user=mdettweiler [2017-05-12 00:35:07] 861*2^1453597-1 is not prime. Res64: D37FD5DB12D40073 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:35:07] 945*2^1453597-1 is not prime. Res64: E7DDD35C706CFFA9 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:35:08] 755*2^1453598-1 is not prime. Res64: 8CEBB9D0E51B6B0E Time : 0.0 sec. user=mdettweiler [2017-05-12 00:35:08] 813*2^1453598-1 is not prime. Res64: 4E000A75951997AC Time : 0.0 sec. user=mdettweiler [2017-05-12 00:35:08] 825*2^1453598-1 is not prime. Res64: ECC7B8425BCF66F0 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:22] 843*2^1453598-1 is not prime. Res64: A86FB9A6434A9FEA Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:22] 845*2^1453598-1 is not prime. Res64: 5C8FA98B54B3FDC5 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:23] 887*2^1453598-1 is not prime. Res64: C834DC1D459D4169 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:23] 911*2^1453598-1 is not prime. Res64: 7670A4E431C78A72 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:24] 921*2^1453598-1 is not prime. Res64: 82E110C9FA5D4A9D Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:29] 633*2^1453599-1 is not prime. Res64: A682E760685316EE Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:29] 649*2^1453599-1 is not prime. Res64: 97FDC2169F95035C Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:29] 679*2^1453599-1 is not prime. Res64: 16A1954D3CC1E5C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:30] 685*2^1453599-1 is not prime. Res64: 565993E13D7A6BEE Time : 0.0 sec. user=mdettweiler [2017-05-12 00:36:30] 705*2^1453599-1 is not prime. Res64: BC4CEB1EA7FBA9A0 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:37:29] 843*2^1453599-1 is not prime. Res64: BE8F419020BCE735 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:37:30] 961*2^1453599-1 is not prime. Res64: 54C32AB4A65A80F0 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:37:30] 765*2^1453600-1 is not prime. Res64: 404C7BD53D317A1D Time : 0.0 sec. user=mdettweiler [2017-05-12 00:37:31] 773*2^1453600-1 is not prime. Res64: 33793C290D1F76D5 Time : 0.0 sec. user=mdettweiler [2017-05-12 00:37:31] 873*2^1453600-1 is not prime. Res64: 1C6101007F46EE95 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:20:40] 875*2^1453600-1 is not prime. Res64: 420FFFCD07D39147 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:20:41] 927*2^1453600-1 is not prime. Res64: FE1911BD23AA71F7 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:20:41] 983*2^1453600-1 is not prime. Res64: E733EC64A6EB130F Time : 0.0 sec. user=mdettweiler [2017-05-12 01:20:42] 989*2^1453600-1 is not prime. Res64: 37C3BE98CB42223F Time : 0.0 sec. user=mdettweiler [2017-05-12 01:20:42] 999*2^1453600-1 is not prime. Res64: 26504C4C78E07E01 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:28] 781*2^1453601-1 is not prime. Res64: 516507FD5E7819B2 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:29] 871*2^1453601-1 is not prime. Res64: AE00616C938602EF Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:29] 917*2^1453602-1 is not prime. Res64: 4062404014D5AAFF Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:29] 649*2^1453603-1 is not prime. Res64: DAA23A6EA17F2A64 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:30] 789*2^1453603-1 is not prime. Res64: 8F5ADA3C7F860607 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:33] 895*2^1453603-1 is not prime. Res64: 2DE9FE60F092A7D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:33] 913*2^1453603-1 is not prime. Res64: 1816199D5C1F82AE Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:34] 915*2^1453603-1 is not prime. Res64: 52555E5FF3558803 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:34] 919*2^1453603-1 is not prime. Res64: D7B66F4B6DAE35A5 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:21:34] 623*2^1453604-1 is not prime. Res64: 44F08C54317F5CAE Time : 0.0 sec. user=mdettweiler [2017-05-12 01:22:33] 749*2^1453604-1 is not prime. Res64: 7B0045AD1AAAD37B Time : 0.0 sec. user=mdettweiler [2017-05-12 01:22:33] 789*2^1453604-1 is not prime. Res64: BE8FBB20E7464DD3 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:22:34] 869*2^1453604-1 is not prime. Res64: ADAA7E94835C3208 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:22:34] 873*2^1453604-1 is not prime. Res64: 650AB4D2043B4F72 Time : 0.0 sec. user=mdettweiler [2017-05-12 01:22:35] 923*2^1453604-1 is not prime. Res64: D368682F34410FA7 Time : 0.0 sec. user=juhehe [2017-05-12 01:23:24] 929*2^1453604-1 is not prime. Res64: 8790DFA1C7D9BD22 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:05:52] 627*2^1453605-1 is not prime. Res64: FD75B80518C059AC Time : 0.0 sec. user=mdettweiler [2017-05-12 02:05:55] 649*2^1453605-1 is not prime. Res64: 3AC188BF2ACC4073 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:05:59] 699*2^1453605-1 is not prime. Res64: 3827BD9AF8041E58 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:00] 717*2^1453605-1 is not prime. Res64: EE4259DEEE9E2501 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:02] 735*2^1453605-1 is not prime. Res64: 65CBB3C7CB3D5626 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:47] 765*2^1453605-1 is not prime. Res64: C19D43293AC868B5 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:48] 817*2^1453605-1 is not prime. Res64: DABC69D6192BCD18 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:48] 849*2^1453605-1 is not prime. Res64: 20CA6DC4B97C26AC Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:48] 915*2^1453605-1 is not prime. Res64: 7CA72FB9D6E57FE7 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:49] 937*2^1453605-1 is not prime. Res64: 01C0B7D87C10A490 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:51] 801*2^1453606-1 is not prime. Res64: 64B9BF36AB8DDFE8 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:52] 917*2^1453606-1 is not prime. Res64: 505F76A1B8A799D9 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:52] 965*2^1453606-1 is not prime. Res64: 7D75883F2E4F8404 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:53] 983*2^1453606-1 is not prime. Res64: 8C02B7387FC463E1 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:06:53] 619*2^1453607-1 is not prime. Res64: 68DC42590E7B3110 Time : 0.0 sec. user=juhehe [2017-05-12 02:07:20] 741*2^1453607-1 is not prime. Res64: 762A9C916C6D9281 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:08:00] 643*2^1453607-1 is not prime. Res64: 2B2DBD8DB0BE346F Time : 0.0 sec. user=mdettweiler [2017-05-12 02:08:01] 661*2^1453607-1 is not prime. Res64: DD0CB5F708082C6A Time : 0.0 sec. user=mdettweiler [2017-05-12 02:08:02] 669*2^1453607-1 is not prime. Res64: D886776BF49FC1D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:08:03] 673*2^1453607-1 is not prime. Res64: 48BFDC1A1ABFD95D Time : 0.0 sec. user=mdettweiler [2017-05-12 02:08:03] 729*2^1453607-1 is not prime. Res64: B27F1215E958BD0E Time : 0.0 sec. user=mdettweiler [2017-05-12 02:52:01] 759*2^1453607-1 is not prime. Res64: B6E3063F87D5BB1E Time : 0.0 sec. user=mdettweiler [2017-05-12 02:52:02] 831*2^1453607-1 is not prime. Res64: A08E0DDB2984CFE5 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:52:02] 963*2^1453607-1 is not prime. Res64: 72DA174EC8A615CF Time : 0.0 sec. user=mdettweiler [2017-05-12 02:52:03] 991*2^1453607-1 is not prime. Res64: C720B80AE358F364 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:52:03] 683*2^1453608-1 is not prime. Res64: DEE4B398D8A55002 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:00] 705*2^1453608-1 is not prime. Res64: 32798F1FABFF7392 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:01] 725*2^1453608-1 is not prime. Res64: 80209818DE6FAA40 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:02] 737*2^1453608-1 is not prime. Res64: D95C65466CB60CCD Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:03] 843*2^1453608-1 is not prime. Res64: 279A6FE42B41D553 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:03] 845*2^1453608-1 is not prime. Res64: 701E88DD493381EF Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:04] 681*2^1453609-1 is not prime. Res64: D157CE18695C526F Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:05] 705*2^1453609-1 is not prime. Res64: FD0FAE31CE88E28E Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:05] 747*2^1453609-1 is not prime. Res64: F8879DCE68987BA1 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:05] 765*2^1453609-1 is not prime. Res64: F8A1A2DB1F661BBF Time : 0.0 sec. user=mdettweiler [2017-05-12 02:53:06] 811*2^1453609-1 is not prime. Res64: FA8FCCC6E1E69819 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:54:10] 847*2^1453609-1 is not prime. Res64: 137A7B0EF5FAEBFB Time : 0.0 sec. user=mdettweiler [2017-05-12 02:54:10] 633*2^1453610-1 is not prime. Res64: 630022B168D8E436 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:54:11] 635*2^1453610-1 is not prime. Res64: 6F01C97DB155FCD9 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:54:12] 677*2^1453610-1 is not prime. Res64: F81E2F6635A26431 Time : 0.0 sec. user=mdettweiler [2017-05-12 02:54:13] 701*2^1453610-1 is not prime. Res64: 9F4147A17B900E20 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:37:23] 767*2^1453610-1 is not prime. Res64: A9C0BE7FBB27854E Time : 0.0 sec. user=mdettweiler [2017-05-12 03:37:26] 783*2^1453610-1 is not prime. Res64: E1868B2146E6EFBB Time : 0.0 sec. user=mdettweiler [2017-05-12 03:37:27] 801*2^1453610-1 is not prime. Res64: 3A8B3ACFEB58A405 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:37:28] 669*2^1453611-1 is not prime. Res64: DA66926F0871B162 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:37:30] 703*2^1453611-1 is not prime. Res64: F514F3569D554EE5 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:10] 755*2^1453612-1 is not prime. Res64: 85523F4C245ED035 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:12] 759*2^1453612-1 is not prime. Res64: CDE3E4918C0FDF38 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:13] 819*2^1453612-1 is not prime. Res64: F59F184CCBE25D58 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:14] 863*2^1453612-1 is not prime. Res64: 5DC240F4EC492EEE Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:16] 897*2^1453612-1 is not prime. Res64: 9A42CCD48120E765 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:21] 781*2^1453611-1 is not prime. Res64: B81EBEA64BCDC6C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:22] 783*2^1453611-1 is not prime. Res64: 525F34B0546FEDA6 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:23] 789*2^1453611-1 is not prime. Res64: 1B9E2756930703E7 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:24] 795*2^1453611-1 is not prime. Res64: F4CD0DF3B504C0DD Time : 0.0 sec. user=mdettweiler [2017-05-12 03:38:24] 647*2^1453612-1 is not prime. Res64: FBE7C01AA6405D65 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:39:19] 983*2^1453612-1 is not prime. Res64: 7A0C070E6DD47BAC Time : 0.0 sec. user=mdettweiler [2017-05-12 03:39:20] 995*2^1453612-1 is not prime. Res64: E378704EF34B0956 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:39:21] 619*2^1453613-1 is not prime. Res64: 7F039D5E55210123 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:39:21] 715*2^1453613-1 is not prime. Res64: 4E91C5C05A350756 Time : 0.0 sec. user=mdettweiler [2017-05-12 03:39:22] 745*2^1453613-1 is not prime. Res64: 4452658FDF1C76B9 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:05] 925*2^1453613-1 is not prime. Res64: 6999273FCB5F9E0D Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:06] 957*2^1453613-1 is not prime. Res64: 8D084E24B30FD420 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:06] 621*2^1453614-1 is not prime. Res64: 06845FAFB1FB8963 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:07] 755*2^1453614-1 is not prime. Res64: C0FF659E8DB346FE Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:07] 821*2^1453614-1 is not prime. Res64: B0ACA2AAB5276EDD Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:37] 903*2^1453614-1 is not prime. Res64: E5CB832EE07F9635 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:38] 965*2^1453614-1 is not prime. Res64: 989E76148D8597FC Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:38] 993*2^1453614-1 is not prime. Res64: D68FA89657D150BE Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:38] 609*2^1453615-1 is not prime. Res64: 5E98CAD0585788CC Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:39] 675*2^1453615-1 is not prime. Res64: 5745F329C688976A Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:48] 705*2^1453615-1 is not prime. Res64: 3E182D6D7F1AB057 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:48] 913*2^1453615-1 is not prime. Res64: E2B1EEB65766C4F6 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:48] 979*2^1453615-1 is not prime. Res64: 19BAC2F9497A6338 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:49] 675*2^1453616-1 is not prime. Res64: 1DA6BF8AD369D6BE Time : 0.0 sec. user=mdettweiler [2017-05-12 04:23:49] 773*2^1453616-1 is not prime. Res64: 8CB209009FD9A8C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:24:49] 903*2^1453616-1 is not prime. Res64: BE8AE1CAE69A1B67 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:24:49] 681*2^1453617-1 is not prime. Res64: F40288A545D7EE99 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:24:49] 711*2^1453617-1 is not prime. Res64: 1BB8FD0259A6C757 Time : 0.0 sec. user=mdettweiler [2017-05-12 04:24:50] 751*2^1453617-1 is not prime. Res64: C6F775178AC6ADAD Time : 0.0 sec. user=mdettweiler [2017-05-12 04:24:50] 837*2^1453617-1 is not prime. Res64: 60EE480ADFAFF1E1 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:23] 847*2^1453617-1 is not prime. Res64: 853601FF6DE2D7D7 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:24] 919*2^1453617-1 is not prime. Res64: 7A516B1DF7D0092D Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:24] 605*2^1453618-1 is not prime. Res64: CBAF020EE7684A58 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:24] 647*2^1453618-1 is not prime. Res64: 15CA5F6BCBE00810 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:25] 747*2^1453618-1 is not prime. Res64: 2684A30947704F7E Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:51] 755*2^1453618-1 is not prime. Res64: CF8F14785CFBF98C Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:52] 791*2^1453618-1 is not prime. Res64: 6B5AD2FF424D73C2 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:52] 987*2^1453618-1 is not prime. Res64: 0B42CAFD50396366 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:53] 741*2^1453619-1 is not prime. Res64: 975D54989514389D Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:53] 879*2^1453619-1 is not prime. Res64: 0DC4DC028EE72C71 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:58] 985*2^1453619-1 is not prime. Res64: 85D950230BB36B40 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:58] 635*2^1453620-1 is not prime. Res64: 803D16D2DAC53856 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:59] 725*2^1453620-1 is not prime. Res64: F5F3CEA08C875548 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:08:59] 753*2^1453620-1 is not prime. Res64: 56258C55B0BC84BC Time : 0.0 sec. user=mdettweiler [2017-05-12 05:09:00] 959*2^1453620-1 is not prime. Res64: 31DD56DB6ECBC523 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:10:02] 975*2^1453620-1 is not prime. Res64: 1318CB0B71472FC1 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:10:03] 983*2^1453620-1 is not prime. Res64: 62D47F11037C8351 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:10:03] 685*2^1453621-1 is not prime. Res64: AB732DB5A9C9BB1A Time : 0.0 sec. user=mdettweiler [2017-05-12 05:10:03] 775*2^1453621-1 is not prime. Res64: B23A768EA828048A Time : 0.0 sec. user=mdettweiler [2017-05-12 05:10:04] 799*2^1453621-1 is not prime. Res64: 44379A07315866D7 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:37] 867*2^1453621-1 is not prime. Res64: 755E670E7F2D9F84 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:37] 877*2^1453621-1 is not prime. Res64: 915E7C5FE65CEC1D Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:38] 617*2^1453622-1 is not prime. Res64: DF34B702AF4587CB Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:38] 873*2^1453622-1 is not prime. Res64: 57CBFC8E882FA829 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:38] 935*2^1453622-1 is not prime. Res64: B6818E1767F3AAE2 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:54] 613*2^1453623-1 is not prime. Res64: 2C39045A0D41BB10 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:54] 615*2^1453623-1 is not prime. Res64: 67054707A6D950F9 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:55] 675*2^1453623-1 is not prime. Res64: 16CFA1BDEA564AD6 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:55] 805*2^1453623-1 is not prime. Res64: AE3A03E358A9E35A Time : 0.0 sec. user=mdettweiler [2017-05-12 05:53:55] 831*2^1453623-1 is not prime. Res64: 2DD98883F7DF4477 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:54:07] 873*2^1453623-1 is not prime. Res64: E71CE882B34794DE Time : 0.0 sec. user=mdettweiler [2017-05-12 05:54:07] 879*2^1453623-1 is not prime. Res64: 50762BCC063E1633 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:54:08] 951*2^1453623-1 is not prime. Res64: B07F6849A57F2F68 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:54:08] 605*2^1453624-1 is not prime. Res64: 5D6A86DF87D8530C Time : 0.0 sec. user=mdettweiler [2017-05-12 05:54:09] 813*2^1453624-1 is not prime. Res64: 074BA8DD2D793E34 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:55:19] 909*2^1453624-1 is not prime. Res64: DCF9B2120B163147 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:55:20] 965*2^1453624-1 is not prime. Res64: 35FD7F4074E64881 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:55:20] 607*2^1453625-1 is not prime. Res64: 9A03DF3C7262EC01 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:55:20] 645*2^1453625-1 is not prime. Res64: 4E0C63F2541A3CC5 Time : 0.0 sec. user=mdettweiler [2017-05-12 05:55:21] 657*2^1453625-1 is not prime. Res64: FDB3C039F590FD9D Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:42] 715*2^1453625-1 is not prime. Res64: BB3570BAEAB2EFD7 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:42] 777*2^1453625-1 is not prime. Res64: DB8B9441854FBC10 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:43] 871*2^1453625-1 is not prime. Res64: 86C70B8101F1539D Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:43] 885*2^1453625-1 is not prime. Res64: CF7BB2FB8DC81E0E Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:44] 925*2^1453625-1 is not prime. Res64: 50214D4FD94B0333 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:57] 611*2^1453626-1 is not prime. Res64: AEC83DBD89864B14 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:58] 677*2^1453626-1 is not prime. Res64: DADF93FA8032ACCB Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:58] 741*2^1453626-1 is not prime. Res64: B5A8EC8BAF9F792A Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:58] 767*2^1453626-1 is not prime. Res64: 2E512F8E5A4E1AE9 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:38:59] 801*2^1453626-1 is not prime. Res64: 8DF65087BE7AE2AB Time : 0.0 sec. user=mdettweiler [2017-05-12 06:39:36] 825*2^1453626-1 is not prime. Res64: 74A368C37EC6046B Time : 0.0 sec. user=mdettweiler [2017-05-12 06:39:36] 921*2^1453626-1 is not prime. Res64: 3419E61C6C8F2159 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:39:36] 923*2^1453626-1 is not prime. Res64: 00989F7572382398 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:39:37] 945*2^1453626-1 is not prime. Res64: 6335A0D75A232CE9 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:39:37] 957*2^1453626-1 is not prime. Res64: 788A823C5D8419CD Time : 0.0 sec. user=mdettweiler [2017-05-12 06:40:36] 971*2^1453626-1 is not prime. Res64: E6801A8C6E260315 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:40:36] 631*2^1453627-1 is not prime. Res64: 6E53E8D036CAD784 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:40:37] 703*2^1453627-1 is not prime. Res64: AC92397B179E935C Time : 0.0 sec. user=mdettweiler [2017-05-12 06:40:37] 975*2^1453627-1 is not prime. Res64: A0B3FB1CCDF3CC45 Time : 0.0 sec. user=mdettweiler [2017-05-12 06:40:37] 617*2^1453628-1 is not prime. Res64: F10EE563CEED4372 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:23:49] 869*2^1453628-1 is not prime. Res64: 6BCD6E329D1AD3E1 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:23:49] 909*2^1453628-1 is not prime. Res64: 03EF72264FD40085 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:23:50] 923*2^1453628-1 is not prime. Res64: 18BCA7B63E1DF8CF Time : 0.0 sec. user=mdettweiler [2017-05-12 07:23:50] 959*2^1453628-1 is not prime. Res64: ED0550FCF89281DE Time : 0.0 sec. user=mdettweiler [2017-05-12 07:23:50] 627*2^1453629-1 is not prime. Res64: 2C0126A5CF12A975 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:03] 661*2^1453629-1 is not prime. Res64: A451F38053341445 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:04] 787*2^1453629-1 is not prime. Res64: FF97B526CBF0C6C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:04] 895*2^1453629-1 is not prime. Res64: AFA43C11AB54B867 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:05] 927*2^1453629-1 is not prime. Res64: 88D937B48711DE1E Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:05] 969*2^1453629-1 is not prime. Res64: 2BA26E00BA622B66 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:43] 635*2^1453630-1 is not prime. Res64: C6079C76B0FBAF11 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:43] 707*2^1453630-1 is not prime. Res64: ACC4711F6C9EB0F0 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:43] 731*2^1453630-1 is not prime. Res64: 04368F1D76AB6B84 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:44] 783*2^1453630-1 is not prime. Res64: 1A19DDB1290E3BF3 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:24:44] 971*2^1453630-1 is not prime. Res64: 0B5058E50091EB4A Time : 0.0 sec. user=mdettweiler [2017-05-12 07:25:37] 987*2^1453630-1 is not prime. Res64: 1915D62E05A0350E Time : 0.0 sec. user=mdettweiler [2017-05-12 07:25:37] 715*2^1453631-1 is not prime. Res64: 72EA5067EEA0C393 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:25:37] 895*2^1453631-1 is not prime. Res64: CBDFB3225F03C4A9 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:25:38] 909*2^1453631-1 is not prime. Res64: 287BEF3F8E556550 Time : 0.0 sec. user=mdettweiler [2017-05-12 07:25:38] 913*2^1453631-1 is not prime. Res64: 1FF5ABD9BE83759F Time : 0.0 sec. user=mdettweiler [2017-05-12 08:08:52] 921*2^1453631-1 is not prime. Res64: E1B7C97FF726941E Time : 0.0 sec. user=mdettweiler [2017-05-12 08:08:52] 945*2^1453631-1 is not prime. Res64: 57922FB262BB01D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:08:53] 623*2^1453632-1 is not prime. Res64: 0C9E2F45861A0873 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:08:53] 719*2^1453632-1 is not prime. Res64: CA5F40D958BF74DD Time : 0.0 sec. user=mdettweiler [2017-05-12 08:08:54] 725*2^1453632-1 is not prime. Res64: 48705808471FB013 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:09:10] 983*2^1453632-1 is not prime. Res64: 794148F71BF9A77C Time : 0.0 sec. user=mdettweiler [2017-05-12 08:09:10] 675*2^1453633-1 is not prime. Res64: DA22C92EBC8EDCF3 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:09:11] 727*2^1453633-1 is not prime. Res64: 812E497466C29B8D Time : 0.0 sec. user=mdettweiler [2017-05-12 08:09:11] 937*2^1453633-1 is not prime. Res64: 23EA18DAC518D23E Time : 0.0 sec. user=mdettweiler [2017-05-12 08:09:11] 999*2^1453633-1 is not prime. Res64: 30DAA332AE137C4E Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:00] 605*2^1453634-1 is not prime. Res64: B2428B107776FE92 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:00] 657*2^1453634-1 is not prime. Res64: 591EBF961263443D Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:01] 675*2^1453634-1 is not prime. Res64: A34DCB507D292DA0 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:01] 683*2^1453634-1 is not prime. Res64: F24B7642DC1600E7 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:02] 827*2^1453634-1 is not prime. Res64: C067BB7C84C24C48 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:42] 921*2^1453634-1 is not prime. Res64: AF3667A40F9A0763 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:42] 983*2^1453634-1 is not prime. Res64: E1FE5DB800023988 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:42] 601*2^1453635-1 is not prime. Res64: C54D4A55A304EFCB Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:43] 619*2^1453635-1 is not prime. Res64: EFBD9945B9593FCF Time : 0.0 sec. user=mdettweiler [2017-05-12 08:10:43] 669*2^1453635-1 is not prime. Res64: B2EA3E3CE6DB0FFA Time : 0.0 sec. user=mdettweiler [2017-05-12 08:53:51] 723*2^1453635-1 is not prime. Res64: 5BDCC9224866A42C Time : 0.0 sec. user=mdettweiler [2017-05-12 08:53:52] 741*2^1453635-1 is not prime. Res64: 796BA17BFDC3CEAC Time : 0.0 sec. user=mdettweiler [2017-05-12 08:53:52] 819*2^1453635-1 is not prime. Res64: 3D54EA3001014988 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:53:53] 689*2^1453636-1 is not prime. Res64: 7E03A57D64925F1F Time : 0.0 sec. user=mdettweiler [2017-05-12 08:53:53] 783*2^1453636-1 is not prime. Res64: 7A623FB143397678 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:54:11] 873*2^1453636-1 is not prime. Res64: DC5FED4D61D7B306 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:54:12] 923*2^1453636-1 is not prime. Res64: CA7178B588F0CD08 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:54:12] 927*2^1453636-1 is not prime. Res64: 5D0E86EEBFA6D23F Time : 0.0 sec. user=mdettweiler [2017-05-12 08:54:12] 989*2^1453636-1 is not prime. Res64: 5DB9E21AECE279EC Time : 0.0 sec. user=mdettweiler [2017-05-12 08:54:13] 699*2^1453637-1 is not prime. Res64: 1E1247775C413318 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:03] 771*2^1453637-1 is not prime. Res64: AC60A8596440B8A8 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:03] 799*2^1453637-1 is not prime. Res64: 176E96D2BDD1361C Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:03] 847*2^1453637-1 is not prime. Res64: 3DE3BCFED5CF264C Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:04] 865*2^1453637-1 is not prime. Res64: CEE9C7DE8FDC62D9 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:04] 871*2^1453637-1 is not prime. Res64: 09C361ADE1FD7938 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:34] 663*2^1453638-1 is not prime. Res64: 5728F49803D88A8F Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:35] 671*2^1453638-1 is not prime. Res64: C850EE02332A0E13 Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:35] 737*2^1453638-1 is not prime. Res64: BCE07A2BC4894CFE Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:35] 747*2^1453638-1 is not prime. Res64: 842B67FC4F5C021F Time : 0.0 sec. user=mdettweiler [2017-05-12 08:55:36] 795*2^1453638-1 is not prime. Res64: 4A9E23CBC75EAB93 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:38:55] 861*2^1453638-1 is not prime. Res64: CCC8E9EF007A2B68 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:38:56] 923*2^1453638-1 is not prime. Res64: 44F9D835AFBB8867 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:38:56] 633*2^1453639-1 is not prime. Res64: 1BF4D553CB961417 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:38:56] 675*2^1453639-1 is not prime. Res64: 180A6FD5A2E1DA4C Time : 0.0 sec. user=mdettweiler [2017-05-12 09:38:57] 693*2^1453639-1 is not prime. Res64: 33E41AE08AAFF29F Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:14] 723*2^1453639-1 is not prime. Res64: 400E8E4B78094FED Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:14] 771*2^1453639-1 is not prime. Res64: 98DCAB6E3BD4FB39 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:15] 841*2^1453639-1 is not prime. Res64: B2DB2D88A041E7C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:15] 853*2^1453639-1 is not prime. Res64: 0B30E099FDE9FFD3 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:15] 933*2^1453639-1 is not prime. Res64: 7C61CA51EA2A81A2 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:58] 603*2^1453640-1 is not prime. Res64: 42FAFF9474F3D7D5 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:59] 659*2^1453640-1 is not prime. Res64: FECF928178EE4D08 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:39:59] 677*2^1453640-1 is not prime. Res64: 34A6D421453804C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:00] 699*2^1453640-1 is not prime. Res64: A3A24F7F91EDE862 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:00] 789*2^1453640-1 is not prime. Res64: EFBB5E6DC097AFF5 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:47] 797*2^1453640-1 is not prime. Res64: A46A0B59663D516E Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:48] 875*2^1453640-1 is not prime. Res64: AFE509B90AA55BAA Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:48] 607*2^1453641-1 is not prime. Res64: 3923EFA2A86230EC Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:48] 669*2^1453641-1 is not prime. Res64: 9A512B26EDBF2659 Time : 0.0 sec. user=mdettweiler [2017-05-12 09:40:49] 727*2^1453641-1 is not prime. Res64: 17C09DB3733B1FA5 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:31] 739*2^1453641-1 is not prime. Res64: 970823BEC0E528C7 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:31] 745*2^1453641-1 is not prime. Res64: DCCD37E0A699C248 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:32] 747*2^1453641-1 is not prime. Res64: EBBF08C60E2D3A4B Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:32] 805*2^1453641-1 is not prime. Res64: FED7D34CF434CD25 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:32] 865*2^1453641-1 is not prime. Res64: 1DF6937FA8AE660B Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:42] 907*2^1453641-1 is not prime. Res64: 68EF2E77365680BE Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:42] 937*2^1453641-1 is not prime. Res64: 3F789989627F95C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:43] 705*2^1453642-1 is not prime. Res64: F09B86A7DEA8D846 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:43] 827*2^1453642-1 is not prime. Res64: F1942EA3EE4974C6 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:24:43] 891*2^1453642-1 is not prime. Res64: 814023B9044D74C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:23] 603*2^1453643-1 is not prime. Res64: 22E6AF3E8E2B3989 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:23] 615*2^1453643-1 is not prime. Res64: D73A3D24EE69BA82 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:24] 663*2^1453643-1 is not prime. Res64: 7A54221D0821C637 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:24] 735*2^1453643-1 is not prime. Res64: 2A7EC7D624E67A98 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:24] 753*2^1453643-1 is not prime. Res64: 1DD9E38C851046A6 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:57] 789*2^1453643-1 is not prime. Res64: 6B9231795FD0AEAC Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:58] 955*2^1453643-1 is not prime. Res64: 0C6949AB1EEA2A1B Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:58] 605*2^1453644-1 is not prime. Res64: 6FA850DEF5E22BF7 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:58] 675*2^1453644-1 is not prime. Res64: A8F8702BD43052A1 Time : 0.0 sec. user=mdettweiler [2017-05-12 10:25:59] 689*2^1453644-1 is not prime. Res64: 13962C23A8BBACC1 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:09:53] 693*2^1453644-1 is not prime. Res64: 7BF717165CE541C0 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:09:54] 707*2^1453644-1 is not prime. Res64: C6037C8D1D2D9DF7 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:09:54] 795*2^1453644-1 is not prime. Res64: 51DAC92CA80CE906 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:09:55] 899*2^1453644-1 is not prime. Res64: EEE5C95EEE00972E Time : 0.0 sec. user=mdettweiler [2017-05-12 11:09:55] 975*2^1453644-1 is not prime. Res64: DBC3B188E025BFD5 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:01] 831*2^1453645-1 is not prime. Res64: E8E465BA884218D1 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:01] 871*2^1453645-1 is not prime. Res64: 2F69894DE24AB5BE Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:02] 889*2^1453645-1 is not prime. Res64: C8BEA51C16DE8D4C Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:02] 615*2^1453646-1 is not prime. Res64: 556C3EC7B6EE8114 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:03] 741*2^1453646-1 is not prime. Res64: 10D936BF53D9CECE Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:34] 755*2^1453646-1 is not prime. Res64: EE3A5B94747AE90F Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:34] 761*2^1453646-1 is not prime. Res64: 58B325F8068ED83D Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:34] 767*2^1453646-1 is not prime. Res64: 7E84CAD1CFEF5CBE Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:35] 857*2^1453646-1 is not prime. Res64: BA076FEF5530B8ED Time : 0.0 sec. user=mdettweiler [2017-05-12 11:10:35] 873*2^1453646-1 is not prime. Res64: A46AB528BF5F745A Time : 0.0 sec. user=mdettweiler [2017-05-12 11:11:19] 923*2^1453646-1 is not prime. Res64: A3FF539AAECDE696 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:11:19] 945*2^1453646-1 is not prime. Res64: 923910FF40681162 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:11:20] 963*2^1453646-1 is not prime. Res64: C0F297AD2E31AB06 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:11:20] 981*2^1453646-1 is not prime. Res64: A11B5DC390207ED5 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:11:21] 693*2^1453647-1 is not prime. Res64: D9A4F10C0C16A1C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 919*2^1453647-1 is not prime. Res64: 87F09D20FA458D24 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 777*2^1453648-1 is not prime. Res64: 3FB2209176C155AE Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 843*2^1453648-1 is not prime. Res64: DD7BDE28BB914734 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 955*2^1453647-1 is not prime. Res64: E05BE2EC5662EE2C Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 677*2^1453648-1 is not prime. Res64: 9B3ACC305F9716F2 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:42] 679*2^1453649-1 is not prime. Res64: E5803FE8CEDEB381 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:43] 699*2^1453648-1 is not prime. Res64: 1A18616D644FADDB Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:43] 747*2^1453649-1 is not prime. Res64: B7922CF445E78C03 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:43] 735*2^1453648-1 is not prime. Res64: F79B2EDC56F5E925 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:55:43] 811*2^1453649-1 is not prime. Res64: 66869795007FE40D Time : 0.0 sec. user=mdettweiler [2017-05-12 11:56:23] 861*2^1453649-1 is not prime. Res64: 756AC2BCFB733E86 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:56:23] 931*2^1453649-1 is not prime. Res64: 37332BF9450E0AE3 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:56:23] 957*2^1453649-1 is not prime. Res64: 231D96EEE44DF7C3 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:56:24] 647*2^1453650-1 is not prime. Res64: A2C8A96D4A99A3C7 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:56:24] 851*2^1453650-1 is not prime. Res64: 6D2A687361F0CBE7 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:57:05] 619*2^1453651-1 is not prime. Res64: 54C814144938EB21 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:57:05] 631*2^1453651-1 is not prime. Res64: 2BB0F0F5D8C6E8CA Time : 0.0 sec. user=mdettweiler [2017-05-12 11:57:06] 733*2^1453651-1 is not prime. Res64: A8CD8C0C8C03336E Time : 0.0 sec. user=mdettweiler [2017-05-12 11:57:06] 769*2^1453651-1 is not prime. Res64: D8C1D4DA3051A650 Time : 0.0 sec. user=mdettweiler [2017-05-12 11:57:07] 811*2^1453651-1 is not prime. Res64: F7FFE7392A171D0A Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:55] 819*2^1453653-1 is not prime. Res64: 9558450718E3B538 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:55] 895*2^1453653-1 is not prime. Res64: 3863B5A0639A7FB4 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:56] 785*2^1453654-1 is not prime. Res64: 1E7955A82A50E91C Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:56] 791*2^1453654-1 is not prime. Res64: 699B947C81790864 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:56] 857*2^1453654-1 is not prime. Res64: AF0E4772BB16DC3F Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:57] 829*2^1453651-1 is not prime. Res64: E9245CF1CC763E17 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:57] 979*2^1453651-1 is not prime. Res64: B5C49FE56B690EAF Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:58] 819*2^1453652-1 is not prime. Res64: 3B62E1F2D03A8B71 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:58] 987*2^1453652-1 is not prime. Res64: BA071C3348321551 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:40:59] 691*2^1453653-1 is not prime. Res64: BDF6D08FF3C73598 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:41:45] 881*2^1453654-1 is not prime. Res64: C651599A0B1B2C15 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:41:45] 941*2^1453654-1 is not prime. Res64: 551066BF506217C5 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:41:45] 971*2^1453654-1 is not prime. Res64: 0331CCCA35911B93 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:41:46] 983*2^1453654-1 is not prime. Res64: F18DB7C2DC0C4AF6 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:41:46] 643*2^1453655-1 is not prime. Res64: 0D4BED9588400C96 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:42:22] 715*2^1453655-1 is not prime. Res64: 51AD4394DFD4A9A8 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:42:23] 753*2^1453655-1 is not prime. Res64: 4E6423FE3BDDFBB8 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:42:23] 759*2^1453655-1 is not prime. Res64: A6CF9240D851C4D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:42:23] 783*2^1453655-1 is not prime. Res64: 79ECF7320E212A31 Time : 0.0 sec. user=mdettweiler [2017-05-12 12:42:24] 805*2^1453655-1 is not prime. Res64: 600ED9704FA4DC82 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:04] 825*2^1453655-1 is not prime. Res64: 414DC6BAA8E7AFAE Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:04] 861*2^1453655-1 is not prime. Res64: 49CAD4927A1875FA Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:05] 909*2^1453655-1 is not prime. Res64: B2602A3ABD36F135 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:05] 627*2^1453656-1 is not prime. Res64: C6DFD6A35C32EC27 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:05] 707*2^1453656-1 is not prime. Res64: FAA0B72ECC4CA470 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:19] 725*2^1453656-1 is not prime. Res64: 375C0E4435C1993C Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:20] 737*2^1453656-1 is not prime. Res64: BCDC8A39D9B9B776 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:20] 849*2^1453656-1 is not prime. Res64: 5B2665F78B9E2809 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:21] 873*2^1453656-1 is not prime. Res64: B032461DCF8AB119 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:21] 903*2^1453656-1 is not prime. Res64: 720537D0AACAA82B Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:57] 945*2^1453656-1 is not prime. Res64: 02B7C34977CD160D Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:58] 947*2^1453656-1 is not prime. Res64: 5C29B8AAE9E7A5F7 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:58] 601*2^1453657-1 is not prime. Res64: 34C51ECA36B380C7 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:58] 625*2^1453657-1 is not prime. Res64: 15497CBCE9D48A21 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:26:59] 699*2^1453657-1 is not prime. Res64: 6789784A2EF8B9C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:27:36] 715*2^1453657-1 is not prime. Res64: 6BE9FB928FF98419 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:27:37] 765*2^1453657-1 is not prime. Res64: 90CE3A05B7936C85 Time : 0.0 sec. user=mdettweiler [2017-05-12 13:27:37] 777*2^1453657-1 is not prime. Res64: 814A1F391EA697FF Time : 0.0 sec. user=mdettweiler [2017-05-12 13:27:37] 831*2^1453657-1 is not prime. Res64: B85B33BB3427F49F Time : 0.0 sec. user=mdettweiler [2017-05-12 13:27:38] 937*2^1453657-1 is not prime. Res64: E6C8C89E0FA28267 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:09] 665*2^1453658-1 is not prime. Res64: CB8425375AD2BBFD Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:10] 735*2^1453658-1 is not prime. Res64: D6C06E88AD73C366 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:10] 831*2^1453658-1 is not prime. Res64: 395002F4D16804D3 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:11] 845*2^1453658-1 is not prime. Res64: 1FF3E90B5E8827C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:11] 887*2^1453658-1 is not prime. Res64: F334AF9A4B2EB7CB Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:29] 915*2^1453658-1 is not prime. Res64: 4DE22D9D4CB80BDC Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:30] 923*2^1453658-1 is not prime. Res64: EE102665154C2D4C Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:30] 945*2^1453658-1 is not prime. Res64: BBA1C6D37C245F72 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:30] 953*2^1453658-1 is not prime. Res64: 8DD384CEFBB65CDD Time : 0.0 sec. user=mdettweiler [2017-05-12 14:11:31] 633*2^1453659-1 is not prime. Res64: 407BA53DF33CA5E3 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:10] 823*2^1453659-1 is not prime. Res64: 4E7F4DC0A4C87A06 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:11] 859*2^1453659-1 is not prime. Res64: 61EDC2990AAB1049 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:11] 895*2^1453659-1 is not prime. Res64: 761D9E52FF71DA4D Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:12] 931*2^1453659-1 is not prime. Res64: 477357D8A1FB9939 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:12] 985*2^1453659-1 is not prime. Res64: 1C4DBCB212822044 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:44] 609*2^1453660-1 is not prime. Res64: DFF1FE1CEF50A936 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:44] 677*2^1453660-1 is not prime. Res64: 9538EE5252C57C10 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:44] 785*2^1453660-1 is not prime. Res64: 387EE89A511D2A42 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:45] 887*2^1453660-1 is not prime. Res64: 3094369568FC9F8A Time : 0.0 sec. user=mdettweiler [2017-05-12 14:12:45] 927*2^1453660-1 is not prime. Res64: 0484C4BFC064107E Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:10] 965*2^1453660-1 is not prime. Res64: 8D709067B024D0E6 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:10] 619*2^1453661-1 is not prime. Res64: 660163011AF7741C Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:11] 631*2^1453661-1 is not prime. Res64: F3961E2120FC068C Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:11] 651*2^1453661-1 is not prime. Res64: 8CE9123F2F8ED2EF Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:11] 685*2^1453661-1 is not prime. Res64: A331C0C0C78EF48B Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:36] 711*2^1453661-1 is not prime. Res64: D45330CFCB8072C1 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:36] 741*2^1453661-1 is not prime. Res64: E76A326F43D9FAF7 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:36] 747*2^1453661-1 is not prime. Res64: 34FA5FA675DF7932 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:37] 937*2^1453661-1 is not prime. Res64: 3B38A4F86AACB8A2 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:56:37] 801*2^1453662-1 is not prime. Res64: 6EB5F301183ED155 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:10] 685*2^1453663-1 is not prime. Res64: BDEFBD65F0564E45 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:11] 729*2^1453663-1 is not prime. Res64: 5288228CA9129D68 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:11] 745*2^1453663-1 is not prime. Res64: 5A948E24C32C4C17 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:11] 805*2^1453663-1 is not prime. Res64: F82CBFD7548F3020 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:12] 889*2^1453663-1 is not prime. Res64: 1961743D12DF0E4E Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:50] 615*2^1453664-1 is not prime. Res64: 5E6A9EBBD5B0FA72 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:50] 659*2^1453664-1 is not prime. Res64: E093601AE2A30F76 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:51] 773*2^1453664-1 is not prime. Res64: F710E962D4F04F13 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:51] 833*2^1453664-1 is not prime. Res64: 3D2BB57DDC740825 Time : 0.0 sec. user=mdettweiler [2017-05-12 14:57:51] 929*2^1453664-1 is not prime. Res64: E21D6EE1E1525224 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:21] 995*2^1453664-1 is not prime. Res64: 41F4199028FD01CA Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:21] 675*2^1453665-1 is not prime. Res64: 7C115C8E9ECC57C9 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:21] 699*2^1453665-1 is not prime. Res64: 6A4FD0048C8AECD3 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:22] 705*2^1453665-1 is not prime. Res64: 89F8CC2A217C2A1F Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:22] 765*2^1453665-1 is not prime. Res64: 60D717CE3D67A068 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:35] 949*2^1453665-1 is not prime. Res64: 94B401AE60EE5641 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:36] 999*2^1453665-1 is not prime. Res64: FD282C4BEF49EAE3 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:36] 603*2^1453666-1 is not prime. Res64: 35A8EDAD0FB3EBFF Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:37] 623*2^1453666-1 is not prime. Res64: 32D3BE61CF0EC5AC Time : 0.0 sec. user=mdettweiler [2017-05-12 15:41:37] 657*2^1453666-1 is not prime. Res64: 255254522ACF08B6 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:42:21] 735*2^1453666-1 is not prime. Res64: FED7027E71A0452A Time : 0.0 sec. user=mdettweiler [2017-05-12 15:42:21] 857*2^1453666-1 is not prime. Res64: 24DE03DC4EE21309 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:42:22] 867*2^1453666-1 is not prime. Res64: A3107B7D94E061C3 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:42:23] 971*2^1453666-1 is not prime. Res64: 786D2D2BDC2F9627 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:42:23] 645*2^1453667-1 is not prime. Res64: 339ADDF453B361AA Time : 0.0 sec. user=mdettweiler [2017-05-12 15:43:06] 733*2^1453667-1 is not prime. Res64: 99471952D55DC831 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:43:06] 775*2^1453667-1 is not prime. Res64: A4FE3F7918241B69 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:43:07] 939*2^1453667-1 is not prime. Res64: B2F5FE3D71229782 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:43:07] 963*2^1453667-1 is not prime. Res64: 85E44C915524FE76 Time : 0.0 sec. user=mdettweiler [2017-05-12 15:43:08] 979*2^1453667-1 is not prime. Res64: F0591CE0F4612A0B Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:46] 705*2^1453668-1 is not prime. Res64: D2DC82AC3B6C0040 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:47] 819*2^1453668-1 is not prime. Res64: C2EEE123150B2E78 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:47] 843*2^1453668-1 is not prime. Res64: 7947FD13B9D3FACF Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:48] 945*2^1453668-1 is not prime. Res64: DD86513AA7D5F80A Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:48] 751*2^1453669-1 is not prime. Res64: 687CB6292DE878E4 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:54] 759*2^1453669-1 is not prime. Res64: BAFA3ADC672A922E Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:54] 789*2^1453669-1 is not prime. Res64: E91081936D570D19 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:54] 825*2^1453669-1 is not prime. Res64: D3DB6F56D9368C8A Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:55] 961*2^1453669-1 is not prime. Res64: 798F8BD6A47C3B6E Time : 0.0 sec. user=mdettweiler [2017-05-12 16:26:55] 707*2^1453670-1 is not prime. Res64: 6B5C19E69C076F0F Time : 0.0 sec. user=mdettweiler [2017-05-12 16:27:32] 747*2^1453670-1 is not prime. Res64: B26AE261761E0A0B Time : 0.0 sec. user=mdettweiler [2017-05-12 16:27:33] 773*2^1453670-1 is not prime. Res64: 55166C561CD58928 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:27:33] 861*2^1453670-1 is not prime. Res64: EC6F6720F8863461 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:27:34] 897*2^1453670-1 is not prime. Res64: 096B4BC21E66682D Time : 0.0 sec. user=mdettweiler [2017-05-12 16:27:34] 911*2^1453670-1 is not prime. Res64: 525C7777D25570BF Time : 0.0 sec. user=mdettweiler [2017-05-12 16:28:14] 945*2^1453670-1 is not prime. Res64: 886A3695116A3F7F Time : 0.0 sec. user=mdettweiler [2017-05-12 16:28:14] 1001*2^1453670-1 is not prime. Res64: AEB69187412C6F2B Time : 0.0 sec. user=mdettweiler [2017-05-12 16:28:14] 745*2^1453671-1 is not prime. Res64: 06BEE970BF606AB8 Time : 0.0 sec. user=mdettweiler [2017-05-12 16:28:15] 829*2^1453671-1 is not prime. Res64: 3A2A4C493376FB7B Time : 0.0 sec. user=mdettweiler [2017-05-12 16:28:15] 861*2^1453671-1 is not prime. Res64: D34B4534F6C8AD17 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:11:59] 879*2^1453671-1 is not prime. Res64: A6B34EFBED6F86FE Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:00] 895*2^1453671-1 is not prime. Res64: 44FB757B3D649A32 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:00] 975*2^1453671-1 is not prime. Res64: 65CF91C75CF90F21 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:01] 635*2^1453672-1 is not prime. Res64: 29CFDEA660BCA44F Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:01] 639*2^1453672-1 is not prime. Res64: 052E217A76B9C3CB Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:05] 695*2^1453672-1 is not prime. Res64: 994E00F011684F10 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:06] 765*2^1453672-1 is not prime. Res64: 40040B536AB0A6FB Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:06] 825*2^1453672-1 is not prime. Res64: B285FB529DF86E12 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:06] 869*2^1453672-1 is not prime. Res64: F8A490EB3FAB48F3 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:07] 975*2^1453672-1 is not prime. Res64: EDF46731356EC774 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:32] 691*2^1453673-1 is not prime. Res64: 3560BEC16D8E8E56 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:32] 745*2^1453673-1 is not prime. Res64: 01EB2BC38CC7D70E Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:33] 847*2^1453673-1 is not prime. Res64: 451B5F6F0A0FF6EF Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:33] 861*2^1453673-1 is not prime. Res64: 588D95A9C747B734 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:12:34] 981*2^1453673-1 is not prime. Res64: 309F9AFC3FCA2943 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:13:13] 611*2^1453674-1 is not prime. Res64: 83B52D98C3C97DFC Time : 0.0 sec. user=mdettweiler [2017-05-12 17:13:13] 633*2^1453674-1 is not prime. Res64: 5BE7A8C740357890 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:13:14] 741*2^1453674-1 is not prime. Res64: B7EE9D80A95AE469 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:13:14] 747*2^1453674-1 is not prime. Res64: 7F30C7A19892E593 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:13:15] 783*2^1453674-1 is not prime. Res64: 257E936AE9E69B64 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:08] 797*2^1453674-1 is not prime. Res64: B299782BD0AD926C Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:09] 873*2^1453674-1 is not prime. Res64: 4254D7223B43B011 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:10] 645*2^1453675-1 is not prime. Res64: 5D438487C05275C6 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:10] 751*2^1453675-1 is not prime. Res64: A4F9DE5D4E6BF229 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:10] 789*2^1453675-1 is not prime. Res64: 62398F35D18DE338 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:13] 961*2^1453675-1 is not prime. Res64: E4E8313B141745E8 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:14] 999*2^1453675-1 is not prime. Res64: 6DE82FC7F87DC05E Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:14] 659*2^1453676-1 is not prime. Res64: 4149AA10DDC47170 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:15] 669*2^1453676-1 is not prime. Res64: A2DB02B7595BEFE5 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:15] 677*2^1453676-1 is not prime. Res64: B9CB334598366A69 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:35] 767*2^1453676-1 is not prime. Res64: 13D44A851CF60333 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:35] 777*2^1453676-1 is not prime. Res64: 1BBD6AA5797A15AE Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:36] 789*2^1453676-1 is not prime. Res64: F2F96DA0A49B3566 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:36] 899*2^1453676-1 is not prime. Res64: 2119665F48D9A73E Time : 0.0 sec. user=mdettweiler [2017-05-12 17:57:37] 655*2^1453677-1 is not prime. Res64: 7C7667CA8113656A Time : 0.0 sec. user=mdettweiler [2017-05-12 17:58:20] 747*2^1453677-1 is not prime. Res64: 32AFDA9578FA2DAF Time : 0.0 sec. user=mdettweiler [2017-05-12 17:58:20] 759*2^1453677-1 is not prime. Res64: 71D68E30D60A4CA9 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:58:21] 795*2^1453677-1 is not prime. Res64: 14534ECB673C6701 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:58:21] 829*2^1453677-1 is not prime. Res64: 354FBDCC4E1DC543 Time : 0.0 sec. user=mdettweiler [2017-05-12 17:58:21] 985*2^1453677-1 is not prime. Res64: C84C2AC2EC3C3C71 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:17] 991*2^1453677-1 is not prime. Res64: 8DB2F13EAEF9F4B6 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:17] 605*2^1453678-1 is not prime. Res64: 0CBBAA57F873D7FB Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:18] 681*2^1453678-1 is not prime. Res64: 713A79367EB73065 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:18] 737*2^1453678-1 is not prime. Res64: 745FC266FBE96EE2 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:19] 765*2^1453678-1 is not prime. Res64: FFC4F7A2A5F5F19D Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:21] 773*2^1453678-1 is not prime. Res64: A7C9A03D0723EDDE Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:21] 845*2^1453678-1 is not prime. Res64: 3D6C8ED36294759B Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:22] 915*2^1453678-1 is not prime. Res64: 340B9D20312DB8B5 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:22] 941*2^1453678-1 is not prime. Res64: B31D5F996AB0FDD1 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:23] 981*2^1453678-1 is not prime. Res64: 428712DC0539E189 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:54] 987*2^1453678-1 is not prime. Res64: DF608C200848B943 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:54] 1001*2^1453678-1 is not prime. Res64: 3861B72B77B101E7 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:55] 619*2^1453679-1 is not prime. Res64: E40DC04BF776BF86 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:55] 741*2^1453679-1 is not prime. Res64: 8A74E7F4CA0D14F3 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:42:56] 831*2^1453679-1 is not prime. Res64: F68044C6C5168A6D Time : 0.0 sec. user=mdettweiler [2017-05-12 18:43:35] 865*2^1453679-1 is not prime. Res64: 01856DD30C3E32E8 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:43:35] 921*2^1453679-1 is not prime. Res64: B07444EB92DAED70 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:43:35] 627*2^1453680-1 is not prime. Res64: 1C9C316FAEE401C5 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:43:36] 695*2^1453680-1 is not prime. Res64: 3603EA64AD3E8E13 Time : 0.0 sec. user=mdettweiler [2017-05-12 18:43:36] 735*2^1453680-1 is not prime. Res64: C5174832237E37A5 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:36] 925*2^1453681-1 is not prime. Res64: E7C4FAABC39EEB29 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:36] 945*2^1453681-1 is not prime. Res64: 0B205D2516B739BF Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:37] 633*2^1453682-1 is not prime. Res64: 871076BE7C6D8AF6 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:37] 705*2^1453682-1 is not prime. Res64: B6F5D10E4AB2918F Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:38] 831*2^1453682-1 is not prime. Res64: FEE1AD2E63C9AB68 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:46] 825*2^1453680-1 is not prime. Res64: 14A98196CD886963 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:46] 957*2^1453680-1 is not prime. Res64: 9F9F300047A87447 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:46] 959*2^1453680-1 is not prime. Res64: EF3E34D026A485BC Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:47] 715*2^1453681-1 is not prime. Res64: 2A6FF6800070A636 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:47] 871*2^1453681-1 is not prime. Res64: 3179F04B8CF4E125 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:53] 893*2^1453682-1 is not prime. Res64: 6894405CBA6DAD9D Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:54] 921*2^1453682-1 is not prime. Res64: 2A3D145C926E6662 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:54] 935*2^1453682-1 is not prime. Res64: 74D4F06EBEF879E0 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:54] 941*2^1453682-1 is not prime. Res64: 309BED96278A203D Time : 0.0 sec. user=mdettweiler [2017-05-12 19:27:55] 795*2^1453683-1 is not prime. Res64: 60A2B0E06DDBB8C9 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:28:52] 853*2^1453683-1 is not prime. Res64: 69F69FFC507F4604 Time : 0.0 sec. user=mdettweiler [2017-05-12 19:28:52] 879*2^1453683-1 is not prime. Res64: ED726A2C7663699C Time : 0.0 sec. user=mdettweiler [2017-05-12 19:28:53] 901*2^1453683-1 is not prime. Res64: 58F93D6D73963FCD Time : 0.0 sec. user=mdettweiler [2017-05-12 19:28:53] 963*2^1453683-1 is not prime. Res64: E755E44699BB385D Time : 0.0 sec. user=mdettweiler [2017-05-12 19:28:54] 615*2^1453684-1 is not prime. Res64: 79BFFFC7F2A2F476 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:42] 687*2^1453684-1 is not prime. Res64: 20B01194AEF5AEE4 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:42] 825*2^1453684-1 is not prime. Res64: 2F367F12911DDDA5 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:43] 915*2^1453684-1 is not prime. Res64: 0B28A9AAAC98C187 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:43] 965*2^1453684-1 is not prime. Res64: 62EF25B424BDBED8 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:44] 989*2^1453684-1 is not prime. Res64: 86A25F66B2DDB655 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:50] 699*2^1453685-1 is not prime. Res64: F9B1B8258EC2546E Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:51] 721*2^1453685-1 is not prime. Res64: 071EAF32B6808CC9 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:51] 789*2^1453685-1 is not prime. Res64: 5FB4F318DDD32BB1 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:52] 795*2^1453685-1 is not prime. Res64: 2864F55E25261155 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:12:53] 837*2^1453685-1 is not prime. Res64: AEC2F7068CCA5894 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:13:02] 641*2^1453686-1 is not prime. Res64: 27AB5FD34C425235 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:13:03] 707*2^1453686-1 is not prime. Res64: 17F2D5D42CFC025A Time : 0.0 sec. user=mdettweiler [2017-05-12 20:13:03] 723*2^1453686-1 is not prime. Res64: DDDF6808B9E17C2B Time : 0.0 sec. user=mdettweiler [2017-05-12 20:13:04] 725*2^1453686-1 is not prime. Res64: 4313F3C2D522F49B Time : 0.0 sec. user=mdettweiler [2017-05-12 20:13:04] 801*2^1453686-1 is not prime. Res64: 9B247B74EA364C85 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:14:02] 873*2^1453686-1 is not prime. Res64: 9518A7FEA7AD2CB2 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:14:02] 947*2^1453686-1 is not prime. Res64: E09FB95B1081A9B5 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:14:03] 975*2^1453686-1 is not prime. Res64: D73BC165427CF1B4 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:14:03] 639*2^1453687-1 is not prime. Res64: 3348DE1316539581 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:14:04] 673*2^1453687-1 is not prime. Res64: 43B1DF23501D4B8E Time : 0.0 sec. user=mdettweiler [2017-05-12 20:57:53] 675*2^1453687-1 is not prime. Res64: 902631D317B53353 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:57:53] 741*2^1453687-1 is not prime. Res64: 51E17164CBF4E709 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:57:54] 805*2^1453687-1 is not prime. Res64: 3F31D1744DC0BE23 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:57:54] 829*2^1453687-1 is not prime. Res64: 197A20D54324591A Time : 0.0 sec. user=mdettweiler [2017-05-12 20:57:55] 973*2^1453687-1 is not prime. Res64: AD25F3D3CD4DDD1B Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:15] 657*2^1453689-1 is not prime. Res64: 343A91F43D2655B9 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:15] 691*2^1453689-1 is not prime. Res64: D03AFD1DC033F65C Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:15] 711*2^1453689-1 is not prime. Res64: 6A53D8E1409C6BDA Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:16] 861*2^1453689-1 is not prime. Res64: 115801B2FCDC9704 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:16] 907*2^1453689-1 is not prime. Res64: 179C10C8781A217E Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:20] 975*2^1453687-1 is not prime. Res64: 0881911DE36F9B6B Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:20] 999*2^1453687-1 is not prime. Res64: 15337C4D032618D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:21] 617*2^1453688-1 is not prime. Res64: 134798B522749D8B Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:21] 665*2^1453688-1 is not prime. Res64: DD21377AD41FCBDC Time : 0.0 sec. user=mdettweiler [2017-05-12 20:58:22] 819*2^1453688-1 is not prime. Res64: 67E1BA0D88967178 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:59:20] 713*2^1453690-1 is not prime. Res64: CFDB6CEDB4192684 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:59:21] 741*2^1453690-1 is not prime. Res64: 5C3234714D8484EC Time : 0.0 sec. user=mdettweiler [2017-05-12 20:59:21] 825*2^1453690-1 is not prime. Res64: 3CB34AF180FF616D Time : 0.0 sec. user=mdettweiler [2017-05-12 20:59:21] 857*2^1453690-1 is not prime. Res64: 37AAB9CFEE3CB897 Time : 0.0 sec. user=mdettweiler [2017-05-12 20:59:22] 905*2^1453690-1 is not prime. Res64: 389F284F84CBE427 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:42:50] 945*2^1453690-1 is not prime. Res64: B2CCD3571FA53B5A Time : 0.0 sec. user=mdettweiler [2017-05-12 21:42:51] 971*2^1453690-1 is not prime. Res64: 35EE30082DEA3221 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:42:51] 643*2^1453691-1 is not prime. Res64: 8E70B832CE873910 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:42:51] 645*2^1453691-1 is not prime. Res64: 04616D7E396546C4 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:42:52] 651*2^1453691-1 is not prime. Res64: 094D65C263380139 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:11] 909*2^1453691-1 is not prime. Res64: 8EFA0888F5DA7D7C Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:11] 981*2^1453691-1 is not prime. Res64: 0F9806E8BD75A05B Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:12] 609*2^1453692-1 is not prime. Res64: 4BD00C6D933B2090 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:12] 665*2^1453692-1 is not prime. Res64: 285179F687C2DCAD Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:12] 695*2^1453692-1 is not prime. Res64: CE59195234DC5F4F Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:20] 725*2^1453692-1 is not prime. Res64: 9A0899965317AC31 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:20] 749*2^1453692-1 is not prime. Res64: 8AE6D1C957FEF8AE Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:21] 797*2^1453692-1 is not prime. Res64: 98897D5C1F36FCED Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:21] 825*2^1453692-1 is not prime. Res64: 95441DA862B30B95 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:43:21] 887*2^1453692-1 is not prime. Res64: 88C4141451D74831 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:44:21] 923*2^1453692-1 is not prime. Res64: F902E6FAF74D0183 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:44:21] 775*2^1453693-1 is not prime. Res64: 59C686BC8E17F781 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:44:22] 889*2^1453693-1 is not prime. Res64: 79D7EE23224C7B9B Time : 0.0 sec. user=mdettweiler [2017-05-12 21:44:22] 641*2^1453694-1 is not prime. Res64: ABB571D1CC72E9E7 Time : 0.0 sec. user=mdettweiler [2017-05-12 21:44:23] 651*2^1453694-1 is not prime. Res64: 9FF91B03CC891750 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:01] 677*2^1453694-1 is not prime. Res64: D51B852489F84451 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:02] 791*2^1453694-1 is not prime. Res64: 155C0DBD8A386BDB Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:02] 827*2^1453694-1 is not prime. Res64: 9AB6FD14B5A61093 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:03] 861*2^1453694-1 is not prime. Res64: 72F3C1010B98E094 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:03] 915*2^1453694-1 is not prime. Res64: A66A7A4FAED71E2E Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:21] 971*2^1453694-1 is not prime. Res64: 3E83D9EC70F01A90 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:21] 693*2^1453695-1 is not prime. Res64: 6B83E907C065C29D Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:22] 775*2^1453695-1 is not prime. Res64: DE457653A3C9A7A9 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:22] 781*2^1453695-1 is not prime. Res64: 4B14F99C60AC82CF Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:23] 949*2^1453695-1 is not prime. Res64: A54E0E12B4662FD1 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:32] 951*2^1453695-1 is not prime. Res64: 730D94BC5FB2E41E Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:32] 999*2^1453695-1 is not prime. Res64: 01C69247265330F9 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:32] 693*2^1453696-1 is not prime. Res64: B38F809C352A1B81 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:33] 747*2^1453696-1 is not prime. Res64: 0AF46A1B4111EEC5 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:28:33] 843*2^1453696-1 is not prime. Res64: AD47E18791C8515B Time : 0.0 sec. user=mdettweiler [2017-05-12 22:29:25] 873*2^1453696-1 is not prime. Res64: 8CEE6F2D75351E6E Time : 0.0 sec. user=mdettweiler [2017-05-12 22:29:26] 927*2^1453696-1 is not prime. Res64: 85B3C7C4790EF6BA Time : 0.0 sec. user=mdettweiler [2017-05-12 22:29:26] 965*2^1453696-1 is not prime. Res64: 275C2E13D4BF8080 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:29:27] 975*2^1453696-1 is not prime. Res64: 388A871BAEE54B17 Time : 0.0 sec. user=mdettweiler [2017-05-12 22:29:27] 983*2^1453696-1 is not prime. Res64: BAFF7E058D6B4D24 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:17] 999*2^1453696-1 is not prime. Res64: BCE0C273A005BAF7 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:17] 685*2^1453697-1 is not prime. Res64: 434885D51E87F2C2 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:18] 699*2^1453697-1 is not prime. Res64: CC308A841ED4FF6D Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:18] 801*2^1453697-1 is not prime. Res64: E653485546126143 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:18] 909*2^1453697-1 is not prime. Res64: 9754871CA507AA8F Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:33] 681*2^1453698-1 is not prime. Res64: BFCC3E4285C7B291 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:33] 695*2^1453698-1 is not prime. Res64: 274C918BCF6038DB Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:34] 803*2^1453698-1 is not prime. Res64: ABE094EDD8F39BE3 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:34] 821*2^1453698-1 is not prime. Res64: EA5A913492E0CABE Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:34] 923*2^1453698-1 is not prime. Res64: 6D41AC889AE09A08 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:59] 945*2^1453698-1 is not prime. Res64: B31D96A66DCCEEF5 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:13:59] 735*2^1453699-1 is not prime. Res64: 81F13041123418B9 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:00] 765*2^1453699-1 is not prime. Res64: 5368D1F5375FD5A3 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:00] 769*2^1453699-1 is not prime. Res64: D9C864EAFEA577B0 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:00] 835*2^1453699-1 is not prime. Res64: DED1D5A4C99F7700 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:45] 919*2^1453699-1 is not prime. Res64: 43AA8224D92DFA5E Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:45] 973*2^1453699-1 is not prime. Res64: 2CC891A2B812E6DE Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:46] 669*2^1453700-1 is not prime. Res64: DE4FB69B8259807D Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:46] 719*2^1453700-1 is not prime. Res64: DDBDF1E57B155BE5 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:14:47] 753*2^1453700-1 is not prime. Res64: 5412D0A164BC5D93 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:26] 893*2^1453700-1 is not prime. Res64: F464E00F24B05744 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:27] 945*2^1453700-1 is not prime. Res64: 508423A55938795E Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:27] 777*2^1453701-1 is not prime. Res64: B7CCB2BACC2A5541 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:27] 877*2^1453701-1 is not prime. Res64: BF4B149879BDEFC8 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:28] 951*2^1453701-1 is not prime. Res64: 5D1DCFC839F7C8CC Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:38] 623*2^1453702-1 is not prime. Res64: 68514940D07A2396 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:39] 651*2^1453702-1 is not prime. Res64: 494D5D5633E860C0 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:39] 665*2^1453702-1 is not prime. Res64: F88847E183D40B43 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:39] 695*2^1453702-1 is not prime. Res64: 51FC57B650527268 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:58:40] 713*2^1453702-1 is not prime. Res64: 35F7F5981C331A30 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:59:14] 717*2^1453702-1 is not prime. Res64: 8827FBF6029FBAEA Time : 0.0 sec. user=mdettweiler [2017-05-12 23:59:14] 777*2^1453702-1 is not prime. Res64: 0EFF085B884BF8D0 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:59:14] 801*2^1453702-1 is not prime. Res64: 45C10D55BE9AD994 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:59:15] 857*2^1453702-1 is not prime. Res64: 3B186DB33F29A040 Time : 0.0 sec. user=mdettweiler [2017-05-12 23:59:15] 911*2^1453702-1 is not prime. Res64: 3CE36A2DF95701DA Time : 0.0 sec. user=mdettweiler [2017-05-13 00:00:02] 693*2^1453703-1 is not prime. Res64: 58BC2C8ED4A129FE Time : 0.0 sec. user=mdettweiler [2017-05-13 00:00:04] 735*2^1453703-1 is not prime. Res64: 981E72C5821528FC Time : 0.0 sec. user=mdettweiler [2017-05-13 00:00:04] 753*2^1453703-1 is not prime. Res64: AEB6B8739FF280C0 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:00:05] 781*2^1453703-1 is not prime. Res64: 3559676D18EAFC11 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:00:05] 861*2^1453703-1 is not prime. Res64: 8EE55B74B76015D4 Time : 0.0 sec.