user=mdettweiler [2019-12-14 00:04:05] 993*2^1551096-1 is not prime. Res64: 489F8A590EAC3DB7 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:04:10] 615*2^1551097-1 is not prime. Res64: C4EE66EF7BD05821 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:04:12] 831*2^1551097-1 is not prime. Res64: 54130806C8F23798 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:04:15] 999*2^1551097-1 is not prime. Res64: ADAB75DA630579D9 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:04:18] 671*2^1551098-1 is not prime. Res64: DB6FFC93423156F1 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:07:16] 755*2^1551098-1 is not prime. Res64: 525FBF8B51B0383F Time : 0.0 sec. user=mdettweiler [2019-12-14 00:07:18] 773*2^1551098-1 is not prime. Res64: C0B093EB7F32C8D5 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:07:20] 875*2^1551098-1 is not prime. Res64: EB94156664C972C0 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:07:21] 893*2^1551098-1 is not prime. Res64: B1F0D3DB31F8F8AA Time : 0.0 sec. user=mdettweiler [2019-12-14 00:07:23] 977*2^1551098-1 is not prime. Res64: 2166A673988A76E9 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:21:42] 675*2^1551099-1 is not prime. Res64: CD54AEBD77E8180C Time : 0.0 sec. user=mdettweiler [2019-12-14 00:21:45] 801*2^1551099-1 is not prime. Res64: D49618CE7D505295 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:21:46] 895*2^1551099-1 is not prime. Res64: 788E87929D019803 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:21:47] 961*2^1551099-1 is not prime. Res64: 07D64BAE27EF917A Time : 0.0 sec. user=mdettweiler [2019-12-14 00:21:49] 969*2^1551099-1 is not prime. Res64: 85FB41A9E2DC2EBB Time : 0.0 sec. user=mdettweiler [2019-12-14 00:56:00] 603*2^1551100-1 is not prime. Res64: 26152C71C260DCD4 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:56:01] 629*2^1551100-1 is not prime. Res64: E4870838635254AC Time : 0.0 sec. user=mdettweiler [2019-12-14 00:56:01] 699*2^1551100-1 is not prime. Res64: EE8A610D30054A47 Time : 0.0 sec. user=mdettweiler [2019-12-14 00:56:02] 773*2^1551100-1 is not prime. Res64: 8185F04427DFAA2C Time : 0.0 sec. user=mdettweiler [2019-12-14 00:56:03] 825*2^1551100-1 is not prime. Res64: 86651A69B6830D25 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:00:17] 845*2^1551100-1 is not prime. Res64: 993FD77B7620872D Time : 0.0 sec. user=mdettweiler [2019-12-14 01:00:20] 939*2^1551100-1 is not prime. Res64: CA8504BC5A9FB60B Time : 0.0 sec. user=mdettweiler [2019-12-14 01:00:23] 995*2^1551100-1 is not prime. Res64: 747EDF502C7B3E6E Time : 0.0 sec. user=mdettweiler [2019-12-14 01:00:26] 619*2^1551101-1 is not prime. Res64: DDD48F02A517D228 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:00:28] 631*2^1551101-1 is not prime. Res64: 47BD2A2A19A92635 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:13:41] 741*2^1551101-1 is not prime. Res64: B94F547970915BDF Time : 0.0 sec. user=mdettweiler [2019-12-14 01:13:42] 745*2^1551101-1 is not prime. Res64: F0D90B52892F3B73 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:13:43] 747*2^1551101-1 is not prime. Res64: 90F3B0DF2F5DB954 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:13:44] 825*2^1551101-1 is not prime. Res64: 17203C9A7D861D56 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:13:45] 837*2^1551101-1 is not prime. Res64: 54B116E1FE8CEAF9 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:49:15] 927*2^1551101-1 is not prime. Res64: 4D23C634A1E6A39B Time : 0.0 sec. user=mdettweiler [2019-12-14 01:49:17] 621*2^1551102-1 is not prime. Res64: 19AE066E9A08D106 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:49:18] 815*2^1551102-1 is not prime. Res64: 446048C63D4D356B Time : 0.0 sec. user=mdettweiler [2019-12-14 01:49:19] 891*2^1551102-1 is not prime. Res64: DE03E79497203D7A Time : 0.0 sec. user=mdettweiler [2019-12-14 01:49:21] 945*2^1551102-1 is not prime. Res64: 7BD97DDD026111F5 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:54:46] 951*2^1551102-1 is not prime. Res64: D0EF8FCDA752FE42 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:54:46] 977*2^1551102-1 is not prime. Res64: F59834AD85BCFDBB Time : 0.0 sec. user=mdettweiler [2019-12-14 01:54:47] 603*2^1551103-1 is not prime. Res64: EA7410E40714A598 Time : 0.0 sec. user=mdettweiler [2019-12-14 01:54:47] 675*2^1551103-1 is not prime. Res64: 8857A42FD559E5BA Time : 0.0 sec. user=mdettweiler [2019-12-14 01:54:48] 859*2^1551103-1 is not prime. Res64: FDAA9AD04B2D77F3 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:06:24] 883*2^1551103-1 is not prime. Res64: 3065B1320CAE2130 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:06:26] 969*2^1551103-1 is not prime. Res64: 41B86DD082E782D2 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:06:28] 657*2^1551104-1 is not prime. Res64: AF806A4B129BA3A2 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:06:30] 683*2^1551104-1 is not prime. Res64: 603CDBADC6703E30 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:06:31] 689*2^1551104-1 is not prime. Res64: 8C74B0AE1511EFED Time : 0.0 sec. user=mdettweiler [2019-12-14 02:42:09] 795*2^1551104-1 is not prime. Res64: 01BEE59461BC6104 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:42:10] 813*2^1551104-1 is not prime. Res64: CD5F07D15C9EE7F3 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:42:10] 857*2^1551104-1 is not prime. Res64: D0E8E266071A4BA5 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:42:11] 873*2^1551104-1 is not prime. Res64: A5584CC8641B1601 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:42:12] 875*2^1551104-1 is not prime. Res64: B4181A151291E7A9 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:46:29] 897*2^1551104-1 is not prime. Res64: A19EEE3BD088CBB0 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:46:31] 909*2^1551104-1 is not prime. Res64: 39AEBD752135038E Time : 0.0 sec. user=mdettweiler [2019-12-14 02:46:32] 601*2^1551105-1 is not prime. Res64: 7D90C8C64BDCFDD0 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:46:34] 711*2^1551105-1 is not prime. Res64: 78A0113363300FE5 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:46:36] 717*2^1551105-1 is not prime. Res64: 49C5DDB699294936 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:58:33] 739*2^1551105-1 is not prime. Res64: F98FAAFA4FBDEE14 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:58:34] 741*2^1551106-1 is not prime. Res64: DB57F5A8F4DB4D31 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:58:34] 815*2^1551106-1 is not prime. Res64: D2A4C5810E59CB49 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:58:35] 857*2^1551106-1 is not prime. Res64: 87EE4933C892BEB1 Time : 0.0 sec. user=mdettweiler [2019-12-14 02:58:36] 861*2^1551106-1 is not prime. Res64: 7F0B4D26614D89FF Time : 0.0 sec. user=mdettweiler [2019-12-14 03:34:56] 941*2^1551106-1 is not prime. Res64: C1B06D08368A8E7A Time : 0.0 sec. user=mdettweiler [2019-12-14 03:34:58] 983*2^1551106-1 is not prime. Res64: D2EC6B6AECED6293 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:34:59] 601*2^1551107-1 is not prime. Res64: 069B525A6106A35E Time : 0.0 sec. user=mdettweiler [2019-12-14 03:35:00] 669*2^1551107-1 is not prime. Res64: 567A75720ED8C280 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:35:01] 703*2^1551107-1 is not prime. Res64: F51D965F7C701A69 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:38:16] 741*2^1551107-1 is not prime. Res64: C5669378D6F842D3 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:38:18] 753*2^1551107-1 is not prime. Res64: 5A53F0488AAB0E76 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:38:20] 775*2^1551107-1 is not prime. Res64: ACFB7753B5E347C0 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:38:21] 799*2^1551107-1 is not prime. Res64: D8B8D565D81A1B73 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:38:22] 829*2^1551107-1 is not prime. Res64: 38345EC5854DD7DF Time : 0.0 sec. user=mdettweiler [2019-12-14 03:52:37] 861*2^1551107-1 is not prime. Res64: 931F944001B36EF7 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:52:39] 963*2^1551107-1 is not prime. Res64: 6B5598B3188513A7 Time : 0.0 sec. user=mdettweiler [2019-12-14 03:52:40] 993*2^1551107-1 is not prime. Res64: 3F23F650E92EF52C Time : 0.0 sec. user=mdettweiler [2019-12-14 03:52:41] 725*2^1551108-1 is not prime. Res64: 306ADB36D584063D Time : 0.0 sec. user=mdettweiler [2019-12-14 03:52:42] 737*2^1551108-1 is not prime. Res64: D82643E264F4AA34 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:28:18] 797*2^1551108-1 is not prime. Res64: 329BCB73E87ED99B Time : 0.0 sec. user=mdettweiler [2019-12-14 04:28:21] 875*2^1551108-1 is not prime. Res64: 550C0C53A249566A Time : 0.0 sec. user=mdettweiler [2019-12-14 04:28:24] 879*2^1551108-1 is not prime. Res64: 0059D27D444BC96E Time : 0.0 sec. user=mdettweiler [2019-12-14 04:28:26] 959*2^1551108-1 is not prime. Res64: 9663970F075BB302 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:28:27] 691*2^1551109-1 is not prime. Res64: D72794A28A78B4D3 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:29:56] 741*2^1551109-1 is not prime. Res64: 01091FA3F9E4EB16 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:29:58] 775*2^1551109-1 is not prime. Res64: 42EE483D9266A2FE Time : 0.0 sec. user=mdettweiler [2019-12-14 04:30:01] 651*2^1551110-1 is not prime. Res64: A903DB7BF5E09FD9 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:30:03] 845*2^1551110-1 is not prime. Res64: 7312C0A55FDD8BF5 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:30:06] 851*2^1551110-1 is not prime. Res64: 2AFB6CDE359AD8F5 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:47:16] 897*2^1551110-1 is not prime. Res64: 4BFD5EB0563B34DF Time : 0.0 sec. user=mdettweiler [2019-12-14 04:47:17] 923*2^1551110-1 is not prime. Res64: 30FE43B6F1F77A85 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:47:18] 945*2^1551110-1 is not prime. Res64: 7606FAFEFB8627AB Time : 0.0 sec. user=mdettweiler [2019-12-14 04:47:18] 957*2^1551110-1 is not prime. Res64: 4FB505E4F603B249 Time : 0.0 sec. user=mdettweiler [2019-12-14 04:47:19] 615*2^1551111-1 is not prime. Res64: 0896668554370672 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:22:59] 639*2^1551112-1 is not prime. Res64: 01D81797AFCD4D90 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:22:59] 785*2^1551112-1 is not prime. Res64: 850C5E6AE63DAB39 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:00] 887*2^1551112-1 is not prime. Res64: 7FEE2655024B78CA Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:01] 975*2^1551112-1 is not prime. Res64: A1A1CF7077E4D058 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:01] 631*2^1551113-1 is not prime. Res64: 5A0C245C326CFBB1 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:14] 703*2^1551111-1 is not prime. Res64: 3587BC371FC14D4D Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:14] 861*2^1551111-1 is not prime. Res64: A7384760676DEF1D Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:15] 871*2^1551111-1 is not prime. Res64: 0C15F09533498AFF Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:16] 961*2^1551111-1 is not prime. Res64: 3C5C979C399B1FFB Time : 0.0 sec. user=mdettweiler [2019-12-14 05:23:16] 975*2^1551111-1 is not prime. Res64: CE8116093848996B Time : 0.0 sec. user=mdettweiler [2019-12-14 05:38:58] 727*2^1551113-1 is not prime. Res64: F9B3A298982F5AD2 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:38:59] 885*2^1551113-1 is not prime. Res64: C196EE4593977F30 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:38:59] 889*2^1551113-1 is not prime. Res64: 1CA983AF6FC3984F Time : 0.0 sec. user=mdettweiler [2019-12-14 05:39:00] 621*2^1551114-1 is not prime. Res64: B619957CAD098F05 Time : 0.0 sec. user=mdettweiler [2019-12-14 05:39:01] 705*2^1551114-1 is not prime. Res64: 677E2F7FD242AE1A Time : 0.0 sec. user=mdettweiler [2019-12-14 06:16:35] 815*2^1551114-1 is not prime. Res64: 58D8152D7E276E79 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:16:36] 927*2^1551114-1 is not prime. Res64: AFC08E42B82DFBF3 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:16:37] 1001*2^1551114-1 is not prime. Res64: D425FD3BFE695086 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:16:38] 855*2^1551115-1 is not prime. Res64: ADDC25196B8D55AF Time : 0.0 sec. user=mdettweiler [2019-12-14 06:16:38] 873*2^1551115-1 is not prime. Res64: 0D5E9788848F77BD Time : 0.0 sec. user=mdettweiler [2019-12-14 06:17:28] 857*2^1551116-1 is not prime. Res64: 74F8F1D99E08BEC1 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:17:28] 927*2^1551116-1 is not prime. Res64: 6D321CA1782066C2 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:17:29] 957*2^1551116-1 is not prime. Res64: 85A54D7AEB2CAF34 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:17:29] 983*2^1551116-1 is not prime. Res64: 6E2A0662D99573F4 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:17:30] 751*2^1551117-1 is not prime. Res64: 7E72F62A7B2A5BDE Time : 0.0 sec. user=mdettweiler [2019-12-14 06:30:55] 805*2^1551117-1 is not prime. Res64: 974F2C19393C9D57 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:30:55] 849*2^1551117-1 is not prime. Res64: 564C745FCB5BC26B Time : 0.0 sec. user=mdettweiler [2019-12-14 06:30:56] 871*2^1551117-1 is not prime. Res64: 1BF7764414B214F4 Time : 0.0 sec. user=mdettweiler [2019-12-14 06:30:57] 621*2^1551118-1 is not prime. Res64: 74A0598A68C948EA Time : 0.0 sec. user=mdettweiler [2019-12-14 06:30:57] 651*2^1551118-1 is not prime. Res64: 9128E20337A7E0F3 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:09] 713*2^1551118-1 is not prime. Res64: 7C1D5BCC8792F9AA Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:13] 723*2^1551118-1 is not prime. Res64: 65DA171806FFAD88 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:15] 755*2^1551118-1 is not prime. Res64: 9C95AF3FFA5515BF Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:18] 815*2^1551118-1 is not prime. Res64: 087ED70B9FF08D89 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:21] 831*2^1551118-1 is not prime. Res64: 67D19FBC8A5BF8A1 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:42] 775*2^1551119-1 is not prime. Res64: DC4F962687E0D818 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:45] 615*2^1551120-1 is not prime. Res64: CC137FD93C8ED9E9 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:47] 699*2^1551120-1 is not prime. Res64: A50AE56AC0F7C4C7 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:49] 719*2^1551120-1 is not prime. Res64: 592E3BBB81F7314F Time : 0.0 sec. user=mdettweiler [2019-12-14 07:08:51] 849*2^1551120-1 is not prime. Res64: 023293AA916B7721 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:22:08] 601*2^1551121-1 is not prime. Res64: 0E081BEF40C890C0 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:22:09] 607*2^1551121-1 is not prime. Res64: 3C4B5BF376FD2826 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:22:10] 705*2^1551121-1 is not prime. Res64: C3A1AC3750C3C304 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:22:11] 789*2^1551121-1 is not prime. Res64: 5FC0821D7A1AFC29 Time : 0.0 sec. user=mdettweiler [2019-12-14 07:22:11] 799*2^1551121-1 is not prime. Res64: B30D88E2BEADEC0A Time : 0.0 sec. user=mdettweiler [2019-12-14 08:01:48] 937*2^1551121-1 is not prime. Res64: 97F1EFAFE6A11B88 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:01:50] 979*2^1551121-1 is not prime. Res64: D0E452D35A35F09A Time : 0.0 sec. user=mdettweiler [2019-12-14 08:01:53] 613*2^1551123-1 is not prime. Res64: 47B84C318DD53450 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:01:55] 615*2^1551123-1 is not prime. Res64: 7F472D84EC326721 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:01:56] 649*2^1551123-1 is not prime. Res64: CC8D0C6D30107E85 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:03:46] 987*2^1551121-1 is not prime. Res64: EAF6B812CF634E0E Time : 0.0 sec. user=mdettweiler [2019-12-14 08:03:48] 843*2^1551122-1 is not prime. Res64: 89232034611EC916 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:03:49] 857*2^1551122-1 is not prime. Res64: C445BAAE5932CB27 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:03:50] 917*2^1551122-1 is not prime. Res64: 868B4A93C3B33D8D Time : 0.0 sec. user=mdettweiler [2019-12-14 08:03:51] 963*2^1551122-1 is not prime. Res64: 5A19B6B1A2B9A5EA Time : 0.0 sec. user=mdettweiler [2019-12-14 08:13:24] 723*2^1551123-1 is not prime. Res64: 57D23D9D7B2EAFCE Time : 0.0 sec. user=mdettweiler [2019-12-14 08:13:25] 735*2^1551123-1 is not prime. Res64: CDF03774F22FE249 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:13:26] 745*2^1551123-1 is not prime. Res64: 4DBF21D2587456C3 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:13:26] 751*2^1551123-1 is not prime. Res64: B8D50D0D7684DF97 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:13:27] 793*2^1551123-1 is not prime. Res64: 3A5A3A2E9FFF190B Time : 0.0 sec. user=mdettweiler [2019-12-14 08:54:39] 823*2^1551123-1 is not prime. Res64: 608A155A68B1C975 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:54:40] 963*2^1551123-1 is not prime. Res64: 4921CCB3CB3BE881 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:54:41] 615*2^1551124-1 is not prime. Res64: A26E7761A9C61CC0 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:54:41] 639*2^1551124-1 is not prime. Res64: 85AD2471820A9470 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:54:42] 677*2^1551124-1 is not prime. Res64: 9A4008B2B997CFC9 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:56:42] 695*2^1551124-1 is not prime. Res64: D62F13B0CFAA051F Time : 0.0 sec. user=mdettweiler [2019-12-14 08:56:43] 773*2^1551124-1 is not prime. Res64: 389EAAFA785AFD2B Time : 0.0 sec. user=mdettweiler [2019-12-14 08:56:43] 869*2^1551124-1 is not prime. Res64: 5A6151CC76972AF4 Time : 0.0 sec. user=mdettweiler [2019-12-14 08:56:44] 899*2^1551124-1 is not prime. Res64: 0F8744E7B629851F Time : 0.0 sec. user=mdettweiler [2019-12-14 08:56:45] 989*2^1551124-1 is not prime. Res64: 4F5286309A4D590C Time : 0.0 sec. user=mdettweiler [2019-12-14 09:05:23] 721*2^1551125-1 is not prime. Res64: D7699B6B282430C4 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:05:26] 801*2^1551125-1 is not prime. Res64: A44A5FFBD29C39B2 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:05:27] 825*2^1551125-1 is not prime. Res64: 7EEAC9BA5A20B2C3 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:05:29] 837*2^1551125-1 is not prime. Res64: 8FA77AC062573CD9 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:05:30] 641*2^1551126-1 is not prime. Res64: 0699FF2001399E4D Time : 0.0 sec. user=mdettweiler [2019-12-14 09:47:11] 815*2^1551126-1 is not prime. Res64: 5D8AE3EA03480626 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:47:12] 821*2^1551126-1 is not prime. Res64: 897D955B8388F50C Time : 0.0 sec. user=mdettweiler [2019-12-14 09:47:13] 851*2^1551126-1 is not prime. Res64: 50EB8A7AC48C9A97 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:47:13] 619*2^1551127-1 is not prime. Res64: 7859DF20AAA2334D Time : 0.0 sec. user=mdettweiler [2019-12-14 09:47:14] 639*2^1551127-1 is not prime. Res64: 238CFB18D61A3A2E Time : 0.0 sec. user=mdettweiler [2019-12-14 09:49:59] 675*2^1551127-1 is not prime. Res64: 6605C87F88396072 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:50:06] 685*2^1551127-1 is not prime. Res64: 354BC12FC60CC042 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:50:16] 805*2^1551127-1 is not prime. Res64: 9F401DCE3AA7DCA2 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:50:18] 961*2^1551127-1 is not prime. Res64: B311BB3529F47291 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:50:20] 659*2^1551128-1 is not prime. Res64: CFD90D34B9FAC159 Time : 0.0 sec. user=mdettweiler [2019-12-14 09:59:59] 713*2^1551128-1 is not prime. Res64: 367C3F31C2ED1337 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:00:00] 747*2^1551128-1 is not prime. Res64: 74CFD26DD424CF79 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:00:01] 879*2^1551128-1 is not prime. Res64: A27E566393CC1C0B Time : 0.0 sec. user=mdettweiler [2019-12-14 10:00:02] 969*2^1551128-1 is not prime. Res64: 7F9016038225D060 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:00:02] 705*2^1551129-1 is not prime. Res64: 6F784355C610EC1B Time : 0.0 sec. user=mdettweiler [2019-12-14 10:40:34] 945*2^1551129-1 is not prime. Res64: 680CBA41932ABCBC Time : 0.0 sec. user=mdettweiler [2019-12-14 10:40:35] 635*2^1551130-1 is not prime. Res64: 5D8CA10166532E20 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:40:35] 735*2^1551130-1 is not prime. Res64: B627A7990EBFDDFC Time : 0.0 sec. user=mdettweiler [2019-12-14 10:40:36] 755*2^1551130-1 is not prime. Res64: 45B87854D1E707CE Time : 0.0 sec. user=mdettweiler [2019-12-14 10:40:37] 843*2^1551130-1 is not prime. Res64: 2349B7B11E383F45 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:44:12] 923*2^1551130-1 is not prime. Res64: 7639C0C12C937990 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:44:12] 735*2^1551131-1 is not prime. Res64: 287BE730CC6DB7B5 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:44:13] 801*2^1551131-1 is not prime. Res64: 93F14670D354E9CF Time : 0.0 sec. user=mdettweiler [2019-12-14 10:44:14] 841*2^1551131-1 is not prime. Res64: 9140E8250C6DA4D1 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:44:15] 943*2^1551131-1 is not prime. Res64: D5A0DE0B181AC996 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:52:43] 669*2^1551132-1 is not prime. Res64: ACF32D9A749F3A8B Time : 0.0 sec. user=mdettweiler [2019-12-14 10:52:43] 803*2^1551132-1 is not prime. Res64: BF7EA9CB04CAEC11 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:52:44] 857*2^1551132-1 is not prime. Res64: 8ED7A98CCEE8B6B2 Time : 0.0 sec. user=mdettweiler [2019-12-14 10:52:45] 863*2^1551132-1 is not prime. Res64: DA9352A0C499DFEC Time : 0.0 sec. user=mdettweiler [2019-12-14 10:52:45] 909*2^1551132-1 is not prime. Res64: 260CB5D00C0654BE Time : 0.0 sec. user=mdettweiler [2019-12-14 11:32:58] 959*2^1551132-1 is not prime. Res64: 618EF459BD60ABD1 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:32:59] 615*2^1551133-1 is not prime. Res64: 2A54330C94840A4C Time : 0.0 sec. user=mdettweiler [2019-12-14 11:33:00] 639*2^1551133-1 is not prime. Res64: C84F2CC744623BCD Time : 0.0 sec. user=mdettweiler [2019-12-14 11:33:00] 699*2^1551133-1 is not prime. Res64: 01D39AA6778FF9D7 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:33:01] 727*2^1551133-1 is not prime. Res64: 0D2B157D62E64D79 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:38:32] 729*2^1551133-1 is not prime. Res64: 115F8012FA0DA22E Time : 0.0 sec. user=mdettweiler [2019-12-14 11:38:33] 889*2^1551133-1 is not prime. Res64: 7126BE15313C7800 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:38:34] 915*2^1551133-1 is not prime. Res64: BE492E20724D3FBC Time : 0.0 sec. user=mdettweiler [2019-12-14 11:38:34] 945*2^1551133-1 is not prime. Res64: 870FEC69C2658F73 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:38:35] 951*2^1551133-1 is not prime. Res64: BC1CE1EDAEE7F7C6 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:45:21] 663*2^1551134-1 is not prime. Res64: 96B16669D0340E46 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:45:21] 791*2^1551134-1 is not prime. Res64: AF545384F1D68876 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:45:22] 921*2^1551134-1 is not prime. Res64: FF6D372056D1FA98 Time : 0.0 sec. user=mdettweiler [2019-12-14 11:45:22] 1001*2^1551134-1 is not prime. Res64: 8B2BB5C16A5BEAAD Time : 0.0 sec. user=mdettweiler [2019-12-14 11:45:23] 685*2^1551135-1 is not prime. Res64: DCC3BB65DCDF58D7 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:24:50] 763*2^1551135-1 is not prime. Res64: F84CB6B15B11390C Time : 0.0 sec. user=mdettweiler [2019-12-14 12:24:51] 789*2^1551135-1 is not prime. Res64: B355F584C8F46379 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:24:52] 819*2^1551135-1 is not prime. Res64: D9E914013A24C648 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:24:53] 873*2^1551135-1 is not prime. Res64: 7A2429C0F776BC87 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:24:53] 885*2^1551135-1 is not prime. Res64: 5E2148F3F2B3130A Time : 0.0 sec. user=mdettweiler [2019-12-14 12:31:14] 921*2^1551135-1 is not prime. Res64: 6B6EA8AE8113FCE5 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:31:15] 951*2^1551135-1 is not prime. Res64: E72052E62656AB0E Time : 0.0 sec. user=mdettweiler [2019-12-14 12:31:15] 603*2^1551136-1 is not prime. Res64: EFBDE18527294C6F Time : 0.0 sec. user=mdettweiler [2019-12-14 12:31:16] 615*2^1551136-1 is not prime. Res64: B33F8C7DCB38582F Time : 0.0 sec. user=mdettweiler [2019-12-14 12:31:17] 623*2^1551136-1 is not prime. Res64: CFD5209DAA04B37D Time : 0.0 sec. user=mdettweiler [2019-12-14 12:36:53] 693*2^1551136-1 is not prime. Res64: 6C94144F92F818BF Time : 0.0 sec. user=mdettweiler [2019-12-14 12:36:53] 759*2^1551136-1 is not prime. Res64: 6D09C66DF411825D Time : 0.0 sec. user=mdettweiler [2019-12-14 12:36:54] 855*2^1551136-1 is not prime. Res64: 014E5155EA7444C1 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:36:55] 939*2^1551136-1 is not prime. Res64: 52742F114D7A8341 Time : 0.0 sec. user=mdettweiler [2019-12-14 12:36:56] 627*2^1551137-1 is not prime. Res64: A81A750B3CDB715D Time : 0.0 sec. user=mdettweiler [2019-12-14 13:16:06] 631*2^1551137-1 is not prime. Res64: BE4FF51D9C2AD62F Time : 0.0 sec. user=mdettweiler [2019-12-14 13:16:07] 727*2^1551137-1 is not prime. Res64: 95F274860FB8EADC Time : 0.0 sec. user=mdettweiler [2019-12-14 13:16:07] 741*2^1551137-1 is not prime. Res64: 4128A4FEF0B73DB6 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:16:08] 759*2^1551137-1 is not prime. Res64: FC26360C70DC439E Time : 0.0 sec. user=mdettweiler [2019-12-14 13:16:09] 805*2^1551137-1 is not prime. Res64: 89846BF7B5C9C638 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:24:08] 829*2^1551137-1 is not prime. Res64: CADFAE94EBE4E0F5 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:24:09] 901*2^1551137-1 is not prime. Res64: ED6D8D909AE8DDF9 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:24:10] 955*2^1551137-1 is not prime. Res64: 49F7FEA2525352EE Time : 0.0 sec. user=mdettweiler [2019-12-14 13:24:11] 611*2^1551138-1 is not prime. Res64: BF1C7442B6F30E6D Time : 0.0 sec. user=mdettweiler [2019-12-14 13:24:11] 635*2^1551138-1 is not prime. Res64: 7436E5B9723D2331 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:28:06] 671*2^1551138-1 is not prime. Res64: 650256B76F883DE7 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:28:07] 711*2^1551138-1 is not prime. Res64: 9A925FB6C1ADC6CB Time : 0.0 sec. user=mdettweiler [2019-12-14 13:28:08] 735*2^1551138-1 is not prime. Res64: EF94C286A3CBA0B6 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:28:08] 747*2^1551138-1 is not prime. Res64: 5B6E053E255D32E6 Time : 0.0 sec. user=mdettweiler [2019-12-14 13:28:09] 875*2^1551138-1 is not prime. Res64: 98E702922B703EE9 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:08:19] 619*2^1551139-1 is not prime. Res64: 553BE4C10528A489 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:08:22] 829*2^1551139-1 is not prime. Res64: 1A6F1C0FEBDDE24B Time : 0.0 sec. user=mdettweiler [2019-12-14 14:08:25] 853*2^1551139-1 is not prime. Res64: 180065FD334ADB13 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:08:27] 859*2^1551139-1 is not prime. Res64: DBD7B0E378BBE00D Time : 0.0 sec. user=mdettweiler [2019-12-14 14:08:31] 885*2^1551139-1 is not prime. Res64: 351C549C79FF0479 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:28] 609*2^1551141-1 is not prime. Res64: 6BEC6741CB1BCD56 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:29] 741*2^1551141-1 is not prime. Res64: AD1A0A2A807FD697 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:30] 789*2^1551141-1 is not prime. Res64: 8B801AE4D933EFE7 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:31] 979*2^1551139-1 is not prime. Res64: 6272F7FD61AA3FD2 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:31] 861*2^1551141-1 is not prime. Res64: ADCD014ED2801E11 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:32] 993*2^1551139-1 is not prime. Res64: 9C30DB1354796670 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:32] 603*2^1551142-1 is not prime. Res64: 3451AF2FA70C93B5 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:32] 785*2^1551140-1 is not prime. Res64: 4A9B8611153650F2 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:33] 935*2^1551140-1 is not prime. Res64: BA5490F06B677731 Time : 0.0 sec. user=mdettweiler [2019-12-14 14:19:33] 957*2^1551140-1 is not prime. Res64: 9A6F340AC67A3564 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:00:29] 677*2^1551142-1 is not prime. Res64: 44D2915426DF4073 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:00:32] 713*2^1551142-1 is not prime. Res64: A7BD55EA0FB203F5 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:00:34] 723*2^1551142-1 is not prime. Res64: BC9E59E0077105E3 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:00:36] 777*2^1551142-1 is not prime. Res64: 9A0EE7119DCFC647 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:00:38] 917*2^1551142-1 is not prime. Res64: FD3352DC85597AB7 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:11:51] 995*2^1551142-1 is not prime. Res64: BA5D325864314420 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:11:53] 615*2^1551143-1 is not prime. Res64: 5CE232C692271A8A Time : 0.0 sec. user=mdettweiler [2019-12-14 15:11:55] 673*2^1551143-1 is not prime. Res64: 4991DD7D595E3489 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:11:56] 715*2^1551143-1 is not prime. Res64: F2E17E4474691CC8 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:11:57] 609*2^1551144-1 is not prime. Res64: B9CBA1774FDB6238 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:12:28] 627*2^1551144-1 is not prime. Res64: B8A34C796E4538D5 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:12:29] 723*2^1551144-1 is not prime. Res64: 6B544AC10E2D7D89 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:12:30] 795*2^1551144-1 is not prime. Res64: 523CFA9A4B45BF70 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:12:31] 927*2^1551144-1 is not prime. Res64: 2BD5A632E8FC0CA1 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:12:32] 945*2^1551144-1 is not prime. Res64: 9B1D1DD3D225816E Time : 0.0 sec. user=mdettweiler [2019-12-14 15:52:50] 867*2^1551145-1 is not prime. Res64: A7BEE71ACE5F13C7 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:52:51] 633*2^1551146-1 is not prime. Res64: D5F74F3F77916AFE Time : 0.0 sec. user=mdettweiler [2019-12-14 15:52:52] 707*2^1551146-1 is not prime. Res64: 7FED0DB794FB51F1 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:52:53] 825*2^1551146-1 is not prime. Res64: FADB9B5146B75495 Time : 0.0 sec. user=mdettweiler [2019-12-14 15:52:54] 911*2^1551146-1 is not prime. Res64: FD3CA61AD40C7B55 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:05:05] 941*2^1551146-1 is not prime. Res64: 0BA53B52B349058D Time : 0.0 sec. user=mdettweiler [2019-12-14 16:05:09] 705*2^1551147-1 is not prime. Res64: 70D278A9217F0FCE Time : 0.0 sec. user=mdettweiler [2019-12-14 16:05:12] 829*2^1551147-1 is not prime. Res64: 29CA8B1B8D9F881E Time : 0.0 sec. user=mdettweiler [2019-12-14 16:05:15] 945*2^1551147-1 is not prime. Res64: C08F805FDCEDBC53 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:05:17] 615*2^1551148-1 is not prime. Res64: 4EE19BA6A5C82096 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:06:32] 689*2^1551148-1 is not prime. Res64: 4F8468E9B80993EB Time : 0.0 sec. user=mdettweiler [2019-12-14 16:06:34] 743*2^1551148-1 is not prime. Res64: 3DEFB8AFF81C4B5C Time : 0.0 sec. user=mdettweiler [2019-12-14 16:06:36] 839*2^1551148-1 is not prime. Res64: 09DF59397990DC70 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:06:38] 959*2^1551148-1 is not prime. Res64: DE1B714DE3818391 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:06:40] 975*2^1551148-1 is not prime. Res64: DE56757949218383 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:44:46] 631*2^1551149-1 is not prime. Res64: D0D8BA7A967BBF12 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:44:47] 729*2^1551149-1 is not prime. Res64: 7437F8019F7A7869 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:44:48] 795*2^1551149-1 is not prime. Res64: 5E4F27538A5AE2FC Time : 0.0 sec. user=mdettweiler [2019-12-14 16:44:49] 825*2^1551149-1 is not prime. Res64: 6562882AE29818AC Time : 0.0 sec. user=mdettweiler [2019-12-14 16:44:49] 927*2^1551149-1 is not prime. Res64: 7007A1FFDC7E1E8E Time : 0.0 sec. user=mdettweiler [2019-12-14 16:58:34] 945*2^1551149-1 is not prime. Res64: BA9C30080157334E Time : 0.0 sec. user=mdettweiler [2019-12-14 16:58:35] 707*2^1551150-1 is not prime. Res64: 1CE589D05E304A77 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:58:36] 741*2^1551150-1 is not prime. Res64: F17723B640A09FAD Time : 0.0 sec. user=mdettweiler [2019-12-14 16:58:36] 791*2^1551150-1 is not prime. Res64: 05D61B2A0BDE4CF7 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:58:37] 825*2^1551150-1 is not prime. Res64: C38BB4DB7EA219E0 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:59:35] 863*2^1551150-1 is not prime. Res64: B14C77BA163CEEF6 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:59:35] 873*2^1551150-1 is not prime. Res64: 60CD9FA803DA4B8D Time : 0.0 sec. user=mdettweiler [2019-12-14 16:59:36] 977*2^1551150-1 is not prime. Res64: 71CC3E2C388563EB Time : 0.0 sec. user=mdettweiler [2019-12-14 16:59:37] 619*2^1551151-1 is not prime. Res64: 723083D6EF1BC063 Time : 0.0 sec. user=mdettweiler [2019-12-14 16:59:38] 639*2^1551151-1 is not prime. Res64: 3A7AF674F76C7E95 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:36:36] 645*2^1551151-1 is not prime. Res64: FE99B2EA10C953A8 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:36:37] 685*2^1551151-1 is not prime. Res64: 6037F80A4EE86155 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:36:38] 885*2^1551151-1 is not prime. Res64: A04FB151A417A98E Time : 0.0 sec. user=mdettweiler [2019-12-14 17:36:39] 895*2^1551151-1 is not prime. Res64: B52A803E9CD7FA44 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:36:39] 933*2^1551151-1 is not prime. Res64: 6977835D6BBB26AA Time : 0.0 sec. user=mdettweiler [2019-12-14 17:50:50] 627*2^1551153-1 is not prime. Res64: AE8005EAD0278AF0 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:50:51] 735*2^1551153-1 is not prime. Res64: 188A734944168320 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:50:51] 739*2^1551153-1 is not prime. Res64: C6754A062EB3195F Time : 0.0 sec. user=mdettweiler [2019-12-14 17:50:52] 769*2^1551153-1 is not prime. Res64: 36946AC8E4B59BCD Time : 0.0 sec. user=mdettweiler [2019-12-14 17:50:53] 861*2^1551153-1 is not prime. Res64: 6C4D13EEB663C1E1 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:53:54] 993*2^1551151-1 is not prime. Res64: 7D7D7499D81C02FC Time : 0.0 sec. user=mdettweiler [2019-12-14 17:53:54] 669*2^1551152-1 is not prime. Res64: 46697B0237C23823 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:53:55] 875*2^1551152-1 is not prime. Res64: A7C4B977F37385F1 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:53:56] 957*2^1551152-1 is not prime. Res64: B730144A95C5CF65 Time : 0.0 sec. user=mdettweiler [2019-12-14 17:53:56] 959*2^1551152-1 is not prime. Res64: 759E7FDBC94FE1D8 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:29:30] 773*2^1551154-1 is not prime. Res64: 151BB2FD1BA973E1 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:29:31] 821*2^1551154-1 is not prime. Res64: F12D8A5E149EB245 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:29:32] 987*2^1551154-1 is not prime. Res64: 618B02861DE9D242 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:29:33] 645*2^1551155-1 is not prime. Res64: D0495CF53E7AC865 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:29:34] 843*2^1551155-1 is not prime. Res64: 660AD17DE7292F4A Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:03] 861*2^1551155-1 is not prime. Res64: CF32852080D6D367 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:06] 969*2^1551155-1 is not prime. Res64: 5C9E0C389B47EF70 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:06] 985*2^1551155-1 is not prime. Res64: 8B9339EE4A01A38D Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:07] 647*2^1551156-1 is not prime. Res64: 67FC43FA8DA6D9A6 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:08] 689*2^1551156-1 is not prime. Res64: 5F8941EF8890C4CE Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:10] 693*2^1551156-1 is not prime. Res64: AB24F64033879BAC Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:10] 699*2^1551156-1 is not prime. Res64: 595F39283EE79CA3 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:11] 839*2^1551156-1 is not prime. Res64: 0582FC4F2B18FCAE Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:11] 649*2^1551157-1 is not prime. Res64: 6F039FA28CFB4756 Time : 0.0 sec. user=mdettweiler [2019-12-14 18:45:12] 751*2^1551157-1 is not prime. Res64: 145E3405BA092E1B Time : 0.0 sec. user=mdettweiler [2019-12-14 19:21:05] 757*2^1551157-1 is not prime. Res64: 2EC9C592E1757BA9 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:21:07] 835*2^1551157-1 is not prime. Res64: 004D251F85B2A2AE Time : 0.0 sec. user=mdettweiler [2019-12-14 19:21:08] 919*2^1551157-1 is not prime. Res64: 7143D6DFD90CAD20 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:21:09] 707*2^1551158-1 is not prime. Res64: 2B3263518BEFD019 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:21:10] 711*2^1551158-1 is not prime. Res64: F5A0E4FC864D8F2D Time : 0.0 sec. user=mdettweiler [2019-12-14 19:36:26] 625*2^1551159-1 is not prime. Res64: E53A292F1F7AC872 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:36:26] 649*2^1551159-1 is not prime. Res64: 27953F33C755A32A Time : 0.0 sec. user=mdettweiler [2019-12-14 19:36:27] 931*2^1551159-1 is not prime. Res64: FD57DBD1FB271966 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:36:28] 623*2^1551160-1 is not prime. Res64: 6086F16F8DE1930F Time : 0.0 sec. user=mdettweiler [2019-12-14 19:36:29] 717*2^1551160-1 is not prime. Res64: ED04B9088C481852 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:39:26] 791*2^1551158-1 is not prime. Res64: A928B41CB80BB4AB Time : 0.0 sec. user=mdettweiler [2019-12-14 19:39:27] 801*2^1551158-1 is not prime. Res64: 8C5A2509A87CBF03 Time : 0.0 sec. user=mdettweiler [2019-12-14 19:39:28] 935*2^1551158-1 is not prime. Res64: 53430EFAC2D4461C Time : 0.0 sec. user=mdettweiler [2019-12-14 19:39:28] 945*2^1551158-1 is not prime. Res64: 1725328BFE3CA60C Time : 0.0 sec. user=mdettweiler [2019-12-14 19:39:29] 977*2^1551158-1 is not prime. Res64: 344B28C83F7532FD Time : 0.0 sec. user=mdettweiler [2019-12-14 20:14:32] 887*2^1551160-1 is not prime. Res64: 765B0B1F0F6C17CE Time : 0.0 sec. user=mdettweiler [2019-12-14 20:14:33] 905*2^1551160-1 is not prime. Res64: A0DC5D81753F8249 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:14:34] 939*2^1551160-1 is not prime. Res64: 948F96CB445BD07E Time : 0.0 sec. user=mdettweiler [2019-12-14 20:14:35] 965*2^1551160-1 is not prime. Res64: 1543F0A0626FC5D0 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:14:36] 711*2^1551161-1 is not prime. Res64: 33BB5B47DD4CD5AB Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:02] 765*2^1551162-1 is not prime. Res64: 8F754654BEEE8DD9 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:02] 825*2^1551162-1 is not prime. Res64: EEADCB4349CE31A0 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:03] 873*2^1551162-1 is not prime. Res64: E94969E4787A1F24 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:04] 633*2^1551163-1 is not prime. Res64: 816F0F8AECD78436 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:05] 699*2^1551163-1 is not prime. Res64: 11C06A16C526C52F Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:24] 949*2^1551161-1 is not prime. Res64: B945E5B90AB953C5 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:25] 955*2^1551161-1 is not prime. Res64: D4FE584AC9D8B516 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:25] 967*2^1551161-1 is not prime. Res64: DF10B0CBE794595A Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:25] 651*2^1551162-1 is not prime. Res64: CCF05FD51BB00B89 Time : 0.0 sec. user=mdettweiler [2019-12-14 20:31:26] 671*2^1551162-1 is not prime. Res64: EFFA68DCC587763C Time : 0.0 sec. user=mdettweiler [2019-12-14 21:06:34] 829*2^1551163-1 is not prime. Res64: F771C812CAE7E20D Time : 0.0 sec. user=mdettweiler [2019-12-14 21:06:37] 665*2^1551164-1 is not prime. Res64: D87E7FF1A72579DB Time : 0.0 sec. user=mdettweiler [2019-12-14 21:06:39] 773*2^1551164-1 is not prime. Res64: FFA542A041D237FB Time : 0.0 sec. user=mdettweiler [2019-12-14 21:06:42] 843*2^1551164-1 is not prime. Res64: 021D2AD3FE211A81 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:06:44] 855*2^1551164-1 is not prime. Res64: 29F1518837DE9048 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:33] 885*2^1551164-1 is not prime. Res64: 0CC2CE7B8403D974 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:34] 991*2^1551165-1 is not prime. Res64: 096CD53BC695EA95 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:35] 831*2^1551165-1 is not prime. Res64: D25E270AE9D1962E Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:35] 785*2^1551166-1 is not prime. Res64: 6E67C8156DA14759 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:36] 833*2^1551166-1 is not prime. Res64: 30B50DD14BCBD2CE Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:37] 891*2^1551166-1 is not prime. Res64: CE991AC68348F32F Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:37] 861*2^1551165-1 is not prime. Res64: CA6076D5BF861F97 Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:37] 917*2^1551166-1 is not prime. Res64: 230B5DD2E3C9EE0E Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:38] 915*2^1551165-1 is not prime. Res64: B13961E52E798B9D Time : 0.0 sec. user=mdettweiler [2019-12-14 21:24:39] 955*2^1551165-1 is not prime. Res64: F9AAB6057963556B Time : 0.0 sec. user=mdettweiler [2019-12-14 22:01:06] 965*2^1551166-1 is not prime. Res64: D501284023FD39E7 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:01:10] 987*2^1551166-1 is not prime. Res64: 4DC0DB83D58DADE0 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:01:12] 609*2^1551167-1 is not prime. Res64: 98F512D82847BDCF Time : 0.0 sec. user=mdettweiler [2019-12-14 22:01:15] 619*2^1551167-1 is not prime. Res64: 270C89F33A53FB08 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:01:19] 645*2^1551167-1 is not prime. Res64: 50952581CC6FEACF Time : 0.0 sec. user=mdettweiler [2019-12-14 22:17:42] 739*2^1551167-1 is not prime. Res64: 6C304BB66488DA45 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:17:43] 813*2^1551167-1 is not prime. Res64: 7B6543DFECE868B6 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:17:44] 883*2^1551167-1 is not prime. Res64: 3C57A2F3BFAACB89 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:17:45] 629*2^1551168-1 is not prime. Res64: 4878045D6DEE165D Time : 0.0 sec. user=mdettweiler [2019-12-14 22:17:46] 759*2^1551168-1 is not prime. Res64: 7B803355769629BA Time : 0.0 sec. user=mdettweiler [2019-12-14 22:18:42] 663*2^1551167-1 is not prime. Res64: EBDEA5BA4A37E304 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:18:43] 693*2^1551167-1 is not prime. Res64: 8D2E3859594C9960 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:18:44] 901*2^1551167-1 is not prime. Res64: 9BD3A876119D538F Time : 0.0 sec. user=mdettweiler [2019-12-14 22:18:44] 981*2^1551167-1 is not prime. Res64: 10D0D6025251CF1F Time : 0.0 sec. user=mdettweiler [2019-12-14 22:18:46] 615*2^1551168-1 is not prime. Res64: 389DCD281624CC96 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:55:07] 845*2^1551168-1 is not prime. Res64: 17111BE4DEBC2184 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:55:08] 667*2^1551169-1 is not prime. Res64: 85CC19A4C9D068A5 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:55:08] 691*2^1551169-1 is not prime. Res64: FDCB391A1D68ABC6 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:55:09] 931*2^1551169-1 is not prime. Res64: AE0FA21F869AC5E7 Time : 0.0 sec. user=mdettweiler [2019-12-14 22:55:10] 635*2^1551170-1 is not prime. Res64: 5ED4AB72CB617EF4 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:09:25] 701*2^1551170-1 is not prime. Res64: FA428ABA2612A7E2 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:09:26] 741*2^1551170-1 is not prime. Res64: B2C8F5686845EE24 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:09:27] 753*2^1551170-1 is not prime. Res64: 5C79B7065E43F702 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:09:28] 831*2^1551170-1 is not prime. Res64: 2741D39BA9DB8911 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:09:28] 833*2^1551170-1 is not prime. Res64: D0D04111525D7CF6 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:10:42] 885*2^1551170-1 is not prime. Res64: 0F3CFE3B11B59ED8 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:10:43] 619*2^1551171-1 is not prime. Res64: C678F7A65FF66817 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:10:44] 751*2^1551171-1 is not prime. Res64: F8E2F96059579F8D Time : 0.0 sec. user=mdettweiler [2019-12-14 23:10:44] 859*2^1551171-1 is not prime. Res64: 4DF779B718FB9A67 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:10:45] 873*2^1551171-1 is not prime. Res64: 9BA764A19CBFE29C Time : 0.0 sec. user=mdettweiler [2019-12-14 23:49:07] 909*2^1551171-1 is not prime. Res64: 334B65F22C0E9A41 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:49:08] 969*2^1551171-1 is not prime. Res64: 4A19396AE9944551 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:49:09] 999*2^1551171-1 is not prime. Res64: 725D9E04729CB207 Time : 0.0 sec. user=mdettweiler [2019-12-14 23:49:09] 623*2^1551172-1 is not prime. Res64: 34E690EA5BCDADAC Time : 0.0 sec. user=mdettweiler [2019-12-14 23:49:10] 719*2^1551172-1 is not prime. Res64: 45277C36FB2A8539 Time : 0.0 sec.