user=mdettweiler [2018-05-11 00:01:03] 825*2^1509438-1 is not prime. Res64: 35AFFB1E02D26226 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:01:03] 941*2^1509438-1 is not prime. Res64: EDDC3D4AA4DCBD60 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:29:02] 975*2^1509438-1 is not prime. Res64: C30751F179DFE0AF Time : 0.0 sec. user=mdettweiler [2018-05-11 00:29:03] 609*2^1509439-1 is not prime. Res64: C6B2375A429AC84D Time : 0.0 sec. user=mdettweiler [2018-05-11 00:29:03] 763*2^1509439-1 is not prime. Res64: B60E3F3C933E23D0 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:29:05] 769*2^1509439-1 is not prime. Res64: D6200FDF1E693899 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:29:05] 841*2^1509439-1 is not prime. Res64: B99C161DE91CC02F Time : 0.0 sec. user=mdettweiler [2018-05-11 00:47:53] 975*2^1509439-1 is not prime. Res64: 6344A778560EAFB0 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:47:53] 603*2^1509440-1 is not prime. Res64: 56F29E31F43FC0C8 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:47:54] 635*2^1509440-1 is not prime. Res64: FF0E26730E106D0A Time : 0.0 sec. user=mdettweiler [2018-05-11 00:47:54] 665*2^1509440-1 is not prime. Res64: 7C3713C694A414C2 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:47:55] 747*2^1509440-1 is not prime. Res64: 5CB5983BFF8D9CF5 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:48:54] 753*2^1509440-1 is not prime. Res64: 003D8EB0575B4953 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:48:54] 825*2^1509440-1 is not prime. Res64: 8CDAA56497555AFD Time : 0.0 sec. user=mdettweiler [2018-05-11 00:48:55] 897*2^1509440-1 is not prime. Res64: 229B1898E607CD3D Time : 0.0 sec. user=mdettweiler [2018-05-11 00:48:55] 607*2^1509441-1 is not prime. Res64: DC77FAF55439C61B Time : 0.0 sec. user=mdettweiler [2018-05-11 00:48:56] 679*2^1509441-1 is not prime. Res64: DB64EFE053D3BF06 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:51:03] 681*2^1509441-1 is not prime. Res64: 3FF96929042B1576 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:51:04] 817*2^1509441-1 is not prime. Res64: 95119BC618698DB7 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:51:04] 861*2^1509441-1 is not prime. Res64: 707F3656BDF70D1E Time : 0.0 sec. user=mdettweiler [2018-05-11 00:51:05] 867*2^1509441-1 is not prime. Res64: F12B089144D6D691 Time : 0.0 sec. user=mdettweiler [2018-05-11 00:51:05] 611*2^1509442-1 is not prime. Res64: 4185DF34975C7434 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:18:40] 657*2^1509442-1 is not prime. Res64: 86E447E475E2E267 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:18:41] 671*2^1509442-1 is not prime. Res64: AC7BB18C29A05798 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:18:41] 677*2^1509442-1 is not prime. Res64: 292A8CDBE51ED6E3 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:18:42] 695*2^1509442-1 is not prime. Res64: A3A79386B060A5EF Time : 0.0 sec. user=mdettweiler [2018-05-11 01:18:42] 731*2^1509442-1 is not prime. Res64: 3245DF0D97A176A4 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:38:38] 735*2^1509442-1 is not prime. Res64: 9DB1C43FA7C328FB Time : 0.0 sec. user=mdettweiler [2018-05-11 01:38:39] 747*2^1509442-1 is not prime. Res64: 93235E67743FA9D4 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:38:40] 867*2^1509442-1 is not prime. Res64: F894C772FCB61332 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:38:40] 873*2^1509442-1 is not prime. Res64: B590F2DB551F53A3 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:38:41] 885*2^1509442-1 is not prime. Res64: CAA7DADC302A504E Time : 0.0 sec. user=mdettweiler [2018-05-11 01:39:13] 983*2^1509442-1 is not prime. Res64: 0D379A30CA082EB3 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:39:13] 621*2^1509443-1 is not prime. Res64: 23048911C7BFCE49 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:39:14] 703*2^1509443-1 is not prime. Res64: A46FCB336A8D3BDB Time : 0.0 sec. user=mdettweiler [2018-05-11 01:39:14] 759*2^1509443-1 is not prime. Res64: 99DB0BD20F44E74D Time : 0.0 sec. user=mdettweiler [2018-05-11 01:39:17] 783*2^1509443-1 is not prime. Res64: B80F73A83440B4C2 Time : 0.0 sec. user=mdettweiler [2018-05-11 01:41:05] 901*2^1509443-1 is not prime. Res64: 8722F4C9190F64AB Time : 0.0 sec. user=mdettweiler [2018-05-11 01:41:06] 945*2^1509443-1 is not prime. Res64: D5E6365EE857CF2A Time : 0.0 sec. user=mdettweiler [2018-05-11 01:41:07] 963*2^1509443-1 is not prime. Res64: 87FC36C19A8D5CDC Time : 0.0 sec. user=mdettweiler [2018-05-11 01:41:09] 629*2^1509444-1 is not prime. Res64: DDD1EE057F1EC6ED Time : 0.0 sec. user=mdettweiler [2018-05-11 01:41:10] 683*2^1509444-1 is not prime. Res64: 4BD70D01F11E741E Time : 0.0 sec. user=mdettweiler [2018-05-11 02:09:18] 767*2^1509444-1 is not prime. Res64: E7243D9072BDC28A Time : 0.0 sec. user=mdettweiler [2018-05-11 02:09:18] 795*2^1509444-1 is not prime. Res64: 28814EB60B75EB64 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:09:19] 905*2^1509444-1 is not prime. Res64: A1DED6B3C0C449FB Time : 0.0 sec. user=mdettweiler [2018-05-11 02:09:19] 945*2^1509444-1 is not prime. Res64: 00E1794770F67B43 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:09:20] 965*2^1509444-1 is not prime. Res64: C1A4F8189A76F7D0 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:25] 993*2^1509444-1 is not prime. Res64: 7D8A50CF5326D88E Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:25] 717*2^1509445-1 is not prime. Res64: BA8A9B40E9D49F3B Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:26] 771*2^1509445-1 is not prime. Res64: EFF6D6FCF3D4A647 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:26] 777*2^1509445-1 is not prime. Res64: 01CE0D7F0702D0B8 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:27] 895*2^1509445-1 is not prime. Res64: 84C9DCAC4F50B3FE Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:34] 925*2^1509445-1 is not prime. Res64: D5ADD44242A624AB Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:34] 677*2^1509446-1 is not prime. Res64: 2BEF5CFDB211788A Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:34] 707*2^1509446-1 is not prime. Res64: 46B058834B173839 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:35] 761*2^1509446-1 is not prime. Res64: 427D55F3B18B3235 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:29:36] 813*2^1509446-1 is not prime. Res64: ACC6E11CF39561D9 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:31:34] 815*2^1509446-1 is not prime. Res64: 30A825E1FBF17A42 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:31:35] 827*2^1509446-1 is not prime. Res64: 76F2E148CC4076C9 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:31:36] 843*2^1509446-1 is not prime. Res64: FBACD152712D95E1 Time : 0.0 sec. user=mdettweiler [2018-05-11 02:31:37] 873*2^1509446-1 is not prime. Res64: 2B58F1ABA3C8A8DD Time : 0.0 sec. user=mdettweiler [2018-05-11 02:31:38] 615*2^1509447-1 is not prime. Res64: F88286CEA74A77F8 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:00:22] 703*2^1509447-1 is not prime. Res64: 0D33DE95DA8A6BE8 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:00:28] 709*2^1509447-1 is not prime. Res64: D9B026013F14BA6A Time : 0.0 sec. user=mdettweiler [2018-05-11 03:00:30] 741*2^1509447-1 is not prime. Res64: 35A8B52A070B4B7B Time : 0.0 sec. user=mdettweiler [2018-05-11 03:00:33] 819*2^1509447-1 is not prime. Res64: 141381632664E189 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:00:34] 831*2^1509447-1 is not prime. Res64: 3245F9E750E57E9A Time : 0.0 sec. user=mdettweiler [2018-05-11 03:20:42] 861*2^1509447-1 is not prime. Res64: A50164F9A66350A0 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:20:43] 919*2^1509447-1 is not prime. Res64: E80E02D93A014D27 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:20:43] 635*2^1509448-1 is not prime. Res64: 49048398B99D952D Time : 0.0 sec. user=mdettweiler [2018-05-11 03:20:43] 743*2^1509448-1 is not prime. Res64: BCB16BBC79BF7DE1 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:20:44] 765*2^1509448-1 is not prime. Res64: F346E82F3052B06E Time : 0.0 sec. user=mdettweiler [2018-05-11 03:21:33] 777*2^1509448-1 is not prime. Res64: 20EAACCD6A401DC7 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:21:33] 989*2^1509448-1 is not prime. Res64: A5E5292967AB73BF Time : 0.0 sec. user=mdettweiler [2018-05-11 03:21:34] 861*2^1509449-1 is not prime. Res64: 7C41DB0780BD0F08 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:21:34] 865*2^1509449-1 is not prime. Res64: 0E8407608635F74A Time : 0.0 sec. user=mdettweiler [2018-05-11 03:21:34] 885*2^1509449-1 is not prime. Res64: F021F4A781E91962 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:22:45] 957*2^1509449-1 is not prime. Res64: F45AD3206B489528 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:22:46] 791*2^1509450-1 is not prime. Res64: 71D00389F8B3EED1 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:22:46] 941*2^1509450-1 is not prime. Res64: 5881E08347DCF1A6 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:22:47] 663*2^1509451-1 is not prime. Res64: 0EA65A4E7C36C36E Time : 0.0 sec. user=mdettweiler [2018-05-11 03:22:47] 673*2^1509451-1 is not prime. Res64: 514CC8BEBF4CB710 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:51:42] 675*2^1509451-1 is not prime. Res64: F3ABB3EC056DD997 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:51:45] 735*2^1509451-1 is not prime. Res64: D6A3D342538D07F4 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:51:49] 745*2^1509451-1 is not prime. Res64: 8AFBD5AB29DA1BEB Time : 0.0 sec. user=mdettweiler [2018-05-11 03:51:50] 751*2^1509451-1 is not prime. Res64: EC39368E60061AA0 Time : 0.0 sec. user=mdettweiler [2018-05-11 03:51:52] 759*2^1509451-1 is not prime. Res64: F0F9D11620BC4C93 Time : 0.0 sec. user=mdettweiler [2018-05-11 04:13:49] 935*2^1509452-1 is not prime. Res64: 977DEF1795FFBA0D Time : 0.0 sec. user=mdettweiler [2018-05-11 04:13:55] 983*2^1509452-1 is not prime. Res64: 4CF23422B4DED44B Time : 0.0 sec. user=mdettweiler [2018-05-11 04:14:03] 657*2^1509453-1 is not prime. Res64: 3579B9FEB9A5A46D Time : 0.0 sec. user=mdettweiler [2018-05-11 04:48:03] 999*2^1509453-1 is not prime. Res64: F8969FEF7F442BD5 Time : 0.0 sec. user=mdettweiler [2018-05-11 04:48:04] 681*2^1509454-1 is not prime. Res64: F460195F0C5B11B6 Time : 0.0 sec. user=mdettweiler [2018-05-11 04:48:04] 755*2^1509454-1 is not prime. Res64: EFABB387CCDDF343 Time : 0.0 sec. user=mdettweiler [2018-05-11 04:48:05] 783*2^1509454-1 is not prime. Res64: 1068A550D3469D55 Time : 0.0 sec. user=mdettweiler [2018-05-11 04:48:05] 821*2^1509454-1 is not prime. Res64: D7DD16C06CE33CC4 Time : 0.0 sec. user=mdettweiler [2018-05-11 05:46:24] 609*2^1509455-1 is not prime. Res64: 5560D0006FB091F9 Time : 0.0 sec. user=mdettweiler [2018-05-11 05:46:25] 669*2^1509455-1 is not prime. Res64: 8ED4DA942E150A6C Time : 0.0 sec. user=mdettweiler [2018-05-11 05:46:25] 861*2^1509455-1 is not prime. Res64: 6C988556829D0CF3 Time : 0.0 sec. user=mdettweiler [2018-05-11 05:46:26] 705*2^1509456-1 is not prime. Res64: 387835C3217292C5 Time : 0.0 sec. user=mdettweiler [2018-05-11 05:46:27] 747*2^1509456-1 is not prime. Res64: 175BD436BC5AF509 Time : 0.0 sec. user=mdettweiler [2018-05-11 06:44:45] 837*2^1509456-1 is not prime. Res64: 21B6E612D7A340AB Time : 0.0 sec. user=mdettweiler [2018-05-11 06:44:46] 609*2^1509457-1 is not prime. Res64: 1693FD1DB131D536 Time : 0.0 sec. user=mdettweiler [2018-05-11 06:44:46] 637*2^1509457-1 is not prime. Res64: CB04DE37A3089C7F Time : 0.0 sec. user=mdettweiler [2018-05-11 06:44:47] 661*2^1509457-1 is not prime. Res64: EED0C2FC195510DA Time : 0.0 sec. user=mdettweiler [2018-05-11 06:44:47] 687*2^1509457-1 is not prime. Res64: 2FC70AF421F5C45A Time : 0.0 sec. user=mdettweiler [2018-05-11 07:43:49] 691*2^1509457-1 is not prime. Res64: A6467137C1F17634 Time : 0.0 sec. user=mdettweiler [2018-05-11 07:43:49] 799*2^1509457-1 is not prime. Res64: E4B9EC2F97D2FB38 Time : 0.0 sec. user=mdettweiler [2018-05-11 07:43:50] 805*2^1509457-1 is not prime. Res64: 057090781EEB4789 Time : 0.0 sec. user=mdettweiler [2018-05-11 07:43:53] 867*2^1509457-1 is not prime. Res64: 49B3FEFCB15D65B3 Time : 0.0 sec. user=mdettweiler [2018-05-11 07:43:53] 889*2^1509457-1 is not prime. Res64: 480E11889290BD40 Time : 0.0 sec. user=mdettweiler [2018-05-11 08:46:51] 901*2^1509457-1 is not prime. Res64: F50D49324923318E Time : 0.0 sec. user=mdettweiler [2018-05-11 08:46:53] 919*2^1509457-1 is not prime. Res64: 217BA692A7859951 Time : 0.0 sec. user=mdettweiler [2018-05-11 08:46:53] 617*2^1509458-1 is not prime. Res64: 44E31C9CE922719A Time : 0.0 sec. user=mdettweiler [2018-05-11 08:46:54] 773*2^1509458-1 is not prime. Res64: A7D2C81FE29914DA Time : 0.0 sec. user=mdettweiler [2018-05-11 08:46:54] 791*2^1509458-1 is not prime. Res64: 9C11552630CF3A74 Time : 0.0 sec. user=mdettweiler [2018-05-11 09:45:56] 801*2^1509458-1 is not prime. Res64: 08CA8DE3CC0ADAF4 Time : 0.0 sec. user=mdettweiler [2018-05-11 09:45:56] 885*2^1509458-1 is not prime. Res64: F61D92A8EE7093DD Time : 0.0 sec. user=mdettweiler [2018-05-11 09:45:57] 993*2^1509458-1 is not prime. Res64: 67B39C84500948B3 Time : 0.0 sec. user=mdettweiler [2018-05-11 09:45:58] 1001*2^1509458-1 is not prime. Res64: B4FC13CA36B1CD8B Time : 0.0 sec. user=mdettweiler [2018-05-11 09:45:58] 613*2^1509459-1 is not prime. Res64: A472F38C479E6849 Time : 0.0 sec. user=mdettweiler [2018-05-11 10:50:40] 741*2^1509459-1 is not prime. Res64: FA30229E3DFB5C2E Time : 0.0 sec. user=mdettweiler [2018-05-11 10:50:41] 789*2^1509459-1 is not prime. Res64: FF1D752713D34F3E Time : 0.0 sec. user=mdettweiler [2018-05-11 10:50:42] 793*2^1509459-1 is not prime. Res64: 33ADA86899D6BDA8 Time : 0.0 sec. user=mdettweiler [2018-05-11 10:50:42] 853*2^1509459-1 is not prime. Res64: A73307811233551A Time : 0.0 sec. user=mdettweiler [2018-05-11 10:50:43] 969*2^1509459-1 is not prime. Res64: D2E0B44675591A3A Time : 0.0 sec. user=mdettweiler [2018-05-11 11:31:36] 617*2^1509452-1 is not prime. Res64: 1728BFFA553030D2 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:31:37] 665*2^1509452-1 is not prime. Res64: 5132A741B9630768 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:31:38] 677*2^1509452-1 is not prime. Res64: A587A902C5DA0724 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:31:39] 687*2^1509452-1 is not prime. Res64: F9F865C207E31401 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:31:39] 759*2^1509452-1 is not prime. Res64: CD8D04ACD311FF04 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:38:42] 727*2^1509453-1 is not prime. Res64: 92BB401CD0122F3A Time : 0.0 sec. user=mdettweiler [2018-05-11 11:38:42] 901*2^1509453-1 is not prime. Res64: F6DAFDA193047BF5 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:48:15] 629*2^1509460-1 is not prime. Res64: 48CD56E94E6A9914 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:48:16] 723*2^1509460-1 is not prime. Res64: 8FDA3DBD58E981D7 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:48:16] 813*2^1509460-1 is not prime. Res64: 97AB9A6AD1442BE0 Time : 0.0 sec. user=mdettweiler [2018-05-11 11:48:17] 863*2^1509460-1 is not prime. Res64: B94C1670C7E08B0A Time : 0.0 sec. user=mdettweiler [2018-05-11 11:48:18] 983*2^1509460-1 is not prime. Res64: 05A31C94C0AE1701 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:02:22] 769*2^1509451-1 is not prime. Res64: 5167E77699760F27 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:02:25] 849*2^1509451-1 is not prime. Res64: 46D2F12742F9FF25 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:02:27] 861*2^1509451-1 is not prime. Res64: 6D75CED4121C5955 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:02:29] 961*2^1509451-1 is not prime. Res64: 64151AB00D23F1B4 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:02:34] 973*2^1509451-1 is not prime. Res64: 931527006922DEC5 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:21:56] 615*2^1509461-1 is not prime. Res64: 35294DEA42A08F8A Time : 0.0 sec. user=mdettweiler [2018-05-11 12:21:57] 621*2^1509461-1 is not prime. Res64: AA0CF43DDF20DA7D Time : 0.0 sec. user=mdettweiler [2018-05-11 12:21:57] 651*2^1509461-1 is not prime. Res64: 1295F4460FD4BCD6 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:21:58] 657*2^1509461-1 is not prime. Res64: 6C152B5EA17DBDBA Time : 0.0 sec. user=mdettweiler [2018-05-11 12:21:58] 757*2^1509461-1 is not prime. Res64: 72698ACD3C41553D Time : 0.0 sec. user=mdettweiler [2018-05-11 12:28:57] 879*2^1509461-1 is not prime. Res64: C966FC9446FEC360 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:28:58] 931*2^1509461-1 is not prime. Res64: E1C753E57A1921B9 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:28:58] 621*2^1509462-1 is not prime. Res64: 0C95BCA93B1E8C62 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:28:59] 705*2^1509462-1 is not prime. Res64: 5A8AF1CF09356C6E Time : 0.0 sec. user=mdettweiler [2018-05-11 12:28:59] 711*2^1509462-1 is not prime. Res64: 3A06643D689065AB Time : 0.0 sec. user=mdettweiler [2018-05-11 12:39:19] 777*2^1509462-1 is not prime. Res64: 1916BC3FB06EFF63 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:39:20] 815*2^1509462-1 is not prime. Res64: 02C792CB90E082A2 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:39:20] 821*2^1509462-1 is not prime. Res64: 6FDBED71A902A180 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:39:21] 891*2^1509462-1 is not prime. Res64: 5B84990B0D572A37 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:39:22] 965*2^1509462-1 is not prime. Res64: 857CBD8A3068CF60 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:52:30] 681*2^1509463-1 is not prime. Res64: E0999CD064DFF900 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:52:30] 705*2^1509463-1 is not prime. Res64: E26B41C0B5279E84 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:52:31] 723*2^1509463-1 is not prime. Res64: 81052FD5428AD9BC Time : 0.0 sec. user=mdettweiler [2018-05-11 12:52:31] 729*2^1509463-1 is not prime. Res64: 9D0BC0BCD7CBFF60 Time : 0.0 sec. user=mdettweiler [2018-05-11 12:52:31] 623*2^1509464-1 is not prime. Res64: E888398CA2C26283 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:12:20] 665*2^1509464-1 is not prime. Res64: 697238480C3F6993 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:12:21] 717*2^1509464-1 is not prime. Res64: D47B07B11BCAE388 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:12:21] 725*2^1509464-1 is not prime. Res64: 60329E4B8FB006C8 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:12:22] 729*2^1509464-1 is not prime. Res64: 6D18AF61F9894A86 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:12:22] 755*2^1509464-1 is not prime. Res64: BA7456E3EBC63341 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:19:18] 945*2^1509464-1 is not prime. Res64: CAF702C5C72735E1 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:19:19] 649*2^1509465-1 is not prime. Res64: F4CF16C483BD9DF8 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:19:19] 675*2^1509465-1 is not prime. Res64: A0352B4C0D7AEF9B Time : 0.0 sec. user=mdettweiler [2018-05-11 13:19:20] 727*2^1509465-1 is not prime. Res64: 83A74C517BD94125 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:19:20] 787*2^1509465-1 is not prime. Res64: 0D9A136A080004C8 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:29:20] 979*2^1509465-1 is not prime. Res64: B6F114D83D0E0306 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:29:21] 657*2^1509466-1 is not prime. Res64: 7A610EAF865E9D13 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:29:21] 701*2^1509466-1 is not prime. Res64: EB4D0B690DA7A2CE Time : 0.0 sec. user=mdettweiler [2018-05-11 13:29:22] 705*2^1509466-1 is not prime. Res64: 32361B31F74E5B16 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:29:22] 741*2^1509466-1 is not prime. Res64: A0E20ED8090B0DB7 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:43:34] 843*2^1509466-1 is not prime. Res64: E110D2FB2C42472D Time : 0.0 sec. user=mdettweiler [2018-05-11 13:43:35] 911*2^1509466-1 is not prime. Res64: D75AE5D35DA5718C Time : 0.0 sec. user=mdettweiler [2018-05-11 13:43:35] 945*2^1509466-1 is not prime. Res64: 4D4669D1C2B77E6E Time : 0.0 sec. user=mdettweiler [2018-05-11 13:43:36] 775*2^1509467-1 is not prime. Res64: 7315846077B2C021 Time : 0.0 sec. user=mdettweiler [2018-05-11 13:43:36] 813*2^1509467-1 is not prime. Res64: 5B46E62CE0929CE2 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:03:02] 825*2^1509467-1 is not prime. Res64: C066BDAD8BA0EEA2 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:03:03] 895*2^1509467-1 is not prime. Res64: 5A3AAEB6667466E6 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:03:06] 963*2^1509467-1 is not prime. Res64: C71CBC394C0A314D Time : 0.0 sec. user=mdettweiler [2018-05-11 14:03:08] 981*2^1509467-1 is not prime. Res64: 29162009BBA54CEC Time : 0.0 sec. user=mdettweiler [2018-05-11 14:03:09] 605*2^1509468-1 is not prime. Res64: F358ACAB77CC195B Time : 0.0 sec. user=mdettweiler [2018-05-11 14:24:02] 927*2^1509468-1 is not prime. Res64: 60CA2AA09CE3BBD6 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:24:02] 885*2^1509469-1 is not prime. Res64: 4A4A584DADD145A0 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:24:03] 895*2^1509469-1 is not prime. Res64: F168BA93DA16BC3F Time : 0.0 sec. user=mdettweiler [2018-05-11 14:24:03] 925*2^1509469-1 is not prime. Res64: 82FFC69F651A9BB5 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:24:04] 957*2^1509469-1 is not prime. Res64: 9709F730A6AA18EB Time : 0.0 sec. user=mdettweiler [2018-05-11 14:38:46] 635*2^1509470-1 is not prime. Res64: 87DD0EACAE9A3652 Time : 0.0 sec. user=mdettweiler [2018-05-11 14:38:47] 665*2^1509470-1 is not prime. Res64: 73E8602079160B8F Time : 0.0 sec. user=mdettweiler [2018-05-11 14:38:47] 717*2^1509470-1 is not prime. Res64: C8E87AADC795269C Time : 0.0 sec. user=mdettweiler [2018-05-11 14:38:47] 767*2^1509470-1 is not prime. Res64: 38052CCFB230828E Time : 0.0 sec. user=mdettweiler [2018-05-11 14:38:48] 851*2^1509470-1 is not prime. Res64: 19D2900DF6DB65DC Time : 0.0 sec. user=mdettweiler [2018-05-11 15:01:07] 867*2^1509470-1 is not prime. Res64: DFBD6406FAF3A4DA Time : 0.0 sec. user=mdettweiler [2018-05-11 15:01:10] 945*2^1509470-1 is not prime. Res64: D1AA16E473DAF5EB Time : 0.0 sec. user=mdettweiler [2018-05-11 15:01:12] 965*2^1509470-1 is not prime. Res64: 45CA38A0EE7FE69A Time : 0.0 sec. user=mdettweiler [2018-05-11 15:01:13] 971*2^1509470-1 is not prime. Res64: 2A2D5C38184D2623 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:01:14] 651*2^1509471-1 is not prime. Res64: 648A8CE1E23E5F19 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:18:53] 825*2^1509471-1 is not prime. Res64: 9F03056113BC8717 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:18:53] 961*2^1509471-1 is not prime. Res64: F5683C7525E9CE62 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:18:54] 615*2^1509472-1 is not prime. Res64: 253A25FCEFAEEAA5 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:18:54] 933*2^1509472-1 is not prime. Res64: CFF60071EC618473 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:18:55] 947*2^1509472-1 is not prime. Res64: B1397EC240F96115 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:31:39] 975*2^1509472-1 is not prime. Res64: 3C279F24601F0DCE Time : 0.0 sec. user=mdettweiler [2018-05-11 15:31:40] 691*2^1509473-1 is not prime. Res64: 6B8A851AD08F3DDF Time : 0.0 sec. user=mdettweiler [2018-05-11 15:31:40] 699*2^1509473-1 is not prime. Res64: 94E393B0EA991186 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:31:40] 705*2^1509473-1 is not prime. Res64: FDD55B00734E17AA Time : 0.0 sec. user=mdettweiler [2018-05-11 15:31:41] 727*2^1509473-1 is not prime. Res64: 6C83BD552920FE65 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:52:59] 771*2^1509473-1 is not prime. Res64: 3287354A24DB7B9F Time : 0.0 sec. user=mdettweiler [2018-05-11 15:52:59] 915*2^1509473-1 is not prime. Res64: 86923E571EC59E50 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:53:00] 957*2^1509473-1 is not prime. Res64: 3DD4F7287E55665E Time : 0.0 sec. user=mdettweiler [2018-05-11 15:53:00] 671*2^1509474-1 is not prime. Res64: 7119ED9593353569 Time : 0.0 sec. user=mdettweiler [2018-05-11 15:53:01] 765*2^1509474-1 is not prime. Res64: 8A624CE5EF2A190F Time : 0.0 sec. user=mdettweiler [2018-05-11 16:11:01] 821*2^1509474-1 is not prime. Res64: 41C9069C0CC56054 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:11:02] 825*2^1509474-1 is not prime. Res64: D89CE1A42612A37D Time : 0.0 sec. user=mdettweiler [2018-05-11 16:11:02] 833*2^1509474-1 is not prime. Res64: B8A5554322D5F05A Time : 0.0 sec. user=mdettweiler [2018-05-11 16:11:03] 941*2^1509474-1 is not prime. Res64: F1E0E994EA4F83B9 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:11:03] 1001*2^1509474-1 is not prime. Res64: 7FF1AB0DEF6D6DEA Time : 0.0 sec. user=mdettweiler [2018-05-11 16:26:03] 609*2^1509475-1 is not prime. Res64: 5E9D1DE48F5283F4 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:26:04] 693*2^1509475-1 is not prime. Res64: 5C6A7608FB591181 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:26:04] 733*2^1509475-1 is not prime. Res64: 7F7E378FD110E907 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:26:05] 843*2^1509475-1 is not prime. Res64: C3FA37D0B08F333A Time : 0.0 sec. user=mdettweiler [2018-05-11 16:26:05] 939*2^1509475-1 is not prime. Res64: 1468CE46522B5E1A Time : 0.0 sec. user=mdettweiler [2018-05-11 16:54:12] 973*2^1509475-1 is not prime. Res64: 2D7F8BAEB965C299 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:54:13] 623*2^1509476-1 is not prime. Res64: B3BA0EBC89E3AF69 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:54:13] 845*2^1509476-1 is not prime. Res64: D7E6B592A7670668 Time : 0.0 sec. user=mdettweiler [2018-05-11 16:54:13] 879*2^1509476-1 is not prime. Res64: 1DB8CC4A56B9228D Time : 0.0 sec. user=mdettweiler [2018-05-11 16:54:14] 899*2^1509476-1 is not prime. Res64: 993BEAA4BAACC7A1 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:07:41] 615*2^1509477-1 is not prime. Res64: 5EFA877E6984AD8C Time : 0.0 sec. user=mdettweiler [2018-05-11 17:07:42] 621*2^1509477-1 is not prime. Res64: B76BC7744284D0D5 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:07:43] 651*2^1509477-1 is not prime. Res64: 76F01CAC1D07876B Time : 0.0 sec. user=mdettweiler [2018-05-11 17:07:46] 781*2^1509477-1 is not prime. Res64: 4DC2C1590B789F44 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:07:47] 805*2^1509477-1 is not prime. Res64: 5F28604C647F8AD2 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:21:03] 819*2^1509477-1 is not prime. Res64: 43AB156BEC165AAD Time : 0.0 sec. user=mdettweiler [2018-05-11 17:21:03] 829*2^1509477-1 is not prime. Res64: D889AE9326660F50 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:21:04] 835*2^1509477-1 is not prime. Res64: 5E63DC8EB334185B Time : 0.0 sec. user=mdettweiler [2018-05-11 17:21:04] 867*2^1509477-1 is not prime. Res64: 438D04F755463609 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:21:05] 927*2^1509477-1 is not prime. Res64: F5DB623872D228A0 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:49:05] 991*2^1509477-1 is not prime. Res64: D1B6ACF8691E8A29 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:49:06] 621*2^1509478-1 is not prime. Res64: BAF391E223E30FD5 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:49:06] 713*2^1509478-1 is not prime. Res64: B9F58E156E138C41 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:49:07] 747*2^1509478-1 is not prime. Res64: FB746842FFBB2BDB Time : 0.0 sec. user=mdettweiler [2018-05-11 17:49:07] 825*2^1509478-1 is not prime. Res64: 6E3ED19543561817 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:59:52] 639*2^1509468-1 is not prime. Res64: 819A0F09A78784BF Time : 0.0 sec. user=mdettweiler [2018-05-11 17:59:53] 683*2^1509468-1 is not prime. Res64: 61D3AD57A4A9DFA4 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:59:53] 737*2^1509468-1 is not prime. Res64: 52D3FE47B332160A Time : 0.0 sec. user=mdettweiler [2018-05-11 17:59:54] 879*2^1509468-1 is not prime. Res64: 6B89283D655A3593 Time : 0.0 sec. user=mdettweiler [2018-05-11 17:59:54] 905*2^1509468-1 is not prime. Res64: 33FF96F56A106CDD Time : 0.0 sec. user=mdettweiler [2018-05-11 18:01:48] 833*2^1509478-1 is not prime. Res64: 4E5A0956984A5B8F Time : 0.0 sec. user=mdettweiler [2018-05-11 18:01:53] 857*2^1509478-1 is not prime. Res64: B67DB3464670F70C Time : 0.0 sec. user=mdettweiler [2018-05-11 18:01:55] 941*2^1509478-1 is not prime. Res64: 82DEDB97DF54880E Time : 0.0 sec. user=mdettweiler [2018-05-11 18:01:57] 945*2^1509478-1 is not prime. Res64: E5A9D5A232804BC4 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:02:00] 951*2^1509478-1 is not prime. Res64: 37FA610FCFC20382 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:12:53] 995*2^1509478-1 is not prime. Res64: 1C02C7BF68B27B25 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:12:57] 771*2^1509479-1 is not prime. Res64: 1FF4DF84EA5ACC44 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:13:01] 829*2^1509479-1 is not prime. Res64: 2AE7CB26B3A45EF6 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:13:04] 913*2^1509479-1 is not prime. Res64: DEE96074D81F0F0E Time : 0.0 sec. user=mdettweiler [2018-05-11 18:13:08] 665*2^1509480-1 is not prime. Res64: CE7C2317CC85F680 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:39:25] 693*2^1509480-1 is not prime. Res64: FB2C3E7DC23E6982 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:39:25] 765*2^1509480-1 is not prime. Res64: 9D2108319B5BDD91 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:39:25] 779*2^1509480-1 is not prime. Res64: F0617A29AE54F01F Time : 0.0 sec. user=mdettweiler [2018-05-11 18:39:26] 863*2^1509480-1 is not prime. Res64: 371C18CBE38C5746 Time : 0.0 sec. user=mdettweiler [2018-05-11 18:39:26] 927*2^1509480-1 is not prime. Res64: 6BC9F1CED86FD69D Time : 0.0 sec. user=mdettweiler [2018-05-11 18:49:06] 999*2^1509480-1 is not prime. Res64: 35580BB1EA2B437C Time : 0.0 sec. user=mdettweiler [2018-05-11 18:49:07] 625*2^1509481-1 is not prime. Res64: 466237BFFED4395A Time : 0.0 sec. user=mdettweiler [2018-05-11 18:49:07] 651*2^1509481-1 is not prime. Res64: CB98DC7A0E40FD3A Time : 0.0 sec. user=mdettweiler [2018-05-11 18:49:08] 681*2^1509481-1 is not prime. Res64: 7EA90E880778D52F Time : 0.0 sec. user=mdettweiler [2018-05-11 18:49:08] 705*2^1509481-1 is not prime. Res64: 8D79F99A81CAD2B6 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:02:12] 717*2^1509481-1 is not prime. Res64: EDFD95D433D9487A Time : 0.0 sec. user=mdettweiler [2018-05-11 19:02:13] 807*2^1509481-1 is not prime. Res64: 3D653C5E22111A3A Time : 0.0 sec. user=mdettweiler [2018-05-11 19:02:13] 901*2^1509481-1 is not prime. Res64: D58EB7C3C70D7A39 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:02:17] 951*2^1509481-1 is not prime. Res64: 0B0F0675164C4BFD Time : 0.0 sec. user=mdettweiler [2018-05-11 19:02:18] 997*2^1509481-1 is not prime. Res64: 89F42CD56641E0BF Time : 0.0 sec. user=mdettweiler [2018-05-11 19:05:29] 735*2^1509482-1 is not prime. Res64: 0F1336A24842D318 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:05:32] 815*2^1509482-1 is not prime. Res64: 21D20763DCDA58D1 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:05:35] 951*2^1509482-1 is not prime. Res64: 5A4E8B99A2AD05F0 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:05:38] 619*2^1509483-1 is not prime. Res64: 23CE782777D04193 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:05:40] 741*2^1509483-1 is not prime. Res64: A4E017364A7A4112 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:30:42] 775*2^1509483-1 is not prime. Res64: 45C169E69B51AC24 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:30:43] 835*2^1509483-1 is not prime. Res64: 18F9DAE24CD765A3 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:30:44] 617*2^1509484-1 is not prime. Res64: BDFA0C0143BDD24F Time : 0.0 sec. user=mdettweiler [2018-05-11 19:30:44] 765*2^1509484-1 is not prime. Res64: C6E7F23F56151CCF Time : 0.0 sec. user=mdettweiler [2018-05-11 19:30:45] 773*2^1509484-1 is not prime. Res64: CFA62DF5B84D0E37 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:40:22] 843*2^1509484-1 is not prime. Res64: 40B6BE35ECAABBC4 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:40:22] 869*2^1509484-1 is not prime. Res64: BB9A5AF26CF0DD7B Time : 0.0 sec. user=mdettweiler [2018-05-11 19:40:22] 885*2^1509484-1 is not prime. Res64: 83DB1C6567D59C8C Time : 0.0 sec. user=mdettweiler [2018-05-11 19:40:23] 903*2^1509484-1 is not prime. Res64: E668FF6329311F77 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:40:23] 627*2^1509485-1 is not prime. Res64: DA10295FE23E8FE0 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:53:11] 697*2^1509485-1 is not prime. Res64: 9DF311A75F7FE721 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:53:11] 777*2^1509485-1 is not prime. Res64: 676FBA1E4C43DBBC Time : 0.0 sec. user=mdettweiler [2018-05-11 19:53:11] 789*2^1509485-1 is not prime. Res64: A42C18C1CD6C5F92 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:53:12] 805*2^1509485-1 is not prime. Res64: B234E545B2362B74 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:53:12] 811*2^1509485-1 is not prime. Res64: 037751110110C904 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:57:30] 847*2^1509485-1 is not prime. Res64: E5C1F6D804E58A35 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:57:30] 871*2^1509485-1 is not prime. Res64: B614517909DBD7A2 Time : 0.0 sec. user=mdettweiler [2018-05-11 19:57:31] 955*2^1509485-1 is not prime. Res64: 7190E07F332539BE Time : 0.0 sec. user=mdettweiler [2018-05-11 19:57:31] 979*2^1509485-1 is not prime. Res64: A5CC1C8C81B12C8E Time : 0.0 sec. user=mdettweiler [2018-05-11 19:57:32] 647*2^1509486-1 is not prime. Res64: 7C7AD6A81DED9698 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:21:44] 807*2^1509486-1 is not prime. Res64: F894C6C6B970C3CE Time : 0.0 sec. user=mdettweiler [2018-05-11 20:21:45] 887*2^1509486-1 is not prime. Res64: DC04DAA5B9302D5F Time : 0.0 sec. user=mdettweiler [2018-05-11 20:21:45] 945*2^1509486-1 is not prime. Res64: 1C6037C03185DEC5 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:21:48] 983*2^1509486-1 is not prime. Res64: 0CBA369108A0E7BF Time : 0.0 sec. user=mdettweiler [2018-05-11 20:21:48] 993*2^1509486-1 is not prime. Res64: FDAB9C24F10B73BD Time : 0.0 sec. user=mdettweiler [2018-05-11 20:31:34] 621*2^1509487-1 is not prime. Res64: AFC9296C42D0FC16 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:31:35] 765*2^1509487-1 is not prime. Res64: 6C925A7212F606B3 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:31:35] 793*2^1509487-1 is not prime. Res64: 4985B3C4852A9179 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:31:36] 925*2^1509487-1 is not prime. Res64: DAA709E16C231F73 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:31:36] 633*2^1509488-1 is not prime. Res64: FFA4EC06D7FF8159 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:47:29] 755*2^1509488-1 is not prime. Res64: 9A3A651181535671 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:47:29] 843*2^1509488-1 is not prime. Res64: C0F2E0D9BC3C61B1 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:47:30] 867*2^1509488-1 is not prime. Res64: 5A27BD9BD967221B Time : 0.0 sec. user=mdettweiler [2018-05-11 20:47:30] 935*2^1509488-1 is not prime. Res64: 9AED4190ECD222D0 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:47:31] 669*2^1509489-1 is not prime. Res64: ACAB2B3F4C8770C5 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:51:07] 679*2^1509489-1 is not prime. Res64: 39E3C6E4B5D7AED3 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:51:08] 681*2^1509489-1 is not prime. Res64: 720406EFEEF75F59 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:51:08] 691*2^1509489-1 is not prime. Res64: 112454CAB235634F Time : 0.0 sec. user=mdettweiler [2018-05-11 20:51:09] 705*2^1509489-1 is not prime. Res64: ED39164363E822F3 Time : 0.0 sec. user=mdettweiler [2018-05-11 20:51:09] 711*2^1509489-1 is not prime. Res64: B2FDFFDEBB8F27E4 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:20:30] 795*2^1509489-1 is not prime. Res64: 38E12977CB838D6B Time : 0.0 sec. user=mdettweiler [2018-05-11 21:20:36] 885*2^1509489-1 is not prime. Res64: 6B376034D67D164E Time : 0.0 sec. user=mdettweiler [2018-05-11 21:20:37] 919*2^1509489-1 is not prime. Res64: B2C7C4342110C056 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:20:37] 997*2^1509489-1 is not prime. Res64: CF625752257E4321 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:20:39] 821*2^1509490-1 is not prime. Res64: C1BCF8091A6F5D06 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:27:44] 861*2^1509490-1 is not prime. Res64: 07B396172305DBAD Time : 0.0 sec. user=mdettweiler [2018-05-11 21:27:45] 911*2^1509490-1 is not prime. Res64: B0B8ECC34ABD6DCC Time : 0.0 sec. user=mdettweiler [2018-05-11 21:27:45] 975*2^1509490-1 is not prime. Res64: 4A31B9F159CCF213 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:27:46] 693*2^1509491-1 is not prime. Res64: 7ADA62ED80CBCE9E Time : 0.0 sec. user=mdettweiler [2018-05-11 21:27:46] 705*2^1509491-1 is not prime. Res64: 5386B997291752C8 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:45:37] 735*2^1509491-1 is not prime. Res64: 7668E3442EBAA88F Time : 0.0 sec. user=mdettweiler [2018-05-11 21:45:38] 811*2^1509491-1 is not prime. Res64: 55D8E66601EE5EF6 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:45:38] 921*2^1509491-1 is not prime. Res64: B48B3182DB820ABD Time : 0.0 sec. user=mdettweiler [2018-05-11 21:45:38] 991*2^1509491-1 is not prime. Res64: 3DC9DB1342A86C8D Time : 0.0 sec. user=mdettweiler [2018-05-11 21:45:39] 999*2^1509491-1 is not prime. Res64: 53438DD6B81E3583 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:47:25] 633*2^1509492-1 is not prime. Res64: 48D1AF6A1972F7D9 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:47:25] 665*2^1509492-1 is not prime. Res64: B4506159A0FD9DCD Time : 0.0 sec. user=mdettweiler [2018-05-11 21:47:25] 749*2^1509492-1 is not prime. Res64: D414B815A605180C Time : 0.0 sec. user=mdettweiler [2018-05-11 21:47:26] 899*2^1509492-1 is not prime. Res64: E6C127AB46523D66 Time : 0.0 sec. user=mdettweiler [2018-05-11 21:47:26] 923*2^1509492-1 is not prime. Res64: D6B4F0236ADD07DA Time : 0.0 sec. user=mdettweiler [2018-05-11 22:15:32] 965*2^1509492-1 is not prime. Res64: 756BB4D0358CC713 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:15:33] 649*2^1509493-1 is not prime. Res64: DBD0F17F3C454B19 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:15:34] 679*2^1509493-1 is not prime. Res64: 7A7E395E96D80573 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:15:34] 685*2^1509493-1 is not prime. Res64: 0090A0AE16F28C72 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:15:34] 765*2^1509493-1 is not prime. Res64: 1BFEA1A62CCDE17E Time : 0.0 sec. user=mdettweiler [2018-05-11 22:23:21] 987*2^1509493-1 is not prime. Res64: BF25E4E29705DE71 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:23:21] 635*2^1509494-1 is not prime. Res64: 15B588B0F033B694 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:23:22] 731*2^1509494-1 is not prime. Res64: E4C7BA72D6BA3021 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:23:22] 743*2^1509494-1 is not prime. Res64: 73D54BE025480BA6 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:23:22] 785*2^1509494-1 is not prime. Res64: F70766C852B9992F Time : 0.0 sec. user=mdettweiler [2018-05-11 22:38:24] 851*2^1509494-1 is not prime. Res64: 6AA6C24C1184AC19 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:38:25] 873*2^1509494-1 is not prime. Res64: FD79BC104B67875D Time : 0.0 sec. user=mdettweiler [2018-05-11 22:38:25] 887*2^1509494-1 is not prime. Res64: 72B54B18094DF29D Time : 0.0 sec. user=mdettweiler [2018-05-11 22:38:25] 921*2^1509494-1 is not prime. Res64: E9C426D0C7E3AEE6 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:38:26] 789*2^1509495-1 is not prime. Res64: 9CDCA553D3FF6EAE Time : 0.0 sec. user=mdettweiler [2018-05-11 22:40:43] 831*2^1509495-1 is not prime. Res64: ECA4205327871027 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:40:43] 921*2^1509495-1 is not prime. Res64: 9E140EE45DDB6A0D Time : 0.0 sec. user=mdettweiler [2018-05-11 22:40:44] 933*2^1509495-1 is not prime. Res64: 9CAA210076B32C20 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:40:44] 963*2^1509495-1 is not prime. Res64: 7EF987F577275715 Time : 0.0 sec. user=mdettweiler [2018-05-11 22:40:45] 979*2^1509495-1 is not prime. Res64: 5CE345F6BDD03CE8 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:06:02] 693*2^1509496-1 is not prime. Res64: E01A938270941E8B Time : 0.0 sec. user=mdettweiler [2018-05-11 23:06:09] 705*2^1509496-1 is not prime. Res64: 3DBC1EED78F0957F Time : 0.0 sec. user=mdettweiler [2018-05-11 23:06:15] 735*2^1509496-1 is not prime. Res64: FC1BD2773666B647 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:06:18] 825*2^1509496-1 is not prime. Res64: C33A5AAE2944AB8F Time : 0.0 sec. user=mdettweiler [2018-05-11 23:06:22] 843*2^1509496-1 is not prime. Res64: 44019CF19E361132 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:12:53] 905*2^1509496-1 is not prime. Res64: 99D9F097FCE43EDE Time : 0.0 sec. user=mdettweiler [2018-05-11 23:12:54] 927*2^1509496-1 is not prime. Res64: A0F4CBAA176DD939 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:12:54] 607*2^1509497-1 is not prime. Res64: 2B77B12FA8602782 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:12:55] 615*2^1509497-1 is not prime. Res64: 1B47E53D09682A72 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:12:56] 631*2^1509497-1 is not prime. Res64: 2C3F9C79268594F8 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:28:25] 637*2^1509497-1 is not prime. Res64: 48DAA99BBC08A549 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:28:26] 649*2^1509497-1 is not prime. Res64: 6009804C79D99828 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:28:26] 717*2^1509497-1 is not prime. Res64: B53440617BB88499 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:28:26] 729*2^1509497-1 is not prime. Res64: 66DC910B378592F4 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:28:27] 735*2^1509497-1 is not prime. Res64: A4641429C766C6D8 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:31:05] 747*2^1509497-1 is not prime. Res64: 204C5E708D28776E Time : 0.0 sec. user=mdettweiler [2018-05-11 23:31:05] 925*2^1509497-1 is not prime. Res64: 2477346DCFB01A50 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:31:06] 755*2^1509498-1 is not prime. Res64: C545EF9F99B64FE7 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:31:06] 765*2^1509498-1 is not prime. Res64: 2561CE1483A575B2 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:31:07] 777*2^1509498-1 is not prime. Res64: A64265856720BB3E Time : 0.0 sec. user=mdettweiler [2018-05-11 23:57:17] 797*2^1509498-1 is not prime. Res64: C0BCA482BF08B2ED Time : 0.0 sec. user=mdettweiler [2018-05-11 23:57:18] 801*2^1509498-1 is not prime. Res64: 24586D9C7081441A Time : 0.0 sec. user=mdettweiler [2018-05-11 23:57:18] 923*2^1509498-1 is not prime. Res64: 00BCD5E903814171 Time : 0.0 sec. user=mdettweiler [2018-05-11 23:57:19] 927*2^1509498-1 is not prime. Res64: EEE6EE84D1D3AECD Time : 0.0 sec. user=mdettweiler [2018-05-11 23:57:19] 933*2^1509498-1 is not prime. Res64: 1C1AC2C033DFDA23 Time : 0.0 sec.