user=mdettweiler [2017-04-19 00:19:59] 603*2^1452067-1 is not prime. Res64: 512D8D8023202F8E Time : 0.0 sec. user=mdettweiler [2017-04-19 00:20:00] 615*2^1452067-1 is not prime. Res64: 7190B9F5EEBAE832 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:20:00] 649*2^1452067-1 is not prime. Res64: 2F66B30647F84731 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:20:01] 751*2^1452067-1 is not prime. Res64: 77914B5DCEFB5CC3 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:20:01] 861*2^1452067-1 is not prime. Res64: 41E3C9AAD0FA24C3 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:32:33] 945*2^1452067-1 is not prime. Res64: 4972DA72A64862B9 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:32:33] 951*2^1452067-1 is not prime. Res64: 46A8A7AB2B5E6586 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:32:33] 615*2^1452068-1 is not prime. Res64: DEBA11C94883293A Time : 0.0 sec. user=mdettweiler [2017-04-19 00:32:34] 749*2^1452068-1 is not prime. Res64: 89DD858C9E1B2B50 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:32:34] 753*2^1452068-1 is not prime. Res64: A37C8F90964D7AAB Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:06] 803*2^1452068-1 is not prime. Res64: 3E3BF78DAA0F8547 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:06] 839*2^1452068-1 is not prime. Res64: E09502BF622BA947 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:06] 855*2^1452068-1 is not prime. Res64: DFE6EF1DAB252B9D Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:07] 869*2^1452068-1 is not prime. Res64: 28F16C7C4BABF211 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:07] 875*2^1452068-1 is not prime. Res64: 739974AE108FBC8F Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:34] 987*2^1452068-1 is not prime. Res64: BC300631EF2EED18 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:35] 711*2^1452069-1 is not prime. Res64: 26B9CB2DE3FEC8FB Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:35] 747*2^1452069-1 is not prime. Res64: F75DB3E9581113D4 Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:36] 867*2^1452069-1 is not prime. Res64: 6835667642EBFB0E Time : 0.0 sec. user=mdettweiler [2017-04-19 00:37:36] 927*2^1452069-1 is not prime. Res64: 8F35B1EB828CFABB Time : 0.0 sec. user=mdettweiler [2017-04-19 01:04:54] 603*2^1452070-1 is not prime. Res64: 4B3F6EFAAA85FA06 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:04:56] 635*2^1452070-1 is not prime. Res64: E0F3CF54984F41FE Time : 0.0 sec. user=mdettweiler [2017-04-19 01:04:58] 671*2^1452070-1 is not prime. Res64: 7D342F0694498871 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:04:59] 695*2^1452070-1 is not prime. Res64: CE5C3FCBC44B0244 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:05:00] 863*2^1452070-1 is not prime. Res64: DC92992E5FB498D8 Time : 0.0 sec. user=juhehe [2017-04-19 01:13:38] 763*2^1452071-1 is not prime. Res64: 7309918257B07EBC Time : 0.0 sec. user=mdettweiler [2017-04-19 01:17:33] 945*2^1452070-1 is not prime. Res64: 7491FDB2A74EA214 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:17:34] 601*2^1452071-1 is not prime. Res64: 92274AC725C1719D Time : 0.0 sec. user=mdettweiler [2017-04-19 01:17:34] 645*2^1452071-1 is not prime. Res64: EFC0F09BFC1DCEE8 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:17:35] 735*2^1452071-1 is not prime. Res64: C1A18429ABAE7332 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:17:35] 745*2^1452071-1 is not prime. Res64: 7AD1CA9731F8DA74 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:11] 775*2^1452071-1 is not prime. Res64: 9E369D89BB771FC0 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:12] 909*2^1452071-1 is not prime. Res64: CD3898FA1C619B57 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:12] 629*2^1452072-1 is not prime. Res64: 79E5AE6583A9EB61 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:12] 669*2^1452072-1 is not prime. Res64: C583A34C21F51C8E Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:13] 723*2^1452072-1 is not prime. Res64: F86D1EF6D865284B Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:39] 863*2^1452072-1 is not prime. Res64: FB649E432A11CA5F Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:39] 607*2^1452073-1 is not prime. Res64: 0FB6498298204ED1 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:40] 619*2^1452073-1 is not prime. Res64: 73047C3495DB6991 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:40] 751*2^1452073-1 is not prime. Res64: 25A8F85A545F3A2B Time : 0.0 sec. user=mdettweiler [2017-04-19 01:22:41] 885*2^1452073-1 is not prime. Res64: 89E16F729EEFD40B Time : 0.0 sec. user=mdettweiler [2017-04-19 01:50:24] 641*2^1452074-1 is not prime. Res64: 3DD2CCC1560BA824 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:50:25] 665*2^1452074-1 is not prime. Res64: 6462F6E9F22E711D Time : 0.0 sec. user=mdettweiler [2017-04-19 01:50:25] 785*2^1452074-1 is not prime. Res64: 997E8DE4CFFB785F Time : 0.0 sec. user=mdettweiler [2017-04-19 01:50:25] 837*2^1452074-1 is not prime. Res64: 0A821B5AB2FCFAF9 Time : 0.0 sec. user=mdettweiler [2017-04-19 01:50:26] 873*2^1452074-1 is not prime. Res64: E7B74B7698121C75 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:03:15] 923*2^1452074-1 is not prime. Res64: B133B1AF91C612AA Time : 0.0 sec. user=mdettweiler [2017-04-19 02:03:17] 651*2^1452075-1 is not prime. Res64: 43C3D998166E9A51 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:03:18] 669*2^1452075-1 is not prime. Res64: 5C4E129D5878F598 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:03:20] 801*2^1452075-1 is not prime. Res64: F835F74C096289D1 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:03:21] 859*2^1452075-1 is not prime. Res64: 006B7B9A057EEF50 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:08:28] 903*2^1452075-1 is not prime. Res64: 3C703BBE117E6CF4 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:08:29] 961*2^1452075-1 is not prime. Res64: DCA3327109F4FB3A Time : 0.0 sec. user=mdettweiler [2017-04-19 02:08:29] 617*2^1452076-1 is not prime. Res64: 85FD67BC4F51799C Time : 0.0 sec. user=mdettweiler [2017-04-19 02:08:30] 629*2^1452076-1 is not prime. Res64: 2B9307CD60DBA62D Time : 0.0 sec. user=mdettweiler [2017-04-19 02:08:30] 765*2^1452076-1 is not prime. Res64: 3C41F46C55AC43E7 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:09:13] 903*2^1452076-1 is not prime. Res64: FEB0F9E82B427E32 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:09:13] 975*2^1452076-1 is not prime. Res64: 24D1FB449FEDF6D3 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:09:13] 989*2^1452076-1 is not prime. Res64: BBFD6431677F6815 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:09:14] 735*2^1452077-1 is not prime. Res64: 6F361A4AE790F490 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:09:14] 795*2^1452077-1 is not prime. Res64: 1FA441C88F7F4CEB Time : 0.0 sec. user=juhehe [2017-04-19 02:34:05] 651*2^1452078-1 is not prime. Res64: BB47EAA25F597BB5 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:37:00] 885*2^1452077-1 is not prime. Res64: CD8BB3FD21727D9F Time : 0.0 sec. user=mdettweiler [2017-04-19 02:37:00] 889*2^1452077-1 is not prime. Res64: B9277BEC72369A26 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:37:01] 957*2^1452077-1 is not prime. Res64: EA33BED854D1D969 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:37:01] 615*2^1452078-1 is not prime. Res64: A7B117A1766D8D85 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:37:01] 641*2^1452078-1 is not prime. Res64: F96D0AA85EC63685 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:50:35] 713*2^1452078-1 is not prime. Res64: 3CA525486807F794 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:50:36] 765*2^1452078-1 is not prime. Res64: F920901C30E90BB2 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:50:36] 767*2^1452078-1 is not prime. Res64: FEA1B01E89CE931C Time : 0.0 sec. user=mdettweiler [2017-04-19 02:50:36] 777*2^1452078-1 is not prime. Res64: E9B0D1069A1EE76A Time : 0.0 sec. user=mdettweiler [2017-04-19 02:50:37] 609*2^1452079-1 is not prime. Res64: 3F30F0437CED7428 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:23] 649*2^1452079-1 is not prime. Res64: 4015C144185C5119 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:23] 693*2^1452079-1 is not prime. Res64: 40D5F0674C7F52C4 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:24] 705*2^1452079-1 is not prime. Res64: 8A04368D0F388CDB Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:24] 855*2^1452079-1 is not prime. Res64: 08EBCA6326DEDD24 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:25] 859*2^1452079-1 is not prime. Res64: 4A2C459FCEE072F0 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:48] 951*2^1452079-1 is not prime. Res64: 9E4DA6E6DA570841 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:48] 975*2^1452079-1 is not prime. Res64: 86365CEA098A832C Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:48] 985*2^1452079-1 is not prime. Res64: 1D634B624AB12DE2 Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:48] 665*2^1452080-1 is not prime. Res64: 90C4B5DB09F4385E Time : 0.0 sec. user=mdettweiler [2017-04-19 02:55:49] 747*2^1452080-1 is not prime. Res64: 1A230166F953798E Time : 0.0 sec. user=mdettweiler [2017-04-19 03:23:29] 773*2^1452080-1 is not prime. Res64: 810EC46592C83920 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:23:30] 843*2^1452080-1 is not prime. Res64: BA64433649B780BD Time : 0.0 sec. user=mdettweiler [2017-04-19 03:23:30] 855*2^1452080-1 is not prime. Res64: 4E2820F321AF7151 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:23:30] 945*2^1452080-1 is not prime. Res64: 5FBFC4AF7291DB5B Time : 0.0 sec. user=mdettweiler [2017-04-19 03:23:31] 963*2^1452080-1 is not prime. Res64: C51BDD90C420BFC7 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:36:03] 983*2^1452080-1 is not prime. Res64: 2AAA754698272C12 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:36:05] 625*2^1452081-1 is not prime. Res64: 04BDE1B92C827EE5 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:36:05] 649*2^1452081-1 is not prime. Res64: 5A4549394C867634 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:36:06] 669*2^1452081-1 is not prime. Res64: 6DD883914A59DE51 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:36:07] 741*2^1452081-1 is not prime. Res64: 0C39F70161FD8E07 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:40:49] 745*2^1452081-1 is not prime. Res64: 2A04263E070BA303 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:40:53] 747*2^1452081-1 is not prime. Res64: FB819F73666EACBD Time : 0.0 sec. user=mdettweiler [2017-04-19 03:40:55] 991*2^1452081-1 is not prime. Res64: 528C3570B23FD3BB Time : 0.0 sec. user=mdettweiler [2017-04-19 03:40:58] 997*2^1452081-1 is not prime. Res64: 8ADB22B8342325CF Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:03] 623*2^1452082-1 is not prime. Res64: 718C666C0F91B0E2 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:04] 701*2^1452082-1 is not prime. Res64: 37EDFEFACFB127C4 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:08] 735*2^1452082-1 is not prime. Res64: 185B68D296FA834C Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:13] 855*2^1452082-1 is not prime. Res64: CFB936B371E86B09 Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:17] 891*2^1452082-1 is not prime. Res64: 7CEDE48B5306CAAD Time : 0.0 sec. user=mdettweiler [2017-04-19 03:41:19] 615*2^1452083-1 is not prime. Res64: 56E4E46DAC46828E Time : 0.0 sec. user=mdettweiler [2017-04-19 04:09:30] 759*2^1452083-1 is not prime. Res64: 71EDCB3A96C753EC Time : 0.0 sec. user=mdettweiler [2017-04-19 04:09:30] 775*2^1452083-1 is not prime. Res64: 045859F597280380 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:09:31] 783*2^1452083-1 is not prime. Res64: BA8C27302DF533F8 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:09:31] 805*2^1452083-1 is not prime. Res64: FAA1844DA0C37CE7 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:09:31] 985*2^1452083-1 is not prime. Res64: 167C34A24D9C82ED Time : 0.0 sec. user=mdettweiler [2017-04-19 04:21:59] 609*2^1452084-1 is not prime. Res64: A6BEEC7389A4D2F5 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:21:59] 753*2^1452084-1 is not prime. Res64: 541445E329A90391 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:22:00] 765*2^1452084-1 is not prime. Res64: 5ECD66DF796FED87 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:22:00] 601*2^1452085-1 is not prime. Res64: 1DF9B5A8687ACEF4 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:22:01] 667*2^1452085-1 is not prime. Res64: 61771F483F5EC305 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:49] 819*2^1452085-1 is not prime. Res64: 40ED8AF55E76669D Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:49] 825*2^1452085-1 is not prime. Res64: F01EAB91D988213E Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:49] 999*2^1452085-1 is not prime. Res64: D1E50D904A896810 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:50] 623*2^1452086-1 is not prime. Res64: F38D7D300885EF80 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:50] 693*2^1452086-1 is not prime. Res64: 568FB117A29180E9 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:53] 911*2^1452086-1 is not prime. Res64: 30AC243057F9CF6E Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:53] 921*2^1452086-1 is not prime. Res64: 44F0303DB5B3DC36 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:54] 963*2^1452086-1 is not prime. Res64: 4968633DBFABBEBF Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:54] 619*2^1452087-1 is not prime. Res64: 3E022B02098753E2 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:27:54] 751*2^1452087-1 is not prime. Res64: C0D9F68DC703B011 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:54:42] 985*2^1452087-1 is not prime. Res64: 9A124021E17E6180 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:54:42] 855*2^1452088-1 is not prime. Res64: 2D896A40F5C04687 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:54:43] 905*2^1452088-1 is not prime. Res64: 6DA7971956EE20A7 Time : 0.0 sec. user=mdettweiler [2017-04-19 04:54:43] 619*2^1452089-1 is not prime. Res64: 16A49ECA9340F5CF Time : 0.0 sec. user=mdettweiler [2017-04-19 04:54:44] 645*2^1452089-1 is not prime. Res64: E87853E19CA44EEB Time : 0.0 sec. user=mdettweiler [2017-04-19 05:07:04] 649*2^1452089-1 is not prime. Res64: 63AA66DDE9E419B8 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:07:05] 697*2^1452089-1 is not prime. Res64: 487215A3932392E1 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:07:05] 789*2^1452089-1 is not prime. Res64: C8FAE6E9F4C018A2 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:07:06] 855*2^1452089-1 is not prime. Res64: 60811B8826275801 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:07:06] 991*2^1452089-1 is not prime. Res64: 31973C378B376848 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:04] 611*2^1452090-1 is not prime. Res64: 7ED3C39DBE002E30 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:04] 633*2^1452090-1 is not prime. Res64: 8BB82AE12C6E31C9 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:05] 665*2^1452090-1 is not prime. Res64: 592CF2603F04BD14 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:05] 677*2^1452090-1 is not prime. Res64: AF4E7705C5584076 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:06] 741*2^1452090-1 is not prime. Res64: 660B6A2C6D3F9944 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:14] 891*2^1452090-1 is not prime. Res64: BFB3750CECD18B5B Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:15] 625*2^1452091-1 is not prime. Res64: 7F834FBBAE861BFC Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:15] 649*2^1452091-1 is not prime. Res64: 8FF2DA6DDAC2079A Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:15] 685*2^1452091-1 is not prime. Res64: 47D0450C08B1D798 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:13:16] 759*2^1452091-1 is not prime. Res64: 6810E4C5C8D29DEC Time : 0.0 sec. user=mdettweiler [2017-04-19 05:39:48] 769*2^1452091-1 is not prime. Res64: 9BBD547AA09F4866 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:39:48] 871*2^1452091-1 is not prime. Res64: 8F9354A90E8AF9D0 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:39:48] 895*2^1452091-1 is not prime. Res64: 23EDF395015D5A3A Time : 0.0 sec. user=mdettweiler [2017-04-19 05:39:49] 961*2^1452091-1 is not prime. Res64: D3E0A7A7202551DC Time : 0.0 sec. user=mdettweiler [2017-04-19 05:39:49] 973*2^1452091-1 is not prime. Res64: E1CD01DD0735D967 Time : 0.0 sec. user=juhehe [2017-04-19 05:44:25] 975*2^1452091-1 is not prime. Res64: BFE51A6F23FC5C94 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:52:21] 675*2^1452092-1 is not prime. Res64: 09D4F38B50D3F5AB Time : 0.0 sec. user=mdettweiler [2017-04-19 05:52:22] 687*2^1452092-1 is not prime. Res64: E3792FEB7333B32E Time : 0.0 sec. user=mdettweiler [2017-04-19 05:52:22] 725*2^1452092-1 is not prime. Res64: 24017EB009D4A0A4 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:52:22] 797*2^1452092-1 is not prime. Res64: 464F36AB7953C1F9 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:52:23] 825*2^1452092-1 is not prime. Res64: C0E5FCE110BA3A64 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:10] 679*2^1452093-1 is not prime. Res64: AEAE99C96C099EC3 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:10] 795*2^1452093-1 is not prime. Res64: 5CF67586AF4FFA1C Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:11] 885*2^1452093-1 is not prime. Res64: 9BB3930009B74699 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:11] 937*2^1452093-1 is not prime. Res64: 784D7A468579BE31 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:11] 979*2^1452093-1 is not prime. Res64: B5B5A10903C26C07 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:29] 985*2^1452093-1 is not prime. Res64: 2880C537573DE436 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:29] 999*2^1452093-1 is not prime. Res64: 17011900A64FE03E Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:30] 681*2^1452094-1 is not prime. Res64: 3F0FF8FF35EF9F81 Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:30] 825*2^1452094-1 is not prime. Res64: 03C84ABE1A79BB7B Time : 0.0 sec. user=mdettweiler [2017-04-19 05:58:30] 885*2^1452094-1 is not prime. Res64: 2659AA27EE7D4411 Time : 0.0 sec. user=juhehe [2017-04-19 06:23:20] 669*2^1452095-1 is not prime. Res64: B48647AB9AE8F5A0 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:24:52] 923*2^1452094-1 is not prime. Res64: BDDC37E7EA04A405 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:24:53] 957*2^1452094-1 is not prime. Res64: 6F4BE79A7226CA2C Time : 0.0 sec. user=mdettweiler [2017-04-19 06:24:53] 1001*2^1452094-1 is not prime. Res64: D77B916CD1ABEC85 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:24:54] 651*2^1452095-1 is not prime. Res64: BAAE69FF904F48FD Time : 0.0 sec. user=mdettweiler [2017-04-19 06:24:55] 661*2^1452095-1 is not prime. Res64: D8F61267A29E9A16 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:37:28] 715*2^1452095-1 is not prime. Res64: EF9DF6E35026C652 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:37:29] 843*2^1452095-1 is not prime. Res64: 6A8DB335F9B1CD1B Time : 0.0 sec. user=mdettweiler [2017-04-19 06:37:29] 871*2^1452095-1 is not prime. Res64: 555F0F2F165C8AB1 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:37:30] 943*2^1452095-1 is not prime. Res64: 25DD7514C6F134DC Time : 0.0 sec. user=mdettweiler [2017-04-19 06:37:30] 979*2^1452095-1 is not prime. Res64: 0544382695B5295E Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:17] 999*2^1452095-1 is not prime. Res64: 8F2A4F6ABDDDA7BB Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:17] 615*2^1452096-1 is not prime. Res64: C83404FAF6B3BF5B Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:18] 627*2^1452096-1 is not prime. Res64: 566F9AF66AC717BB Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:18] 689*2^1452096-1 is not prime. Res64: 0DFCD378DCDDEFA6 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:19] 765*2^1452096-1 is not prime. Res64: 5A53015235D171E5 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:35] 803*2^1452096-1 is not prime. Res64: 2CA70A31FF47E69A Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:36] 845*2^1452096-1 is not prime. Res64: AE7A599425D460CE Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:36] 887*2^1452096-1 is not prime. Res64: 2AF90FE6F76BCEE0 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:37] 927*2^1452096-1 is not prime. Res64: 82E054DF98FB2E92 Time : 0.0 sec. user=mdettweiler [2017-04-19 06:43:37] 649*2^1452097-1 is not prime. Res64: 58DD369D2D4D9AC1 Time : 0.0 sec. user=juhehe [2017-04-19 06:51:06] 667*2^1452097-1 is not prime. Res64: 4BB6C5FFEF64233E Time : 0.0 sec. user=mdettweiler [2017-04-19 07:10:03] 691*2^1452097-1 is not prime. Res64: 15BD93A928E0A83B Time : 0.0 sec. user=mdettweiler [2017-04-19 07:10:03] 729*2^1452097-1 is not prime. Res64: 3D05BE0677C40803 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:10:04] 835*2^1452097-1 is not prime. Res64: D728EC533179DA62 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:10:04] 937*2^1452097-1 is not prime. Res64: 454EF8F99A58517E Time : 0.0 sec. user=mdettweiler [2017-04-19 07:10:04] 743*2^1452098-1 is not prime. Res64: 86B653723281BAC3 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:22:27] 767*2^1452098-1 is not prime. Res64: 7EC98FD37C30F29D Time : 0.0 sec. user=mdettweiler [2017-04-19 07:22:28] 773*2^1452098-1 is not prime. Res64: F0CCC98D9A6BCC9F Time : 0.0 sec. user=mdettweiler [2017-04-19 07:22:28] 935*2^1452098-1 is not prime. Res64: 683F6FE5D10F4023 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:22:28] 987*2^1452098-1 is not prime. Res64: 13C2EEE442942A98 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:22:29] 621*2^1452099-1 is not prime. Res64: 1342E58D2713FA3B Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:23] 649*2^1452099-1 is not prime. Res64: F5BD23C025F2F9AD Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:24] 663*2^1452099-1 is not prime. Res64: 0822D2E05CB3A1A2 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:24] 685*2^1452099-1 is not prime. Res64: 55FFCAF5E3DACD5F Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:25] 793*2^1452099-1 is not prime. Res64: 062EE8E766D480ED Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:25] 801*2^1452099-1 is not prime. Res64: 6DC8DB5FC979D433 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:56] 853*2^1452099-1 is not prime. Res64: 41608E76BD6F0104 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:57] 949*2^1452099-1 is not prime. Res64: 7EB1F7F9CDA7AC10 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:57] 623*2^1452100-1 is not prime. Res64: A91B709314EA7214 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:57] 635*2^1452100-1 is not prime. Res64: 0B8A3B8D0CD6259E Time : 0.0 sec. user=mdettweiler [2017-04-19 07:28:58] 777*2^1452100-1 is not prime. Res64: 093D9E99E8793F21 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:55:20] 797*2^1452100-1 is not prime. Res64: 1BC491C0977DEB28 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:55:20] 885*2^1452100-1 is not prime. Res64: 15B3F07F915525E0 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:55:21] 915*2^1452100-1 is not prime. Res64: 464D1A6BC6448FEE Time : 0.0 sec. user=mdettweiler [2017-04-19 07:55:21] 939*2^1452100-1 is not prime. Res64: 4D6034B27BAF6432 Time : 0.0 sec. user=mdettweiler [2017-04-19 07:55:22] 607*2^1452101-1 is not prime. Res64: 45F043F9EAD3B9D1 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:07:30] 669*2^1452101-1 is not prime. Res64: B35C84642F14DBB9 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:07:31] 789*2^1452101-1 is not prime. Res64: E6B720406D66F775 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:07:31] 885*2^1452101-1 is not prime. Res64: C488C712D57833C3 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:07:32] 681*2^1452102-1 is not prime. Res64: 0680FD65B9A454D1 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:07:32] 711*2^1452102-1 is not prime. Res64: 32C6098B5D1EB5C8 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:13:30] 755*2^1452102-1 is not prime. Res64: 22DB0C4BF0858EDD Time : 0.0 sec. user=mdettweiler [2017-04-19 08:13:30] 765*2^1452102-1 is not prime. Res64: 1ECD837722867C6C Time : 0.0 sec. user=mdettweiler [2017-04-19 08:13:31] 873*2^1452102-1 is not prime. Res64: 176625AA09D5B754 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:13:31] 887*2^1452102-1 is not prime. Res64: 812DD7E5C047ADDE Time : 0.0 sec. user=mdettweiler [2017-04-19 08:13:31] 977*2^1452102-1 is not prime. Res64: 821FAEA73E20CD75 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:14:16] 633*2^1452103-1 is not prime. Res64: 74062F3B3A55CF55 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:14:16] 639*2^1452103-1 is not prime. Res64: A06EDAD5F9A1E373 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:14:17] 673*2^1452103-1 is not prime. Res64: F7FDDD479896AAE5 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:14:17] 693*2^1452103-1 is not prime. Res64: 66DF0984B7503F78 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:14:17] 853*2^1452103-1 is not prime. Res64: 91839A3DDB109C89 Time : 0.0 sec. user=juhehe [2017-04-19 08:23:05] 629*2^1452104-1 is not prime. Res64: 6930F180E8DAB10F Time : 0.0 sec. user=mdettweiler [2017-04-19 08:40:33] 665*2^1452104-1 is not prime. Res64: 676D1E1AAD139CF7 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:40:33] 935*2^1452104-1 is not prime. Res64: 6003857EA91E297C Time : 0.0 sec. user=mdettweiler [2017-04-19 08:40:34] 993*2^1452104-1 is not prime. Res64: B436CB36A9834B4F Time : 0.0 sec. user=mdettweiler [2017-04-19 08:40:34] 705*2^1452105-1 is not prime. Res64: 42247E743640AABC Time : 0.0 sec. user=mdettweiler [2017-04-19 08:40:35] 805*2^1452105-1 is not prime. Res64: E566A4E9A0D9CB72 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:52:37] 915*2^1452105-1 is not prime. Res64: 2A7C8920930132B6 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:52:37] 723*2^1452106-1 is not prime. Res64: 96B6A6FA3FD389AF Time : 0.0 sec. user=mdettweiler [2017-04-19 08:52:37] 857*2^1452106-1 is not prime. Res64: 7D4042D17C10B563 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:52:38] 873*2^1452106-1 is not prime. Res64: A684C0761339C272 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:52:38] 933*2^1452106-1 is not prime. Res64: 499143AE2EB4995A Time : 0.0 sec. user=mdettweiler [2017-04-19 08:58:34] 971*2^1452106-1 is not prime. Res64: 4654F01FDE63BBB6 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:58:34] 619*2^1452107-1 is not prime. Res64: E446254DE4400617 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:58:35] 655*2^1452107-1 is not prime. Res64: 853F790ABD6B6D40 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:58:35] 703*2^1452107-1 is not prime. Res64: FFC2829187F56C35 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:58:35] 629*2^1452108-1 is not prime. Res64: 61FD076B6DAD1D93 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:59:32] 707*2^1452108-1 is not prime. Res64: 8D8C9EAA54037DFA Time : 0.0 sec. user=mdettweiler [2017-04-19 08:59:32] 783*2^1452108-1 is not prime. Res64: 7EACBAEC080D132F Time : 0.0 sec. user=mdettweiler [2017-04-19 08:59:33] 839*2^1452108-1 is not prime. Res64: A77B791B0FA287DC Time : 0.0 sec. user=mdettweiler [2017-04-19 08:59:33] 893*2^1452108-1 is not prime. Res64: FC5EC30381E8FB51 Time : 0.0 sec. user=mdettweiler [2017-04-19 08:59:33] 675*2^1452109-1 is not prime. Res64: 02CAC54617445A6E Time : 0.0 sec. user=mdettweiler [2017-04-19 09:25:44] 681*2^1452109-1 is not prime. Res64: 0DACE9974AA7FB1A Time : 0.0 sec. user=mdettweiler [2017-04-19 09:25:44] 687*2^1452109-1 is not prime. Res64: AC82AD43FD716C86 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:25:45] 729*2^1452109-1 is not prime. Res64: BBE37A4DF14DAD42 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:25:45] 855*2^1452109-1 is not prime. Res64: DDF05AF1E3886B76 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:25:46] 919*2^1452109-1 is not prime. Res64: F26497EE4548DF5D Time : 0.0 sec. user=mdettweiler [2017-04-19 09:37:44] 927*2^1452109-1 is not prime. Res64: F8B17256AF9B409C Time : 0.0 sec. user=mdettweiler [2017-04-19 09:37:44] 975*2^1452109-1 is not prime. Res64: C2B821090E84B39D Time : 0.0 sec. user=mdettweiler [2017-04-19 09:37:45] 997*2^1452109-1 is not prime. Res64: 01FFCD0888F44A84 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:37:45] 755*2^1452110-1 is not prime. Res64: F731C4AD481759F8 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:37:45] 825*2^1452110-1 is not prime. Res64: 79B31AC0D35ED168 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:43:56] 845*2^1452110-1 is not prime. Res64: 4E90719CF85422E0 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:43:57] 867*2^1452110-1 is not prime. Res64: DB28DC2738BFEF68 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:43:57] 981*2^1452110-1 is not prime. Res64: D9C8C781AA1314E7 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:43:57] 987*2^1452110-1 is not prime. Res64: A77062FD3E8E8AAD Time : 0.0 sec. user=mdettweiler [2017-04-19 09:43:58] 1001*2^1452110-1 is not prime. Res64: 9E45337EAA95E21E Time : 0.0 sec. user=mdettweiler [2017-04-19 09:45:00] 705*2^1452111-1 is not prime. Res64: BA2825A8261FF702 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:45:00] 735*2^1452111-1 is not prime. Res64: 5381DFB2711A2542 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:45:01] 879*2^1452111-1 is not prime. Res64: BFA4D1C9207AFB4F Time : 0.0 sec. user=mdettweiler [2017-04-19 09:45:01] 979*2^1452111-1 is not prime. Res64: 471D18E4E6F77460 Time : 0.0 sec. user=mdettweiler [2017-04-19 09:45:02] 999*2^1452111-1 is not prime. Res64: 6160380CD294E21C Time : 0.0 sec. user=mdettweiler [2017-04-19 10:11:07] 615*2^1452112-1 is not prime. Res64: 24CE75E487DF70C7 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:11:07] 677*2^1452112-1 is not prime. Res64: F673594A964C74EF Time : 0.0 sec. user=mdettweiler [2017-04-19 10:11:08] 717*2^1452112-1 is not prime. Res64: 166B216B1DF36181 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:11:08] 833*2^1452112-1 is not prime. Res64: 0301823C82767E35 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:11:08] 843*2^1452112-1 is not prime. Res64: ED7D4CFFA7F81F97 Time : 0.0 sec. user=juhehe [2017-04-19 10:21:18] 699*2^1452113-1 is not prime. Res64: E003CD11762EB031 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:22:53] 869*2^1452112-1 is not prime. Res64: EE621F393DE5F561 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:22:53] 899*2^1452112-1 is not prime. Res64: 15CD8AAB1127D29E Time : 0.0 sec. user=mdettweiler [2017-04-19 10:22:54] 929*2^1452112-1 is not prime. Res64: DC6C911CE9C7318C Time : 0.0 sec. user=mdettweiler [2017-04-19 10:22:54] 989*2^1452112-1 is not prime. Res64: 3256449BD7DF9B61 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:22:54] 685*2^1452113-1 is not prime. Res64: 26E4D0FBC1A1E8A9 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:29:11] 721*2^1452113-1 is not prime. Res64: 3D68F2838CC0426C Time : 0.0 sec. user=mdettweiler [2017-04-19 10:29:12] 747*2^1452113-1 is not prime. Res64: 52AE451FB346E0A0 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:29:12] 759*2^1452113-1 is not prime. Res64: B498723647DC27E7 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:29:13] 789*2^1452113-1 is not prime. Res64: F1466E09BE290243 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:29:13] 915*2^1452113-1 is not prime. Res64: 971234A1B6C2F3A5 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:30:22] 651*2^1452114-1 is not prime. Res64: EEB7E127593D58D2 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:30:23] 663*2^1452114-1 is not prime. Res64: 8AC6AE7AA3E841F2 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:30:23] 681*2^1452114-1 is not prime. Res64: E4D804A58685CD3F Time : 0.0 sec. user=mdettweiler [2017-04-19 10:30:24] 725*2^1452114-1 is not prime. Res64: 0FD7A53F3D4FB151 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:30:24] 747*2^1452114-1 is not prime. Res64: 189DC0450E4AA699 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:56:26] 765*2^1452114-1 is not prime. Res64: 603DE21DFD101FB1 Time : 0.0 sec. user=mdettweiler [2017-04-19 10:56:26] 791*2^1452114-1 is not prime. Res64: A2ED703CC54DAF9A Time : 0.0 sec. user=mdettweiler [2017-04-19 10:56:26] 797*2^1452114-1 is not prime. Res64: 2E8E51C9C4303DDF Time : 0.0 sec. user=mdettweiler [2017-04-19 10:56:27] 803*2^1452114-1 is not prime. Res64: 858F83312EAA9AEA Time : 0.0 sec. user=mdettweiler [2017-04-19 10:56:27] 851*2^1452114-1 is not prime. Res64: 80A3CA66FF86C037 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:07:57] 885*2^1452114-1 is not prime. Res64: 96CCD7C8178F800D Time : 0.0 sec. user=mdettweiler [2017-04-19 11:07:58] 945*2^1452114-1 is not prime. Res64: A532BF582E3ECAF0 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:07:58] 609*2^1452115-1 is not prime. Res64: 15C804E472F32287 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:07:59] 633*2^1452115-1 is not prime. Res64: 8658CE545E2DFEE0 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:07:59] 693*2^1452115-1 is not prime. Res64: 9706E42DF8319172 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:14:17] 765*2^1452115-1 is not prime. Res64: FEA2B3C229C74350 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:14:18] 849*2^1452115-1 is not prime. Res64: F89EFDB099FDFF8F Time : 0.0 sec. user=mdettweiler [2017-04-19 11:14:18] 871*2^1452115-1 is not prime. Res64: 96455C4A0876A026 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:14:18] 873*2^1452115-1 is not prime. Res64: FE846800D06918A5 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:14:19] 895*2^1452115-1 is not prime. Res64: 4795B4C43F42F631 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:15:31] 985*2^1452115-1 is not prime. Res64: 3B163CB3062D408B Time : 0.0 sec. user=mdettweiler [2017-04-19 11:15:31] 659*2^1452116-1 is not prime. Res64: 7070D2320629C0D5 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:15:32] 873*2^1452116-1 is not prime. Res64: 0A0FE5A9C7F34D7D Time : 0.0 sec. user=mdettweiler [2017-04-19 11:15:32] 621*2^1452117-1 is not prime. Res64: 5C6552FAFE077892 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:15:32] 649*2^1452117-1 is not prime. Res64: A2B82C70F9FE9D13 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:41:32] 861*2^1452117-1 is not prime. Res64: 71521944DB8080AE Time : 0.0 sec. user=mdettweiler [2017-04-19 11:41:32] 885*2^1452117-1 is not prime. Res64: 599A3D1D316CD33F Time : 0.0 sec. user=mdettweiler [2017-04-19 11:41:32] 955*2^1452117-1 is not prime. Res64: 296FF6A5EFF184B1 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:41:33] 623*2^1452118-1 is not prime. Res64: E65E1B76A9EF85F9 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:41:33] 635*2^1452118-1 is not prime. Res64: 47AC19263AC74694 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:52:56] 713*2^1452118-1 is not prime. Res64: 921FFBE4E3D2BEB4 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:52:56] 723*2^1452118-1 is not prime. Res64: 79612E143775D6A7 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:52:57] 755*2^1452118-1 is not prime. Res64: D833E42E409CC064 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:52:57] 827*2^1452118-1 is not prime. Res64: A3F4F5DA97933338 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:52:58] 615*2^1452119-1 is not prime. Res64: E4C6E84CDF51369B Time : 0.0 sec. user=mdettweiler [2017-04-19 11:59:24] 661*2^1452119-1 is not prime. Res64: 92815039279D39E8 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:59:25] 753*2^1452119-1 is not prime. Res64: 1F81165D3F89A77D Time : 0.0 sec. user=mdettweiler [2017-04-19 11:59:25] 759*2^1452119-1 is not prime. Res64: D19AAB907D4477F3 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:59:26] 883*2^1452119-1 is not prime. Res64: 2EA3D9DC14DF7212 Time : 0.0 sec. user=mdettweiler [2017-04-19 11:59:26] 931*2^1452119-1 is not prime. Res64: 01DE3881043A244B Time : 0.0 sec. user=mdettweiler [2017-04-19 12:00:43] 839*2^1452120-1 is not prime. Res64: 78C7793CD13BA958 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:00:44] 909*2^1452120-1 is not prime. Res64: 7F844D73EEA6274F Time : 0.0 sec. user=mdettweiler [2017-04-19 12:00:45] 917*2^1452120-1 is not prime. Res64: 259D842FE735188E Time : 0.0 sec. user=mdettweiler [2017-04-19 12:00:46] 983*2^1452120-1 is not prime. Res64: 77C4C1018EDB0F84 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:00:47] 715*2^1452121-1 is not prime. Res64: B62C5C1A59574461 Time : 0.0 sec. user=juhehe [2017-04-19 12:18:55] 769*2^1452121-1 is not prime. Res64: 84FEC2A47F06A779 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:26:41] 799*2^1452121-1 is not prime. Res64: 7ED7D9FB74083EED Time : 0.0 sec. user=mdettweiler [2017-04-19 12:26:41] 847*2^1452121-1 is not prime. Res64: FBC7FF545E898B9C Time : 0.0 sec. user=mdettweiler [2017-04-19 12:26:41] 895*2^1452121-1 is not prime. Res64: C4F982846D7BAA17 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:26:42] 937*2^1452121-1 is not prime. Res64: 313705FB6FFE4B07 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:26:42] 997*2^1452121-1 is not prime. Res64: 0987F08A3E58640D Time : 0.0 sec. user=mdettweiler [2017-04-19 12:38:01] 615*2^1452122-1 is not prime. Res64: C5E4A1654C635663 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:38:02] 711*2^1452122-1 is not prime. Res64: 966A160CCF375A4F Time : 0.0 sec. user=mdettweiler [2017-04-19 12:38:02] 735*2^1452122-1 is not prime. Res64: 976F8FC9C1615461 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:38:03] 785*2^1452122-1 is not prime. Res64: B08C8CF07A69428F Time : 0.0 sec. user=mdettweiler [2017-04-19 12:38:03] 791*2^1452122-1 is not prime. Res64: 92D0998145773DEE Time : 0.0 sec. user=mdettweiler [2017-04-19 12:44:35] 833*2^1452122-1 is not prime. Res64: 61760D59D0D75B58 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:44:36] 837*2^1452122-1 is not prime. Res64: 851A0E32426EBE20 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:44:36] 843*2^1452122-1 is not prime. Res64: 115982BB781607AC Time : 0.0 sec. user=mdettweiler [2017-04-19 12:44:37] 917*2^1452122-1 is not prime. Res64: 4B6B168F113AF526 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:44:37] 735*2^1452123-1 is not prime. Res64: 9AC94D02995D09AD Time : 0.0 sec. user=mdettweiler [2017-04-19 12:46:02] 853*2^1452123-1 is not prime. Res64: 975EC01D6F483B8C Time : 0.0 sec. user=mdettweiler [2017-04-19 12:46:02] 871*2^1452123-1 is not prime. Res64: 5EF9085C5E1E34D5 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:46:02] 895*2^1452123-1 is not prime. Res64: 367535CF6B65ED8C Time : 0.0 sec. user=mdettweiler [2017-04-19 12:46:03] 963*2^1452123-1 is not prime. Res64: AF7C58F99F53C2C3 Time : 0.0 sec. user=mdettweiler [2017-04-19 12:46:03] 609*2^1452124-1 is not prime. Res64: E100EFBF5AE004DB Time : 0.0 sec. user=mdettweiler [2017-04-19 13:15:51] 629*2^1452124-1 is not prime. Res64: 6C0565994CDF7FA3 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:15:51] 665*2^1452124-1 is not prime. Res64: B4AEBA02146AC475 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:15:51] 707*2^1452124-1 is not prime. Res64: E38CC914F2DF1FFF Time : 0.0 sec. user=mdettweiler [2017-04-19 13:15:52] 899*2^1452124-1 is not prime. Res64: D0C7D838916D62C8 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:15:52] 927*2^1452124-1 is not prime. Res64: 4007806134BBB5A5 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:27:54] 675*2^1452125-1 is not prime. Res64: 8DDDA676C08D24CA Time : 0.0 sec. user=mdettweiler [2017-04-19 13:27:54] 735*2^1452125-1 is not prime. Res64: 666329FA633A053C Time : 0.0 sec. user=mdettweiler [2017-04-19 13:27:54] 777*2^1452125-1 is not prime. Res64: 098AFD56294AD9F7 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:27:55] 789*2^1452125-1 is not prime. Res64: F3BF7F60E8AEE8FA Time : 0.0 sec. user=mdettweiler [2017-04-19 13:27:55] 799*2^1452125-1 is not prime. Res64: DF329E9ADAB58DB5 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:34:49] 711*2^1452126-1 is not prime. Res64: A07BBDD3924BD786 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:34:49] 755*2^1452126-1 is not prime. Res64: 3928BAEDC0E52C27 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:34:50] 825*2^1452126-1 is not prime. Res64: 8B61DCDA6DE93578 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:34:50] 601*2^1452127-1 is not prime. Res64: D6E5C18846ED5CFE Time : 0.0 sec. user=mdettweiler [2017-04-19 13:34:50] 759*2^1452127-1 is not prime. Res64: C5E1425079EFB5C1 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:36:21] 829*2^1452127-1 is not prime. Res64: 1383BC772ABD9EA5 Time : 0.0 sec. user=mdettweiler [2017-04-19 13:36:21] 861*2^1452127-1 is not prime. Res64: EFE927BE725FA38C Time : 0.0 sec. user=mdettweiler [2017-04-19 13:36:21] 915*2^1452127-1 is not prime. Res64: D77B3F23D79BCDBA Time : 0.0 sec. user=mdettweiler [2017-04-19 13:36:22] 961*2^1452127-1 is not prime. Res64: 0C5C712D7567B57F Time : 0.0 sec. user=mdettweiler [2017-04-19 13:36:22] 993*2^1452127-1 is not prime. Res64: EC68D670E35C5A08 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:01:42] 743*2^1452128-1 is not prime. Res64: 6FF01B54A4DA9524 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:01:43] 773*2^1452128-1 is not prime. Res64: 8AF456D7755A23CA Time : 0.0 sec. user=mdettweiler [2017-04-19 14:01:44] 839*2^1452128-1 is not prime. Res64: 5D30B2E657A00F65 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:01:45] 915*2^1452128-1 is not prime. Res64: 4E9A6329D12628ED Time : 0.0 sec. user=mdettweiler [2017-04-19 14:01:45] 615*2^1452129-1 is not prime. Res64: 91DC5216068522D4 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:13:12] 627*2^1452129-1 is not prime. Res64: 06F67771AA62F220 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:13:13] 657*2^1452129-1 is not prime. Res64: 57783BC188F82946 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:13:13] 685*2^1452129-1 is not prime. Res64: 2A6DE26EE85679E1 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:13:13] 817*2^1452129-1 is not prime. Res64: BA51FD7E5FFA03FA Time : 0.0 sec. user=mdettweiler [2017-04-19 14:13:14] 835*2^1452129-1 is not prime. Res64: 98E6EE5D47BCC1BD Time : 0.0 sec. user=juhehe [2017-04-19 14:19:45] 939*2^1452131-1 is not prime. Res64: 0E97C528CDCA5E58 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:20:00] 889*2^1452129-1 is not prime. Res64: 6386D642CF99DCE8 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:20:00] 891*2^1452129-1 is not prime. Res64: 71564F88FFE59CA2 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:20:00] 907*2^1452129-1 is not prime. Res64: 032FE0C66089A91B Time : 0.0 sec. user=mdettweiler [2017-04-19 14:20:01] 909*2^1452129-1 is not prime. Res64: 8E93E79BB768CB0D Time : 0.0 sec. user=mdettweiler [2017-04-19 14:20:01] 991*2^1452129-1 is not prime. Res64: 4B8BFFFB25EDC9D5 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:21:29] 773*2^1452130-1 is not prime. Res64: DADBD9C21265A3DE Time : 0.0 sec. user=mdettweiler [2017-04-19 14:21:30] 957*2^1452130-1 is not prime. Res64: B1979A7AA56940C4 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:21:30] 783*2^1452131-1 is not prime. Res64: 0C42F86EE496D37E Time : 0.0 sec. user=mdettweiler [2017-04-19 14:21:30] 829*2^1452131-1 is not prime. Res64: CFF6AEE4A364BFBE Time : 0.0 sec. user=mdettweiler [2017-04-19 14:21:31] 885*2^1452131-1 is not prime. Res64: 72EB78F86CD8D251 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:47:18] 629*2^1452132-1 is not prime. Res64: 7786E56D73A41103 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:47:19] 635*2^1452132-1 is not prime. Res64: 91BF9B67C5CA0307 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:47:19] 657*2^1452132-1 is not prime. Res64: 21E078383C861120 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:47:19] 765*2^1452132-1 is not prime. Res64: F0A61193F13BEFC0 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:47:20] 879*2^1452132-1 is not prime. Res64: 830A465B9AF42A71 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:58:40] 887*2^1452132-1 is not prime. Res64: 47A739A668411794 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:58:40] 615*2^1452133-1 is not prime. Res64: 589AE7B81FDA1607 Time : 0.0 sec. user=mdettweiler [2017-04-19 14:58:41] 639*2^1452133-1 is not prime. Res64: ABC6108E9463AC4D Time : 0.0 sec. user=mdettweiler [2017-04-19 14:58:41] 691*2^1452133-1 is not prime. Res64: AF43BD06DE30F57B Time : 0.0 sec. user=mdettweiler [2017-04-19 14:58:41] 801*2^1452133-1 is not prime. Res64: CFF4E3DCCB48E630 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:05:10] 901*2^1452133-1 is not prime. Res64: 20A82645F3F18B7B Time : 0.0 sec. user=mdettweiler [2017-04-19 15:05:11] 987*2^1452133-1 is not prime. Res64: C5B4F66A5779BFDC Time : 0.0 sec. user=mdettweiler [2017-04-19 15:05:12] 617*2^1452134-1 is not prime. Res64: 94C336A9D0C427C4 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:05:13] 711*2^1452134-1 is not prime. Res64: 8DA80B60B0B45AA6 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:05:14] 743*2^1452134-1 is not prime. Res64: B2C66222F117B94F Time : 0.0 sec. user=mdettweiler [2017-04-19 15:06:46] 753*2^1452134-1 is not prime. Res64: 5A1CE99E0F6B494B Time : 0.0 sec. user=mdettweiler [2017-04-19 15:06:47] 831*2^1452134-1 is not prime. Res64: 34FA93E67788F1B2 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:06:48] 885*2^1452134-1 is not prime. Res64: 9C994D2EC262F8C1 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:06:49] 887*2^1452134-1 is not prime. Res64: 1BA46B40CE3157ED Time : 0.0 sec. user=mdettweiler [2017-04-19 15:06:51] 1001*2^1452134-1 is not prime. Res64: 4207D4B9199755C2 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:32:24] 651*2^1452135-1 is not prime. Res64: B783D2578CDE9AC4 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:32:25] 709*2^1452135-1 is not prime. Res64: AE22ABAE4E7E14E2 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:32:25] 765*2^1452135-1 is not prime. Res64: F03187E119C17B47 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:32:25] 861*2^1452135-1 is not prime. Res64: 43016EA7F7D46CCF Time : 0.0 sec. user=mdettweiler [2017-04-19 15:32:26] 871*2^1452135-1 is not prime. Res64: D623C25555DF63B9 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:43:45] 873*2^1452135-1 is not prime. Res64: AF0BA2931A4DE6D6 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:43:45] 973*2^1452135-1 is not prime. Res64: 709E290E17998B37 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:43:46] 617*2^1452136-1 is not prime. Res64: 067127F39635A94C Time : 0.0 sec. user=mdettweiler [2017-04-19 15:43:46] 653*2^1452136-1 is not prime. Res64: A933CB2F88C005E3 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:43:47] 705*2^1452136-1 is not prime. Res64: 639850BC2E77947B Time : 0.0 sec. user=mdettweiler [2017-04-19 15:50:44] 849*2^1452136-1 is not prime. Res64: FC13EE3F4316C9DF Time : 0.0 sec. user=mdettweiler [2017-04-19 15:50:44] 993*2^1452136-1 is not prime. Res64: F301DAA88066071B Time : 0.0 sec. user=mdettweiler [2017-04-19 15:50:45] 601*2^1452137-1 is not prime. Res64: B0BBA8361DFBED7A Time : 0.0 sec. user=mdettweiler [2017-04-19 15:50:45] 675*2^1452137-1 is not prime. Res64: EE1699D9BB72F8E2 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:50:45] 889*2^1452137-1 is not prime. Res64: 1ED831E505CA707A Time : 0.0 sec. user=mdettweiler [2017-04-19 15:52:00] 605*2^1452138-1 is not prime. Res64: C9DA315EE37947BF Time : 0.0 sec. user=mdettweiler [2017-04-19 15:52:01] 705*2^1452138-1 is not prime. Res64: 122AA31EB89FFD97 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:52:01] 773*2^1452138-1 is not prime. Res64: B2E823E25B697C90 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:52:02] 777*2^1452138-1 is not prime. Res64: FC017D86BAC8D439 Time : 0.0 sec. user=mdettweiler [2017-04-19 15:52:02] 797*2^1452138-1 is not prime. Res64: 8B96D2718021F3BC Time : 0.0 sec. user=mdettweiler [2017-04-19 16:17:28] 861*2^1452138-1 is not prime. Res64: CE8B65ED658B3319 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:17:28] 945*2^1452138-1 is not prime. Res64: 96F557E3CBB45665 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:17:29] 633*2^1452139-1 is not prime. Res64: 08A57585497F3C7D Time : 0.0 sec. user=mdettweiler [2017-04-19 16:17:29] 703*2^1452139-1 is not prime. Res64: EAFB02E12ADF5370 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:17:29] 709*2^1452139-1 is not prime. Res64: 76EFF7E573280838 Time : 0.0 sec. user=juhehe [2017-04-19 16:20:51] 633*2^1452140-1 is not prime. Res64: B7FC67047EF2D48F Time : 0.0 sec. user=mdettweiler [2017-04-19 16:28:58] 647*2^1452140-1 is not prime. Res64: 705C02B86C4C104F Time : 0.0 sec. user=mdettweiler [2017-04-19 16:28:58] 665*2^1452140-1 is not prime. Res64: FD273C443B745655 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:28:59] 707*2^1452140-1 is not prime. Res64: F5EAB5997C544647 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:28:59] 717*2^1452140-1 is not prime. Res64: A8991A12DADE1B61 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:29:00] 719*2^1452140-1 is not prime. Res64: EEA838B2465F9301 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:35:54] 725*2^1452140-1 is not prime. Res64: EA0FBBFC8AFA71E4 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:35:55] 729*2^1452140-1 is not prime. Res64: 086C58F901FBCED1 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:35:55] 755*2^1452140-1 is not prime. Res64: 42219EAF9E5801A0 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:35:55] 795*2^1452140-1 is not prime. Res64: E35E86D6B5EEB714 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:35:56] 923*2^1452140-1 is not prime. Res64: 7C9E55639727FD33 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:37:18] 995*2^1452140-1 is not prime. Res64: 7EAACA3D8593148A Time : 0.0 sec. user=mdettweiler [2017-04-19 16:37:19] 651*2^1452141-1 is not prime. Res64: 4805F5CC8AFB9FAF Time : 0.0 sec. user=mdettweiler [2017-04-19 16:37:19] 691*2^1452141-1 is not prime. Res64: 2F886A0C43BEA213 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:37:20] 999*2^1452141-1 is not prime. Res64: FDE56E3B0085CDA9 Time : 0.0 sec. user=mdettweiler [2017-04-19 16:37:20] 675*2^1452142-1 is not prime. Res64: EB58CFCE0404E6B7 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:02:39] 777*2^1452142-1 is not prime. Res64: 9C0AA9FC1CA87748 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:02:40] 821*2^1452142-1 is not prime. Res64: 7E1098D8EC78C124 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:02:41] 843*2^1452142-1 is not prime. Res64: C6D0A41CE395F4E6 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:02:42] 911*2^1452142-1 is not prime. Res64: 6BF34F9CB004FEC8 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:02:43] 915*2^1452142-1 is not prime. Res64: 8A721A4226630735 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:14:17] 923*2^1452142-1 is not prime. Res64: B815FA031483E4F0 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:14:18] 643*2^1452143-1 is not prime. Res64: FCCEE47ED9364994 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:14:18] 715*2^1452143-1 is not prime. Res64: 694B7835DB12CAEA Time : 0.0 sec. user=mdettweiler [2017-04-19 17:14:19] 741*2^1452143-1 is not prime. Res64: 84C896E259495088 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:14:19] 825*2^1452143-1 is not prime. Res64: 80AB1F45C49FCD33 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:21:06] 913*2^1452143-1 is not prime. Res64: 55B1E01CDA2206B6 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:21:06] 683*2^1452144-1 is not prime. Res64: E042DCC5AB953F1E Time : 0.0 sec. user=mdettweiler [2017-04-19 17:21:06] 693*2^1452144-1 is not prime. Res64: A39F7E969048D0E2 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:21:07] 737*2^1452144-1 is not prime. Res64: 8B401D314F21B8D7 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:21:07] 759*2^1452144-1 is not prime. Res64: 0021552665853BC1 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:22:25] 825*2^1452144-1 is not prime. Res64: B67DC9C1123B1891 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:22:26] 837*2^1452144-1 is not prime. Res64: 5C499E144B2DC8DA Time : 0.0 sec. user=mdettweiler [2017-04-19 17:22:26] 875*2^1452144-1 is not prime. Res64: D1A5D4D10B70CA53 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:22:27] 645*2^1452145-1 is not prime. Res64: 7BBE48A2F606F5B1 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:22:27] 705*2^1452145-1 is not prime. Res64: BA47B0BFF4B94A51 Time : 0.0 sec. user=juhehe [2017-04-19 17:40:28] 717*2^1452145-1 is not prime. Res64: F9B0C3923E56654E Time : 0.0 sec. user=mdettweiler [2017-04-19 17:47:52] 721*2^1452145-1 is not prime. Res64: EC703A402207AF0D Time : 0.0 sec. user=mdettweiler [2017-04-19 17:47:52] 729*2^1452145-1 is not prime. Res64: 5A9815B0A718A7AC Time : 0.0 sec. user=mdettweiler [2017-04-19 17:47:53] 897*2^1452145-1 is not prime. Res64: 6614F621BE681ADC Time : 0.0 sec. user=mdettweiler [2017-04-19 17:47:53] 987*2^1452145-1 is not prime. Res64: 4B99656373E4D43C Time : 0.0 sec. user=mdettweiler [2017-04-19 17:47:54] 603*2^1452146-1 is not prime. Res64: CA2F153DCA8C61C1 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:59:34] 773*2^1452146-1 is not prime. Res64: A33993A3230C091D Time : 0.0 sec. user=mdettweiler [2017-04-19 17:59:35] 917*2^1452146-1 is not prime. Res64: 04AD580F81CF80F3 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:59:35] 963*2^1452146-1 is not prime. Res64: 84F916C782B65399 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:59:36] 993*2^1452146-1 is not prime. Res64: BE1244507CFC4166 Time : 0.0 sec. user=mdettweiler [2017-04-19 17:59:36] 619*2^1452147-1 is not prime. Res64: 0EEC1D1E7C29C178 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:06:29] 651*2^1452147-1 is not prime. Res64: 8A942EABCC0970BF Time : 0.0 sec. user=mdettweiler [2017-04-19 18:06:30] 669*2^1452147-1 is not prime. Res64: 2D83519DD1AA4152 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:06:30] 765*2^1452147-1 is not prime. Res64: 88F459F23713328C Time : 0.0 sec. user=mdettweiler [2017-04-19 18:06:31] 955*2^1452147-1 is not prime. Res64: 1964316074EDAED6 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:06:31] 963*2^1452147-1 is not prime. Res64: 8200F0992B870E72 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:07:49] 617*2^1452148-1 is not prime. Res64: A7969089810AAE8D Time : 0.0 sec. user=mdettweiler [2017-04-19 18:07:49] 749*2^1452148-1 is not prime. Res64: 29B021ECB37D9FCE Time : 0.0 sec. user=mdettweiler [2017-04-19 18:07:50] 803*2^1452148-1 is not prime. Res64: DC1475E7398DF8FE Time : 0.0 sec. user=mdettweiler [2017-04-19 18:07:50] 825*2^1452148-1 is not prime. Res64: 56CB9B7DD10120BC Time : 0.0 sec. user=mdettweiler [2017-04-19 18:07:51] 947*2^1452148-1 is not prime. Res64: D144A440D5D99FF4 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:33:02] 631*2^1452149-1 is not prime. Res64: ADB81975945B6C14 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:33:02] 649*2^1452149-1 is not prime. Res64: D014BA1E2A90669A Time : 0.0 sec. user=mdettweiler [2017-04-19 18:33:02] 679*2^1452149-1 is not prime. Res64: 982D6746F268A2EB Time : 0.0 sec. user=mdettweiler [2017-04-19 18:33:03] 831*2^1452149-1 is not prime. Res64: C57E354A963EE741 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:33:03] 635*2^1452150-1 is not prime. Res64: 5BE65135101F07E7 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:44:53] 797*2^1452150-1 is not prime. Res64: EF24EF8217C76E46 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:44:54] 891*2^1452150-1 is not prime. Res64: 3EB60B84D3F1DD91 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:44:54] 915*2^1452150-1 is not prime. Res64: 7BA10DAA5E517269 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:44:54] 977*2^1452150-1 is not prime. Res64: 2042DE37266F6269 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:44:55] 609*2^1452151-1 is not prime. Res64: B6A0F78F470BC713 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:52:06] 639*2^1452151-1 is not prime. Res64: 20191B46C0F06A5B Time : 0.0 sec. user=mdettweiler [2017-04-19 18:52:06] 661*2^1452151-1 is not prime. Res64: 554A0D793EBE99C7 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:52:06] 693*2^1452151-1 is not prime. Res64: B6B3A0803DA57C69 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:52:07] 741*2^1452151-1 is not prime. Res64: 22898F95F3A9FAE0 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:52:07] 763*2^1452151-1 is not prime. Res64: 20AE885A63D82D49 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:53:06] 775*2^1452151-1 is not prime. Res64: CD498303F68524E5 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:53:06] 793*2^1452151-1 is not prime. Res64: 4B2B752B3CF3AB91 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:53:06] 849*2^1452151-1 is not prime. Res64: 25AA67F620AD735B Time : 0.0 sec. user=mdettweiler [2017-04-19 18:53:07] 885*2^1452151-1 is not prime. Res64: 17F9EC495CD65EA2 Time : 0.0 sec. user=mdettweiler [2017-04-19 18:53:07] 889*2^1452151-1 is not prime. Res64: 710D310DB54AAE8B Time : 0.0 sec. user=mdettweiler [2017-04-19 19:18:18] 603*2^1452152-1 is not prime. Res64: 38E81A6DAECDCBF1 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:18:19] 959*2^1452152-1 is not prime. Res64: 3C87DB7D46F16EBE Time : 0.0 sec. user=mdettweiler [2017-04-19 19:18:19] 607*2^1452153-1 is not prime. Res64: F00A0E0185DFE7C6 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:18:20] 735*2^1452153-1 is not prime. Res64: B7C1C68F421B65AD Time : 0.0 sec. user=mdettweiler [2017-04-19 19:18:20] 739*2^1452153-1 is not prime. Res64: C42081FB84B83329 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:30:02] 817*2^1452153-1 is not prime. Res64: 5F35214362E274B9 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:30:03] 835*2^1452153-1 is not prime. Res64: BFE73BD1998408BA Time : 0.0 sec. user=mdettweiler [2017-04-19 19:30:04] 921*2^1452153-1 is not prime. Res64: 1C3242F6644266F7 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:30:04] 979*2^1452153-1 is not prime. Res64: 0FB76FBF43ABCA3C Time : 0.0 sec. user=mdettweiler [2017-04-19 19:30:05] 657*2^1452154-1 is not prime. Res64: 1D172D7CB46A3EF0 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:37:18] 663*2^1452154-1 is not prime. Res64: 1DF0B66A27E3E93B Time : 0.0 sec. user=mdettweiler [2017-04-19 19:37:18] 675*2^1452154-1 is not prime. Res64: 33E4C67D394A950B Time : 0.0 sec. user=mdettweiler [2017-04-19 19:37:19] 755*2^1452154-1 is not prime. Res64: 43EBE4A32E3D9039 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:37:19] 855*2^1452154-1 is not prime. Res64: 268FEF1B5CDCCE9B Time : 0.0 sec. user=mdettweiler [2017-04-19 19:37:20] 951*2^1452154-1 is not prime. Res64: 829260443A43C2E1 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:38:22] 643*2^1452155-1 is not prime. Res64: 8B74C4C22B029C87 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:38:22] 913*2^1452155-1 is not prime. Res64: D4C1CB654455EB30 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:38:23] 623*2^1452156-1 is not prime. Res64: A8C271122007CCE3 Time : 0.0 sec. user=mdettweiler [2017-04-19 19:38:23] 669*2^1452156-1 is not prime. Res64: 23846A1C8A525B0C Time : 0.0 sec. user=mdettweiler [2017-04-19 19:38:24] 693*2^1452156-1 is not prime. Res64: 0AFE310DF24A1CB2 Time : 0.0 sec. user=juhehe [2017-04-19 19:39:58] 725*2^1452156-1 is not prime. Res64: 152DED6DA20207B7 Time : 0.0 sec. user=juhehe [2017-04-19 19:55:51] 905*2^1452156-1 is not prime. Res64: 9E2F9BAF14AB03D5 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:03:29] 639*2^1452157-1 is not prime. Res64: F3517865DC5DF30E Time : 0.0 sec. user=mdettweiler [2017-04-19 20:03:30] 861*2^1452157-1 is not prime. Res64: 589D68AE5E24D8B8 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:03:31] 603*2^1452158-1 is not prime. Res64: B31DB670C13A8B5A Time : 0.0 sec. user=mdettweiler [2017-04-19 20:03:33] 705*2^1452158-1 is not prime. Res64: 51593896A6B9E72D Time : 0.0 sec. user=mdettweiler [2017-04-19 20:03:34] 755*2^1452158-1 is not prime. Res64: 6B765DAA683E6BBF Time : 0.0 sec. user=mdettweiler [2017-04-19 20:15:10] 791*2^1452158-1 is not prime. Res64: 34C236AD4109BF86 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:15:10] 797*2^1452158-1 is not prime. Res64: A25A8BAE95551556 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:15:10] 801*2^1452158-1 is not prime. Res64: 8C53BBB80E702D07 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:15:11] 897*2^1452158-1 is not prime. Res64: 3FD049BAF959AA13 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:15:11] 921*2^1452158-1 is not prime. Res64: B0BB41C48C43EE80 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:22:29] 945*2^1452158-1 is not prime. Res64: 6CEE33A149068790 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:22:30] 709*2^1452159-1 is not prime. Res64: 62BBD026F06E38B7 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:22:30] 861*2^1452159-1 is not prime. Res64: 4054BEE2BA1FE0F5 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:22:30] 909*2^1452159-1 is not prime. Res64: D2110F410348F11D Time : 0.0 sec. user=mdettweiler [2017-04-19 20:22:31] 603*2^1452160-1 is not prime. Res64: D7ED39A321E0D656 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:23:49] 735*2^1452160-1 is not prime. Res64: F6957896C1809857 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:23:50] 923*2^1452160-1 is not prime. Res64: BB868C8552CAD479 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:23:50] 927*2^1452160-1 is not prime. Res64: A4DA3D4E53C163E0 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:23:51] 995*2^1452160-1 is not prime. Res64: BAD43C51AA475EBD Time : 0.0 sec. user=mdettweiler [2017-04-19 20:23:51] 657*2^1452161-1 is not prime. Res64: 0BA34B6A2D3284E0 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:48:58] 669*2^1452161-1 is not prime. Res64: 11DA8204F5FD3256 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:48:58] 741*2^1452161-1 is not prime. Res64: DE40E41836C0F420 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:48:58] 811*2^1452161-1 is not prime. Res64: BDBDFC6E2074D604 Time : 0.0 sec. user=mdettweiler [2017-04-19 20:48:59] 819*2^1452161-1 is not prime. Res64: 1E3E0E3E518AC9DC Time : 0.0 sec. user=mdettweiler [2017-04-19 20:48:59] 829*2^1452161-1 is not prime. Res64: 3324F397B3D4169F Time : 0.0 sec. user=mdettweiler [2017-04-19 21:00:33] 871*2^1452161-1 is not prime. Res64: 7770E5689434C4CE Time : 0.0 sec. user=mdettweiler [2017-04-19 21:00:34] 611*2^1452162-1 is not prime. Res64: A10439841C33DFA3 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:00:35] 633*2^1452162-1 is not prime. Res64: 81F49C63C1397FA4 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:00:36] 635*2^1452162-1 is not prime. Res64: 3E3E3C8A3E111F76 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:00:37] 651*2^1452162-1 is not prime. Res64: F8189CAAF32D449F Time : 0.0 sec. user=mdettweiler [2017-04-19 21:07:52] 731*2^1452162-1 is not prime. Res64: 8A93C9ADF8748D9F Time : 0.0 sec. user=mdettweiler [2017-04-19 21:07:53] 737*2^1452162-1 is not prime. Res64: 0610D776BD6783B1 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:07:53] 885*2^1452162-1 is not prime. Res64: 82E165CEF125A278 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:07:54] 887*2^1452162-1 is not prime. Res64: A2DACA8ADA367744 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:07:54] 923*2^1452162-1 is not prime. Res64: 6AB02CB9B3ACE16B Time : 0.0 sec. user=mdettweiler [2017-04-19 21:08:58] 945*2^1452162-1 is not prime. Res64: 0E6D09D15AC84070 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:08:58] 977*2^1452162-1 is not prime. Res64: 065CA732544D8398 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:08:59] 703*2^1452163-1 is not prime. Res64: AA793AABC1268A82 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:08:59] 705*2^1452163-1 is not prime. Res64: 5A264E9A004FE06E Time : 0.0 sec. user=mdettweiler [2017-04-19 21:09:00] 861*2^1452163-1 is not prime. Res64: DA9000999CCF062D Time : 0.0 sec. user=mdettweiler [2017-04-19 21:34:26] 945*2^1452163-1 is not prime. Res64: 30D34BB862FC87EB Time : 0.0 sec. user=mdettweiler [2017-04-19 21:34:26] 609*2^1452164-1 is not prime. Res64: 190D69F33C6E7317 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:34:26] 617*2^1452164-1 is not prime. Res64: 61B827CA701A2115 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:34:27] 743*2^1452164-1 is not prime. Res64: 7D8C853316580892 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:34:27] 749*2^1452164-1 is not prime. Res64: 22C601F91AADB77E Time : 0.0 sec. user=juhehe [2017-04-19 21:38:30] 753*2^1452164-1 is not prime. Res64: C55A4F84F102BF78 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:46:38] 759*2^1452164-1 is not prime. Res64: CFFFEB30D72D5EEB Time : 0.0 sec. user=mdettweiler [2017-04-19 21:46:38] 855*2^1452164-1 is not prime. Res64: 9DDC970659D057E3 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:46:39] 893*2^1452164-1 is not prime. Res64: B06722BBCC43E3D2 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:46:39] 903*2^1452164-1 is not prime. Res64: E81C407DE5CFFC5F Time : 0.0 sec. user=mdettweiler [2017-04-19 21:46:39] 601*2^1452165-1 is not prime. Res64: 5F6ACE03A3954452 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:53:56] 625*2^1452165-1 is not prime. Res64: 9BD2CBB8BBE16BA6 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:53:57] 777*2^1452165-1 is not prime. Res64: 404B6846493BEC5F Time : 0.0 sec. user=mdettweiler [2017-04-19 21:53:57] 849*2^1452165-1 is not prime. Res64: 1AD1B11410E8EFDB Time : 0.0 sec. user=mdettweiler [2017-04-19 21:53:57] 861*2^1452165-1 is not prime. Res64: D9D7AA0D32629F9D Time : 0.0 sec. user=mdettweiler [2017-04-19 21:53:58] 889*2^1452165-1 is not prime. Res64: BAC3161D95CC31AB Time : 0.0 sec. user=mdettweiler [2017-04-19 21:55:06] 927*2^1452165-1 is not prime. Res64: 63E9F4416B34E590 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:55:07] 985*2^1452165-1 is not prime. Res64: E263E9207BD6AD13 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:55:07] 653*2^1452166-1 is not prime. Res64: C2B46461E96AC057 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:55:08] 657*2^1452166-1 is not prime. Res64: 62F1341469A57B67 Time : 0.0 sec. user=mdettweiler [2017-04-19 21:55:08] 737*2^1452166-1 is not prime. Res64: 3F36346ED0D8F86A Time : 0.0 sec. user=mdettweiler [2017-04-19 22:20:20] 741*2^1452166-1 is not prime. Res64: 29102046891395DB Time : 0.0 sec. user=mdettweiler [2017-04-19 22:20:21] 761*2^1452166-1 is not prime. Res64: 77F8BE5D0F166CFF Time : 0.0 sec. user=mdettweiler [2017-04-19 22:20:21] 825*2^1452166-1 is not prime. Res64: 7CDC44CD1658B295 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:20:21] 873*2^1452166-1 is not prime. Res64: EBF1994A55354C97 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:20:22] 911*2^1452166-1 is not prime. Res64: 767A5DE0AE383D95 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:31:54] 981*2^1452166-1 is not prime. Res64: 1F111BA2A2561F47 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:31:55] 603*2^1452167-1 is not prime. Res64: 83E034B723ECB5CB Time : 0.0 sec. user=mdettweiler [2017-04-19 22:31:55] 663*2^1452167-1 is not prime. Res64: 801A80E8651E6056 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:31:56] 693*2^1452167-1 is not prime. Res64: 9FC6E92C5536FA20 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:31:56] 759*2^1452167-1 is not prime. Res64: 88ED40D3CBE1E63C Time : 0.0 sec. user=mdettweiler [2017-04-19 22:39:09] 879*2^1452167-1 is not prime. Res64: A0BBCC6CC24E4BCB Time : 0.0 sec. user=mdettweiler [2017-04-19 22:39:10] 991*2^1452167-1 is not prime. Res64: 6D27A44B6E2943AD Time : 0.0 sec. user=mdettweiler [2017-04-19 22:39:10] 635*2^1452168-1 is not prime. Res64: 56722D84552F6C11 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:39:11] 747*2^1452168-1 is not prime. Res64: 500ECB3117CD0F3E Time : 0.0 sec. user=mdettweiler [2017-04-19 22:39:11] 935*2^1452168-1 is not prime. Res64: ECBFCD2F61E7F109 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:40:17] 945*2^1452168-1 is not prime. Res64: DE5FF8C1162F860F Time : 0.0 sec. user=mdettweiler [2017-04-19 22:40:18] 667*2^1452169-1 is not prime. Res64: 18F0479273B8ADC1 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:40:18] 679*2^1452169-1 is not prime. Res64: C08D8FD12CD67A22 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:40:18] 681*2^1452169-1 is not prime. Res64: FF4161C642D402F5 Time : 0.0 sec. user=mdettweiler [2017-04-19 22:40:19] 931*2^1452169-1 is not prime. Res64: 5D57AC958C214E7F Time : 0.0 sec. user=mdettweiler [2017-04-19 23:06:13] 665*2^1452170-1 is not prime. Res64: 70FFE651B6658F25 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:06:13] 675*2^1452170-1 is not prime. Res64: CE42EF7C9F71293A Time : 0.0 sec. user=mdettweiler [2017-04-19 23:06:14] 921*2^1452170-1 is not prime. Res64: 66C4F4A1F3502B1C Time : 0.0 sec. user=mdettweiler [2017-04-19 23:06:14] 679*2^1452171-1 is not prime. Res64: 999E2DC207A2EBD2 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:06:14] 769*2^1452171-1 is not prime. Res64: 97F99468F802B140 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:17:22] 999*2^1452171-1 is not prime. Res64: 50C84002E5D40C70 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:17:22] 605*2^1452172-1 is not prime. Res64: F5EFFB9FDD0C84C4 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:17:23] 665*2^1452172-1 is not prime. Res64: 47696AF8F1B1E64D Time : 0.0 sec. user=mdettweiler [2017-04-19 23:17:23] 695*2^1452172-1 is not prime. Res64: 4CBD2C0D4E728CD9 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:17:24] 743*2^1452172-1 is not prime. Res64: C8275F4CEE742903 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:24:58] 797*2^1452172-1 is not prime. Res64: 1A414E913D23C69D Time : 0.0 sec. user=mdettweiler [2017-04-19 23:24:59] 863*2^1452172-1 is not prime. Res64: 12324D16176322F2 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:24:59] 873*2^1452172-1 is not prime. Res64: C39F35595C75C19C Time : 0.0 sec. user=mdettweiler [2017-04-19 23:25:00] 909*2^1452172-1 is not prime. Res64: F1FB7BC3A5FD7B86 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:25:00] 933*2^1452172-1 is not prime. Res64: D9E523B13D499525 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:26:09] 965*2^1452172-1 is not prime. Res64: A390898ACDF6C85F Time : 0.0 sec. user=mdettweiler [2017-04-19 23:26:09] 627*2^1452173-1 is not prime. Res64: 13910B5E768CC1B6 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:26:09] 669*2^1452173-1 is not prime. Res64: BFCF7A19E02CD17F Time : 0.0 sec. user=mdettweiler [2017-04-19 23:26:10] 727*2^1452173-1 is not prime. Res64: D65B1698EE551EE8 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:26:10] 769*2^1452173-1 is not prime. Res64: 1579CFCAB9F33AD8 Time : 0.0 sec. user=juhehe [2017-04-19 23:36:43] 781*2^1452173-1 is not prime. Res64: 4CB6CBB13932E582 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:51:21] 795*2^1452173-1 is not prime. Res64: 27DE6478A3B89C3D Time : 0.0 sec. user=mdettweiler [2017-04-19 23:51:22] 805*2^1452173-1 is not prime. Res64: 553422382B3E5500 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:51:22] 879*2^1452173-1 is not prime. Res64: BCE397F80EACD37F Time : 0.0 sec. user=mdettweiler [2017-04-19 23:51:22] 641*2^1452174-1 is not prime. Res64: BA880984EA7B84D1 Time : 0.0 sec. user=mdettweiler [2017-04-19 23:51:23] 737*2^1452174-1 is not prime. Res64: 12AFA17F15A20179 Time : 0.0 sec.