user=mdettweiler [2016-03-23 00:33:01] 743*2^1423970-1 is not prime. Res64: 9410F2FD7538043F Time : 0.0 sec. user=mdettweiler [2016-03-23 00:33:01] 783*2^1423970-1 is not prime. Res64: C744A89F3D66F05C Time : 0.0 sec. user=mdettweiler [2016-03-23 00:33:02] 857*2^1423970-1 is not prime. Res64: 5B3DEE8094F4D3CC Time : 0.0 sec. user=mdettweiler [2016-03-23 00:33:02] 935*2^1423970-1 is not prime. Res64: E5205DFF7841A47D Time : 0.0 sec. user=mdettweiler [2016-03-23 00:33:02] 977*2^1423970-1 is not prime. Res64: BCEEF83FF7A092DB Time : 0.0 sec. user=mdettweiler [2016-03-23 00:34:48] 889*2^1423973-1 is not prime. Res64: 4ABC54ECE82A85DB Time : 0.0 sec. user=mdettweiler [2016-03-23 00:34:51] 879*2^1423973-1 is not prime. Res64: 83E40B6D577F37E0 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:14] 769*2^1423971-1 is not prime. Res64: 7DCCE56DD8F040A9 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:14] 849*2^1423971-1 is not prime. Res64: BEE001D0CBEDB5AE Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:15] 979*2^1423971-1 is not prime. Res64: BB9C314AC38CA672 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:15] 623*2^1423972-1 is not prime. Res64: D9A424F233D8AF24 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:15] 665*2^1423972-1 is not prime. Res64: 18BE8D0DD7EACFFE Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:21] 863*2^1423972-1 is not prime. Res64: 6781C706FFCE64AD Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:21] 939*2^1423972-1 is not prime. Res64: 89D95594977138E2 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:22] 965*2^1423972-1 is not prime. Res64: BFB783CA21BC46FC Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:22] 983*2^1423972-1 is not prime. Res64: 6230CFB90F380F7C Time : 0.0 sec. user=mdettweiler [2016-03-23 00:38:23] 607*2^1423973-1 is not prime. Res64: EB20CDAF99225AA6 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:39:56] 621*2^1423973-1 is not prime. Res64: F7045F208E4BC8A4 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:39:56] 657*2^1423973-1 is not prime. Res64: 7693870A1F85BDA7 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:39:57] 781*2^1423973-1 is not prime. Res64: 05A4495B9FB1F69F Time : 0.0 sec. user=mdettweiler [2016-03-23 00:39:57] 789*2^1423973-1 is not prime. Res64: 94079399E99C0CA5 Time : 0.0 sec. user=mdettweiler [2016-03-23 00:39:57] 855*2^1423973-1 is not prime. Res64: 5DA995E6F4D916DC Time : 0.0 sec. user=mdettweiler [2016-03-23 01:19:51] 915*2^1423973-1 is not prime. Res64: FB17A7F14B923C13 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:19:52] 951*2^1423973-1 is not prime. Res64: B1FB141B299042D3 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:19:52] 671*2^1423974-1 is not prime. Res64: F004D8014D0A8B35 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:19:53] 681*2^1423974-1 is not prime. Res64: 25EF7FA500C791B0 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:19:53] 723*2^1423974-1 is not prime. Res64: A5F416ABBB6DEF74 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:05] 625*2^1423975-1 is not prime. Res64: 1BDEB09201BB0E91 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:06] 793*2^1423975-1 is not prime. Res64: 136F148794357330 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:06] 731*2^1423974-1 is not prime. Res64: 3885DD5E783E4DC8 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:06] 885*2^1423975-1 is not prime. Res64: D2E2F0E4AAD471EB Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:07] 755*2^1423974-1 is not prime. Res64: EA8EABD1DABFA7ED Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:07] 629*2^1423976-1 is not prime. Res64: FD2E77CF19219DE6 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:07] 885*2^1423974-1 is not prime. Res64: A96467D0110D8C64 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:08] 633*2^1423976-1 is not prime. Res64: D854D8487A2B29BE Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:08] 893*2^1423974-1 is not prime. Res64: 5DF7C8899FCA6081 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:25:09] 975*2^1423974-1 is not prime. Res64: 8E0A75BBF480662A Time : 0.0 sec. user=mdettweiler [2016-03-23 01:26:53] 785*2^1423976-1 is not prime. Res64: E42786A1870B72B3 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:26:55] 845*2^1423976-1 is not prime. Res64: D5B397808EB7B950 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:26:55] 857*2^1423976-1 is not prime. Res64: 6921E2064D532768 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:26:56] 869*2^1423976-1 is not prime. Res64: 19603DB3B8105D6A Time : 0.0 sec. user=mdettweiler [2016-03-23 01:26:57] 899*2^1423976-1 is not prime. Res64: 559C5051F7FF2046 Time : 0.0 sec. user=mdettweiler [2016-03-23 01:47:19] 783*2^1423980-1 is not prime. Res64: 5AD4C5F16672E918 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:05:04] 975*2^1423977-1 is not prime. Res64: 65335572B33E79D1 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:05:07] 621*2^1423978-1 is not prime. Res64: 7B983BBBE850E339 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:05:09] 647*2^1423978-1 is not prime. Res64: CEF5F345C6E8FE03 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:05:11] 677*2^1423978-1 is not prime. Res64: 53339321EF543662 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:05:12] 713*2^1423978-1 is not prime. Res64: B873A5CADF58E052 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:14] 827*2^1423978-1 is not prime. Res64: FD3542F5039F051D Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:15] 891*2^1423978-1 is not prime. Res64: CECC1A4340252BAE Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:15] 799*2^1423979-1 is not prime. Res64: 9488E3228669A566 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:15] 945*2^1423978-1 is not prime. Res64: 46A5B7896459D13E Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:16] 859*2^1423979-1 is not prime. Res64: DE5938A9D883216D Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:16] 951*2^1423978-1 is not prime. Res64: 29598FDF959EEFC5 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:16] 879*2^1423979-1 is not prime. Res64: 9247F0CFA63EF28B Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:16] 995*2^1423978-1 is not prime. Res64: 2DEFA5F432F96546 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:17] 939*2^1423979-1 is not prime. Res64: 03190574FEA7A6EC Time : 0.0 sec. user=mdettweiler [2016-03-23 02:10:17] 999*2^1423979-1 is not prime. Res64: 9DF351195CF34FCA Time : 0.0 sec. user=mdettweiler [2016-03-23 02:12:18] 635*2^1423980-1 is not prime. Res64: 5A19680BEF783C7A Time : 0.0 sec. user=mdettweiler [2016-03-23 02:12:18] 699*2^1423980-1 is not prime. Res64: 0EB36DFFFACA19A4 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:12:19] 707*2^1423980-1 is not prime. Res64: A82037B26FACCE78 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:12:19] 759*2^1423980-1 is not prime. Res64: 97514F2DC2990A81 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:12:20] 777*2^1423980-1 is not prime. Res64: 19E872868E2D974D Time : 0.0 sec. user=mdettweiler [2016-03-23 02:21:17] 619*2^1423985-1 is not prime. Res64: 3E8D26854F45710E Time : 0.0 sec. user=mdettweiler [2016-03-23 02:51:14] 845*2^1423980-1 is not prime. Res64: 00FFC0214D69E31A Time : 0.0 sec. user=mdettweiler [2016-03-23 02:51:15] 601*2^1423981-1 is not prime. Res64: EE2FFEF10E1E26F7 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:51:15] 615*2^1423981-1 is not prime. Res64: 0FC3A8A80AA139AB Time : 0.0 sec. user=mdettweiler [2016-03-23 02:51:15] 745*2^1423981-1 is not prime. Res64: 15C7DC9FAAB55998 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:51:15] 801*2^1423981-1 is not prime. Res64: 3185704D3033DD32 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:22] 747*2^1423982-1 is not prime. Res64: 9687BF71F6422217 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:22] 825*2^1423982-1 is not prime. Res64: C32417DABDB983F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:22] 921*2^1423982-1 is not prime. Res64: C25C4E461C77C02E Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:23] 957*2^1423982-1 is not prime. Res64: 2234F5C402045BA8 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:23] 977*2^1423982-1 is not prime. Res64: 4C22126F8F6365CE Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:58] 663*2^1423983-1 is not prime. Res64: 01223C72B7B5A546 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:58] 789*2^1423983-1 is not prime. Res64: 4BB5BC549E232EDA Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:59] 825*2^1423983-1 is not prime. Res64: 5F2B0F5C8111D3F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:59] 635*2^1423984-1 is not prime. Res64: 93EC736F06AB2219 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:56:59] 639*2^1423984-1 is not prime. Res64: 587BB447D4C5C9C1 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:58:51] 687*2^1423984-1 is not prime. Res64: FBBB3AEA9ADBCD24 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:58:51] 875*2^1423984-1 is not prime. Res64: 1C840B927B28C46B Time : 0.0 sec. user=mdettweiler [2016-03-23 02:58:52] 905*2^1423984-1 is not prime. Res64: 5AC486F262A95B9E Time : 0.0 sec. user=mdettweiler [2016-03-23 02:58:52] 915*2^1423984-1 is not prime. Res64: 0D0D5B2042D12E01 Time : 0.0 sec. user=mdettweiler [2016-03-23 02:58:52] 927*2^1423984-1 is not prime. Res64: AB2C80B8B7141B3A Time : 0.0 sec. user=mdettweiler [2016-03-23 03:25:50] 819*2^1423988-1 is not prime. Res64: FFF3DECBDF89E221 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:36:45] 705*2^1423985-1 is not prime. Res64: 0F141A7F770436EE Time : 0.0 sec. user=mdettweiler [2016-03-23 03:36:46] 775*2^1423985-1 is not prime. Res64: D3A2D45FA4DAA469 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:36:47] 841*2^1423985-1 is not prime. Res64: F61F09E0D9BE7CC7 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:36:47] 847*2^1423985-1 is not prime. Res64: F06C15985945A471 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:36:48] 861*2^1423985-1 is not prime. Res64: E0B82590DF2F860D Time : 0.0 sec. user=mdettweiler [2016-03-23 03:41:25] 909*2^1423985-1 is not prime. Res64: F4BCBDAF25ACA3C6 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:41:28] 633*2^1423986-1 is not prime. Res64: 2FCAB8DA6692FF22 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:41:29] 671*2^1423986-1 is not prime. Res64: 3C51C660810F8F2A Time : 0.0 sec. user=mdettweiler [2016-03-23 03:41:30] 767*2^1423986-1 is not prime. Res64: 06E96BF187E04B9D Time : 0.0 sec. user=mdettweiler [2016-03-23 03:41:31] 807*2^1423986-1 is not prime. Res64: 7E896D87E9C55C5D Time : 0.0 sec. user=mdettweiler [2016-03-23 03:42:12] 941*2^1423986-1 is not prime. Res64: E3B46798A30C8E8E Time : 0.0 sec. user=mdettweiler [2016-03-23 03:42:13] 619*2^1423987-1 is not prime. Res64: 3FD25E7CD47F51C1 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:42:16] 793*2^1423987-1 is not prime. Res64: 951511F67AF7A61B Time : 0.0 sec. user=mdettweiler [2016-03-23 03:42:17] 843*2^1423987-1 is not prime. Res64: CC4BBEC7E48A6024 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:42:20] 861*2^1423987-1 is not prime. Res64: 10099B32800D4BC3 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:44:07] 919*2^1423987-1 is not prime. Res64: 82B575F570238003 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:44:09] 945*2^1423987-1 is not prime. Res64: A29E93FDE518CB42 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:44:11] 677*2^1423988-1 is not prime. Res64: C5B84AAE3553AE41 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:44:12] 743*2^1423988-1 is not prime. Res64: 6BA596C035921E07 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:44:14] 797*2^1423988-1 is not prime. Res64: 79B5D4C361CFCADF Time : 0.0 sec. user=mdettweiler [2016-03-23 03:50:39] 911*2^1423990-1 is not prime. Res64: C4515ACCE3990065 Time : 0.0 sec. user=mdettweiler [2016-03-23 03:51:10] 719*2^1423992-1 is not prime. Res64: 860544C3EBFA7807 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:07:57] 873*2^1423992-1 is not prime. Res64: 7B2A04F8C9A2E220 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:22:06] 879*2^1423988-1 is not prime. Res64: D1335F369CB7B539 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:22:06] 627*2^1423989-1 is not prime. Res64: F1D3158892EC056B Time : 0.0 sec. user=mdettweiler [2016-03-23 04:22:07] 639*2^1423989-1 is not prime. Res64: BB73BD3053606EFE Time : 0.0 sec. user=mdettweiler [2016-03-23 04:22:08] 661*2^1423989-1 is not prime. Res64: C4AD18E18A143864 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:22:08] 685*2^1423989-1 is not prime. Res64: B7035E08BCDB1129 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:26:39] 831*2^1423989-1 is not prime. Res64: 6E6FF90FCC091567 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:26:39] 955*2^1423989-1 is not prime. Res64: B1225D9B8A5C4BB4 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:26:40] 961*2^1423989-1 is not prime. Res64: F2D64E745891FF06 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:26:40] 783*2^1423990-1 is not prime. Res64: 9C414911D92F9902 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:26:41] 785*2^1423990-1 is not prime. Res64: 6580B34FAE5EF32B Time : 0.0 sec. user=mdettweiler [2016-03-23 04:27:35] 951*2^1423990-1 is not prime. Res64: DF74E46240326604 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:27:35] 711*2^1423991-1 is not prime. Res64: D39BE9BFC54CC3C9 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:27:35] 889*2^1423991-1 is not prime. Res64: A54E9A119582E645 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:27:36] 635*2^1423992-1 is not prime. Res64: D6CD77B41F16F36C Time : 0.0 sec. user=mdettweiler [2016-03-23 04:27:36] 669*2^1423992-1 is not prime. Res64: B2FA8B4238C7A2F6 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:29:21] 759*2^1423992-1 is not prime. Res64: 28B4838A89302FFC Time : 0.0 sec. user=mdettweiler [2016-03-23 04:29:22] 797*2^1423992-1 is not prime. Res64: DD729E3BBDED6FEC Time : 0.0 sec. user=mdettweiler [2016-03-23 04:29:22] 803*2^1423992-1 is not prime. Res64: 7DB0172176BFE813 Time : 0.0 sec. user=mdettweiler [2016-03-23 04:29:22] 815*2^1423992-1 is not prime. Res64: 41BE5D9CBF3E8DDD Time : 0.0 sec. user=mdettweiler [2016-03-23 04:29:23] 849*2^1423992-1 is not prime. Res64: CAC11088BBCD0B66 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:07:14] 923*2^1423992-1 is not prime. Res64: BB263212300301C0 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:07:14] 933*2^1423992-1 is not prime. Res64: 4E875A38F4159B32 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:07:15] 649*2^1423993-1 is not prime. Res64: 8CB0BB8819D1CAA4 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:07:15] 699*2^1423993-1 is not prime. Res64: CFA0D5A6DCB34947 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:07:16] 847*2^1423993-1 is not prime. Res64: 2CEFFF2661F21D2B Time : 0.0 sec. user=mdettweiler [2016-03-23 05:11:58] 867*2^1423993-1 is not prime. Res64: A79E74FC0B0DD54F Time : 0.0 sec. user=mdettweiler [2016-03-23 05:11:58] 889*2^1423993-1 is not prime. Res64: 6CEB865B8AFB74AB Time : 0.0 sec. user=mdettweiler [2016-03-23 05:11:59] 937*2^1423993-1 is not prime. Res64: BBF18E7EA0165274 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:11:59] 623*2^1423994-1 is not prime. Res64: 8D0A721DD2A783B3 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:00] 633*2^1423994-1 is not prime. Res64: E26301E51C7778E7 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:38] 675*2^1423994-1 is not prime. Res64: 7E3A97CCEE826207 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:38] 711*2^1423994-1 is not prime. Res64: 1FCB606EDDDA20C8 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:38] 767*2^1423994-1 is not prime. Res64: B0934BBCD2099AEF Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:39] 813*2^1423994-1 is not prime. Res64: 74D92BAE5942A670 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:12:39] 861*2^1423994-1 is not prime. Res64: F63E5B3FC46577E9 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:14:33] 981*2^1423994-1 is not prime. Res64: EA7AD3FAF51158BC Time : 0.0 sec. user=mdettweiler [2016-03-23 05:14:33] 639*2^1423995-1 is not prime. Res64: C342F688F25AA95A Time : 0.0 sec. user=mdettweiler [2016-03-23 05:14:34] 735*2^1423995-1 is not prime. Res64: 9296484A5BF25106 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:14:34] 783*2^1423995-1 is not prime. Res64: 05B7DC410903EAAC Time : 0.0 sec. user=mdettweiler [2016-03-23 05:14:35] 829*2^1423995-1 is not prime. Res64: 672DFFA9F3C8831D Time : 0.0 sec. user=mdettweiler [2016-03-23 05:52:32] 963*2^1423995-1 is not prime. Res64: B611A053FC2ACA51 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:52:33] 663*2^1423996-1 is not prime. Res64: 1E32977418C06F45 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:52:33] 695*2^1423996-1 is not prime. Res64: 4367924F0D03DEA3 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:52:33] 735*2^1423996-1 is not prime. Res64: B82FFCC5C0962740 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:52:34] 743*2^1423996-1 is not prime. Res64: 8FE5B6E53B285AE3 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:15] 749*2^1423996-1 is not prime. Res64: 8CBFF8C161C80D66 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:16] 833*2^1423996-1 is not prime. Res64: 4A362AE4B001EADF Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:16] 933*2^1423996-1 is not prime. Res64: 10AFF473D229832C Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:17] 969*2^1423996-1 is not prime. Res64: D514E60DDA9F8445 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:17] 675*2^1423997-1 is not prime. Res64: 03101A1DBB8AD373 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:57:59] 685*2^1423997-1 is not prime. Res64: 6AF13A93B4896E59 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:58:00] 727*2^1423997-1 is not prime. Res64: 6A787D3A9B937D3E Time : 0.0 sec. user=mdettweiler [2016-03-23 05:58:00] 757*2^1423997-1 is not prime. Res64: 0E7A09250283B5E5 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:58:00] 771*2^1423997-1 is not prime. Res64: 2A7AE1BDB755BF48 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:58:01] 799*2^1423997-1 is not prime. Res64: DA629AB23027E667 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:59:44] 825*2^1423997-1 is not prime. Res64: 8E7CEE6474F45549 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:59:44] 635*2^1423998-1 is not prime. Res64: 644558FF5EC4B0A2 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:59:45] 725*2^1423998-1 is not prime. Res64: D4E25722000A4A44 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:59:45] 797*2^1423998-1 is not prime. Res64: 01126282521C2589 Time : 0.0 sec. user=mdettweiler [2016-03-23 05:59:45] 815*2^1423998-1 is not prime. Res64: 0EA654D266DFC42A Time : 0.0 sec. user=mdettweiler [2016-03-23 06:38:07] 601*2^1423999-1 is not prime. Res64: AA0D6AEEB82A9715 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:38:07] 615*2^1423999-1 is not prime. Res64: DCEE9E21E848D8F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:38:08] 633*2^1423999-1 is not prime. Res64: FFFF8AFEE87A56D5 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:38:08] 661*2^1423999-1 is not prime. Res64: 18F3E3274FF06190 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:38:08] 663*2^1423999-1 is not prime. Res64: 5A4B2614EB3ED6B4 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:42:23] 775*2^1423999-1 is not prime. Res64: B7ACC924B137081F Time : 0.0 sec. user=mdettweiler [2016-03-23 06:42:24] 873*2^1423999-1 is not prime. Res64: 7178C00E8F4BDD97 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:42:24] 951*2^1423999-1 is not prime. Res64: 37020BDB15BB10A1 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:42:24] 969*2^1423999-1 is not prime. Res64: EA9BADAF9512AC52 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:42:25] 999*2^1423999-1 is not prime. Res64: 858EF2B185FB7983 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:43:09] 605*2^1424000-1 is not prime. Res64: 4208ACDB9ED2C6B1 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:43:09] 735*2^1424000-1 is not prime. Res64: 9C1A9411858945BF Time : 0.0 sec. user=mdettweiler [2016-03-23 06:43:10] 855*2^1424000-1 is not prime. Res64: EE9A19416E4B558D Time : 0.0 sec. user=mdettweiler [2016-03-23 06:43:10] 875*2^1424000-1 is not prime. Res64: 438D3BCA45C66F5E Time : 0.0 sec. user=mdettweiler [2016-03-23 06:43:11] 909*2^1424000-1 is not prime. Res64: 8079C806B2A85FAF Time : 0.0 sec. user=mdettweiler [2016-03-23 06:44:48] 927*2^1424000-1 is not prime. Res64: 768EAB7E546EA572 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:44:48] 945*2^1424000-1 is not prime. Res64: BE8FAF265E2D5A2B Time : 0.0 sec. user=mdettweiler [2016-03-23 06:44:49] 805*2^1424001-1 is not prime. Res64: A474B9378E0A9460 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:44:49] 835*2^1424001-1 is not prime. Res64: 2F6603D7F68A1D84 Time : 0.0 sec. user=mdettweiler [2016-03-23 06:44:49] 871*2^1424001-1 is not prime. Res64: 7F418B0BBB302412 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:08] 801*2^1424005-1 is not prime. Res64: 5AFAE6F9F31159C1 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:11] 921*2^1424001-1 is not prime. Res64: 687D818C071A4A91 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:12] 979*2^1424001-1 is not prime. Res64: DC87EF486F225434 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:12] 623*2^1424002-1 is not prime. Res64: 2FF0502DC98CCBDF Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:13] 635*2^1424002-1 is not prime. Res64: C95D8779C4A089FA Time : 0.0 sec. user=mdettweiler [2016-03-23 07:23:13] 653*2^1424002-1 is not prime. Res64: B9B6527DEA7E3B02 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:27:40] 717*2^1424002-1 is not prime. Res64: F024558C794B8D06 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:27:40] 825*2^1424002-1 is not prime. Res64: 7074EA5FECA2B14A Time : 0.0 sec. user=mdettweiler [2016-03-23 07:27:40] 917*2^1424002-1 is not prime. Res64: 91E4BF79CDAC1F0D Time : 0.0 sec. user=mdettweiler [2016-03-23 07:27:41] 945*2^1424002-1 is not prime. Res64: E8A5E93CC863DA20 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:27:41] 633*2^1424003-1 is not prime. Res64: 400495D8641D7040 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:28:17] 685*2^1424003-1 is not prime. Res64: 611D677C8BAD9996 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:28:17] 735*2^1424003-1 is not prime. Res64: 3B01FEC4E61F1E54 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:28:18] 759*2^1424003-1 is not prime. Res64: FAE6EE74EB0F2448 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:28:18] 775*2^1424003-1 is not prime. Res64: EEAB516E622430CB Time : 0.0 sec. user=mdettweiler [2016-03-23 07:28:19] 783*2^1424003-1 is not prime. Res64: D7769F851A3A1667 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:29:55] 629*2^1424004-1 is not prime. Res64: 991150F34B096FC2 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:29:55] 863*2^1424004-1 is not prime. Res64: 9A3EB23604114BD2 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:29:56] 959*2^1424004-1 is not prime. Res64: 961528513E14CE89 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:29:56] 609*2^1424005-1 is not prime. Res64: 0F9DC76A161664C9 Time : 0.0 sec. user=mdettweiler [2016-03-23 07:29:56] 625*2^1424005-1 is not prime. Res64: A23BCAF614AB0B44 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:08:17] 743*2^1424006-1 is not prime. Res64: 5E021EF29D66B0FA Time : 0.0 sec. user=mdettweiler [2016-03-23 08:08:18] 785*2^1424006-1 is not prime. Res64: 5E2DF3DCA7225DE9 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:08:18] 827*2^1424006-1 is not prime. Res64: AAB100657FC94A86 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:08:19] 873*2^1424006-1 is not prime. Res64: 6F89999959C1ADD8 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:08:19] 917*2^1424006-1 is not prime. Res64: 3F156AE862F4FFBB Time : 0.0 sec. user=mdettweiler [2016-03-23 08:12:50] 651*2^1424007-1 is not prime. Res64: E5175F6B425AFB3F Time : 0.0 sec. user=mdettweiler [2016-03-23 08:12:51] 691*2^1424007-1 is not prime. Res64: 535880D664FB10C1 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:12:52] 703*2^1424007-1 is not prime. Res64: 4C866767729B1755 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:12:53] 793*2^1424007-1 is not prime. Res64: ADC8A42757EB2B08 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:12:54] 819*2^1424007-1 is not prime. Res64: F1E048D4B9711DED Time : 0.0 sec. user=mdettweiler [2016-03-23 08:13:22] 871*2^1424007-1 is not prime. Res64: F7438DC1B3EA476F Time : 0.0 sec. user=mdettweiler [2016-03-23 08:13:22] 933*2^1424007-1 is not prime. Res64: 789EC15E3DF6F805 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:13:23] 973*2^1424007-1 is not prime. Res64: 112A851734D7974E Time : 0.0 sec. user=mdettweiler [2016-03-23 08:13:24] 979*2^1424007-1 is not prime. Res64: 648CF48037923555 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:13:24] 707*2^1424008-1 is not prime. Res64: 533C29BB3C6BBCEC Time : 0.0 sec. user=mdettweiler [2016-03-23 08:15:00] 743*2^1424008-1 is not prime. Res64: 2FF733CFB28EEB24 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:15:01] 777*2^1424008-1 is not prime. Res64: C355BE1E6D3A2F4D Time : 0.0 sec. user=mdettweiler [2016-03-23 08:15:02] 797*2^1424008-1 is not prime. Res64: 035EAF0409EB8A81 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:15:02] 615*2^1424009-1 is not prime. Res64: CF0A27BDA0FA8394 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:15:03] 631*2^1424009-1 is not prime. Res64: ED44B73B6D19E8A8 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:53:39] 675*2^1424009-1 is not prime. Res64: 04D4D2FC886845D4 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:53:40] 685*2^1424009-1 is not prime. Res64: 8DA5B59BFA7EEC84 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:53:40] 697*2^1424009-1 is not prime. Res64: 6C9623CE10865CDF Time : 0.0 sec. user=mdettweiler [2016-03-23 08:53:40] 741*2^1424009-1 is not prime. Res64: 259400712BFF590E Time : 0.0 sec. user=mdettweiler [2016-03-23 08:53:41] 855*2^1424009-1 is not prime. Res64: 2C3C20B15CF11A97 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:02] 681*2^1424010-1 is not prime. Res64: C8FD7FCA1CB72D14 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:03] 717*2^1424010-1 is not prime. Res64: 675513E86D4A0C37 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:03] 725*2^1424010-1 is not prime. Res64: 86234E17C86D0F62 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:04] 741*2^1424010-1 is not prime. Res64: 856DF3AF1A2998DD Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:04] 797*2^1424010-1 is not prime. Res64: 823FE4FC8A355695 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:28] 825*2^1424010-1 is not prime. Res64: D6A583A9FE85BDEF Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:28] 833*2^1424010-1 is not prime. Res64: 4607A2B80FFD2797 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:28] 921*2^1424010-1 is not prime. Res64: E2F62625FE2DE3A2 Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:29] 933*2^1424010-1 is not prime. Res64: 05560F8F13AB29CC Time : 0.0 sec. user=mdettweiler [2016-03-23 08:58:29] 941*2^1424010-1 is not prime. Res64: 7A0A6DB739339A31 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:00:09] 945*2^1424010-1 is not prime. Res64: 71CE28143DDF676E Time : 0.0 sec. user=mdettweiler [2016-03-23 09:00:10] 951*2^1424010-1 is not prime. Res64: 02CD8EC96190F3E5 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:00:11] 645*2^1424011-1 is not prime. Res64: AF45D1C09C40584A Time : 0.0 sec. user=mdettweiler [2016-03-23 09:00:11] 741*2^1424011-1 is not prime. Res64: 76C310CFD55F7304 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:00:11] 793*2^1424011-1 is not prime. Res64: 84A3F502202C332F Time : 0.0 sec. user=mdettweiler [2016-03-23 09:38:53] 889*2^1424011-1 is not prime. Res64: A83EF3D97C977B5A Time : 0.0 sec. user=mdettweiler [2016-03-23 09:38:53] 931*2^1424011-1 is not prime. Res64: 29D4B888D1F06A36 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:38:54] 973*2^1424011-1 is not prime. Res64: 57123E0DF8E541F4 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:38:54] 993*2^1424011-1 is not prime. Res64: C047EBC86F72AA11 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:38:54] 629*2^1424012-1 is not prime. Res64: 65CA58317FF8E6F0 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:27] 749*2^1424012-1 is not prime. Res64: 2DBBD986068AC1E6 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:27] 827*2^1424012-1 is not prime. Res64: 41B8B87E13BC418C Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:28] 923*2^1424012-1 is not prime. Res64: D4387596CE360EA6 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:28] 929*2^1424012-1 is not prime. Res64: B3228F731AA8B38F Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:29] 987*2^1424012-1 is not prime. Res64: C5A949E80F028F0C Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:57] 607*2^1424013-1 is not prime. Res64: CABD3DB872919C27 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:57] 877*2^1424013-1 is not prime. Res64: ED898F42008B80ED Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:58] 961*2^1424013-1 is not prime. Res64: FAE9DD892CCCB732 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:58] 991*2^1424013-1 is not prime. Res64: B1F0DB848BB2735B Time : 0.0 sec. user=mdettweiler [2016-03-23 09:43:58] 999*2^1424013-1 is not prime. Res64: D2023DD4FAF0F7F8 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:45:23] 695*2^1424014-1 is not prime. Res64: 9481B1279C5EFBF0 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:45:24] 887*2^1424014-1 is not prime. Res64: EB34CF17CCA097CF Time : 0.0 sec. user=mdettweiler [2016-03-23 09:45:24] 957*2^1424014-1 is not prime. Res64: 302670DE11CC5333 Time : 0.0 sec. user=mdettweiler [2016-03-23 09:45:24] 1001*2^1424014-1 is not prime. Res64: 7D1F8D6E8237090B Time : 0.0 sec. user=mdettweiler [2016-03-23 09:45:25] 661*2^1424015-1 is not prime. Res64: 70DBBCFE8A411950 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:24:16] 855*2^1424015-1 is not prime. Res64: 5A59C51FFC409007 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:24:17] 883*2^1424015-1 is not prime. Res64: 15ABEC53E5A4FD50 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:24:17] 969*2^1424015-1 is not prime. Res64: 21455127D52F9508 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:24:18] 629*2^1424016-1 is not prime. Res64: C9DED05F5CDF8FA9 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:24:18] 689*2^1424016-1 is not prime. Res64: D39F66B9035AC9DC Time : 0.0 sec. user=mdettweiler [2016-03-23 10:28:46] 725*2^1424016-1 is not prime. Res64: F2A59D7F213E0F04 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:28:46] 735*2^1424016-1 is not prime. Res64: F70A9DCF3C28F12E Time : 0.0 sec. user=mdettweiler [2016-03-23 10:28:46] 905*2^1424016-1 is not prime. Res64: 22886C0CFBF9A6C3 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:28:47] 927*2^1424016-1 is not prime. Res64: DBDF4F6414463EEB Time : 0.0 sec. user=mdettweiler [2016-03-23 10:28:47] 993*2^1424016-1 is not prime. Res64: B405311B8963CCD5 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:29:29] 625*2^1424017-1 is not prime. Res64: 16F6972258B60853 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:29:30] 667*2^1424017-1 is not prime. Res64: F56014A2EE39F423 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:29:30] 691*2^1424017-1 is not prime. Res64: 32474B90C907B8BE Time : 0.0 sec. user=mdettweiler [2016-03-23 10:29:31] 699*2^1424017-1 is not prime. Res64: 667CE9A6A17BC06C Time : 0.0 sec. user=mdettweiler [2016-03-23 10:29:31] 741*2^1424017-1 is not prime. Res64: 05C322570B74E280 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:31:03] 829*2^1424017-1 is not prime. Res64: AC4A18692AAEFDF2 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:31:03] 847*2^1424017-1 is not prime. Res64: 9CF20F5FEC29AF18 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:31:04] 885*2^1424017-1 is not prime. Res64: 7358543DD6B4D148 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:31:04] 901*2^1424017-1 is not prime. Res64: D404CAFCBA778AF4 Time : 0.0 sec. user=mdettweiler [2016-03-23 10:31:04] 931*2^1424017-1 is not prime. Res64: 3925E1D20097D8D4 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:09:39] 633*2^1424018-1 is not prime. Res64: BC21AE0FB595B789 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:09:40] 791*2^1424018-1 is not prime. Res64: 0C338DBD24BF0C62 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:09:41] 827*2^1424018-1 is not prime. Res64: BD29BF317BE06984 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:09:42] 941*2^1424018-1 is not prime. Res64: A94AEB33BB202321 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:09:42] 663*2^1424019-1 is not prime. Res64: 816476CFAD18D63F Time : 0.0 sec. user=mdettweiler [2016-03-23 11:13:55] 675*2^1424019-1 is not prime. Res64: DB5988C4485A6BBC Time : 0.0 sec. user=mdettweiler [2016-03-23 11:13:56] 801*2^1424019-1 is not prime. Res64: 8F9BD2B65753DDED Time : 0.0 sec. user=mdettweiler [2016-03-23 11:13:56] 647*2^1424020-1 is not prime. Res64: 8F34B663D0DF6BBD Time : 0.0 sec. user=mdettweiler [2016-03-23 11:13:56] 693*2^1424020-1 is not prime. Res64: 3E5882FAAF2D0814 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:13:57] 845*2^1424020-1 is not prime. Res64: 03CE79F1661DF3D9 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:15:04] 855*2^1424020-1 is not prime. Res64: FADC83CF1DF3203F Time : 0.0 sec. user=mdettweiler [2016-03-23 11:15:04] 875*2^1424020-1 is not prime. Res64: 0552501A14899C46 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:15:05] 885*2^1424020-1 is not prime. Res64: AFC8A8830FA2EF10 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:15:05] 607*2^1424021-1 is not prime. Res64: 306DDAA11AC2C6FD Time : 0.0 sec. user=mdettweiler [2016-03-23 11:15:06] 621*2^1424021-1 is not prime. Res64: 8E59D8835C071EB0 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:16:22] 859*2^1424021-1 is not prime. Res64: FF270FA2F7DF543E Time : 0.0 sec. user=mdettweiler [2016-03-23 11:16:22] 931*2^1424021-1 is not prime. Res64: 3BA381FADF408EC8 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:16:22] 635*2^1424022-1 is not prime. Res64: 3DB8F926FFBEF182 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:16:23] 815*2^1424022-1 is not prime. Res64: F3AC63D1939D3767 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:16:23] 873*2^1424022-1 is not prime. Res64: 85BA753B5C886AAB Time : 0.0 sec. user=mdettweiler [2016-03-23 11:55:40] 951*2^1424022-1 is not prime. Res64: 1D9B4E30BD28F703 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:55:40] 649*2^1424023-1 is not prime. Res64: C430E441A35F37CB Time : 0.0 sec. user=mdettweiler [2016-03-23 11:55:41] 675*2^1424023-1 is not prime. Res64: 91ECA891F6B5FA47 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:55:41] 679*2^1424023-1 is not prime. Res64: 96584825665BA56B Time : 0.0 sec. user=mdettweiler [2016-03-23 11:55:41] 685*2^1424023-1 is not prime. Res64: 5C04617EE89D5E5F Time : 0.0 sec. user=mdettweiler [2016-03-23 11:59:44] 763*2^1424023-1 is not prime. Res64: 1A51D5F44B376F08 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:59:44] 859*2^1424023-1 is not prime. Res64: EAD3FE0AA82EA9CC Time : 0.0 sec. user=mdettweiler [2016-03-23 11:59:45] 883*2^1424023-1 is not prime. Res64: 3377088B76CFAFD2 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:59:45] 933*2^1424023-1 is not prime. Res64: C6EB96B8418F03B7 Time : 0.0 sec. user=mdettweiler [2016-03-23 11:59:45] 985*2^1424023-1 is not prime. Res64: A60E6697B5C83D59 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:01:06] 665*2^1424024-1 is not prime. Res64: 8DEE3AC5B23E3BB3 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:01:07] 825*2^1424024-1 is not prime. Res64: 1F8AA8245C7B772C Time : 0.0 sec. user=mdettweiler [2016-03-23 12:01:08] 927*2^1424024-1 is not prime. Res64: D3F2DFFBA3843996 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:01:09] 601*2^1424025-1 is not prime. Res64: 46FA162AE4761878 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:01:10] 751*2^1424025-1 is not prime. Res64: D513DADE06CD1ED1 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:02:38] 765*2^1424025-1 is not prime. Res64: E07358F01A7C3B31 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:02:39] 789*2^1424025-1 is not prime. Res64: 07358D9F5BC8D11B Time : 0.0 sec. user=mdettweiler [2016-03-23 12:02:40] 819*2^1424025-1 is not prime. Res64: 1BA7876A1D7386DB Time : 0.0 sec. user=mdettweiler [2016-03-23 12:02:41] 915*2^1424025-1 is not prime. Res64: 1D88D94F501CB907 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:02:42] 919*2^1424025-1 is not prime. Res64: B615936C6331E7BF Time : 0.0 sec. user=mdettweiler [2016-03-23 12:40:36] 951*2^1424025-1 is not prime. Res64: 79A949CF2EF4F34B Time : 0.0 sec. user=mdettweiler [2016-03-23 12:40:36] 657*2^1424026-1 is not prime. Res64: B2D5B9E78C2B8CB3 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:40:37] 705*2^1424026-1 is not prime. Res64: 12F7D0E25F545D33 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:40:37] 741*2^1424026-1 is not prime. Res64: 72B2430ACA11A3BC Time : 0.0 sec. user=mdettweiler [2016-03-23 12:40:37] 777*2^1424026-1 is not prime. Res64: 7B09DBA19C88B93A Time : 0.0 sec. user=mdettweiler [2016-03-23 12:44:57] 801*2^1424026-1 is not prime. Res64: BAC9D75377BD255C Time : 0.0 sec. user=mdettweiler [2016-03-23 12:44:57] 857*2^1424026-1 is not prime. Res64: 8D46B9551031C566 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:44:58] 923*2^1424026-1 is not prime. Res64: 22DDEB2185E8156E Time : 0.0 sec. user=mdettweiler [2016-03-23 12:44:58] 987*2^1424026-1 is not prime. Res64: 79F477DF12F8B319 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:44:59] 619*2^1424027-1 is not prime. Res64: B0E4D926D9FA3BA2 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:46:10] 759*2^1424027-1 is not prime. Res64: 2BE4861098F5A120 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:46:10] 813*2^1424027-1 is not prime. Res64: 3471B646B3498A5B Time : 0.0 sec. user=mdettweiler [2016-03-23 12:46:11] 909*2^1424027-1 is not prime. Res64: 3AE500F4564DE612 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:46:11] 979*2^1424027-1 is not prime. Res64: 20C6CFE9976DDBC4 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:46:12] 993*2^1424027-1 is not prime. Res64: E5BC915661F72BCE Time : 0.0 sec. user=mdettweiler [2016-03-23 12:47:47] 999*2^1424027-1 is not prime. Res64: 972A936188F46354 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:47:47] 695*2^1424028-1 is not prime. Res64: 78A0F629625A8ED5 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:47:48] 705*2^1424028-1 is not prime. Res64: A494F9176CE944FD Time : 0.0 sec. user=mdettweiler [2016-03-23 12:47:48] 735*2^1424028-1 is not prime. Res64: A631AF7D42D59466 Time : 0.0 sec. user=mdettweiler [2016-03-23 12:47:49] 759*2^1424028-1 is not prime. Res64: 8865E0ADDAF8522B Time : 0.0 sec. user=mdettweiler [2016-03-23 13:25:31] 765*2^1424028-1 is not prime. Res64: 31A69F90623776D5 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:25:32] 845*2^1424028-1 is not prime. Res64: FF023CFECCD3148C Time : 0.0 sec. user=mdettweiler [2016-03-23 13:25:32] 927*2^1424028-1 is not prime. Res64: 29953842DEFAFC47 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:25:32] 947*2^1424028-1 is not prime. Res64: A5D38D2EC39472F8 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:25:33] 625*2^1424029-1 is not prime. Res64: 7A856F9EAA8D647A Time : 0.0 sec. user=mdettweiler [2016-03-23 13:30:14] 691*2^1424029-1 is not prime. Res64: BD7947828343EF39 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:30:14] 699*2^1424029-1 is not prime. Res64: 5585F6899AC76D8C Time : 0.0 sec. user=mdettweiler [2016-03-23 13:30:15] 799*2^1424029-1 is not prime. Res64: C9FF04909D84CB44 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:30:15] 717*2^1424030-1 is not prime. Res64: 66681B0D179D384D Time : 0.0 sec. user=mdettweiler [2016-03-23 13:30:15] 755*2^1424030-1 is not prime. Res64: 0E19987E57B92D4C Time : 0.0 sec. user=mdettweiler [2016-03-23 13:31:24] 827*2^1424030-1 is not prime. Res64: CBECCF94F447B916 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:31:24] 861*2^1424030-1 is not prime. Res64: 95DC4F562F0D8287 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:31:24] 971*2^1424030-1 is not prime. Res64: DDD90036DF916CD4 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:31:25] 981*2^1424030-1 is not prime. Res64: 56C4FC94E777AC10 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:31:25] 1001*2^1424030-1 is not prime. Res64: 345A965C43AB311A Time : 0.0 sec. user=mdettweiler [2016-03-23 13:32:57] 613*2^1424031-1 is not prime. Res64: 29F6D5E0FE306EE2 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:32:58] 619*2^1424031-1 is not prime. Res64: 2556A9339F7D81F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:32:58] 783*2^1424031-1 is not prime. Res64: 9999A3C0C6123A79 Time : 0.0 sec. user=mdettweiler [2016-03-23 13:32:58] 819*2^1424031-1 is not prime. Res64: EDCCA4E416BB075F Time : 0.0 sec. user=mdettweiler [2016-03-23 13:32:59] 609*2^1424032-1 is not prime. Res64: A31B5471F52264AB Time : 0.0 sec. user=mdettweiler [2016-03-23 14:10:38] 657*2^1424032-1 is not prime. Res64: AB56352D365146B0 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:10:39] 705*2^1424032-1 is not prime. Res64: 7D32F3F510E2E362 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:10:39] 797*2^1424032-1 is not prime. Res64: E19534B215F370DD Time : 0.0 sec. user=mdettweiler [2016-03-23 14:10:40] 827*2^1424032-1 is not prime. Res64: 7268D8EEA45C5562 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:10:40] 833*2^1424032-1 is not prime. Res64: 1A0E26530549774C Time : 0.0 sec. user=mdettweiler [2016-03-23 14:15:15] 887*2^1424032-1 is not prime. Res64: B0CF398E0CC149E3 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:15:16] 929*2^1424032-1 is not prime. Res64: 5A07E00DE6C04D5B Time : 0.0 sec. user=mdettweiler [2016-03-23 14:15:16] 965*2^1424032-1 is not prime. Res64: C8B4FB307ADB1C72 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:15:17] 983*2^1424032-1 is not prime. Res64: 986C98677D2CFC6D Time : 0.0 sec. user=mdettweiler [2016-03-23 14:15:17] 855*2^1424033-1 is not prime. Res64: 0E580AB9D45E4610 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:16:36] 889*2^1424033-1 is not prime. Res64: F4F538C2C08248E7 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:16:36] 955*2^1424033-1 is not prime. Res64: FA104FD7B35CFDD9 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:16:36] 681*2^1424034-1 is not prime. Res64: CA63FD652181E825 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:16:37] 741*2^1424034-1 is not prime. Res64: FE903B43B4EE5396 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:16:37] 765*2^1424034-1 is not prime. Res64: 5F5028B594688F64 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:18:08] 915*2^1424034-1 is not prime. Res64: 67927E363AACCE59 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:18:08] 917*2^1424034-1 is not prime. Res64: D815D541D1B4EC35 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:18:09] 923*2^1424034-1 is not prime. Res64: C8004E1FFC698A40 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:18:09] 639*2^1424035-1 is not prime. Res64: 06A65CD7FDACEFDF Time : 0.0 sec. user=mdettweiler [2016-03-23 14:18:09] 645*2^1424035-1 is not prime. Res64: 0934A2CC3D860804 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:56:06] 651*2^1424035-1 is not prime. Res64: 9E3485321ED8B63D Time : 0.0 sec. user=mdettweiler [2016-03-23 14:56:06] 765*2^1424035-1 is not prime. Res64: BE7C97BD5B2D1ED9 Time : 0.0 sec. user=mdettweiler [2016-03-23 14:56:06] 771*2^1424035-1 is not prime. Res64: C2A1B6481D79DCCC Time : 0.0 sec. user=mdettweiler [2016-03-23 14:56:07] 849*2^1424035-1 is not prime. Res64: 8B1840396CCBA98D Time : 0.0 sec. user=mdettweiler [2016-03-23 14:56:07] 853*2^1424035-1 is not prime. Res64: 083B79077EB14465 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:00:19] 919*2^1424035-1 is not prime. Res64: 3847C9D08A0179E6 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:00:20] 985*2^1424035-1 is not prime. Res64: 8DF36C4B12EB263E Time : 0.0 sec. user=mdettweiler [2016-03-23 15:00:21] 773*2^1424036-1 is not prime. Res64: 622EED5B2C34D06E Time : 0.0 sec. user=mdettweiler [2016-03-23 15:00:22] 777*2^1424036-1 is not prime. Res64: F3F54DE4FA2B3C31 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:00:23] 825*2^1424036-1 is not prime. Res64: ADACE8E3841CF448 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:01:44] 833*2^1424036-1 is not prime. Res64: 21AF14C53EFE1B67 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:01:45] 869*2^1424036-1 is not prime. Res64: BFCBC47085D3796E Time : 0.0 sec. user=mdettweiler [2016-03-23 15:01:46] 875*2^1424036-1 is not prime. Res64: ADA5726EC8C81BA1 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:01:46] 927*2^1424036-1 is not prime. Res64: 418DA99876101770 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:01:47] 969*2^1424036-1 is not prime. Res64: 6EC6691B3D0A8022 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:03:08] 681*2^1424037-1 is not prime. Res64: 9C0A5EF856CE153C Time : 0.0 sec. user=mdettweiler [2016-03-23 15:03:10] 711*2^1424037-1 is not prime. Res64: 3285262BAF3DE70F Time : 0.0 sec. user=mdettweiler [2016-03-23 15:03:10] 765*2^1424037-1 is not prime. Res64: CA2B1B5446D524C7 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:03:11] 605*2^1424038-1 is not prime. Res64: 68F3E75DFE630EE9 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:03:12] 657*2^1424038-1 is not prime. Res64: 21FF25EC19090A62 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:41:17] 707*2^1424038-1 is not prime. Res64: 166053071553F8E4 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:41:18] 731*2^1424038-1 is not prime. Res64: 45CCA3C9947527EA Time : 0.0 sec. user=mdettweiler [2016-03-23 15:41:19] 755*2^1424038-1 is not prime. Res64: C8021E75DE4A0680 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:41:19] 801*2^1424038-1 is not prime. Res64: 3DEB5F1E5AB1D101 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:41:20] 863*2^1424038-1 is not prime. Res64: 6632F6654A772FD5 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:45:24] 923*2^1424038-1 is not prime. Res64: 20487F9C385E6928 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:45:24] 945*2^1424038-1 is not prime. Res64: D2F95992A77048A7 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:45:25] 951*2^1424038-1 is not prime. Res64: 924B4234E8E76C72 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:45:25] 1001*2^1424038-1 is not prime. Res64: 137AAAE54E01074F Time : 0.0 sec. user=mdettweiler [2016-03-23 15:45:26] 663*2^1424039-1 is not prime. Res64: C7A9210207ADF616 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:47:00] 693*2^1424039-1 is not prime. Res64: 3A8F56DE971D0A05 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:47:00] 705*2^1424039-1 is not prime. Res64: 9011EC0F27C41731 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:47:01] 721*2^1424039-1 is not prime. Res64: 3E77B9C153CF7A22 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:47:01] 813*2^1424039-1 is not prime. Res64: 0A898C3B9D467D10 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:47:02] 865*2^1424039-1 is not prime. Res64: BE219D88B7203CA5 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:48:19] 895*2^1424039-1 is not prime. Res64: FC6053823D856A5E Time : 0.0 sec. user=mdettweiler [2016-03-23 15:48:20] 921*2^1424039-1 is not prime. Res64: A4DA05F23125AB18 Time : 0.0 sec. user=mdettweiler [2016-03-23 15:48:20] 633*2^1424040-1 is not prime. Res64: 168428F1B219E54F Time : 0.0 sec. user=mdettweiler [2016-03-23 15:48:21] 713*2^1424040-1 is not prime. Res64: 62F96210A665E8AF Time : 0.0 sec. user=mdettweiler [2016-03-23 15:48:21] 725*2^1424040-1 is not prime. Res64: ACA57F91C5CB9064 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:27:02] 843*2^1424040-1 is not prime. Res64: 0B27207D045C76F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:27:02] 741*2^1424041-1 is not prime. Res64: 5E4E6D21A86D5037 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:27:02] 799*2^1424041-1 is not prime. Res64: 522B6A3E35E067AA Time : 0.0 sec. user=mdettweiler [2016-03-23 16:27:03] 829*2^1424041-1 is not prime. Res64: 21F33082C1A80E56 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:27:04] 895*2^1424041-1 is not prime. Res64: EF15FA489F86319F Time : 0.0 sec. user=mdettweiler [2016-03-23 16:31:40] 997*2^1424041-1 is not prime. Res64: C4B611A874BEFEA0 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:31:41] 651*2^1424042-1 is not prime. Res64: 5DFDDD1E260D094F Time : 0.0 sec. user=mdettweiler [2016-03-23 16:31:41] 797*2^1424042-1 is not prime. Res64: C3912FE20DD319A7 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:31:42] 827*2^1424042-1 is not prime. Res64: D0358694DAB3F32D Time : 0.0 sec. user=mdettweiler [2016-03-23 16:31:42] 867*2^1424042-1 is not prime. Res64: EB53B1D6FCF765C0 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:33:21] 893*2^1424042-1 is not prime. Res64: A309076AD39E728B Time : 0.0 sec. user=mdettweiler [2016-03-23 16:33:22] 1001*2^1424042-1 is not prime. Res64: 21B98AF76D23D782 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:33:22] 609*2^1424043-1 is not prime. Res64: 9021803958569DB2 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:33:22] 783*2^1424043-1 is not prime. Res64: CFEF9D881B2E86A6 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:33:22] 795*2^1424043-1 is not prime. Res64: A71090B5F8459248 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:35:00] 943*2^1424043-1 is not prime. Res64: 466A7DF549B257B4 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:35:01] 755*2^1424044-1 is not prime. Res64: 1F7CCE4C77500017 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:35:01] 773*2^1424044-1 is not prime. Res64: F6789361076750CE Time : 0.0 sec. user=mdettweiler [2016-03-23 16:35:01] 827*2^1424044-1 is not prime. Res64: 81582B294769A83C Time : 0.0 sec. user=mdettweiler [2016-03-23 16:35:01] 869*2^1424044-1 is not prime. Res64: 812F3B62C609F2EC Time : 0.0 sec. user=mdettweiler [2016-03-23 16:37:25] 947*2^1424044-1 is not prime. Res64: F0F30CBE33A614EA Time : 0.0 sec. user=mdettweiler [2016-03-23 16:51:00] 915*2^1424047-1 is not prime. Res64: 25EC7907396A9939 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:51:10] 973*2^1424047-1 is not prime. Res64: 8AABA945F9854297 Time : 0.0 sec. user=mdettweiler [2016-03-23 16:51:13] 895*2^1424047-1 is not prime. Res64: 92243CE9599F7786 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:13:49] 649*2^1424045-1 is not prime. Res64: 3F85F871F80F9FB5 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:13:49] 669*2^1424045-1 is not prime. Res64: 196ED8E841E36046 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:13:50] 685*2^1424045-1 is not prime. Res64: 6CF96E9C255C45E9 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:13:50] 697*2^1424045-1 is not prime. Res64: 382DA0BA7FD93B5F Time : 0.0 sec. user=mdettweiler [2016-03-23 17:13:51] 735*2^1424045-1 is not prime. Res64: B34B6E9764B8C849 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:17:51] 787*2^1424045-1 is not prime. Res64: E70D2B93A902669B Time : 0.0 sec. user=mdettweiler [2016-03-23 17:17:51] 819*2^1424045-1 is not prime. Res64: D27A4CE2BC720E83 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:17:52] 865*2^1424045-1 is not prime. Res64: FF4C01A219ED1FA9 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:17:52] 949*2^1424045-1 is not prime. Res64: DFB5E4E053012D61 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:17:53] 955*2^1424045-1 is not prime. Res64: AB5D2EC7CA63E232 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:19:40] 981*2^1424045-1 is not prime. Res64: 67F9E58CCDE86391 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:19:40] 677*2^1424046-1 is not prime. Res64: EA1E84979ABFF4CA Time : 0.0 sec. user=mdettweiler [2016-03-23 17:19:41] 713*2^1424046-1 is not prime. Res64: 5625DC09DD8A1CE7 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:19:41] 723*2^1424046-1 is not prime. Res64: FF8244B045E26857 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:19:42] 1001*2^1424046-1 is not prime. Res64: BE321A348B148DEA Time : 0.0 sec. user=mdettweiler [2016-03-23 17:20:46] 639*2^1424047-1 is not prime. Res64: DE7BFEFDA04926A8 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:20:46] 645*2^1424047-1 is not prime. Res64: 4A32783759CBF561 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:20:47] 775*2^1424047-1 is not prime. Res64: 492A992386E384A7 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:20:47] 841*2^1424047-1 is not prime. Res64: 6977804F1B05C84F Time : 0.0 sec. user=mdettweiler [2016-03-23 17:20:47] 859*2^1424047-1 is not prime. Res64: 1A0C6151A240F2E7 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:59:08] 975*2^1424047-1 is not prime. Res64: A2EBD50642BA05AE Time : 0.0 sec. user=mdettweiler [2016-03-23 17:59:08] 635*2^1424048-1 is not prime. Res64: 075D70E51635D610 Time : 0.0 sec. user=mdettweiler [2016-03-23 17:59:08] 681*2^1424049-1 is not prime. Res64: 321473C842C5012C Time : 0.0 sec. user=mdettweiler [2016-03-23 17:59:09] 747*2^1424049-1 is not prime. Res64: F13C95087356374F Time : 0.0 sec. user=mdettweiler [2016-03-23 17:59:09] 889*2^1424049-1 is not prime. Res64: FE951B0319131F0C Time : 0.0 sec. user=mdettweiler [2016-03-23 18:01:43] 903*2^1424052-1 is not prime. Res64: 2345B6DB8FFCE826 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:03:13] 999*2^1424049-1 is not prime. Res64: FF498A01FD8027C3 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:03:14] 687*2^1424050-1 is not prime. Res64: 51156943EBC95CE8 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:03:15] 713*2^1424050-1 is not prime. Res64: E9D47348B115B492 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:03:17] 773*2^1424050-1 is not prime. Res64: DEF0726209A80BE8 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:03:18] 833*2^1424050-1 is not prime. Res64: F00C09505B3F0DB1 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:04:57] 867*2^1424050-1 is not prime. Res64: 6E156EA64CBBD003 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:04:58] 945*2^1424050-1 is not prime. Res64: 65CFBB8A20D658E1 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:04:59] 981*2^1424050-1 is not prime. Res64: 1B81A7598CEE0A18 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:05:02] 995*2^1424050-1 is not prime. Res64: 75AEBB37F93D35EF Time : 0.0 sec. user=mdettweiler [2016-03-23 18:05:04] 621*2^1424051-1 is not prime. Res64: DC8A88D20012C762 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:06:06] 999*2^1424051-1 is not prime. Res64: C1E5C2CCE22DCA99 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:06:08] 627*2^1424052-1 is not prime. Res64: B8A49B2EB6239793 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:06:09] 657*2^1424052-1 is not prime. Res64: 7326E325D4B85F49 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:06:10] 765*2^1424052-1 is not prime. Res64: 688BC079F46AEDC7 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:06:11] 863*2^1424052-1 is not prime. Res64: 8CC89FA623749F64 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:37:16] 857*2^1424056-1 is not prime. Res64: 64E9B6391095D084 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:44:12] 977*2^1424052-1 is not prime. Res64: FC7AB394DDA46E71 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:44:12] 609*2^1424053-1 is not prime. Res64: A70AAAC508B1CBAC Time : 0.0 sec. user=mdettweiler [2016-03-23 18:44:13] 691*2^1424053-1 is not prime. Res64: 173CFF996222DC77 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:44:13] 861*2^1424053-1 is not prime. Res64: BBFF5BA6524E317A Time : 0.0 sec. user=mdettweiler [2016-03-23 18:44:14] 987*2^1424053-1 is not prime. Res64: B3250884C3DF1E84 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:48:34] 635*2^1424054-1 is not prime. Res64: F597A31B1C452993 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:48:34] 663*2^1424054-1 is not prime. Res64: AB3BC3955F738751 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:48:35] 675*2^1424054-1 is not prime. Res64: 54F7DF49D2DC0CCE Time : 0.0 sec. user=mdettweiler [2016-03-23 18:48:35] 753*2^1424054-1 is not prime. Res64: 05F895E9F8D84872 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:48:36] 935*2^1424054-1 is not prime. Res64: 4EA8ADD9A612CDF3 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:50:12] 981*2^1424054-1 is not prime. Res64: 1D678C4BC81310F7 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:50:13] 679*2^1424055-1 is not prime. Res64: 7920CBEF992D78E8 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:50:13] 775*2^1424055-1 is not prime. Res64: 696C495B82BAE58B Time : 0.0 sec. user=mdettweiler [2016-03-23 18:50:13] 933*2^1424055-1 is not prime. Res64: B1B32B9E612E8D18 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:50:14] 623*2^1424056-1 is not prime. Res64: AC6A184B3E1B9686 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:51:17] 663*2^1424056-1 is not prime. Res64: B199B51259CAD449 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:51:17] 693*2^1424056-1 is not prime. Res64: 2AFBA940DFC95385 Time : 0.0 sec. user=mdettweiler [2016-03-23 18:51:18] 773*2^1424056-1 is not prime. Res64: 5936342726F2B66F Time : 0.0 sec. user=mdettweiler [2016-03-23 18:51:18] 807*2^1424056-1 is not prime. Res64: 70E878433027220F Time : 0.0 sec. user=mdettweiler [2016-03-23 18:51:19] 845*2^1424056-1 is not prime. Res64: 13BB4114DAE54998 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:12:54] 943*2^1424059-1 is not prime. Res64: F7573F094BDC6994 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:13:31] 973*2^1424059-1 is not prime. Res64: 1B14921C0CA98FB2 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:29:28] 909*2^1424056-1 is not prime. Res64: 7DEDBCFE3C64DA04 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:29:28] 759*2^1424057-1 is not prime. Res64: 9490E36B7B899297 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:29:29] 829*2^1424057-1 is not prime. Res64: 904CB6D3A17E35C1 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:29:29] 837*2^1424057-1 is not prime. Res64: C520A8B3A4F13F86 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:29:29] 847*2^1424057-1 is not prime. Res64: 82C0AF3B3F8BF13C Time : 0.0 sec. user=mdettweiler [2016-03-23 19:33:35] 865*2^1424057-1 is not prime. Res64: 9509F51CA7187908 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:33:35] 931*2^1424057-1 is not prime. Res64: 562276A5A5243D79 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:33:35] 981*2^1424057-1 is not prime. Res64: 5A5DF0567369044F Time : 0.0 sec. user=mdettweiler [2016-03-23 19:33:36] 683*2^1424058-1 is not prime. Res64: EF84E4E3922042F6 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:33:36] 801*2^1424058-1 is not prime. Res64: F1ECD9AD64A577FD Time : 0.0 sec. user=mdettweiler [2016-03-23 19:35:13] 803*2^1424058-1 is not prime. Res64: D2FE6D80CA1876DD Time : 0.0 sec. user=mdettweiler [2016-03-23 19:35:13] 921*2^1424058-1 is not prime. Res64: 825431B0DC53BD09 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:35:13] 603*2^1424059-1 is not prime. Res64: 5FEC1FCA69EE0FA0 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:35:14] 693*2^1424059-1 is not prime. Res64: 5829446706945373 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:35:14] 759*2^1424059-1 is not prime. Res64: 4F0146E29965C07C Time : 0.0 sec. user=mdettweiler [2016-03-23 19:36:35] 765*2^1424059-1 is not prime. Res64: CB38804C852220A0 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:36:35] 843*2^1424059-1 is not prime. Res64: 7CF8EC6CEC771A99 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:36:35] 855*2^1424059-1 is not prime. Res64: 0579BE869F3009F9 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:36:36] 925*2^1424059-1 is not prime. Res64: 8D22F28E55FD0C07 Time : 0.0 sec. user=mdettweiler [2016-03-23 19:36:36] 939*2^1424059-1 is not prime. Res64: 222C7D8049ACAB98 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:14:40] 985*2^1424059-1 is not prime. Res64: 511248D00A064BA2 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:14:41] 735*2^1424060-1 is not prime. Res64: CCA700E8C332B765 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:14:41] 767*2^1424060-1 is not prime. Res64: 6A7FD14240EDF997 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:14:42] 819*2^1424060-1 is not prime. Res64: 3B86CE875B5360FC Time : 0.0 sec. user=mdettweiler [2016-03-23 20:14:42] 827*2^1424060-1 is not prime. Res64: 72D64CF47F4FE4A5 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:18:41] 833*2^1424060-1 is not prime. Res64: 0A57619B5A282FA0 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:18:41] 845*2^1424060-1 is not prime. Res64: 1675BB643269E7FD Time : 0.0 sec. user=mdettweiler [2016-03-23 20:18:42] 897*2^1424060-1 is not prime. Res64: 680C7FF2B4D0EA43 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:18:42] 899*2^1424060-1 is not prime. Res64: 691AEA53A0A76F25 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:18:43] 977*2^1424060-1 is not prime. Res64: 94B4F9B62F6CAAF4 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:20:19] 675*2^1424061-1 is not prime. Res64: AF404EE1D3D4287F Time : 0.0 sec. user=mdettweiler [2016-03-23 20:20:19] 717*2^1424061-1 is not prime. Res64: E3A564DB32986F6B Time : 0.0 sec. user=mdettweiler [2016-03-23 20:20:20] 951*2^1424061-1 is not prime. Res64: 705F4695448567CD Time : 0.0 sec. user=mdettweiler [2016-03-23 20:20:20] 961*2^1424061-1 is not prime. Res64: 47A291AA1E1C5E6E Time : 0.0 sec. user=mdettweiler [2016-03-23 20:20:21] 623*2^1424062-1 is not prime. Res64: A930997BA7DEBD5D Time : 0.0 sec. user=mdettweiler [2016-03-23 20:21:46] 635*2^1424062-1 is not prime. Res64: C9FC8667B485AC52 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:21:47] 717*2^1424062-1 is not prime. Res64: A154DDB0429095C9 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:21:47] 813*2^1424062-1 is not prime. Res64: 3E152491256323E3 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:21:48] 827*2^1424062-1 is not prime. Res64: 13C66EAD5FD12314 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:21:48] 911*2^1424062-1 is not prime. Res64: B14B99F3494EEB6E Time : 0.0 sec. user=mdettweiler [2016-03-23 20:42:06] 939*2^1424065-1 is not prime. Res64: 646225DC70B9761F Time : 0.0 sec. user=mdettweiler [2016-03-23 20:59:43] 987*2^1424062-1 is not prime. Res64: BD2B83CE00CA532C Time : 0.0 sec. user=mdettweiler [2016-03-23 20:59:44] 609*2^1424063-1 is not prime. Res64: 14E4F27B97D99B50 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:59:44] 685*2^1424063-1 is not prime. Res64: D0EDF1104CA6B571 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:59:45] 721*2^1424063-1 is not prime. Res64: 1701F73ECAF11732 Time : 0.0 sec. user=mdettweiler [2016-03-23 20:59:45] 781*2^1424063-1 is not prime. Res64: CB1956960AE94E99 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:03:49] 901*2^1424063-1 is not prime. Res64: 6A2A50CF252C6784 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:03:51] 913*2^1424063-1 is not prime. Res64: 7F1EE4AC635AB94C Time : 0.0 sec. user=mdettweiler [2016-03-23 21:03:52] 915*2^1424063-1 is not prime. Res64: 239625779A04C9BB Time : 0.0 sec. user=mdettweiler [2016-03-23 21:03:53] 963*2^1424063-1 is not prime. Res64: 2533FD96161414EF Time : 0.0 sec. user=mdettweiler [2016-03-23 21:03:54] 999*2^1424063-1 is not prime. Res64: D727C4F5FBE26F01 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:05:20] 675*2^1424064-1 is not prime. Res64: E51223E6A93A5A63 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:05:22] 707*2^1424064-1 is not prime. Res64: A1F75EDEEE6971A6 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:05:24] 725*2^1424064-1 is not prime. Res64: 058E3EE197FDF7B5 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:05:28] 873*2^1424064-1 is not prime. Res64: FC6C58919673410F Time : 0.0 sec. user=mdettweiler [2016-03-23 21:05:30] 875*2^1424064-1 is not prime. Res64: 97DCB6AAB1026F04 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:06:57] 651*2^1424065-1 is not prime. Res64: 624F9806F56ECA2F Time : 0.0 sec. user=mdettweiler [2016-03-23 21:06:58] 661*2^1424065-1 is not prime. Res64: 910D558632B899E3 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:07:00] 775*2^1424065-1 is not prime. Res64: 9DD47C0E545D8F65 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:07:01] 855*2^1424065-1 is not prime. Res64: 446636F478CFE1B0 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:07:02] 895*2^1424065-1 is not prime. Res64: 7D1E2036284E5387 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:45:00] 975*2^1424065-1 is not prime. Res64: ADF4ACB41F7DC8A4 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:45:00] 979*2^1424065-1 is not prime. Res64: 96A7CDD75598BA33 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:45:01] 999*2^1424065-1 is not prime. Res64: C09FFBEE33F5E73E Time : 0.0 sec. user=mdettweiler [2016-03-23 21:45:02] 701*2^1424066-1 is not prime. Res64: A54BD9AD2BEA91D5 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:45:03] 825*2^1424066-1 is not prime. Res64: CE6C4D75DA1C889A Time : 0.0 sec. user=mdettweiler [2016-03-23 21:48:54] 827*2^1424066-1 is not prime. Res64: 1DC4211BA65A085D Time : 0.0 sec. user=mdettweiler [2016-03-23 21:48:55] 867*2^1424066-1 is not prime. Res64: F8CAC7A188D61C5C Time : 0.0 sec. user=mdettweiler [2016-03-23 21:48:55] 887*2^1424066-1 is not prime. Res64: B596F3FC29CEDAF7 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:48:56] 911*2^1424066-1 is not prime. Res64: 00BC8A074941F5F1 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:48:56] 953*2^1424066-1 is not prime. Res64: 7D7409369030E504 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:50:46] 601*2^1424067-1 is not prime. Res64: 92BA73A43F773498 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:50:47] 625*2^1424067-1 is not prime. Res64: 9E15040BD97B8D48 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:50:47] 633*2^1424067-1 is not prime. Res64: BB3238E9C0DB9B14 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:50:47] 751*2^1424067-1 is not prime. Res64: 663CFB8104780C46 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:50:48] 859*2^1424067-1 is not prime. Res64: B375994A15536668 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:52:15] 903*2^1424067-1 is not prime. Res64: 3827A625D659DC17 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:52:15] 931*2^1424067-1 is not prime. Res64: 242C7BFF087E8ADE Time : 0.0 sec. user=mdettweiler [2016-03-23 21:52:16] 605*2^1424068-1 is not prime. Res64: C8642C385067FA52 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:52:16] 663*2^1424068-1 is not prime. Res64: 6D84107D204016F0 Time : 0.0 sec. user=mdettweiler [2016-03-23 21:52:16] 869*2^1424068-1 is not prime. Res64: 83D3F9118EB2CF63 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:28:13] 973*2^1424071-1 is not prime. Res64: E7621A34271C044F Time : 0.0 sec. user=mdettweiler [2016-03-23 22:30:17] 875*2^1424068-1 is not prime. Res64: CE65DB41D759AD2A Time : 0.0 sec. user=mdettweiler [2016-03-23 22:30:18] 947*2^1424068-1 is not prime. Res64: 264062619D59D941 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:30:18] 735*2^1424069-1 is not prime. Res64: 5C111ABE2A9DB7A6 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:30:19] 865*2^1424069-1 is not prime. Res64: A95F9C580A313657 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:30:19] 897*2^1424069-1 is not prime. Res64: 3917F698097FA2EC Time : 0.0 sec. user=mdettweiler [2016-03-23 22:34:05] 671*2^1424070-1 is not prime. Res64: 6D9346A9134FCF46 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:34:06] 713*2^1424070-1 is not prime. Res64: CBCED84F5E381C2E Time : 0.0 sec. user=mdettweiler [2016-03-23 22:34:06] 741*2^1424070-1 is not prime. Res64: A4A20E92D090B4CE Time : 0.0 sec. user=mdettweiler [2016-03-23 22:34:06] 791*2^1424070-1 is not prime. Res64: 2F66404E67B16E89 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:34:07] 863*2^1424070-1 is not prime. Res64: 0ECFEC023474CA80 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:35:50] 893*2^1424070-1 is not prime. Res64: 7575D5CA4AA0A322 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:35:51] 963*2^1424070-1 is not prime. Res64: 67D9FAD1B532F490 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:35:51] 977*2^1424070-1 is not prime. Res64: 644DB878D73FE14A Time : 0.0 sec. user=mdettweiler [2016-03-23 22:35:52] 619*2^1424071-1 is not prime. Res64: 74E981CBC986924B Time : 0.0 sec. user=mdettweiler [2016-03-23 22:35:52] 709*2^1424071-1 is not prime. Res64: CE71037197399444 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:37:30] 841*2^1424071-1 is not prime. Res64: 2B0C13F616F01F0F Time : 0.0 sec. user=mdettweiler [2016-03-23 22:37:31] 855*2^1424071-1 is not prime. Res64: 3A3194B5282ABE89 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:37:31] 859*2^1424071-1 is not prime. Res64: A285BF48F5A37A9E Time : 0.0 sec. user=mdettweiler [2016-03-23 22:37:31] 895*2^1424071-1 is not prime. Res64: 72CFDB984BE14732 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:37:32] 901*2^1424071-1 is not prime. Res64: 1A554D01E0F92E10 Time : 0.0 sec. user=mdettweiler [2016-03-23 22:45:17] 815*2^1424074-1 is not prime. Res64: 477044ED8F5F17BA Time : 0.0 sec. user=mdettweiler [2016-03-23 23:15:22] 657*2^1424072-1 is not prime. Res64: D9735B26B90E3BE7 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:15:22] 717*2^1424072-1 is not prime. Res64: F4F07162C463CCBB Time : 0.0 sec. user=mdettweiler [2016-03-23 23:15:23] 855*2^1424072-1 is not prime. Res64: C36AF2800B204520 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:15:23] 649*2^1424073-1 is not prime. Res64: 52870E70BD2B0837 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:15:23] 657*2^1424073-1 is not prime. Res64: 5E054132790D5E94 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:19:21] 669*2^1424073-1 is not prime. Res64: 1FC73AEC6F8FFB23 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:19:22] 691*2^1424073-1 is not prime. Res64: F044B9EF7B0ED780 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:19:22] 787*2^1424073-1 is not prime. Res64: 6FEFDE1F4370A7A9 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:19:23] 861*2^1424073-1 is not prime. Res64: 565A6290600FA3D3 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:19:23] 915*2^1424073-1 is not prime. Res64: BCEC082BC23475D5 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:20:54] 885*2^1424075-1 is not prime. Res64: 2864362D71ED736E Time : 0.0 sec. user=mdettweiler [2016-03-23 23:20:59] 621*2^1424074-1 is not prime. Res64: 453F840AE69B718F Time : 0.0 sec. user=mdettweiler [2016-03-23 23:20:59] 657*2^1424074-1 is not prime. Res64: AAF2847CD6242262 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:21:00] 687*2^1424074-1 is not prime. Res64: 6E7CD283C2AC4E6C Time : 0.0 sec. user=mdettweiler [2016-03-23 23:21:00] 695*2^1424074-1 is not prime. Res64: 83B39208D8A6D86A Time : 0.0 sec. user=mdettweiler [2016-03-23 23:21:00] 707*2^1424074-1 is not prime. Res64: 8E04C5D9A1629FC8 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:22:57] 857*2^1424074-1 is not prime. Res64: A2E77A17F577ADE9 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:22:57] 633*2^1424075-1 is not prime. Res64: D9BACC1E80DFF986 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:22:58] 663*2^1424075-1 is not prime. Res64: E5CC31F6BBFAF815 Time : 0.0 sec. user=mdettweiler [2016-03-23 23:22:58] 781*2^1424075-1 is not prime. Res64: A7487BBE1573FD5C Time : 0.0 sec. user=mdettweiler [2016-03-23 23:22:58] 861*2^1424075-1 is not prime. Res64: C72F7D38A67EC328 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:00:21] 943*2^1424075-1 is not prime. Res64: 80502A976FA5D572 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:00:21] 969*2^1424075-1 is not prime. Res64: DBAFBEAA0B1F3E7A Time : 0.0 sec. user=mdettweiler [2016-03-24 00:00:22] 985*2^1424075-1 is not prime. Res64: E4DB7369DCC8C0D9 Time : 0.0 sec. user=mdettweiler [2016-03-24 00:00:22] 635*2^1424076-1 is not prime. Res64: D8EA30F12262443E Time : 0.0 sec. user=mdettweiler [2016-03-24 00:00:23] 707*2^1424076-1 is not prime. Res64: 4640D13897F5115A Time : 0.0 sec.