user=mdettweiler [2017-04-29 00:08:38] 741*2^1452775-1 is not prime. Res64: 2D892E829D4FBF20 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:38] 659*2^1452776-1 is not prime. Res64: 4A0DE4E8CD3BD5B1 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:39] 843*2^1452775-1 is not prime. Res64: C2CD7FA9DE842713 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:39] 675*2^1452776-1 is not prime. Res64: 63A6EC4457493680 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:39] 943*2^1452775-1 is not prime. Res64: 6DAC99DD6AD2F2CA Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:40] 815*2^1452776-1 is not prime. Res64: 3817805BF11E45E3 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:40] 615*2^1452776-1 is not prime. Res64: 902978FA65751AF1 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:40] 893*2^1452776-1 is not prime. Res64: C29B2F6F8A0A39DB Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:40] 623*2^1452776-1 is not prime. Res64: EA229ECF739B4AB0 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:08:41] 903*2^1452776-1 is not prime. Res64: 9E413C211AB8AADB Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:06] 923*2^1452776-1 is not prime. Res64: B869B41BA6138FF5 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:06] 617*2^1452778-1 is not prime. Res64: 65BCF9B23AC432A7 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:07] 741*2^1452777-1 is not prime. Res64: BFA93936B9957B7A Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:07] 651*2^1452778-1 is not prime. Res64: 7596743FA4B40D96 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:07] 831*2^1452777-1 is not prime. Res64: CC33D5751915E752 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:07] 825*2^1452778-1 is not prime. Res64: 63D86DA68DB8C966 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:08] 979*2^1452777-1 is not prime. Res64: 10CFD6F3295DDF28 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:08] 945*2^1452778-1 is not prime. Res64: 9CE31588417F2634 Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:08] 605*2^1452778-1 is not prime. Res64: A0E7884B2FF23DBC Time : 0.0 sec. user=mdettweiler [2017-04-29 00:53:08] 675*2^1452779-1 is not prime. Res64: D75B72F9EB8096F5 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:27] 777*2^1452780-1 is not prime. Res64: 0684355C0155ED54 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:27] 771*2^1452779-1 is not prime. Res64: 7017A27C4F9C6B02 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:28] 867*2^1452780-1 is not prime. Res64: D0654FCE78617199 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:28] 859*2^1452779-1 is not prime. Res64: A1D912395C6BB7AE Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:28] 959*2^1452780-1 is not prime. Res64: 1A83A52B74E4D63C Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:29] 885*2^1452779-1 is not prime. Res64: 7281198FC67BB4FC Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:29] 801*2^1452781-1 is not prime. Res64: 06ACFE4A068822EC Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:29] 707*2^1452780-1 is not prime. Res64: 770BC4236663F4D0 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:29] 889*2^1452781-1 is not prime. Res64: 200E4F12D2DA3891 Time : 0.0 sec. user=mdettweiler [2017-04-29 01:37:30] 735*2^1452780-1 is not prime. Res64: 00284DB96A139CE3 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:52] 615*2^1452782-1 is not prime. Res64: 5E6BCC6CEFAFA0C8 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:52] 987*2^1452782-1 is not prime. Res64: ED5C387446295713 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:53] 677*2^1452782-1 is not prime. Res64: AE7805B8C612465F Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:53] 679*2^1452783-1 is not prime. Res64: 2C88FBBE55B98558 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:53] 815*2^1452782-1 is not prime. Res64: 38F84313AC1EAD15 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:53] 763*2^1452783-1 is not prime. Res64: 34A34EDEE5E9843F Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:54] 887*2^1452782-1 is not prime. Res64: E2E9CF6AC64AFC54 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:54] 805*2^1452783-1 is not prime. Res64: D8C9D960CBA664D6 Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:54] 965*2^1452782-1 is not prime. Res64: D21A4B1B887910CD Time : 0.0 sec. user=mdettweiler [2017-04-29 02:21:55] 849*2^1452783-1 is not prime. Res64: E48B834778F6AB1E Time : 0.0 sec. user=juhehe [2017-04-29 02:54:59] 985*2^1452767-1 is not prime. Res64: 7262028F2F21C17E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:23] 859*2^1452783-1 is not prime. Res64: 6CEE244C2652C234 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:23] 917*2^1452784-1 is not prime. Res64: 7EFCB99D71E444C3 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:23] 879*2^1452783-1 is not prime. Res64: 7E3E903D00391662 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:24] 995*2^1452784-1 is not prime. Res64: FEC5A8381AD6886F Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:24] 833*2^1452784-1 is not prime. Res64: 2DF64A16C58D9C10 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:24] 691*2^1452785-1 is not prime. Res64: 28D679DC7A3407D7 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:25] 887*2^1452784-1 is not prime. Res64: 315B0524DE4B657E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:25] 711*2^1452785-1 is not prime. Res64: 493C81C360A8763E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:25] 905*2^1452784-1 is not prime. Res64: A4702A8BA9A50765 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:06:25] 647*2^1452786-1 is not prime. Res64: 84D8C0149C49DA6E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:50] 725*2^1452786-1 is not prime. Res64: C76E4828A86AECAC Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:52] 703*2^1452787-1 is not prime. Res64: 4E5BA3F68202AA70 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:53] 783*2^1452786-1 is not prime. Res64: 89FEFC3549E49B0E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:54] 733*2^1452787-1 is not prime. Res64: 300D547C731FFB19 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:55] 905*2^1452786-1 is not prime. Res64: 0D8035C9F437C466 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:55] 751*2^1452787-1 is not prime. Res64: A0F62A2A20D28C95 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:56] 975*2^1452786-1 is not prime. Res64: B0D090858874405E Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:56] 835*2^1452787-1 is not prime. Res64: FE0D6C8181E6C27C Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:57] 621*2^1452787-1 is not prime. Res64: 41E8A8F2FFC410A5 Time : 0.0 sec. user=mdettweiler [2017-04-29 03:50:58] 871*2^1452787-1 is not prime. Res64: DAABAD7119A209D7 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:49] 855*2^1452788-1 is not prime. Res64: 56501D40A037B63D Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:50] 869*2^1452788-1 is not prime. Res64: 68D9A389F9261281 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:50] 773*2^1452788-1 is not prime. Res64: BCFF4A9F67BD8565 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:50] 909*2^1452788-1 is not prime. Res64: 3C4A84A15432FB09 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:50] 797*2^1452788-1 is not prime. Res64: 219C0DCD7FD96D21 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:51] 999*2^1452788-1 is not prime. Res64: 202E1DD52783963B Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:51] 837*2^1452788-1 is not prime. Res64: 3C15F597B675B4F4 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:51] 609*2^1452789-1 is not prime. Res64: 610D0939CA7C85A2 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:52] 639*2^1452789-1 is not prime. Res64: 3F35B342B9D82D39 Time : 0.0 sec. user=mdettweiler [2017-04-29 04:35:52] 649*2^1452789-1 is not prime. Res64: 87A94331B84AFAC2 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:11] 975*2^1452789-1 is not prime. Res64: 286DA9660AA52F08 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:11] 661*2^1452789-1 is not prime. Res64: BA4B147361D9801B Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:11] 635*2^1452790-1 is not prime. Res64: 115418B98E90BCB3 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:11] 747*2^1452789-1 is not prime. Res64: 74312C737580E2F9 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:12] 789*2^1452789-1 is not prime. Res64: 93D6D85849C25511 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:12] 677*2^1452790-1 is not prime. Res64: F369C5BB5678BFB1 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:12] 811*2^1452789-1 is not prime. Res64: 3CE5A8CE2A82FC29 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:13] 681*2^1452790-1 is not prime. Res64: D447FEB3CCF71646 Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:13] 831*2^1452789-1 is not prime. Res64: CB9829417161C36A Time : 0.0 sec. user=mdettweiler [2017-04-29 05:20:13] 801*2^1452790-1 is not prime. Res64: C954ABDE0065B71E Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:34] 821*2^1452790-1 is not prime. Res64: F312F10AC3E512AC Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:36] 827*2^1452790-1 is not prime. Res64: 61E2E1D62FE53330 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:37] 857*2^1452790-1 is not prime. Res64: 48AA8D65E6DD64E2 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:37] 661*2^1452791-1 is not prime. Res64: B71202D0CF5186F0 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:38] 873*2^1452790-1 is not prime. Res64: 823F270394D57328 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:38] 705*2^1452791-1 is not prime. Res64: 3DB644AA2138A631 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:39] 887*2^1452790-1 is not prime. Res64: C39143B706CA4807 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:39] 879*2^1452791-1 is not prime. Res64: 1E16157C49B8DB52 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:40] 993*2^1452791-1 is not prime. Res64: 509F7ABEBD522C3D Time : 0.0 sec. user=mdettweiler [2017-04-29 06:04:42] 863*2^1452792-1 is not prime. Res64: ACA9691657752E34 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:08] 639*2^1452793-1 is not prime. Res64: DCEF06A54E3AE59A Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:09] 685*2^1452793-1 is not prime. Res64: 1D083FAD200F6E9F Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:09] 801*2^1452793-1 is not prime. Res64: 667E116CD6FE13BA Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:10] 855*2^1452793-1 is not prime. Res64: 32DE6945B49F45B8 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:10] 957*2^1452793-1 is not prime. Res64: 80C096372E0BF127 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:10] 861*2^1452793-1 is not prime. Res64: 3F35C3B130DBEE93 Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:11] 985*2^1452793-1 is not prime. Res64: B08E28579416573F Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:11] 987*2^1452793-1 is not prime. Res64: D4B4FA7BE2FE710E Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:12] 999*2^1452793-1 is not prime. Res64: A3042C434CCF009A Time : 0.0 sec. user=mdettweiler [2017-04-29 06:49:12] 657*2^1452794-1 is not prime. Res64: B4F794DDCDE74893 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:29] 711*2^1452794-1 is not prime. Res64: D7F4A5475F88DA4C Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:30] 743*2^1452794-1 is not prime. Res64: 2982AB6D9A72E827 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:31] 785*2^1452794-1 is not prime. Res64: 20BF34A25F01E79F Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:31] 791*2^1452794-1 is not prime. Res64: D01CFB9EF238ACC6 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:32] 825*2^1452794-1 is not prime. Res64: 71027255C6188567 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:33] 873*2^1452794-1 is not prime. Res64: BCDB40A621F0472C Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:33] 935*2^1452794-1 is not prime. Res64: 2185CB67CACB3C09 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:34] 625*2^1452795-1 is not prime. Res64: 4143D5060CD56493 Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:34] 643*2^1452795-1 is not prime. Res64: 1E68746BAB702ACD Time : 0.0 sec. user=mdettweiler [2017-04-29 07:33:35] 649*2^1452795-1 is not prime. Res64: D2579F1A6E82B2BC Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:52] 795*2^1452795-1 is not prime. Res64: 5E73C18D77A3C18D Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:52] 805*2^1452795-1 is not prime. Res64: FEA305AEDDBF23AA Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:53] 823*2^1452795-1 is not prime. Res64: 3BBF8E76DED3F611 Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:53] 653*2^1452796-1 is not prime. Res64: BB644F017E3E5D20 Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:54] 695*2^1452796-1 is not prime. Res64: BA7B3AE0CCF34160 Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:58] 777*2^1452796-1 is not prime. Res64: B25BAD2DCD786023 Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:58] 803*2^1452796-1 is not prime. Res64: 6FEC44F349E06E3B Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:59] 645*2^1452797-1 is not prime. Res64: 0627BB53DE9B21AA Time : 0.0 sec. user=mdettweiler [2017-04-29 08:17:59] 669*2^1452797-1 is not prime. Res64: 4144A9FC3A92D25E Time : 0.0 sec. user=mdettweiler [2017-04-29 08:18:00] 691*2^1452797-1 is not prime. Res64: E7260115A33DF60E Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:14] 729*2^1452797-1 is not prime. Res64: 34761D4EA1BD35F5 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:16] 741*2^1452797-1 is not prime. Res64: 296FA8142D9BC66D Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:18] 759*2^1452797-1 is not prime. Res64: 5811D39684AE459C Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:19] 829*2^1452797-1 is not prime. Res64: 08D2D3695C35D372 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:20] 831*2^1452797-1 is not prime. Res64: DFE3C4FB265CB42E Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:24] 847*2^1452797-1 is not prime. Res64: 4BAFE222D2AA2129 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:28] 885*2^1452797-1 is not prime. Res64: 18829F630A2BC9E3 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:31] 955*2^1452797-1 is not prime. Res64: 938C67F8FAADA12B Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:33] 981*2^1452797-1 is not prime. Res64: 1C9B66EBE228A9A0 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:02:35] 985*2^1452797-1 is not prime. Res64: 620D2F159E368695 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:12] 627*2^1452798-1 is not prime. Res64: 41E11FCA9F0E2A2A Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:13] 663*2^1452798-1 is not prime. Res64: B84154E003E33426 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:13] 671*2^1452798-1 is not prime. Res64: 4D689DF95125D365 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:14] 683*2^1452798-1 is not prime. Res64: B0F38DC2BCCF7169 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:14] 767*2^1452798-1 is not prime. Res64: E98BA6818101BD68 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:15] 861*2^1452798-1 is not prime. Res64: 2874E21E8679D1CC Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:16] 945*2^1452798-1 is not prime. Res64: 51413FA49437F814 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:16] 1001*2^1452798-1 is not prime. Res64: 0E4DAC477E9251C3 Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:17] 705*2^1452799-1 is not prime. Res64: 2C2AAC278ACC3A8A Time : 0.0 sec. user=mdettweiler [2017-04-29 09:47:17] 859*2^1452799-1 is not prime. Res64: 0440A7FC03937D3A Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:35] 861*2^1452799-1 is not prime. Res64: B2A8AF685A0ECEA3 Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:35] 925*2^1452799-1 is not prime. Res64: 50B641B08CF53A5E Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:36] 995*2^1452800-1 is not prime. Res64: AA0538107C2B16AE Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:36] 713*2^1452800-1 is not prime. Res64: 3B0123783CFE50A3 Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:36] 609*2^1452801-1 is not prime. Res64: F14B19F1D85153EE Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:36] 789*2^1452800-1 is not prime. Res64: 386AD18A484CE764 Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:37] 649*2^1452801-1 is not prime. Res64: AF5E3BF5E39F7D1D Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:37] 959*2^1452800-1 is not prime. Res64: 76DB33528351AAF8 Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:37] 651*2^1452801-1 is not prime. Res64: 1F05E5A22217CA32 Time : 0.0 sec. user=mdettweiler [2017-04-29 10:31:38] 849*2^1452801-1 is not prime. Res64: A7B5EDFA5E0BE2F5 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:57] 865*2^1452801-1 is not prime. Res64: 97EA8815ABBD7452 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:58] 675*2^1452802-1 is not prime. Res64: D9B5A770D7120C48 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:58] 871*2^1452801-1 is not prime. Res64: 0C9640F2B30BD5C6 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:58] 713*2^1452802-1 is not prime. Res64: EA762A08C323E74F Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:58] 877*2^1452801-1 is not prime. Res64: 7B7FA76451B789EA Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:59] 735*2^1452802-1 is not prime. Res64: C4CBA062061C1A9F Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:59] 949*2^1452801-1 is not prime. Res64: 3B6C3AFDA0E1E59C Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:59] 755*2^1452802-1 is not prime. Res64: 17793C1C54266CD7 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:15:59] 647*2^1452802-1 is not prime. Res64: 4D2BBA92EC70FD73 Time : 0.0 sec. user=mdettweiler [2017-04-29 11:16:00] 801*2^1452802-1 is not prime. Res64: 98DB56B4CC72DA64 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:22] 815*2^1452802-1 is not prime. Res64: 1AD83790D1205AAA Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:23] 741*2^1452803-1 is not prime. Res64: 2957E6C25231E92B Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:24] 627*2^1452804-1 is not prime. Res64: 6202A99DC2EE9366 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:25] 861*2^1452803-1 is not prime. Res64: DE2BA8BFB3B89094 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:25] 693*2^1452804-1 is not prime. Res64: D6F17D684C37D21E Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:26] 993*2^1452803-1 is not prime. Res64: 8DE10999C1074B92 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:26] 723*2^1452804-1 is not prime. Res64: 0E5663CC70221A14 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:27] 605*2^1452804-1 is not prime. Res64: B96E7BEA27EFC134 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:27] 749*2^1452804-1 is not prime. Res64: DEBF044030F34781 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:00:28] 945*2^1452804-1 is not prime. Res64: 22B404B7C2997D55 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:50] 947*2^1452804-1 is not prime. Res64: CCD97D3A5263CB23 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:51] 645*2^1452805-1 is not prime. Res64: 4A46369938A6EB42 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:51] 685*2^1452805-1 is not prime. Res64: F07D86798567B41D Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:52] 687*2^1452805-1 is not prime. Res64: FD97DDADA0405762 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:52] 741*2^1452805-1 is not prime. Res64: 06A09408D566F1DE Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:52] 937*2^1452805-1 is not prime. Res64: 7AE8B89FAB1FBAE3 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:53] 961*2^1452805-1 is not prime. Res64: 182AEBEBC123FAE3 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:53] 615*2^1452806-1 is not prime. Res64: 727C86F49402B6AD Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:54] 851*2^1452806-1 is not prime. Res64: 41522129E983CCD3 Time : 0.0 sec. user=mdettweiler [2017-04-29 12:44:55] 873*2^1452806-1 is not prime. Res64: 85B6A0262E25A7D5 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:12] 911*2^1452806-1 is not prime. Res64: D18A15F72627F0A9 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:12] 981*2^1452806-1 is not prime. Res64: F83C4AF4042B6DED Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:13] 945*2^1452806-1 is not prime. Res64: 26B47A53C71C1FC9 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:13] 805*2^1452807-1 is not prime. Res64: CF0C6570E01248EE Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:13] 957*2^1452806-1 is not prime. Res64: C06B422478F9DAA7 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:13] 961*2^1452807-1 is not prime. Res64: 72031D5FB56A8BCF Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:14] 963*2^1452806-1 is not prime. Res64: FEAF568F20F65BD7 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:14] 973*2^1452807-1 is not prime. Res64: 1BEF356115140712 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:14] 965*2^1452806-1 is not prime. Res64: C0A1B21938B5A9F5 Time : 0.0 sec. user=mdettweiler [2017-04-29 13:29:14] 743*2^1452808-1 is not prime. Res64: 04D8B16113D28E00 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:34] 685*2^1452809-1 is not prime. Res64: E3CEE025825F25AB Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:34] 773*2^1452808-1 is not prime. Res64: 55190BBE9A55C710 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:34] 799*2^1452809-1 is not prime. Res64: F503436C7A460F1D Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:34] 839*2^1452808-1 is not prime. Res64: CD14D83665B68D43 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:35] 819*2^1452809-1 is not prime. Res64: FF9C2E35CA99BE94 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:35] 855*2^1452808-1 is not prime. Res64: 938B81DDB9FF2163 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:35] 867*2^1452809-1 is not prime. Res64: D832B390848A1F11 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:35] 989*2^1452808-1 is not prime. Res64: F5F602EC5D9E9DB3 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:36] 939*2^1452809-1 is not prime. Res64: DD11C570AA54B34E Time : 0.0 sec. user=mdettweiler [2017-04-29 14:13:36] 627*2^1452809-1 is not prime. Res64: ACCB901F8B39C1A1 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:57:59] 791*2^1452810-1 is not prime. Res64: 93FC05C44A1940D6 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:00] 955*2^1452809-1 is not prime. Res64: 99539C015A6427B4 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:00] 845*2^1452810-1 is not prime. Res64: 57E863879ED14455 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:00] 967*2^1452809-1 is not prime. Res64: D7E41BC9BF6AD81E Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:00] 917*2^1452810-1 is not prime. Res64: 20CD6F5133309AA0 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:00] 985*2^1452809-1 is not prime. Res64: 0D5E5FE0EC3BC112 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:01] 927*2^1452810-1 is not prime. Res64: F685793CF5AEEEF4 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:01] 741*2^1452810-1 is not prime. Res64: AD5BE7E9D7F2EAF7 Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:01] 673*2^1452811-1 is not prime. Res64: 96D0F87CC6B7BC6B Time : 0.0 sec. user=mdettweiler [2017-04-29 14:58:01] 783*2^1452810-1 is not prime. Res64: FF8BF72ACB199B0E Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:20] 693*2^1452811-1 is not prime. Res64: 7315699E67FFF356 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:21] 699*2^1452812-1 is not prime. Res64: 838A2B7AB1F713F6 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:21] 871*2^1452811-1 is not prime. Res64: 38F3C877F179C883 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:21] 743*2^1452812-1 is not prime. Res64: E6D4A55379783ECE Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:21] 931*2^1452811-1 is not prime. Res64: CC0521073818412B Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:22] 879*2^1452812-1 is not prime. Res64: AE1BBCA142587757 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:22] 623*2^1452812-1 is not prime. Res64: 110A8E1AB6FE3146 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:22] 935*2^1452812-1 is not prime. Res64: CF045034CF5667DD Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:22] 665*2^1452812-1 is not prime. Res64: BA342B7904B3FF18 Time : 0.0 sec. user=mdettweiler [2017-04-29 15:42:23] 657*2^1452813-1 is not prime. Res64: 33907B823E0870D0 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:37] 675*2^1452813-1 is not prime. Res64: 47E7EBFC2EC03E95 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:37] 721*2^1452813-1 is not prime. Res64: FD01028C12EC088B Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:37] 751*2^1452813-1 is not prime. Res64: C1085B23B2043DC3 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:38] 789*2^1452813-1 is not prime. Res64: C785746E8F9EDDB4 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:38] 871*2^1452813-1 is not prime. Res64: 3DEBBF2624299C25 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:44] 671*2^1452814-1 is not prime. Res64: 89BB58EF752C3CC4 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:44] 681*2^1452814-1 is not prime. Res64: 9987A1BBBB82284A Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:44] 827*2^1452814-1 is not prime. Res64: E9943F3139211E35 Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:45] 917*2^1452814-1 is not prime. Res64: C75AD03F92864E4F Time : 0.0 sec. user=mdettweiler [2017-04-29 16:27:45] 981*2^1452814-1 is not prime. Res64: 83BEAF6C63FCAA77 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:36] 993*2^1452814-1 is not prime. Res64: 27735D45F2951CB4 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:36] 775*2^1452815-1 is not prime. Res64: FB07A01D17948AA5 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:37] 841*2^1452815-1 is not prime. Res64: A81DD6DF0186D700 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:37] 921*2^1452815-1 is not prime. Res64: DCE41996423A064F Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:38] 639*2^1452816-1 is not prime. Res64: 777BF33FA71B95A4 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:45] 669*2^1452816-1 is not prime. Res64: 4235BF62FC197270 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:46] 683*2^1452816-1 is not prime. Res64: A327DA622CBEAF93 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:46] 689*2^1452816-1 is not prime. Res64: 1E756C4B6F3A8CBC Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:46] 735*2^1452816-1 is not prime. Res64: 4425A73B1FBDEEFD Time : 0.0 sec. user=mdettweiler [2017-04-29 17:12:47] 905*2^1452816-1 is not prime. Res64: 4DFD260AA44EDAEB Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:01] 687*2^1452817-1 is not prime. Res64: 71036EC8405696F6 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:01] 741*2^1452817-1 is not prime. Res64: 36724A642D2AE9AF Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:01] 819*2^1452817-1 is not prime. Res64: 935555D27FE2FCBB Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:02] 901*2^1452817-1 is not prime. Res64: 1F6AC8D0453B2153 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:02] 645*2^1452818-1 is not prime. Res64: 0C4BF2664B17B3AC Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:08] 671*2^1452818-1 is not prime. Res64: D1A769D68588F21F Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:08] 683*2^1452818-1 is not prime. Res64: 00DCCA1B5214BAAD Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:09] 705*2^1452818-1 is not prime. Res64: D4AF878F8F846DC5 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:09] 831*2^1452818-1 is not prime. Res64: 13B63ED75AC8F304 Time : 0.0 sec. user=mdettweiler [2017-04-29 17:57:10] 911*2^1452818-1 is not prime. Res64: 4680039D08F815F7 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:33] 921*2^1452818-1 is not prime. Res64: 5C3A6DE393608520 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:34] 927*2^1452818-1 is not prime. Res64: 7D21CF885981029F Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:34] 935*2^1452818-1 is not prime. Res64: 6B6ED9C29CF5E0D8 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:35] 621*2^1452819-1 is not prime. Res64: 9B46C09506FD7D98 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:35] 723*2^1452819-1 is not prime. Res64: 361B216ADF02424D Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:40] 751*2^1452819-1 is not prime. Res64: F2765FE88848ED10 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:40] 693*2^1452820-1 is not prime. Res64: A250FF7D64D6ED12 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:41] 723*2^1452820-1 is not prime. Res64: AD8DFAA9CE6B9A56 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:41] 773*2^1452820-1 is not prime. Res64: D157566710AE29A8 Time : 0.0 sec. user=mdettweiler [2017-04-29 18:41:42] 797*2^1452820-1 is not prime. Res64: F8F5B3BBD385B148 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:25:59] 843*2^1452820-1 is not prime. Res64: EDFC958C3981D284 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:00] 863*2^1452820-1 is not prime. Res64: C6263F81D32AC677 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:00] 933*2^1452820-1 is not prime. Res64: 7AFB5A1E6D88CB15 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:01] 965*2^1452820-1 is not prime. Res64: B9297A3FACC78C18 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:01] 995*2^1452820-1 is not prime. Res64: 8840808ACC925BD3 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:05] 745*2^1452821-1 is not prime. Res64: E2A4DE32E5AB8AE0 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:05] 747*2^1452821-1 is not prime. Res64: 99CD69A2700519C1 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:06] 937*2^1452821-1 is not prime. Res64: CD21979BDB7EF1FB Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:06] 979*2^1452821-1 is not prime. Res64: C3DD650A5173F0B9 Time : 0.0 sec. user=mdettweiler [2017-04-29 19:26:06] 611*2^1452822-1 is not prime. Res64: 39781157027D10F3 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:26] 635*2^1452822-1 is not prime. Res64: 3E170210762A9F5F Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:26] 711*2^1452822-1 is not prime. Res64: FFDD6AB6DDF9B766 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:27] 731*2^1452822-1 is not prime. Res64: 832CE86FB87653E3 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:27] 737*2^1452822-1 is not prime. Res64: 7DEEAB5A666B8595 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:27] 741*2^1452822-1 is not prime. Res64: E4D93899D4DA14B7 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:29] 815*2^1452822-1 is not prime. Res64: 74AF37623C97A8A5 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:30] 893*2^1452822-1 is not prime. Res64: 8CB74614A091D320 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:31] 921*2^1452822-1 is not prime. Res64: 8895A6F7CAB20377 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:31] 963*2^1452822-1 is not prime. Res64: 059D01FB973AE44D Time : 0.0 sec. user=mdettweiler [2017-04-29 20:10:31] 735*2^1452823-1 is not prime. Res64: 4E55538866AC71DF Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:56] 629*2^1452824-1 is not prime. Res64: CE1F6D00F0FC42EE Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:57] 657*2^1452824-1 is not prime. Res64: 67BF0FA03E46D7B5 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:57] 677*2^1452824-1 is not prime. Res64: 2CF44CD85E360258 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:57] 765*2^1452823-1 is not prime. Res64: DDF579AE28BBE64D Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:57] 683*2^1452824-1 is not prime. Res64: D22D2E9344D8C791 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:57] 883*2^1452823-1 is not prime. Res64: 5D7433D2A11AB106 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:58] 689*2^1452824-1 is not prime. Res64: 0E5969DFF60D2BA3 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:58] 915*2^1452823-1 is not prime. Res64: B2296E23F75A285C Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:58] 969*2^1452823-1 is not prime. Res64: 55DC8796E741A360 Time : 0.0 sec. user=mdettweiler [2017-04-29 20:54:59] 973*2^1452823-1 is not prime. Res64: EBB32985DB85D718 Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:23] 753*2^1452824-1 is not prime. Res64: 0FB3DA21C1B126A4 Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:23] 875*2^1452824-1 is not prime. Res64: 64C7B1A5B79BD21A Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:24] 915*2^1452824-1 is not prime. Res64: 8D966A1B6D2A55E4 Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:24] 995*2^1452824-1 is not prime. Res64: EB93BC767B30AB54 Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:25] 675*2^1452825-1 is not prime. Res64: A24C15779C6CCBEE Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:25] 679*2^1452825-1 is not prime. Res64: EF07B1EA6BBA1AF2 Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:26] 739*2^1452825-1 is not prime. Res64: 291D317FBD8BAC3E Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:26] 777*2^1452825-1 is not prime. Res64: 7C93556B84693C6B Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:27] 781*2^1452825-1 is not prime. Res64: BFDACD148A79B1DF Time : 0.0 sec. user=mdettweiler [2017-04-29 21:39:27] 811*2^1452825-1 is not prime. Res64: 7B16F7E3219E8F01 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:51] 825*2^1452826-1 is not prime. Res64: 762F1E753DE2A836 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:51] 881*2^1452826-1 is not prime. Res64: BA5DC5609AE6BDB8 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:52] 945*2^1452826-1 is not prime. Res64: 82E531C7C4001D51 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:52] 819*2^1452825-1 is not prime. Res64: BF0047ADDDBB859F Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:52] 645*2^1452827-1 is not prime. Res64: 7986C7484B064B09 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:53] 861*2^1452825-1 is not prime. Res64: 72A5C18BA60ABE9B Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:53] 669*2^1452827-1 is not prime. Res64: CD0092C1D991D4EB Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:53] 985*2^1452825-1 is not prime. Res64: 3B8CAAD269A55B43 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:54] 645*2^1452826-1 is not prime. Res64: FC0EC53976092527 Time : 0.0 sec. user=mdettweiler [2017-04-29 22:23:54] 713*2^1452826-1 is not prime. Res64: BB505C1598C3A804 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:19] 759*2^1452828-1 is not prime. Res64: 4D7E0E1AB35906D8 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:19] 703*2^1452827-1 is not prime. Res64: 2E005669B0D4A79F Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:20] 759*2^1452827-1 is not prime. Res64: 8666E1F378083E9E Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:20] 837*2^1452828-1 is not prime. Res64: 84F35EF9033EB830 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:20] 899*2^1452828-1 is not prime. Res64: 0AB18C700A7CA3FF Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:20] 901*2^1452827-1 is not prime. Res64: C0E867ACF910F2FE Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:21] 639*2^1452829-1 is not prime. Res64: C1860B0D52C28A9E Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:21] 963*2^1452827-1 is not prime. Res64: 3770EAF945FD0D7F Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:22] 979*2^1452827-1 is not prime. Res64: 9228FF23277A5C39 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:08:22] 661*2^1452829-1 is not prime. Res64: E420D45429821942 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:46] 675*2^1452829-1 is not prime. Res64: FEBD4EB2C7F32422 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:46] 729*2^1452829-1 is not prime. Res64: 862A506828A91808 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:47] 885*2^1452829-1 is not prime. Res64: 2778362B9D627101 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:47] 999*2^1452829-1 is not prime. Res64: 65E25A6D60F1611A Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:47] 985*2^1452829-1 is not prime. Res64: D06387B41C153C40 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:47] 663*2^1452830-1 is not prime. Res64: 378E4ECFE1AC58C4 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:47] 997*2^1452829-1 is not prime. Res64: A7668B8249F50C46 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:48] 711*2^1452830-1 is not prime. Res64: 9BA72E19ED7E627A Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:48] 753*2^1452830-1 is not prime. Res64: B196D56C3AB9E242 Time : 0.0 sec. user=mdettweiler [2017-04-29 23:52:48] 831*2^1452830-1 is not prime. Res64: 448DC647EAF58039 Time : 0.0 sec.