user=mdettweiler [2016-01-14 00:13:22] 949*2^1419257-1 is not prime. Res64: D80188191E4DDA61 Time : 0.0 sec. user=mdettweiler [2016-01-14 00:13:23] 611*2^1419258-1 is not prime. Res64: E9D002030F778150 Time : 0.0 sec. user=mdettweiler [2016-01-14 00:34:23] 627*2^1419258-1 is not prime. Res64: 1D79B62EB66FF7F0 Time : 0.0 sec. user=mdettweiler [2016-01-14 00:34:23] 825*2^1419258-1 is not prime. Res64: 5F976A498EC97726 Time : 0.0 sec. user=mdettweiler [2016-01-14 00:55:13] 887*2^1419258-1 is not prime. Res64: 91F5834A08BF132C Time : 0.0 sec. user=mdettweiler [2016-01-14 00:55:13] 893*2^1419258-1 is not prime. Res64: 043B199EAF4EFDB7 Time : 0.0 sec. user=mdettweiler [2016-01-14 01:15:48] 971*2^1419258-1 is not prime. Res64: D34BE069869BC68C Time : 0.0 sec. user=mdettweiler [2016-01-14 01:15:49] 603*2^1419259-1 is not prime. Res64: E6866F85B746B7FE Time : 0.0 sec. user=mdettweiler [2016-01-14 01:36:35] 625*2^1419259-1 is not prime. Res64: 0A5A760B5CB83E08 Time : 0.0 sec. user=mdettweiler [2016-01-14 01:36:36] 645*2^1419259-1 is not prime. Res64: 84C351B88038D76A Time : 0.0 sec. user=mdettweiler [2016-01-14 01:57:41] 693*2^1419259-1 is not prime. Res64: 93322A1AA243D464 Time : 0.0 sec. user=mdettweiler [2016-01-14 01:57:41] 733*2^1419259-1 is not prime. Res64: 56045B99BCAA20EB Time : 0.0 sec. user=mdettweiler [2016-01-14 02:02:24] 711*2^1419257-1 is not prime. Res64: D2449A56892C2AB1 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:02:25] 799*2^1419257-1 is not prime. Res64: D8B7D86F1F5B7844 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:14:22] 901*2^1419257-1 is not prime. Res64: CD5572BE9EE09201 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:14:22] 939*2^1419257-1 is not prime. Res64: 213516D4B8E0EBCD Time : 0.0 sec. user=mdettweiler [2016-01-14 02:17:43] 789*2^1419259-1 is not prime. Res64: 79D34A6AAE917C67 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:17:44] 829*2^1419259-1 is not prime. Res64: 3BD20B8267CB8EB2 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:22:45] 913*2^1419259-1 is not prime. Res64: 8C7FA865D426431D Time : 0.0 sec. user=mdettweiler [2016-01-14 02:22:46] 939*2^1419259-1 is not prime. Res64: A183FC1439F89C2F Time : 0.0 sec. user=mdettweiler [2016-01-14 02:33:55] 973*2^1419259-1 is not prime. Res64: 4867F400407BC423 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:33:56] 789*2^1419260-1 is not prime. Res64: 0F2B3431E4168E81 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:36:48] 601*2^1419261-1 is not prime. Res64: 581A9B0322E30D49 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:36:49] 661*2^1419261-1 is not prime. Res64: 934C576CBDD90BD8 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:42:35] 735*2^1419261-1 is not prime. Res64: E4AAED84B3DC2541 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:42:36] 741*2^1419261-1 is not prime. Res64: 9F6B74500EC9AA8D Time : 0.0 sec. user=mdettweiler [2016-01-14 02:53:41] 805*2^1419261-1 is not prime. Res64: 961DFFFD85DE56A3 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:53:42] 829*2^1419261-1 is not prime. Res64: 404B8519DD30E462 Time : 0.0 sec. user=mdettweiler [2016-01-14 02:56:02] 867*2^1419261-1 is not prime. Res64: 2A9F7E95F81D186B Time : 0.0 sec. user=mdettweiler [2016-01-14 02:56:03] 937*2^1419261-1 is not prime. Res64: 98E9D3EDB53E0C79 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:02:04] 969*2^1419261-1 is not prime. Res64: 9445242F9659473C Time : 0.0 sec. user=mdettweiler [2016-01-14 03:02:06] 975*2^1419261-1 is not prime. Res64: 167F2185E996919F Time : 0.0 sec. user=mdettweiler [2016-01-14 03:13:26] 611*2^1419262-1 is not prime. Res64: 7B595B8BC5BF9DF2 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:13:27] 651*2^1419262-1 is not prime. Res64: 4D34F78650C93FBE Time : 0.0 sec. user=mdettweiler [2016-01-14 03:15:05] 681*2^1419262-1 is not prime. Res64: EEF40D09AD91ADDF Time : 0.0 sec. user=mdettweiler [2016-01-14 03:15:07] 825*2^1419262-1 is not prime. Res64: C305C7D30F62079D Time : 0.0 sec. user=mdettweiler [2016-01-14 03:21:39] 833*2^1419262-1 is not prime. Res64: A0970E00EF76E22E Time : 0.0 sec. user=mdettweiler [2016-01-14 03:21:40] 857*2^1419262-1 is not prime. Res64: 2EAC945A375DCEC5 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:32:43] 885*2^1419262-1 is not prime. Res64: B517A08DF02F6ECE Time : 0.0 sec. user=mdettweiler [2016-01-14 03:32:45] 911*2^1419262-1 is not prime. Res64: 46F165DC048A45BF Time : 0.0 sec. user=mdettweiler [2016-01-14 03:34:12] 621*2^1419263-1 is not prime. Res64: C72D1711D5DE36DD Time : 0.0 sec. user=mdettweiler [2016-01-14 03:34:17] 789*2^1419263-1 is not prime. Res64: 37A08F52F6A32D6E Time : 0.0 sec. user=mdettweiler [2016-01-14 03:41:25] 969*2^1419263-1 is not prime. Res64: 57BFA1CFB928A24B Time : 0.0 sec. user=mdettweiler [2016-01-14 03:41:27] 993*2^1419263-1 is not prime. Res64: AB98EBE28B824979 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:52:10] 615*2^1419264-1 is not prime. Res64: A11E3A5ED3476504 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:52:12] 657*2^1419264-1 is not prime. Res64: 1263EF4A7B5C0C77 Time : 0.0 sec. user=mdettweiler [2016-01-14 03:54:02] 699*2^1419264-1 is not prime. Res64: DC45AFF0F0D01D3C Time : 0.0 sec. user=mdettweiler [2016-01-14 03:54:03] 717*2^1419264-1 is not prime. Res64: B0A057B987A4B547 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:00:54] 765*2^1419264-1 is not prime. Res64: 3CB31D9FBC4D0C81 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:00:57] 803*2^1419264-1 is not prime. Res64: 49DEB49422C4AA09 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:11:25] 887*2^1419264-1 is not prime. Res64: B8FD2D29CA1B8FEF Time : 0.0 sec. user=mdettweiler [2016-01-14 04:11:26] 917*2^1419264-1 is not prime. Res64: 7283AB4EC52DECB2 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:13:20] 741*2^1419265-1 is not prime. Res64: BFD29392659B0D47 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:13:21] 855*2^1419265-1 is not prime. Res64: 56CFC8F9646A72C1 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:20:16] 889*2^1419265-1 is not prime. Res64: 09FEA8C7F08AA96B Time : 0.0 sec. user=mdettweiler [2016-01-14 04:20:18] 895*2^1419265-1 is not prime. Res64: C8636659848AAADD Time : 0.0 sec. user=mdettweiler [2016-01-14 04:31:00] 641*2^1419266-1 is not prime. Res64: 26500D78AE7F12D9 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:31:01] 981*2^1419266-1 is not prime. Res64: 08A99F56F65CAC97 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:32:26] 703*2^1419267-1 is not prime. Res64: B9656F7DE74B7D28 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:32:27] 795*2^1419267-1 is not prime. Res64: 5B5D662E27AA63D2 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:39:35] 819*2^1419267-1 is not prime. Res64: 5462152D8A2D7712 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:39:36] 901*2^1419267-1 is not prime. Res64: CB16F2E83DBAE0B5 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:50:54] 961*2^1419267-1 is not prime. Res64: 71B379071B07191B Time : 0.0 sec. user=mdettweiler [2016-01-14 04:50:55] 603*2^1419268-1 is not prime. Res64: 1867E0E7DF1F68CD Time : 0.0 sec. user=mdettweiler [2016-01-14 04:52:33] 605*2^1419268-1 is not prime. Res64: 89A3B483AA9D1A63 Time : 0.0 sec. user=mdettweiler [2016-01-14 04:52:35] 635*2^1419268-1 is not prime. Res64: 524DE4401C33CFC0 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:00:25] 663*2^1419268-1 is not prime. Res64: F195C393F84D984C Time : 0.0 sec. user=mdettweiler [2016-01-14 05:00:26] 827*2^1419268-1 is not prime. Res64: 63C28A7BF66A2E06 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:10:42] 855*2^1419268-1 is not prime. Res64: 10385470F7613D85 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:10:44] 863*2^1419268-1 is not prime. Res64: E1BF8B8A4E4DBF70 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:11:59] 885*2^1419268-1 is not prime. Res64: B044C8660238F7DE Time : 0.0 sec. user=mdettweiler [2016-01-14 05:12:00] 645*2^1419269-1 is not prime. Res64: 6757259D937B981C Time : 0.0 sec. user=mdettweiler [2016-01-14 05:19:44] 691*2^1419269-1 is not prime. Res64: 103179EA2A9F7918 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:19:44] 847*2^1419269-1 is not prime. Res64: D9AD71CCA9908077 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:30:21] 867*2^1419269-1 is not prime. Res64: ACA699B428396741 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:30:22] 681*2^1419270-1 is not prime. Res64: 0F1D160D6435246C Time : 0.0 sec. user=mdettweiler [2016-01-14 05:30:58] 1001*2^1419270-1 is not prime. Res64: E1331DF2B1265867 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:30:59] 715*2^1419271-1 is not prime. Res64: 43324BC8EF2CFC48 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:39:07] 891*2^1419271-1 is not prime. Res64: FF8A0A6562797270 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:39:09] 909*2^1419271-1 is not prime. Res64: E522E90B20CD7A2B Time : 0.0 sec. user=mdettweiler [2016-01-14 05:50:05] 939*2^1419271-1 is not prime. Res64: 5A0C778B7C5F7221 Time : 0.0 sec. user=mdettweiler [2016-01-14 05:50:06] 969*2^1419271-1 is not prime. Res64: AF66283E3BCA08FF Time : 0.0 sec. user=mdettweiler [2016-01-14 05:50:12] 973*2^1419271-1 is not prime. Res64: 0B62544A7E8C10CE Time : 0.0 sec. user=mdettweiler [2016-01-14 05:50:13] 979*2^1419271-1 is not prime. Res64: 2F12BC8279ED23DC Time : 0.0 sec. user=mdettweiler [2016-01-14 05:58:37] 689*2^1419272-1 is not prime. Res64: 6DED5409E612FA0F Time : 0.0 sec. user=mdettweiler [2016-01-14 05:58:38] 735*2^1419272-1 is not prime. Res64: 55FCAC9B683336C7 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:09:14] 915*2^1419272-1 is not prime. Res64: B06C6E179D1D8A77 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:09:15] 935*2^1419272-1 is not prime. Res64: FF75BD2C2510727B Time : 0.0 sec. user=mdettweiler [2016-01-14 06:09:33] 753*2^1419272-1 is not prime. Res64: 5C7D2699C8439868 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:09:34] 855*2^1419272-1 is not prime. Res64: 1C11E0BAD697E581 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:17:55] 639*2^1419273-1 is not prime. Res64: EACCFFE9456C4384 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:17:56] 649*2^1419273-1 is not prime. Res64: 25942FBFC9C1C182 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:28:41] 789*2^1419273-1 is not prime. Res64: 8C1F03EFB11649BE Time : 0.0 sec. user=mdettweiler [2016-01-14 06:28:42] 795*2^1419273-1 is not prime. Res64: 9B9DA23BBEA909F0 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:29:12] 635*2^1419274-1 is not prime. Res64: 47D59F4C848D5DB9 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:29:13] 887*2^1419274-1 is not prime. Res64: 220B07E050F2701F Time : 0.0 sec. user=mdettweiler [2016-01-14 06:37:46] 609*2^1419275-1 is not prime. Res64: 037020CD1AD4454B Time : 0.0 sec. user=mdettweiler [2016-01-14 06:37:48] 663*2^1419275-1 is not prime. Res64: 01475A3AAB4E983F Time : 0.0 sec. user=mdettweiler [2016-01-14 06:47:48] 741*2^1419275-1 is not prime. Res64: 9961E1766B8B67A8 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:47:51] 991*2^1419275-1 is not prime. Res64: AD8DBC3EAB3C1E67 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:48:31] 609*2^1419276-1 is not prime. Res64: 986F24BC5715ED65 Time : 0.0 sec. user=mdettweiler [2016-01-14 06:48:31] 693*2^1419276-1 is not prime. Res64: E40B4001B24DC59B Time : 0.0 sec. user=mdettweiler [2016-01-14 06:57:26] 759*2^1419276-1 is not prime. Res64: 50CB606D496EBDFD Time : 0.0 sec. user=mdettweiler [2016-01-14 06:57:27] 945*2^1419276-1 is not prime. Res64: A25A8EF243F06721 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:06:46] 615*2^1419277-1 is not prime. Res64: EA82E36E09424B4D Time : 0.0 sec. user=mdettweiler [2016-01-14 07:06:48] 649*2^1419277-1 is not prime. Res64: 8867E53EFC7B6CBC Time : 0.0 sec. user=mdettweiler [2016-01-14 07:08:03] 667*2^1419277-1 is not prime. Res64: 48B327FA7B804772 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:08:04] 771*2^1419277-1 is not prime. Res64: 23BDAF79C57DD6BE Time : 0.0 sec. user=mdettweiler [2016-01-14 07:16:43] 775*2^1419277-1 is not prime. Res64: 4C2A2965B031F8B5 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:16:44] 945*2^1419277-1 is not prime. Res64: C6194543942A9968 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:25:56] 975*2^1419277-1 is not prime. Res64: 6AE6FE6CA8191095 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:25:57] 623*2^1419278-1 is not prime. Res64: 2490CDB3D8AB0501 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:27:33] 671*2^1419278-1 is not prime. Res64: 51E117C5C3FACDEC Time : 0.0 sec. user=mdettweiler [2016-01-14 07:27:34] 773*2^1419278-1 is not prime. Res64: 991269942A2A2D1D Time : 0.0 sec. user=mdettweiler [2016-01-14 07:36:20] 825*2^1419278-1 is not prime. Res64: 4D67261646CE2205 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:36:21] 857*2^1419278-1 is not prime. Res64: 3D76DB9DF3948B6A Time : 0.0 sec. user=mdettweiler [2016-01-14 07:45:01] 915*2^1419278-1 is not prime. Res64: C81DA6CF22062537 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:45:02] 953*2^1419278-1 is not prime. Res64: D6E3EFD9B44DB13E Time : 0.0 sec. user=mdettweiler [2016-01-14 07:46:59] 977*2^1419278-1 is not prime. Res64: 38A0029D47FB23C4 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:47:02] 609*2^1419279-1 is not prime. Res64: 1807A9281628E8F0 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:55:48] 615*2^1419279-1 is not prime. Res64: 9DB2D227FABE7589 Time : 0.0 sec. user=mdettweiler [2016-01-14 07:55:50] 985*2^1419279-1 is not prime. Res64: 6EAF48926BC33584 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:04:10] 689*2^1419280-1 is not prime. Res64: 4B01739B57C654D1 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:04:11] 693*2^1419280-1 is not prime. Res64: 24D7823F6F8FA8A2 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:06:36] 719*2^1419280-1 is not prime. Res64: D05CF1A7B82CE965 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:06:37] 797*2^1419280-1 is not prime. Res64: D63DDB50D03369EB Time : 0.0 sec. user=mdettweiler [2016-01-14 08:15:11] 657*2^1419281-1 is not prime. Res64: 102D2041A723E22E Time : 0.0 sec. user=mdettweiler [2016-01-14 08:15:12] 679*2^1419281-1 is not prime. Res64: A9C0D071506DA4E4 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:23:27] 769*2^1419281-1 is not prime. Res64: 65683EA83B096D47 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:23:28] 931*2^1419281-1 is not prime. Res64: E17BB6C40003B62B Time : 0.0 sec. user=mdettweiler [2016-01-14 08:25:52] 981*2^1419281-1 is not prime. Res64: 7AC675869B3C75D3 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:25:53] 633*2^1419282-1 is not prime. Res64: B8875FFECDF8CE71 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:34:51] 695*2^1419282-1 is not prime. Res64: BD3724571E007E59 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:34:52] 735*2^1419282-1 is not prime. Res64: E72D1672CA1FD321 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:42:46] 825*2^1419282-1 is not prime. Res64: 78AB7D5A8DFEA1E9 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:42:48] 963*2^1419282-1 is not prime. Res64: 7A2B4A5CC2FAD91E Time : 0.0 sec. user=mdettweiler [2016-01-14 08:45:23] 1001*2^1419282-1 is not prime. Res64: A07A09595B854D3A Time : 0.0 sec. user=mdettweiler [2016-01-14 08:45:23] 649*2^1419283-1 is not prime. Res64: BEC43806CECB547D Time : 0.0 sec. user=mdettweiler [2016-01-14 08:54:10] 693*2^1419283-1 is not prime. Res64: D25DF06C23202EC6 Time : 0.0 sec. user=mdettweiler [2016-01-14 08:54:11] 849*2^1419283-1 is not prime. Res64: C3A519EF80801785 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:01:49] 871*2^1419283-1 is not prime. Res64: CF3AB05CA5809241 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:01:51] 915*2^1419283-1 is not prime. Res64: B3B04BC55431F929 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:04:59] 635*2^1419284-1 is not prime. Res64: 55FD2F21EB97FC4A Time : 0.0 sec. user=mdettweiler [2016-01-14 09:05:01] 665*2^1419284-1 is not prime. Res64: 1901D216FF9272A9 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:13:36] 725*2^1419284-1 is not prime. Res64: DD45D4B130C28299 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:13:37] 743*2^1419284-1 is not prime. Res64: DCFE6388E46E44BA Time : 0.0 sec. user=mdettweiler [2016-01-14 09:20:57] 813*2^1419284-1 is not prime. Res64: 5D90ED3256DBC1FE Time : 0.0 sec. user=mdettweiler [2016-01-14 09:20:58] 819*2^1419284-1 is not prime. Res64: F776EFCA9E7D0B58 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:24:15] 627*2^1419285-1 is not prime. Res64: 463BFC6F69325B2B Time : 0.0 sec. user=mdettweiler [2016-01-14 09:24:16] 759*2^1419285-1 is not prime. Res64: 51E0C8609460A454 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:32:58] 789*2^1419285-1 is not prime. Res64: DDE6DFFD93C7EFF8 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:32:58] 805*2^1419285-1 is not prime. Res64: 2DCC5337F0CA5BAF Time : 0.0 sec. user=mdettweiler [2016-01-14 09:40:01] 847*2^1419285-1 is not prime. Res64: 067456ABD758A35E Time : 0.0 sec. user=mdettweiler [2016-01-14 09:40:01] 885*2^1419285-1 is not prime. Res64: 07B797A2D02F249C Time : 0.0 sec. user=mdettweiler [2016-01-14 09:43:20] 921*2^1419285-1 is not prime. Res64: 46E12B1F477E94B2 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:43:20] 635*2^1419286-1 is not prime. Res64: 11B5C89A1FC620E8 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:49:56] 685*2^1419257-1 is not prime. Res64: EF96B80EE478CD09 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:49:57] 699*2^1419257-1 is not prime. Res64: D0A9FA2BA3074167 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:52:21] 801*2^1419286-1 is not prime. Res64: A4719B0A1EF3F199 Time : 0.0 sec. user=mdettweiler [2016-01-14 09:52:22] 815*2^1419286-1 is not prime. Res64: 57AA82E85E3DC3DA Time : 0.0 sec. user=mdettweiler [2016-01-14 09:58:32] 923*2^1419286-1 is not prime. Res64: 938C96E3739D9D8B Time : 0.0 sec. user=mdettweiler [2016-01-14 09:58:33] 941*2^1419286-1 is not prime. Res64: 929B8BB6A4A8F182 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:02:01] 603*2^1419287-1 is not prime. Res64: 67BDA468679D5727 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:02:02] 609*2^1419287-1 is not prime. Res64: 4D36260180BB4391 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:08:09] 685*2^1419287-1 is not prime. Res64: 0BAADB9090C252F3 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:08:10] 825*2^1419287-1 is not prime. Res64: 63B077CCBD4613D4 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:11:04] 831*2^1419287-1 is not prime. Res64: E7D18077F5485771 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:11:04] 841*2^1419287-1 is not prime. Res64: 9091DFCEC6852E09 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:16:34] 883*2^1419287-1 is not prime. Res64: 564C6D4358FCA053 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:16:35] 981*2^1419287-1 is not prime. Res64: F0BB2972E3646E71 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:20:40] 615*2^1419288-1 is not prime. Res64: B17EAFF1406F9489 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:20:41] 699*2^1419288-1 is not prime. Res64: DB9FC8B7A0D9B885 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:26:10] 737*2^1419288-1 is not prime. Res64: 035E9FB97052E0C0 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:26:10] 753*2^1419288-1 is not prime. Res64: F5F462B1D400C523 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:29:27] 759*2^1419288-1 is not prime. Res64: FFBBA7A70A6C1172 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:29:27] 773*2^1419288-1 is not prime. Res64: 0B7509EED07C4042 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:34:35] 837*2^1419288-1 is not prime. Res64: 0276121BA7B89DB4 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:34:35] 887*2^1419288-1 is not prime. Res64: 6196AB797CA7D79F Time : 0.0 sec. user=mdettweiler [2016-01-14 10:39:04] 947*2^1419288-1 is not prime. Res64: 1B62026F5C88B6E3 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:39:04] 993*2^1419288-1 is not prime. Res64: 39D5C96BCBD906C7 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:44:22] 639*2^1419289-1 is not prime. Res64: 0EDC0788A76FBB08 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:44:23] 681*2^1419289-1 is not prime. Res64: C40710042E8E422A Time : 0.0 sec. user=mdettweiler [2016-01-14 10:47:47] 741*2^1419289-1 is not prime. Res64: D424F4C5C6DA4DB4 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:47:48] 745*2^1419289-1 is not prime. Res64: E22A87BD097D309E Time : 0.0 sec. user=mdettweiler [2016-01-14 10:52:26] 789*2^1419289-1 is not prime. Res64: 33C30FB06C2A7B0F Time : 0.0 sec. user=mdettweiler [2016-01-14 10:52:26] 835*2^1419289-1 is not prime. Res64: 49387A209307A823 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:57:16] 861*2^1419289-1 is not prime. Res64: 871E1DAC718CEA68 Time : 0.0 sec. user=mdettweiler [2016-01-14 10:57:16] 957*2^1419289-1 is not prime. Res64: 806DFA25FE278C1E Time : 0.0 sec. user=mdettweiler [2016-01-14 11:02:17] 999*2^1419289-1 is not prime. Res64: 02358F029ED042AB Time : 0.0 sec. user=mdettweiler [2016-01-14 11:02:19] 713*2^1419290-1 is not prime. Res64: 7008D40454B25A99 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:06:12] 957*2^1419290-1 is not prime. Res64: 1E26D9874E67D0BB Time : 0.0 sec. user=mdettweiler [2016-01-14 11:06:12] 711*2^1419291-1 is not prime. Res64: 8C39E8DE0CC93C76 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:10:16] 829*2^1419291-1 is not prime. Res64: 3B131B3C74EE0C30 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:10:17] 723*2^1419292-1 is not prime. Res64: F27B817792A2D953 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:15:29] 875*2^1419292-1 is not prime. Res64: 6D15FF0748A603D8 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:15:30] 923*2^1419292-1 is not prime. Res64: 2B7AD7ADD3CCE6DE Time : 0.0 sec. user=mdettweiler [2016-01-14 11:20:17] 669*2^1419293-1 is not prime. Res64: A0687025A712282A Time : 0.0 sec. user=mdettweiler [2016-01-14 11:20:17] 715*2^1419293-1 is not prime. Res64: E4180443BDC6B26B Time : 0.0 sec. user=mdettweiler [2016-01-14 11:24:38] 741*2^1419293-1 is not prime. Res64: EACD6314E09E7893 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:24:38] 787*2^1419293-1 is not prime. Res64: 2FA79207A7D6A6E5 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:28:18] 957*2^1419293-1 is not prime. Res64: DDA361441EB7F960 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:28:18] 611*2^1419294-1 is not prime. Res64: 526B9A77C641E6FB Time : 0.0 sec. user=mdettweiler [2016-01-14 11:33:47] 641*2^1419294-1 is not prime. Res64: 26E3C651EC26CDE2 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:33:47] 705*2^1419294-1 is not prime. Res64: DD6D18A5A9C72265 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:38:19] 741*2^1419294-1 is not prime. Res64: 0E14156A0BDF2E8F Time : 0.0 sec. user=mdettweiler [2016-01-14 11:38:19] 783*2^1419294-1 is not prime. Res64: 1B9524A6AAA2276C Time : 0.0 sec. user=mdettweiler [2016-01-14 11:43:01] 893*2^1419294-1 is not prime. Res64: 2D1D75398C964879 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:43:02] 619*2^1419295-1 is not prime. Res64: B78F30239CABCBA6 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:46:16] 861*2^1419295-1 is not prime. Res64: 404E453FB0CA63D0 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:46:16] 913*2^1419295-1 is not prime. Res64: 42CAFCE0DB1E4FAD Time : 0.0 sec. user=mdettweiler [2016-01-14 11:52:14] 747*2^1419296-1 is not prime. Res64: FC7C09B90E0A9FCE Time : 0.0 sec. user=mdettweiler [2016-01-14 11:52:15] 773*2^1419296-1 is not prime. Res64: BD2274BC3208B605 Time : 0.0 sec. user=mdettweiler [2016-01-14 11:56:22] 857*2^1419296-1 is not prime. Res64: 30A63E5A8FAEE07F Time : 0.0 sec. user=mdettweiler [2016-01-14 11:56:23] 963*2^1419296-1 is not prime. Res64: 619BB30D91BBA8D2 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:01:15] 625*2^1419297-1 is not prime. Res64: 25235EA3C8891162 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:01:16] 675*2^1419297-1 is not prime. Res64: DCDC24AD9D0ECEB9 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:04:12] 709*2^1419297-1 is not prime. Res64: FC987DDE0F35ACE0 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:04:13] 765*2^1419297-1 is not prime. Res64: 3EF0CE5B8AF57BA5 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:10:27] 807*2^1419297-1 is not prime. Res64: F19D87F9DE44F8C5 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:10:27] 867*2^1419297-1 is not prime. Res64: DF16185ADB15CC1C Time : 0.0 sec. user=mdettweiler [2016-01-14 12:14:32] 871*2^1419297-1 is not prime. Res64: D3764BDBD0E973D4 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:14:32] 611*2^1419298-1 is not prime. Res64: 3CF794AE55BB0B56 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:19:25] 623*2^1419298-1 is not prime. Res64: 9D5FBC77C5FDD243 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:19:25] 647*2^1419298-1 is not prime. Res64: E593C62FBB11D4E3 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:22:22] 671*2^1419298-1 is not prime. Res64: F0F8809E5B8B8A19 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:22:22] 695*2^1419298-1 is not prime. Res64: 083C7939EB1A4BFD Time : 0.0 sec. user=mdettweiler [2016-01-14 12:28:56] 723*2^1419298-1 is not prime. Res64: 3F8CC78EB0132924 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:28:56] 861*2^1419298-1 is not prime. Res64: 085E298A53F591AE Time : 0.0 sec. user=mdettweiler [2016-01-14 12:32:43] 923*2^1419298-1 is not prime. Res64: 76D9C71D0EF02A7A Time : 0.0 sec. user=mdettweiler [2016-01-14 12:32:43] 621*2^1419299-1 is not prime. Res64: 79913391B9B2BC9D Time : 0.0 sec. user=mdettweiler [2016-01-14 12:38:03] 669*2^1419299-1 is not prime. Res64: C483057372962B54 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:38:04] 775*2^1419299-1 is not prime. Res64: E25A480828DDD472 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:40:14] 843*2^1419299-1 is not prime. Res64: 1A4188CA9CE3AAAF Time : 0.0 sec. user=mdettweiler [2016-01-14 12:40:14] 913*2^1419299-1 is not prime. Res64: 4185E3035C6A23F0 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:47:16] 991*2^1419299-1 is not prime. Res64: 15C7E1FA88BE4114 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:47:16] 707*2^1419300-1 is not prime. Res64: 6043E34175BE1DC9 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:50:40] 789*2^1419300-1 is not prime. Res64: D723FEB6EBEFA952 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:50:41] 899*2^1419300-1 is not prime. Res64: 6962770A96AF74AB Time : 0.0 sec. user=mdettweiler [2016-01-14 12:56:23] 959*2^1419300-1 is not prime. Res64: D2398C5BF2908CD3 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:56:23] 681*2^1419301-1 is not prime. Res64: 5C8D38D47154484F Time : 0.0 sec. user=mdettweiler [2016-01-14 12:58:04] 727*2^1419301-1 is not prime. Res64: 8EF5D4FFC8A8D8D2 Time : 0.0 sec. user=mdettweiler [2016-01-14 12:58:04] 761*2^1419302-1 is not prime. Res64: 659B102FBD550755 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:05:38] 887*2^1419302-1 is not prime. Res64: 266271F638AEF28B Time : 0.0 sec. user=mdettweiler [2016-01-14 13:05:41] 957*2^1419302-1 is not prime. Res64: 858D8393A486CC1A Time : 0.0 sec. user=mdettweiler [2016-01-14 13:08:37] 625*2^1419303-1 is not prime. Res64: AC6EB3D103696C05 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:08:40] 661*2^1419303-1 is not prime. Res64: 7FFE8D2B310742D7 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:14:40] 723*2^1419303-1 is not prime. Res64: EDD24BE5F7270662 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:14:41] 735*2^1419303-1 is not prime. Res64: FA84A980927A8182 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:16:05] 751*2^1419303-1 is not prime. Res64: CD3F2F6E996C762A Time : 0.0 sec. user=mdettweiler [2016-01-14 13:16:05] 763*2^1419303-1 is not prime. Res64: 93542853277DDF0F Time : 0.0 sec. user=mdettweiler [2016-01-14 13:24:51] 789*2^1419303-1 is not prime. Res64: AC5F51DC024001F2 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:24:52] 793*2^1419303-1 is not prime. Res64: F9AAEC588B489147 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:27:36] 853*2^1419303-1 is not prime. Res64: 26C84A214B14A88E Time : 0.0 sec. user=mdettweiler [2016-01-14 13:27:36] 879*2^1419303-1 is not prime. Res64: B483F285FBB0F5C3 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:33:04] 921*2^1419303-1 is not prime. Res64: 43487C62E24BC676 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:33:04] 961*2^1419303-1 is not prime. Res64: 9B81B4A056763DCF Time : 0.0 sec. user=mdettweiler [2016-01-14 13:34:15] 963*2^1419303-1 is not prime. Res64: A14923B3BE9692CA Time : 0.0 sec. user=mdettweiler [2016-01-14 13:34:16] 609*2^1419304-1 is not prime. Res64: 0CD94AAD2EC25906 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:43:21] 665*2^1419304-1 is not prime. Res64: 792952C09BCA2D9E Time : 0.0 sec. user=mdettweiler [2016-01-14 13:43:22] 687*2^1419304-1 is not prime. Res64: 4DA56EF6E231CBCB Time : 0.0 sec. user=mdettweiler [2016-01-14 13:45:44] 705*2^1419304-1 is not prime. Res64: 77488C4F16140C85 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:45:44] 719*2^1419304-1 is not prime. Res64: F07E0F42C5FDFFA6 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:51:49] 857*2^1419304-1 is not prime. Res64: C43AC69446ADFCA1 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:51:50] 873*2^1419304-1 is not prime. Res64: 0E8AA2C63019A7CD Time : 0.0 sec. user=mdettweiler [2016-01-14 13:52:27] 917*2^1419304-1 is not prime. Res64: CB9B169906873145 Time : 0.0 sec. user=mdettweiler [2016-01-14 13:52:27] 983*2^1419304-1 is not prime. Res64: 8165334DABD0149C Time : 0.0 sec. user=mdettweiler [2016-01-14 14:01:40] 759*2^1419305-1 is not prime. Res64: 861097FB073A4373 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:01:41] 771*2^1419305-1 is not prime. Res64: 6DCEAC09F2C0925F Time : 0.0 sec. user=mdettweiler [2016-01-14 14:03:50] 811*2^1419305-1 is not prime. Res64: D3FBD260D345C40D Time : 0.0 sec. user=mdettweiler [2016-01-14 14:03:51] 937*2^1419305-1 is not prime. Res64: A22F203D250C758E Time : 0.0 sec. user=mdettweiler [2016-01-14 14:10:18] 949*2^1419305-1 is not prime. Res64: 905CC110EE16E40D Time : 0.0 sec. user=mdettweiler [2016-01-14 14:10:19] 979*2^1419305-1 is not prime. Res64: 257D10BE6A5FE652 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:10:21] 633*2^1419306-1 is not prime. Res64: C7A0621860E90041 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:10:22] 641*2^1419306-1 is not prime. Res64: 07869A037CD58277 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:20:09] 725*2^1419306-1 is not prime. Res64: 8324737F89386F88 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:20:09] 747*2^1419306-1 is not prime. Res64: D029F33A0F8B9DD9 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:21:56] 783*2^1419306-1 is not prime. Res64: 6D8761ABDC1F3034 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:21:56] 803*2^1419306-1 is not prime. Res64: 3B01534FEE0407D7 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:28:16] 609*2^1419307-1 is not prime. Res64: F7A2C8C99E6FBC9E Time : 0.0 sec. user=mdettweiler [2016-01-14 14:28:16] 693*2^1419307-1 is not prime. Res64: E9F1E999696A2925 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:28:45] 975*2^1419306-1 is not prime. Res64: CFD3180C8AF40497 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:28:46] 601*2^1419307-1 is not prime. Res64: C48E1F70072019A8 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:38:50] 759*2^1419307-1 is not prime. Res64: E6B6B30391618CD9 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:38:51] 885*2^1419307-1 is not prime. Res64: FAF4C6FD1E0ABF56 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:40:30] 725*2^1419308-1 is not prime. Res64: 1FB12E022BDA6690 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:40:31] 797*2^1419308-1 is not prime. Res64: B6FF59A0BFD56965 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:47:00] 803*2^1419308-1 is not prime. Res64: 4D22E24555CD64E5 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:47:00] 879*2^1419308-1 is not prime. Res64: C89ECD749D2DDAB1 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:47:47] 963*2^1419308-1 is not prime. Res64: 7C97F66E4EF9EBF1 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:47:47] 969*2^1419308-1 is not prime. Res64: 409503D422EB1286 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:57:46] 669*2^1419309-1 is not prime. Res64: 1BAF05C502D77E3B Time : 0.0 sec. user=mdettweiler [2016-01-14 14:57:46] 741*2^1419309-1 is not prime. Res64: 4C4BF1B39F443B1E Time : 0.0 sec. user=mdettweiler [2016-01-14 14:59:27] 865*2^1419309-1 is not prime. Res64: 297889DDEF1C5226 Time : 0.0 sec. user=mdettweiler [2016-01-14 14:59:27] 867*2^1419309-1 is not prime. Res64: 4C97FD21A834D167 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:05:58] 889*2^1419309-1 is not prime. Res64: B9563E70DC1257DC Time : 0.0 sec. user=mdettweiler [2016-01-14 15:05:59] 813*2^1419310-1 is not prime. Res64: 9AA7BA054D2030F4 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:07:37] 1001*2^1419310-1 is not prime. Res64: CF329E89393FE988 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:07:38] 705*2^1419311-1 is not prime. Res64: 834FF07C0839743D Time : 0.0 sec. user=mdettweiler [2016-01-14 15:18:46] 741*2^1419311-1 is not prime. Res64: 08205C1FE6C282C9 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:18:46] 901*2^1419311-1 is not prime. Res64: BD9012BE7AF65CEC Time : 0.0 sec. user=mdettweiler [2016-01-14 15:19:47] 909*2^1419311-1 is not prime. Res64: 202132D586883000 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:19:47] 635*2^1419312-1 is not prime. Res64: A36E102A8C08C468 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:26:16] 665*2^1419312-1 is not prime. Res64: 4C9403E9BA2938F6 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:26:16] 809*2^1419312-1 is not prime. Res64: 077520C983F912CC Time : 0.0 sec. user=mdettweiler [2016-01-14 15:28:25] 857*2^1419312-1 is not prime. Res64: 3386C72EC70B6123 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:28:25] 875*2^1419312-1 is not prime. Res64: D0DF5A922AC8FBCF Time : 0.0 sec. user=mdettweiler [2016-01-14 15:38:32] 893*2^1419312-1 is not prime. Res64: E1B65034CC05C9A6 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:38:33] 615*2^1419313-1 is not prime. Res64: 4E9EA7798E33CC27 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:40:09] 715*2^1419313-1 is not prime. Res64: 34D0FC87DC4E946F Time : 0.0 sec. user=mdettweiler [2016-01-14 15:40:10] 771*2^1419313-1 is not prime. Res64: FB52DD9517FF9BA4 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:45:43] 817*2^1419313-1 is not prime. Res64: E4B10895D19CAC13 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:45:43] 831*2^1419313-1 is not prime. Res64: 9B1C24A1322F7F57 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:48:37] 885*2^1419313-1 is not prime. Res64: 033BAA0B49F711A3 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:48:37] 797*2^1419314-1 is not prime. Res64: 11D2682D4F1E25F2 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:59:32] 903*2^1419314-1 is not prime. Res64: C47A80F6B28FD9F3 Time : 0.0 sec. user=mdettweiler [2016-01-14 15:59:32] 649*2^1419315-1 is not prime. Res64: 70B45C55FBFF16CD Time : 0.0 sec. user=mdettweiler [2016-01-14 16:00:28] 669*2^1419315-1 is not prime. Res64: 7FF9FF3DFF4CA004 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:00:29] 723*2^1419315-1 is not prime. Res64: 6AD809CDCEDC84F9 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:05:55] 783*2^1419315-1 is not prime. Res64: 3BC2A888AA587117 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:05:58] 859*2^1419315-1 is not prime. Res64: 5F30E74AC0E085EF Time : 0.0 sec. user=mdettweiler [2016-01-14 16:08:42] 871*2^1419315-1 is not prime. Res64: 892AE07250331464 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:08:42] 617*2^1419316-1 is not prime. Res64: 5840B3BB168AD1BC Time : 0.0 sec. user=mdettweiler [2016-01-14 16:19:11] 647*2^1419316-1 is not prime. Res64: 41C0C5EAC7EB3F0F Time : 0.0 sec. user=mdettweiler [2016-01-14 16:19:12] 657*2^1419316-1 is not prime. Res64: 1FCBFDCC1563AE9D Time : 0.0 sec. user=mdettweiler [2016-01-14 16:19:42] 723*2^1419316-1 is not prime. Res64: 9AE42189757FB602 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:19:42] 735*2^1419316-1 is not prime. Res64: 135C203FA9E3F5C9 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:25:26] 749*2^1419316-1 is not prime. Res64: 558C68D3B1322D85 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:25:27] 777*2^1419316-1 is not prime. Res64: E62B28C66B7AA4C4 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:28:30] 845*2^1419316-1 is not prime. Res64: 89AF15BDEAD2EEA3 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:28:30] 869*2^1419316-1 is not prime. Res64: D24BB398AB428A30 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:38:19] 899*2^1419316-1 is not prime. Res64: D5BE6124E3E5A68B Time : 0.0 sec. user=mdettweiler [2016-01-14 16:38:20] 923*2^1419316-1 is not prime. Res64: 117BDDEE79A63C40 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:38:52] 927*2^1419316-1 is not prime. Res64: 6B482950D352C311 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:38:52] 831*2^1419317-1 is not prime. Res64: AFB8C883E03CA211 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:44:26] 861*2^1419317-1 is not prime. Res64: 19F21C2276E34296 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:44:27] 611*2^1419318-1 is not prime. Res64: B72AF8F237450C8F Time : 0.0 sec. user=mdettweiler [2016-01-14 16:48:18] 707*2^1419318-1 is not prime. Res64: F839CB897FCFCCCB Time : 0.0 sec. user=mdettweiler [2016-01-14 16:48:18] 801*2^1419318-1 is not prime. Res64: 63D94555F391DECE Time : 0.0 sec. user=mdettweiler [2016-01-14 16:58:14] 601*2^1419319-1 is not prime. Res64: B4B51E8B75A52274 Time : 0.0 sec. user=mdettweiler [2016-01-14 16:58:14] 619*2^1419319-1 is not prime. Res64: 980668DE227DA91E Time : 0.0 sec. user=mdettweiler [2016-01-14 16:58:35] 625*2^1419319-1 is not prime. Res64: BDF6B5E793FA485B Time : 0.0 sec. user=mdettweiler [2016-01-14 16:58:35] 633*2^1419319-1 is not prime. Res64: 334E0F5F8491B298 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:04:04] 681*2^1419319-1 is not prime. Res64: 29311334C034A538 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:04:06] 705*2^1419319-1 is not prime. Res64: 113B1E121E8272AC Time : 0.0 sec. user=mdettweiler [2016-01-14 17:07:40] 771*2^1419319-1 is not prime. Res64: 383E3E7309D1E598 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:07:41] 831*2^1419319-1 is not prime. Res64: C01046F92EBBC5D6 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:18:07] 861*2^1419319-1 is not prime. Res64: 95FD86E849629D11 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:18:07] 883*2^1419319-1 is not prime. Res64: ABA9BFB604026D8C Time : 0.0 sec. user=mdettweiler [2016-01-14 17:18:09] 889*2^1419319-1 is not prime. Res64: D3C367861F628006 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:18:10] 933*2^1419319-1 is not prime. Res64: 3AD94F7A5AAD8537 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:23:43] 939*2^1419319-1 is not prime. Res64: 01E63670B6F219E6 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:23:44] 629*2^1419320-1 is not prime. Res64: 5D752022E1FB8356 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:27:31] 687*2^1419320-1 is not prime. Res64: 38F5DC7832592DEE Time : 0.0 sec. user=mdettweiler [2016-01-14 17:27:32] 795*2^1419320-1 is not prime. Res64: D1A1CC608ECBB27C Time : 0.0 sec. user=mdettweiler [2016-01-14 17:37:35] 825*2^1419320-1 is not prime. Res64: E585F4AA1410B0BC Time : 0.0 sec. user=mdettweiler [2016-01-14 17:37:35] 827*2^1419320-1 is not prime. Res64: 38FE7FD11C6770CA Time : 0.0 sec. user=mdettweiler [2016-01-14 17:37:45] 843*2^1419320-1 is not prime. Res64: B249F9F29011959F Time : 0.0 sec. user=mdettweiler [2016-01-14 17:37:46] 927*2^1419320-1 is not prime. Res64: 237CAEF3306B8119 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:42:25] 649*2^1419321-1 is not prime. Res64: A5EF0DC762138425 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:42:25] 661*2^1419321-1 is not prime. Res64: AA1CF7E5946C8F3E Time : 0.0 sec. user=mdettweiler [2016-01-14 17:46:42] 685*2^1419321-1 is not prime. Res64: 4EE5A68E23BC909C Time : 0.0 sec. user=mdettweiler [2016-01-14 17:46:42] 751*2^1419321-1 is not prime. Res64: FE99C2846BAB5B50 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:55:56] 895*2^1419321-1 is not prime. Res64: FC5FDCF531C8A8BF Time : 0.0 sec. user=mdettweiler [2016-01-14 17:55:56] 909*2^1419321-1 is not prime. Res64: 8894A4F38AA84DC3 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:56:34] 987*2^1419321-1 is not prime. Res64: 45910CEB16B3B022 Time : 0.0 sec. user=mdettweiler [2016-01-14 17:56:34] 999*2^1419321-1 is not prime. Res64: 5EA7F4D1B916EEF3 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:00:38] 617*2^1419322-1 is not prime. Res64: B4A6DB5B7472D497 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:00:39] 623*2^1419322-1 is not prime. Res64: 77B7BE0DCEBA9B3F Time : 0.0 sec. user=mdettweiler [2016-01-14 18:05:18] 651*2^1419322-1 is not prime. Res64: BB5D156BCED02D92 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:05:19] 675*2^1419322-1 is not prime. Res64: E018782FBF0F49B8 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:14:16] 681*2^1419322-1 is not prime. Res64: 27387B40433687B5 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:14:16] 741*2^1419322-1 is not prime. Res64: C28F5D3651BF3915 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:15:12] 777*2^1419322-1 is not prime. Res64: 21C4605B0B8461E5 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:15:13] 813*2^1419322-1 is not prime. Res64: EAB954F0D31DDC04 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:18:52] 855*2^1419322-1 is not prime. Res64: 7FADFD5C6AE1855C Time : 0.0 sec. user=mdettweiler [2016-01-14 18:18:53] 631*2^1419323-1 is not prime. Res64: 532CA5C2C283E472 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:23:55] 663*2^1419323-1 is not prime. Res64: 7E4ACA1886CD5D7B Time : 0.0 sec. user=mdettweiler [2016-01-14 18:23:55] 705*2^1419323-1 is not prime. Res64: A12418A21D2DE6A9 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:32:44] 949*2^1419323-1 is not prime. Res64: 1B4249B16409AB2F Time : 0.0 sec. user=mdettweiler [2016-01-14 18:32:44] 955*2^1419323-1 is not prime. Res64: 137E85F3FF7BCCCB Time : 0.0 sec. user=mdettweiler [2016-01-14 18:33:51] 963*2^1419323-1 is not prime. Res64: CA4FA46DD3BDB7DA Time : 0.0 sec. user=mdettweiler [2016-01-14 18:33:51] 699*2^1419324-1 is not prime. Res64: 2961D5FB198B2E4E Time : 0.0 sec. user=mdettweiler [2016-01-14 18:37:07] 725*2^1419324-1 is not prime. Res64: AA69F6074AA69277 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:37:07] 765*2^1419324-1 is not prime. Res64: A11AF1E902D53376 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:42:42] 857*2^1419324-1 is not prime. Res64: 7D0DE3909E5A5B92 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:42:42] 887*2^1419324-1 is not prime. Res64: F7FB0E761F022C64 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:51:13] 959*2^1419324-1 is not prime. Res64: B55F7B7EA157DAC6 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:51:13] 965*2^1419324-1 is not prime. Res64: 0194A79C2BAE079B Time : 0.0 sec. user=mdettweiler [2016-01-14 18:52:28] 969*2^1419324-1 is not prime. Res64: D1EA6D9FAF3A0D9A Time : 0.0 sec. user=mdettweiler [2016-01-14 18:52:28] 645*2^1419325-1 is not prime. Res64: 89B3BBAB4AD132DB Time : 0.0 sec. user=mdettweiler [2016-01-14 18:55:26] 685*2^1419325-1 is not prime. Res64: 46F038D15C477756 Time : 0.0 sec. user=mdettweiler [2016-01-14 18:55:26] 721*2^1419325-1 is not prime. Res64: 323A1FD22F4BBC3B Time : 0.0 sec. user=mdettweiler [2016-01-14 19:01:17] 729*2^1419325-1 is not prime. Res64: 03690F1BD4480E4B Time : 0.0 sec. user=mdettweiler [2016-01-14 19:01:19] 751*2^1419325-1 is not prime. Res64: 9E747E271D0504B2 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:09:29] 819*2^1419325-1 is not prime. Res64: FA481B83142BB71C Time : 0.0 sec. user=mdettweiler [2016-01-14 19:09:29] 825*2^1419325-1 is not prime. Res64: DDFDA66C4FD60CB3 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:11:02] 885*2^1419325-1 is not prime. Res64: C65E38592BF2B756 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:11:03] 937*2^1419325-1 is not prime. Res64: 89C27833FCD63278 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:13:43] 747*2^1419326-1 is not prime. Res64: 89BAAFC8C924C254 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:13:44] 857*2^1419326-1 is not prime. Res64: 58D414A78516444B Time : 0.0 sec. user=mdettweiler [2016-01-14 19:20:03] 625*2^1419327-1 is not prime. Res64: 8E236E04B9C09B68 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:20:03] 651*2^1419327-1 is not prime. Res64: 0F6598CD9AF9A8F9 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:28:19] 711*2^1419327-1 is not prime. Res64: 53F3272311D7ACC1 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:28:20] 871*2^1419327-1 is not prime. Res64: A74EEBFE6B0B87F9 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:30:10] 885*2^1419327-1 is not prime. Res64: C70D383C124EFE6B Time : 0.0 sec. user=mdettweiler [2016-01-14 19:30:10] 895*2^1419327-1 is not prime. Res64: C27A6C5B1371A903 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:33:34] 963*2^1419327-1 is not prime. Res64: C6024824C803DD5F Time : 0.0 sec. user=mdettweiler [2016-01-14 19:33:35] 629*2^1419328-1 is not prime. Res64: AB3B1968C80BC28D Time : 0.0 sec. user=mdettweiler [2016-01-14 19:42:54] 645*2^1419328-1 is not prime. Res64: B3EE959D545806BF Time : 0.0 sec. user=mdettweiler [2016-01-14 19:42:55] 723*2^1419328-1 is not prime. Res64: 16E0FD6BA0B9168E Time : 0.0 sec. user=mdettweiler [2016-01-14 19:52:48] 735*2^1419328-1 is not prime. Res64: FB18784C41591899 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:52:49] 905*2^1419328-1 is not prime. Res64: 916826C3E86C50FC Time : 0.0 sec. user=mdettweiler [2016-01-14 19:54:33] 769*2^1419329-1 is not prime. Res64: 5E4CCF2259D84641 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:54:34] 799*2^1419329-1 is not prime. Res64: BC7E5C4FD8DB3C56 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:57:52] 811*2^1419329-1 is not prime. Res64: 2AA8833BB8174ED2 Time : 0.0 sec. user=mdettweiler [2016-01-14 19:57:53] 855*2^1419329-1 is not prime. Res64: 2FFF13AEF4A01361 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:06:01] 897*2^1419329-1 is not prime. Res64: 7CD34972313195B9 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:06:02] 909*2^1419329-1 is not prime. Res64: CA5EB4BB299A73D8 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:14:37] 665*2^1419330-1 is not prime. Res64: 6F57A324DC3392A1 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:14:37] 695*2^1419330-1 is not prime. Res64: 212B4466B38AB6FC Time : 0.0 sec. user=mdettweiler [2016-01-14 20:16:24] 777*2^1419330-1 is not prime. Res64: F84D4AAF3ECA2C9D Time : 0.0 sec. user=mdettweiler [2016-01-14 20:16:25] 791*2^1419330-1 is not prime. Res64: 0AE43914CC2F1ED6 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:19:43] 845*2^1419330-1 is not prime. Res64: C6C7878EB95E4DE4 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:19:43] 851*2^1419330-1 is not prime. Res64: ED510F85ABAAE29C Time : 0.0 sec. user=mdettweiler [2016-01-14 20:29:10] 885*2^1419330-1 is not prime. Res64: 0EDFB88AA3679256 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:29:11] 923*2^1419330-1 is not prime. Res64: 2F98E9AADC836EC3 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:38:26] 741*2^1419331-1 is not prime. Res64: 0616CA572FC1ADC3 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:38:27] 829*2^1419331-1 is not prime. Res64: 6C994FCD828EF53F Time : 0.0 sec. user=mdettweiler [2016-01-14 20:40:44] 861*2^1419331-1 is not prime. Res64: 40493892E7E0C866 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:40:44] 895*2^1419331-1 is not prime. Res64: B24FBEA9B70A9506 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:42:28] 603*2^1419332-1 is not prime. Res64: 0275BD7A6433CE10 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:42:28] 615*2^1419332-1 is not prime. Res64: 240371411B5693F2 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:53:40] 767*2^1419332-1 is not prime. Res64: 3B2C500A050CF094 Time : 0.0 sec. user=mdettweiler [2016-01-14 20:53:40] 813*2^1419332-1 is not prime. Res64: 92A4F8038D468BCF Time : 0.0 sec. user=mdettweiler [2016-01-14 21:03:00] 929*2^1419332-1 is not prime. Res64: CC6C7E6D30D79421 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:03:01] 609*2^1419333-1 is not prime. Res64: 7EC2B204B6E8F66E Time : 0.0 sec. user=mdettweiler [2016-01-14 21:04:36] 721*2^1419333-1 is not prime. Res64: 5251DCA45FD96E8E Time : 0.0 sec. user=mdettweiler [2016-01-14 21:04:37] 735*2^1419333-1 is not prime. Res64: E4C46574A3D53533 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:06:49] 741*2^1419333-1 is not prime. Res64: F68AC5FB209A7B38 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:06:49] 747*2^1419333-1 is not prime. Res64: 1D03EA9F54DF8AC2 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:18:56] 769*2^1419333-1 is not prime. Res64: 70CC4B14E305EE64 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:18:57] 795*2^1419333-1 is not prime. Res64: 0F9C282D1BB59DE2 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:27:50] 835*2^1419333-1 is not prime. Res64: 99178E51EC8CA128 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:27:50] 999*2^1419333-1 is not prime. Res64: A51BB57884F6F082 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:30:06] 785*2^1419334-1 is not prime. Res64: 600F3CE45D58A172 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:30:07] 827*2^1419334-1 is not prime. Res64: A4DF2CA04AFC1D5B Time : 0.0 sec. user=mdettweiler [2016-01-14 21:31:59] 891*2^1419334-1 is not prime. Res64: D77AE9917CDC2341 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:31:59] 1001*2^1419334-1 is not prime. Res64: 89BBC487A57597A5 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:44:44] 741*2^1419335-1 is not prime. Res64: 5FC875202ADF2161 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:44:44] 889*2^1419335-1 is not prime. Res64: 16BCB36CFD0DA35C Time : 0.0 sec. user=mdettweiler [2016-01-14 21:52:45] 963*2^1419335-1 is not prime. Res64: EFC19885F9A272BC Time : 0.0 sec. user=mdettweiler [2016-01-14 21:52:45] 981*2^1419335-1 is not prime. Res64: 0215BFAC8489A1A8 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:54:55] 999*2^1419335-1 is not prime. Res64: 7BCC8BF752F8FFE1 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:54:55] 669*2^1419336-1 is not prime. Res64: 6798D36B5915D472 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:57:53] 735*2^1419336-1 is not prime. Res64: 28743B8E4D7C5513 Time : 0.0 sec. user=mdettweiler [2016-01-14 21:57:54] 773*2^1419336-1 is not prime. Res64: 83E5E5C5A4FC5508 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:09:59] 809*2^1419336-1 is not prime. Res64: E1C4378362C8B5CF Time : 0.0 sec. user=mdettweiler [2016-01-14 22:09:59] 923*2^1419336-1 is not prime. Res64: C7DBCC508C92F19F Time : 0.0 sec. user=mdettweiler [2016-01-14 22:18:19] 771*2^1419337-1 is not prime. Res64: B483A967F91219AD Time : 0.0 sec. user=mdettweiler [2016-01-14 22:18:19] 807*2^1419337-1 is not prime. Res64: 888B7B16410E2A7B Time : 0.0 sec. user=mdettweiler [2016-01-14 22:19:23] 847*2^1419337-1 is not prime. Res64: B7689108526240B9 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:19:23] 957*2^1419337-1 is not prime. Res64: AD9473C37B4DFF37 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:22:36] 623*2^1419338-1 is not prime. Res64: 0541C5B43ACDF8B7 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:22:37] 671*2^1419338-1 is not prime. Res64: 632D28533F35846F Time : 0.0 sec. user=mdettweiler [2016-01-14 22:34:56] 713*2^1419338-1 is not prime. Res64: 88EDE51FB4D308AE Time : 0.0 sec. user=mdettweiler [2016-01-14 22:34:56] 825*2^1419338-1 is not prime. Res64: 3E2554B2D4D60E06 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:42:46] 861*2^1419338-1 is not prime. Res64: 482BCEAF0718A14C Time : 0.0 sec. user=mdettweiler [2016-01-14 22:42:46] 941*2^1419338-1 is not prime. Res64: A8E65B0F6919D0E4 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:44:14] 1001*2^1419338-1 is not prime. Res64: C38A404348EBCD14 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:44:15] 663*2^1419339-1 is not prime. Res64: 2E32AD2500F3EB9C Time : 0.0 sec. user=mdettweiler [2016-01-14 22:46:17] 775*2^1419339-1 is not prime. Res64: 38AD7F95478CD1D0 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:46:17] 795*2^1419339-1 is not prime. Res64: 80F0F701996CD02C Time : 0.0 sec. user=mdettweiler [2016-01-14 22:56:27] 859*2^1419339-1 is not prime. Res64: D18AFFFA80249287 Time : 0.0 sec. user=mdettweiler [2016-01-14 22:56:27] 873*2^1419339-1 is not prime. Res64: AD9BB9798544F0FA Time : 0.0 sec. user=mdettweiler [2016-01-14 23:02:07] 999*2^1419339-1 is not prime. Res64: 49046A7EFD1E7692 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:02:08] 677*2^1419340-1 is not prime. Res64: C373F66781461540 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:03:48] 755*2^1419340-1 is not prime. Res64: 58C754926C003293 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:03:50] 765*2^1419340-1 is not prime. Res64: 68FA9CDFCF034572 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:05:19] 825*2^1419340-1 is not prime. Res64: 83E84B216243D9A1 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:05:21] 863*2^1419340-1 is not prime. Res64: 1E9F8C93C93CF9C5 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:15:32] 619*2^1419341-1 is not prime. Res64: 8B72C4360A64758C Time : 0.0 sec. user=mdettweiler [2016-01-14 23:15:33] 727*2^1419341-1 is not prime. Res64: 669F4E081ECD67BC Time : 0.0 sec. user=mdettweiler [2016-01-14 23:21:14] 735*2^1419341-1 is not prime. Res64: 40F9D9A9F778BC64 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:21:15] 775*2^1419341-1 is not prime. Res64: D199A67B867017E4 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:23:11] 805*2^1419341-1 is not prime. Res64: A6113162199E3A1C Time : 0.0 sec. user=mdettweiler [2016-01-14 23:23:11] 889*2^1419341-1 is not prime. Res64: 9373E55815288844 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:24:02] 925*2^1419341-1 is not prime. Res64: ACB9864A039177A7 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:24:02] 937*2^1419341-1 is not prime. Res64: 7DA8311BF2B98E6F Time : 0.0 sec. user=mdettweiler [2016-01-14 23:34:18] 635*2^1419342-1 is not prime. Res64: 6C694E8A3E85164C Time : 0.0 sec. user=mdettweiler [2016-01-14 23:34:19] 651*2^1419342-1 is not prime. Res64: F35C28084FCAD967 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:39:54] 767*2^1419342-1 is not prime. Res64: 4618DE3F84543879 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:39:55] 791*2^1419342-1 is not prime. Res64: 6233EB0E9221D067 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:42:06] 801*2^1419342-1 is not prime. Res64: 47D1C051DEF79DC6 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:42:07] 807*2^1419342-1 is not prime. Res64: E7EAFDAE86C76E2C Time : 0.0 sec. user=mdettweiler [2016-01-14 23:42:28] 945*2^1419342-1 is not prime. Res64: C4AFB14060AB30B2 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:42:28] 703*2^1419343-1 is not prime. Res64: FD623EA816632EB6 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:53:17] 855*2^1419343-1 is not prime. Res64: 9B7D0B06B518F372 Time : 0.0 sec. user=mdettweiler [2016-01-14 23:53:17] 951*2^1419343-1 is not prime. Res64: A6AC70FFCE24EFDA Time : 0.0 sec. user=mdettweiler [2016-01-14 23:58:31] 985*2^1419343-1 is not prime. Res64: E3E2FAC215418CDD Time : 0.0 sec. user=mdettweiler [2016-01-14 23:58:31] 675*2^1419344-1 is not prime. Res64: 17591ED836B6256A Time : 0.0 sec. user=mdettweiler [2016-01-15 00:00:46] 993*2^1419344-1 is not prime. Res64: CF8A24AC2C89EB0F Time : 0.0 sec. user=mdettweiler [2016-01-15 00:00:46] 601*2^1419345-1 is not prime. Res64: 832BD2D4FB63B586 Time : 0.0 sec. user=mdettweiler [2016-01-15 00:00:47] 689*2^1419344-1 is not prime. Res64: 08A76F3A6816D1EB Time : 0.0 sec. user=mdettweiler [2016-01-15 00:00:47] 899*2^1419344-1 is not prime. Res64: A68482BCA2721ED4 Time : 0.0 sec.