user=mdettweiler [2018-06-26 00:37:21] 923*2^1514380-1 is not prime. Res64: C4E9B884F12C1A78 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:37:22] 619*2^1514381-1 is not prime. Res64: B5C7E7B5BDB60CF9 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:37:22] 657*2^1514381-1 is not prime. Res64: C92715B69E86EDEF Time : 0.0 sec. user=mdettweiler [2018-06-26 00:37:23] 669*2^1514381-1 is not prime. Res64: 9F0E51E58626E505 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:37:23] 745*2^1514381-1 is not prime. Res64: 09ADAB8F461DB364 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:44:39] 615*2^1514382-1 is not prime. Res64: 8BBD4BB704A971B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:44:40] 653*2^1514382-1 is not prime. Res64: 3D80BC146EB6F3D6 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:44:40] 711*2^1514382-1 is not prime. Res64: D617F79A8ABA96D0 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:44:40] 843*2^1514382-1 is not prime. Res64: 9B234F7B3E7DFB5F Time : 0.0 sec. user=mdettweiler [2018-06-26 00:44:41] 887*2^1514382-1 is not prime. Res64: 31E1291FBCE93CE9 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:50:57] 893*2^1514382-1 is not prime. Res64: 315F05F7428155F5 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:50:58] 965*2^1514382-1 is not prime. Res64: 0703CA8355580D8A Time : 0.0 sec. user=mdettweiler [2018-06-26 00:50:58] 729*2^1514383-1 is not prime. Res64: D37C1974B62CE4C0 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:50:59] 805*2^1514383-1 is not prime. Res64: 5E215258DAD198B4 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:50:59] 943*2^1514383-1 is not prime. Res64: FD5F2D4746C18AE2 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:52:36] 945*2^1514383-1 is not prime. Res64: BE7AFE42FDB4A071 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:52:37] 999*2^1514383-1 is not prime. Res64: 662451FA2C24E679 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:52:37] 605*2^1514384-1 is not prime. Res64: A2B372B3E4E5D7E6 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:52:37] 755*2^1514384-1 is not prime. Res64: 246053E36650FBE7 Time : 0.0 sec. user=mdettweiler [2018-06-26 00:52:38] 825*2^1514384-1 is not prime. Res64: 5C3FC032ACAF84C4 Time : 0.0 sec. user=juhehe [2018-06-26 00:56:50] 833*2^1514384-1 is not prime. Res64: 2CE3C1D519D4122D Time : 0.0 sec. user=mdettweiler [2018-06-26 01:27:45] 857*2^1514384-1 is not prime. Res64: C18711FD2A944CAD Time : 0.0 sec. user=mdettweiler [2018-06-26 01:27:46] 899*2^1514384-1 is not prime. Res64: 20FF5DD864382FEF Time : 0.0 sec. user=mdettweiler [2018-06-26 01:27:47] 601*2^1514385-1 is not prime. Res64: 7C469315DDAD16B7 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:27:48] 685*2^1514385-1 is not prime. Res64: 2087DF01E9A287BD Time : 0.0 sec. user=mdettweiler [2018-06-26 01:27:49] 705*2^1514385-1 is not prime. Res64: 83BB8B780763791B Time : 0.0 sec. user=mdettweiler [2018-06-26 01:35:11] 717*2^1514385-1 is not prime. Res64: FB6A3DD79330434E Time : 0.0 sec. user=mdettweiler [2018-06-26 01:35:12] 777*2^1514385-1 is not prime. Res64: 6B3F807B5E48F2A5 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:35:13] 885*2^1514385-1 is not prime. Res64: A0B9EAB6D8F3DCA8 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:35:13] 999*2^1514385-1 is not prime. Res64: F4AE5B441810A7A8 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:35:14] 633*2^1514386-1 is not prime. Res64: 96EA5BD3564F73B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:41:48] 723*2^1514386-1 is not prime. Res64: 88F058AC8484564A Time : 0.0 sec. user=mdettweiler [2018-06-26 01:41:48] 755*2^1514386-1 is not prime. Res64: 396BBFAFCB6296AD Time : 0.0 sec. user=mdettweiler [2018-06-26 01:41:49] 765*2^1514386-1 is not prime. Res64: 9CB8B0461A4D83E2 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:41:50] 773*2^1514386-1 is not prime. Res64: 2517F14271B0E585 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:41:50] 983*2^1514386-1 is not prime. Res64: F5326A12F9750431 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:43:03] 1001*2^1514386-1 is not prime. Res64: C742F53BF8396BB6 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:43:04] 651*2^1514387-1 is not prime. Res64: 37367B6521D04C80 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:43:04] 781*2^1514387-1 is not prime. Res64: C429CE0EBA82BE06 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:43:05] 799*2^1514387-1 is not prime. Res64: 83B907E5B4F0ABE3 Time : 0.0 sec. user=mdettweiler [2018-06-26 01:43:06] 823*2^1514387-1 is not prime. Res64: EFB605299DAE075D Time : 0.0 sec. user=mdettweiler [2018-06-26 02:18:48] 841*2^1514387-1 is not prime. Res64: 5FD76092E78FDF04 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:18:49] 885*2^1514387-1 is not prime. Res64: BAE097C5509AB2EE Time : 0.0 sec. user=mdettweiler [2018-06-26 02:18:49] 949*2^1514387-1 is not prime. Res64: E9CF157502DB08E6 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:18:50] 985*2^1514387-1 is not prime. Res64: 5D22D51943B10380 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:18:50] 753*2^1514388-1 is not prime. Res64: 60702122EA31705B Time : 0.0 sec. user=mdettweiler [2018-06-26 02:25:30] 797*2^1514388-1 is not prime. Res64: 7B97B0690C4B1174 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:25:30] 809*2^1514388-1 is not prime. Res64: 52588A73670B8029 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:25:31] 915*2^1514388-1 is not prime. Res64: 8DA9E7C047979C66 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:25:31] 601*2^1514389-1 is not prime. Res64: B44B687C11BAFAF7 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:25:31] 615*2^1514389-1 is not prime. Res64: 962723ACF5CB57AE Time : 0.0 sec. user=juhehe [2018-06-26 02:29:10] 691*2^1514391-1 is not prime. Res64: 7B116BF646D8102C Time : 0.0 sec. user=mdettweiler [2018-06-26 02:32:16] 661*2^1514389-1 is not prime. Res64: D530EED9F9FBCF50 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:32:17] 681*2^1514389-1 is not prime. Res64: D8259C277F53671F Time : 0.0 sec. user=mdettweiler [2018-06-26 02:32:18] 765*2^1514389-1 is not prime. Res64: 9EEBF085771A994B Time : 0.0 sec. user=mdettweiler [2018-06-26 02:32:18] 801*2^1514389-1 is not prime. Res64: BC66826A52B2E350 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:32:18] 855*2^1514389-1 is not prime. Res64: 0D6B0DCF49D87DA7 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:33:24] 919*2^1514389-1 is not prime. Res64: 2417EBC6C9B75CC3 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:33:25] 677*2^1514390-1 is not prime. Res64: CDB6A5785502B6E5 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:33:25] 845*2^1514390-1 is not prime. Res64: 32F86F18AA9E1EA7 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:33:26] 649*2^1514391-1 is not prime. Res64: 0724F0FFCE308902 Time : 0.0 sec. user=mdettweiler [2018-06-26 02:33:26] 675*2^1514391-1 is not prime. Res64: 4446F0CE99B4A6AE Time : 0.0 sec. user=mdettweiler [2018-06-26 03:10:13] 861*2^1514391-1 is not prime. Res64: F54E9B384B0F6193 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:10:14] 873*2^1514391-1 is not prime. Res64: CA871F25B21ECCB2 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:10:14] 885*2^1514391-1 is not prime. Res64: 3E467951B271F29D Time : 0.0 sec. user=mdettweiler [2018-06-26 03:10:15] 921*2^1514391-1 is not prime. Res64: ED64A51C798EC0B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:10:16] 623*2^1514392-1 is not prime. Res64: 93296B9169BABAD8 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:17:32] 717*2^1514392-1 is not prime. Res64: 3154683E6FDB0C78 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:17:33] 785*2^1514392-1 is not prime. Res64: DC3CC6397219D8DB Time : 0.0 sec. user=mdettweiler [2018-06-26 03:17:33] 827*2^1514392-1 is not prime. Res64: 4D733076820FC539 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:17:34] 855*2^1514392-1 is not prime. Res64: F32FBA581B1D9AC0 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:17:34] 939*2^1514392-1 is not prime. Res64: 6BDC1BE839A586E2 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:23:45] 965*2^1514392-1 is not prime. Res64: B963676319D500A7 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:23:46] 619*2^1514393-1 is not prime. Res64: 7BF2577AE4906366 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:23:46] 649*2^1514393-1 is not prime. Res64: 3C19D540005B10A7 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:23:47] 691*2^1514393-1 is not prime. Res64: 8BA53C0475EFE5CE Time : 0.0 sec. user=mdettweiler [2018-06-26 03:23:47] 727*2^1514393-1 is not prime. Res64: 178170A387713CCF Time : 0.0 sec. user=mdettweiler [2018-06-26 03:25:24] 837*2^1514393-1 is not prime. Res64: 3A6F48642E7031CB Time : 0.0 sec. user=mdettweiler [2018-06-26 03:25:25] 889*2^1514393-1 is not prime. Res64: 86C04234A8D87873 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:25:26] 915*2^1514393-1 is not prime. Res64: 12CD23E889D630A4 Time : 0.0 sec. user=mdettweiler [2018-06-26 03:25:27] 925*2^1514393-1 is not prime. Res64: ED18CE880A711E9F Time : 0.0 sec. user=mdettweiler [2018-06-26 03:25:27] 987*2^1514393-1 is not prime. Res64: FC421303F3080783 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:01:00] 635*2^1514394-1 is not prime. Res64: 99E80071D9141901 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:01:03] 663*2^1514394-1 is not prime. Res64: A1FF62E489E64F63 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:01:06] 741*2^1514394-1 is not prime. Res64: 3A0C3B0848AC430F Time : 0.0 sec. user=mdettweiler [2018-06-26 04:01:08] 755*2^1514394-1 is not prime. Res64: 60BFF56044217A3D Time : 0.0 sec. user=mdettweiler [2018-06-26 04:01:10] 625*2^1514395-1 is not prime. Res64: 06128D90AC889766 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:08:11] 639*2^1514395-1 is not prime. Res64: B5C3A3A568AE14B6 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:08:18] 735*2^1514395-1 is not prime. Res64: 69FAB542BA5C1599 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:08:23] 783*2^1514395-1 is not prime. Res64: E4AC0CD4F52AD755 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:08:26] 819*2^1514395-1 is not prime. Res64: 0669B215CA32F4CF Time : 0.0 sec. user=mdettweiler [2018-06-26 04:08:29] 849*2^1514395-1 is not prime. Res64: 8BFA769E4C27A333 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:14:30] 843*2^1514396-1 is not prime. Res64: 958CC8D27298DDE5 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:14:35] 945*2^1514396-1 is not prime. Res64: CEE746C54276FEDB Time : 0.0 sec. user=mdettweiler [2018-06-26 04:14:40] 649*2^1514397-1 is not prime. Res64: 996CCFEDD79ACE38 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:14:43] 741*2^1514397-1 is not prime. Res64: A3DC5D874C97046E Time : 0.0 sec. user=mdettweiler [2018-06-26 04:14:45] 891*2^1514397-1 is not prime. Res64: D9F1763C1ADCC047 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:16:13] 979*2^1514397-1 is not prime. Res64: BC974C1AAC4FACAB Time : 0.0 sec. user=mdettweiler [2018-06-26 04:16:19] 997*2^1514397-1 is not prime. Res64: 65B756F75FD66D3A Time : 0.0 sec. user=juhehe [2018-06-26 04:39:13] 621*2^1514399-1 is not prime. Res64: EC0C6698AB775C48 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:54:00] 665*2^1514398-1 is not prime. Res64: 7AD06136094F40A2 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:54:01] 743*2^1514398-1 is not prime. Res64: 2BF6EEE02D92571A Time : 0.0 sec. user=mdettweiler [2018-06-26 04:54:01] 857*2^1514398-1 is not prime. Res64: F6E265BAF0D046E5 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:54:02] 933*2^1514398-1 is not prime. Res64: 7B83829A9C142CB6 Time : 0.0 sec. user=mdettweiler [2018-06-26 04:54:03] 957*2^1514398-1 is not prime. Res64: DA56510DB051B6D0 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:01:23] 679*2^1514399-1 is not prime. Res64: 367F0C5D8627F779 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:01:24] 693*2^1514399-1 is not prime. Res64: E87CCBA89C1FDA33 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:01:26] 885*2^1514399-1 is not prime. Res64: 5491C649AE1942E9 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:01:27] 955*2^1514399-1 is not prime. Res64: 91F29148C030B38D Time : 0.0 sec. user=mdettweiler [2018-06-26 05:01:28] 999*2^1514399-1 is not prime. Res64: 34D598FE340A43E1 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:10:09] 795*2^1514400-1 is not prime. Res64: 899702F82FE004AD Time : 0.0 sec. user=mdettweiler [2018-06-26 05:47:21] 769*2^1514401-1 is not prime. Res64: A5C04D46DE71517C Time : 0.0 sec. user=mdettweiler [2018-06-26 05:47:21] 871*2^1514401-1 is not prime. Res64: DDE3B400612EFE35 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:47:22] 951*2^1514401-1 is not prime. Res64: F7BC06BAA2C9CB25 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:47:22] 633*2^1514402-1 is not prime. Res64: BFCAA9B1CB5F1ED1 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:47:23] 755*2^1514402-1 is not prime. Res64: 6BD2EC2E3870BFD6 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:55:24] 813*2^1514402-1 is not prime. Res64: A506B42A15044163 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:55:24] 825*2^1514402-1 is not prime. Res64: FCA556269207431A Time : 0.0 sec. user=mdettweiler [2018-06-26 05:55:25] 867*2^1514402-1 is not prime. Res64: 4B090DC3350716E0 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:55:25] 941*2^1514402-1 is not prime. Res64: BC0085BB5ECCF681 Time : 0.0 sec. user=mdettweiler [2018-06-26 05:55:26] 613*2^1514403-1 is not prime. Res64: 9A6D4F2E0C5F7F7C Time : 0.0 sec. user=mdettweiler [2018-06-26 06:40:13] 625*2^1514403-1 is not prime. Res64: 2CDC3D5A9BC19402 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:40:13] 649*2^1514403-1 is not prime. Res64: 16700B7FB33680C8 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:40:13] 663*2^1514403-1 is not prime. Res64: 32955E5810EB44AE Time : 0.0 sec. user=mdettweiler [2018-06-26 06:40:14] 723*2^1514403-1 is not prime. Res64: BAC164D856889065 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:40:14] 795*2^1514403-1 is not prime. Res64: 20D0FED5CA17D5F0 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:48:59] 819*2^1514403-1 is not prime. Res64: 094AF372C4DC9A13 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:49:00] 991*2^1514403-1 is not prime. Res64: E0B949DD58DC36B6 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:49:00] 719*2^1514404-1 is not prime. Res64: E573546471571EF6 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:49:00] 723*2^1514404-1 is not prime. Res64: 7E27B77449BF9211 Time : 0.0 sec. user=mdettweiler [2018-06-26 06:49:01] 749*2^1514404-1 is not prime. Res64: CBEB3D78280B0C0F Time : 0.0 sec. user=juhehe [2018-06-26 06:59:25] 819*2^1514404-1 is not prime. Res64: 6C00D78C279A4AD9 Time : 0.0 sec. user=mdettweiler [2018-06-26 07:33:43] 897*2^1514404-1 is not prime. Res64: 22BA4AD9325B6901 Time : 0.0 sec. user=mdettweiler [2018-06-26 07:33:44] 923*2^1514404-1 is not prime. Res64: 199ADE16B55AC4BB Time : 0.0 sec. user=mdettweiler [2018-06-26 07:33:44] 947*2^1514404-1 is not prime. Res64: E5B0D3C989B60834 Time : 0.0 sec. user=mdettweiler [2018-06-26 07:33:45] 969*2^1514404-1 is not prime. Res64: 22A7751B960D3EC3 Time : 0.0 sec. user=mdettweiler [2018-06-26 07:33:45] 691*2^1514405-1 is not prime. Res64: 229726F833ADB219 Time : 0.0 sec. user=mdettweiler [2018-06-26 07:42:56] 699*2^1514405-1 is not prime. Res64: CA8858EBCAED256C Time : 0.0 sec. user=mdettweiler [2018-06-26 07:42:57] 729*2^1514405-1 is not prime. Res64: A053FB55B752FD1F Time : 0.0 sec. user=mdettweiler [2018-06-26 07:42:57] 819*2^1514405-1 is not prime. Res64: 4E97D8C8B7CC208E Time : 0.0 sec. user=mdettweiler [2018-06-26 07:42:58] 847*2^1514405-1 is not prime. Res64: 268023BDAD75792F Time : 0.0 sec. user=mdettweiler [2018-06-26 07:42:58] 807*2^1514406-1 is not prime. Res64: EDCD4A7954776E3B Time : 0.0 sec. user=mdettweiler [2018-06-26 08:27:08] 917*2^1514406-1 is not prime. Res64: 241EE85974D3EACD Time : 0.0 sec. user=mdettweiler [2018-06-26 08:27:09] 933*2^1514406-1 is not prime. Res64: 6B927022510A9350 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:27:10] 601*2^1514407-1 is not prime. Res64: 5436C4BCD3C68F2A Time : 0.0 sec. user=mdettweiler [2018-06-26 08:27:10] 693*2^1514407-1 is not prime. Res64: 2801480CB6DFC8B8 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:27:11] 729*2^1514407-1 is not prime. Res64: 8D1214086E49F013 Time : 0.0 sec. user=juhehe [2018-06-26 08:32:00] 893*2^1514408-1 is not prime. Res64: A1D39147DEC3F45D Time : 0.0 sec. user=mdettweiler [2018-06-26 08:32:57] 819*2^1514400-1 is not prime. Res64: 5B3423F1790F0F0D Time : 0.0 sec. user=mdettweiler [2018-06-26 08:32:58] 843*2^1514400-1 is not prime. Res64: 26E31CFC0ED0FFE8 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:32:58] 849*2^1514400-1 is not prime. Res64: 30F3DACE3AB06E3A Time : 0.0 sec. user=mdettweiler [2018-06-26 08:32:58] 927*2^1514400-1 is not prime. Res64: 8FBB0A766F424F2B Time : 0.0 sec. user=mdettweiler [2018-06-26 08:36:13] 813*2^1514407-1 is not prime. Res64: 8A423D4F4513555F Time : 0.0 sec. user=mdettweiler [2018-06-26 08:36:14] 931*2^1514407-1 is not prime. Res64: 88479158BEE490B9 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:36:14] 985*2^1514407-1 is not prime. Res64: 1B5A436B299167A9 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:36:15] 633*2^1514408-1 is not prime. Res64: B2671DB37AC6546A Time : 0.0 sec. user=mdettweiler [2018-06-26 08:36:15] 803*2^1514408-1 is not prime. Res64: B41631C711AEF65C Time : 0.0 sec. user=mdettweiler [2018-06-26 08:44:23] 999*2^1514397-1 is not prime. Res64: 55D9E9F7241190BB Time : 0.0 sec. user=mdettweiler [2018-06-26 08:44:23] 603*2^1514398-1 is not prime. Res64: C85EF07FD38F13D6 Time : 0.0 sec. user=mdettweiler [2018-06-26 08:44:24] 663*2^1514398-1 is not prime. Res64: F09D625766B5331B Time : 0.0 sec. user=mdettweiler [2018-06-26 09:18:24] 649*2^1514409-1 is not prime. Res64: C597A8CE6FC0F0C9 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:18:24] 675*2^1514409-1 is not prime. Res64: 0A1F950CBBF4CAE5 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:18:25] 691*2^1514409-1 is not prime. Res64: 617912E1742F68CC Time : 0.0 sec. user=mdettweiler [2018-06-26 09:18:25] 705*2^1514409-1 is not prime. Res64: B5E6F763EB411C2D Time : 0.0 sec. user=mdettweiler [2018-06-26 09:18:26] 741*2^1514409-1 is not prime. Res64: 0612A3AA58F8921B Time : 0.0 sec. user=mdettweiler [2018-06-26 09:24:09] 759*2^1514409-1 is not prime. Res64: 31199D7DCF2E66DE Time : 0.0 sec. user=mdettweiler [2018-06-26 09:24:09] 909*2^1514409-1 is not prime. Res64: D4D40CA3F9659296 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:24:10] 951*2^1514409-1 is not prime. Res64: 500F5D4D12CFD996 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:24:10] 985*2^1514409-1 is not prime. Res64: E1ED9142A8EEC390 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:24:10] 687*2^1514410-1 is not prime. Res64: 44E30FE066908033 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:27:04] 695*2^1514410-1 is not prime. Res64: CF317D215F36B221 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:27:04] 735*2^1514410-1 is not prime. Res64: 5461D7CE9B0FADDA Time : 0.0 sec. user=mdettweiler [2018-06-26 09:27:05] 765*2^1514410-1 is not prime. Res64: 3D25ED023968BCB9 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:27:05] 831*2^1514410-1 is not prime. Res64: 540E17ED4F8CC7B1 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:27:05] 861*2^1514410-1 is not prime. Res64: 759FB12FCA2F152F Time : 0.0 sec. user=mdettweiler [2018-06-26 09:35:00] 603*2^1514411-1 is not prime. Res64: 8E3E3407C30D84DC Time : 0.0 sec. user=mdettweiler [2018-06-26 09:35:01] 685*2^1514411-1 is not prime. Res64: 1C2305046621B128 Time : 0.0 sec. user=mdettweiler [2018-06-26 09:35:01] 855*2^1514411-1 is not prime. Res64: 4D9973C8A5259EBF Time : 0.0 sec. user=mdettweiler [2018-06-26 09:35:02] 883*2^1514411-1 is not prime. Res64: AB9DF2BE8C69753E Time : 0.0 sec. user=mdettweiler [2018-06-26 09:35:02] 909*2^1514411-1 is not prime. Res64: D8AFF8D05BA0C4DB Time : 0.0 sec. user=mdettweiler [2018-06-26 10:08:56] 913*2^1514411-1 is not prime. Res64: 9DF530EE4672348C Time : 0.0 sec. user=mdettweiler [2018-06-26 10:08:57] 921*2^1514411-1 is not prime. Res64: 4CF80A77B84D5E06 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:08:58] 943*2^1514411-1 is not prime. Res64: D97D4F67B1ABCF90 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:08:58] 605*2^1514412-1 is not prime. Res64: A43CE0D9C5AF777D Time : 0.0 sec. user=mdettweiler [2018-06-26 10:08:59] 719*2^1514412-1 is not prime. Res64: 983B3549C275A888 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:14:51] 825*2^1514412-1 is not prime. Res64: 00108B28323C70A3 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:14:51] 887*2^1514412-1 is not prime. Res64: AA948168D9936CE5 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:14:52] 915*2^1514412-1 is not prime. Res64: 36388706AB7094E7 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:14:52] 679*2^1514413-1 is not prime. Res64: BC45120C406A70BC Time : 0.0 sec. user=mdettweiler [2018-06-26 10:14:53] 687*2^1514413-1 is not prime. Res64: D337A5FA9BF1675F Time : 0.0 sec. user=mdettweiler [2018-06-26 10:17:58] 741*2^1514413-1 is not prime. Res64: C8AB9587405D61D0 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:17:58] 775*2^1514413-1 is not prime. Res64: B12A03C7709C0D12 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:17:58] 925*2^1514413-1 is not prime. Res64: 15E3DCD3B1C840BE Time : 0.0 sec. user=mdettweiler [2018-06-26 10:17:59] 937*2^1514413-1 is not prime. Res64: A16898C4BCD6CDD5 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:17:59] 1001*2^1514414-1 is not prime. Res64: D54F8C9B74F7D0C6 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:25:24] 819*2^1514415-1 is not prime. Res64: 632794E827FF76C1 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:25:24] 895*2^1514415-1 is not prime. Res64: 97D0BF0A93151E77 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:25:25] 615*2^1514416-1 is not prime. Res64: B108811EE3EDD3C2 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:25:25] 663*2^1514416-1 is not prime. Res64: 0356A4F969096CBD Time : 0.0 sec. user=mdettweiler [2018-06-26 10:25:26] 717*2^1514416-1 is not prime. Res64: 0862B2C8B068EB8A Time : 0.0 sec. user=juhehe [2018-06-26 10:52:11] 723*2^1514416-1 is not prime. Res64: 90EFE582A5B0BD5D Time : 0.0 sec. user=mdettweiler [2018-06-26 10:59:38] 759*2^1514416-1 is not prime. Res64: FC59D087EA360A2A Time : 0.0 sec. user=mdettweiler [2018-06-26 10:59:39] 833*2^1514416-1 is not prime. Res64: 66F60D58C4B27E0A Time : 0.0 sec. user=mdettweiler [2018-06-26 10:59:39] 875*2^1514416-1 is not prime. Res64: 7928523676AAD39E Time : 0.0 sec. user=mdettweiler [2018-06-26 10:59:39] 939*2^1514416-1 is not prime. Res64: D782B8F5839D6803 Time : 0.0 sec. user=mdettweiler [2018-06-26 10:59:40] 619*2^1514417-1 is not prime. Res64: 92709A2EE259EB0D Time : 0.0 sec. user=mdettweiler [2018-06-26 11:05:22] 631*2^1514417-1 is not prime. Res64: 112CF998E325CC5A Time : 0.0 sec. user=mdettweiler [2018-06-26 11:05:24] 669*2^1514417-1 is not prime. Res64: 99200973686358BE Time : 0.0 sec. user=mdettweiler [2018-06-26 11:05:25] 711*2^1514417-1 is not prime. Res64: 23A1885AF084D604 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:05:26] 715*2^1514417-1 is not prime. Res64: 4BD0727E22CDA083 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:05:27] 735*2^1514417-1 is not prime. Res64: 909F0A0D8A29A25C Time : 0.0 sec. user=mdettweiler [2018-06-26 11:08:13] 885*2^1514417-1 is not prime. Res64: 5AA74FF8A98F010D Time : 0.0 sec. user=mdettweiler [2018-06-26 11:08:13] 955*2^1514417-1 is not prime. Res64: 579B9661BB2965D7 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:08:14] 979*2^1514417-1 is not prime. Res64: 3A7A9A141A37DB0A Time : 0.0 sec. user=mdettweiler [2018-06-26 11:08:15] 635*2^1514418-1 is not prime. Res64: 7CA24B747FBA25CE Time : 0.0 sec. user=mdettweiler [2018-06-26 11:08:15] 641*2^1514418-1 is not prime. Res64: 9F7A47B4AFEA0E95 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:16:06] 711*2^1514418-1 is not prime. Res64: B009CF997DF1BFC0 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:16:07] 755*2^1514418-1 is not prime. Res64: 142A3B64CA4DC61A Time : 0.0 sec. user=mdettweiler [2018-06-26 11:16:07] 843*2^1514418-1 is not prime. Res64: 6DAF5E1505E2E2B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:16:08] 867*2^1514418-1 is not prime. Res64: E3D095FD9DCE493E Time : 0.0 sec. user=mdettweiler [2018-06-26 11:16:08] 875*2^1514418-1 is not prime. Res64: 1C3F597E9FCAF1B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:49:20] 881*2^1514418-1 is not prime. Res64: 7545C7FC5491367A Time : 0.0 sec. user=mdettweiler [2018-06-26 11:49:20] 945*2^1514418-1 is not prime. Res64: 7C21ACF051A4239F Time : 0.0 sec. user=mdettweiler [2018-06-26 11:49:20] 621*2^1514419-1 is not prime. Res64: E01D61BC05CF70AC Time : 0.0 sec. user=mdettweiler [2018-06-26 11:49:21] 633*2^1514419-1 is not prime. Res64: AF3A18FDE412B59D Time : 0.0 sec. user=mdettweiler [2018-06-26 11:49:21] 645*2^1514419-1 is not prime. Res64: 5385F4B8F0B24F4A Time : 0.0 sec. user=mdettweiler [2018-06-26 11:56:43] 705*2^1514419-1 is not prime. Res64: D7735811E9F1CAB0 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:56:43] 741*2^1514419-1 is not prime. Res64: 714EEB999E2A7249 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:56:44] 771*2^1514419-1 is not prime. Res64: 16BBD07E8ECC40E5 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:56:44] 793*2^1514419-1 is not prime. Res64: 4FB1CF52B17A2DAD Time : 0.0 sec. user=mdettweiler [2018-06-26 11:56:44] 843*2^1514419-1 is not prime. Res64: DAD8B4E2C62B7479 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:58:46] 925*2^1514419-1 is not prime. Res64: A4995BBA98042879 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:58:46] 979*2^1514419-1 is not prime. Res64: EB18E88D4BE035B1 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:58:46] 985*2^1514419-1 is not prime. Res64: 9500358A2DD383F2 Time : 0.0 sec. user=mdettweiler [2018-06-26 11:58:47] 615*2^1514420-1 is not prime. Res64: D6A44215A55B1A1C Time : 0.0 sec. user=mdettweiler [2018-06-26 11:58:47] 669*2^1514420-1 is not prime. Res64: 672D4518794CC31A Time : 0.0 sec. user=mdettweiler [2018-06-26 12:06:54] 675*2^1514420-1 is not prime. Res64: 4D4E36A1C78B3CA5 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:06:56] 687*2^1514420-1 is not prime. Res64: 903E5EAC9F95AD75 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:06:57] 689*2^1514420-1 is not prime. Res64: 2209D2C84BBA5FDD Time : 0.0 sec. user=mdettweiler [2018-06-26 12:06:59] 927*2^1514420-1 is not prime. Res64: 27EF4A8859719DE4 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:07:00] 983*2^1514420-1 is not prime. Res64: 1D13E49254CEB6E0 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:39:42] 625*2^1514421-1 is not prime. Res64: 820BB9DEBD91B7B3 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:39:43] 901*2^1514421-1 is not prime. Res64: D2B36AC59AB06A73 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:39:43] 999*2^1514421-1 is not prime. Res64: 3AF8AECF4B5E2F83 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:39:44] 681*2^1514422-1 is not prime. Res64: 4D03744D822D2CDE Time : 0.0 sec. user=mdettweiler [2018-06-26 12:39:44] 821*2^1514422-1 is not prime. Res64: A4EE8582C40BA49E Time : 0.0 sec. user=mdettweiler [2018-06-26 12:47:28] 855*2^1514422-1 is not prime. Res64: 41A52A12225BB1F8 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:47:29] 975*2^1514422-1 is not prime. Res64: 51D840DA866BAF62 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:47:29] 669*2^1514423-1 is not prime. Res64: 9F82E31810484807 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:47:30] 705*2^1514423-1 is not prime. Res64: 843F53913005E212 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:47:30] 721*2^1514423-1 is not prime. Res64: A0175033DDE05DF5 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:49:35] 735*2^1514423-1 is not prime. Res64: 9740DBFE081E7C5F Time : 0.0 sec. user=mdettweiler [2018-06-26 12:49:35] 745*2^1514423-1 is not prime. Res64: 3822C893B29EFED2 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:49:36] 775*2^1514423-1 is not prime. Res64: BED64E8D21F24889 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:49:36] 861*2^1514423-1 is not prime. Res64: FE22EAD0AF89A001 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:49:37] 895*2^1514423-1 is not prime. Res64: 2F92ADC957B7E9B6 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:57:37] 949*2^1514423-1 is not prime. Res64: E295132A4CC6A611 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:57:38] 963*2^1514423-1 is not prime. Res64: 5349AD4BA2030C0E Time : 0.0 sec. user=mdettweiler [2018-06-26 12:57:38] 605*2^1514424-1 is not prime. Res64: 678C4C906A784F74 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:57:39] 663*2^1514424-1 is not prime. Res64: FDF33B384B7F10F2 Time : 0.0 sec. user=mdettweiler [2018-06-26 12:57:39] 675*2^1514424-1 is not prime. Res64: C00ACB6A1DAEA220 Time : 0.0 sec. user=juhehe [2018-06-26 13:12:21] 689*2^1514424-1 is not prime. Res64: 319C2AD48FFBFF97 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:30:35] 893*2^1514424-1 is not prime. Res64: 12DDB336EC55B477 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:30:35] 661*2^1514425-1 is not prime. Res64: E57C06AF66CB55B2 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:30:36] 675*2^1514425-1 is not prime. Res64: 2BAC434640E6937A Time : 0.0 sec. user=mdettweiler [2018-06-26 13:30:36] 717*2^1514425-1 is not prime. Res64: E578DC92F9DF297B Time : 0.0 sec. user=mdettweiler [2018-06-26 13:30:37] 741*2^1514425-1 is not prime. Res64: 9B063B28ABD9C40E Time : 0.0 sec. user=mdettweiler [2018-06-26 13:38:15] 771*2^1514425-1 is not prime. Res64: 2571A51C32CB12A0 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:38:15] 955*2^1514425-1 is not prime. Res64: 5D26646BD870C9E2 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:38:16] 645*2^1514426-1 is not prime. Res64: B3509A4084BAC096 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:38:16] 671*2^1514426-1 is not prime. Res64: FFE57CC010E0ECE8 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:38:16] 701*2^1514426-1 is not prime. Res64: 0C9048B359B2940B Time : 0.0 sec. user=mdettweiler [2018-06-26 13:41:13] 707*2^1514426-1 is not prime. Res64: AE3F69B2032FDE3F Time : 0.0 sec. user=mdettweiler [2018-06-26 13:41:14] 711*2^1514426-1 is not prime. Res64: F66291CA2A90F767 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:41:14] 713*2^1514426-1 is not prime. Res64: E3E42759663B8B94 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:41:14] 743*2^1514426-1 is not prime. Res64: 9BD73F64C33A8D0C Time : 0.0 sec. user=mdettweiler [2018-06-26 13:41:15] 815*2^1514426-1 is not prime. Res64: 91F513131C98FF08 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:49:23] 867*2^1514426-1 is not prime. Res64: CB1DBA7D6B473DE1 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:49:24] 875*2^1514426-1 is not prime. Res64: 8963AB8D46BE9885 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:49:24] 941*2^1514426-1 is not prime. Res64: 151FCFEE8F1E48E0 Time : 0.0 sec. user=mdettweiler [2018-06-26 13:49:25] 619*2^1514427-1 is not prime. Res64: 23FFCB40E50072ED Time : 0.0 sec. user=mdettweiler [2018-06-26 13:49:25] 643*2^1514427-1 is not prime. Res64: 65FFB30F40DD278D Time : 0.0 sec. user=mdettweiler [2018-06-26 14:23:37] 675*2^1514427-1 is not prime. Res64: 86076993D2FBFC0B Time : 0.0 sec. user=mdettweiler [2018-06-26 14:23:37] 703*2^1514427-1 is not prime. Res64: E13F836A2918A99E Time : 0.0 sec. user=mdettweiler [2018-06-26 14:23:38] 801*2^1514427-1 is not prime. Res64: 3B7F5F025E6A654E Time : 0.0 sec. user=mdettweiler [2018-06-26 14:23:38] 859*2^1514427-1 is not prime. Res64: B1A2494E6D346BAF Time : 0.0 sec. user=mdettweiler [2018-06-26 14:23:38] 963*2^1514427-1 is not prime. Res64: 3419C3A0105FAC60 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:30:51] 629*2^1514428-1 is not prime. Res64: FB3F9B33C0854B94 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:30:52] 663*2^1514428-1 is not prime. Res64: C77C4201959333CE Time : 0.0 sec. user=mdettweiler [2018-06-26 14:30:52] 687*2^1514428-1 is not prime. Res64: 0F708F6F6919CF3C Time : 0.0 sec. user=mdettweiler [2018-06-26 14:30:53] 705*2^1514428-1 is not prime. Res64: 9793AF3D763D17FC Time : 0.0 sec. user=mdettweiler [2018-06-26 14:30:53] 839*2^1514428-1 is not prime. Res64: 7105A3E72B628A01 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:34:01] 747*2^1514429-1 is not prime. Res64: CEB4687D407D799A Time : 0.0 sec. user=mdettweiler [2018-06-26 14:34:01] 771*2^1514429-1 is not prime. Res64: F721E884D69E6664 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:34:02] 831*2^1514429-1 is not prime. Res64: 0BD4D732E53A7035 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:34:02] 939*2^1514429-1 is not prime. Res64: 84C34C4034838ED5 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:34:02] 635*2^1514430-1 is not prime. Res64: 69FBCF1D589A54CA Time : 0.0 sec. user=mdettweiler [2018-06-26 14:40:55] 677*2^1514430-1 is not prime. Res64: 7378419E28960049 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:40:56] 707*2^1514430-1 is not prime. Res64: 3B1BF2E851A78176 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:40:56] 863*2^1514430-1 is not prime. Res64: D8E51A2808D103CE Time : 0.0 sec. user=mdettweiler [2018-06-26 14:40:57] 945*2^1514430-1 is not prime. Res64: FE7EFE952DCD0C91 Time : 0.0 sec. user=mdettweiler [2018-06-26 14:40:57] 685*2^1514431-1 is not prime. Res64: 5E655BE9B6FBF6F1 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:13:34] 709*2^1514431-1 is not prime. Res64: 2A955CA9557C8AEE Time : 0.0 sec. user=mdettweiler [2018-06-26 15:13:34] 843*2^1514431-1 is not prime. Res64: BEEFD751465857E4 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:13:35] 629*2^1514432-1 is not prime. Res64: DAF34F50F13F8CA9 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:13:35] 963*2^1514432-1 is not prime. Res64: DC0291B02FD13364 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:13:36] 609*2^1514433-1 is not prime. Res64: 8846C7235F648A13 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:21:29] 765*2^1514433-1 is not prime. Res64: 1E723D53C0F0824B Time : 0.0 sec. user=mdettweiler [2018-06-26 15:21:29] 811*2^1514433-1 is not prime. Res64: E0E71DF5B6A81F1B Time : 0.0 sec. user=mdettweiler [2018-06-26 15:21:30] 819*2^1514433-1 is not prime. Res64: BCC49916605344BD Time : 0.0 sec. user=mdettweiler [2018-06-26 15:21:30] 835*2^1514433-1 is not prime. Res64: 2353A19F8F231C01 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:21:30] 891*2^1514433-1 is not prime. Res64: FD92DFE40B9212E6 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:24:02] 901*2^1514433-1 is not prime. Res64: ECBEAD11D764CDD3 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:24:03] 945*2^1514433-1 is not prime. Res64: CA156CF3ABFB4272 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:24:03] 657*2^1514434-1 is not prime. Res64: 8ECDA35C633CE9D9 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:24:04] 773*2^1514434-1 is not prime. Res64: C9B0C105595C0B6E Time : 0.0 sec. user=mdettweiler [2018-06-26 15:24:04] 603*2^1514435-1 is not prime. Res64: 99D3E4E914AE0D1E Time : 0.0 sec. user=mdettweiler [2018-06-26 15:30:39] 609*2^1514435-1 is not prime. Res64: A99C38B567839DCD Time : 0.0 sec. user=mdettweiler [2018-06-26 15:30:39] 643*2^1514435-1 is not prime. Res64: 8108811C2A3542FD Time : 0.0 sec. user=mdettweiler [2018-06-26 15:30:39] 655*2^1514435-1 is not prime. Res64: 576C4C193A8C58A9 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:30:40] 741*2^1514435-1 is not prime. Res64: 254CC7A322DD7369 Time : 0.0 sec. user=mdettweiler [2018-06-26 15:30:40] 799*2^1514435-1 is not prime. Res64: DB0172200CCAEBF1 Time : 0.0 sec. user=juhehe [2018-06-26 15:32:14] 855*2^1514435-1 is not prime. Res64: 4FD52E877E744024 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:08:27] 949*2^1514435-1 is not prime. Res64: 672C0C762D6D1F88 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:08:27] 963*2^1514435-1 is not prime. Res64: 9EB8225845211132 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:08:28] 767*2^1514436-1 is not prime. Res64: 2907AFEF3C10FDEC Time : 0.0 sec. user=mdettweiler [2018-06-26 16:08:28] 789*2^1514436-1 is not prime. Res64: A82E5450BBD67032 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:08:29] 825*2^1514436-1 is not prime. Res64: 1E47DA419A199F9B Time : 0.0 sec. user=mdettweiler [2018-06-26 16:16:26] 873*2^1514436-1 is not prime. Res64: EF6A838F41A7281C Time : 0.0 sec. user=mdettweiler [2018-06-26 16:16:26] 639*2^1514437-1 is not prime. Res64: 468CACD392065C5F Time : 0.0 sec. user=mdettweiler [2018-06-26 16:16:27] 675*2^1514437-1 is not prime. Res64: 90EF21CB14993E33 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:16:27] 729*2^1514437-1 is not prime. Res64: B2BEEEDFA0783F56 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:16:28] 915*2^1514437-1 is not prime. Res64: BD773B3ECBBDE9BB Time : 0.0 sec. user=mdettweiler [2018-06-26 16:19:48] 939*2^1514437-1 is not prime. Res64: 9B0B49027C9C2B1E Time : 0.0 sec. user=mdettweiler [2018-06-26 16:19:49] 997*2^1514437-1 is not prime. Res64: 21973242CE49188F Time : 0.0 sec. user=mdettweiler [2018-06-26 16:19:49] 791*2^1514438-1 is not prime. Res64: 4E5A67E47FEF9993 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:19:49] 825*2^1514438-1 is not prime. Res64: 650B169CF5F982F0 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:19:50] 923*2^1514438-1 is not prime. Res64: 5966BBFD37F7B335 Time : 0.0 sec. user=mdettweiler [2018-06-26 16:25:53] 633*2^1514439-1 is not prime. Res64: 80D116A4335528FD Time : 0.0 sec. user=mdettweiler [2018-06-26 16:25:53] 675*2^1514439-1 is not prime. Res64: 96622CF192C5C81C Time : 0.0 sec. user=mdettweiler [2018-06-26 16:25:54] 735*2^1514439-1 is not prime. Res64: 753C8D92EF4B8C4E Time : 0.0 sec. user=mdettweiler [2018-06-26 16:25:54] 789*2^1514439-1 is not prime. Res64: 4BFDC3068CBA0F2E Time : 0.0 sec. user=mdettweiler [2018-06-26 16:25:55] 795*2^1514439-1 is not prime. Res64: 2000EE424686B4DE Time : 0.0 sec. user=mdettweiler [2018-06-26 17:00:01] 885*2^1514439-1 is not prime. Res64: 50C04C7E91E3ADA1 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:00:02] 933*2^1514439-1 is not prime. Res64: FD03732EB887AD5B Time : 0.0 sec. user=mdettweiler [2018-06-26 17:00:03] 635*2^1514440-1 is not prime. Res64: 5943B25C872123B0 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:00:04] 645*2^1514440-1 is not prime. Res64: 07BEDF0269204268 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:00:04] 719*2^1514440-1 is not prime. Res64: A8C0AE1F0BB87C25 Time : 0.0 sec. user=juhehe [2018-06-26 17:04:50] 983*2^1514442-1 is not prime. Res64: 98523A60B648414F Time : 0.0 sec. user=mdettweiler [2018-06-26 17:08:18] 735*2^1514440-1 is not prime. Res64: 97F24219F64D50B2 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:08:18] 909*2^1514440-1 is not prime. Res64: 3193755E255C0B3E Time : 0.0 sec. user=mdettweiler [2018-06-26 17:08:19] 923*2^1514440-1 is not prime. Res64: 1F846389461F0234 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:08:20] 607*2^1514441-1 is not prime. Res64: 2D35AB956977DA91 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:08:20] 855*2^1514441-1 is not prime. Res64: DD98CABCC256D9A7 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:12:01] 861*2^1514441-1 is not prime. Res64: BEB3609473E17EB5 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:12:01] 889*2^1514441-1 is not prime. Res64: 9DE63E53A0AB84E8 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:12:02] 937*2^1514441-1 is not prime. Res64: B94D5591D0793ABB Time : 0.0 sec. user=mdettweiler [2018-06-26 17:12:02] 987*2^1514441-1 is not prime. Res64: C1E2D9093AA87EF1 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:12:03] 951*2^1514442-1 is not prime. Res64: DEADB6CAC1BB646C Time : 0.0 sec. user=mdettweiler [2018-06-26 17:17:37] 765*2^1514443-1 is not prime. Res64: 60B329D7E1B14527 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:17:37] 793*2^1514443-1 is not prime. Res64: EBF4E2EC96EFAA2F Time : 0.0 sec. user=mdettweiler [2018-06-26 17:17:38] 873*2^1514443-1 is not prime. Res64: AF1FAF1FA202F773 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:17:38] 943*2^1514443-1 is not prime. Res64: C274CD869968360D Time : 0.0 sec. user=mdettweiler [2018-06-26 17:17:39] 951*2^1514443-1 is not prime. Res64: 9E06D9820B5B8D4A Time : 0.0 sec. user=mdettweiler [2018-06-26 17:51:30] 993*2^1514443-1 is not prime. Res64: 3D8BDD18DAFF66CF Time : 0.0 sec. user=mdettweiler [2018-06-26 17:51:31] 683*2^1514444-1 is not prime. Res64: FA2E4C551FEA6C0A Time : 0.0 sec. user=mdettweiler [2018-06-26 17:51:31] 755*2^1514444-1 is not prime. Res64: 9CCA2EC70812656A Time : 0.0 sec. user=mdettweiler [2018-06-26 17:51:31] 789*2^1514444-1 is not prime. Res64: 7965522936C3D5C7 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:51:32] 855*2^1514444-1 is not prime. Res64: 675AD17AF62635BF Time : 0.0 sec. user=mdettweiler [2018-06-26 17:59:08] 869*2^1514444-1 is not prime. Res64: 1E2C3BF8C162D656 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:59:09] 607*2^1514445-1 is not prime. Res64: C6823D14DAB2B87E Time : 0.0 sec. user=mdettweiler [2018-06-26 17:59:09] 721*2^1514445-1 is not prime. Res64: E2E556C5E86E2076 Time : 0.0 sec. user=mdettweiler [2018-06-26 17:59:09] 951*2^1514445-1 is not prime. Res64: C88C1DD838E54EDF Time : 0.0 sec. user=mdettweiler [2018-06-26 17:59:10] 857*2^1514446-1 is not prime. Res64: 43042B618B63996E Time : 0.0 sec. user=mdettweiler [2018-06-26 18:02:37] 861*2^1514446-1 is not prime. Res64: 38A4364B40BDA2DD Time : 0.0 sec. user=mdettweiler [2018-06-26 18:02:38] 965*2^1514446-1 is not prime. Res64: 2A85435D7A842B14 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:02:39] 715*2^1514447-1 is not prime. Res64: DFAE0FF7A872C9A7 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:02:40] 973*2^1514447-1 is not prime. Res64: E8BA202259D0BA01 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:02:41] 747*2^1514448-1 is not prime. Res64: 5E6F63FB818AFE20 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:07:58] 765*2^1514448-1 is not prime. Res64: 2822567A7F7BA823 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:08:01] 773*2^1514448-1 is not prime. Res64: 95E23DFA856CAC37 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:08:02] 929*2^1514448-1 is not prime. Res64: 2719971D01DC98DC Time : 0.0 sec. user=mdettweiler [2018-06-26 18:08:03] 609*2^1514449-1 is not prime. Res64: 9E355057486ECC56 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:08:04] 667*2^1514449-1 is not prime. Res64: 0F9A5B59EE758F1B Time : 0.0 sec. user=mdettweiler [2018-06-26 18:42:00] 721*2^1514449-1 is not prime. Res64: 58E9826827FEBBAD Time : 0.0 sec. user=mdettweiler [2018-06-26 18:42:01] 835*2^1514449-1 is not prime. Res64: A480CFF5C58B1518 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:42:01] 861*2^1514449-1 is not prime. Res64: 65047D906FC2DF42 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:42:01] 645*2^1514450-1 is not prime. Res64: ED7F07D3FCB22E72 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:42:02] 767*2^1514450-1 is not prime. Res64: 496EA30E353AD1BE Time : 0.0 sec. user=mdettweiler [2018-06-26 18:49:44] 783*2^1514450-1 is not prime. Res64: 30351E4DC2C4927C Time : 0.0 sec. user=mdettweiler [2018-06-26 18:49:44] 813*2^1514450-1 is not prime. Res64: 33577BAC3D02EEE5 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:49:45] 843*2^1514450-1 is not prime. Res64: 75D386A609612A84 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:49:45] 857*2^1514450-1 is not prime. Res64: 493FA6EDEF7507F1 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:49:45] 887*2^1514450-1 is not prime. Res64: 961C7F9704BC1F24 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:52:40] 921*2^1514450-1 is not prime. Res64: 09D960011280815D Time : 0.0 sec. user=mdettweiler [2018-06-26 18:52:40] 957*2^1514450-1 is not prime. Res64: A413CAF790DDF931 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:52:41] 987*2^1514450-1 is not prime. Res64: 9904E4BB00DB1DD2 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:52:41] 609*2^1514451-1 is not prime. Res64: CF5B1FC5D65393E2 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:52:41] 613*2^1514451-1 is not prime. Res64: 302C7A529C790B72 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:59:11] 669*2^1514451-1 is not prime. Res64: 856127B72BE36624 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:59:11] 679*2^1514451-1 is not prime. Res64: E3CDA9E55A0A7FC8 Time : 0.0 sec. user=mdettweiler [2018-06-26 18:59:12] 741*2^1514451-1 is not prime. Res64: 1B542FB2E71AF42A Time : 0.0 sec. user=mdettweiler [2018-06-26 18:59:12] 783*2^1514451-1 is not prime. Res64: 9BF92F57CDB6280B Time : 0.0 sec. user=mdettweiler [2018-06-26 18:59:12] 859*2^1514451-1 is not prime. Res64: 88021D01478A892B Time : 0.0 sec. user=juhehe [2018-06-26 19:24:34] 871*2^1514451-1 is not prime. Res64: 81854A1EE20667F3 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:32:47] 945*2^1514451-1 is not prime. Res64: EAA463870019D0C7 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:32:48] 999*2^1514451-1 is not prime. Res64: BDD2A94A7BDB6CDD Time : 0.0 sec. user=mdettweiler [2018-06-26 19:32:52] 719*2^1514452-1 is not prime. Res64: D76235CA3594061F Time : 0.0 sec. user=mdettweiler [2018-06-26 19:32:53] 759*2^1514452-1 is not prime. Res64: 193B7018F2E560EB Time : 0.0 sec. user=mdettweiler [2018-06-26 19:32:54] 825*2^1514452-1 is not prime. Res64: ED4CEDD3F5B19DD4 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:40:26] 959*2^1514452-1 is not prime. Res64: 855E6D6923C1DA41 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:40:27] 995*2^1514452-1 is not prime. Res64: E840B528014A305B Time : 0.0 sec. user=mdettweiler [2018-06-26 19:40:27] 619*2^1514453-1 is not prime. Res64: BE5BC8E692DE2816 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:40:28] 679*2^1514453-1 is not prime. Res64: C795445E85139C7A Time : 0.0 sec. user=mdettweiler [2018-06-26 19:40:28] 741*2^1514453-1 is not prime. Res64: 4CEA1D7144AE0739 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:42:35] 771*2^1514453-1 is not prime. Res64: 88F8AE721890D13F Time : 0.0 sec. user=mdettweiler [2018-06-26 19:42:35] 829*2^1514453-1 is not prime. Res64: FD11A4AA43EF5406 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:42:36] 937*2^1514453-1 is not prime. Res64: 7BC1383308E4EE17 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:42:36] 621*2^1514454-1 is not prime. Res64: 8698FB434D4445BE Time : 0.0 sec. user=mdettweiler [2018-06-26 19:42:37] 635*2^1514454-1 is not prime. Res64: E788B5323E32B144 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:49:32] 641*2^1514454-1 is not prime. Res64: 0D5C7D2DC75E8E06 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:49:32] 861*2^1514454-1 is not prime. Res64: 1AB7FF326CF0DDF5 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:49:33] 917*2^1514454-1 is not prime. Res64: F41F260B7C9A681C Time : 0.0 sec. user=mdettweiler [2018-06-26 19:49:33] 993*2^1514454-1 is not prime. Res64: CF5D4243A91A8296 Time : 0.0 sec. user=mdettweiler [2018-06-26 19:49:33] 1001*2^1514454-1 is not prime. Res64: 00BA6AD073034F25 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:23:32] 645*2^1514455-1 is not prime. Res64: 6D675207575DD56F Time : 0.0 sec. user=mdettweiler [2018-06-26 20:23:33] 763*2^1514455-1 is not prime. Res64: 2EE6832D56E5B6DA Time : 0.0 sec. user=mdettweiler [2018-06-26 20:23:33] 765*2^1514455-1 is not prime. Res64: 387CB9BCE392FE28 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:23:34] 853*2^1514455-1 is not prime. Res64: 87F09E0D9347BA8F Time : 0.0 sec. user=mdettweiler [2018-06-26 20:23:34] 883*2^1514455-1 is not prime. Res64: 2E9879867B870197 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:31:16] 909*2^1514455-1 is not prime. Res64: 20C3D900C3CF81A6 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:31:17] 973*2^1514455-1 is not prime. Res64: FA053F5B07105842 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:31:17] 999*2^1514455-1 is not prime. Res64: 3607DE7F953B64D3 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:31:18] 691*2^1514457-1 is not prime. Res64: 3342415C84AF4144 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:31:18] 727*2^1514457-1 is not prime. Res64: 4C3445545336FF21 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:33:19] 837*2^1514457-1 is not prime. Res64: EA5EFA53B2F7AA54 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:33:20] 861*2^1514457-1 is not prime. Res64: 145C2AA54F8E4ABF Time : 0.0 sec. user=mdettweiler [2018-06-26 20:33:20] 909*2^1514457-1 is not prime. Res64: 1EE8F1D10D9AAEFE Time : 0.0 sec. user=mdettweiler [2018-06-26 20:33:21] 687*2^1514458-1 is not prime. Res64: FD23E9DC39E0C6C0 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:33:21] 695*2^1514458-1 is not prime. Res64: DE6F1FBC1F31DCD0 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:40:14] 765*2^1514458-1 is not prime. Res64: 86E7F749DBF7D76E Time : 0.0 sec. user=mdettweiler [2018-06-26 20:40:14] 777*2^1514458-1 is not prime. Res64: CBB40C16873BDDCD Time : 0.0 sec. user=mdettweiler [2018-06-26 20:40:14] 867*2^1514458-1 is not prime. Res64: 832BFEF2280436E6 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:40:15] 993*2^1514458-1 is not prime. Res64: 95E33BAF3D3D9C56 Time : 0.0 sec. user=mdettweiler [2018-06-26 20:40:15] 843*2^1514459-1 is not prime. Res64: 50760F85CFFB22AF Time : 0.0 sec. user=mdettweiler [2018-06-26 21:14:18] 861*2^1514459-1 is not prime. Res64: 7D4ACAA7DE7BF2BD Time : 0.0 sec. user=mdettweiler [2018-06-26 21:14:19] 825*2^1514460-1 is not prime. Res64: D09FD0F0D7726B52 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:14:19] 839*2^1514460-1 is not prime. Res64: 6A842F688DA68FD8 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:14:20] 873*2^1514460-1 is not prime. Res64: 93CE561587776F5A Time : 0.0 sec. user=mdettweiler [2018-06-26 21:14:20] 899*2^1514460-1 is not prime. Res64: 18A6A20AD53D6728 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:21:37] 909*2^1514460-1 is not prime. Res64: 2A9457725208DE03 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:21:37] 923*2^1514460-1 is not prime. Res64: FD1ED70028942EDE Time : 0.0 sec. user=mdettweiler [2018-06-26 21:21:38] 983*2^1514460-1 is not prime. Res64: 6FDEB7F9446C12E2 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:21:38] 639*2^1514461-1 is not prime. Res64: D84D5F93F243F4ED Time : 0.0 sec. user=mdettweiler [2018-06-26 21:21:39] 867*2^1514461-1 is not prime. Res64: EECC280E655DA425 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:23:31] 627*2^1514462-1 is not prime. Res64: FE1307893E27C8F3 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:23:32] 693*2^1514462-1 is not prime. Res64: 77E1E471BECE05A5 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:23:32] 713*2^1514462-1 is not prime. Res64: 502496B7EC44D323 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:23:33] 801*2^1514462-1 is not prime. Res64: 4D9AF1894DFA30FC Time : 0.0 sec. user=mdettweiler [2018-06-26 21:23:33] 813*2^1514462-1 is not prime. Res64: AB8CC2AB54AA7C47 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:30:35] 857*2^1514462-1 is not prime. Res64: 3A49601439B43509 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:30:35] 921*2^1514462-1 is not prime. Res64: 968C6388C45EB252 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:30:36] 935*2^1514462-1 is not prime. Res64: B64CC537BE075F15 Time : 0.0 sec. user=mdettweiler [2018-06-26 21:30:36] 945*2^1514462-1 is not prime. Res64: 97C43F109A284CCD Time : 0.0 sec. user=mdettweiler [2018-06-26 21:30:37] 609*2^1514463-1 is not prime. Res64: 1C2B453F459E9D55 Time : 0.0 sec. user=juhehe [2018-06-26 21:34:02] 613*2^1514463-1 is not prime. Res64: 0DC7B5F1D8057024 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:04:40] 625*2^1514463-1 is not prime. Res64: 5459953CB6B362AE Time : 0.0 sec. user=mdettweiler [2018-06-26 22:04:41] 741*2^1514463-1 is not prime. Res64: 12E1F6437A535152 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:04:42] 849*2^1514463-1 is not prime. Res64: 70A4E7A8A5CCD602 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:04:43] 861*2^1514463-1 is not prime. Res64: C93112F8C18938E9 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:04:44] 873*2^1514463-1 is not prime. Res64: 8E40F102B9431DFF Time : 0.0 sec. user=mdettweiler [2018-06-26 22:12:14] 895*2^1514463-1 is not prime. Res64: 61B8145A96E09426 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:12:15] 663*2^1514464-1 is not prime. Res64: C62FF776FF64B904 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:12:16] 819*2^1514464-1 is not prime. Res64: 018563ADE9B1CE6F Time : 0.0 sec. user=mdettweiler [2018-06-26 22:12:17] 923*2^1514464-1 is not prime. Res64: AF52787110E44D1A Time : 0.0 sec. user=mdettweiler [2018-06-26 22:12:17] 927*2^1514464-1 is not prime. Res64: 9FF4E5D3D13CAA42 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:14:03] 939*2^1514464-1 is not prime. Res64: E8B2F270BECED745 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:14:03] 799*2^1514465-1 is not prime. Res64: C407BC9199DE2E48 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:14:04] 831*2^1514465-1 is not prime. Res64: DCF8A16F10713587 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:14:04] 865*2^1514465-1 is not prime. Res64: A58D0FEA28D0F04F Time : 0.0 sec. user=mdettweiler [2018-06-26 22:14:05] 909*2^1514465-1 is not prime. Res64: 8AE63CCAFD173271 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:20:19] 957*2^1514465-1 is not prime. Res64: 172A1B4EAD47BF10 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:20:19] 633*2^1514466-1 is not prime. Res64: D9F15A6BA0930317 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:20:20] 635*2^1514466-1 is not prime. Res64: 16179142585A4C6A Time : 0.0 sec. user=mdettweiler [2018-06-26 22:20:20] 641*2^1514466-1 is not prime. Res64: 4F2B41C5E971EEB4 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:20:21] 671*2^1514466-1 is not prime. Res64: 4C45C4E1378D8C80 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:56:06] 683*2^1514466-1 is not prime. Res64: 14886FDE187FE60B Time : 0.0 sec. user=mdettweiler [2018-06-26 22:56:06] 735*2^1514466-1 is not prime. Res64: 557EDBEDEF9AD2B5 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:56:07] 873*2^1514466-1 is not prime. Res64: 196D554021AE29F4 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:56:07] 893*2^1514466-1 is not prime. Res64: 44B493C745EF24E5 Time : 0.0 sec. user=mdettweiler [2018-06-26 22:56:07] 933*2^1514466-1 is not prime. Res64: 26C070E524528934 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:02:53] 609*2^1514467-1 is not prime. Res64: C81FC254B76C3B3D Time : 0.0 sec. user=mdettweiler [2018-06-26 23:02:56] 631*2^1514467-1 is not prime. Res64: A824235989C3FDCE Time : 0.0 sec. user=mdettweiler [2018-06-26 23:02:57] 673*2^1514467-1 is not prime. Res64: 6A37861A494D2E4F Time : 0.0 sec. user=mdettweiler [2018-06-26 23:02:58] 775*2^1514467-1 is not prime. Res64: 27A75418FF0B90B7 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:02:59] 871*2^1514467-1 is not prime. Res64: 8D83CCA32964EEF3 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:04:25] 925*2^1514467-1 is not prime. Res64: 7E0E702A15BF3BAF Time : 0.0 sec. user=mdettweiler [2018-06-26 23:04:25] 951*2^1514467-1 is not prime. Res64: 2DE5E6C00394F221 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:04:26] 635*2^1514468-1 is not prime. Res64: 30ADA96FAA0FF3C3 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:04:28] 753*2^1514468-1 is not prime. Res64: C8D0C67FD32C2AA0 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:04:29] 767*2^1514468-1 is not prime. Res64: 3E25085F7C8146DC Time : 0.0 sec. user=juhehe [2018-06-26 23:06:42] 825*2^1514469-1 is not prime. Res64: FDA7F4B6AC51A56D Time : 0.0 sec. user=mdettweiler [2018-06-26 23:10:55] 923*2^1514468-1 is not prime. Res64: 823CC02738A48847 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:10:55] 957*2^1514468-1 is not prime. Res64: 8FE945A78F8AE584 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:10:56] 959*2^1514468-1 is not prime. Res64: EFDFC0AFF9D2BE1E Time : 0.0 sec. user=mdettweiler [2018-06-26 23:10:56] 709*2^1514469-1 is not prime. Res64: 031E356042878DE0 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:10:57] 795*2^1514469-1 is not prime. Res64: E2ACA2F0FB7EC14D Time : 0.0 sec. user=mdettweiler [2018-06-26 23:46:51] 885*2^1514469-1 is not prime. Res64: 0C6E664FFC071A69 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:46:51] 949*2^1514469-1 is not prime. Res64: FED6430564C53EED Time : 0.0 sec. user=mdettweiler [2018-06-26 23:46:52] 951*2^1514469-1 is not prime. Res64: EDE79E78E7E9AE2A Time : 0.0 sec. user=mdettweiler [2018-06-26 23:46:52] 955*2^1514469-1 is not prime. Res64: 0F2B8ED14CB010F4 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:46:53] 961*2^1514469-1 is not prime. Res64: 0B7AE0382E9CA967 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:53:15] 657*2^1514470-1 is not prime. Res64: F4D0F2D405EC5AE7 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:53:15] 713*2^1514470-1 is not prime. Res64: B86B4D02EC27EBF2 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:53:16] 783*2^1514470-1 is not prime. Res64: 3428DD88188E2707 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:53:16] 923*2^1514470-1 is not prime. Res64: BA5AC4DF57B36C11 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:53:16] 951*2^1514470-1 is not prime. Res64: 97A73B7720491318 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:54:50] 621*2^1514471-1 is not prime. Res64: 7F4024E6343E4E6E Time : 0.0 sec. user=mdettweiler [2018-06-26 23:54:50] 711*2^1514471-1 is not prime. Res64: D553DF48BE605526 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:54:51] 759*2^1514471-1 is not prime. Res64: B4B4A07EA233D17A Time : 0.0 sec. user=mdettweiler [2018-06-26 23:54:51] 823*2^1514471-1 is not prime. Res64: C1CC801749B83C80 Time : 0.0 sec. user=mdettweiler [2018-06-26 23:54:51] 943*2^1514471-1 is not prime. Res64: 80847956717185EA Time : 0.0 sec. user=mdettweiler [2018-06-27 00:00:56] 979*2^1514471-1 is not prime. Res64: 8F9E0C08B009FF13 Time : 0.0 sec. user=mdettweiler [2018-06-27 00:00:57] 629*2^1514472-1 is not prime. Res64: AB01CDCCBAEC824C Time : 0.0 sec. user=mdettweiler [2018-06-27 00:00:57] 635*2^1514472-1 is not prime. Res64: B8A98D0B6EDE7B42 Time : 0.0 sec. user=mdettweiler [2018-06-27 00:00:57] 819*2^1514472-1 is not prime. Res64: DE4240158120E790 Time : 0.0 sec. user=mdettweiler [2018-06-27 00:00:58] 873*2^1514472-1 is not prime. Res64: 697244C7072F52C2 Time : 0.0 sec.