user=mdettweiler [2016-10-17 00:15:58] 889*2^1442973-1 is not prime. Res64: 86AD26C2CB5C9FAA Time : 0.0 sec. user=mdettweiler [2016-10-17 00:15:58] 921*2^1442973-1 is not prime. Res64: F6060B1956719042 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:15:59] 951*2^1442973-1 is not prime. Res64: 030F9F2F98F9EACD Time : 0.0 sec. user=mdettweiler [2016-10-17 00:15:59] 621*2^1442974-1 is not prime. Res64: F8D8B365CD52FB43 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:16:00] 783*2^1442974-1 is not prime. Res64: 564562007D894D40 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:06] 857*2^1442974-1 is not prime. Res64: 538BDB9CA37CB0D1 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:07] 951*2^1442974-1 is not prime. Res64: 93BF207DD04EBC01 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:07] 603*2^1442975-1 is not prime. Res64: B0AD39D18AA76000 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:08] 693*2^1442975-1 is not prime. Res64: 7F2F9F3CD64926DA Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:15] 775*2^1442975-1 is not prime. Res64: 031EDA4685DDE41F Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:57] 885*2^1442975-1 is not prime. Res64: CA82C12837F79866 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:58] 609*2^1442976-1 is not prime. Res64: 753DE960D6747B70 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:58] 635*2^1442976-1 is not prime. Res64: A6A08D477BCDCE1A Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:59] 693*2^1442976-1 is not prime. Res64: B27A5E144472F053 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:25:59] 765*2^1442976-1 is not prime. Res64: C77EB931262A1042 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:27:56] 845*2^1442976-1 is not prime. Res64: D9D4ADBFD1CBD95E Time : 0.0 sec. user=mdettweiler [2016-10-17 00:27:57] 975*2^1442976-1 is not prime. Res64: E2AF91939C281215 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:27:57] 841*2^1442977-1 is not prime. Res64: 8F7A7E241F26A655 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:27:58] 955*2^1442977-1 is not prime. Res64: 64BE80C41E464007 Time : 0.0 sec. user=mdettweiler [2016-10-17 00:27:58] 967*2^1442977-1 is not prime. Res64: A39011FC435BA76A Time : 0.0 sec. user=mdettweiler [2016-10-17 01:00:54] 979*2^1442977-1 is not prime. Res64: 8E753C542BB01951 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:00:56] 981*2^1442977-1 is not prime. Res64: 7E62F935DCEF392D Time : 0.0 sec. user=mdettweiler [2016-10-17 01:00:57] 985*2^1442977-1 is not prime. Res64: 232DB7FC62EB4653 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:00:58] 623*2^1442978-1 is not prime. Res64: 4C1B3D9D6B7F853B Time : 0.0 sec. user=mdettweiler [2016-10-17 01:00:59] 713*2^1442978-1 is not prime. Res64: 5A2F397F95BA62CD Time : 0.0 sec. user=mdettweiler [2016-10-17 01:09:58] 813*2^1442978-1 is not prime. Res64: 6E4DCD8D25015346 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:00] 887*2^1442978-1 is not prime. Res64: 66898B5819931C8B Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:00] 609*2^1442979-1 is not prime. Res64: 30AA660C22DE7635 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:01] 711*2^1442979-1 is not prime. Res64: E7CE110908C095B1 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:01] 829*2^1442979-1 is not prime. Res64: 2BCFE3F956BA2FEB Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:38] 943*2^1442979-1 is not prime. Res64: 8750FE3E9B4402D9 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:39] 973*2^1442979-1 is not prime. Res64: 36003313E46A0AAF Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:39] 999*2^1442979-1 is not prime. Res64: 6782FEBCE54D4D01 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:40] 695*2^1442980-1 is not prime. Res64: FCF6752C781A4B4A Time : 0.0 sec. user=mdettweiler [2016-10-17 01:10:41] 899*2^1442980-1 is not prime. Res64: 9620C71C1559CA63 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:12:52] 933*2^1442980-1 is not prime. Res64: 40F7095151FCC7DA Time : 0.0 sec. user=mdettweiler [2016-10-17 01:12:53] 983*2^1442980-1 is not prime. Res64: 4F60CD970BA97D0A Time : 0.0 sec. user=mdettweiler [2016-10-17 01:12:53] 601*2^1442981-1 is not prime. Res64: 63E824679BAB5BEA Time : 0.0 sec. user=mdettweiler [2016-10-17 01:12:54] 645*2^1442981-1 is not prime. Res64: DF718EC1B0029CD4 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:12:54] 649*2^1442981-1 is not prime. Res64: 4E4653E1BDDE9B71 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:45:55] 801*2^1442981-1 is not prime. Res64: 86D8C697CF4CCE4E Time : 0.0 sec. user=mdettweiler [2016-10-17 01:45:55] 825*2^1442981-1 is not prime. Res64: 4E9A21CDDD826A0D Time : 0.0 sec. user=mdettweiler [2016-10-17 01:45:56] 861*2^1442981-1 is not prime. Res64: 85A3585AED5E3E5E Time : 0.0 sec. user=mdettweiler [2016-10-17 01:45:56] 611*2^1442982-1 is not prime. Res64: 8DF7BC752B4DBB26 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:45:57] 717*2^1442982-1 is not prime. Res64: 0636FA344B532ECD Time : 0.0 sec. user=mdettweiler [2016-10-17 01:54:45] 783*2^1442983-1 is not prime. Res64: EF21CBA9003A55E8 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:54:46] 901*2^1442983-1 is not prime. Res64: A3B59B8AEB8DC940 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:54:46] 659*2^1442984-1 is not prime. Res64: 18BB9978DE8C6B74 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:54:47] 729*2^1442984-1 is not prime. Res64: E8FA90EE30C23FE6 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:54:47] 759*2^1442984-1 is not prime. Res64: 0D379EA7D70A288B Time : 0.0 sec. user=mdettweiler [2016-10-17 01:55:34] 855*2^1442984-1 is not prime. Res64: 6CD7EC4DA35D8CF6 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:55:35] 609*2^1442985-1 is not prime. Res64: 5652A22122483AD8 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:55:35] 679*2^1442985-1 is not prime. Res64: F13C1A1F4E1A1406 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:55:36] 705*2^1442985-1 is not prime. Res64: 059C2594EDFDB305 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:55:36] 741*2^1442985-1 is not prime. Res64: E68325A28BB1F3C6 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:57:52] 781*2^1442985-1 is not prime. Res64: DC6A4E26A753F4F5 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:57:53] 831*2^1442985-1 is not prime. Res64: B32C3E244BCF7FC0 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:57:53] 937*2^1442985-1 is not prime. Res64: 93AAAAB6EF774427 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:57:54] 975*2^1442985-1 is not prime. Res64: 8B4DEB45C01B0349 Time : 0.0 sec. user=mdettweiler [2016-10-17 01:57:55] 991*2^1442985-1 is not prime. Res64: B0B49B5E28A1482D Time : 0.0 sec. user=mdettweiler [2016-10-17 02:31:30] 741*2^1442986-1 is not prime. Res64: D58EE2B31A683C7C Time : 0.0 sec. user=mdettweiler [2016-10-17 02:31:31] 843*2^1442986-1 is not prime. Res64: 2D47D529E4F88B84 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:31:32] 881*2^1442986-1 is not prime. Res64: 8D2A1EFACA7415CA Time : 0.0 sec. user=mdettweiler [2016-10-17 02:31:33] 941*2^1442986-1 is not prime. Res64: B94A9530644C2E6C Time : 0.0 sec. user=mdettweiler [2016-10-17 02:31:33] 957*2^1442986-1 is not prime. Res64: 7D63E785663AF906 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:25] 615*2^1442987-1 is not prime. Res64: 99BF706509964769 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:26] 693*2^1442987-1 is not prime. Res64: 57133D77CBEB60AB Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:27] 739*2^1442987-1 is not prime. Res64: B53371FB22E5B67D Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:28] 861*2^1442987-1 is not prime. Res64: 09B0266B34F017FF Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:29] 915*2^1442987-1 is not prime. Res64: 1C0C85EA061B4371 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:52] 963*2^1442987-1 is not prime. Res64: CC106150DCFFE2DC Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:53] 979*2^1442987-1 is not prime. Res64: F37BAE380BF1B1C5 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:54] 725*2^1442988-1 is not prime. Res64: 5EF6A9BA88318B8B Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:54] 735*2^1442988-1 is not prime. Res64: 6109CFB42D24354A Time : 0.0 sec. user=mdettweiler [2016-10-17 02:40:55] 923*2^1442988-1 is not prime. Res64: 265134879D03A62F Time : 0.0 sec. user=mdettweiler [2016-10-17 02:43:37] 929*2^1442988-1 is not prime. Res64: 2357A475EF065AC3 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:43:37] 957*2^1442988-1 is not prime. Res64: 2656ED92B71AD660 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:43:38] 699*2^1442989-1 is not prime. Res64: 374EECFB8E499DE0 Time : 0.0 sec. user=mdettweiler [2016-10-17 02:43:38] 769*2^1442989-1 is not prime. Res64: 022187403D1298BE Time : 0.0 sec. user=mdettweiler [2016-10-17 02:43:39] 861*2^1442989-1 is not prime. Res64: 412C914A8CD990EE Time : 0.0 sec. user=mdettweiler [2016-10-17 03:16:47] 895*2^1442989-1 is not prime. Res64: EDF4FCF363C0DEEE Time : 0.0 sec. user=mdettweiler [2016-10-17 03:16:47] 951*2^1442989-1 is not prime. Res64: D34D89B1860295C5 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:16:48] 997*2^1442989-1 is not prime. Res64: 9CC876991873CD0F Time : 0.0 sec. user=mdettweiler [2016-10-17 03:16:49] 615*2^1442990-1 is not prime. Res64: 1ECA3EFB6CCB20F1 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:16:49] 641*2^1442990-1 is not prime. Res64: 11AD38B594744D85 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:25:55] 663*2^1442990-1 is not prime. Res64: 064A0F10AF13C6EF Time : 0.0 sec. user=mdettweiler [2016-10-17 03:25:56] 713*2^1442990-1 is not prime. Res64: 0307E21E46F2CB78 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:25:57] 741*2^1442990-1 is not prime. Res64: D12DFE27EAD79FBB Time : 0.0 sec. user=mdettweiler [2016-10-17 03:25:58] 791*2^1442990-1 is not prime. Res64: 184776F6EB04FFAD Time : 0.0 sec. user=mdettweiler [2016-10-17 03:25:59] 861*2^1442990-1 is not prime. Res64: F5EE3D32C85ECF5D Time : 0.0 sec. user=mdettweiler [2016-10-17 03:26:01] 649*2^1442991-1 is not prime. Res64: C2C4EC38FBF6D532 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:26:03] 751*2^1442991-1 is not prime. Res64: 55DCA70A878FD0AD Time : 0.0 sec. user=mdettweiler [2016-10-17 03:26:05] 793*2^1442991-1 is not prime. Res64: 497FE33E7A5841EC Time : 0.0 sec. user=mdettweiler [2016-10-17 03:26:06] 859*2^1442991-1 is not prime. Res64: 4ED3EB18FFE50E57 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:26:07] 861*2^1442991-1 is not prime. Res64: EAF361B2A26551F7 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:28:29] 999*2^1442991-1 is not prime. Res64: 9468B7F482D23917 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:28:30] 677*2^1442992-1 is not prime. Res64: 150E9F93C10D4BAA Time : 0.0 sec. user=mdettweiler [2016-10-17 03:28:31] 713*2^1442992-1 is not prime. Res64: 287A12F1531E7556 Time : 0.0 sec. user=mdettweiler [2016-10-17 03:28:33] 797*2^1442992-1 is not prime. Res64: 43992DC4322005FA Time : 0.0 sec. user=mdettweiler [2016-10-17 03:28:34] 807*2^1442992-1 is not prime. Res64: C01161939290D004 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:01:12] 813*2^1442992-1 is not prime. Res64: 02CA115DF4429841 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:01:15] 833*2^1442992-1 is not prime. Res64: 6AA8D4246C5F68A6 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:01:17] 903*2^1442992-1 is not prime. Res64: E34AA2C2EDD8747C Time : 0.0 sec. user=mdettweiler [2016-10-17 04:01:18] 959*2^1442992-1 is not prime. Res64: 68939380841AF5F7 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:01:19] 983*2^1442992-1 is not prime. Res64: DA53CD8C8850FBE3 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:32] 635*2^1442994-1 is not prime. Res64: A691325388592EB6 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:34] 717*2^1442994-1 is not prime. Res64: 3D7ADD7D9055B44C Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:37] 791*2^1442994-1 is not prime. Res64: 9929201212D07950 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:39] 691*2^1442993-1 is not prime. Res64: D2F7161D25BA2A4A Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:42] 851*2^1442994-1 is not prime. Res64: 7AF9FC11A0EF75B6 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:45] 875*2^1442994-1 is not prime. Res64: 0355715F6C8C72FD Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:49] 741*2^1442993-1 is not prime. Res64: D2686BBDD82EC533 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:53] 867*2^1442993-1 is not prime. Res64: 6B1BAB8ABA88EE27 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:55] 987*2^1442993-1 is not prime. Res64: F969E9488215DD2A Time : 0.0 sec. user=mdettweiler [2016-10-17 04:10:57] 605*2^1442994-1 is not prime. Res64: 1B5721DA18BD3899 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:13:08] 893*2^1442994-1 is not prime. Res64: C74283CF150E744D Time : 0.0 sec. user=mdettweiler [2016-10-17 04:13:09] 921*2^1442994-1 is not prime. Res64: 79D812EE9AC5DE6E Time : 0.0 sec. user=mdettweiler [2016-10-17 04:13:09] 601*2^1442995-1 is not prime. Res64: F06F1F66477A8E04 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:13:10] 705*2^1442995-1 is not prime. Res64: 6AEA743B49F44932 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:13:10] 789*2^1442995-1 is not prime. Res64: B1934BF1D750802F Time : 0.0 sec. user=mdettweiler [2016-10-17 04:46:26] 859*2^1442995-1 is not prime. Res64: 92D1520283052D57 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:46:27] 871*2^1442995-1 is not prime. Res64: 40D457D4D3DE6D67 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:46:27] 885*2^1442995-1 is not prime. Res64: C39C7DF1DEEA5266 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:46:28] 909*2^1442995-1 is not prime. Res64: A773189FC1B1650D Time : 0.0 sec. user=mdettweiler [2016-10-17 04:46:28] 985*2^1442995-1 is not prime. Res64: AE1400BED661BBFE Time : 0.0 sec. user=mdettweiler [2016-10-17 04:55:45] 647*2^1442996-1 is not prime. Res64: D49D84E5850E2E30 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:55:45] 839*2^1442996-1 is not prime. Res64: D5982168EAD5DFDC Time : 0.0 sec. user=mdettweiler [2016-10-17 04:55:46] 879*2^1442996-1 is not prime. Res64: 61A7449C278CC8EE Time : 0.0 sec. user=mdettweiler [2016-10-17 04:55:46] 909*2^1442996-1 is not prime. Res64: 99EAAFB99EB915FC Time : 0.0 sec. user=mdettweiler [2016-10-17 04:55:47] 963*2^1442996-1 is not prime. Res64: 03849C5060A66945 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:56:05] 615*2^1442997-1 is not prime. Res64: 37486E9EEF5F4291 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:56:05] 621*2^1442997-1 is not prime. Res64: 344670229F848CE6 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:56:06] 669*2^1442997-1 is not prime. Res64: FB3550F6BA0AFD0C Time : 0.0 sec. user=mdettweiler [2016-10-17 04:56:06] 691*2^1442997-1 is not prime. Res64: B89A13A81E76FF6C Time : 0.0 sec. user=mdettweiler [2016-10-17 04:56:07] 741*2^1442997-1 is not prime. Res64: 81F461D0383147D0 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:58:10] 751*2^1442997-1 is not prime. Res64: EC84363D5A016CB8 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:58:11] 765*2^1442997-1 is not prime. Res64: 01C5F03E2E9E5688 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:58:12] 795*2^1442997-1 is not prime. Res64: 0601BCE3A50E8602 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:58:12] 817*2^1442997-1 is not prime. Res64: 5F2CC7C0C01B5D65 Time : 0.0 sec. user=mdettweiler [2016-10-17 04:58:13] 889*2^1442997-1 is not prime. Res64: 70FF215613097C28 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:30:57] 979*2^1442997-1 is not prime. Res64: C8080A5E24F726C6 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:30:57] 663*2^1442998-1 is not prime. Res64: F0193AC0ACD4CC8A Time : 0.0 sec. user=mdettweiler [2016-10-17 05:30:58] 833*2^1442998-1 is not prime. Res64: 5F9DF53C682E093D Time : 0.0 sec. user=mdettweiler [2016-10-17 05:30:58] 915*2^1442998-1 is not prime. Res64: 7E093E31663BD7EE Time : 0.0 sec. user=mdettweiler [2016-10-17 05:30:59] 609*2^1442999-1 is not prime. Res64: EE87B45478A340AF Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:07] 621*2^1442999-1 is not prime. Res64: 0CF104D6EE28374D Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:08] 663*2^1442999-1 is not prime. Res64: 9B5ECA2E4B5E4118 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:08] 775*2^1442999-1 is not prime. Res64: E7F2BA883F314953 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:09] 909*2^1442999-1 is not prime. Res64: 68609F0FF795EF66 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:09] 921*2^1442999-1 is not prime. Res64: 4BBF664C64583C8F Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:35] 939*2^1442999-1 is not prime. Res64: F04FC5C9F16ACC88 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:36] 623*2^1443000-1 is not prime. Res64: 6E60DA9B9E666E16 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:36] 707*2^1443000-1 is not prime. Res64: 95598A02B95F85FB Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:37] 719*2^1443000-1 is not prime. Res64: 4261E999FD31EC1F Time : 0.0 sec. user=mdettweiler [2016-10-17 05:40:37] 773*2^1443000-1 is not prime. Res64: 92EC0A79920B0427 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:42:50] 779*2^1443000-1 is not prime. Res64: 9ABF5EA82E45D7A6 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:42:51] 789*2^1443000-1 is not prime. Res64: 9831F769D2E7EC6A Time : 0.0 sec. user=mdettweiler [2016-10-17 05:42:51] 819*2^1443000-1 is not prime. Res64: 1B56898116B304F9 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:42:52] 863*2^1443000-1 is not prime. Res64: 396EDA79C98C77D1 Time : 0.0 sec. user=mdettweiler [2016-10-17 05:42:52] 879*2^1443000-1 is not prime. Res64: 4452D74B9464A441 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:15:43] 747*2^1443001-1 is not prime. Res64: F81E5F4F7712DC84 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:15:44] 951*2^1443001-1 is not prime. Res64: C86AF9E00F8B576B Time : 0.0 sec. user=mdettweiler [2016-10-17 06:15:44] 671*2^1443002-1 is not prime. Res64: 0B081E54DE7A7C1D Time : 0.0 sec. user=mdettweiler [2016-10-17 06:15:45] 791*2^1443002-1 is not prime. Res64: FF7EB3C507E73496 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:15:45] 831*2^1443002-1 is not prime. Res64: B660B5445FC446BE Time : 0.0 sec. user=mdettweiler [2016-10-17 06:24:40] 873*2^1443002-1 is not prime. Res64: 4D2E1FB462EE5125 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:24:41] 639*2^1443003-1 is not prime. Res64: 2B075DA8BF0BA995 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:24:41] 669*2^1443003-1 is not prime. Res64: C96048C2D1A4E938 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:24:42] 751*2^1443003-1 is not prime. Res64: 96D95D62D9995A34 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:24:43] 753*2^1443003-1 is not prime. Res64: B6E9C35B8B476B17 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:25:20] 775*2^1443003-1 is not prime. Res64: 45748E96FB1CD830 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:25:20] 783*2^1443003-1 is not prime. Res64: 9E2DD0D9F885C2EE Time : 0.0 sec. user=mdettweiler [2016-10-17 06:25:21] 871*2^1443003-1 is not prime. Res64: 423A011525FEF44A Time : 0.0 sec. user=mdettweiler [2016-10-17 06:25:21] 943*2^1443003-1 is not prime. Res64: 6FFB5835D1727927 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:25:22] 609*2^1443004-1 is not prime. Res64: 994064AA6CC0E027 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:27:31] 705*2^1443004-1 is not prime. Res64: 459B11D19BF0412B Time : 0.0 sec. user=mdettweiler [2016-10-17 06:27:32] 803*2^1443004-1 is not prime. Res64: B0C1860AB3CABD98 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:27:32] 843*2^1443004-1 is not prime. Res64: 9922F61A171C4540 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:27:33] 869*2^1443004-1 is not prime. Res64: B3BB4288DEBC6711 Time : 0.0 sec. user=mdettweiler [2016-10-17 06:27:33] 899*2^1443004-1 is not prime. Res64: 9D0271C937EA6563 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:00:09] 927*2^1443004-1 is not prime. Res64: B5AC9D379DF02DA9 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:00:10] 969*2^1443004-1 is not prime. Res64: 127EE76A64710005 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:00:10] 989*2^1443004-1 is not prime. Res64: 471DE1332BDD2D8B Time : 0.0 sec. user=mdettweiler [2016-10-17 07:00:11] 721*2^1443005-1 is not prime. Res64: F979371DFED759BB Time : 0.0 sec. user=mdettweiler [2016-10-17 07:00:11] 847*2^1443005-1 is not prime. Res64: DCA32F3A4DE5B6E6 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:09:09] 861*2^1443005-1 is not prime. Res64: E7D6E1300D47B511 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:09:14] 991*2^1443005-1 is not prime. Res64: 2F4E90BE93411A16 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:09:18] 683*2^1443006-1 is not prime. Res64: 6D981DC7455C351A Time : 0.0 sec. user=mdettweiler [2016-10-17 07:09:21] 713*2^1443006-1 is not prime. Res64: 077F55D17F7570FF Time : 0.0 sec. user=mdettweiler [2016-10-17 07:09:24] 717*2^1443006-1 is not prime. Res64: 92EDA38734BF090D Time : 0.0 sec. user=mdettweiler [2016-10-17 07:10:00] 825*2^1443006-1 is not prime. Res64: 1A1C0A06796942C3 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:10:03] 861*2^1443006-1 is not prime. Res64: C77B03C11B181704 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:10:06] 881*2^1443006-1 is not prime. Res64: 9CBE238F919274F8 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:10:08] 945*2^1443006-1 is not prime. Res64: 0461EF841EADBAED Time : 0.0 sec. user=mdettweiler [2016-10-17 07:10:11] 645*2^1443007-1 is not prime. Res64: 65348018C63476C8 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:11:58] 649*2^1443007-1 is not prime. Res64: 18CED113D00F209F Time : 0.0 sec. user=mdettweiler [2016-10-17 07:12:03] 759*2^1443007-1 is not prime. Res64: 3AE11614CFEC83D9 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:12:05] 765*2^1443007-1 is not prime. Res64: 5F6389854B0B7A40 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:12:08] 831*2^1443007-1 is not prime. Res64: 54EDC2A947C5C2F5 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:12:09] 861*2^1443007-1 is not prime. Res64: 807546F51EC41D83 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:44:40] 925*2^1443007-1 is not prime. Res64: AE5978651EAF213A Time : 0.0 sec. user=mdettweiler [2016-10-17 07:44:41] 623*2^1443008-1 is not prime. Res64: DE1C611E7CC6DE1B Time : 0.0 sec. user=mdettweiler [2016-10-17 07:44:41] 659*2^1443008-1 is not prime. Res64: 8876C4A0C7066DBF Time : 0.0 sec. user=mdettweiler [2016-10-17 07:44:42] 759*2^1443009-1 is not prime. Res64: 1D7873C28BD32AC2 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:44:42] 847*2^1443009-1 is not prime. Res64: 5110776BA8A2C463 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:23] 909*2^1443009-1 is not prime. Res64: F8A3B01A86BF2AEB Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:23] 603*2^1443010-1 is not prime. Res64: 0BE3888CF004BFAD Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:24] 623*2^1443010-1 is not prime. Res64: FC4323973421434E Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:24] 645*2^1443010-1 is not prime. Res64: 940125C703DEF2CD Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:25] 665*2^1443010-1 is not prime. Res64: 4C50DC13721876E4 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:26] 743*2^1443010-1 is not prime. Res64: CE50237EA3E10DCF Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:27] 933*2^1443010-1 is not prime. Res64: 42D13B90AFF79807 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:27] 705*2^1443011-1 is not prime. Res64: 902FDB3BE6681A7F Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:28] 741*2^1443011-1 is not prime. Res64: FC39B99FCBD6E474 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:55:28] 775*2^1443011-1 is not prime. Res64: 81C291B8EBF0F283 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:57:08] 635*2^1443012-1 is not prime. Res64: 74FC5BDE2B37035F Time : 0.0 sec. user=mdettweiler [2016-10-17 07:57:09] 725*2^1443012-1 is not prime. Res64: 629B6FD7FDA587E3 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:57:09] 767*2^1443012-1 is not prime. Res64: 267CD3EFC449D16E Time : 0.0 sec. user=mdettweiler [2016-10-17 07:57:10] 777*2^1443012-1 is not prime. Res64: E2EAA53C5508AEF3 Time : 0.0 sec. user=mdettweiler [2016-10-17 07:57:10] 837*2^1443012-1 is not prime. Res64: D928161AB9A69361 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:29:40] 843*2^1443012-1 is not prime. Res64: 4C1C41471F723B01 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:29:40] 873*2^1443012-1 is not prime. Res64: CE1D14C9FF491E39 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:29:41] 879*2^1443012-1 is not prime. Res64: 71B068C84C048A80 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:29:41] 887*2^1443012-1 is not prime. Res64: E15408252BA4A1A0 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:29:42] 933*2^1443012-1 is not prime. Res64: 33F0731757B9E473 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:33] 939*2^1443013-1 is not prime. Res64: 01A9323FB28EF248 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:33] 987*2^1443012-1 is not prime. Res64: 8EB92D2301200001 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:34] 635*2^1443014-1 is not prime. Res64: E16BDF89C5BDCF2B Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:34] 649*2^1443013-1 is not prime. Res64: B3BCF702C24039B7 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:34] 785*2^1443014-1 is not prime. Res64: 253E3FDB8354C1EA Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:34] 685*2^1443013-1 is not prime. Res64: 7FC19F4AFEE6F75F Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:35] 827*2^1443014-1 is not prime. Res64: 97BF2F8B9FA2531E Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:35] 687*2^1443013-1 is not prime. Res64: D1CCA0EF9CA40833 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:35] 885*2^1443014-1 is not prime. Res64: 3837F908C840DA91 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:40:35] 831*2^1443013-1 is not prime. Res64: 1665A4D501BB951D Time : 0.0 sec. user=mdettweiler [2016-10-17 08:42:09] 983*2^1443014-1 is not prime. Res64: 25916C4E467FE4E0 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:42:09] 639*2^1443015-1 is not prime. Res64: 60C2B3AED31E6453 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:42:10] 741*2^1443015-1 is not prime. Res64: 9EB8265E1C030B59 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:42:10] 781*2^1443015-1 is not prime. Res64: D21E36AE23426A61 Time : 0.0 sec. user=mdettweiler [2016-10-17 08:42:10] 805*2^1443015-1 is not prime. Res64: A709D889660470EC Time : 0.0 sec. user=mdettweiler [2016-10-17 09:14:15] 819*2^1443015-1 is not prime. Res64: 333B122DAA2B17C0 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:14:15] 861*2^1443015-1 is not prime. Res64: 0B3F03C2FCBAECD0 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:14:16] 891*2^1443015-1 is not prime. Res64: D35B35DC87F99277 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:14:16] 913*2^1443015-1 is not prime. Res64: 13C35B9F4CA664FA Time : 0.0 sec. user=mdettweiler [2016-10-17 09:14:17] 921*2^1443015-1 is not prime. Res64: 9ACCFD2FB3F08A27 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:07] 969*2^1443015-1 is not prime. Res64: 7CDA7474F19AA175 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:08] 639*2^1443016-1 is not prime. Res64: A626996818F8FC15 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:08] 825*2^1443016-1 is not prime. Res64: 0427A763D6FCE09D Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:09] 957*2^1443016-1 is not prime. Res64: 81373D371B3E87DE Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:09] 727*2^1443017-1 is not prime. Res64: F5D99E33D2D0D213 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:10] 685*2^1443017-1 is not prime. Res64: F8A1E48882F6CE0C Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:10] 741*2^1443017-1 is not prime. Res64: 9CF4C2A21CEC06C6 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:11] 769*2^1443017-1 is not prime. Res64: 25FF10F1B805742F Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:12] 771*2^1443017-1 is not prime. Res64: 548623D784B59A2F Time : 0.0 sec. user=mdettweiler [2016-10-17 09:25:12] 805*2^1443017-1 is not prime. Res64: 09A4E480A5A3D38E Time : 0.0 sec. user=mdettweiler [2016-10-17 09:26:56] 847*2^1443017-1 is not prime. Res64: 0C2107A4A1E07FBE Time : 0.0 sec. user=mdettweiler [2016-10-17 09:26:57] 871*2^1443017-1 is not prime. Res64: 1FD4CFE50DEAB051 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:26:57] 957*2^1443017-1 is not prime. Res64: E7AE2A2FC6AC04EB Time : 0.0 sec. user=mdettweiler [2016-10-17 09:26:58] 605*2^1443018-1 is not prime. Res64: B56B8E6BCE114251 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:26:58] 627*2^1443018-1 is not prime. Res64: 9D02DAE4E5BD305D Time : 0.0 sec. user=mdettweiler [2016-10-17 09:58:55] 647*2^1443018-1 is not prime. Res64: A0E66F6A5B26629F Time : 0.0 sec. user=mdettweiler [2016-10-17 09:58:55] 665*2^1443018-1 is not prime. Res64: A0B957B31C8BF467 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:58:56] 735*2^1443018-1 is not prime. Res64: 75AF5A6FD5A3492D Time : 0.0 sec. user=mdettweiler [2016-10-17 09:58:56] 821*2^1443018-1 is not prime. Res64: 3F7052B9327C5F33 Time : 0.0 sec. user=mdettweiler [2016-10-17 09:58:57] 875*2^1443018-1 is not prime. Res64: C5588DC1A5D62A44 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:36] 733*2^1443019-1 is not prime. Res64: BC8065018BC8C228 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:37] 853*2^1443019-1 is not prime. Res64: 3E7C1EA408B38E39 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:37] 919*2^1443019-1 is not prime. Res64: 79CDA66914A48A0E Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:38] 943*2^1443019-1 is not prime. Res64: 7A6F66F69863D977 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:38] 725*2^1443020-1 is not prime. Res64: E7643D7DA75F23E0 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:39] 975*2^1443018-1 is not prime. Res64: 97A8CED86FD589DA Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:40] 603*2^1443019-1 is not prime. Res64: C677B2B90542DA8C Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:41] 639*2^1443019-1 is not prime. Res64: 8643B285CCF29B8F Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:42] 685*2^1443019-1 is not prime. Res64: 7C6A43A2EE559359 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:09:42] 709*2^1443019-1 is not prime. Res64: CFFE33509A8DD01B Time : 0.0 sec. user=mdettweiler [2016-10-17 10:11:30] 767*2^1443020-1 is not prime. Res64: A25768F9C6FD2E48 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:11:31] 803*2^1443020-1 is not prime. Res64: 5084ECB8780D8C14 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:11:31] 977*2^1443020-1 is not prime. Res64: 5ED456296CFBF44A Time : 0.0 sec. user=mdettweiler [2016-10-17 10:11:32] 609*2^1443021-1 is not prime. Res64: E3AFC8DC594A6E0F Time : 0.0 sec. user=mdettweiler [2016-10-17 10:11:33] 817*2^1443021-1 is not prime. Res64: 70BDB24180E96886 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:44:01] 861*2^1443021-1 is not prime. Res64: FD08594C5C41402F Time : 0.0 sec. user=mdettweiler [2016-10-17 10:44:01] 927*2^1443021-1 is not prime. Res64: 8279DD9CB6F2AB35 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:44:02] 961*2^1443021-1 is not prime. Res64: 9FFCF61F16BF49A6 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:44:02] 969*2^1443021-1 is not prime. Res64: DCEDB4569133C15A Time : 0.0 sec. user=mdettweiler [2016-10-17 10:44:03] 723*2^1443022-1 is not prime. Res64: 4F1140A35A712BAB Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:41] 663*2^1443023-1 is not prime. Res64: D38E3C33B37C45C3 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:42] 693*2^1443023-1 is not prime. Res64: F8A0BF4A9DF6B799 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:42] 703*2^1443023-1 is not prime. Res64: 09FE846311DCFAD3 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:43] 759*2^1443023-1 is not prime. Res64: 1E56CC93E70BE401 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:44] 829*2^1443023-1 is not prime. Res64: 40F568010DAC32A4 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:50] 791*2^1443022-1 is not prime. Res64: 0373B17739E3C6F1 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:51] 825*2^1443022-1 is not prime. Res64: 5B0A18DC2810A155 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:52] 915*2^1443022-1 is not prime. Res64: 7EE74392203298D2 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:52] 957*2^1443022-1 is not prime. Res64: CB7E63C35E8BBF49 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:54:53] 1001*2^1443022-1 is not prime. Res64: AFB3F23184BFE68A Time : 0.0 sec. user=mdettweiler [2016-10-17 10:56:45] 885*2^1443023-1 is not prime. Res64: 620010BE72A6D1D4 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:56:45] 889*2^1443023-1 is not prime. Res64: 3F5F494D884551F7 Time : 0.0 sec. user=mdettweiler [2016-10-17 10:56:46] 943*2^1443023-1 is not prime. Res64: F665512F22892CCA Time : 0.0 sec. user=mdettweiler [2016-10-17 10:56:46] 973*2^1443023-1 is not prime. Res64: 4CA0D7A4D60C32EF Time : 0.0 sec. user=mdettweiler [2016-10-17 10:56:47] 789*2^1443024-1 is not prime. Res64: B3963E672FD0AEAD Time : 0.0 sec. user=mdettweiler [2016-10-17 11:28:49] 887*2^1443024-1 is not prime. Res64: 4C087844C9A926B0 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:28:50] 893*2^1443024-1 is not prime. Res64: 2FA3DCAEF1971D1A Time : 0.0 sec. user=mdettweiler [2016-10-17 11:28:50] 905*2^1443024-1 is not prime. Res64: A8650A7EB4250F00 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:28:50] 909*2^1443024-1 is not prime. Res64: 64D319563F3C5452 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:28:51] 601*2^1443025-1 is not prime. Res64: D58EE372B08C5C0B Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:35] 895*2^1443025-1 is not prime. Res64: AED3F92AC6F4D0DE Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:36] 957*2^1443025-1 is not prime. Res64: 168B19A6CF6055A4 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:36] 617*2^1443026-1 is not prime. Res64: 286E156DD5FD361C Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:37] 711*2^1443026-1 is not prime. Res64: E8BF3B64878DD1A3 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:37] 713*2^1443026-1 is not prime. Res64: D48BA65EF88A330B Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:39] 691*2^1443025-1 is not prime. Res64: AD9E7E15536828CD Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:39] 705*2^1443025-1 is not prime. Res64: 835F773E4CC643D1 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:40] 721*2^1443025-1 is not prime. Res64: 43CE445A2B451152 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:40] 819*2^1443025-1 is not prime. Res64: B98CABF1EE59EF55 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:39:41] 877*2^1443025-1 is not prime. Res64: AA823729CDF09550 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:41:25] 767*2^1443026-1 is not prime. Res64: 8B64CA9126AD5687 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:41:25] 935*2^1443026-1 is not prime. Res64: 8FFE634238C63C67 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:41:26] 619*2^1443027-1 is not prime. Res64: 8E0135F5FF06F69B Time : 0.0 sec. user=mdettweiler [2016-10-17 11:41:26] 709*2^1443027-1 is not prime. Res64: 83984DCA7B269DD2 Time : 0.0 sec. user=mdettweiler [2016-10-17 11:41:27] 711*2^1443027-1 is not prime. Res64: 2136E8CB906947FE Time : 0.0 sec. user=mdettweiler [2016-10-17 12:13:22] 735*2^1443027-1 is not prime. Res64: DD04E80A3AD8F28B Time : 0.0 sec. user=mdettweiler [2016-10-17 12:13:23] 793*2^1443027-1 is not prime. Res64: 29AB9FC5F56A87FE Time : 0.0 sec. user=mdettweiler [2016-10-17 12:13:24] 999*2^1443027-1 is not prime. Res64: 646AB4EB0033E8B8 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:13:24] 655*2^1443029-1 is not prime. Res64: 0AF5A2DAF87CA11C Time : 0.0 sec. user=mdettweiler [2016-10-17 12:13:25] 657*2^1443029-1 is not prime. Res64: C111BEF91E4FB61B Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:02] 711*2^1443029-1 is not prime. Res64: 7A5363D66BFDF9C2 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:02] 729*2^1443029-1 is not prime. Res64: 412AD860004838A1 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:03] 831*2^1443029-1 is not prime. Res64: E3F91A8526125A8B Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:03] 861*2^1443029-1 is not prime. Res64: 681920A0B37C37E6 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:04] 647*2^1443030-1 is not prime. Res64: FF7DF2D0F1A8AF28 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:08] 671*2^1443030-1 is not prime. Res64: 5051F826DB36007A Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:08] 723*2^1443030-1 is not prime. Res64: 3B65F6189DABBED6 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:09] 761*2^1443030-1 is not prime. Res64: 3D37A5882A362245 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:09] 673*2^1443031-1 is not prime. Res64: 1991F36E8AC0C1C5 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:24:10] 703*2^1443031-1 is not prime. Res64: 733AC75CEC51E278 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:25:52] 715*2^1443031-1 is not prime. Res64: E3E58A203A211EF9 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:25:52] 999*2^1443031-1 is not prime. Res64: 228AB761A32626B4 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:25:52] 725*2^1443032-1 is not prime. Res64: 3760DBA6D8938A3D Time : 0.0 sec. user=mdettweiler [2016-10-17 12:25:53] 743*2^1443032-1 is not prime. Res64: 92A65F9ACB3CAE29 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:25:53] 827*2^1443032-1 is not prime. Res64: B57A547F89F3DF18 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:57:59] 957*2^1443032-1 is not prime. Res64: 9443CC3B491FE690 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:57:59] 637*2^1443033-1 is not prime. Res64: 5C7136A0C62B70A2 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:58:00] 735*2^1443033-1 is not prime. Res64: AF8291AF36E66B26 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:58:00] 781*2^1443033-1 is not prime. Res64: 9AFBBF03818C0E96 Time : 0.0 sec. user=mdettweiler [2016-10-17 12:58:01] 889*2^1443033-1 is not prime. Res64: 957E7F5440245A86 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:36] 915*2^1443033-1 is not prime. Res64: FC451DADBFA814EF Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:36] 937*2^1443033-1 is not prime. Res64: 98E6753F345FCB4E Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:37] 605*2^1443034-1 is not prime. Res64: E1DBA990AD670754 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:37] 737*2^1443034-1 is not prime. Res64: F8EB6B86C7108FC1 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:38] 825*2^1443034-1 is not prime. Res64: ADA5B56E1F16F736 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:46] 1001*2^1443034-1 is not prime. Res64: 848121E1EED17920 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:47] 619*2^1443035-1 is not prime. Res64: 086C1AA35146706C Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:48] 655*2^1443035-1 is not prime. Res64: 29B1424FA1347D93 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:48] 759*2^1443035-1 is not prime. Res64: 028A9081A5272FD3 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:08:48] 825*2^1443035-1 is not prime. Res64: 9DEE01A3BD198A1D Time : 0.0 sec. user=mdettweiler [2016-10-17 13:10:34] 883*2^1443035-1 is not prime. Res64: 91A01B8890CAE59E Time : 0.0 sec. user=mdettweiler [2016-10-17 13:10:34] 635*2^1443036-1 is not prime. Res64: A0BC3D9C7D4BFEAD Time : 0.0 sec. user=mdettweiler [2016-10-17 13:10:35] 669*2^1443036-1 is not prime. Res64: 1FEB90517D249A97 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:10:35] 705*2^1443036-1 is not prime. Res64: A6B3588698695832 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:10:36] 707*2^1443036-1 is not prime. Res64: 09747A8F8911169D Time : 0.0 sec. user=mdettweiler [2016-10-17 13:42:30] 875*2^1443036-1 is not prime. Res64: B959FD4F91DAF062 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:42:30] 609*2^1443037-1 is not prime. Res64: 46F72266A571FBB3 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:42:31] 615*2^1443037-1 is not prime. Res64: 7E08D87F85A9B63C Time : 0.0 sec. user=mdettweiler [2016-10-17 13:42:31] 649*2^1443037-1 is not prime. Res64: 0B3E54B6ADF230A5 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:42:32] 741*2^1443037-1 is not prime. Res64: 420912400ACEDB78 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:11] 777*2^1443037-1 is not prime. Res64: F118B8CF640B1FE0 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:12] 847*2^1443037-1 is not prime. Res64: 952D09BE5186750D Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:12] 889*2^1443037-1 is not prime. Res64: 38B72ACECB10E7E3 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:13] 919*2^1443037-1 is not prime. Res64: 6A5CB5A83BE66A5D Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:13] 975*2^1443037-1 is not prime. Res64: 10B46A49E4061CFF Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:23] 665*2^1443038-1 is not prime. Res64: DC817640D1DFE9F1 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:23] 707*2^1443038-1 is not prime. Res64: 1F3ED826A324481C Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:23] 801*2^1443038-1 is not prime. Res64: 97A33C761A09F0A8 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:24] 825*2^1443038-1 is not prime. Res64: CE3B2B73D80ED533 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:53:24] 857*2^1443038-1 is not prime. Res64: CD8C93391CDA6A4C Time : 0.0 sec. user=mdettweiler [2016-10-17 13:55:14] 861*2^1443038-1 is not prime. Res64: 5732011C3E05C8A2 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:55:15] 945*2^1443038-1 is not prime. Res64: 5CC377B4B5CD2458 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:55:15] 963*2^1443038-1 is not prime. Res64: 45DE40E6B15116AB Time : 0.0 sec. user=mdettweiler [2016-10-17 13:55:16] 971*2^1443038-1 is not prime. Res64: B4AE618D6FF4E265 Time : 0.0 sec. user=mdettweiler [2016-10-17 13:55:16] 993*2^1443038-1 is not prime. Res64: D85DD2A6EE069DF0 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:27:16] 619*2^1443039-1 is not prime. Res64: F9FEBE33FEE7F0F7 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:27:16] 663*2^1443039-1 is not prime. Res64: E15E1B938271C3E6 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:27:17] 709*2^1443039-1 is not prime. Res64: 2A805C867DAEF3E0 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:27:18] 741*2^1443039-1 is not prime. Res64: AFDCD0AD33B9BBE7 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:27:18] 853*2^1443039-1 is not prime. Res64: 504611371DFE325F Time : 0.0 sec. user=mdettweiler [2016-10-17 14:37:47] 955*2^1443039-1 is not prime. Res64: 153E4CEC11453A1B Time : 0.0 sec. user=mdettweiler [2016-10-17 14:37:49] 961*2^1443039-1 is not prime. Res64: 6E078EDA5428FEDB Time : 0.0 sec. user=mdettweiler [2016-10-17 14:37:49] 605*2^1443040-1 is not prime. Res64: F381D6B2C42EDAE3 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:37:50] 615*2^1443040-1 is not prime. Res64: 2A33A2ECB11919FB Time : 0.0 sec. user=mdettweiler [2016-10-17 14:37:51] 623*2^1443040-1 is not prime. Res64: BE8AF6CB3725AC9B Time : 0.0 sec. user=mdettweiler [2016-10-17 14:38:04] 635*2^1443040-1 is not prime. Res64: 787A1FF8533D0308 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:38:05] 819*2^1443040-1 is not prime. Res64: 4EBE056F7F64A3BB Time : 0.0 sec. user=mdettweiler [2016-10-17 14:38:06] 691*2^1443041-1 is not prime. Res64: BEF005202BE0AA1B Time : 0.0 sec. user=mdettweiler [2016-10-17 14:38:06] 717*2^1443041-1 is not prime. Res64: 81131C5C78DC8816 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:38:07] 907*2^1443041-1 is not prime. Res64: 68DBE17449BEDA57 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:39:55] 981*2^1443041-1 is not prime. Res64: 8EB18045F920F79D Time : 0.0 sec. user=mdettweiler [2016-10-17 14:39:56] 713*2^1443042-1 is not prime. Res64: 7CE0303F02D9705D Time : 0.0 sec. user=mdettweiler [2016-10-17 14:39:56] 873*2^1443042-1 is not prime. Res64: 1B89D42489DD8504 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:39:57] 903*2^1443042-1 is not prime. Res64: BA994E8DDC0EF6F0 Time : 0.0 sec. user=mdettweiler [2016-10-17 14:39:58] 921*2^1443042-1 is not prime. Res64: 8C01A0C3D08ABB27 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:11:48] 801*2^1443043-1 is not prime. Res64: 4E5D34B7F32E88D5 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:11:49] 985*2^1443043-1 is not prime. Res64: 07A6280D315EBA49 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:11:50] 707*2^1443044-1 is not prime. Res64: 1AFC69F0FA764EEC Time : 0.0 sec. user=mdettweiler [2016-10-17 15:11:50] 875*2^1443044-1 is not prime. Res64: A7EAE9DC53A25BEF Time : 0.0 sec. user=mdettweiler [2016-10-17 15:11:51] 995*2^1443044-1 is not prime. Res64: 79C4A7BCDAED4F67 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:31] 735*2^1443045-1 is not prime. Res64: 41AE161EE4792E80 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:31] 777*2^1443045-1 is not prime. Res64: 3A99F750299422DF Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:32] 979*2^1443045-1 is not prime. Res64: B759A0BFDE2A3155 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:32] 867*2^1443046-1 is not prime. Res64: 4EEC1269154A6C1C Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:33] 887*2^1443046-1 is not prime. Res64: 51B444C210F89BB7 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:34] 735*2^1443047-1 is not prime. Res64: 23358FE65A8402D1 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:35] 759*2^1443047-1 is not prime. Res64: 796630BC6ED29E63 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:36] 799*2^1443047-1 is not prime. Res64: 9243C9795E3E5CA6 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:37] 629*2^1443048-1 is not prime. Res64: 82717D86424508FB Time : 0.0 sec. user=mdettweiler [2016-10-17 15:22:37] 707*2^1443048-1 is not prime. Res64: 5EB901A3DF8928EB Time : 0.0 sec. user=mdettweiler [2016-10-17 15:24:30] 737*2^1443048-1 is not prime. Res64: 82AE2B95636129A7 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:24:31] 867*2^1443048-1 is not prime. Res64: EBD92EE1C99BBDE6 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:24:31] 769*2^1443049-1 is not prime. Res64: 8A21AF7F8A78096B Time : 0.0 sec. user=mdettweiler [2016-10-17 15:24:32] 817*2^1443049-1 is not prime. Res64: 671DACBA1CED8A2D Time : 0.0 sec. user=mdettweiler [2016-10-17 15:24:32] 885*2^1443049-1 is not prime. Res64: BFA51694E977E084 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:56:12] 967*2^1443049-1 is not prime. Res64: DFA6952DDCAF2515 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:56:13] 767*2^1443050-1 is not prime. Res64: E7E73B679B311EE1 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:56:13] 785*2^1443050-1 is not prime. Res64: 6D1C635EE0D2C6C2 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:56:14] 791*2^1443050-1 is not prime. Res64: B5FADC505CC02159 Time : 0.0 sec. user=mdettweiler [2016-10-17 15:56:14] 797*2^1443050-1 is not prime. Res64: FF340F5389B4E7FC Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:00] 643*2^1443051-1 is not prime. Res64: 34A95FFEA176EC2E Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:01] 679*2^1443051-1 is not prime. Res64: 0AEE29732C1C2B07 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:03] 709*2^1443051-1 is not prime. Res64: 83BEFF12B21B1FAA Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:04] 745*2^1443051-1 is not prime. Res64: 15BAC77F3BBE6F3F Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:06] 769*2^1443051-1 is not prime. Res64: A0D36C3215C0A4F0 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:08] 833*2^1443050-1 is not prime. Res64: 7D9F6CA0A86564FE Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:12] 917*2^1443050-1 is not prime. Res64: 9F3C06E701FE1DD3 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:14] 921*2^1443050-1 is not prime. Res64: A68B58A3B39C46E2 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:15] 977*2^1443050-1 is not prime. Res64: 1F43045E55863F3F Time : 0.0 sec. user=mdettweiler [2016-10-17 16:07:17] 609*2^1443051-1 is not prime. Res64: 93C7EECA30D68AAD Time : 0.0 sec. user=mdettweiler [2016-10-17 16:08:50] 789*2^1443051-1 is not prime. Res64: E1BD83450D8F5857 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:08:51] 795*2^1443051-1 is not prime. Res64: 89F1DECDD45C3945 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:08:52] 895*2^1443051-1 is not prime. Res64: 75481A3C06F176A2 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:08:53] 931*2^1443051-1 is not prime. Res64: 52C116076738F96E Time : 0.0 sec. user=mdettweiler [2016-10-17 16:08:54] 973*2^1443051-1 is not prime. Res64: 1829AC9C9215AD0E Time : 0.0 sec. user=mdettweiler [2016-10-17 16:40:45] 975*2^1443051-1 is not prime. Res64: 64C864401C7F7906 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:40:46] 603*2^1443052-1 is not prime. Res64: FA3F916D841DBEC4 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:40:46] 635*2^1443052-1 is not prime. Res64: F327D5A797C19B49 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:40:47] 717*2^1443052-1 is not prime. Res64: 5C5E7646D37FD21E Time : 0.0 sec. user=mdettweiler [2016-10-17 16:40:47] 855*2^1443052-1 is not prime. Res64: A55C56A603CA4BF9 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:44] 621*2^1443053-1 is not prime. Res64: DB4FD3972F1CF023 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:44] 649*2^1443053-1 is not prime. Res64: EFF8F786154BEFE7 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:45] 697*2^1443053-1 is not prime. Res64: 01AC68A64FC32A50 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:45] 735*2^1443053-1 is not prime. Res64: DE8EAB1FE083974C Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:46] 837*2^1443053-1 is not prime. Res64: EA60E4F6062A6C9C Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:49] 889*2^1443053-1 is not prime. Res64: 298A5157AEA4C622 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:50] 955*2^1443053-1 is not prime. Res64: 6A92F9AB7DA8707E Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:50] 967*2^1443053-1 is not prime. Res64: 26062DE14645BD26 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:51] 987*2^1443053-1 is not prime. Res64: FA3800BC383698CA Time : 0.0 sec. user=mdettweiler [2016-10-17 16:51:51] 671*2^1443054-1 is not prime. Res64: 09C3EC079919461A Time : 0.0 sec. user=mdettweiler [2016-10-17 16:53:22] 725*2^1443054-1 is not prime. Res64: D51FD90EAB43C97C Time : 0.0 sec. user=mdettweiler [2016-10-17 16:53:23] 747*2^1443054-1 is not prime. Res64: 1BEE87670D62D6EE Time : 0.0 sec. user=mdettweiler [2016-10-17 16:53:23] 791*2^1443054-1 is not prime. Res64: 4252F0F5A5B14BFA Time : 0.0 sec. user=mdettweiler [2016-10-17 16:53:24] 891*2^1443054-1 is not prime. Res64: 1ED83302EBA13323 Time : 0.0 sec. user=mdettweiler [2016-10-17 16:53:24] 927*2^1443054-1 is not prime. Res64: 5A746D59220E9EBD Time : 0.0 sec. user=mdettweiler [2016-10-17 17:25:21] 971*2^1443054-1 is not prime. Res64: 9EC193B9C52C674D Time : 0.0 sec. user=mdettweiler [2016-10-17 17:25:22] 601*2^1443055-1 is not prime. Res64: A66A74191FCCA84A Time : 0.0 sec. user=mdettweiler [2016-10-17 17:25:22] 609*2^1443055-1 is not prime. Res64: 6373A4EDAD0285FC Time : 0.0 sec. user=mdettweiler [2016-10-17 17:25:23] 675*2^1443055-1 is not prime. Res64: CBBE33DC66837B21 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:25:23] 693*2^1443055-1 is not prime. Res64: 8B05F763DC3D952E Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:20] 741*2^1443055-1 is not prime. Res64: 0282EAE7AD3CE1CD Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:20] 789*2^1443055-1 is not prime. Res64: 30394AACCD9F0C0D Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:21] 973*2^1443055-1 is not prime. Res64: 18282C9B416E30E9 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:21] 675*2^1443056-1 is not prime. Res64: 364AA8F5051225B9 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:22] 759*2^1443056-1 is not prime. Res64: 159C8B4A919635F3 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:33] 777*2^1443056-1 is not prime. Res64: 6DC153DB51DC9B32 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:33] 825*2^1443056-1 is not prime. Res64: ED66F3FE591C96C5 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:34] 935*2^1443056-1 is not prime. Res64: BB414BBE444D28A9 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:35] 607*2^1443057-1 is not prime. Res64: 79D476B171F2E632 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:36:35] 699*2^1443057-1 is not prime. Res64: EBC8718AB7AD2BA4 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:37:59] 727*2^1443057-1 is not prime. Res64: D3BAB8DA58ADD782 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:37:59] 807*2^1443057-1 is not prime. Res64: BD9AA0038DDED610 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:38:00] 835*2^1443057-1 is not prime. Res64: 313C9F04F7E18255 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:38:00] 849*2^1443057-1 is not prime. Res64: 03C528760678A3F3 Time : 0.0 sec. user=mdettweiler [2016-10-17 17:38:01] 867*2^1443057-1 is not prime. Res64: FE5E3B62123ADA70 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:10:03] 949*2^1443057-1 is not prime. Res64: 5BDDE2073EA9C119 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:10:04] 621*2^1443058-1 is not prime. Res64: 3EEB540B30F3944F Time : 0.0 sec. user=mdettweiler [2016-10-17 18:10:04] 801*2^1443058-1 is not prime. Res64: FD1BB71DE3EBEEC1 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:10:05] 815*2^1443058-1 is not prime. Res64: D59243CC8A8D7395 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:10:06] 941*2^1443058-1 is not prime. Res64: 052CCCCB3D2AA3B4 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:10] 981*2^1443058-1 is not prime. Res64: 562EC546D9E82073 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:10] 987*2^1443058-1 is not prime. Res64: C530B1964FC44058 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:11] 669*2^1443059-1 is not prime. Res64: 156108E6A63C5472 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:12] 801*2^1443059-1 is not prime. Res64: 5EE43CDDFCA94F8A Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:12] 813*2^1443059-1 is not prime. Res64: 400B9D189BBF5A81 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:15] 829*2^1443059-1 is not prime. Res64: BE4061DAF960B68F Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:16] 955*2^1443059-1 is not prime. Res64: B65161E9CA657C64 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:16] 969*2^1443059-1 is not prime. Res64: 07E9C78A99F94C83 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:16] 985*2^1443059-1 is not prime. Res64: D47B33A654B0C303 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:21:17] 999*2^1443059-1 is not prime. Res64: 00A19898BED01A6A Time : 0.0 sec. user=mdettweiler [2016-10-17 18:22:55] 735*2^1443060-1 is not prime. Res64: 3BB893E3471563E7 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:22:56] 783*2^1443060-1 is not prime. Res64: F07128648A285CD3 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:22:56] 893*2^1443060-1 is not prime. Res64: AAFBD95C89CE41E2 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:22:57] 847*2^1443061-1 is not prime. Res64: 05EDECBCA6FB575C Time : 0.0 sec. user=mdettweiler [2016-10-17 18:22:57] 867*2^1443061-1 is not prime. Res64: E6279DA783BB723C Time : 0.0 sec. user=mdettweiler [2016-10-17 18:54:48] 871*2^1443061-1 is not prime. Res64: 3E5BACED4A53B884 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:54:49] 877*2^1443061-1 is not prime. Res64: 3B47F036594C2FD9 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:54:50] 603*2^1443062-1 is not prime. Res64: 40805BB043C8E164 Time : 0.0 sec. user=mdettweiler [2016-10-17 18:54:51] 645*2^1443062-1 is not prime. Res64: 895A360341ABB9DE Time : 0.0 sec. user=mdettweiler [2016-10-17 18:54:52] 683*2^1443062-1 is not prime. Res64: 643CD7F2A992EF8B Time : 0.0 sec. user=mdettweiler [2016-10-17 19:05:39] 705*2^1443062-1 is not prime. Res64: 354752267A0EED2A Time : 0.0 sec. user=mdettweiler [2016-10-17 19:05:41] 813*2^1443062-1 is not prime. Res64: 46E9F681FA39783D Time : 0.0 sec. user=mdettweiler [2016-10-17 19:05:43] 945*2^1443062-1 is not prime. Res64: B27410EF458FC1C4 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:05:44] 965*2^1443062-1 is not prime. Res64: 09524A216BB3062F Time : 0.0 sec. user=mdettweiler [2016-10-17 19:05:45] 621*2^1443063-1 is not prime. Res64: 49DC968F87A82D77 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:06:07] 751*2^1443063-1 is not prime. Res64: 08C3E0A1AA8CE35C Time : 0.0 sec. user=mdettweiler [2016-10-17 19:06:08] 873*2^1443063-1 is not prime. Res64: E3243C3397E5303D Time : 0.0 sec. user=mdettweiler [2016-10-17 19:06:09] 961*2^1443063-1 is not prime. Res64: 80E84C04B1F8FC14 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:06:10] 969*2^1443063-1 is not prime. Res64: 8F518F9DCF2228B6 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:06:11] 609*2^1443064-1 is not prime. Res64: A242A8CC00B19044 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:07:33] 705*2^1443064-1 is not prime. Res64: A3A9AA7C334F54DC Time : 0.0 sec. user=mdettweiler [2016-10-17 19:07:34] 707*2^1443064-1 is not prime. Res64: E46F876C48F4562E Time : 0.0 sec. user=mdettweiler [2016-10-17 19:07:35] 717*2^1443064-1 is not prime. Res64: D0D567A81B11023D Time : 0.0 sec. user=mdettweiler [2016-10-17 19:07:36] 765*2^1443064-1 is not prime. Res64: 47501FD8781F2F7C Time : 0.0 sec. user=mdettweiler [2016-10-17 19:07:37] 849*2^1443064-1 is not prime. Res64: 70A5D3B6B8FE138A Time : 0.0 sec. user=mdettweiler [2016-10-17 19:39:49] 857*2^1443064-1 is not prime. Res64: 5FA82B5DC3329781 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:39:49] 619*2^1443065-1 is not prime. Res64: FA3BBCA38305A3A5 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:39:50] 727*2^1443065-1 is not prime. Res64: FAA4249DFC967F90 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:39:50] 759*2^1443065-1 is not prime. Res64: AF3C3306E6EB5885 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:39:51] 777*2^1443065-1 is not prime. Res64: F2FB3277AFB35902 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:50:36] 979*2^1443065-1 is not prime. Res64: BE0B21624E708A83 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:50:37] 615*2^1443066-1 is not prime. Res64: 19E611940BF0BD5C Time : 0.0 sec. user=mdettweiler [2016-10-17 19:50:37] 725*2^1443066-1 is not prime. Res64: 2F90561E5209FD1A Time : 0.0 sec. user=mdettweiler [2016-10-17 19:50:38] 801*2^1443066-1 is not prime. Res64: 5C9BE3E02D4571CF Time : 0.0 sec. user=mdettweiler [2016-10-17 19:50:38] 837*2^1443066-1 is not prime. Res64: C58F43AC6CE7C9B7 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:51:05] 971*2^1443066-1 is not prime. Res64: 371270F14CD1CC6A Time : 0.0 sec. user=mdettweiler [2016-10-17 19:51:06] 741*2^1443067-1 is not prime. Res64: BE438093ADAC1D3A Time : 0.0 sec. user=mdettweiler [2016-10-17 19:51:06] 841*2^1443067-1 is not prime. Res64: B7A44248F72AD1FF Time : 0.0 sec. user=mdettweiler [2016-10-17 19:51:07] 871*2^1443067-1 is not prime. Res64: 2B549B118D18292B Time : 0.0 sec. user=mdettweiler [2016-10-17 19:51:07] 913*2^1443067-1 is not prime. Res64: A466903438E06F58 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:52:17] 975*2^1443067-1 is not prime. Res64: 143D2174E655EFA2 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:52:18] 755*2^1443068-1 is not prime. Res64: DC5B9369B02CDA5B Time : 0.0 sec. user=mdettweiler [2016-10-17 19:52:18] 773*2^1443068-1 is not prime. Res64: 1BF1A276268A1007 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:52:19] 885*2^1443068-1 is not prime. Res64: 9904B54EBC9573D5 Time : 0.0 sec. user=mdettweiler [2016-10-17 19:52:19] 915*2^1443068-1 is not prime. Res64: CFFE206C8CBE20C6 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:24:23] 625*2^1443069-1 is not prime. Res64: 8939BEEF1DBBB8FA Time : 0.0 sec. user=mdettweiler [2016-10-17 20:24:24] 661*2^1443069-1 is not prime. Res64: 2321739598D91F2A Time : 0.0 sec. user=mdettweiler [2016-10-17 20:24:24] 685*2^1443069-1 is not prime. Res64: 99EFA3B63EB34900 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:24:25] 751*2^1443069-1 is not prime. Res64: 3A7864BEF18BA94F Time : 0.0 sec. user=mdettweiler [2016-10-17 20:24:25] 795*2^1443069-1 is not prime. Res64: 187E9CBA0771065C Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:15] 829*2^1443069-1 is not prime. Res64: 35278F9A9B477158 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:17] 885*2^1443069-1 is not prime. Res64: D4CD3A9BD6AB8E81 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:18] 663*2^1443070-1 is not prime. Res64: 825D71B17B61BA49 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:19] 827*2^1443070-1 is not prime. Res64: E5CB09D59123A1D9 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:20] 981*2^1443070-1 is not prime. Res64: 8F7C804BF0068FF7 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:30] 1001*2^1443070-1 is not prime. Res64: 97975B95E2F5175D Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:30] 615*2^1443071-1 is not prime. Res64: 256DA03CB50198D4 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:31] 745*2^1443071-1 is not prime. Res64: 8829F783831A02A0 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:33] 781*2^1443071-1 is not prime. Res64: F102074D8A205C49 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:35:34] 819*2^1443071-1 is not prime. Res64: 06792194F0A57BB6 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:36:46] 855*2^1443071-1 is not prime. Res64: 4A3F333B8BFF8B3B Time : 0.0 sec. user=mdettweiler [2016-10-17 20:36:48] 883*2^1443071-1 is not prime. Res64: A1B7A15789D1DEFD Time : 0.0 sec. user=mdettweiler [2016-10-17 20:36:48] 921*2^1443071-1 is not prime. Res64: 5D338AB591A135BB Time : 0.0 sec. user=mdettweiler [2016-10-17 20:36:49] 665*2^1443072-1 is not prime. Res64: D222D84F68649517 Time : 0.0 sec. user=mdettweiler [2016-10-17 20:36:50] 669*2^1443072-1 is not prime. Res64: 5DF12A583C62E563 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:08:50] 689*2^1443072-1 is not prime. Res64: C60285DEC280D505 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:08:51] 717*2^1443072-1 is not prime. Res64: 17B0D765F4340B9D Time : 0.0 sec. user=mdettweiler [2016-10-17 21:08:51] 723*2^1443072-1 is not prime. Res64: 2D51FDEF0DF0CFF8 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:08:52] 819*2^1443072-1 is not prime. Res64: 222B8D9A34AA0E04 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:08:52] 899*2^1443072-1 is not prime. Res64: 67881B591D1C4EE6 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:19:55] 915*2^1443072-1 is not prime. Res64: 0D216FFF4F4FA039 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:19:56] 609*2^1443073-1 is not prime. Res64: FF6FAE285382D415 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:19:57] 615*2^1443073-1 is not prime. Res64: 538795BC81948C9F Time : 0.0 sec. user=mdettweiler [2016-10-17 21:19:58] 715*2^1443073-1 is not prime. Res64: 6B62D5E079639C91 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:19:59] 721*2^1443073-1 is not prime. Res64: F0E91DF64EF0FE00 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:20:00] 729*2^1443073-1 is not prime. Res64: 05724EDB4AE29550 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:20:03] 741*2^1443073-1 is not prime. Res64: 0CA9BA5384434DFA Time : 0.0 sec. user=mdettweiler [2016-10-17 21:20:03] 847*2^1443073-1 is not prime. Res64: 515F51FC2D696990 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:20:04] 885*2^1443073-1 is not prime. Res64: 53091F183F3D4DA4 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:20:05] 979*2^1443073-1 is not prime. Res64: A1ED24646E39793D Time : 0.0 sec. user=mdettweiler [2016-10-17 21:21:22] 999*2^1443073-1 is not prime. Res64: 2E2EB040D4757A2F Time : 0.0 sec. user=mdettweiler [2016-10-17 21:21:23] 633*2^1443074-1 is not prime. Res64: 97D978D5B232D917 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:21:24] 635*2^1443074-1 is not prime. Res64: A5BC2B5FAEE437C1 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:21:25] 645*2^1443074-1 is not prime. Res64: DD9DC5B198543C7C Time : 0.0 sec. user=mdettweiler [2016-10-17 21:21:26] 701*2^1443074-1 is not prime. Res64: DC9668933EAC9DA1 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:53:30] 945*2^1443074-1 is not prime. Res64: 6E31B1160233953F Time : 0.0 sec. user=mdettweiler [2016-10-17 21:53:30] 609*2^1443075-1 is not prime. Res64: E79A0EFCF151FEB5 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:53:31] 651*2^1443075-1 is not prime. Res64: AAC7931CF2BAD7D1 Time : 0.0 sec. user=mdettweiler [2016-10-17 21:53:32] 823*2^1443075-1 is not prime. Res64: 3BEF2AA4BFF1C59F Time : 0.0 sec. user=mdettweiler [2016-10-17 21:53:32] 885*2^1443075-1 is not prime. Res64: DA4E66CABE6CBDF7 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:51] 969*2^1443075-1 is not prime. Res64: 36E23FF05B0C7062 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:53] 647*2^1443076-1 is not prime. Res64: AC5C27E2F2DB880D Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:54] 657*2^1443076-1 is not prime. Res64: D231CA8172C936AC Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:55] 777*2^1443076-1 is not prime. Res64: D370FA28D0543527 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:56] 695*2^1443076-1 is not prime. Res64: 9FDDF0E1A01CD9FA Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:57] 857*2^1443076-1 is not prime. Res64: 04028B8BA03ACA67 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:57] 743*2^1443076-1 is not prime. Res64: EE9773EA0ECC920B Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:58] 899*2^1443076-1 is not prime. Res64: 51AD6E2E7B1B3FE2 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:04:59] 999*2^1443076-1 is not prime. Res64: 6C12F9A52A673EC0 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:05:00] 649*2^1443077-1 is not prime. Res64: AF1D8B37495852CB Time : 0.0 sec. user=mdettweiler [2016-10-17 22:06:21] 675*2^1443077-1 is not prime. Res64: 2F7B891DB8ABDC7B Time : 0.0 sec. user=mdettweiler [2016-10-17 22:06:21] 729*2^1443077-1 is not prime. Res64: 9BE48E9769714663 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:06:23] 735*2^1443077-1 is not prime. Res64: EF0A63BCB6CDD807 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:06:24] 777*2^1443077-1 is not prime. Res64: 3E8B61EAF925A1D0 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:06:27] 795*2^1443077-1 is not prime. Res64: 5168231814816936 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:38:05] 925*2^1443077-1 is not prime. Res64: 45158FB0130E953F Time : 0.0 sec. user=mdettweiler [2016-10-17 22:38:05] 981*2^1443077-1 is not prime. Res64: 7853C2F742BAF464 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:38:06] 651*2^1443078-1 is not prime. Res64: EB0B55079CCEEC48 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:38:06] 773*2^1443078-1 is not prime. Res64: 1C7694277CC00054 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:38:07] 777*2^1443078-1 is not prime. Res64: 843D5EF4559CA26B Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:37] 893*2^1443078-1 is not prime. Res64: 74C10AB18D6B97EB Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:37] 957*2^1443078-1 is not prime. Res64: E8917C1C887A1540 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:38] 977*2^1443078-1 is not prime. Res64: E494F06800115DC6 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:38] 639*2^1443079-1 is not prime. Res64: 2705E07BC4937E69 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:38] 993*2^1443078-1 is not prime. Res64: D895AF650A7E3E8E Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:39] 729*2^1443079-1 is not prime. Res64: 79D9AD2DC08A9801 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:39] 633*2^1443079-1 is not prime. Res64: 52BE6EBD95D9B226 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:39] 735*2^1443079-1 is not prime. Res64: 9DED352F9E9B47E7 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:40] 811*2^1443079-1 is not prime. Res64: CF815E9725B5785F Time : 0.0 sec. user=mdettweiler [2016-10-17 22:49:40] 859*2^1443079-1 is not prime. Res64: 8F71A5BF11ADAE8F Time : 0.0 sec. user=mdettweiler [2016-10-17 22:51:19] 895*2^1443079-1 is not prime. Res64: 62F7DB73EC34A727 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:51:19] 635*2^1443080-1 is not prime. Res64: FE2854FEA6ECC098 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:51:20] 717*2^1443080-1 is not prime. Res64: 670AA2681B8D339D Time : 0.0 sec. user=mdettweiler [2016-10-17 22:51:20] 795*2^1443080-1 is not prime. Res64: F5975557C38835C5 Time : 0.0 sec. user=mdettweiler [2016-10-17 22:51:21] 855*2^1443080-1 is not prime. Res64: F4308249D20CE015 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:23:09] 977*2^1443080-1 is not prime. Res64: 1FEADD98E4EDAC71 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:23:10] 983*2^1443080-1 is not prime. Res64: B3D0F7A72D4441DE Time : 0.0 sec. user=mdettweiler [2016-10-17 23:23:10] 609*2^1443081-1 is not prime. Res64: EDE6335AB31EAC58 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:23:11] 637*2^1443081-1 is not prime. Res64: DC44DA5DFD32F693 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:23:11] 865*2^1443081-1 is not prime. Res64: 687380B7E36D5B6B Time : 0.0 sec. user=mdettweiler [2016-10-17 23:34:54] 895*2^1443081-1 is not prime. Res64: 459FB08CF308C54A Time : 0.0 sec. user=mdettweiler [2016-10-17 23:34:55] 901*2^1443081-1 is not prime. Res64: 92B1CDB272D8A891 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:34:55] 951*2^1443081-1 is not prime. Res64: 400110570D584140 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:34:56] 603*2^1443082-1 is not prime. Res64: 2D0C8BE01EA78448 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:34:56] 713*2^1443082-1 is not prime. Res64: 5F5FA0AE92454FEA Time : 0.0 sec. user=mdettweiler [2016-10-17 23:35:01] 743*2^1443082-1 is not prime. Res64: A333827C0C0A2CA7 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:35:02] 987*2^1443082-1 is not prime. Res64: D53AD940B1E6A6BA Time : 0.0 sec. user=mdettweiler [2016-10-17 23:35:03] 621*2^1443083-1 is not prime. Res64: D82A205BA0F0EEF0 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:35:03] 669*2^1443083-1 is not prime. Res64: 9A9E3D4B9D737CC5 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:35:04] 789*2^1443083-1 is not prime. Res64: 7E10A3F93300016E Time : 0.0 sec. user=mdettweiler [2016-10-17 23:36:41] 861*2^1443083-1 is not prime. Res64: 84E2DC1C4041EBCE Time : 0.0 sec. user=mdettweiler [2016-10-17 23:36:42] 913*2^1443083-1 is not prime. Res64: ACF445A7A7CF4AFC Time : 0.0 sec. user=mdettweiler [2016-10-17 23:36:42] 939*2^1443083-1 is not prime. Res64: E4532CECACBF0295 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:36:43] 683*2^1443084-1 is not prime. Res64: 20EB8BB04638B674 Time : 0.0 sec. user=mdettweiler [2016-10-17 23:36:43] 689*2^1443084-1 is not prime. Res64: 790D8D0F476592B5 Time : 0.0 sec.