user=mdettweiler [2020-07-04 00:02:55] 821*2^1562518-1 is not prime. Res64: 4F646DC0BB73B9FA Time : 0.0 sec. user=mdettweiler [2020-07-04 00:02:56] 825*2^1562518-1 is not prime. Res64: 608BC78ECB77EC02 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:02:57] 833*2^1562518-1 is not prime. Res64: FFD818F3B410ABB9 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:02:57] 867*2^1562518-1 is not prime. Res64: 06BB77F4C0C73F1C Time : 0.0 sec. user=mdettweiler [2020-07-04 00:02:58] 881*2^1562518-1 is not prime. Res64: 101CDAF1836BBE94 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:43:00] 897*2^1562518-1 is not prime. Res64: 33126CAC72D29188 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:43:00] 993*2^1562518-1 is not prime. Res64: 69EED729EA625A4F Time : 0.0 sec. user=mdettweiler [2020-07-04 00:43:00] 685*2^1562519-1 is not prime. Res64: 066B00333505B2D7 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:43:01] 721*2^1562519-1 is not prime. Res64: 1A2A65A90D2677AA Time : 0.0 sec. user=mdettweiler [2020-07-04 00:43:01] 745*2^1562519-1 is not prime. Res64: DD64ACFED6A9C750 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:54:10] 759*2^1562519-1 is not prime. Res64: 2136CFB7FBAECAD3 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:54:10] 861*2^1562519-1 is not prime. Res64: 0B7F7685FED3B492 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:54:10] 885*2^1562519-1 is not prime. Res64: FCF027F22473E70B Time : 0.0 sec. user=mdettweiler [2020-07-04 00:54:10] 955*2^1562519-1 is not prime. Res64: 1795AA24B6A4A3B5 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:54:10] 723*2^1562520-1 is not prime. Res64: 35C4347E828753B1 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:56:57] 747*2^1562520-1 is not prime. Res64: 9A36AD210C226688 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:56:57] 753*2^1562520-1 is not prime. Res64: 5F7821896E3A2393 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:56:57] 765*2^1562520-1 is not prime. Res64: 0830C3839CFE6D43 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:56:57] 779*2^1562520-1 is not prime. Res64: D057AD9AFF290459 Time : 0.0 sec. user=mdettweiler [2020-07-04 00:56:58] 845*2^1562520-1 is not prime. Res64: 4B0C4A1A2B18DCA6 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:36:21] 983*2^1562520-1 is not prime. Res64: 9CE4E896CD59B4B9 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:36:22] 607*2^1562521-1 is not prime. Res64: 52ACE8780C727B71 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:36:23] 651*2^1562521-1 is not prime. Res64: E796905B1B44CE0F Time : 0.0 sec. user=mdettweiler [2020-07-04 01:36:24] 717*2^1562521-1 is not prime. Res64: 96B1EA2B9CAD1FDE Time : 0.0 sec. user=mdettweiler [2020-07-04 01:36:25] 807*2^1562521-1 is not prime. Res64: 789150086912F9E4 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:51:25] 623*2^1562522-1 is not prime. Res64: 89E356F35EF1DE6C Time : 0.0 sec. user=mdettweiler [2020-07-04 01:51:27] 645*2^1562522-1 is not prime. Res64: 9FA7A42672A8B81D Time : 0.0 sec. user=mdettweiler [2020-07-04 01:51:29] 705*2^1562522-1 is not prime. Res64: 37727E5E8424337B Time : 0.0 sec. user=mdettweiler [2020-07-04 01:51:32] 815*2^1562522-1 is not prime. Res64: C701543A35C87372 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:51:34] 875*2^1562522-1 is not prime. Res64: 63731BF7168A2481 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:52:25] 847*2^1562521-1 is not prime. Res64: 7BAFED6F0CF1DC0F Time : 0.0 sec. user=mdettweiler [2020-07-04 01:52:27] 895*2^1562521-1 is not prime. Res64: EE59DDC38C25BCA6 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:52:29] 937*2^1562521-1 is not prime. Res64: C0508BD6883B6C15 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:52:30] 939*2^1562521-1 is not prime. Res64: 40BFB6F02454DF35 Time : 0.0 sec. user=mdettweiler [2020-07-04 01:52:31] 957*2^1562521-1 is not prime. Res64: CF7C27673A61DB90 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:34:05] 885*2^1562522-1 is not prime. Res64: 7A9FA162BA8455DE Time : 0.0 sec. user=mdettweiler [2020-07-04 02:34:06] 945*2^1562523-1 is not prime. Res64: 0BAC3EAFCB548680 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:34:06] 961*2^1562523-1 is not prime. Res64: 6A03DC15E1C65107 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:34:06] 963*2^1562523-1 is not prime. Res64: 5E628D165E01D84E Time : 0.0 sec. user=mdettweiler [2020-07-04 02:34:07] 695*2^1562524-1 is not prime. Res64: 48E342D8BE664E7C Time : 0.0 sec. user=mdettweiler [2020-07-04 02:47:44] 717*2^1562524-1 is not prime. Res64: 2EF8A031179899D6 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:47:45] 875*2^1562524-1 is not prime. Res64: 346B768A54617F1B Time : 0.0 sec. user=mdettweiler [2020-07-04 02:47:45] 923*2^1562524-1 is not prime. Res64: 4B010FE503D47519 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:47:45] 983*2^1562524-1 is not prime. Res64: A2A698BA10526AF2 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:47:46] 657*2^1562525-1 is not prime. Res64: 8F34DEFE6D9942AD Time : 0.0 sec. user=mdettweiler [2020-07-04 02:48:51] 715*2^1562525-1 is not prime. Res64: 9C83933C41D67326 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:48:51] 729*2^1562525-1 is not prime. Res64: F632996DC8EDD561 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:48:52] 837*2^1562525-1 is not prime. Res64: 60F1E2C72F75DFC4 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:48:52] 861*2^1562525-1 is not prime. Res64: 70F057766152E522 Time : 0.0 sec. user=mdettweiler [2020-07-04 02:48:52] 939*2^1562525-1 is not prime. Res64: 2D0F7E5A3AAFDD7E Time : 0.0 sec. user=mdettweiler [2020-07-04 03:26:24] 635*2^1562526-1 is not prime. Res64: 32F81D7119489A71 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:26:25] 641*2^1562526-1 is not prime. Res64: B4EEE6ED10B612BE Time : 0.0 sec. user=mdettweiler [2020-07-04 03:26:25] 683*2^1562526-1 is not prime. Res64: D7E41B7EA874D1EF Time : 0.0 sec. user=mdettweiler [2020-07-04 03:26:26] 741*2^1562526-1 is not prime. Res64: C6F9958252B78760 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:26:27] 747*2^1562526-1 is not prime. Res64: 35A1688665885792 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:45:02] 825*2^1562526-1 is not prime. Res64: 81D6308028512F40 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:45:08] 881*2^1562526-1 is not prime. Res64: 1DA79773D1667DCA Time : 0.0 sec. user=mdettweiler [2020-07-04 03:45:10] 957*2^1562526-1 is not prime. Res64: 49CE92D576D3DFF6 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:45:14] 963*2^1562526-1 is not prime. Res64: 125BEDE58CE8AD00 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:45:16] 735*2^1562527-1 is not prime. Res64: 932D18B3ABCDDCE9 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:46:06] 763*2^1562527-1 is not prime. Res64: 77A59857BF9D3CB5 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:46:07] 813*2^1562527-1 is not prime. Res64: 3E2B90E2A40C50F4 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:46:09] 841*2^1562527-1 is not prime. Res64: 5EBA8A4E606E01D6 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:46:09] 909*2^1562527-1 is not prime. Res64: 6F71F4B76A1ACC64 Time : 0.0 sec. user=mdettweiler [2020-07-04 03:46:10] 975*2^1562527-1 is not prime. Res64: 753E7439D01E541B Time : 0.0 sec. user=mdettweiler [2020-07-04 04:21:16] 665*2^1562528-1 is not prime. Res64: 686A96CA82C5B18C Time : 0.0 sec. user=mdettweiler [2020-07-04 04:21:17] 729*2^1562528-1 is not prime. Res64: DAE543B59905CB45 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:21:18] 767*2^1562528-1 is not prime. Res64: E54BE425D2734198 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:21:19] 815*2^1562528-1 is not prime. Res64: 59DBB6949F4DCDE3 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:21:20] 825*2^1562528-1 is not prime. Res64: 0F8BC85F69640AD4 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:40:17] 959*2^1562528-1 is not prime. Res64: 7CAF646301F08D69 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:40:17] 977*2^1562528-1 is not prime. Res64: D3949DF2D3363146 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:40:17] 625*2^1562529-1 is not prime. Res64: ACC1B8861168B94F Time : 0.0 sec. user=mdettweiler [2020-07-04 04:40:18] 691*2^1562529-1 is not prime. Res64: BBE61332C9C99534 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:40:18] 711*2^1562529-1 is not prime. Res64: BDCF364BF71B896A Time : 0.0 sec. user=mdettweiler [2020-07-04 04:41:14] 795*2^1562529-1 is not prime. Res64: B854D8C31012487E Time : 0.0 sec. user=mdettweiler [2020-07-04 04:41:14] 891*2^1562529-1 is not prime. Res64: 27483E5CFBB72903 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:41:14] 919*2^1562529-1 is not prime. Res64: E031AE4DB08EE756 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:41:14] 681*2^1562530-1 is not prime. Res64: 56883AADB2097047 Time : 0.0 sec. user=mdettweiler [2020-07-04 04:41:15] 741*2^1562530-1 is not prime. Res64: 3D09CC66807790B9 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:16:36] 803*2^1562530-1 is not prime. Res64: 4BB606356AADDD0A Time : 0.0 sec. user=mdettweiler [2020-07-04 05:16:36] 951*2^1562530-1 is not prime. Res64: DE840E4EC9014E08 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:16:36] 615*2^1562531-1 is not prime. Res64: 83D25F60B23B9F80 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:16:37] 735*2^1562531-1 is not prime. Res64: AA3968F3FC03D119 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:16:37] 841*2^1562531-1 is not prime. Res64: ACB8606182B8BC76 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:36:13] 883*2^1562531-1 is not prime. Res64: A3B513FC22A552C8 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:36:13] 979*2^1562531-1 is not prime. Res64: D7A3CE44F10CA6FE Time : 0.0 sec. user=mdettweiler [2020-07-04 05:36:13] 999*2^1562531-1 is not prime. Res64: 18EB739955DB9410 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:36:13] 623*2^1562532-1 is not prime. Res64: DFE3D34948DF8A49 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:36:14] 779*2^1562532-1 is not prime. Res64: 8ABBFCEAE7141D25 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:38:08] 863*2^1562532-1 is not prime. Res64: D358F360F8EFB47A Time : 0.0 sec. user=mdettweiler [2020-07-04 05:38:08] 867*2^1562532-1 is not prime. Res64: 98A88DCD8E3B4C62 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:38:08] 893*2^1562532-1 is not prime. Res64: 5FC954F1ADFF5423 Time : 0.0 sec. user=mdettweiler [2020-07-04 05:38:09] 899*2^1562532-1 is not prime. Res64: F3762F20424687FE Time : 0.0 sec. user=mdettweiler [2020-07-04 05:38:09] 607*2^1562533-1 is not prime. Res64: D7189D89BB254824 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:13:52] 751*2^1562533-1 is not prime. Res64: 47EE7AF3B1303B13 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:13:53] 861*2^1562533-1 is not prime. Res64: C9CC7977B37F0F05 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:13:53] 877*2^1562533-1 is not prime. Res64: 0374F10BDE7DD0B2 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:13:53] 885*2^1562533-1 is not prime. Res64: C48D747078A9C471 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:13:54] 937*2^1562533-1 is not prime. Res64: E0967F47ABB09D03 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:30:38] 955*2^1562533-1 is not prime. Res64: 7118C327004FB3EB Time : 0.0 sec. user=mdettweiler [2020-07-04 06:30:38] 987*2^1562533-1 is not prime. Res64: 770BCDA3E697823B Time : 0.0 sec. user=mdettweiler [2020-07-04 06:30:39] 635*2^1562534-1 is not prime. Res64: 7CC6D91127E2E0EC Time : 0.0 sec. user=mdettweiler [2020-07-04 06:30:39] 665*2^1562534-1 is not prime. Res64: 8160720921DCC088 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:30:39] 743*2^1562534-1 is not prime. Res64: 5D139FDE0A0D8052 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:32:58] 753*2^1562534-1 is not prime. Res64: 4E73F28C5D775091 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:32:58] 797*2^1562534-1 is not prime. Res64: DC4296D3E4DD4F35 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:32:59] 903*2^1562534-1 is not prime. Res64: 453001BFDA6AD10B Time : 0.0 sec. user=mdettweiler [2020-07-04 06:32:59] 995*2^1562534-1 is not prime. Res64: 646DE62B30EE74C7 Time : 0.0 sec. user=mdettweiler [2020-07-04 06:32:59] 625*2^1562535-1 is not prime. Res64: FCBD876965BCADFB Time : 0.0 sec. user=mdettweiler [2020-07-04 07:08:38] 649*2^1562535-1 is not prime. Res64: 47A58420026CC528 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:08:39] 793*2^1562535-1 is not prime. Res64: 5AD5AE31C95D2519 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:08:39] 805*2^1562535-1 is not prime. Res64: CB96CBE81C040A40 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:08:40] 819*2^1562535-1 is not prime. Res64: 197207A2327694E6 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:08:40] 853*2^1562535-1 is not prime. Res64: 7A78AC4D7546231C Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:30] 933*2^1562535-1 is not prime. Res64: DBD066D53455FDE6 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:30] 963*2^1562535-1 is not prime. Res64: 6B7A35AAD71CEDD9 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:30] 991*2^1562535-1 is not prime. Res64: D28D6CA7A4F5E3EA Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:30] 999*2^1562535-1 is not prime. Res64: 922810FAB3BCC984 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:30] 615*2^1562536-1 is not prime. Res64: 684556BA8A0E46C3 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:43] 657*2^1562536-1 is not prime. Res64: 0B1CA7D1A6B6BB40 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:43] 743*2^1562536-1 is not prime. Res64: 45E34EF32C9E76AB Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:43] 803*2^1562536-1 is not prime. Res64: C6C7FFCD66D6A3A9 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:43] 975*2^1562536-1 is not prime. Res64: 3D0A0C5167650D88 Time : 0.0 sec. user=mdettweiler [2020-07-04 07:27:44] 989*2^1562536-1 is not prime. Res64: 9FBD0D246DD53A53 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:01:11] 637*2^1562537-1 is not prime. Res64: F452E9E2146E46C7 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:01:12] 759*2^1562537-1 is not prime. Res64: 2E04651E3813E247 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:01:14] 769*2^1562537-1 is not prime. Res64: 2A42525865334475 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:01:16] 781*2^1562537-1 is not prime. Res64: 01C69FF738AAA689 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:01:17] 795*2^1562537-1 is not prime. Res64: 9DC19C7816B3B0F9 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:15] 695*2^1562538-1 is not prime. Res64: BDC8B898974D4029 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:16] 875*2^1562538-1 is not prime. Res64: 2B8F8CC1FFC9CD54 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:16] 619*2^1562539-1 is not prime. Res64: EC07D4D1CCB03180 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:16] 681*2^1562539-1 is not prime. Res64: F30481553E382203 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:16] 885*2^1562539-1 is not prime. Res64: 8CE4CA47FE53AC44 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:23] 951*2^1562539-1 is not prime. Res64: C807087266D126D5 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:23] 993*2^1562539-1 is not prime. Res64: 383BEBDFD12DB2A5 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:23] 677*2^1562540-1 is not prime. Res64: 7DC6E111DA891702 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:24] 687*2^1562540-1 is not prime. Res64: 7BEEBA03FF395992 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:22:24] 785*2^1562540-1 is not prime. Res64: 1C973170E9AE6125 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:56:57] 827*2^1562540-1 is not prime. Res64: 6C41C1A9183C12EA Time : 0.0 sec. user=mdettweiler [2020-07-04 08:56:58] 977*2^1562540-1 is not prime. Res64: 73D83025B6C842BB Time : 0.0 sec. user=mdettweiler [2020-07-04 08:56:58] 983*2^1562540-1 is not prime. Res64: 232488D6E238BB60 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:56:58] 621*2^1562541-1 is not prime. Res64: 634D1288BBC25E39 Time : 0.0 sec. user=mdettweiler [2020-07-04 08:56:58] 657*2^1562541-1 is not prime. Res64: 2964A340681F77D1 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:15:44] 611*2^1562542-1 is not prime. Res64: AA80E111FAAF99C8 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:15:44] 645*2^1562542-1 is not prime. Res64: AC198BB42CB29767 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:15:45] 755*2^1562542-1 is not prime. Res64: 62A8D1B1717FA841 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:15:45] 801*2^1562542-1 is not prime. Res64: 49577D314BE3014F Time : 0.0 sec. user=mdettweiler [2020-07-04 09:15:45] 915*2^1562542-1 is not prime. Res64: 7362555B61696CB4 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:17:59] 661*2^1562541-1 is not prime. Res64: 8D77A4BF23414693 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:17:59] 717*2^1562541-1 is not prime. Res64: 157C5EA02BE72477 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:18:00] 871*2^1562541-1 is not prime. Res64: D785890CAB6CBEC6 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:18:00] 907*2^1562541-1 is not prime. Res64: B8BCB7C956EBDF58 Time : 0.0 sec. user=mdettweiler [2020-07-04 09:18:00] 921*2^1562541-1 is not prime. Res64: BCFDE02D1181932D Time : 0.0 sec. user=mdettweiler [2020-07-04 09:52:43] 855*2^1562543-1 is not prime. Res64: C574754CB4FEE9EF Time : 0.0 sec. user=mdettweiler [2020-07-04 09:52:43] 859*2^1562543-1 is not prime. Res64: CBA8BE042681186E Time : 0.0 sec. user=mdettweiler [2020-07-04 09:52:44] 663*2^1562544-1 is not prime. Res64: 7CA8F13C9CD7046B Time : 0.0 sec. user=mdettweiler [2020-07-04 09:52:44] 719*2^1562544-1 is not prime. Res64: 7A6DE2FE5A59F46F Time : 0.0 sec. user=mdettweiler [2020-07-04 09:52:44] 825*2^1562544-1 is not prime. Res64: D073078D4992DFBC Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:34] 843*2^1562544-1 is not prime. Res64: E7E031D24A898BAB Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:34] 849*2^1562544-1 is not prime. Res64: CBEDC5BCA3B69956 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:35] 863*2^1562544-1 is not prime. Res64: AB62F4845A682079 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:35] 969*2^1562544-1 is not prime. Res64: 8C4375A8CD3BF502 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:35] 625*2^1562545-1 is not prime. Res64: 834DFDF463299EE5 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:41] 811*2^1562545-1 is not prime. Res64: E987E8286BE40475 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:41] 951*2^1562545-1 is not prime. Res64: CBAA94B9534A3A6A Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:41] 635*2^1562546-1 is not prime. Res64: D3A21AB1A200F7C7 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:41] 705*2^1562546-1 is not prime. Res64: A5BBEEB7A62EF5A8 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:12:42] 743*2^1562546-1 is not prime. Res64: 101B059B44955A8A Time : 0.0 sec. user=mdettweiler [2020-07-04 10:48:52] 747*2^1562546-1 is not prime. Res64: AABFB17BDCC391F0 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:48:52] 767*2^1562546-1 is not prime. Res64: 064B2E6F271E5A7C Time : 0.0 sec. user=mdettweiler [2020-07-04 10:48:52] 837*2^1562546-1 is not prime. Res64: 8F7FA4302C3C6DA5 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:48:52] 903*2^1562546-1 is not prime. Res64: 0CBE700E37E98284 Time : 0.0 sec. user=mdettweiler [2020-07-04 10:48:53] 971*2^1562546-1 is not prime. Res64: 86240F273BA69DB1 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:05:26] 685*2^1562547-1 is not prime. Res64: 94B34FB3AC262764 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:05:27] 711*2^1562547-1 is not prime. Res64: 7F7C7911F64B0DB6 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:05:28] 735*2^1562547-1 is not prime. Res64: 0EE8E754503FC196 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:05:29] 781*2^1562547-1 is not prime. Res64: 53E7E6610F474EDD Time : 0.0 sec. user=mdettweiler [2020-07-04 11:05:30] 795*2^1562547-1 is not prime. Res64: 9E3CEAF7A9759B58 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:06:20] 849*2^1562547-1 is not prime. Res64: 70E5DE01411B3A3C Time : 0.0 sec. user=mdettweiler [2020-07-04 11:06:21] 665*2^1562548-1 is not prime. Res64: 88AAAB53141BA298 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:06:22] 707*2^1562548-1 is not prime. Res64: 2E28F6FB1C021A4D Time : 0.0 sec. user=mdettweiler [2020-07-04 11:06:22] 735*2^1562548-1 is not prime. Res64: 0C71DDBA840DE79B Time : 0.0 sec. user=mdettweiler [2020-07-04 11:06:23] 749*2^1562548-1 is not prime. Res64: 28599A89458BE9FC Time : 0.0 sec. user=mdettweiler [2020-07-04 11:42:30] 773*2^1562548-1 is not prime. Res64: D832F25FCEDF3401 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:42:30] 923*2^1562548-1 is not prime. Res64: C8A778C4C59B9925 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:42:31] 619*2^1562549-1 is not prime. Res64: 396E8C8149F96DC8 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:42:31] 697*2^1562549-1 is not prime. Res64: A3E09FE7A558BFE2 Time : 0.0 sec. user=mdettweiler [2020-07-04 11:42:31] 787*2^1562549-1 is not prime. Res64: 083870E1D5D31BB3 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:00:03] 653*2^1562550-1 is not prime. Res64: 59BA083133D2B0D6 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:00:03] 711*2^1562550-1 is not prime. Res64: BAB7E3973F6C556D Time : 0.0 sec. user=mdettweiler [2020-07-04 12:00:03] 723*2^1562550-1 is not prime. Res64: CE172483E9D612FB Time : 0.0 sec. user=mdettweiler [2020-07-04 12:00:04] 761*2^1562550-1 is not prime. Res64: 4EB04E9C971F05C0 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:00:04] 977*2^1562550-1 is not prime. Res64: E02FA6F0F107526B Time : 0.0 sec. user=mdettweiler [2020-07-04 12:01:22] 847*2^1562549-1 is not prime. Res64: CE9D853373D95E40 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:01:23] 885*2^1562549-1 is not prime. Res64: E7677B5669A17741 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:01:23] 949*2^1562549-1 is not prime. Res64: 1B861F50FE880B4A Time : 0.0 sec. user=mdettweiler [2020-07-04 12:01:24] 627*2^1562550-1 is not prime. Res64: 15A06880D7680FED Time : 0.0 sec. user=mdettweiler [2020-07-04 12:01:25] 641*2^1562550-1 is not prime. Res64: 11FA60C311D4D226 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:35:51] 615*2^1562551-1 is not prime. Res64: 33B0693259963371 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:35:51] 645*2^1562551-1 is not prime. Res64: F5F658A7B295E62A Time : 0.0 sec. user=mdettweiler [2020-07-04 12:35:51] 763*2^1562551-1 is not prime. Res64: 43724ADCA20EF39D Time : 0.0 sec. user=mdettweiler [2020-07-04 12:35:52] 805*2^1562551-1 is not prime. Res64: 32829D73627616F3 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:35:52] 859*2^1562551-1 is not prime. Res64: EB314DDE0C30170D Time : 0.0 sec. user=mdettweiler [2020-07-04 12:54:36] 873*2^1562551-1 is not prime. Res64: E9436AF96E2F9E10 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:54:36] 933*2^1562551-1 is not prime. Res64: 011307AA0D2AD721 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:54:37] 609*2^1562552-1 is not prime. Res64: 5377700DDFF0A5B5 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:54:37] 645*2^1562552-1 is not prime. Res64: 1C7B35FEB824D5C3 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:54:37] 717*2^1562552-1 is not prime. Res64: 45655E48BE493851 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:55:12] 855*2^1562552-1 is not prime. Res64: 96F97487134BA100 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:55:12] 627*2^1562553-1 is not prime. Res64: 9C2A119CF6AC15CE Time : 0.0 sec. user=mdettweiler [2020-07-04 12:55:12] 681*2^1562553-1 is not prime. Res64: E81DE5D93CFB4C51 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:55:12] 685*2^1562553-1 is not prime. Res64: C2D74EA22D53A032 Time : 0.0 sec. user=mdettweiler [2020-07-04 12:55:13] 727*2^1562553-1 is not prime. Res64: 8CD139622493FD43 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:30:41] 741*2^1562553-1 is not prime. Res64: 68E86566090C86CF Time : 0.0 sec. user=mdettweiler [2020-07-04 13:30:41] 915*2^1562553-1 is not prime. Res64: CA8149CC86E1BC1A Time : 0.0 sec. user=mdettweiler [2020-07-04 13:30:42] 921*2^1562553-1 is not prime. Res64: 57A3076B035F9728 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:30:42] 675*2^1562554-1 is not prime. Res64: E0A6C24F0CC8F5AC Time : 0.0 sec. user=mdettweiler [2020-07-04 13:30:42] 701*2^1562554-1 is not prime. Res64: 44D6B777CA6F35A3 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:48:28] 643*2^1562555-1 is not prime. Res64: A273DA263963E04E Time : 0.0 sec. user=mdettweiler [2020-07-04 13:48:28] 645*2^1562555-1 is not prime. Res64: A3FBE6B27E8EAC8D Time : 0.0 sec. user=mdettweiler [2020-07-04 13:48:28] 799*2^1562555-1 is not prime. Res64: 48F0A138A7CD8C32 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:48:28] 801*2^1562555-1 is not prime. Res64: 0F9D0669910C3325 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:48:29] 883*2^1562555-1 is not prime. Res64: F6D1351C4C5EB45A Time : 0.0 sec. user=mdettweiler [2020-07-04 13:49:37] 717*2^1562554-1 is not prime. Res64: 3CBA70398B1C58DD Time : 0.0 sec. user=mdettweiler [2020-07-04 13:49:37] 723*2^1562554-1 is not prime. Res64: FB1F2A4694163921 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:49:37] 737*2^1562554-1 is not prime. Res64: 691D24855EC310A6 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:49:38] 951*2^1562554-1 is not prime. Res64: 1F6E0BC54EADC081 Time : 0.0 sec. user=mdettweiler [2020-07-04 13:49:38] 1001*2^1562554-1 is not prime. Res64: 2A20684169A09D77 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:24:07] 627*2^1562556-1 is not prime. Res64: 00CA29DDF2C1C218 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:24:07] 675*2^1562556-1 is not prime. Res64: D8E7C9F6506D7B4C Time : 0.0 sec. user=mdettweiler [2020-07-04 14:24:08] 707*2^1562556-1 is not prime. Res64: 74FE40155F8774B2 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:24:08] 773*2^1562556-1 is not prime. Res64: D42B2EA57C613E46 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:24:09] 899*2^1562556-1 is not prime. Res64: EAD02897C6393C2F Time : 0.0 sec. user=mdettweiler [2020-07-04 14:42:40] 945*2^1562556-1 is not prime. Res64: 5CD1BB65AB5B2059 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:42:40] 999*2^1562556-1 is not prime. Res64: D8B6A8652F903F9F Time : 0.0 sec. user=mdettweiler [2020-07-04 14:42:40] 609*2^1562557-1 is not prime. Res64: B19C8D8A16257068 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:42:40] 615*2^1562557-1 is not prime. Res64: CF934502B744C467 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:42:41] 645*2^1562557-1 is not prime. Res64: CBEF5D96A3D90842 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:44:02] 759*2^1562557-1 is not prime. Res64: 3E9D6B97F44DDBDB Time : 0.0 sec. user=mdettweiler [2020-07-04 14:44:02] 861*2^1562557-1 is not prime. Res64: 5F9E02B23F7B533D Time : 0.0 sec. user=mdettweiler [2020-07-04 14:44:02] 919*2^1562557-1 is not prime. Res64: 230DFE7E432BC926 Time : 0.0 sec. user=mdettweiler [2020-07-04 14:44:02] 603*2^1562558-1 is not prime. Res64: A6FE7E7E8CBBD74F Time : 0.0 sec. user=mdettweiler [2020-07-04 14:44:03] 617*2^1562558-1 is not prime. Res64: 4201BB542D5758BB Time : 0.0 sec. user=mdettweiler [2020-07-04 15:17:25] 657*2^1562558-1 is not prime. Res64: CC151AB6A9FB59AB Time : 0.0 sec. user=mdettweiler [2020-07-04 15:17:26] 663*2^1562558-1 is not prime. Res64: D6926CF8044B5676 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:17:26] 731*2^1562558-1 is not prime. Res64: 9D7FE89FD04F9ECC Time : 0.0 sec. user=mdettweiler [2020-07-04 15:17:26] 755*2^1562558-1 is not prime. Res64: 26085CFD8AD9AEA9 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:17:27] 825*2^1562558-1 is not prime. Res64: 1CEB612C8DD834C6 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:39:45] 669*2^1562559-1 is not prime. Res64: 70903C0F42B48640 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:39:45] 741*2^1562559-1 is not prime. Res64: EEE927E9535EA630 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:39:46] 859*2^1562559-1 is not prime. Res64: A8BFB5ABB8F2A906 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:39:46] 891*2^1562559-1 is not prime. Res64: 9EC52E8AD474F70B Time : 0.0 sec. user=mdettweiler [2020-07-04 15:39:46] 933*2^1562559-1 is not prime. Res64: 49048B74246FBF51 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:40:59] 827*2^1562558-1 is not prime. Res64: D8BCC296BE2F5A7A Time : 0.0 sec. user=mdettweiler [2020-07-04 15:40:59] 861*2^1562558-1 is not prime. Res64: CCF3300E9F6A6959 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:40:59] 921*2^1562558-1 is not prime. Res64: E2E18EAEE450F497 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:41:00] 945*2^1562558-1 is not prime. Res64: 5B72C887298BF9D3 Time : 0.0 sec. user=mdettweiler [2020-07-04 15:41:00] 963*2^1562558-1 is not prime. Res64: FE192DFBA788D4BA Time : 0.0 sec. user=mdettweiler [2020-07-04 16:09:40] 603*2^1562560-1 is not prime. Res64: F3626937C9EC5113 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:09:41] 645*2^1562560-1 is not prime. Res64: D40546F3BC7F178E Time : 0.0 sec. user=mdettweiler [2020-07-04 16:09:41] 693*2^1562560-1 is not prime. Res64: 6BE7219C84D94A9F Time : 0.0 sec. user=mdettweiler [2020-07-04 16:09:41] 717*2^1562560-1 is not prime. Res64: B899E4E2565AA286 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:09:42] 755*2^1562560-1 is not prime. Res64: B99F31F1334B3F34 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:34:34] 785*2^1562560-1 is not prime. Res64: 4BF4126E4FC31BAA Time : 0.0 sec. user=mdettweiler [2020-07-04 16:34:34] 839*2^1562560-1 is not prime. Res64: D23DC415568706CC Time : 0.0 sec. user=mdettweiler [2020-07-04 16:34:35] 939*2^1562560-1 is not prime. Res64: DFDE3E9E9E79865D Time : 0.0 sec. user=mdettweiler [2020-07-04 16:34:35] 637*2^1562561-1 is not prime. Res64: 43820E9F38B99541 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:34:35] 777*2^1562561-1 is not prime. Res64: 378A2BDAAFDBCED0 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:36:48] 937*2^1562561-1 is not prime. Res64: 7661FF50F7800390 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:36:48] 987*2^1562561-1 is not prime. Res64: 18F3BDC0C9DB12FB Time : 0.0 sec. user=mdettweiler [2020-07-04 16:36:48] 815*2^1562562-1 is not prime. Res64: F4C8E84C1EEB4431 Time : 0.0 sec. user=mdettweiler [2020-07-04 16:36:49] 609*2^1562563-1 is not prime. Res64: 0337ABAF151D54CF Time : 0.0 sec. user=mdettweiler [2020-07-04 16:36:49] 775*2^1562563-1 is not prime. Res64: 7A6A67508146A911 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:08:03] 985*2^1562563-1 is not prime. Res64: D178562E80B0292B Time : 0.0 sec. user=mdettweiler [2020-07-04 17:08:06] 813*2^1562564-1 is not prime. Res64: C43A1DEF2956E6E3 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:08:08] 825*2^1562564-1 is not prime. Res64: E7B2B98DC7E96E9F Time : 0.0 sec. user=mdettweiler [2020-07-04 17:08:09] 903*2^1562564-1 is not prime. Res64: 4CE3D727D5979186 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:08:10] 953*2^1562564-1 is not prime. Res64: A0807CF228033E85 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:26:33] 625*2^1562565-1 is not prime. Res64: 60D7F4291C46BD01 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:26:33] 627*2^1562565-1 is not prime. Res64: E16D4A4127483252 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:26:34] 667*2^1562565-1 is not prime. Res64: 9DD4B95BB1C9A835 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:26:34] 685*2^1562565-1 is not prime. Res64: 6619CBF21B29CB18 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:26:34] 777*2^1562565-1 is not prime. Res64: 4EAA0EF5C5DC3320 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:35:02] 895*2^1562565-1 is not prime. Res64: 369BF89184052C3C Time : 0.0 sec. user=mdettweiler [2020-07-04 17:35:03] 915*2^1562565-1 is not prime. Res64: ACCA07877BE2D94A Time : 0.0 sec. user=mdettweiler [2020-07-04 17:35:03] 921*2^1562565-1 is not prime. Res64: 67A5921E4C9C2222 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:35:03] 949*2^1562565-1 is not prime. Res64: 54F0980115DF76E2 Time : 0.0 sec. user=mdettweiler [2020-07-04 17:35:03] 999*2^1562565-1 is not prime. Res64: 8F97BDE59AFF4AF5 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:00:26] 663*2^1562566-1 is not prime. Res64: B190F699E6ACE26A Time : 0.0 sec. user=mdettweiler [2020-07-04 18:00:26] 765*2^1562566-1 is not prime. Res64: D89BDCD565FF51C5 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:00:27] 601*2^1562567-1 is not prime. Res64: A458410A4FA86494 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:00:28] 661*2^1562567-1 is not prime. Res64: 7A1A71B34E10640E Time : 0.0 sec. user=mdettweiler [2020-07-04 18:00:29] 627*2^1562568-1 is not prime. Res64: 904AC4A2569FC543 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:18:49] 629*2^1562568-1 is not prime. Res64: 4FD026B783ED13DA Time : 0.0 sec. user=mdettweiler [2020-07-04 18:18:50] 713*2^1562568-1 is not prime. Res64: A00249CE27A69CA9 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:18:50] 753*2^1562568-1 is not prime. Res64: 94DEBF6748BD3FDF Time : 0.0 sec. user=mdettweiler [2020-07-04 18:18:50] 601*2^1562569-1 is not prime. Res64: BA5C5676BAB16B28 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:18:51] 681*2^1562569-1 is not prime. Res64: 728FCF9854DA3DF3 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:31:13] 685*2^1562569-1 is not prime. Res64: 6B584E26065503E9 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:31:13] 751*2^1562569-1 is not prime. Res64: 0E15C5D75AB6CAF7 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:31:14] 819*2^1562569-1 is not prime. Res64: ED2AA0EFCDCF5F38 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:31:14] 829*2^1562569-1 is not prime. Res64: 008CBF1EFBBF7491 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:31:14] 909*2^1562569-1 is not prime. Res64: 5500422281ADF095 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:53:51] 939*2^1562569-1 is not prime. Res64: 51DAAB4750E0501C Time : 0.0 sec. user=mdettweiler [2020-07-04 18:53:52] 645*2^1562570-1 is not prime. Res64: 376C74024C834D49 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:53:52] 657*2^1562570-1 is not prime. Res64: 064287AFEF93F4A3 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:53:52] 713*2^1562570-1 is not prime. Res64: 01C1B6D05DA21352 Time : 0.0 sec. user=mdettweiler [2020-07-04 18:53:52] 773*2^1562570-1 is not prime. Res64: AA4DAE5E2DF8C994 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:12:48] 857*2^1562570-1 is not prime. Res64: 5D27CC2625CB8EBE Time : 0.0 sec. user=mdettweiler [2020-07-04 19:12:48] 679*2^1562571-1 is not prime. Res64: C49C3EAAA9779A94 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:12:48] 709*2^1562571-1 is not prime. Res64: 5FB77DFA4E597922 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:12:49] 745*2^1562571-1 is not prime. Res64: FA278D96B4EC4341 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:12:49] 769*2^1562571-1 is not prime. Res64: 987AA29F70CCA710 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:28:18] 789*2^1562571-1 is not prime. Res64: 5E9E0B5E925F89F7 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:28:18] 825*2^1562571-1 is not prime. Res64: 4AD36CBD4C2B3CA6 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:28:18] 849*2^1562571-1 is not prime. Res64: 47DA555942B549E5 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:28:19] 861*2^1562571-1 is not prime. Res64: 6C288308D370FC6F Time : 0.0 sec. user=mdettweiler [2020-07-04 19:28:19] 903*2^1562571-1 is not prime. Res64: 80498C7A90641ED5 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:49:21] 623*2^1562572-1 is not prime. Res64: 97A97900B675755A Time : 0.0 sec. user=mdettweiler [2020-07-04 19:49:21] 635*2^1562572-1 is not prime. Res64: F57EB839B5F6A24E Time : 0.0 sec. user=mdettweiler [2020-07-04 19:49:21] 855*2^1562572-1 is not prime. Res64: A0DF5015594A95C3 Time : 0.0 sec. user=mdettweiler [2020-07-04 19:49:21] 863*2^1562572-1 is not prime. Res64: A636000C0135B68B Time : 0.0 sec. user=mdettweiler [2020-07-04 19:49:21] 933*2^1562572-1 is not prime. Res64: D616A04F894887C0 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:05:50] 957*2^1562572-1 is not prime. Res64: 4A3E2924F5AD4CE5 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:05:51] 615*2^1562573-1 is not prime. Res64: 461A4E77CB41535B Time : 0.0 sec. user=mdettweiler [2020-07-04 20:05:52] 621*2^1562573-1 is not prime. Res64: EC91AACA50AAA6B2 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:05:53] 669*2^1562573-1 is not prime. Res64: BD0A8B5E5F069822 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:05:54] 699*2^1562573-1 is not prime. Res64: 8D4C89ED017965D8 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:25:34] 781*2^1562573-1 is not prime. Res64: 3AF09828AE43C4AA Time : 0.0 sec. user=mdettweiler [2020-07-04 20:25:34] 867*2^1562573-1 is not prime. Res64: 6D0F394614BF9DFA Time : 0.0 sec. user=mdettweiler [2020-07-04 20:25:34] 885*2^1562573-1 is not prime. Res64: 771D858B04E15B9C Time : 0.0 sec. user=mdettweiler [2020-07-04 20:25:34] 901*2^1562573-1 is not prime. Res64: 05FAB74AF2FF2B0F Time : 0.0 sec. user=mdettweiler [2020-07-04 20:25:35] 987*2^1562573-1 is not prime. Res64: 72A97E8AC6F92C24 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:42:58] 663*2^1562574-1 is not prime. Res64: ECBCE736FC182F5D Time : 0.0 sec. user=mdettweiler [2020-07-04 20:42:58] 681*2^1562574-1 is not prime. Res64: 3127F84F8911EEF0 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:42:58] 723*2^1562574-1 is not prime. Res64: AA37CE8AB58E8DC1 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:42:59] 747*2^1562574-1 is not prime. Res64: E5EB76C7AA9F4B90 Time : 0.0 sec. user=mdettweiler [2020-07-04 20:42:59] 885*2^1562574-1 is not prime. Res64: 911E7BEF22367D9A Time : 0.0 sec. user=mdettweiler [2020-07-04 21:02:32] 945*2^1562574-1 is not prime. Res64: 7A528F2C5E7EE218 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:02:33] 975*2^1562574-1 is not prime. Res64: 2857AC3472F5A11C Time : 0.0 sec. user=mdettweiler [2020-07-04 21:02:34] 741*2^1562575-1 is not prime. Res64: 7109C4C0326894F0 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:02:34] 793*2^1562575-1 is not prime. Res64: 16FF87BD16A3297C Time : 0.0 sec. user=mdettweiler [2020-07-04 21:02:34] 891*2^1562575-1 is not prime. Res64: 14B66BAF37B3BD7D Time : 0.0 sec. user=mdettweiler [2020-07-04 21:21:08] 985*2^1562575-1 is not prime. Res64: AE9DAF0BCD970134 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:21:08] 615*2^1562576-1 is not prime. Res64: E89E4907DA18566C Time : 0.0 sec. user=mdettweiler [2020-07-04 21:21:09] 629*2^1562576-1 is not prime. Res64: 02DFE817358B3CF2 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:21:09] 843*2^1562576-1 is not prime. Res64: F0B6A997171AB321 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:21:09] 873*2^1562576-1 is not prime. Res64: 235704601D11D9DC Time : 0.0 sec. user=mdettweiler [2020-07-04 21:37:53] 875*2^1562576-1 is not prime. Res64: BEB91EA650490443 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:37:53] 935*2^1562576-1 is not prime. Res64: 1E1D8031EC28BACC Time : 0.0 sec. user=mdettweiler [2020-07-04 21:37:53] 681*2^1562577-1 is not prime. Res64: BA96F618C175558A Time : 0.0 sec. user=mdettweiler [2020-07-04 21:37:54] 709*2^1562577-1 is not prime. Res64: 3B7463E5A8DBE4F0 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:37:54] 611*2^1562578-1 is not prime. Res64: 9C6D2130CC5DABC6 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:57:39] 681*2^1562578-1 is not prime. Res64: CD918B79B1BBBBA8 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:57:40] 735*2^1562578-1 is not prime. Res64: 60A39F0985A650F6 Time : 0.0 sec. user=mdettweiler [2020-07-04 21:57:40] 777*2^1562578-1 is not prime. Res64: 60C7C4DA8B7A7DCE Time : 0.0 sec. user=mdettweiler [2020-07-04 21:57:40] 845*2^1562578-1 is not prime. Res64: E19BAA22A92A643F Time : 0.0 sec. user=mdettweiler [2020-07-04 21:57:40] 857*2^1562578-1 is not prime. Res64: CB0EAB4CE851E348 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:16:40] 951*2^1562578-1 is not prime. Res64: 75D307E868F6CB55 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:16:40] 971*2^1562578-1 is not prime. Res64: DE78CFECC3E18A59 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:16:41] 993*2^1562578-1 is not prime. Res64: 28D834232312B63D Time : 0.0 sec. user=mdettweiler [2020-07-04 22:16:41] 663*2^1562579-1 is not prime. Res64: CDD2DE532C479757 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:16:41] 669*2^1562579-1 is not prime. Res64: 3BB09923174D0518 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:31:31] 675*2^1562579-1 is not prime. Res64: DE4476E4C995DA4F Time : 0.0 sec. user=mdettweiler [2020-07-04 22:31:32] 685*2^1562579-1 is not prime. Res64: B65FDE3D0BC90BF6 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:31:32] 745*2^1562579-1 is not prime. Res64: 05C1037DD6861D08 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:31:32] 801*2^1562579-1 is not prime. Res64: 7594303C2CF336C6 Time : 0.0 sec. user=mdettweiler [2020-07-04 22:31:32] 811*2^1562579-1 is not prime. Res64: A5A19944687541DC Time : 0.0 sec. user=mdettweiler [2020-07-04 22:53:09] 973*2^1562579-1 is not prime. Res64: EC6B78E64EBE4DAF Time : 0.0 sec. user=mdettweiler [2020-07-04 22:53:10] 979*2^1562579-1 is not prime. Res64: E3AA7A1B9C4A26CB Time : 0.0 sec. user=mdettweiler [2020-07-04 22:53:10] 999*2^1562579-1 is not prime. Res64: 1ADCFE51A2FFCA4D Time : 0.0 sec. user=mdettweiler [2020-07-04 22:53:10] 623*2^1562580-1 is not prime. Res64: C14A519CE74C139F Time : 0.0 sec. user=mdettweiler [2020-07-04 22:53:10] 665*2^1562580-1 is not prime. Res64: F8ED0C987FC3C307 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:11:28] 777*2^1562580-1 is not prime. Res64: 2168C7CFDF2019A7 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:11:29] 795*2^1562580-1 is not prime. Res64: 26A186094CFD7E18 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:11:29] 867*2^1562580-1 is not prime. Res64: C9E79DAEA8D5E980 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:11:29] 965*2^1562580-1 is not prime. Res64: F9BB1145ED8F492E Time : 0.0 sec. user=mdettweiler [2020-07-04 23:11:30] 645*2^1562581-1 is not prime. Res64: 30ABE979E8F2FC0D Time : 0.0 sec. user=mdettweiler [2020-07-04 23:27:20] 691*2^1562581-1 is not prime. Res64: 4C09CF9FEB1D257B Time : 0.0 sec. user=mdettweiler [2020-07-04 23:27:20] 617*2^1562582-1 is not prime. Res64: 6FECFED598BB5CF9 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:27:20] 825*2^1562582-1 is not prime. Res64: 439AEFFBEB55CE86 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:27:20] 867*2^1562582-1 is not prime. Res64: 20C2DD5322BCDAD8 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:27:21] 893*2^1562582-1 is not prime. Res64: 40BEF4415815D62E Time : 0.0 sec. user=mdettweiler [2020-07-04 23:48:59] 911*2^1562582-1 is not prime. Res64: 285CE2C43737A955 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:49:00] 983*2^1562582-1 is not prime. Res64: BE15A5324A2DABDA Time : 0.0 sec. user=mdettweiler [2020-07-04 23:49:00] 987*2^1562582-1 is not prime. Res64: 7F6EF9FB4E938653 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:49:00] 675*2^1562583-1 is not prime. Res64: FD177449083F9BF4 Time : 0.0 sec. user=mdettweiler [2020-07-04 23:49:00] 679*2^1562583-1 is not prime. Res64: 7FFCEF34D4E567C9 Time : 0.0 sec.