user=mdettweiler [2016-03-10 00:03:24] 665*2^1422602-1 is not prime. Res64: AAC228715648FEB5 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:25] 755*2^1422602-1 is not prime. Res64: 47002C1F359673A1 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:35] 857*2^1422602-1 is not prime. Res64: 01E5A6387665ADAB Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:36] 873*2^1422602-1 is not prime. Res64: 06A64C325D8FBFCD Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:55] 945*2^1422602-1 is not prime. Res64: 2C8F1A63A3B4B2CF Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:55] 953*2^1422602-1 is not prime. Res64: 671B5DCBD90EE72C Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:56] 643*2^1422603-1 is not prime. Res64: 8B4B5AE900ADEC93 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:03:57] 669*2^1422603-1 is not prime. Res64: C11814F420B414AF Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:26] 739*2^1422603-1 is not prime. Res64: 68971BFBC9D4F86B Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:26] 793*2^1422603-1 is not prime. Res64: FC4890A7ECBBAB50 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:27] 895*2^1422603-1 is not prime. Res64: BB28D83A20FF0525 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:27] 963*2^1422603-1 is not prime. Res64: 13B257CFD767C94A Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:41] 717*2^1422604-1 is not prime. Res64: E5E4D2B0E7F4557E Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:41] 813*2^1422604-1 is not prime. Res64: 671D6992F180DD60 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:51] 929*2^1422604-1 is not prime. Res64: 6FE57D332CA425ED Time : 0.0 sec. user=mdettweiler [2016-03-10 00:21:51] 645*2^1422605-1 is not prime. Res64: FD165250E397B805 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:29] 657*2^1422605-1 is not prime. Res64: 81CAEA4947695B61 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:29] 729*2^1422605-1 is not prime. Res64: D84E8EBB1C1B3E6B Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:38] 771*2^1422605-1 is not prime. Res64: A5B549ADB72445A8 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:39] 775*2^1422605-1 is not prime. Res64: 598B396114BCE4B7 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:44] 787*2^1422605-1 is not prime. Res64: FC49B710A2B4BD21 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:39:44] 897*2^1422605-1 is not prime. Res64: 5F259666B1953F8E Time : 0.0 sec. user=mdettweiler [2016-03-10 00:40:00] 683*2^1422606-1 is not prime. Res64: 4D2A3A8BBB705BDF Time : 0.0 sec. user=mdettweiler [2016-03-10 00:40:00] 707*2^1422606-1 is not prime. Res64: 1564D77F86A7EBF7 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:11] 765*2^1422606-1 is not prime. Res64: EC10F996ED81D651 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:11] 801*2^1422606-1 is not prime. Res64: A0A48F22AE28B781 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:31] 807*2^1422606-1 is not prime. Res64: 5C64D95833646228 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:32] 821*2^1422606-1 is not prime. Res64: 3E844673EC4AC1FC Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:40] 917*2^1422606-1 is not prime. Res64: 6D736702868A46D3 Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:41] 649*2^1422607-1 is not prime. Res64: AD7C9CBFEAF7B7AA Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:45] 651*2^1422607-1 is not prime. Res64: 97EE5E77BBD240FF Time : 0.0 sec. user=mdettweiler [2016-03-10 00:57:45] 673*2^1422607-1 is not prime. Res64: 8B30C22DBA6FA62D Time : 0.0 sec. user=mdettweiler [2016-03-10 01:14:56] 819*2^1422607-1 is not prime. Res64: 26482948458E21BC Time : 0.0 sec. user=mdettweiler [2016-03-10 01:14:57] 861*2^1422607-1 is not prime. Res64: 5B26F5C74628C8F8 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:21] 633*2^1422608-1 is not prime. Res64: 289A58F92F394327 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:22] 755*2^1422608-1 is not prime. Res64: EFB5B3DBACCEFC7B Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:24] 913*2^1422607-1 is not prime. Res64: 993572B58676C130 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:24] 961*2^1422607-1 is not prime. Res64: 88D4FF4375413FDF Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:34] 827*2^1422608-1 is not prime. Res64: FE4670F3FED7B481 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:15:35] 869*2^1422608-1 is not prime. Res64: 41DC3820F07B13D4 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:32:58] 969*2^1422608-1 is not prime. Res64: 598F09F78A6BBACE Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:00] 999*2^1422608-1 is not prime. Res64: 800675B44C65B6C0 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:11] 691*2^1422609-1 is not prime. Res64: DDA4D0C1F7D9262A Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:13] 709*2^1422609-1 is not prime. Res64: 5B9F5B5DC40738C3 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:17] 609*2^1422609-1 is not prime. Res64: F8D0DF8AF2FB1B30 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:19] 667*2^1422609-1 is not prime. Res64: A28EBFC1A3BB99AB Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:27] 735*2^1422609-1 is not prime. Res64: 4C3280CE820C90C6 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:33:28] 751*2^1422609-1 is not prime. Res64: 2DA79F19B4334F59 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:06] 949*2^1422609-1 is not prime. Res64: D4FCFA430F8CAB27 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:06] 999*2^1422609-1 is not prime. Res64: 251689367E1EDCB5 Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:10] 645*2^1422610-1 is not prime. Res64: 586E7D849ACACCFC Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:11] 701*2^1422610-1 is not prime. Res64: EC356F93F485911F Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:14] 731*2^1422610-1 is not prime. Res64: 700938FB6F44C63E Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:15] 785*2^1422610-1 is not prime. Res64: D49AE6296194B13D Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:28] 803*2^1422610-1 is not prime. Res64: B3380ECC860E84BB Time : 0.0 sec. user=mdettweiler [2016-03-10 01:51:28] 887*2^1422610-1 is not prime. Res64: 5479194433F7C34B Time : 0.0 sec. user=mdettweiler [2016-03-10 02:08:49] 981*2^1422610-1 is not prime. Res64: 413ED61985A1DF9F Time : 0.0 sec. user=mdettweiler [2016-03-10 02:08:49] 987*2^1422610-1 is not prime. Res64: EAE22C8B2CA6B177 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:08:56] 603*2^1422611-1 is not prime. Res64: DE65251B1CD1BCF8 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:08:57] 619*2^1422611-1 is not prime. Res64: 2029E22410F89BA8 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:09:01] 711*2^1422611-1 is not prime. Res64: 12DE1CFB4C30F672 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:09:02] 715*2^1422611-1 is not prime. Res64: 1D8282DB961EAFD0 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:09:14] 841*2^1422611-1 is not prime. Res64: 75726DBC96DBFA56 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:09:15] 903*2^1422611-1 is not prime. Res64: 0ECFC2F4EE80BBDB Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:35] 979*2^1422611-1 is not prime. Res64: 281FE8155E6B1555 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:36] 627*2^1422612-1 is not prime. Res64: F564C3CC6C4C5CD5 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:42] 689*2^1422612-1 is not prime. Res64: 66B712F8EE4308C5 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:42] 717*2^1422612-1 is not prime. Res64: 60C15DF340DA0EFE Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:46] 825*2^1422612-1 is not prime. Res64: 877E8D69BC02BF08 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:26:47] 899*2^1422612-1 is not prime. Res64: B697C061E697801C Time : 0.0 sec. user=mdettweiler [2016-03-10 02:27:00] 945*2^1422612-1 is not prime. Res64: 3011D418C0F3BE6D Time : 0.0 sec. user=mdettweiler [2016-03-10 02:27:00] 729*2^1422613-1 is not prime. Res64: 3578D0F2AB184CE2 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:20] 745*2^1422613-1 is not prime. Res64: 46E5F36701F7950C Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:21] 831*2^1422613-1 is not prime. Res64: 14043F0909696619 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:31] 827*2^1422614-1 is not prime. Res64: 1E5AB4B19ACDE5D7 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:32] 851*2^1422614-1 is not prime. Res64: 9FC2C9FD6ADD829B Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:33] 855*2^1422613-1 is not prime. Res64: 115E0EF3B65D6787 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:33] 795*2^1422614-1 is not prime. Res64: 8A5E61B68ECF5400 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:49] 957*2^1422614-1 is not prime. Res64: A868C0D486988F37 Time : 0.0 sec. user=mdettweiler [2016-03-10 02:44:50] 983*2^1422614-1 is not prime. Res64: 9725808B4ADF70CC Time : 0.0 sec. user=mdettweiler [2016-03-10 03:02:53] 693*2^1422615-1 is not prime. Res64: 156200CEB1B54637 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:02:54] 739*2^1422615-1 is not prime. Res64: D31B2646639A19A9 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:01] 999*2^1422615-1 is not prime. Res64: F6F135741B946329 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:02] 617*2^1422616-1 is not prime. Res64: A4258C7BFA8C136F Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:34] 987*2^1422614-1 is not prime. Res64: 19166CDF4A9F76D3 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:35] 651*2^1422615-1 is not prime. Res64: 979FD5B7344CE95A Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:40] 781*2^1422615-1 is not prime. Res64: BEA30751B7284C13 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:03:41] 969*2^1422615-1 is not prime. Res64: E48EC75D4D1C3E10 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:20:52] 779*2^1422616-1 is not prime. Res64: 24CC5944F1035248 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:20:52] 833*2^1422616-1 is not prime. Res64: 4D101AC364116D37 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:20:58] 707*2^1422616-1 is not prime. Res64: C4A05DA91846A4A3 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:20:58] 719*2^1422616-1 is not prime. Res64: F0C3BF11F2915F04 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:21:26] 903*2^1422616-1 is not prime. Res64: 7E7F950F00A94945 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:21:27] 939*2^1422616-1 is not prime. Res64: B984C3C6F25A1D00 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:21:37] 989*2^1422616-1 is not prime. Res64: 312335BCFD0A90F9 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:21:38] 999*2^1422616-1 is not prime. Res64: 877A697AB2DF6FAD Time : 0.0 sec. user=mdettweiler [2016-03-10 03:38:35] 727*2^1422617-1 is not prime. Res64: 9D426B8BE745A4C9 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:38:36] 747*2^1422617-1 is not prime. Res64: AE9E6006D52C115F Time : 0.0 sec. user=mdettweiler [2016-03-10 03:38:37] 847*2^1422617-1 is not prime. Res64: C084760E9C6EBB73 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:38:38] 865*2^1422617-1 is not prime. Res64: 4C7C1FDB69FF128D Time : 0.0 sec. user=mdettweiler [2016-03-10 03:39:09] 867*2^1422617-1 is not prime. Res64: 480BF042000DDA35 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:39:10] 879*2^1422617-1 is not prime. Res64: 909F56C518D1D97C Time : 0.0 sec. user=mdettweiler [2016-03-10 03:39:20] 955*2^1422617-1 is not prime. Res64: 6FE34A85A0F5F61B Time : 0.0 sec. user=mdettweiler [2016-03-10 03:39:21] 985*2^1422617-1 is not prime. Res64: 74C27D2409E3DCFB Time : 0.0 sec. user=mdettweiler [2016-03-10 03:56:45] 647*2^1422618-1 is not prime. Res64: DCD638555F3F4D93 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:56:46] 671*2^1422618-1 is not prime. Res64: 1ED11F8116B56C5C Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:01] 747*2^1422618-1 is not prime. Res64: CF39F2EA78F3F884 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:02] 777*2^1422618-1 is not prime. Res64: 4EF9101F839CC0EE Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:08] 867*2^1422618-1 is not prime. Res64: 7E26F914C1D9F4C2 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:08] 927*2^1422618-1 is not prime. Res64: CA94C2C2B4873791 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:32] 615*2^1422619-1 is not prime. Res64: 2D401536C7C09C50 Time : 0.0 sec. user=mdettweiler [2016-03-10 03:57:32] 633*2^1422619-1 is not prime. Res64: A86D5FDE99333DCF Time : 0.0 sec. user=mdettweiler [2016-03-10 04:14:49] 793*2^1422619-1 is not prime. Res64: 456BE3E8492FC88A Time : 0.0 sec. user=mdettweiler [2016-03-10 04:14:49] 855*2^1422619-1 is not prime. Res64: B388AA9EB5F70051 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:04] 861*2^1422619-1 is not prime. Res64: 2804CEC0C2D34AF6 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:04] 913*2^1422619-1 is not prime. Res64: C5313AA207A4FDD1 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:19] 951*2^1422619-1 is not prime. Res64: 50AEE21F1A832152 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:19] 969*2^1422619-1 is not prime. Res64: 8C54B7030FB12A78 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:24] 647*2^1422620-1 is not prime. Res64: 0D6FF3161A519244 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:15:25] 675*2^1422620-1 is not prime. Res64: C1FDFEC218B353B9 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:32:45] 759*2^1422620-1 is not prime. Res64: DE06D75356F50EC6 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:32:45] 785*2^1422620-1 is not prime. Res64: FBE2D7633595AF67 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:32:54] 795*2^1422620-1 is not prime. Res64: DB9D3065D5CA055B Time : 0.0 sec. user=mdettweiler [2016-03-10 04:32:54] 797*2^1422620-1 is not prime. Res64: A087B8F81DDB023B Time : 0.0 sec. user=mdettweiler [2016-03-10 04:33:13] 819*2^1422620-1 is not prime. Res64: FAAEAB4D743FA6B5 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:33:14] 855*2^1422620-1 is not prime. Res64: 327871321C175033 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:33:21] 625*2^1422621-1 is not prime. Res64: 4416B0D5B6188C64 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:33:21] 639*2^1422621-1 is not prime. Res64: 59ADD33C8CCBF3FC Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:26] 669*2^1422621-1 is not prime. Res64: 4E37FA4B56C816A9 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:27] 691*2^1422621-1 is not prime. Res64: 5FD07635FE65BB73 Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:37] 895*2^1422621-1 is not prime. Res64: 84CBB502F7A9399A Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:37] 969*2^1422621-1 is not prime. Res64: 46C7E4C8CCF6D26B Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:54] 975*2^1422621-1 is not prime. Res64: 28AB2CFEEB7F2F3A Time : 0.0 sec. user=mdettweiler [2016-03-10 04:50:54] 979*2^1422621-1 is not prime. Res64: A2D5AEF04BBE135E Time : 0.0 sec. user=mdettweiler [2016-03-10 04:51:01] 611*2^1422622-1 is not prime. Res64: 2121BB0B372822CC Time : 0.0 sec. user=mdettweiler [2016-03-10 04:51:01] 675*2^1422622-1 is not prime. Res64: F22C320EA3FF90A0 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:11] 813*2^1422622-1 is not prime. Res64: 8E9E5E370252111F Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:11] 815*2^1422622-1 is not prime. Res64: 09506363CBD5CAF7 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:25] 833*2^1422622-1 is not prime. Res64: 85E341960FFAA45C Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:26] 981*2^1422622-1 is not prime. Res64: 8B5C9664B202E742 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:45] 615*2^1422623-1 is not prime. Res64: 84105B5190844418 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:45] 621*2^1422623-1 is not prime. Res64: 3596A9E785904E0C Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:51] 735*2^1422623-1 is not prime. Res64: F762015B41516CB7 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:08:51] 741*2^1422623-1 is not prime. Res64: D825D0F9559BAB74 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:25:59] 823*2^1422623-1 is not prime. Res64: 3C3B141E1AA36F8A Time : 0.0 sec. user=mdettweiler [2016-03-10 05:25:59] 855*2^1422623-1 is not prime. Res64: ED9C2EF7C7E5B50D Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:05] 885*2^1422623-1 is not prime. Res64: 51729A35CE70158E Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:05] 895*2^1422623-1 is not prime. Res64: 93F7EF2440BB41D1 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:31] 955*2^1422623-1 is not prime. Res64: 4B847357444DEE64 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:31] 609*2^1422624-1 is not prime. Res64: 69D2662625506189 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:34] 623*2^1422624-1 is not prime. Res64: 90075437C7C44802 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:26:35] 627*2^1422624-1 is not prime. Res64: 447EA6E55AA0ACCC Time : 0.0 sec. user=mdettweiler [2016-03-10 05:43:54] 765*2^1422624-1 is not prime. Res64: AF1DC804A79FDF0E Time : 0.0 sec. user=mdettweiler [2016-03-10 05:43:55] 809*2^1422624-1 is not prime. Res64: A99F2E1B459A9BD5 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:03] 657*2^1422624-1 is not prime. Res64: 407DE5E11C86D78F Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:04] 693*2^1422624-1 is not prime. Res64: 3919898AE10AB0FB Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:25] 601*2^1422625-1 is not prime. Res64: D5E24CB8F608E061 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:25] 609*2^1422625-1 is not prime. Res64: 60DE27CC47168BCC Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:30] 849*2^1422624-1 is not prime. Res64: 0B70C065D9FFDF60 Time : 0.0 sec. user=mdettweiler [2016-03-10 05:44:30] 959*2^1422624-1 is not prime. Res64: 6D9398D87C0A2EC7 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:01:51] 717*2^1422625-1 is not prime. Res64: BEBB1C4191E41FCF Time : 0.0 sec. user=mdettweiler [2016-03-10 06:01:52] 721*2^1422625-1 is not prime. Res64: D41B1C1852FCC754 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:01:56] 817*2^1422625-1 is not prime. Res64: 05BCCCE31CD2E7EC Time : 0.0 sec. user=mdettweiler [2016-03-10 06:01:56] 955*2^1422625-1 is not prime. Res64: A4DF27662B8218EE Time : 0.0 sec. user=mdettweiler [2016-03-10 06:02:11] 957*2^1422625-1 is not prime. Res64: A8395A217D6D4767 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:02:11] 987*2^1422625-1 is not prime. Res64: 8EA995C61FD93E90 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:02:20] 633*2^1422626-1 is not prime. Res64: 865B59AFCFCA0AA5 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:02:20] 701*2^1422626-1 is not prime. Res64: 0B355B15512064AB Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:43] 743*2^1422626-1 is not prime. Res64: 3409E9DE131A1517 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:44] 601*2^1422627-1 is not prime. Res64: 4905C14BBBF7C9AC Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:51] 705*2^1422626-1 is not prime. Res64: F21718C2031DDE25 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:51] 717*2^1422626-1 is not prime. Res64: BD731521F08C2DC5 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:57] 633*2^1422627-1 is not prime. Res64: 2D1CDFDC57A93AB9 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:19:57] 699*2^1422627-1 is not prime. Res64: 1A682E410F99B923 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:20:04] 751*2^1422627-1 is not prime. Res64: 78ABBF60DF644FBD Time : 0.0 sec. user=mdettweiler [2016-03-10 06:20:04] 873*2^1422627-1 is not prime. Res64: BD384DC04D703E11 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:28] 979*2^1422627-1 is not prime. Res64: 42F62DA258067F0A Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:29] 623*2^1422628-1 is not prime. Res64: CFE2B0975273A593 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:42] 647*2^1422628-1 is not prime. Res64: CFBC7F5A597B167A Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:43] 665*2^1422628-1 is not prime. Res64: 8E8D77290FE2BDD5 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:43] 689*2^1422628-1 is not prime. Res64: B14817C5DA9451E6 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:44] 813*2^1422628-1 is not prime. Res64: 88FF83BAA70E3EB3 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:50] 927*2^1422628-1 is not prime. Res64: 9F88101241D3515F Time : 0.0 sec. user=mdettweiler [2016-03-10 06:37:50] 601*2^1422629-1 is not prime. Res64: 7CEBE7A11AFF91F7 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:21] 621*2^1422629-1 is not prime. Res64: 288EE80D185D9708 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:21] 645*2^1422629-1 is not prime. Res64: 5CF7DA4C9FDB8673 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:29] 795*2^1422629-1 is not prime. Res64: F0E22D9A2370E307 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:30] 831*2^1422629-1 is not prime. Res64: 3E9C24762B3232B8 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:36] 987*2^1422629-1 is not prime. Res64: 1994EE16A3347B62 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:36] 611*2^1422630-1 is not prime. Res64: 23147460954BC9B8 Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:41] 615*2^1422630-1 is not prime. Res64: 39E43710D948BEBD Time : 0.0 sec. user=mdettweiler [2016-03-10 06:55:42] 627*2^1422630-1 is not prime. Res64: BD7A9FC30AD119B5 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:13] 717*2^1422630-1 is not prime. Res64: D6493F48AE36C8D3 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:14] 773*2^1422630-1 is not prime. Res64: C29E4D4F918B955A Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:18] 677*2^1422630-1 is not prime. Res64: 743457C43094826A Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:18] 681*2^1422630-1 is not prime. Res64: 469E256C52DC693C Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:24] 927*2^1422630-1 is not prime. Res64: 646921F3BB71F7D2 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:24] 603*2^1422631-1 is not prime. Res64: 6841FCD4660A9F80 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:25] 777*2^1422630-1 is not prime. Res64: F692A8A8592F31B8 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:13:26] 861*2^1422630-1 is not prime. Res64: EE612C6E8C3B756E Time : 0.0 sec. user=mdettweiler [2016-03-10 07:30:58] 735*2^1422631-1 is not prime. Res64: E9E34E3CCFB88310 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:30:58] 883*2^1422631-1 is not prime. Res64: 6FFFC07542D83C6D Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:09] 901*2^1422631-1 is not prime. Res64: 73E0565AAF913D81 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:10] 615*2^1422632-1 is not prime. Res64: A39AEACFCA32A5CA Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:12] 637*2^1422633-1 is not prime. Res64: 96624EBD0D890BF6 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:13] 669*2^1422633-1 is not prime. Res64: A0386657EE4CBF74 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:16] 753*2^1422632-1 is not prime. Res64: 997B9DB19FFB5060 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:31:16] 755*2^1422632-1 is not prime. Res64: A544E466F183A160 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:36] 705*2^1422633-1 is not prime. Res64: D7F0024698DA5CE5 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:37] 745*2^1422633-1 is not prime. Res64: D8CE9B5D509B7D3E Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:53] 807*2^1422633-1 is not prime. Res64: 09272478E85730A2 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:53] 819*2^1422633-1 is not prime. Res64: 73BB1D2D8EA11666 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:55] 861*2^1422633-1 is not prime. Res64: F033783CED644700 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:56] 889*2^1422633-1 is not prime. Res64: 30C1DF214910CBF3 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:59] 895*2^1422633-1 is not prime. Res64: A000D4935730C448 Time : 0.0 sec. user=mdettweiler [2016-03-10 07:48:59] 605*2^1422634-1 is not prime. Res64: 20B14EA5E4546ED7 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:24] 717*2^1422634-1 is not prime. Res64: 6A3861C10290E9F1 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:26] 815*2^1422634-1 is not prime. Res64: 77D6DA263E5BE225 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:42] 885*2^1422634-1 is not prime. Res64: 69A95D109F9FBAE4 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:44] 675*2^1422635-1 is not prime. Res64: 9DE8C12EA74972DF Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:46] 799*2^1422635-1 is not prime. Res64: B69E5B8830FB2B80 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:47] 861*2^1422635-1 is not prime. Res64: D8AB03CC74AE93B5 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:48] 963*2^1422635-1 is not prime. Res64: 764B287815531228 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:06:50] 609*2^1422636-1 is not prime. Res64: 70AE1218345D5109 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:24:50] 843*2^1422636-1 is not prime. Res64: C9BA3CA28F591493 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:24:51] 903*2^1422636-1 is not prime. Res64: 3ED4B52086031F4A Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:04] 757*2^1422637-1 is not prime. Res64: AE734A5E17717585 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:06] 825*2^1422637-1 is not prime. Res64: 857F2D66289AE595 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:06] 859*2^1422637-1 is not prime. Res64: FC03A1AE81F4691B Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:07] 861*2^1422637-1 is not prime. Res64: 00529C85ACE708C2 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:07] 871*2^1422637-1 is not prime. Res64: C9E2EABEFA510ACE Time : 0.0 sec. user=mdettweiler [2016-03-10 08:25:08] 885*2^1422637-1 is not prime. Res64: 0B9667564588EEA7 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:47] 979*2^1422637-1 is not prime. Res64: E4E1BD84978372DA Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:48] 985*2^1422637-1 is not prime. Res64: 096B002E64860657 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:54] 623*2^1422638-1 is not prime. Res64: 692DFDB78720CF6D Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:56] 773*2^1422638-1 is not prime. Res64: 2FAF56F82C7B30B7 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:58] 795*2^1422638-1 is not prime. Res64: EC63237643A11BDE Time : 0.0 sec. user=mdettweiler [2016-03-10 08:42:59] 797*2^1422638-1 is not prime. Res64: 6B3EE6DA8DA0C170 Time : 0.0 sec. user=mdettweiler [2016-03-10 08:43:01] 897*2^1422638-1 is not prime. Res64: 53AB14790AA7F4AD Time : 0.0 sec. user=mdettweiler [2016-03-10 08:43:02] 993*2^1422638-1 is not prime. Res64: 5461D0CF025F6389 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:37] 661*2^1422639-1 is not prime. Res64: C7C3B9A43C79965D Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:39] 711*2^1422639-1 is not prime. Res64: E79D804CF7F8C6F7 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:46] 879*2^1422639-1 is not prime. Res64: D0F05D3A5FC073A5 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:47] 973*2^1422639-1 is not prime. Res64: 2096DCF305F2FD33 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:48] 735*2^1422639-1 is not prime. Res64: D4E87E7B5E1B663C Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:49] 853*2^1422639-1 is not prime. Res64: 0D48D4A10DF8F57E Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:51] 635*2^1422640-1 is not prime. Res64: 855072409F15C445 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:00:53] 713*2^1422640-1 is not prime. Res64: B9D8F42BE58AA64A Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:30] 843*2^1422640-1 is not prime. Res64: 70C00340DDA21CB8 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:31] 915*2^1422640-1 is not prime. Res64: 1E3EAAF3262390E6 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:39] 939*2^1422640-1 is not prime. Res64: 3E62F6F5C63156FD Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:40] 965*2^1422640-1 is not prime. Res64: 4FC6480615C03023 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:52] 867*2^1422641-1 is not prime. Res64: 366B11896D25025E Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:53] 981*2^1422641-1 is not prime. Res64: 227098F6CC3D426E Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:53] 999*2^1422640-1 is not prime. Res64: 5862123432842DED Time : 0.0 sec. user=mdettweiler [2016-03-10 09:18:55] 619*2^1422641-1 is not prime. Res64: 85BD4DC0CE2451DF Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:31] 987*2^1422641-1 is not prime. Res64: B39F3CA30C23958D Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:32] 657*2^1422642-1 is not prime. Res64: 56E8A81F887BEDB2 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:36] 711*2^1422642-1 is not prime. Res64: ACDD79E56E2D322E Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:37] 837*2^1422642-1 is not prime. Res64: 3F0A837092ECA491 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:50] 951*2^1422642-1 is not prime. Res64: FD7F01A38FB4AE03 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:51] 633*2^1422643-1 is not prime. Res64: 9E7A6146C1F4ED4E Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:52] 917*2^1422642-1 is not prime. Res64: E2605AD003EEFB4B Time : 0.0 sec. user=mdettweiler [2016-03-10 09:36:53] 947*2^1422642-1 is not prime. Res64: 3DFFB9056E15A514 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:36] 675*2^1422643-1 is not prime. Res64: 0552262257603581 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:37] 775*2^1422643-1 is not prime. Res64: 41F2FFF5DAD982C6 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:46] 885*2^1422643-1 is not prime. Res64: 7558998A8AF60602 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:47] 891*2^1422643-1 is not prime. Res64: A19B8FC2C2573BEC Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:49] 699*2^1422644-1 is not prime. Res64: 2A0668557AF70A6C Time : 0.0 sec. user=mdettweiler [2016-03-10 09:54:50] 743*2^1422644-1 is not prime. Res64: 07BC1AF5072B70E3 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:55:01] 893*2^1422644-1 is not prime. Res64: D93E0B0419C56E41 Time : 0.0 sec. user=mdettweiler [2016-03-10 09:55:02] 957*2^1422644-1 is not prime. Res64: 380843B577A9838B Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:28] 959*2^1422644-1 is not prime. Res64: 90F7813A93FF574E Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:29] 627*2^1422645-1 is not prime. Res64: 9018414BCBB1D5E5 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:38] 709*2^1422645-1 is not prime. Res64: E9C89AD1C3A06B69 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:38] 649*2^1422645-1 is not prime. Res64: 62A6E239C5DB5154 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:39] 849*2^1422645-1 is not prime. Res64: 6346D9463F3E6A25 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:39] 651*2^1422645-1 is not prime. Res64: F6D8F332A8039B55 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:52] 861*2^1422645-1 is not prime. Res64: 94F7FE7A52B83639 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:12:52] 871*2^1422645-1 is not prime. Res64: 0DBEF8649387B546 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:13] 889*2^1422645-1 is not prime. Res64: 367B81A5C0CC4246 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:13] 975*2^1422645-1 is not prime. Res64: B91C8DDCBDCC2608 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:18] 611*2^1422646-1 is not prime. Res64: 5B57F05802782C51 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:18] 813*2^1422646-1 is not prime. Res64: AD6E7C593507D07D Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:25] 833*2^1422646-1 is not prime. Res64: CC38CF17F9B2A9AB Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:26] 923*2^1422646-1 is not prime. Res64: F8D1F57934AB5B8C Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:41] 675*2^1422647-1 is not prime. Res64: 07096F7AFA7E75D8 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:30:42] 693*2^1422647-1 is not prime. Res64: 3F6B528727EDB6E0 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:47:59] 735*2^1422647-1 is not prime. Res64: F7FDD98CDEF8D31D Time : 0.0 sec. user=mdettweiler [2016-03-10 10:47:59] 739*2^1422647-1 is not prime. Res64: A44144BF3062F915 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:06] 775*2^1422647-1 is not prime. Res64: 1DBA25DA6C8BD3F4 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:06] 825*2^1422647-1 is not prime. Res64: 6D00E5D725EB1F8C Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:14] 841*2^1422647-1 is not prime. Res64: 95E032BC9CD3E93E Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:15] 885*2^1422647-1 is not prime. Res64: 31BE6D8A8E115F03 Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:28] 909*2^1422647-1 is not prime. Res64: 21F14712D6890F3D Time : 0.0 sec. user=mdettweiler [2016-03-10 10:48:28] 973*2^1422647-1 is not prime. Res64: 0ED5EB04E2C17378 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:05:51] 979*2^1422647-1 is not prime. Res64: 27133C567A71DA88 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:05:52] 991*2^1422647-1 is not prime. Res64: A58F841E07EA96E0 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:05:57] 767*2^1422648-1 is not prime. Res64: 340A5464D46433D7 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:05:59] 797*2^1422648-1 is not prime. Res64: A686287FCCBD80FE Time : 0.0 sec. user=mdettweiler [2016-03-10 11:06:04] 695*2^1422648-1 is not prime. Res64: C451F3392F138A32 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:06:06] 759*2^1422648-1 is not prime. Res64: C8389A379DD338C0 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:06:25] 879*2^1422648-1 is not prime. Res64: 621A98500920308C Time : 0.0 sec. user=mdettweiler [2016-03-10 11:06:26] 661*2^1422649-1 is not prime. Res64: C9DB1E37DE137422 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:00] 841*2^1422649-1 is not prime. Res64: D6DD1846F69E8CCA Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:00] 877*2^1422649-1 is not prime. Res64: 7CD1768E774797EA Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:06] 747*2^1422649-1 is not prime. Res64: 4CF5D19D887A82AB Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:06] 635*2^1422650-1 is not prime. Res64: 564BD58F59F9C778 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:08] 741*2^1422649-1 is not prime. Res64: AFBB32240714085A Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:08] 801*2^1422649-1 is not prime. Res64: 9E99DA29E0A24DDF Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:23] 645*2^1422650-1 is not prime. Res64: 576BA0624E663289 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:24:24] 743*2^1422650-1 is not prime. Res64: 93C224CBD7F19210 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:42] 831*2^1422650-1 is not prime. Res64: 3449A3C1B235B899 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:42] 857*2^1422650-1 is not prime. Res64: 342999E59A610CC0 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:48] 887*2^1422650-1 is not prime. Res64: 2AF3A706323CAB93 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:48] 921*2^1422650-1 is not prime. Res64: 515C7F800299F4A5 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:54] 927*2^1422650-1 is not prime. Res64: E5345D64F847D7CB Time : 0.0 sec. user=mdettweiler [2016-03-10 11:41:54] 951*2^1422650-1 is not prime. Res64: 4CC01BCFBE2422DB Time : 0.0 sec. user=mdettweiler [2016-03-10 11:42:10] 977*2^1422650-1 is not prime. Res64: F1DE0386ECA46E8A Time : 0.0 sec. user=mdettweiler [2016-03-10 11:42:10] 1001*2^1422650-1 is not prime. Res64: 7AF3FBB4496DB238 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:59:54] 615*2^1422651-1 is not prime. Res64: 34F3465487280731 Time : 0.0 sec. user=mdettweiler [2016-03-10 11:59:55] 735*2^1422651-1 is not prime. Res64: 70C86B29BE3644C5 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:18] 801*2^1422651-1 is not prime. Res64: 184EC89BDC28DD8B Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:19] 805*2^1422651-1 is not prime. Res64: F9F268D8639FE3B6 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:22] 871*2^1422651-1 is not prime. Res64: A6D0EC18AC7FBCF1 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:23] 961*2^1422651-1 is not prime. Res64: 266B5FDF0B01F9B1 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:26] 623*2^1422652-1 is not prime. Res64: 67DE3677A923FC69 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:00:27] 675*2^1422652-1 is not prime. Res64: 34044FAC592CD9BF Time : 0.0 sec. user=mdettweiler [2016-03-10 12:17:58] 677*2^1422652-1 is not prime. Res64: A0505F9091BF855B Time : 0.0 sec. user=mdettweiler [2016-03-10 12:17:58] 687*2^1422652-1 is not prime. Res64: 6E0916C71D272513 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:14] 779*2^1422652-1 is not prime. Res64: 0F5402E3B87ADA16 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:15] 843*2^1422652-1 is not prime. Res64: C180517A69A74053 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:19] 887*2^1422652-1 is not prime. Res64: 565145730AFC299A Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:19] 959*2^1422652-1 is not prime. Res64: D4B97BC568FFB9DD Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:26] 619*2^1422653-1 is not prime. Res64: 537E9A97DE1FD561 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:18:26] 627*2^1422653-1 is not prime. Res64: 5528B58989730E41 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:35:42] 729*2^1422653-1 is not prime. Res64: 1EC4343B282D9444 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:35:43] 747*2^1422653-1 is not prime. Res64: F60E793D89C534BF Time : 0.0 sec. user=mdettweiler [2016-03-10 12:35:57] 805*2^1422653-1 is not prime. Res64: 92D691E403BB9B5E Time : 0.0 sec. user=mdettweiler [2016-03-10 12:35:58] 811*2^1422653-1 is not prime. Res64: 8EABA300B2A0620D Time : 0.0 sec. user=mdettweiler [2016-03-10 12:36:06] 867*2^1422653-1 is not prime. Res64: 718BF19D712D777F Time : 0.0 sec. user=mdettweiler [2016-03-10 12:36:06] 901*2^1422653-1 is not prime. Res64: 9A4867F4A948FD3A Time : 0.0 sec. user=mdettweiler [2016-03-10 12:36:15] 937*2^1422653-1 is not prime. Res64: A5F197739D3BFD8E Time : 0.0 sec. user=mdettweiler [2016-03-10 12:36:15] 945*2^1422653-1 is not prime. Res64: 5629AA9E89F1E150 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:37] 979*2^1422653-1 is not prime. Res64: F5C17CD8CC121597 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:38] 615*2^1422654-1 is not prime. Res64: 8890784C7E4E4976 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:47] 641*2^1422654-1 is not prime. Res64: 57B4727AAAC60E93 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:48] 795*2^1422654-1 is not prime. Res64: 7EDEF96BDC6B0628 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:54] 945*2^1422654-1 is not prime. Res64: 0353AF579F742B0A Time : 0.0 sec. user=mdettweiler [2016-03-10 12:53:54] 971*2^1422654-1 is not prime. Res64: A31816024D6FEAFA Time : 0.0 sec. user=mdettweiler [2016-03-10 12:54:00] 993*2^1422654-1 is not prime. Res64: A862B451ACDC7162 Time : 0.0 sec. user=mdettweiler [2016-03-10 12:54:00] 663*2^1422655-1 is not prime. Res64: E2E0384D7931EC1E Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:39] 873*2^1422655-1 is not prime. Res64: 246D0DF8BF076EAB Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:39] 913*2^1422655-1 is not prime. Res64: 8A166BBFD4D9468E Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:45] 751*2^1422655-1 is not prime. Res64: 4ADB70B271533035 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:45] 853*2^1422655-1 is not prime. Res64: C89A179CC4F36EA9 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:51] 773*2^1422656-1 is not prime. Res64: 7236EE5F028EB281 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:51] 869*2^1422656-1 is not prime. Res64: C669EFFA9E26724A Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:51] 923*2^1422656-1 is not prime. Res64: 8625D19FD1FE58F1 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:11:52] 945*2^1422656-1 is not prime. Res64: 4F3814AB4CCD3989 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:30] 649*2^1422657-1 is not prime. Res64: 2EEBEC1F4538E906 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:30] 669*2^1422657-1 is not prime. Res64: F04A01D808FAE5BA Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:31] 675*2^1422657-1 is not prime. Res64: 0BEDF91044041EFD Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:32] 769*2^1422657-1 is not prime. Res64: 0F67DA29825CA5AA Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:39] 979*2^1422657-1 is not prime. Res64: D76F1DBCD89AA101 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:39] 603*2^1422658-1 is not prime. Res64: 2CEDA653DF9446E7 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:48] 647*2^1422658-1 is not prime. Res64: 34482440349BEAD9 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:29:49] 665*2^1422658-1 is not prime. Res64: 019508623589D0F5 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:20] 825*2^1422658-1 is not prime. Res64: F1C62C628746A3D6 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:20] 951*2^1422658-1 is not prime. Res64: 880D867C55080350 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:21] 681*2^1422658-1 is not prime. Res64: 31002833889C1964 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:22] 777*2^1422658-1 is not prime. Res64: 096D3B169E8E8D1A Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:25] 957*2^1422658-1 is not prime. Res64: 9ED758642BBEA514 Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:25] 633*2^1422659-1 is not prime. Res64: 1546387FA6C1DB2E Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:49] 693*2^1422659-1 is not prime. Res64: A173FBD0C31CAA5A Time : 0.0 sec. user=mdettweiler [2016-03-10 13:47:50] 993*2^1422659-1 is not prime. Res64: 42A96A0419B5A573 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:05] 707*2^1422660-1 is not prime. Res64: 6856EFE96EBE3744 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:06] 779*2^1422660-1 is not prime. Res64: 2CF0F47FBF122EF6 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:10] 803*2^1422660-1 is not prime. Res64: C5C03F0821497447 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:12] 825*2^1422660-1 is not prime. Res64: D2BE567E4B18BC96 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:15] 609*2^1422660-1 is not prime. Res64: 06DDCCC875A98827 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:16] 695*2^1422660-1 is not prime. Res64: 0BDC9B6406FC63A4 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:38] 601*2^1422661-1 is not prime. Res64: 4911C2486CBF3358 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:05:39] 615*2^1422661-1 is not prime. Res64: EECF06B93F45CA8B Time : 0.0 sec. user=mdettweiler [2016-03-10 14:22:55] 639*2^1422661-1 is not prime. Res64: A1E29B0F53800CA5 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:22:55] 871*2^1422661-1 is not prime. Res64: CDE9713711D3D3B6 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:22:58] 987*2^1422661-1 is not prime. Res64: 55A8D7B3205737F4 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:22:58] 999*2^1422661-1 is not prime. Res64: 6027A3C531F68269 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:23:05] 671*2^1422662-1 is not prime. Res64: 05AD118A48C87750 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:23:06] 711*2^1422662-1 is not prime. Res64: E43535A80440125E Time : 0.0 sec. user=mdettweiler [2016-03-10 14:23:24] 801*2^1422662-1 is not prime. Res64: 9ED4C880DEB4ED06 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:23:25] 827*2^1422662-1 is not prime. Res64: 32E5284971844E6A Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:46] 843*2^1422662-1 is not prime. Res64: 358C93403C0B7BF1 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:46] 893*2^1422662-1 is not prime. Res64: 3D28BC996BCDAC99 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:56] 649*2^1422663-1 is not prime. Res64: C59299067AED92D8 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:57] 735*2^1422663-1 is not prime. Res64: 237EC3C806332866 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:57] 957*2^1422662-1 is not prime. Res64: 63F665A00F80132E Time : 0.0 sec. user=mdettweiler [2016-03-10 14:40:57] 963*2^1422662-1 is not prime. Res64: CED79FE196CD068D Time : 0.0 sec. user=mdettweiler [2016-03-10 14:41:17] 849*2^1422663-1 is not prime. Res64: 596DE95898D145B7 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:41:17] 871*2^1422663-1 is not prime. Res64: 540E53A94A3A1379 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:25] 873*2^1422663-1 is not prime. Res64: D19A40285561FC94 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:25] 951*2^1422663-1 is not prime. Res64: 25EC29BA536F23AF Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:46] 985*2^1422663-1 is not prime. Res64: 395EE9074916A222 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:46] 687*2^1422664-1 is not prime. Res64: A2087979B8BD6C84 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:47] 693*2^1422664-1 is not prime. Res64: 7301563C557D9A8D Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:48] 695*2^1422664-1 is not prime. Res64: 100F94134CBD4981 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:59] 903*2^1422664-1 is not prime. Res64: 7B3BE54A412B5F52 Time : 0.0 sec. user=mdettweiler [2016-03-10 14:58:59] 927*2^1422664-1 is not prime. Res64: B1AD64C94738146F Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:20] 939*2^1422664-1 is not prime. Res64: 9E6AECAF71C49486 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:20] 795*2^1422665-1 is not prime. Res64: 10FB705D192CC84C Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:30] 799*2^1422665-1 is not prime. Res64: 47A3389F42B4B007 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:31] 861*2^1422665-1 is not prime. Res64: F7C916C343206152 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:35] 969*2^1422665-1 is not prime. Res64: D7812D35FB32080D Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:36] 611*2^1422666-1 is not prime. Res64: A369EB48E06DBE25 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:44] 683*2^1422666-1 is not prime. Res64: 1549202C3FA08EA1 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:16:44] 713*2^1422666-1 is not prime. Res64: D2F76CE73B239D1F Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:43] 767*2^1422666-1 is not prime. Res64: 991BFC34EC050804 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:44] 807*2^1422666-1 is not prime. Res64: A93EE59F8CCF7CE3 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:48] 747*2^1422666-1 is not prime. Res64: 8C77366E9212123A Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:48] 755*2^1422666-1 is not prime. Res64: 25365B16D8C7E55F Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:54] 933*2^1422666-1 is not prime. Res64: EAD125C8084F8569 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:34:55] 945*2^1422666-1 is not prime. Res64: D3735A55AF4BC0CE Time : 0.0 sec. user=mdettweiler [2016-03-10 15:35:03] 815*2^1422666-1 is not prime. Res64: CF833F3D2CEC9B7D Time : 0.0 sec. user=mdettweiler [2016-03-10 15:35:04] 881*2^1422666-1 is not prime. Res64: 3AC7BBFE7603CAFF Time : 0.0 sec. user=mdettweiler [2016-03-10 15:52:49] 601*2^1422667-1 is not prime. Res64: E5CE42591F23B229 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:52:50] 633*2^1422667-1 is not prime. Res64: D930DA4731F96F05 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:01] 645*2^1422667-1 is not prime. Res64: 15C1EAC6E40652A8 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:01] 715*2^1422667-1 is not prime. Res64: A60ED6EB4996DDE1 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:16] 871*2^1422667-1 is not prime. Res64: 231751CC5FE1519E Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:17] 885*2^1422667-1 is not prime. Res64: 21C197D3D5DF3B59 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:27] 891*2^1422667-1 is not prime. Res64: 43C8E9BB24E9C5A9 Time : 0.0 sec. user=mdettweiler [2016-03-10 15:53:27] 633*2^1422668-1 is not prime. Res64: B3E175A35DBF8F58 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:07] 707*2^1422668-1 is not prime. Res64: 36E4D50F09A9F773 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:07] 855*2^1422668-1 is not prime. Res64: 4773E3838CD054A2 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:24] 909*2^1422668-1 is not prime. Res64: 19C89EA7615C6F61 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:24] 963*2^1422668-1 is not prime. Res64: E275D872247E65AB Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:26] 875*2^1422668-1 is not prime. Res64: 5BB5A369C15BBFBF Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:26] 893*2^1422668-1 is not prime. Res64: DF5A08B64BB82838 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:58] 969*2^1422668-1 is not prime. Res64: E9094D7DA1FE347A Time : 0.0 sec. user=mdettweiler [2016-03-10 16:11:58] 995*2^1422668-1 is not prime. Res64: 9ADE0F8195DC5052 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:30:20] 669*2^1422669-1 is not prime. Res64: 5B482831EDAF1031 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:30:20] 735*2^1422669-1 is not prime. Res64: AEDA2113986582CE Time : 0.0 sec. user=mdettweiler [2016-03-10 16:30:43] 765*2^1422669-1 is not prime. Res64: C28DBEB6808856D9 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:30:43] 781*2^1422669-1 is not prime. Res64: C33F5B8BB5FCF0B9 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:31:04] 861*2^1422669-1 is not prime. Res64: 190795DA4E5AFD36 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:31:04] 877*2^1422669-1 is not prime. Res64: 8E9BDB07BE85D37B Time : 0.0 sec. user=mdettweiler [2016-03-10 16:31:40] 949*2^1422669-1 is not prime. Res64: E27DFF3B9884FA29 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:31:40] 955*2^1422669-1 is not prime. Res64: F3F8D87AEC8BAAD2 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:51:27] 857*2^1422670-1 is not prime. Res64: EB1FBC160CA4BD2B Time : 0.0 sec. user=mdettweiler [2016-03-10 16:51:27] 891*2^1422670-1 is not prime. Res64: 2D841FCB023FFD40 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:51:38] 991*2^1422669-1 is not prime. Res64: A2D56B0FD8B32581 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:51:39] 765*2^1422670-1 is not prime. Res64: 8D9C1E1DFE212915 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:52:16] 669*2^1422671-1 is not prime. Res64: 99A0B188C0A2639C Time : 0.0 sec. user=mdettweiler [2016-03-10 16:52:17] 703*2^1422671-1 is not prime. Res64: 0B176704A9954A43 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:52:22] 615*2^1422671-1 is not prime. Res64: 7DF53EA4BE351DB2 Time : 0.0 sec. user=mdettweiler [2016-03-10 16:52:22] 663*2^1422671-1 is not prime. Res64: 12DACC32F9DA8737 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:13:38] 775*2^1422671-1 is not prime. Res64: 135A4D3DD9908B27 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:13:38] 789*2^1422671-1 is not prime. Res64: 303F19F097B21D40 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:13:48] 969*2^1422671-1 is not prime. Res64: 6439402B9934E780 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:13:49] 725*2^1422672-1 is not prime. Res64: 31C92D52D8A4607A Time : 0.0 sec. user=mdettweiler [2016-03-10 17:14:29] 737*2^1422672-1 is not prime. Res64: B6F1E34E9BA6DEF5 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:14:30] 759*2^1422672-1 is not prime. Res64: 3C96FD292D097A79 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:14:37] 819*2^1422672-1 is not prime. Res64: 13D3BB7D934AC0B7 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:14:38] 887*2^1422672-1 is not prime. Res64: 862D3B972712E594 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:32:55] 917*2^1422672-1 is not prime. Res64: B519D894AEBE1E87 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:32:55] 615*2^1422673-1 is not prime. Res64: AEE7357A4BA0BC76 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:09] 649*2^1422673-1 is not prime. Res64: 1125F8BAC99A0ADF Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:09] 801*2^1422673-1 is not prime. Res64: 970476366A80D704 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:53] 605*2^1422674-1 is not prime. Res64: F810895B9B8B1916 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:53] 705*2^1422674-1 is not prime. Res64: 2C74D4EC3BF17D42 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:54] 885*2^1422673-1 is not prime. Res64: 69B96FE2C6D39F33 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:33:54] 937*2^1422673-1 is not prime. Res64: 00B3771DCB932417 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:50:46] 711*2^1422674-1 is not prime. Res64: 64C1D0F0289AFFD2 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:50:47] 743*2^1422674-1 is not prime. Res64: D14FE222B01983FB Time : 0.0 sec. user=mdettweiler [2016-03-10 17:50:56] 785*2^1422674-1 is not prime. Res64: 1C214789B97B2D7A Time : 0.0 sec. user=mdettweiler [2016-03-10 17:50:56] 917*2^1422674-1 is not prime. Res64: 581B30BA3FE0DFF8 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:51:36] 935*2^1422674-1 is not prime. Res64: 117B3B0EBE7B7CA6 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:51:37] 619*2^1422675-1 is not prime. Res64: F827789E26E2D11B Time : 0.0 sec. user=mdettweiler [2016-03-10 17:51:41] 691*2^1422675-1 is not prime. Res64: E03AF7FB1280BDE9 Time : 0.0 sec. user=mdettweiler [2016-03-10 17:51:42] 765*2^1422675-1 is not prime. Res64: 29399C9412E86AA7 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:08:44] 795*2^1422675-1 is not prime. Res64: 9488D65BB9C4376A Time : 0.0 sec. user=mdettweiler [2016-03-10 18:08:44] 951*2^1422675-1 is not prime. Res64: 8268687A823E3964 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:08:45] 639*2^1422676-1 is not prime. Res64: F568471F32CF7077 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:08:45] 647*2^1422676-1 is not prime. Res64: 11E41F34AC25FA3D Time : 0.0 sec. user=mdettweiler [2016-03-10 18:09:30] 899*2^1422676-1 is not prime. Res64: C086A836E1307DF0 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:09:30] 965*2^1422676-1 is not prime. Res64: 15745D83B1E97B6A Time : 0.0 sec. user=mdettweiler [2016-03-10 18:09:37] 705*2^1422676-1 is not prime. Res64: 3B76179AD7370396 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:09:38] 783*2^1422676-1 is not prime. Res64: 11D0F1A0D9907EB4 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:26:29] 983*2^1422676-1 is not prime. Res64: 2484057F3F731E1B Time : 0.0 sec. user=mdettweiler [2016-03-10 18:26:30] 989*2^1422676-1 is not prime. Res64: 3B9A4548103CF4FD Time : 0.0 sec. user=mdettweiler [2016-03-10 18:26:37] 607*2^1422677-1 is not prime. Res64: F79DF267EA631611 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:26:38] 729*2^1422677-1 is not prime. Res64: D9283BD44C05A9AE Time : 0.0 sec. user=mdettweiler [2016-03-10 18:27:14] 901*2^1422677-1 is not prime. Res64: 3050A419E580C25A Time : 0.0 sec. user=mdettweiler [2016-03-10 18:27:15] 939*2^1422677-1 is not prime. Res64: 6E7008C6608BF61E Time : 0.0 sec. user=mdettweiler [2016-03-10 18:27:24] 957*2^1422677-1 is not prime. Res64: 39AC6172BABFCFA0 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:27:25] 991*2^1422677-1 is not prime. Res64: 96AE924356F8DCD0 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:44:13] 705*2^1422678-1 is not prime. Res64: 325CD75183E06F47 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:44:13] 707*2^1422678-1 is not prime. Res64: 49AE2F8B92584BE5 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:44:24] 711*2^1422678-1 is not prime. Res64: AA3CC35EFD07DE4C Time : 0.0 sec. user=mdettweiler [2016-03-10 18:44:25] 737*2^1422678-1 is not prime. Res64: 5A4219AA72DF3B64 Time : 0.0 sec. user=mdettweiler [2016-03-10 18:45:04] 923*2^1422678-1 is not prime. Res64: A66B00A49E6B955E Time : 0.0 sec. user=mdettweiler [2016-03-10 18:45:05] 615*2^1422679-1 is not prime. Res64: 2898E3D147C7020E Time : 0.0 sec. user=mdettweiler [2016-03-10 18:45:08] 885*2^1422679-1 is not prime. Res64: 8D3FFC1A1DF8AC7E Time : 0.0 sec. user=mdettweiler [2016-03-10 18:45:09] 895*2^1422679-1 is not prime. Res64: C6360A9FEC054ED6 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:01:57] 969*2^1422679-1 is not prime. Res64: B6777BB33F5A46AE Time : 0.0 sec. user=mdettweiler [2016-03-10 19:01:59] 663*2^1422680-1 is not prime. Res64: E4D5E41A8DF553A9 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:05] 665*2^1422680-1 is not prime. Res64: D7E06CFF2D151928 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:06] 669*2^1422680-1 is not prime. Res64: 087F6700BD8875CF Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:46] 915*2^1422680-1 is not prime. Res64: 2B36317912B52209 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:47] 957*2^1422680-1 is not prime. Res64: 0E5EBE3D29530C2A Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:50] 977*2^1422680-1 is not prime. Res64: EB658FA71E7BC492 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:02:50] 607*2^1422681-1 is not prime. Res64: 439CAE974A2B0BBA Time : 0.0 sec. user=mdettweiler [2016-03-10 19:21:02] 819*2^1422681-1 is not prime. Res64: 602E51AAC2D3B8D7 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:21:03] 837*2^1422681-1 is not prime. Res64: F409F8DC895DBB77 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:21:04] 681*2^1422681-1 is not prime. Res64: 829748615629B595 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:21:05] 709*2^1422681-1 is not prime. Res64: 6657F9EA47AE88B8 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:22:12] 945*2^1422681-1 is not prime. Res64: 19208874F887BC17 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:22:12] 979*2^1422681-1 is not prime. Res64: F2CA911F2DC4B708 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:22:18] 865*2^1422681-1 is not prime. Res64: 22803D0613430AD9 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:22:18] 877*2^1422681-1 is not prime. Res64: BC2CF47521D72F77 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:40:56] 645*2^1422682-1 is not prime. Res64: 5A6111CFC22A0286 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:40:57] 677*2^1422682-1 is not prime. Res64: D0F6E883F353AD73 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:11] 695*2^1422682-1 is not prime. Res64: 99AEF37FC0E51A1C Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:11] 717*2^1422682-1 is not prime. Res64: 2B5B86BF63C89382 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:46] 803*2^1422682-1 is not prime. Res64: 7D6EFC0520AA21BE Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:46] 825*2^1422682-1 is not prime. Res64: 929CE0AFB4E350D0 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:53] 731*2^1422682-1 is not prime. Res64: 33D60F71CC6F5826 Time : 0.0 sec. user=mdettweiler [2016-03-10 19:41:53] 741*2^1422682-1 is not prime. Res64: 0B1F916734F1A36D Time : 0.0 sec. user=mdettweiler [2016-03-10 20:00:54] 981*2^1422682-1 is not prime. Res64: 8268E56576E50E18 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:00:55] 1001*2^1422682-1 is not prime. Res64: 22F0B4CBE03F8266 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:12] 739*2^1422683-1 is not prime. Res64: 6AF06FD2CD74BBB1 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:13] 741*2^1422683-1 is not prime. Res64: 0F8D9122E0842A60 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:38] 859*2^1422683-1 is not prime. Res64: D34AF548B52205BE Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:39] 963*2^1422683-1 is not prime. Res64: 1CCB1D84C48F4F10 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:56] 981*2^1422683-1 is not prime. Res64: 499579B3D2B2C5B2 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:01:57] 991*2^1422683-1 is not prime. Res64: FD4069CE53B9D9E4 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:21:20] 663*2^1422684-1 is not prime. Res64: 60B96E20E9013D39 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:21:21] 699*2^1422684-1 is not prime. Res64: BE5EF9B8BC69F7F2 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:21:39] 893*2^1422684-1 is not prime. Res64: 762361526969AAA1 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:21:39] 607*2^1422685-1 is not prime. Res64: 3CE94F33586C3525 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:22:17] 715*2^1422685-1 is not prime. Res64: 7909A4855B5B05A6 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:22:18] 721*2^1422685-1 is not prime. Res64: B51C05253558423C Time : 0.0 sec. user=mdettweiler [2016-03-10 20:22:33] 799*2^1422685-1 is not prime. Res64: DCF022F13E808F15 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:22:33] 819*2^1422685-1 is not prime. Res64: 9312339DE3551D90 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:42:05] 825*2^1422685-1 is not prime. Res64: 9E83D1DFA3B08E27 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:42:06] 831*2^1422685-1 is not prime. Res64: 0D6DD4407BB4B0A2 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:42:48] 855*2^1422685-1 is not prime. Res64: 86CD3F857141B24C Time : 0.0 sec. user=mdettweiler [2016-03-10 20:42:48] 877*2^1422685-1 is not prime. Res64: 500332BB32332751 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:43:06] 885*2^1422685-1 is not prime. Res64: B7B3450AA28B96B8 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:43:06] 987*2^1422685-1 is not prime. Res64: 76EF7EDB4F6FB48E Time : 0.0 sec. user=mdettweiler [2016-03-10 20:43:29] 999*2^1422685-1 is not prime. Res64: E9E5DC9B8573AB03 Time : 0.0 sec. user=mdettweiler [2016-03-10 20:43:29] 635*2^1422686-1 is not prime. Res64: 7036EA77B04BB9AE Time : 0.0 sec. user=mdettweiler [2016-03-10 21:02:39] 641*2^1422686-1 is not prime. Res64: 6877FD3C2DAFC44B Time : 0.0 sec. user=mdettweiler [2016-03-10 21:02:40] 677*2^1422686-1 is not prime. Res64: 7EB4B3EDAD0CEB39 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:03:30] 685*2^1422687-1 is not prime. Res64: 3F87552BB3FA9B46 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:03:32] 781*2^1422687-1 is not prime. Res64: 7525D48E94432C5B Time : 0.0 sec. user=mdettweiler [2016-03-10 21:03:34] 711*2^1422686-1 is not prime. Res64: FF1872D7272A604A Time : 0.0 sec. user=mdettweiler [2016-03-10 21:03:35] 893*2^1422686-1 is not prime. Res64: 0EE2EF346C88C9A3 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:04:12] 951*2^1422687-1 is not prime. Res64: 29FB6E93FAD97CDF Time : 0.0 sec. user=mdettweiler [2016-03-10 21:04:13] 605*2^1422688-1 is not prime. Res64: C05E4F5CD147E053 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:23:19] 635*2^1422688-1 is not prime. Res64: 9EC8E2056E751D88 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:23:19] 695*2^1422688-1 is not prime. Res64: 9D9B1682F04D6A68 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:23:45] 773*2^1422688-1 is not prime. Res64: AB545D00F5C0145F Time : 0.0 sec. user=mdettweiler [2016-03-10 21:23:45] 827*2^1422688-1 is not prime. Res64: D580E659DE73F818 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:24:11] 849*2^1422688-1 is not prime. Res64: 382D8C5927CE3DDD Time : 0.0 sec. user=mdettweiler [2016-03-10 21:24:11] 855*2^1422688-1 is not prime. Res64: 4C79F93B9E20F590 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:24:27] 905*2^1422688-1 is not prime. Res64: 83873C718D49E034 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:24:28] 915*2^1422688-1 is not prime. Res64: BC11ED6835340621 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:43:41] 999*2^1422688-1 is not prime. Res64: B9BFE07DE6DF0BF7 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:43:41] 675*2^1422689-1 is not prime. Res64: DEBFD6133104D6A4 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:44:26] 697*2^1422689-1 is not prime. Res64: F329A5C7051185BB Time : 0.0 sec. user=mdettweiler [2016-03-10 21:44:27] 721*2^1422689-1 is not prime. Res64: 479C6782DBEFBBEE Time : 0.0 sec. user=mdettweiler [2016-03-10 21:44:33] 747*2^1422689-1 is not prime. Res64: 863BB121F05105FC Time : 0.0 sec. user=mdettweiler [2016-03-10 21:44:33] 789*2^1422689-1 is not prime. Res64: D1596A64D72AFCCB Time : 0.0 sec. user=mdettweiler [2016-03-10 21:45:09] 861*2^1422689-1 is not prime. Res64: FE6F05C82F33E297 Time : 0.0 sec. user=mdettweiler [2016-03-10 21:45:09] 931*2^1422689-1 is not prime. Res64: 8D37E73B8D0DB813 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:04:45] 945*2^1422689-1 is not prime. Res64: 5A49CE058A236089 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:04:47] 967*2^1422689-1 is not prime. Res64: 79C3241F966D76E4 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:04] 843*2^1422690-1 is not prime. Res64: 3853AC5C8C52721E Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:06] 639*2^1422691-1 is not prime. Res64: 9B4329916CC53D2F Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:17] 611*2^1422690-1 is not prime. Res64: B6736469A7FB77FC Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:18] 797*2^1422690-1 is not prime. Res64: 39B210885023AFBD Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:56] 651*2^1422691-1 is not prime. Res64: BEFEE8A38D82CDC4 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:05:58] 771*2^1422691-1 is not prime. Res64: B4E1F17F266A1992 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:16] 819*2^1422691-1 is not prime. Res64: 827A8A35D435B32B Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:16] 829*2^1422691-1 is not prime. Res64: BF47371B849A5E98 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:44] 849*2^1422691-1 is not prime. Res64: 5B471CDE508AC086 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:44] 901*2^1422691-1 is not prime. Res64: BF24270A3ABFF232 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:51] 943*2^1422691-1 is not prime. Res64: 022A300FF1454B66 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:24:51] 603*2^1422692-1 is not prime. Res64: CB4D4293EBC9A402 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:25:40] 665*2^1422692-1 is not prime. Res64: 7AFE1B41B9B3164F Time : 0.0 sec. user=mdettweiler [2016-03-10 22:25:41] 687*2^1422692-1 is not prime. Res64: 8D41EB3AB87854E9 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:43:40] 689*2^1422692-1 is not prime. Res64: 3BFD7110F9E90305 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:43:40] 693*2^1422692-1 is not prime. Res64: 22FB2C82633E93F6 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:44:07] 813*2^1422692-1 is not prime. Res64: C90480181BF85310 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:44:07] 945*2^1422692-1 is not prime. Res64: C802EA3B49D919B5 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:44:13] 977*2^1422692-1 is not prime. Res64: 9FCF71EC217A2316 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:44:13] 625*2^1422693-1 is not prime. Res64: 732CDF3733CF8B05 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:45:03] 685*2^1422693-1 is not prime. Res64: 287CE876C40E1BB1 Time : 0.0 sec. user=mdettweiler [2016-03-10 22:45:03] 699*2^1422693-1 is not prime. Res64: 65AF446DE922E08F Time : 0.0 sec. user=mdettweiler [2016-03-10 23:03:34] 787*2^1422693-1 is not prime. Res64: D9711F09AC3C0FCF Time : 0.0 sec. user=mdettweiler [2016-03-10 23:03:35] 829*2^1422693-1 is not prime. Res64: 5A24F745B2E6771F Time : 0.0 sec. user=mdettweiler [2016-03-10 23:04:14] 985*2^1422693-1 is not prime. Res64: 07F591C7DCB3350E Time : 0.0 sec. user=mdettweiler [2016-03-10 23:04:15] 921*2^1422693-1 is not prime. Res64: 3E1580623ED0332A Time : 0.0 sec. user=mdettweiler [2016-03-10 23:04:15] 605*2^1422694-1 is not prime. Res64: AB09D011425DCBD3 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:04:16] 927*2^1422693-1 is not prime. Res64: 745750E25653C288 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:05:13] 737*2^1422694-1 is not prime. Res64: 860E516E6057107B Time : 0.0 sec. user=mdettweiler [2016-03-10 23:05:13] 833*2^1422694-1 is not prime. Res64: 039DEF3DD0E93EA2 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:23:30] 897*2^1422694-1 is not prime. Res64: 865E942F0A7CE1C9 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:23:31] 1001*2^1422694-1 is not prime. Res64: F56727F4358A3649 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:24:03] 619*2^1422695-1 is not prime. Res64: F73B663979CE76E6 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:24:03] 789*2^1422695-1 is not prime. Res64: A85F18AC151F8ABE Time : 0.0 sec. user=mdettweiler [2016-03-10 23:24:14] 895*2^1422695-1 is not prime. Res64: A522909A4323DDEE Time : 0.0 sec. user=mdettweiler [2016-03-10 23:24:14] 915*2^1422695-1 is not prime. Res64: C9F1FDBFA007FCE1 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:25:09] 949*2^1422695-1 is not prime. Res64: 71EA8BAD458019CE Time : 0.0 sec. user=mdettweiler [2016-03-10 23:25:09] 633*2^1422696-1 is not prime. Res64: 16356F71F3857F76 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:09] 717*2^1422696-1 is not prime. Res64: A39A5EB8A48D80C1 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:10] 893*2^1422696-1 is not prime. Res64: BA37A51ACE1B992A Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:49] 661*2^1422697-1 is not prime. Res64: D5FE42A15422951E Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:49] 699*2^1422697-1 is not prime. Res64: E128E766B0FA58F4 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:54] 899*2^1422696-1 is not prime. Res64: 38EAA88F1BCE220E Time : 0.0 sec. user=mdettweiler [2016-03-10 23:43:54] 649*2^1422697-1 is not prime. Res64: 0B9892C1B39E2A75 Time : 0.0 sec. user=mdettweiler [2016-03-10 23:44:33] 777*2^1422697-1 is not prime. Res64: 6C5AB00DC16C51AC Time : 0.0 sec. user=mdettweiler [2016-03-10 23:44:33] 885*2^1422697-1 is not prime. Res64: EE3E1A4D99400538 Time : 0.0 sec.