user=mdettweiler [2017-04-10 00:22:13] 889*2^1451105-1 is not prime. Res64: 23C3015F11F10CB9 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:13] 937*2^1451105-1 is not prime. Res64: F03BC048D4574CA7 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:14] 633*2^1451106-1 is not prime. Res64: 1DD5D43E358C3362 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:14] 741*2^1451106-1 is not prime. Res64: 8768ED1DE998DDCE Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:15] 825*2^1451106-1 is not prime. Res64: 41359B0AA9B376AF Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:34] 867*2^1451106-1 is not prime. Res64: 28AA440373BE3F72 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:35] 1001*2^1451106-1 is not prime. Res64: B59EBDBB49445D3E Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:35] 609*2^1451107-1 is not prime. Res64: 2C0429E02892D354 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:36] 619*2^1451107-1 is not prime. Res64: EAF208C2EE0D9BFA Time : 0.0 sec. user=mdettweiler [2017-04-10 00:22:36] 651*2^1451107-1 is not prime. Res64: 1CABB59ABCD099B3 Time : 0.0 sec. user=juhehe [2017-04-10 00:24:48] 819*2^1451107-1 is not prime. Res64: E2ED7F798C342BE3 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:32:17] 961*2^1451107-1 is not prime. Res64: 7D8F035DCA696DA0 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:32:18] 813*2^1451108-1 is not prime. Res64: 8CD4CE27E4BCB8E6 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:32:19] 837*2^1451108-1 is not prime. Res64: A98754B97FE62BA1 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:32:19] 935*2^1451108-1 is not prime. Res64: 5497CE5206B15498 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:32:20] 649*2^1451109-1 is not prime. Res64: A8B67E1F1E8BE75F Time : 0.0 sec. user=mdettweiler [2017-04-10 00:34:47] 745*2^1451109-1 is not prime. Res64: F807F25DD9087719 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:34:47] 999*2^1451109-1 is not prime. Res64: F909DBCB99ACDA60 Time : 0.0 sec. user=mdettweiler [2017-04-10 00:34:48] 653*2^1451110-1 is not prime. Res64: 19BD829CCCFF29AF Time : 0.0 sec. user=mdettweiler [2017-04-10 00:34:48] 707*2^1451110-1 is not prime. Res64: 501E7AC15FDA2CBD Time : 0.0 sec. user=mdettweiler [2017-04-10 00:34:48] 827*2^1451110-1 is not prime. Res64: 0824B89C5C0EC667 Time : 0.0 sec. user=juhehe [2017-04-10 01:04:14] 623*2^1451112-1 is not prime. Res64: AE2EEB8990BF2016 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:23] 933*2^1451110-1 is not prime. Res64: C5C8CED3238D7874 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:23] 645*2^1451111-1 is not prime. Res64: DECE6A3523196F47 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:24] 651*2^1451111-1 is not prime. Res64: AF677DCBC0FB8692 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:25] 661*2^1451111-1 is not prime. Res64: 29DD8680082E807B Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:25] 663*2^1451111-1 is not prime. Res64: E96C5925AD704FB2 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:35] 669*2^1451111-1 is not prime. Res64: CA1319987E9F179B Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:35] 715*2^1451111-1 is not prime. Res64: 470E3E3180F5B46F Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:36] 813*2^1451111-1 is not prime. Res64: FBA21789456A6EF3 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:36] 855*2^1451111-1 is not prime. Res64: 8845C2B7362DE507 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:07:37] 955*2^1451111-1 is not prime. Res64: 6D621745004A9BAA Time : 0.0 sec. user=mdettweiler [2017-04-10 01:17:21] 675*2^1451112-1 is not prime. Res64: ADEFEA6E189451A0 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:17:22] 819*2^1451112-1 is not prime. Res64: BFB1A9BFE755EADE Time : 0.0 sec. user=mdettweiler [2017-04-10 01:17:22] 899*2^1451112-1 is not prime. Res64: 0B4D40BAF134610C Time : 0.0 sec. user=mdettweiler [2017-04-10 01:17:23] 915*2^1451112-1 is not prime. Res64: EE2EB9BD90CBE50E Time : 0.0 sec. user=mdettweiler [2017-04-10 01:17:23] 945*2^1451112-1 is not prime. Res64: 8633A8A354661647 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:19:46] 959*2^1451112-1 is not prime. Res64: CB7B871D5F7F81A2 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:19:46] 681*2^1451113-1 is not prime. Res64: 7802F87F04E8B6B4 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:19:47] 747*2^1451113-1 is not prime. Res64: AC0F5DF99CC4EA11 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:19:47] 945*2^1451113-1 is not prime. Res64: 8BD7B7DC794E2C4D Time : 0.0 sec. user=mdettweiler [2017-04-10 01:19:48] 985*2^1451113-1 is not prime. Res64: 5E9F09455DB8D178 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:25] 999*2^1451113-1 is not prime. Res64: 561EFF569F706CD6 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:25] 885*2^1451114-1 is not prime. Res64: A4C355E076B76490 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:25] 953*2^1451114-1 is not prime. Res64: 03550B71B835B3C5 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:26] 971*2^1451114-1 is not prime. Res64: 3517233BA25601FE Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:26] 1001*2^1451114-1 is not prime. Res64: B448E5223B1E49CC Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:41] 625*2^1451115-1 is not prime. Res64: D5E18CC7B7D7A748 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:42] 775*2^1451115-1 is not prime. Res64: AD62E5D7FC531997 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:42] 903*2^1451115-1 is not prime. Res64: 2045B020F5573B6F Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:43] 955*2^1451115-1 is not prime. Res64: 1C7D04FB1C10EEB6 Time : 0.0 sec. user=mdettweiler [2017-04-10 01:52:43] 961*2^1451115-1 is not prime. Res64: D17F224AAF1BB653 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:02:37] 963*2^1451115-1 is not prime. Res64: 0610067CED30F691 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:02:38] 677*2^1451116-1 is not prime. Res64: 31146621D4247FAD Time : 0.0 sec. user=mdettweiler [2017-04-10 02:02:39] 843*2^1451116-1 is not prime. Res64: 80E3EF283F8E64C3 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:02:41] 989*2^1451116-1 is not prime. Res64: E68FA6E30EBFAF27 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:02:42] 619*2^1451117-1 is not prime. Res64: B22CE075F4FFF125 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:04:50] 655*2^1451117-1 is not prime. Res64: 4C0C28CEA3EAE096 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:04:53] 697*2^1451117-1 is not prime. Res64: 6A896D7D72F00926 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:04:54] 781*2^1451117-1 is not prime. Res64: FE3AAA4527E603C2 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:04:55] 879*2^1451117-1 is not prime. Res64: 0EA78B6042EDDC3C Time : 0.0 sec. user=mdettweiler [2017-04-10 02:04:56] 901*2^1451117-1 is not prime. Res64: 100CEAEE12FFB2C2 Time : 0.0 sec. user=juhehe [2017-04-10 02:10:00] 915*2^1451117-1 is not prime. Res64: 000267C2301C60E7 Time : 0.0 sec. user=juhehe [2017-04-10 02:22:47] 925*2^1451117-1 is not prime. Res64: EDB5568D31BAC3B7 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:26] 621*2^1451118-1 is not prime. Res64: 9234A1910A19DC4C Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:26] 683*2^1451118-1 is not prime. Res64: D91CDDBEDC9623A4 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:27] 731*2^1451118-1 is not prime. Res64: 133557DC9F3C82DF Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:28] 773*2^1451118-1 is not prime. Res64: 3819568F5EC0011A Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:28] 791*2^1451118-1 is not prime. Res64: C97699420CBEED92 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:54] 875*2^1451118-1 is not prime. Res64: 22BD29E5432ACF0D Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:54] 609*2^1451119-1 is not prime. Res64: 6E81251BA49A593E Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:55] 649*2^1451119-1 is not prime. Res64: A50F7947A897752B Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:55] 663*2^1451119-1 is not prime. Res64: EAAA7A6DA9B530B9 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:37:55] 675*2^1451119-1 is not prime. Res64: 8D412F129DB92FB3 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:48:05] 693*2^1451119-1 is not prime. Res64: A505FE4836167654 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:48:05] 705*2^1451119-1 is not prime. Res64: D8964ADF643F5668 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:48:06] 789*2^1451119-1 is not prime. Res64: D2CBF7137093B7FF Time : 0.0 sec. user=mdettweiler [2017-04-10 02:48:06] 793*2^1451119-1 is not prime. Res64: 2044B90FD9104D12 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:48:07] 891*2^1451119-1 is not prime. Res64: 9A15AFFC42B0296A Time : 0.0 sec. user=mdettweiler [2017-04-10 02:50:32] 943*2^1451119-1 is not prime. Res64: D53F3F23A8DB1B0C Time : 0.0 sec. user=mdettweiler [2017-04-10 02:50:33] 999*2^1451119-1 is not prime. Res64: 99C7FD965864C237 Time : 0.0 sec. user=mdettweiler [2017-04-10 02:50:33] 635*2^1451120-1 is not prime. Res64: 4C8FE7894286D5AE Time : 0.0 sec. user=mdettweiler [2017-04-10 02:50:34] 753*2^1451120-1 is not prime. Res64: B11A8A45FA02163B Time : 0.0 sec. user=mdettweiler [2017-04-10 02:50:34] 827*2^1451120-1 is not prime. Res64: 422409F8631336C9 Time : 0.0 sec. user=juhehe [2017-04-10 03:03:05] 845*2^1451120-1 is not prime. Res64: AB252D8946DFC454 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:36] 963*2^1451120-1 is not prime. Res64: 088714CD97C9B96D Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:36] 625*2^1451121-1 is not prime. Res64: C238D30B91BF7C4A Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:37] 727*2^1451121-1 is not prime. Res64: 4B1448937AC3F667 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:37] 751*2^1451121-1 is not prime. Res64: 094263E0A2D0CB3D Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:38] 781*2^1451121-1 is not prime. Res64: 85EABC2783B94256 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:56] 865*2^1451121-1 is not prime. Res64: 5B808C3CBFFDC667 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:56] 937*2^1451121-1 is not prime. Res64: 100AFE24879F870F Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:57] 611*2^1451122-1 is not prime. Res64: 98E7949957CED2DD Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:57] 635*2^1451122-1 is not prime. Res64: 7FEE7C550E3A9E12 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:22:57] 923*2^1451122-1 is not prime. Res64: EA8F7FBF09FC035A Time : 0.0 sec. user=mdettweiler [2017-04-10 03:33:01] 983*2^1451122-1 is not prime. Res64: 43249619FC5E647E Time : 0.0 sec. user=mdettweiler [2017-04-10 03:33:02] 987*2^1451122-1 is not prime. Res64: 1F6437C93F0AAB11 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:33:03] 619*2^1451123-1 is not prime. Res64: 2E7F746A43A78232 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:33:04] 669*2^1451123-1 is not prime. Res64: F97553ADD3B7C406 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:33:05] 715*2^1451123-1 is not prime. Res64: 9E030D4083B39BA4 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:35:29] 753*2^1451123-1 is not prime. Res64: 54FE56FC02ACD318 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:35:30] 801*2^1451123-1 is not prime. Res64: 5731B30E1B1635C3 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:35:31] 861*2^1451123-1 is not prime. Res64: 6DA78C3F1FB49E3D Time : 0.0 sec. user=mdettweiler [2017-04-10 03:35:32] 949*2^1451123-1 is not prime. Res64: 4826FB0976683548 Time : 0.0 sec. user=mdettweiler [2017-04-10 03:35:32] 963*2^1451123-1 is not prime. Res64: DACF6C86B1EBCBAC Time : 0.0 sec. user=mdettweiler [2017-04-10 04:07:46] 759*2^1451124-1 is not prime. Res64: CEFE95AE77CC3FB0 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:07:47] 863*2^1451124-1 is not prime. Res64: D18651CB2D11B18C Time : 0.0 sec. user=mdettweiler [2017-04-10 04:07:47] 903*2^1451124-1 is not prime. Res64: 5622D2D8EB9D8D2F Time : 0.0 sec. user=mdettweiler [2017-04-10 04:07:47] 945*2^1451124-1 is not prime. Res64: 0CCE933B67D03280 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:07:48] 987*2^1451124-1 is not prime. Res64: 0517C0C9CBE42197 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:08:03] 625*2^1451125-1 is not prime. Res64: D609C353A4C3ABB2 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:08:04] 691*2^1451125-1 is not prime. Res64: 7C2310AD575D60B8 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:08:04] 805*2^1451125-1 is not prime. Res64: 00E40E56E59F07CA Time : 0.0 sec. user=mdettweiler [2017-04-10 04:08:05] 855*2^1451125-1 is not prime. Res64: 5ED188C7AB00F362 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:08:05] 877*2^1451125-1 is not prime. Res64: 5BA5BF94C6D65A59 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:18:45] 919*2^1451125-1 is not prime. Res64: 2B58563DF957B8D3 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:18:45] 955*2^1451125-1 is not prime. Res64: 93228E7DB2F876A1 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:18:46] 975*2^1451125-1 is not prime. Res64: C3575CEF4EA04C67 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:18:46] 999*2^1451125-1 is not prime. Res64: 9CE0AF1BD598EB72 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:18:47] 615*2^1451126-1 is not prime. Res64: 4EC495DACC83EBD4 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:20:35] 635*2^1451126-1 is not prime. Res64: EE4DE2E02952507A Time : 0.0 sec. user=mdettweiler [2017-04-10 04:20:35] 663*2^1451126-1 is not prime. Res64: 98FCA65F379C3720 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:20:36] 741*2^1451126-1 is not prime. Res64: 47F12EF37C5D325E Time : 0.0 sec. user=mdettweiler [2017-04-10 04:20:36] 957*2^1451126-1 is not prime. Res64: F00ACBAA124C356A Time : 0.0 sec. user=mdettweiler [2017-04-10 04:20:37] 983*2^1451126-1 is not prime. Res64: 169EF01C6302F8EF Time : 0.0 sec. user=juhehe [2017-04-10 04:23:49] 619*2^1451127-1 is not prime. Res64: 0206ED45AC69C06F Time : 0.0 sec. user=mdettweiler [2017-04-10 04:52:42] 625*2^1451127-1 is not prime. Res64: E7F8DB218B842C4E Time : 0.0 sec. user=mdettweiler [2017-04-10 04:52:42] 649*2^1451127-1 is not prime. Res64: 7EB3A1177C1186C7 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:52:42] 651*2^1451127-1 is not prime. Res64: 2C94B908DA5CD014 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:52:43] 795*2^1451127-1 is not prime. Res64: 2417017A391091AB Time : 0.0 sec. user=mdettweiler [2017-04-10 04:52:43] 825*2^1451127-1 is not prime. Res64: 2CC93EDAD18327F6 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:53:00] 849*2^1451127-1 is not prime. Res64: 7E8D05B5431B0AF5 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:53:00] 871*2^1451127-1 is not prime. Res64: 66A7E26D1D8558C7 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:53:01] 879*2^1451127-1 is not prime. Res64: 13A8F9DE3CF22918 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:53:01] 979*2^1451127-1 is not prime. Res64: 928FCB7E56471742 Time : 0.0 sec. user=mdettweiler [2017-04-10 04:53:02] 677*2^1451128-1 is not prime. Res64: EAD11D99AAC64827 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:03:42] 713*2^1451128-1 is not prime. Res64: 0DAC77AAB3E2EF24 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:03:44] 827*2^1451128-1 is not prime. Res64: 8A36A8B741CEF7CA Time : 0.0 sec. user=mdettweiler [2017-04-10 05:03:45] 839*2^1451128-1 is not prime. Res64: 68BBCBB65744E42D Time : 0.0 sec. user=mdettweiler [2017-04-10 05:03:46] 685*2^1451129-1 is not prime. Res64: 89E910FD32A28871 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:03:48] 705*2^1451129-1 is not prime. Res64: CE529761C3A567E8 Time : 0.0 sec. user=juhehe [2017-04-10 05:04:40] 997*2^1451129-1 is not prime. Res64: 4CD850F674D12AD1 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:05:32] 727*2^1451129-1 is not prime. Res64: 5B6A08289B9C97F2 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:05:33] 741*2^1451129-1 is not prime. Res64: CD0EED5FCF71FB57 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:05:34] 811*2^1451129-1 is not prime. Res64: F6384B55281A672A Time : 0.0 sec. user=mdettweiler [2017-04-10 05:05:35] 847*2^1451129-1 is not prime. Res64: FF059FED6868736F Time : 0.0 sec. user=mdettweiler [2017-04-10 05:05:36] 955*2^1451129-1 is not prime. Res64: 4A40EA02260327C1 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:37:44] 633*2^1451130-1 is not prime. Res64: 387A4A957FB887B8 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:37:44] 723*2^1451130-1 is not prime. Res64: F00CC4517D69D199 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:37:44] 777*2^1451130-1 is not prime. Res64: E8A10EE81C3D42BA Time : 0.0 sec. user=mdettweiler [2017-04-10 05:37:45] 783*2^1451130-1 is not prime. Res64: 76BD560BAE937B8F Time : 0.0 sec. user=mdettweiler [2017-04-10 05:37:45] 927*2^1451130-1 is not prime. Res64: 64E02510325779A5 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:38:00] 625*2^1451131-1 is not prime. Res64: AABE867D604B487D Time : 0.0 sec. user=mdettweiler [2017-04-10 05:38:00] 751*2^1451131-1 is not prime. Res64: D93B4C8E3B4B2F1B Time : 0.0 sec. user=mdettweiler [2017-04-10 05:38:00] 901*2^1451131-1 is not prime. Res64: 8B93822F4E02A086 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:38:01] 605*2^1451132-1 is not prime. Res64: C0AA6D05246EB9EF Time : 0.0 sec. user=mdettweiler [2017-04-10 05:38:01] 635*2^1451132-1 is not prime. Res64: A77E72D19611AB87 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:49:19] 693*2^1451132-1 is not prime. Res64: D17AD927FB685A8E Time : 0.0 sec. user=mdettweiler [2017-04-10 05:49:19] 719*2^1451132-1 is not prime. Res64: 26B2D2B4D5C501F2 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:49:19] 819*2^1451132-1 is not prime. Res64: E634BE1EB9D6499C Time : 0.0 sec. user=mdettweiler [2017-04-10 05:49:20] 827*2^1451132-1 is not prime. Res64: 14D6D826E666EFB0 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:49:20] 843*2^1451132-1 is not prime. Res64: A74FC72937ACF931 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:50:38] 875*2^1451132-1 is not prime. Res64: F2975E7FE92667A9 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:50:39] 915*2^1451132-1 is not prime. Res64: 28DAB0FCC13441E9 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:50:39] 959*2^1451132-1 is not prime. Res64: 742F6936702DACD9 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:50:40] 963*2^1451132-1 is not prime. Res64: 1672F7978D4A94E3 Time : 0.0 sec. user=mdettweiler [2017-04-10 05:50:40] 615*2^1451133-1 is not prime. Res64: 62F572A2FF209618 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:47] 625*2^1451133-1 is not prime. Res64: AA101BDCA72A86D8 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:48] 651*2^1451133-1 is not prime. Res64: AD2B328282469943 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:48] 745*2^1451133-1 is not prime. Res64: 77E0D0F6FC4F7697 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:49] 751*2^1451133-1 is not prime. Res64: 316A3741703A5886 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:49] 859*2^1451133-1 is not prime. Res64: ED4FB945987AC18B Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:58] 885*2^1451133-1 is not prime. Res64: 845E6B313F70C3D6 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:58] 889*2^1451133-1 is not prime. Res64: F3D51366D0A7B80B Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:59] 919*2^1451133-1 is not prime. Res64: A72A769967462B69 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:59] 955*2^1451133-1 is not prime. Res64: F8DA57B7369E5C4B Time : 0.0 sec. user=mdettweiler [2017-04-10 06:22:59] 961*2^1451133-1 is not prime. Res64: 170BD1CF7209A287 Time : 0.0 sec. user=juhehe [2017-04-10 06:26:22] 741*2^1451134-1 is not prime. Res64: 513DADE1E6139041 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:34:19] 833*2^1451134-1 is not prime. Res64: 48D60FA0603B1CFD Time : 0.0 sec. user=mdettweiler [2017-04-10 06:34:20] 897*2^1451134-1 is not prime. Res64: 97B0207ADDB54E97 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:34:20] 945*2^1451134-1 is not prime. Res64: 26DA328B380CD0A7 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:34:20] 975*2^1451134-1 is not prime. Res64: 81E82B7CFD549BF7 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:34:21] 983*2^1451134-1 is not prime. Res64: 7CE8FFA4487B8D5F Time : 0.0 sec. user=mdettweiler [2017-04-10 06:35:36] 645*2^1451135-1 is not prime. Res64: 9290BC36EB586514 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:35:36] 705*2^1451135-1 is not prime. Res64: 193A627C51629A1A Time : 0.0 sec. user=mdettweiler [2017-04-10 06:35:36] 799*2^1451135-1 is not prime. Res64: E96DA46CEBDEF3D2 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:35:37] 825*2^1451135-1 is not prime. Res64: 19A4D35CC87253F8 Time : 0.0 sec. user=mdettweiler [2017-04-10 06:35:37] 921*2^1451135-1 is not prime. Res64: 08B65075F32B7FAF Time : 0.0 sec. user=juhehe [2017-04-10 07:05:28] 815*2^1451138-1 is not prime. Res64: 82F6C4B0D452D572 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:52] 801*2^1451137-1 is not prime. Res64: 1F223448B0272C77 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:53] 779*2^1451136-1 is not prime. Res64: 821081FA9A877A11 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:53] 831*2^1451137-1 is not prime. Res64: F1048C5688D05391 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:53] 837*2^1451136-1 is not prime. Res64: 9B40C3F40A5B7831 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:53] 861*2^1451137-1 is not prime. Res64: FE759F47851A4394 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:54] 903*2^1451136-1 is not prime. Res64: 9F3120490CA75D90 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:54] 955*2^1451137-1 is not prime. Res64: 974BAB84AC8413AA Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:54] 717*2^1451137-1 is not prime. Res64: 40E0F182B70FC4CA Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:54] 645*2^1451138-1 is not prime. Res64: E7376EE5B8813E54 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:07:54] 741*2^1451137-1 is not prime. Res64: F63709907311386D Time : 0.0 sec. user=mdettweiler [2017-04-10 07:19:22] 837*2^1451138-1 is not prime. Res64: 81EEF095EE7D9EDF Time : 0.0 sec. user=mdettweiler [2017-04-10 07:19:23] 875*2^1451138-1 is not prime. Res64: FCDA533B6652E6F0 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:19:23] 927*2^1451138-1 is not prime. Res64: BE524F6AEF62F6CD Time : 0.0 sec. user=mdettweiler [2017-04-10 07:19:23] 977*2^1451138-1 is not prime. Res64: 08794B5992282F49 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:19:24] 993*2^1451138-1 is not prime. Res64: F0DA22F76FAB7576 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:20:39] 613*2^1451139-1 is not prime. Res64: 2EE740E7D9995596 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:20:40] 895*2^1451139-1 is not prime. Res64: 264093349E9C2BB9 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:20:40] 913*2^1451139-1 is not prime. Res64: 0215AB605183568A Time : 0.0 sec. user=mdettweiler [2017-04-10 07:20:40] 943*2^1451139-1 is not prime. Res64: ED24CEF80CA37740 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:20:41] 765*2^1451140-1 is not prime. Res64: 244A5263FB5FEF8A Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:49] 989*2^1451140-1 is not prime. Res64: 59733F27B172851D Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:49] 601*2^1451141-1 is not prime. Res64: 47C32DFAEB3436D5 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:49] 651*2^1451141-1 is not prime. Res64: 08B55FF2A5EC81F4 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:50] 675*2^1451141-1 is not prime. Res64: 1A770EBC71B84347 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:50] 727*2^1451141-1 is not prime. Res64: 64BD17AED69B6718 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:57] 819*2^1451140-1 is not prime. Res64: 2C0C9F40CD23ABF7 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:57] 825*2^1451140-1 is not prime. Res64: F67F58FF1FE015D3 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:58] 839*2^1451140-1 is not prime. Res64: 01AB335FC60A604D Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:58] 885*2^1451140-1 is not prime. Res64: 0A177CF5B065A3B0 Time : 0.0 sec. user=mdettweiler [2017-04-10 07:52:58] 933*2^1451140-1 is not prime. Res64: EE919043BDD581F9 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:04:24] 747*2^1451141-1 is not prime. Res64: 8E3C9D7F1AE86228 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:04:27] 777*2^1451141-1 is not prime. Res64: A60FE59805375EF5 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:04:28] 901*2^1451141-1 is not prime. Res64: C69E4B18937412E5 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:04:29] 621*2^1451142-1 is not prime. Res64: C806E7F25AD53CFA Time : 0.0 sec. user=mdettweiler [2017-04-10 08:04:31] 651*2^1451142-1 is not prime. Res64: 53EEA3D4AC72A606 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:05:42] 657*2^1451142-1 is not prime. Res64: 3B8A83C841531A2A Time : 0.0 sec. user=mdettweiler [2017-04-10 08:05:43] 705*2^1451142-1 is not prime. Res64: A3BFE095C5E7E7CC Time : 0.0 sec. user=mdettweiler [2017-04-10 08:05:44] 765*2^1451142-1 is not prime. Res64: 3A83B2196397A853 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:05:45] 821*2^1451142-1 is not prime. Res64: A2355175F89414BE Time : 0.0 sec. user=mdettweiler [2017-04-10 08:05:46] 863*2^1451142-1 is not prime. Res64: 19432B12991BDF87 Time : 0.0 sec. user=juhehe [2017-04-10 08:25:51] 885*2^1451142-1 is not prime. Res64: BA36143A9CD94BB3 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:37:53] 945*2^1451142-1 is not prime. Res64: EEC48568A281572D Time : 0.0 sec. user=mdettweiler [2017-04-10 08:37:53] 853*2^1451143-1 is not prime. Res64: 2510A4E7210748F9 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:37:54] 901*2^1451143-1 is not prime. Res64: 5DB30E61EE245A38 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:37:54] 677*2^1451144-1 is not prime. Res64: 1BC12E733B4D965D Time : 0.0 sec. user=mdettweiler [2017-04-10 08:37:55] 743*2^1451144-1 is not prime. Res64: 9F235FE3501871E0 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:38:07] 795*2^1451144-1 is not prime. Res64: 8605464D0AB86058 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:38:07] 923*2^1451144-1 is not prime. Res64: 06AAEE9D824D1016 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:38:08] 969*2^1451144-1 is not prime. Res64: 2AACD7576FDC1310 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:38:08] 649*2^1451145-1 is not prime. Res64: 0311FE470AF93BA3 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:38:09] 699*2^1451145-1 is not prime. Res64: FADCE3AF8C1F175A Time : 0.0 sec. user=mdettweiler [2017-04-10 08:49:38] 727*2^1451145-1 is not prime. Res64: E5509E5495A36B71 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:49:38] 789*2^1451145-1 is not prime. Res64: E76B5C8A1EB7922F Time : 0.0 sec. user=mdettweiler [2017-04-10 08:49:39] 955*2^1451145-1 is not prime. Res64: 42E304E160234124 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:49:39] 635*2^1451146-1 is not prime. Res64: 376789C544F071D9 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:49:39] 737*2^1451146-1 is not prime. Res64: 41F758FA11978989 Time : 0.0 sec. user=mdettweiler [2017-04-10 08:50:46] 857*2^1451146-1 is not prime. Res64: 775E9EF11723B4AD Time : 0.0 sec. user=mdettweiler [2017-04-10 08:50:47] 873*2^1451146-1 is not prime. Res64: DF6FADB5D80AD0EC Time : 0.0 sec. user=mdettweiler [2017-04-10 08:50:47] 905*2^1451146-1 is not prime. Res64: 3A283C8D0DD9DF6F Time : 0.0 sec. user=mdettweiler [2017-04-10 08:50:47] 917*2^1451146-1 is not prime. Res64: FB8675E0DAA0920A Time : 0.0 sec. user=mdettweiler [2017-04-10 08:50:48] 941*2^1451146-1 is not prime. Res64: CF170EEB81A80BD9 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:22:52] 983*2^1451146-1 is not prime. Res64: CE8C35E7148FA030 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:22:52] 601*2^1451147-1 is not prime. Res64: 56B5E09730E8A529 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:22:53] 675*2^1451147-1 is not prime. Res64: 7C162A70620695FD Time : 0.0 sec. user=mdettweiler [2017-04-10 09:22:53] 705*2^1451147-1 is not prime. Res64: 4026142141018315 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:22:53] 733*2^1451147-1 is not prime. Res64: 49ADA77CD7C29C1A Time : 0.0 sec. user=mdettweiler [2017-04-10 09:23:09] 759*2^1451147-1 is not prime. Res64: DEAFFC0F8793B2BF Time : 0.0 sec. user=mdettweiler [2017-04-10 09:23:10] 805*2^1451147-1 is not prime. Res64: 1C506E5AB093F0FC Time : 0.0 sec. user=mdettweiler [2017-04-10 09:23:10] 861*2^1451147-1 is not prime. Res64: 77425F583D1B2C8C Time : 0.0 sec. user=mdettweiler [2017-04-10 09:23:10] 993*2^1451147-1 is not prime. Res64: E22472FCAD8F2853 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:23:11] 627*2^1451148-1 is not prime. Res64: 6FC1E31A8BAD7DCC Time : 0.0 sec. user=mdettweiler [2017-04-10 09:34:31] 669*2^1451148-1 is not prime. Res64: 5E3815CA5BD9B04D Time : 0.0 sec. user=mdettweiler [2017-04-10 09:34:31] 683*2^1451148-1 is not prime. Res64: 06BAFA07EA5D5A6B Time : 0.0 sec. user=mdettweiler [2017-04-10 09:34:32] 705*2^1451148-1 is not prime. Res64: 51326F8FBC6F7D56 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:34:32] 707*2^1451148-1 is not prime. Res64: BB60D8AD8DDA1EA8 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:34:32] 767*2^1451148-1 is not prime. Res64: CECBD8EEE1D35DD0 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:35:45] 839*2^1451148-1 is not prime. Res64: 2E1E301C396E11C5 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:35:45] 843*2^1451148-1 is not prime. Res64: BC37BFA1F3EFD5D1 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:35:46] 867*2^1451148-1 is not prime. Res64: 109A35A4A22A68B1 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:35:46] 875*2^1451148-1 is not prime. Res64: 3C87A451A3A476C3 Time : 0.0 sec. user=mdettweiler [2017-04-10 09:35:46] 909*2^1451148-1 is not prime. Res64: DD6624928503A6D2 Time : 0.0 sec. user=juhehe [2017-04-10 09:45:14] 831*2^1451149-1 is not prime. Res64: 3B9870A397689DDA Time : 0.0 sec. user=mdettweiler [2017-04-10 10:07:52] 861*2^1451149-1 is not prime. Res64: 2F25A8075E117C60 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:07:52] 987*2^1451149-1 is not prime. Res64: 225B5083246C580A Time : 0.0 sec. user=mdettweiler [2017-04-10 10:07:53] 603*2^1451150-1 is not prime. Res64: 1A068CD0DA675337 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:07:53] 747*2^1451150-1 is not prime. Res64: A366E2C1196A48B5 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:07:54] 761*2^1451150-1 is not prime. Res64: 0E95FC36EA5CA523 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:08:08] 845*2^1451150-1 is not prime. Res64: 332EFEF72301E530 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:08:08] 887*2^1451150-1 is not prime. Res64: 5E4B81FFF9F6EF0F Time : 0.0 sec. user=mdettweiler [2017-04-10 10:08:08] 923*2^1451150-1 is not prime. Res64: 1956B591BEB6F96A Time : 0.0 sec. user=mdettweiler [2017-04-10 10:08:09] 615*2^1451151-1 is not prime. Res64: 2FAD15CBAB623ADA Time : 0.0 sec. user=mdettweiler [2017-04-10 10:08:09] 703*2^1451151-1 is not prime. Res64: F49F55AED2B33DCC Time : 0.0 sec. user=mdettweiler [2017-04-10 10:19:46] 705*2^1451151-1 is not prime. Res64: FAE5E5574A2A2C7E Time : 0.0 sec. user=mdettweiler [2017-04-10 10:19:46] 783*2^1451151-1 is not prime. Res64: BCFEDB8CDF57A85D Time : 0.0 sec. user=mdettweiler [2017-04-10 10:19:47] 793*2^1451151-1 is not prime. Res64: 77DD7543874D0B7C Time : 0.0 sec. user=mdettweiler [2017-04-10 10:19:47] 969*2^1451151-1 is not prime. Res64: E4A0A2C9B4E68B9B Time : 0.0 sec. user=mdettweiler [2017-04-10 10:19:48] 975*2^1451151-1 is not prime. Res64: E69DFC6C6EF6BCBF Time : 0.0 sec. user=mdettweiler [2017-04-10 10:20:48] 603*2^1451152-1 is not prime. Res64: 65688CAAAA5E89B2 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:20:48] 639*2^1451152-1 is not prime. Res64: 8D5C504C854253DF Time : 0.0 sec. user=mdettweiler [2017-04-10 10:20:48] 677*2^1451152-1 is not prime. Res64: CD9B8FC72EAC7A94 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:20:49] 705*2^1451152-1 is not prime. Res64: 5FA0E933C0C2444F Time : 0.0 sec. user=mdettweiler [2017-04-10 10:20:49] 785*2^1451152-1 is not prime. Res64: 66210DFCEC5AB0C8 Time : 0.0 sec. user=juhehe [2017-04-10 10:24:12] 843*2^1451152-1 is not prime. Res64: 138C75AE666B974C Time : 0.0 sec. user=mdettweiler [2017-04-10 10:52:59] 615*2^1451153-1 is not prime. Res64: 42FD7F746E2188E7 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:52:59] 657*2^1451153-1 is not prime. Res64: 29335529040AE60F Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:00] 705*2^1451153-1 is not prime. Res64: 22E23F9831891A01 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:00] 727*2^1451153-1 is not prime. Res64: E87C37610D381A39 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:00] 769*2^1451153-1 is not prime. Res64: E54F30BFDD720DF1 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:15] 811*2^1451153-1 is not prime. Res64: C5F004CCE68D5B12 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:15] 937*2^1451153-1 is not prime. Res64: 415B99B499B06A8A Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:16] 611*2^1451154-1 is not prime. Res64: 6676CD317428B754 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:16] 657*2^1451154-1 is not prime. Res64: CD73CBBF257A88C0 Time : 0.0 sec. user=mdettweiler [2017-04-10 10:53:16] 663*2^1451154-1 is not prime. Res64: ABFCB7BE9F4D1B8B Time : 0.0 sec. user=mdettweiler [2017-04-10 11:04:42] 705*2^1451154-1 is not prime. Res64: B7EDC070A310C816 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:04:44] 791*2^1451154-1 is not prime. Res64: 992411A3494662F9 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:04:45] 921*2^1451154-1 is not prime. Res64: E4DB336701C4662C Time : 0.0 sec. user=mdettweiler [2017-04-10 11:04:46] 947*2^1451154-1 is not prime. Res64: DEEA5CD2CA71C422 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:04:47] 603*2^1451155-1 is not prime. Res64: BD6CB3B3FE237DA3 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:05:45] 619*2^1451155-1 is not prime. Res64: AD0A506697DFCEF4 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:05:46] 741*2^1451155-1 is not prime. Res64: 288C726820439338 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:05:46] 861*2^1451155-1 is not prime. Res64: A011F268FD8A29B9 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:05:47] 939*2^1451155-1 is not prime. Res64: 890F35EA9AF37DAF Time : 0.0 sec. user=mdettweiler [2017-04-10 11:05:47] 609*2^1451156-1 is not prime. Res64: BAF121862E876C72 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:37:57] 707*2^1451156-1 is not prime. Res64: F08E9C040DAEA07D Time : 0.0 sec. user=mdettweiler [2017-04-10 11:37:57] 827*2^1451156-1 is not prime. Res64: AB042D0DD0DFA451 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:37:58] 875*2^1451156-1 is not prime. Res64: 834C0B471C2B489F Time : 0.0 sec. user=mdettweiler [2017-04-10 11:37:58] 935*2^1451156-1 is not prime. Res64: 72F2B63268DC6438 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:37:58] 609*2^1451157-1 is not prime. Res64: 8C820818630E3F17 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:38:14] 651*2^1451157-1 is not prime. Res64: 9CD60320A3F6888F Time : 0.0 sec. user=mdettweiler [2017-04-10 11:38:15] 655*2^1451157-1 is not prime. Res64: 2E1B1C03B6C7C8C0 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:38:15] 765*2^1451157-1 is not prime. Res64: EE3E15DA1B281953 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:38:15] 849*2^1451157-1 is not prime. Res64: 1893FA49555BC21F Time : 0.0 sec. user=mdettweiler [2017-04-10 11:38:16] 867*2^1451157-1 is not prime. Res64: 485A68A573C5340A Time : 0.0 sec. user=juhehe [2017-04-10 11:44:46] 919*2^1451157-1 is not prime. Res64: 8D04D7B92B12869B Time : 0.0 sec. user=mdettweiler [2017-04-10 11:49:44] 985*2^1451157-1 is not prime. Res64: 0BE08085F8285338 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:49:44] 623*2^1451158-1 is not prime. Res64: D89403537243AB79 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:49:44] 665*2^1451158-1 is not prime. Res64: 47A9574198CF5414 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:49:45] 737*2^1451158-1 is not prime. Res64: 01219401004FF8AA Time : 0.0 sec. user=mdettweiler [2017-04-10 11:49:45] 765*2^1451158-1 is not prime. Res64: AD2C50E3FD0EDA5E Time : 0.0 sec. user=mdettweiler [2017-04-10 11:50:41] 791*2^1451158-1 is not prime. Res64: 299896B8631CC09C Time : 0.0 sec. user=mdettweiler [2017-04-10 11:50:41] 813*2^1451158-1 is not prime. Res64: 3B3FB0AC4148E3B0 Time : 0.0 sec. user=mdettweiler [2017-04-10 11:50:42] 827*2^1451158-1 is not prime. Res64: E44DA53AFCE463AA Time : 0.0 sec. user=mdettweiler [2017-04-10 11:50:42] 661*2^1451159-1 is not prime. Res64: 2B7905E00D57A05D Time : 0.0 sec. user=mdettweiler [2017-04-10 11:50:42] 663*2^1451159-1 is not prime. Res64: 58BABA71122661BE Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:02] 675*2^1451159-1 is not prime. Res64: 1AF0836B2D81FAA5 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:03] 679*2^1451159-1 is not prime. Res64: 3F6F40A0E7E371B4 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:03] 763*2^1451159-1 is not prime. Res64: 29F8B21A5047EFF2 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:03] 811*2^1451159-1 is not prime. Res64: A2C3F28A03015E3F Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:04] 831*2^1451159-1 is not prime. Res64: 000391318E69ADCC Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:11] 855*2^1451159-1 is not prime. Res64: 6C94360F056651AE Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:11] 879*2^1451159-1 is not prime. Res64: F16FC5D7C49C66E9 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:12] 921*2^1451159-1 is not prime. Res64: 6EF0560CA489BD7D Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:12] 931*2^1451159-1 is not prime. Res64: C6B491D4B762094F Time : 0.0 sec. user=mdettweiler [2017-04-10 12:23:12] 949*2^1451159-1 is not prime. Res64: 606C235AEA94A9F2 Time : 0.0 sec. user=juhehe [2017-04-10 12:26:39] 653*2^1451160-1 is not prime. Res64: 7CF1507704C4977E Time : 0.0 sec. user=mdettweiler [2017-04-10 12:34:47] 707*2^1451160-1 is not prime. Res64: 4EEEA4BA659E65D9 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:34:48] 713*2^1451160-1 is not prime. Res64: 7F24A4D7C4B12483 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:34:48] 857*2^1451160-1 is not prime. Res64: 5E030D52DE408142 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:34:48] 935*2^1451160-1 is not prime. Res64: 251130B6CD9BC49A Time : 0.0 sec. user=mdettweiler [2017-04-10 12:34:49] 601*2^1451161-1 is not prime. Res64: 7237AF0F660AED87 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:35:40] 607*2^1451161-1 is not prime. Res64: 060991A3DFB70620 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:35:41] 777*2^1451161-1 is not prime. Res64: FC8907A9EECCDD7C Time : 0.0 sec. user=mdettweiler [2017-04-10 12:35:41] 931*2^1451161-1 is not prime. Res64: 2D60604911766277 Time : 0.0 sec. user=mdettweiler [2017-04-10 12:35:41] 999*2^1451161-1 is not prime. Res64: 00BC6B471A97835C Time : 0.0 sec. user=mdettweiler [2017-04-10 12:35:42] 623*2^1451162-1 is not prime. Res64: 7E2E2EF4240ECDAD Time : 0.0 sec. user=mdettweiler [2017-04-10 13:07:58] 633*2^1451162-1 is not prime. Res64: 7DCF58434642325E Time : 0.0 sec. user=mdettweiler [2017-04-10 13:07:59] 675*2^1451162-1 is not prime. Res64: 92BB69C9B710456C Time : 0.0 sec. user=mdettweiler [2017-04-10 13:07:59] 711*2^1451162-1 is not prime. Res64: C431354D3C78CD67 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:07:59] 827*2^1451162-1 is not prime. Res64: CF6E29FD4CD0B9BF Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:00] 831*2^1451162-1 is not prime. Res64: C7F609D186B67410 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:15] 903*2^1451162-1 is not prime. Res64: 93368F1DB69C3884 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:15] 957*2^1451162-1 is not prime. Res64: 5140757AC35C78F1 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:15] 981*2^1451162-1 is not prime. Res64: 0D5EE3FE9CD7986C Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:16] 619*2^1451163-1 is not prime. Res64: 9B3E5CC8FD98EF60 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:08:16] 705*2^1451163-1 is not prime. Res64: 13AE88C2FE017E96 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:19:52] 723*2^1451163-1 is not prime. Res64: 66AA0730B52A244C Time : 0.0 sec. user=mdettweiler [2017-04-10 13:19:52] 751*2^1451163-1 is not prime. Res64: 07E31FD4AE52ADED Time : 0.0 sec. user=mdettweiler [2017-04-10 13:19:52] 781*2^1451163-1 is not prime. Res64: D3DA0174F1891877 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:19:53] 901*2^1451163-1 is not prime. Res64: AAD83BE9D758AC6A Time : 0.0 sec. user=mdettweiler [2017-04-10 13:19:53] 803*2^1451164-1 is not prime. Res64: A9EE48B98911B9A5 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:20:39] 819*2^1451164-1 is not prime. Res64: F548CBAB933983DC Time : 0.0 sec. user=mdettweiler [2017-04-10 13:20:40] 827*2^1451164-1 is not prime. Res64: C6E67302A5F76D2E Time : 0.0 sec. user=mdettweiler [2017-04-10 13:20:40] 857*2^1451164-1 is not prime. Res64: 169BAECF7D6ADCBA Time : 0.0 sec. user=mdettweiler [2017-04-10 13:20:40] 927*2^1451164-1 is not prime. Res64: 7E2FF4A174F8FC70 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:20:41] 619*2^1451165-1 is not prime. Res64: 4BDA36749A7FA7BE Time : 0.0 sec. user=juhehe [2017-04-10 13:48:38] 609*2^1451167-1 is not prime. Res64: 166FE1563CB05E80 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:52:58] 699*2^1451165-1 is not prime. Res64: 3294E3C26B27A147 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:52:58] 825*2^1451165-1 is not prime. Res64: 864750BD2BF1D35E Time : 0.0 sec. user=mdettweiler [2017-04-10 13:52:59] 871*2^1451165-1 is not prime. Res64: 1F1D20AE4C532AF9 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:52:59] 889*2^1451165-1 is not prime. Res64: 371D134AE1DDDECD Time : 0.0 sec. user=mdettweiler [2017-04-10 13:52:59] 979*2^1451165-1 is not prime. Res64: F16BBA6F0538C08C Time : 0.0 sec. user=mdettweiler [2017-04-10 13:53:24] 635*2^1451166-1 is not prime. Res64: 314D768A7941B86E Time : 0.0 sec. user=mdettweiler [2017-04-10 13:53:24] 705*2^1451166-1 is not prime. Res64: 21FD542EDA5B8A30 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:53:25] 713*2^1451166-1 is not prime. Res64: CB4291A09687E702 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:53:25] 867*2^1451166-1 is not prime. Res64: 1B9E439E6489AD75 Time : 0.0 sec. user=mdettweiler [2017-04-10 13:53:26] 983*2^1451166-1 is not prime. Res64: 0EB6AB3386FF513E Time : 0.0 sec. user=juhehe [2017-04-10 13:55:19] 675*2^1451167-1 is not prime. Res64: 80E729EE7C9D104D Time : 0.0 sec. user=mdettweiler [2017-04-10 14:04:57] 715*2^1451167-1 is not prime. Res64: 9EE457087393D586 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:04:59] 945*2^1451167-1 is not prime. Res64: F7BD13FA2D030D57 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:01] 645*2^1451168-1 is not prime. Res64: B501BDD1593F70F7 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:03] 665*2^1451168-1 is not prime. Res64: 748B318ACF1E5B63 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:05] 683*2^1451168-1 is not prime. Res64: 61172C3A88F48B15 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:42] 773*2^1451168-1 is not prime. Res64: 49351755BC2C07CD Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:43] 867*2^1451168-1 is not prime. Res64: 981B20D74E3FD63F Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:45] 649*2^1451169-1 is not prime. Res64: 7336D58D154D97B9 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:48] 669*2^1451169-1 is not prime. Res64: A54A08980F3C0B0F Time : 0.0 sec. user=mdettweiler [2017-04-10 14:05:50] 751*2^1451169-1 is not prime. Res64: 4C8FD3F4356230B1 Time : 0.0 sec. user=juhehe [2017-04-10 14:27:38] 969*2^1451169-1 is not prime. Res64: 4D8EFF2D9A38B741 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:04] 997*2^1451169-1 is not prime. Res64: 5EB8305D01A44B74 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:04] 681*2^1451170-1 is not prime. Res64: 7C6D38F29C3028DF Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:04] 701*2^1451170-1 is not prime. Res64: 183E94C0C2EF8031 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:05] 741*2^1451170-1 is not prime. Res64: F21167FD003D36AD Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:05] 827*2^1451170-1 is not prime. Res64: 3D98F4BE6084F9DE Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:35] 887*2^1451170-1 is not prime. Res64: C03FABBB6440705B Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:36] 923*2^1451170-1 is not prime. Res64: AADAC36222872153 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:36] 981*2^1451170-1 is not prime. Res64: E3AC10695D687F1B Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:37] 609*2^1451171-1 is not prime. Res64: 3BAA0CD0A44809C8 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:38:37] 745*2^1451171-1 is not prime. Res64: D509DDF74EF8378F Time : 0.0 sec. user=mdettweiler [2017-04-10 14:50:37] 801*2^1451171-1 is not prime. Res64: 5C2AAD8C48F35F6C Time : 0.0 sec. user=mdettweiler [2017-04-10 14:50:38] 823*2^1451171-1 is not prime. Res64: 3F3DB4E33BF809E6 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:50:38] 955*2^1451171-1 is not prime. Res64: 6A2D13BECCC326E7 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:50:39] 991*2^1451171-1 is not prime. Res64: 0A9101A1C67ECE64 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:50:39] 693*2^1451172-1 is not prime. Res64: 8C6F51AE366CAF9E Time : 0.0 sec. user=mdettweiler [2017-04-10 14:51:11] 759*2^1451172-1 is not prime. Res64: 80808B428B4B8F31 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:51:11] 923*2^1451172-1 is not prime. Res64: 1E634B4CBFA4A8B1 Time : 0.0 sec. user=mdettweiler [2017-04-10 14:51:11] 947*2^1451172-1 is not prime. Res64: 457BD28EA77D38CD Time : 0.0 sec. user=mdettweiler [2017-04-10 14:51:12] 649*2^1451173-1 is not prime. Res64: F49CAF40BC4C265F Time : 0.0 sec. user=mdettweiler [2017-04-10 14:51:12] 675*2^1451173-1 is not prime. Res64: 581BEDA76D44977B Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:28] 687*2^1451173-1 is not prime. Res64: 100496BA497B82B5 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:28] 699*2^1451173-1 is not prime. Res64: 5AE425C141860399 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:29] 675*2^1451174-1 is not prime. Res64: E1890027FB4FA47D Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:29] 731*2^1451174-1 is not prime. Res64: 0090726D38C16D57 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:30] 753*2^1451174-1 is not prime. Res64: 1275307B926D531D Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:44] 755*2^1451174-1 is not prime. Res64: DC588B1E7BCFDA00 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:45] 825*2^1451174-1 is not prime. Res64: 1183D45AC2485AA6 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:45] 885*2^1451174-1 is not prime. Res64: 4025C84C987217EA Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:45] 1001*2^1451174-1 is not prime. Res64: 5D51B96015F0D69A Time : 0.0 sec. user=mdettweiler [2017-04-10 15:24:46] 741*2^1451175-1 is not prime. Res64: F4254D2670B4E94F Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:29] 765*2^1451175-1 is not prime. Res64: 66DF6516B4E5AE2B Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:29] 775*2^1451175-1 is not prime. Res64: 7254EC5555726EBE Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:29] 805*2^1451175-1 is not prime. Res64: 883002B221D97FBD Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:30] 853*2^1451175-1 is not prime. Res64: CF92FA7C351FF9B1 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:30] 861*2^1451175-1 is not prime. Res64: A9AD0E9033748391 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:46] 873*2^1451175-1 is not prime. Res64: BFC3F1D2A113C7C9 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:47] 949*2^1451175-1 is not prime. Res64: 92BAEF8865C230C3 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:47] 963*2^1451175-1 is not prime. Res64: 2CB6CEEF08199722 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:47] 999*2^1451175-1 is not prime. Res64: 3E8732E32E36A5E1 Time : 0.0 sec. user=mdettweiler [2017-04-10 15:37:47] 899*2^1451176-1 is not prime. Res64: 8AAD6EDC11B21D7F Time : 0.0 sec. user=juhehe [2017-04-10 15:46:49] 939*2^1451176-1 is not prime. Res64: FCBBC223E0537A2A Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:10] 931*2^1451177-1 is not prime. Res64: 95D6FCE0C8F785AD Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:11] 633*2^1451178-1 is not prime. Res64: CB2256D704AE229B Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:11] 635*2^1451178-1 is not prime. Res64: 199514D84B6F9BDC Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:11] 641*2^1451178-1 is not prime. Res64: 2A057DAB80511E7E Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:12] 651*2^1451178-1 is not prime. Res64: 58490892E418F093 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:24] 989*2^1451176-1 is not prime. Res64: A555DE39506D8EE0 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:25] 619*2^1451177-1 is not prime. Res64: CC3EAD722BC13A43 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:25] 841*2^1451177-1 is not prime. Res64: 402088267F80EE1E Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:25] 879*2^1451177-1 is not prime. Res64: BEBE8B61CCE79981 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:13:26] 889*2^1451177-1 is not prime. Res64: B1E139D6E09AC422 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:26:55] 713*2^1451178-1 is not prime. Res64: 64CF8A6370FA5102 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:26:56] 803*2^1451178-1 is not prime. Res64: 08F0354606B617D2 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:26:56] 891*2^1451178-1 is not prime. Res64: ABB3F6FE2A8E7785 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:26:56] 915*2^1451178-1 is not prime. Res64: 5F3FD6C67366FB8C Time : 0.0 sec. user=mdettweiler [2017-04-10 16:26:57] 957*2^1451178-1 is not prime. Res64: 4E6987C523007DD2 Time : 0.0 sec. user=juhehe [2017-04-10 16:27:13] 859*2^1451179-1 is not prime. Res64: 06A5B892187BACCF Time : 0.0 sec. user=mdettweiler [2017-04-10 16:27:18] 1001*2^1451178-1 is not prime. Res64: 1C83FF3D04A1ACDA Time : 0.0 sec. user=mdettweiler [2017-04-10 16:27:18] 601*2^1451179-1 is not prime. Res64: 17184C3BCF356569 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:27:19] 691*2^1451179-1 is not prime. Res64: BB95F0BEA8E7A382 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:27:19] 693*2^1451179-1 is not prime. Res64: B0F4BEDC668A0632 Time : 0.0 sec. user=mdettweiler [2017-04-10 16:27:19] 855*2^1451179-1 is not prime. Res64: 2D5B9D7BAC109EB8 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:00] 937*2^1451181-1 is not prime. Res64: 7C6E8ED73255BD02 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:01] 991*2^1451181-1 is not prime. Res64: D125AEC7D18ECAFD Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:02] 635*2^1451182-1 is not prime. Res64: 135C00A31E3B8DA7 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:02] 695*2^1451182-1 is not prime. Res64: E3F58EC8A7F55268 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:03] 741*2^1451182-1 is not prime. Res64: 947071D5E9BF1E84 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:19] 883*2^1451179-1 is not prime. Res64: 38B2B86DCE292B8F Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:20] 909*2^1451180-1 is not prime. Res64: 62EBF37DD0F644B6 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:21] 717*2^1451181-1 is not prime. Res64: 564A8CAB95AD6720 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:21] 735*2^1451181-1 is not prime. Res64: 396373DBD59F95A9 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:02:23] 777*2^1451181-1 is not prime. Res64: AD49C86B3EC72B4E Time : 0.0 sec. user=mdettweiler [2017-04-10 17:14:42] 755*2^1451182-1 is not prime. Res64: 59625F6CAEA6B106 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:14:42] 815*2^1451182-1 is not prime. Res64: FCD6CCD625D29E6A Time : 0.0 sec. user=mdettweiler [2017-04-10 17:14:42] 831*2^1451182-1 is not prime. Res64: 05762FCBDA65DC6E Time : 0.0 sec. user=mdettweiler [2017-04-10 17:14:42] 923*2^1451182-1 is not prime. Res64: CE165BFA901CC167 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:14:43] 945*2^1451182-1 is not prime. Res64: B4319C5B0055CE78 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:15:15] 947*2^1451182-1 is not prime. Res64: CE2ADC77A4FF8293 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:15:16] 965*2^1451182-1 is not prime. Res64: B49259ECAA1C1B9C Time : 0.0 sec. user=mdettweiler [2017-04-10 17:15:16] 987*2^1451182-1 is not prime. Res64: D8BFD87E3887628E Time : 0.0 sec. user=mdettweiler [2017-04-10 17:15:16] 729*2^1451183-1 is not prime. Res64: 1F06C202656D440E Time : 0.0 sec. user=mdettweiler [2017-04-10 17:15:16] 739*2^1451183-1 is not prime. Res64: AF9F1A856BAD4B74 Time : 0.0 sec. user=juhehe [2017-04-10 17:47:00] 895*2^1451185-1 is not prime. Res64: 07C9B090CD78C762 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:14] 753*2^1451183-1 is not prime. Res64: 835D8E15E985DDFC Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:14] 823*2^1451183-1 is not prime. Res64: 625D4AC9E043FB38 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:14] 825*2^1451183-1 is not prime. Res64: 4DB43955EC837A84 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:15] 855*2^1451183-1 is not prime. Res64: 2C8DBE6A31759835 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:15] 705*2^1451184-1 is not prime. Res64: 1B862905A5BE47D4 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:33] 863*2^1451184-1 is not prime. Res64: A8ED659C2A6DD325 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:33] 651*2^1451185-1 is not prime. Res64: 41F531972EC214EE Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:33] 691*2^1451185-1 is not prime. Res64: 6BF42122949A1B08 Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:33] 855*2^1451185-1 is not prime. Res64: 8C2094F5097FDE4A Time : 0.0 sec. user=mdettweiler [2017-04-10 17:51:34] 861*2^1451185-1 is not prime. Res64: 1F4EC87744A16A1C Time : 0.0 sec. user=mdettweiler [2017-04-10 18:02:57] 897*2^1451185-1 is not prime. Res64: D664B21858CD3CAA Time : 0.0 sec. user=mdettweiler [2017-04-10 18:02:58] 919*2^1451185-1 is not prime. Res64: BEE83964E1C547BD Time : 0.0 sec. user=mdettweiler [2017-04-10 18:02:59] 711*2^1451186-1 is not prime. Res64: B8A688C360990684 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:00] 955*2^1451185-1 is not prime. Res64: 193C50DC453495C2 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:01] 651*2^1451186-1 is not prime. Res64: 2E01D3E2EA3BE63B Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:01] 743*2^1451186-1 is not prime. Res64: 2E0C95C4CFB65BE2 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:02] 657*2^1451186-1 is not prime. Res64: 643D19DFC34DDF5F Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:03] 941*2^1451186-1 is not prime. Res64: 209A901DC5EAD805 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:04] 971*2^1451186-1 is not prime. Res64: 93C99F212C69478D Time : 0.0 sec. user=mdettweiler [2017-04-10 18:03:06] 639*2^1451187-1 is not prime. Res64: C5422CAB82F0C6A2 Time : 0.0 sec. user=juhehe [2017-04-10 18:25:52] 669*2^1451187-1 is not prime. Res64: EAFDA5FB78427D04 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:37] 711*2^1451187-1 is not prime. Res64: 69FFBBC2857A2B69 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:38] 741*2^1451187-1 is not prime. Res64: 70710DE2B6DE2F4C Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:38] 751*2^1451187-1 is not prime. Res64: 9FEF6DD010A882BE Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:38] 829*2^1451187-1 is not prime. Res64: 0D6B501E70B797E1 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:38] 903*2^1451187-1 is not prime. Res64: 0C2564FC0665CB73 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:41] 603*2^1451188-1 is not prime. Res64: F89AED36FD1A44F9 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:41] 677*2^1451188-1 is not prime. Res64: CAC743140F8057FC Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:42] 695*2^1451188-1 is not prime. Res64: 1C47803127E617B9 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:42] 749*2^1451188-1 is not prime. Res64: 71D357A1FA6150EE Time : 0.0 sec. user=mdettweiler [2017-04-10 18:38:42] 783*2^1451188-1 is not prime. Res64: 561DA8F59E95BE55 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:52] 631*2^1451189-1 is not prime. Res64: C2BADD73E6DB553D Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:52] 655*2^1451189-1 is not prime. Res64: 3178DD5FFFA7A014 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:52] 759*2^1451189-1 is not prime. Res64: B46AB15B65A69703 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:53] 819*2^1451188-1 is not prime. Res64: C7E5B5B4176AA88B Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:53] 769*2^1451189-1 is not prime. Res64: 820FA93749FC6DD9 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:53] 855*2^1451188-1 is not prime. Res64: 1498DE1B1037235B Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:53] 787*2^1451189-1 is not prime. Res64: 4E9EA42916DB2A74 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:54] 953*2^1451188-1 is not prime. Res64: 05630DD18F8A6642 Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:54] 969*2^1451188-1 is not prime. Res64: 02AAE3AEDB531F8B Time : 0.0 sec. user=mdettweiler [2017-04-10 18:51:54] 621*2^1451189-1 is not prime. Res64: 91CAD7D2A4670FDC Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:22] 833*2^1451190-1 is not prime. Res64: 1F15EF6B19B09D87 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:22] 873*2^1451190-1 is not prime. Res64: 5FC3DD2E4769D01C Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:23] 921*2^1451190-1 is not prime. Res64: C3209259FBBAFF97 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:23] 951*2^1451190-1 is not prime. Res64: F5C05EC454CAE766 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:24] 971*2^1451190-1 is not prime. Res64: FAC4B01FD61106B6 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:28] 861*2^1451189-1 is not prime. Res64: 9F7B17AEC2E91174 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:28] 885*2^1451189-1 is not prime. Res64: 5F7685827AE4CC69 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:29] 987*2^1451189-1 is not prime. Res64: 5D3400143F55398F Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:29] 991*2^1451189-1 is not prime. Res64: 24982C23CD160FEF Time : 0.0 sec. user=mdettweiler [2017-04-10 19:25:29] 647*2^1451190-1 is not prime. Res64: 15786D050A08E38E Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:25] 645*2^1451191-1 is not prime. Res64: E6E91D43D4EFD0D0 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 681*2^1451191-1 is not prime. Res64: 09B1788C09B4E62D Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 689*2^1451192-1 is not prime. Res64: 21B5D8113862035B Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 783*2^1451191-1 is not prime. Res64: CA3655657D0383D6 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 743*2^1451192-1 is not prime. Res64: F9CB7FBF51E05625 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 855*2^1451191-1 is not prime. Res64: B6DC15990674A11E Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:26] 759*2^1451192-1 is not prime. Res64: D926B70E35B91264 Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:27] 933*2^1451191-1 is not prime. Res64: C2B7E9F39486AD5D Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:27] 855*2^1451192-1 is not prime. Res64: CEE8A00EF2ACC8EE Time : 0.0 sec. user=mdettweiler [2017-04-10 19:37:27] 899*2^1451192-1 is not prime. Res64: F7CF2F71EBCDFC46 Time : 0.0 sec. user=juhehe [2017-04-10 19:46:48] 915*2^1451192-1 is not prime. Res64: 8AC5CE0836EDF2C8 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:28] 917*2^1451192-1 is not prime. Res64: 38DA9AFE42A5416F Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:29] 999*2^1451192-1 is not prime. Res64: 00361FC50257B962 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:29] 615*2^1451193-1 is not prime. Res64: 4AC96FC51E075E14 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:29] 705*2^1451193-1 is not prime. Res64: 9E7A5B8D2518F227 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:30] 741*2^1451193-1 is not prime. Res64: 55D2F5862B7DBEBD Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:36] 805*2^1451193-1 is not prime. Res64: 99914D52BD4D8B90 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:36] 819*2^1451193-1 is not prime. Res64: 6649D800B4E730D5 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:37] 877*2^1451193-1 is not prime. Res64: 2F6D0FB5BE9697EF Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:37] 895*2^1451193-1 is not prime. Res64: 1F49764B115BA009 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:10:37] 621*2^1451194-1 is not prime. Res64: B91B30F4F17D8313 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:39] 685*2^1451195-1 is not prime. Res64: D6E7B90FD1924690 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:39] 693*2^1451195-1 is not prime. Res64: 0F158BFC554C93C2 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:39] 681*2^1451194-1 is not prime. Res64: 7B206C2A3F2E2B38 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 699*2^1451195-1 is not prime. Res64: 24511B47A5F144B1 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 701*2^1451194-1 is not prime. Res64: 4FAD0CD57AC12EA8 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 735*2^1451195-1 is not prime. Res64: 828C5FD592E51734 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 815*2^1451194-1 is not prime. Res64: 0AD431C176A8463E Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 789*2^1451195-1 is not prime. Res64: 7EF969622B291599 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:40] 975*2^1451194-1 is not prime. Res64: 6206BDCEC3CD86C1 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:22:41] 619*2^1451195-1 is not prime. Res64: 4540C5D4B7DAA668 Time : 0.0 sec. user=juhehe [2017-04-10 20:28:47] 859*2^1451195-1 is not prime. Res64: 0CD3406A3FB2D756 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:30] 963*2^1451195-1 is not prime. Res64: 1472178DF8D13586 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:30] 979*2^1451195-1 is not prime. Res64: C629AEDF41768319 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:31] 981*2^1451195-1 is not prime. Res64: 6CC9CC3512008CAC Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:31] 675*2^1451196-1 is not prime. Res64: 481A7F8A17ABC01D Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:31] 689*2^1451196-1 is not prime. Res64: 5E9F01C2D06672B7 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:38] 719*2^1451196-1 is not prime. Res64: 6459F5DE4EF9301C Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:38] 749*2^1451196-1 is not prime. Res64: 63593AC836FEF821 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:39] 839*2^1451196-1 is not prime. Res64: 1849C9FDDAD103AD Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:39] 845*2^1451196-1 is not prime. Res64: 98F8DDFF95655740 Time : 0.0 sec. user=mdettweiler [2017-04-10 20:55:39] 615*2^1451197-1 is not prime. Res64: A4B610B5E355EAA4 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:48] 667*2^1451197-1 is not prime. Res64: 7CDE853E34D0317C Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:49] 791*2^1451198-1 is not prime. Res64: B4B85B7343AE667D Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:49] 875*2^1451198-1 is not prime. Res64: 90A1C6429DD45455 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:50] 887*2^1451198-1 is not prime. Res64: F9E14D64B7C76889 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:50] 693*2^1451199-1 is not prime. Res64: 507554DDD9BD8FF5 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:58] 729*2^1451197-1 is not prime. Res64: 9645EFE633059BA4 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:59] 741*2^1451197-1 is not prime. Res64: F78AFAB34C971711 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:07:59] 817*2^1451197-1 is not prime. Res64: A8354BAC7A770198 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:08:00] 945*2^1451197-1 is not prime. Res64: EDF9A30015E656E8 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:08:00] 957*2^1451197-1 is not prime. Res64: 369674930E04454D Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:35] 711*2^1451199-1 is not prime. Res64: 772CA0E681A0666C Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:36] 931*2^1451199-1 is not prime. Res64: 3BBA5C05AE4A44A5 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:36] 961*2^1451199-1 is not prime. Res64: DF82DF4C53361C37 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:37] 969*2^1451199-1 is not prime. Res64: 58DA5EA9C92A8E03 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:37] 603*2^1451200-1 is not prime. Res64: 8FB6964E820558D1 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:41] 629*2^1451200-1 is not prime. Res64: F5E83AC64DF9DE22 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:41] 635*2^1451200-1 is not prime. Res64: 3444006394554D93 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:41] 665*2^1451200-1 is not prime. Res64: 07A9D6C1296E97BD Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:42] 719*2^1451200-1 is not prime. Res64: B1BEA4B2D2F5CAFC Time : 0.0 sec. user=mdettweiler [2017-04-10 21:40:42] 989*2^1451200-1 is not prime. Res64: 22F37D92F65228A9 Time : 0.0 sec. user=juhehe [2017-04-10 21:50:16] 717*2^1451202-1 is not prime. Res64: 59F4D63C30BD6A96 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:52:58] 995*2^1451200-1 is not prime. Res64: 7ECC4C48AD4F215A Time : 0.0 sec. user=mdettweiler [2017-04-10 21:52:59] 675*2^1451201-1 is not prime. Res64: E00222A7AB99BBC1 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:52:59] 691*2^1451201-1 is not prime. Res64: FEB06CD089665C12 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:52:59] 717*2^1451201-1 is not prime. Res64: E524C905804DB6E9 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:00] 727*2^1451201-1 is not prime. Res64: 3917C55E038F6398 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:11] 885*2^1451201-1 is not prime. Res64: 5B5D2A21222277D1 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:11] 937*2^1451201-1 is not prime. Res64: E74944E2C07E3618 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:12] 951*2^1451201-1 is not prime. Res64: FABBA08CE8747D15 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:12] 987*2^1451201-1 is not prime. Res64: 27AF8FC971BCA336 Time : 0.0 sec. user=mdettweiler [2017-04-10 21:53:12] 997*2^1451201-1 is not prime. Res64: 1A71BF8ADC78C836 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:37] 741*2^1451202-1 is not prime. Res64: 3236EAD03B8F863F Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:37] 797*2^1451202-1 is not prime. Res64: 1B7D3D6FEF6AA94E Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:38] 837*2^1451202-1 is not prime. Res64: B7D5CDFCBAC33F08 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:38] 875*2^1451202-1 is not prime. Res64: 4D6497729AE770B9 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:38] 947*2^1451202-1 is not prime. Res64: 04AC866E918864DE Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:44] 609*2^1451203-1 is not prime. Res64: B6A3A12ACD5C1DAB Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:44] 615*2^1451203-1 is not prime. Res64: AF7FE44E48D80DC1 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:45] 943*2^1451203-1 is not prime. Res64: 46BE216ED41B8321 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:45] 951*2^1451203-1 is not prime. Res64: 48277C35E14741DC Time : 0.0 sec. user=mdettweiler [2017-04-10 22:26:45] 617*2^1451204-1 is not prime. Res64: 4998E3A0C6256879 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:38:53] 639*2^1451205-1 is not prime. Res64: 6745826491C5B469 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:38:53] 789*2^1451205-1 is not prime. Res64: 34715939A61F08C2 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:38:54] 927*2^1451205-1 is not prime. Res64: 56250AF667A163A1 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:38:54] 999*2^1451205-1 is not prime. Res64: 5A43CB694CF972B4 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:38:54] 777*2^1451206-1 is not prime. Res64: AFECACFA2FED4954 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:39:00] 725*2^1451204-1 is not prime. Res64: 26BC0234F7DC6367 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:39:00] 833*2^1451204-1 is not prime. Res64: 7123B02395E22522 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:39:01] 897*2^1451204-1 is not prime. Res64: C5E5680E870FFBA7 Time : 0.0 sec. user=mdettweiler [2017-04-10 22:39:01] 915*2^1451204-1 is not prime. Res64: 8137721BB7B7292C Time : 0.0 sec. user=mdettweiler [2017-04-10 22:39:02] 983*2^1451204-1 is not prime. Res64: 473A0B35928C4459 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:08] 857*2^1451206-1 is not prime. Res64: CB02E9988AB1C980 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:08] 711*2^1451207-1 is not prime. Res64: 850435EB47469F08 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:08] 729*2^1451207-1 is not prime. Res64: 318C783D63095A04 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:09] 735*2^1451207-1 is not prime. Res64: 662761204D8A4D83 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:09] 741*2^1451207-1 is not prime. Res64: 211C14566DCA9A75 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:20] 949*2^1451207-1 is not prime. Res64: 5F39331CDDE16621 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:20] 629*2^1451208-1 is not prime. Res64: 801E4B086237B491 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:20] 633*2^1451208-1 is not prime. Res64: 796DA51163230D79 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:21] 777*2^1451208-1 is not prime. Res64: 4C933B9F9A4623A5 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:12:21] 999*2^1451208-1 is not prime. Res64: 8E24723EBE3FDC0C Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:27] 625*2^1451209-1 is not prime. Res64: 9F0FDD6B3BD919E4 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:27] 603*2^1451210-1 is not prime. Res64: DF9B80491C35A0C0 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:28] 801*2^1451209-1 is not prime. Res64: BB8723C596ED5112 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:28] 675*2^1451210-1 is not prime. Res64: 91CF9307A98AC31C Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:28] 847*2^1451209-1 is not prime. Res64: 3DAB5C089CCAE73B Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:28] 707*2^1451210-1 is not prime. Res64: D88821F3C4B5D135 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:29] 867*2^1451209-1 is not prime. Res64: E29DB07BE77A089C Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:29] 713*2^1451210-1 is not prime. Res64: 4990794A05437C9A Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:29] 877*2^1451209-1 is not prime. Res64: 9DB1203FA2BA0E9D Time : 0.0 sec. user=mdettweiler [2017-04-10 23:24:29] 831*2^1451210-1 is not prime. Res64: 01F4C06B68E5915B Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:14] 953*2^1451210-1 is not prime. Res64: B3A8BBF0FF6406C6 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:15] 651*2^1451211-1 is not prime. Res64: FF75F035379EE4F7 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:15] 751*2^1451211-1 is not prime. Res64: 9C3209434F0E630C Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:15] 861*2^1451211-1 is not prime. Res64: B24FCD055A07C937 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:16] 871*2^1451211-1 is not prime. Res64: 592C07D5B899CCD6 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:34] 931*2^1451211-1 is not prime. Res64: F7A2101805566806 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:34] 615*2^1451212-1 is not prime. Res64: 40A0F2CA526C2691 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:34] 695*2^1451212-1 is not prime. Res64: 2CEAAB72ACD23053 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:35] 923*2^1451212-1 is not prime. Res64: 77CE93AD20C49ED5 Time : 0.0 sec. user=mdettweiler [2017-04-10 23:57:35] 669*2^1451213-1 is not prime. Res64: 7AB26B8CEE40F109 Time : 0.0 sec.