user=mdettweiler [2016-09-17 00:11:56] 927*2^1439949-1 is not prime. Res64: 5B83B4DB51203404 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:11:57] 723*2^1439950-1 is not prime. Res64: D97BBD94058EE7B5 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:11:57] 743*2^1439950-1 is not prime. Res64: 089B5209C8512DDC Time : 0.0 sec. user=mdettweiler [2016-09-17 00:11:57] 891*2^1439950-1 is not prime. Res64: 3FE52B3797B5D528 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:11:58] 897*2^1439950-1 is not prime. Res64: ED8E61AAFD1E24BF Time : 0.0 sec. user=mdettweiler [2016-09-17 00:34:36] 911*2^1439950-1 is not prime. Res64: 332727320F24A638 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:34:36] 745*2^1439951-1 is not prime. Res64: 04661DB438395FF3 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:34:36] 753*2^1439951-1 is not prime. Res64: E2938B4780367925 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:34:37] 943*2^1439951-1 is not prime. Res64: B999744C078BCADA Time : 0.0 sec. user=mdettweiler [2016-09-17 00:34:37] 609*2^1439952-1 is not prime. Res64: 8F298C5BF65053B2 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:42:24] 633*2^1439952-1 is not prime. Res64: 39B8A01167A6DDB4 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:42:24] 693*2^1439952-1 is not prime. Res64: F99B564C4A09911A Time : 0.0 sec. user=mdettweiler [2016-09-17 00:42:25] 651*2^1439953-1 is not prime. Res64: 8F79B4B51B801CD6 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:42:25] 691*2^1439953-1 is not prime. Res64: E6E21FBD5F4C4547 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:42:26] 715*2^1439953-1 is not prime. Res64: 7AE9F3B6BFAAEA39 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:45:15] 765*2^1439953-1 is not prime. Res64: 2FBD088973C8CAFE Time : 0.0 sec. user=mdettweiler [2016-09-17 00:45:16] 835*2^1439953-1 is not prime. Res64: E9B2D5559A915C0F Time : 0.0 sec. user=mdettweiler [2016-09-17 00:45:18] 937*2^1439953-1 is not prime. Res64: 10B8B0B8B9AEFBBA Time : 0.0 sec. user=mdettweiler [2016-09-17 00:45:18] 987*2^1439953-1 is not prime. Res64: 8073AF3806408405 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:45:19] 635*2^1439954-1 is not prime. Res64: 9DA28393F157B0F7 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:57:08] 657*2^1439954-1 is not prime. Res64: 7F7F8D0CBE7325B3 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:57:09] 665*2^1439954-1 is not prime. Res64: 6A36BD074BDABB58 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:57:09] 687*2^1439954-1 is not prime. Res64: 2A30AF5933D4037F Time : 0.0 sec. user=mdettweiler [2016-09-17 00:57:11] 743*2^1439954-1 is not prime. Res64: 02467FD872A469D0 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:57:12] 995*2^1439954-1 is not prime. Res64: 89DFE6762F2DBF2C Time : 0.0 sec. user=mdettweiler [2016-09-17 01:19:42] 601*2^1439955-1 is not prime. Res64: 381B71BE1B906FAF Time : 0.0 sec. user=mdettweiler [2016-09-17 01:19:43] 649*2^1439955-1 is not prime. Res64: E2CC8534ACF6874C Time : 0.0 sec. user=mdettweiler [2016-09-17 01:19:43] 685*2^1439955-1 is not prime. Res64: BF303FA25D5628AC Time : 0.0 sec. user=mdettweiler [2016-09-17 01:19:44] 825*2^1439955-1 is not prime. Res64: DE5769CEEE06B11C Time : 0.0 sec. user=mdettweiler [2016-09-17 01:19:44] 871*2^1439955-1 is not prime. Res64: E774B689A660C8FB Time : 0.0 sec. user=mdettweiler [2016-09-17 01:27:24] 903*2^1439955-1 is not prime. Res64: 207A8CD5E2AE6B8C Time : 0.0 sec. user=mdettweiler [2016-09-17 01:27:25] 913*2^1439955-1 is not prime. Res64: 7A28C7357E111C8B Time : 0.0 sec. user=mdettweiler [2016-09-17 01:27:26] 647*2^1439956-1 is not prime. Res64: C3BF71677BFF2D59 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:27:27] 695*2^1439956-1 is not prime. Res64: F22529DEBFBF6B53 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:27:28] 699*2^1439956-1 is not prime. Res64: A8566C881584DF36 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:30:19] 749*2^1439956-1 is not prime. Res64: 5A4B4CC5C69869F2 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:30:20] 783*2^1439956-1 is not prime. Res64: 0218212CB386C611 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:30:23] 857*2^1439956-1 is not prime. Res64: A03DF81F0BDFE5B8 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:30:25] 939*2^1439956-1 is not prime. Res64: D9B20DB1D8DD9C66 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:30:26] 957*2^1439956-1 is not prime. Res64: E1B8EBD32C5A5410 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:42:08] 669*2^1439957-1 is not prime. Res64: 7E5BF04D23AB239F Time : 0.0 sec. user=mdettweiler [2016-09-17 01:42:08] 901*2^1439957-1 is not prime. Res64: 8A97779D4DDB36B4 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:42:09] 939*2^1439957-1 is not prime. Res64: 94DE10599E99E482 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:42:09] 985*2^1439957-1 is not prime. Res64: FAAAFC07AE819FF3 Time : 0.0 sec. user=mdettweiler [2016-09-17 01:42:09] 683*2^1439958-1 is not prime. Res64: F7FB2493731A5F36 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:04:41] 711*2^1439958-1 is not prime. Res64: EADC2977290908E3 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:04:43] 625*2^1439959-1 is not prime. Res64: 4B4C0B16A3C98697 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:04:44] 705*2^1439959-1 is not prime. Res64: B65CAD5F2A398694 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:04:46] 745*2^1439959-1 is not prime. Res64: 1B5AF6835AF0EFC3 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:04:48] 763*2^1439959-1 is not prime. Res64: 861A6D0A3499E387 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:12:23] 885*2^1439959-1 is not prime. Res64: 0BC0B3A1A9534364 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:12:23] 891*2^1439959-1 is not prime. Res64: F72384E70842A56A Time : 0.0 sec. user=mdettweiler [2016-09-17 02:12:23] 931*2^1439959-1 is not prime. Res64: E3DFDE6C5CD06DC8 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:12:24] 609*2^1439960-1 is not prime. Res64: ED7A85186CBFAA97 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:12:24] 635*2^1439960-1 is not prime. Res64: 44825012D50C169C Time : 0.0 sec. user=mdettweiler [2016-09-17 02:15:08] 665*2^1439960-1 is not prime. Res64: 8E3164BEC0FC7F2D Time : 0.0 sec. user=mdettweiler [2016-09-17 02:15:08] 689*2^1439960-1 is not prime. Res64: 00A3B8193AFB2D41 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:15:09] 797*2^1439960-1 is not prime. Res64: E7EF63FB973A9D36 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:15:09] 855*2^1439960-1 is not prime. Res64: 968D4E17E13483C7 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:15:09] 857*2^1439960-1 is not prime. Res64: 9593577E91A1E5DA Time : 0.0 sec. user=mdettweiler [2016-09-17 02:26:57] 627*2^1439961-1 is not prime. Res64: 20BF725D0612464F Time : 0.0 sec. user=mdettweiler [2016-09-17 02:26:57] 807*2^1439961-1 is not prime. Res64: 58FA1B27214F44F6 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:26:58] 819*2^1439961-1 is not prime. Res64: E21D32F0D926F43F Time : 0.0 sec. user=mdettweiler [2016-09-17 02:26:59] 877*2^1439961-1 is not prime. Res64: 2D577BE0530E3321 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:26:59] 889*2^1439961-1 is not prime. Res64: EC1DCE92B6B56C34 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:50:18] 895*2^1439961-1 is not prime. Res64: EEDE5BF7486D75B9 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:50:18] 997*2^1439961-1 is not prime. Res64: 4DFE02BBCE17B7CF Time : 0.0 sec. user=mdettweiler [2016-09-17 02:50:18] 657*2^1439962-1 is not prime. Res64: 2C8A7D348264AC02 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:50:19] 755*2^1439962-1 is not prime. Res64: D8F922B1D18FE338 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:50:19] 765*2^1439962-1 is not prime. Res64: 3921CE67F37AD5F0 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:57:38] 777*2^1439962-1 is not prime. Res64: 5CE351BBEA163C4B Time : 0.0 sec. user=mdettweiler [2016-09-17 02:57:38] 825*2^1439962-1 is not prime. Res64: 9C2ECD81D7B69312 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:57:39] 885*2^1439962-1 is not prime. Res64: 92ECCA10F78FC7F7 Time : 0.0 sec. user=mdettweiler [2016-09-17 02:57:40] 941*2^1439962-1 is not prime. Res64: CB77C3201811843E Time : 0.0 sec. user=mdettweiler [2016-09-17 02:57:41] 685*2^1439963-1 is not prime. Res64: 9AFA71F021C47E09 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:00:21] 735*2^1439963-1 is not prime. Res64: 810DF68D419F2C83 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:00:22] 739*2^1439963-1 is not prime. Res64: 492276155CFFEA0A Time : 0.0 sec. user=mdettweiler [2016-09-17 03:00:23] 745*2^1439963-1 is not prime. Res64: E5FCD2E723BC44BB Time : 0.0 sec. user=mdettweiler [2016-09-17 03:00:24] 783*2^1439963-1 is not prime. Res64: B33440CFFAEF5E4F Time : 0.0 sec. user=mdettweiler [2016-09-17 03:00:25] 855*2^1439963-1 is not prime. Res64: FEB8405968CC6E4C Time : 0.0 sec. user=mdettweiler [2016-09-17 03:11:58] 885*2^1439963-1 is not prime. Res64: 8EDFD5D40D9F647B Time : 0.0 sec. user=mdettweiler [2016-09-17 03:11:59] 973*2^1439963-1 is not prime. Res64: 26E9870C2861BAA0 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:11:59] 629*2^1439964-1 is not prime. Res64: 608E101BADB1ED00 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:12:00] 683*2^1439964-1 is not prime. Res64: 01361931FD91FE8A Time : 0.0 sec. user=mdettweiler [2016-09-17 03:12:01] 705*2^1439964-1 is not prime. Res64: 0DA2801CA3416C76 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:35:22] 725*2^1439964-1 is not prime. Res64: 8D4255EEE56CE0FB Time : 0.0 sec. user=mdettweiler [2016-09-17 03:35:25] 857*2^1439964-1 is not prime. Res64: F704E79DA3EAECBD Time : 0.0 sec. user=mdettweiler [2016-09-17 03:35:26] 957*2^1439964-1 is not prime. Res64: 8F88EEDE970DE5C5 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:35:27] 601*2^1439965-1 is not prime. Res64: 194660E7001C4F4E Time : 0.0 sec. user=mdettweiler [2016-09-17 03:35:28] 607*2^1439965-1 is not prime. Res64: 545B96F530AF6919 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:42:47] 679*2^1439965-1 is not prime. Res64: 64909193E310391C Time : 0.0 sec. user=mdettweiler [2016-09-17 03:42:50] 687*2^1439965-1 is not prime. Res64: E159BC1804F63FD3 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:42:53] 801*2^1439965-1 is not prime. Res64: 6F133668366B2FA3 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:42:54] 825*2^1439965-1 is not prime. Res64: C4C68100EBB27470 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:42:55] 885*2^1439965-1 is not prime. Res64: 059AF74847EACC55 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:45:25] 615*2^1439966-1 is not prime. Res64: 47D3436FD59AC7B3 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:45:27] 617*2^1439966-1 is not prime. Res64: 83064185B2263091 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:45:31] 843*2^1439966-1 is not prime. Res64: 4B008EB26FAA8FDA Time : 0.0 sec. user=mdettweiler [2016-09-17 03:45:37] 851*2^1439966-1 is not prime. Res64: C3F20A9A0D191D3F Time : 0.0 sec. user=mdettweiler [2016-09-17 03:45:43] 981*2^1439966-1 is not prime. Res64: C5F7DAE186A09FD5 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:56:58] 987*2^1439966-1 is not prime. Res64: 7D95D0503F6B2B4A Time : 0.0 sec. user=mdettweiler [2016-09-17 03:56:59] 709*2^1439967-1 is not prime. Res64: 031E4AA1CD694291 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:57:00] 873*2^1439967-1 is not prime. Res64: 89A3C7ADC7D50212 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:57:01] 951*2^1439967-1 is not prime. Res64: 6E9CB2951F788C22 Time : 0.0 sec. user=mdettweiler [2016-09-17 03:57:02] 603*2^1439968-1 is not prime. Res64: 0F991459B107A478 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:20:40] 677*2^1439968-1 is not prime. Res64: 585C83D25A98BC66 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:20:41] 713*2^1439968-1 is not prime. Res64: F5F4BD11B009910E Time : 0.0 sec. user=mdettweiler [2016-09-17 04:20:42] 755*2^1439968-1 is not prime. Res64: A80FFA706C9877F9 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:20:42] 797*2^1439968-1 is not prime. Res64: A75B4284153185E6 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:20:43] 827*2^1439968-1 is not prime. Res64: 7AEAB57155820515 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:28:49] 845*2^1439968-1 is not prime. Res64: C4EA47406B0AFFE1 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:28:49] 863*2^1439968-1 is not prime. Res64: 2F0D51FF141650D4 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:28:49] 631*2^1439969-1 is not prime. Res64: 3A740C0ACA3209B8 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:28:49] 679*2^1439969-1 is not prime. Res64: DB0853DB6D8213DB Time : 0.0 sec. user=mdettweiler [2016-09-17 04:28:50] 699*2^1439969-1 is not prime. Res64: 6C213132FACE81B1 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:31:38] 775*2^1439969-1 is not prime. Res64: 963CA579C00AAE41 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:31:38] 787*2^1439969-1 is not prime. Res64: A64D53A52FF8C725 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:31:39] 841*2^1439969-1 is not prime. Res64: C9402C0594576242 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:31:39] 861*2^1439969-1 is not prime. Res64: C9E05AF9228ACBC0 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:31:39] 957*2^1439969-1 is not prime. Res64: F3D741CED09C2872 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:43:45] 783*2^1439970-1 is not prime. Res64: D1190BD24C988CC8 Time : 0.0 sec. user=mdettweiler [2016-09-17 04:43:45] 833*2^1439970-1 is not prime. Res64: 65730BBB0B09538E Time : 0.0 sec. user=mdettweiler [2016-09-17 04:43:46] 851*2^1439970-1 is not prime. Res64: 2D5884A947F2D46E Time : 0.0 sec. user=mdettweiler [2016-09-17 04:43:46] 873*2^1439970-1 is not prime. Res64: DD9B9968867C719A Time : 0.0 sec. user=mdettweiler [2016-09-17 04:43:46] 971*2^1439970-1 is not prime. Res64: ED0124B1A63D442B Time : 0.0 sec. user=mdettweiler [2016-09-17 05:06:56] 615*2^1439971-1 is not prime. Res64: EFCCC47846906186 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:06:56] 651*2^1439971-1 is not prime. Res64: 1F8BF9D0D3E23852 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:06:57] 715*2^1439971-1 is not prime. Res64: BD911C0FB1710A4D Time : 0.0 sec. user=mdettweiler [2016-09-17 05:06:58] 745*2^1439971-1 is not prime. Res64: 9A00FE1B0AC558D6 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:06:58] 751*2^1439971-1 is not prime. Res64: E2DF7D96D6CDC98B Time : 0.0 sec. user=mdettweiler [2016-09-17 05:14:38] 819*2^1439971-1 is not prime. Res64: 53D2AB44BDF1B7DF Time : 0.0 sec. user=mdettweiler [2016-09-17 05:14:39] 885*2^1439971-1 is not prime. Res64: 301E08D2900E2DE5 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:14:40] 767*2^1439972-1 is not prime. Res64: F7647296919E6945 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:14:40] 923*2^1439972-1 is not prime. Res64: 2F9EB4BB3B1887B9 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:14:41] 977*2^1439972-1 is not prime. Res64: AC0DC91525D98041 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:16:38] 679*2^1439973-1 is not prime. Res64: AD71722020069AEF Time : 0.0 sec. user=mdettweiler [2016-09-17 05:16:39] 681*2^1439973-1 is not prime. Res64: 3512730E91CB2AC5 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:16:39] 699*2^1439973-1 is not prime. Res64: 970E26702217196F Time : 0.0 sec. user=mdettweiler [2016-09-17 05:16:40] 745*2^1439973-1 is not prime. Res64: 9741DD3288F5C2A7 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:16:41] 781*2^1439973-1 is not prime. Res64: F075F0095ECE58C7 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:28:40] 787*2^1439973-1 is not prime. Res64: C5D3A1190C56F138 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:28:40] 889*2^1439973-1 is not prime. Res64: EAACA724FC17E628 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:28:41] 901*2^1439973-1 is not prime. Res64: DD9C78E19612D9D6 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:28:41] 921*2^1439973-1 is not prime. Res64: 080DA05A15CA6B82 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:28:42] 605*2^1439974-1 is not prime. Res64: C91868B05EAC923A Time : 0.0 sec. user=mdettweiler [2016-09-17 05:51:52] 645*2^1439974-1 is not prime. Res64: 1289D2F2C2DE9F81 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:51:53] 677*2^1439974-1 is not prime. Res64: 9368D8CA2F5BDD09 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:51:53] 765*2^1439974-1 is not prime. Res64: 37B2B4296AF49E23 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:51:53] 861*2^1439974-1 is not prime. Res64: 79DF3DBE8604B713 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:51:54] 863*2^1439974-1 is not prime. Res64: 3AA1E2A0CCEE0C09 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:59:43] 945*2^1439974-1 is not prime. Res64: EFFBD0245364728D Time : 0.0 sec. user=mdettweiler [2016-09-17 05:59:43] 735*2^1439975-1 is not prime. Res64: C07DC06660FBD963 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:59:43] 781*2^1439975-1 is not prime. Res64: D997A769D7CB8AC7 Time : 0.0 sec. user=mdettweiler [2016-09-17 05:59:44] 825*2^1439975-1 is not prime. Res64: D59FB8CB933FFD7D Time : 0.0 sec. user=mdettweiler [2016-09-17 05:59:44] 909*2^1439975-1 is not prime. Res64: 8CD8A857A3A6EE42 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:01:46] 963*2^1439975-1 is not prime. Res64: 4D78D6F5AAD68618 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:01:47] 999*2^1439975-1 is not prime. Res64: AEF6B80E4660E638 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:01:47] 683*2^1439976-1 is not prime. Res64: 0799FBE5A0D19180 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:01:48] 707*2^1439976-1 is not prime. Res64: CF3F26679D05EB6D Time : 0.0 sec. user=mdettweiler [2016-09-17 06:01:49] 725*2^1439976-1 is not prime. Res64: C29592C5EADC3D7C Time : 0.0 sec. user=mdettweiler [2016-09-17 06:13:39] 837*2^1439976-1 is not prime. Res64: C582ACB9002CF963 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:13:39] 849*2^1439976-1 is not prime. Res64: 939C81BA099A5ECE Time : 0.0 sec. user=mdettweiler [2016-09-17 06:13:39] 639*2^1439977-1 is not prime. Res64: 90248DEEC09FAB85 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:13:40] 649*2^1439977-1 is not prime. Res64: 526BB98B1D19ABEB Time : 0.0 sec. user=mdettweiler [2016-09-17 06:13:40] 729*2^1439977-1 is not prime. Res64: 588878B4CBF8371A Time : 0.0 sec. user=mdettweiler [2016-09-17 06:36:58] 747*2^1439977-1 is not prime. Res64: 0295C3D4D89384BF Time : 0.0 sec. user=mdettweiler [2016-09-17 06:36:58] 777*2^1439977-1 is not prime. Res64: 78138017309B8B67 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:36:58] 801*2^1439977-1 is not prime. Res64: 6A58ECB9C86E580B Time : 0.0 sec. user=mdettweiler [2016-09-17 06:36:59] 831*2^1439977-1 is not prime. Res64: 087D1E9E7ADBD1E0 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:36:59] 931*2^1439977-1 is not prime. Res64: 356FEFC561F107FD Time : 0.0 sec. user=mdettweiler [2016-09-17 06:44:51] 955*2^1439977-1 is not prime. Res64: E83B24AB24CEBAA9 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:44:51] 645*2^1439978-1 is not prime. Res64: 04146DD00B5C1107 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:44:51] 743*2^1439978-1 is not prime. Res64: 0A22496033B824E9 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:44:52] 797*2^1439978-1 is not prime. Res64: 6FDD36225E8011DA Time : 0.0 sec. user=mdettweiler [2016-09-17 06:44:52] 815*2^1439978-1 is not prime. Res64: 0C0A01A97FC4817C Time : 0.0 sec. user=mdettweiler [2016-09-17 06:46:49] 867*2^1439978-1 is not prime. Res64: 90435D6F60715D69 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:46:49] 893*2^1439978-1 is not prime. Res64: F4AAB8ABB79A8FDB Time : 0.0 sec. user=mdettweiler [2016-09-17 06:46:50] 923*2^1439978-1 is not prime. Res64: 838ED7A2D4F374C7 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:46:50] 971*2^1439978-1 is not prime. Res64: E8F296F72931BEB7 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:46:51] 705*2^1439979-1 is not prime. Res64: 49A99935182790DF Time : 0.0 sec. user=mdettweiler [2016-09-17 06:58:42] 775*2^1439979-1 is not prime. Res64: E46D59460BE88F0F Time : 0.0 sec. user=mdettweiler [2016-09-17 06:58:43] 829*2^1439979-1 is not prime. Res64: 766DAFCD2DBBD318 Time : 0.0 sec. user=mdettweiler [2016-09-17 06:58:43] 853*2^1439979-1 is not prime. Res64: 5BFC4679F7E1B2DF Time : 0.0 sec. user=mdettweiler [2016-09-17 06:58:43] 859*2^1439979-1 is not prime. Res64: F7CD7AA3E755CA9C Time : 0.0 sec. user=mdettweiler [2016-09-17 06:58:44] 985*2^1439979-1 is not prime. Res64: 143391ACE9AE1893 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:21:45] 603*2^1439980-1 is not prime. Res64: 913FCD56816E12D8 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:21:46] 665*2^1439980-1 is not prime. Res64: 8EAAA97C179B1E4D Time : 0.0 sec. user=mdettweiler [2016-09-17 07:21:46] 719*2^1439980-1 is not prime. Res64: 096E62FFC31CD365 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:21:46] 845*2^1439980-1 is not prime. Res64: A3C1EC52A2E0A4B4 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:21:47] 887*2^1439980-1 is not prime. Res64: 96560203EF36D7BB Time : 0.0 sec. user=mdettweiler [2016-09-17 07:29:45] 899*2^1439980-1 is not prime. Res64: 9224ADCC2A5871EA Time : 0.0 sec. user=mdettweiler [2016-09-17 07:29:46] 989*2^1439980-1 is not prime. Res64: 7C8D1CDDE197860C Time : 0.0 sec. user=mdettweiler [2016-09-17 07:29:46] 691*2^1439981-1 is not prime. Res64: A8E082CE79CEBC67 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:29:46] 715*2^1439981-1 is not prime. Res64: 60C587D7BABD7738 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:29:47] 747*2^1439981-1 is not prime. Res64: E518A9F7697206D5 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:31:37] 757*2^1439981-1 is not prime. Res64: 9031889A06829AC0 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:31:37] 777*2^1439981-1 is not prime. Res64: 87664DCE67F27799 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:31:37] 937*2^1439981-1 is not prime. Res64: F06ECC0D5092F41C Time : 0.0 sec. user=mdettweiler [2016-09-17 07:31:38] 945*2^1439981-1 is not prime. Res64: F60E3C3364B38A83 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:31:38] 955*2^1439981-1 is not prime. Res64: B355CFE3781BCB77 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:43:35] 991*2^1439981-1 is not prime. Res64: BA334F09E21FB0FB Time : 0.0 sec. user=mdettweiler [2016-09-17 07:43:35] 621*2^1439982-1 is not prime. Res64: 288640597E65474B Time : 0.0 sec. user=mdettweiler [2016-09-17 07:43:35] 627*2^1439982-1 is not prime. Res64: EC444DE80E13D664 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:43:36] 681*2^1439982-1 is not prime. Res64: 7BC1651E4F6FE2B4 Time : 0.0 sec. user=mdettweiler [2016-09-17 07:43:36] 797*2^1439982-1 is not prime. Res64: 5CE6B3D5C4CA6245 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:06:27] 977*2^1439982-1 is not prime. Res64: 0A62DB4C36A9271E Time : 0.0 sec. user=mdettweiler [2016-09-17 08:06:29] 619*2^1439983-1 is not prime. Res64: 581049C8F6E7DDDD Time : 0.0 sec. user=mdettweiler [2016-09-17 08:06:29] 661*2^1439983-1 is not prime. Res64: F4CE164FB9AA8E61 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:06:30] 703*2^1439983-1 is not prime. Res64: C5B7DB67EF3E569E Time : 0.0 sec. user=mdettweiler [2016-09-17 08:06:31] 765*2^1439983-1 is not prime. Res64: 56B012944032355A Time : 0.0 sec. user=mdettweiler [2016-09-17 08:14:43] 853*2^1439983-1 is not prime. Res64: 2EAB9ECBDF3F2170 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:14:44] 885*2^1439983-1 is not prime. Res64: 36F3F41D624745FE Time : 0.0 sec. user=mdettweiler [2016-09-17 08:14:44] 915*2^1439983-1 is not prime. Res64: 15D4A871D64F24E7 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:14:44] 635*2^1439984-1 is not prime. Res64: 98B1139BD93DE290 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:14:45] 663*2^1439984-1 is not prime. Res64: 8A7A37F4B0543C2D Time : 0.0 sec. user=mdettweiler [2016-09-17 08:16:19] 677*2^1439984-1 is not prime. Res64: BD42CCA1FBB6BBF6 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:16:19] 747*2^1439984-1 is not prime. Res64: C4CCA40494FA52C1 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:16:20] 869*2^1439984-1 is not prime. Res64: E7268CFF73BD2A06 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:16:20] 935*2^1439984-1 is not prime. Res64: 291ADBF2751E8CC4 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:16:21] 983*2^1439984-1 is not prime. Res64: AB6DBD318C863F96 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:28:28] 705*2^1439985-1 is not prime. Res64: 2FCFE94AD42113D3 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:28:28] 777*2^1439985-1 is not prime. Res64: B514BAD867B140E9 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:28:29] 909*2^1439985-1 is not prime. Res64: A69A9CA1BAD9CAB4 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:28:29] 695*2^1439986-1 is not prime. Res64: 42B42A3B689978F1 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:28:29] 743*2^1439986-1 is not prime. Res64: B6364E968B819533 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:51:32] 815*2^1439986-1 is not prime. Res64: A05375C583F60F91 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:51:33] 821*2^1439986-1 is not prime. Res64: B51C18438EAB27CE Time : 0.0 sec. user=mdettweiler [2016-09-17 08:51:33] 911*2^1439986-1 is not prime. Res64: 8A5ABE4F81A3A9DB Time : 0.0 sec. user=mdettweiler [2016-09-17 08:51:33] 933*2^1439986-1 is not prime. Res64: 0A144353CEED4506 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:51:34] 971*2^1439986-1 is not prime. Res64: 134AFB0E33D78CC0 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:59:45] 615*2^1439987-1 is not prime. Res64: A1BDC1A485A0C436 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:59:45] 631*2^1439987-1 is not prime. Res64: A42BA51D12F68ED6 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:59:45] 633*2^1439987-1 is not prime. Res64: 0679A25E57165121 Time : 0.0 sec. user=mdettweiler [2016-09-17 08:59:46] 663*2^1439987-1 is not prime. Res64: B93DB2910A90B73E Time : 0.0 sec. user=mdettweiler [2016-09-17 08:59:46] 775*2^1439987-1 is not prime. Res64: BDC27655F7C71EC0 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:01:15] 799*2^1439987-1 is not prime. Res64: F3845865EB1359BA Time : 0.0 sec. user=mdettweiler [2016-09-17 09:01:16] 999*2^1439987-1 is not prime. Res64: 6732A53A185EC618 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:01:17] 669*2^1439988-1 is not prime. Res64: ECE08AD799DFE88F Time : 0.0 sec. user=mdettweiler [2016-09-17 09:01:18] 767*2^1439988-1 is not prime. Res64: B3038B49A2654BB1 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:01:19] 789*2^1439988-1 is not prime. Res64: E84DD7A140B6800A Time : 0.0 sec. user=mdettweiler [2016-09-17 09:13:27] 825*2^1439988-1 is not prime. Res64: 41458D7AB6FC84B9 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:13:29] 839*2^1439988-1 is not prime. Res64: 19B381C798D2CA2A Time : 0.0 sec. user=mdettweiler [2016-09-17 09:13:30] 845*2^1439988-1 is not prime. Res64: E8E910A2A103B8DC Time : 0.0 sec. user=mdettweiler [2016-09-17 09:13:31] 933*2^1439988-1 is not prime. Res64: 97C7B7E8F1FCDE36 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:13:32] 945*2^1439988-1 is not prime. Res64: F87AE38F9B88E767 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:36:30] 969*2^1439988-1 is not prime. Res64: 2A2D0FA6DF15E7B6 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:36:30] 609*2^1439989-1 is not prime. Res64: 1BE01D6BEE09232E Time : 0.0 sec. user=mdettweiler [2016-09-17 09:36:31] 615*2^1439989-1 is not prime. Res64: 1011CC7CEB03ECE4 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:36:31] 667*2^1439989-1 is not prime. Res64: 458AFDDF00E8C0A1 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:36:31] 681*2^1439989-1 is not prime. Res64: A7FEE3AA3637EF65 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:44:35] 685*2^1439989-1 is not prime. Res64: 83AAE133C5090D96 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:44:36] 687*2^1439989-1 is not prime. Res64: 16F7DD149A5B8092 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:44:36] 721*2^1439989-1 is not prime. Res64: A18B4A1122247452 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:44:36] 729*2^1439989-1 is not prime. Res64: 94A68CDC1E6629C8 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:44:37] 751*2^1439989-1 is not prime. Res64: C1A2C6DDDB6E42B5 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:46:14] 885*2^1439989-1 is not prime. Res64: 5E6FC7728348ADAD Time : 0.0 sec. user=mdettweiler [2016-09-17 09:46:15] 979*2^1439989-1 is not prime. Res64: 07124463523AF660 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:46:15] 845*2^1439990-1 is not prime. Res64: 09B16C38B0CD100A Time : 0.0 sec. user=mdettweiler [2016-09-17 09:46:15] 887*2^1439990-1 is not prime. Res64: 596AE4C30B852D5A Time : 0.0 sec. user=mdettweiler [2016-09-17 09:46:16] 911*2^1439990-1 is not prime. Res64: 9EC110CCFCF815ED Time : 0.0 sec. user=mdettweiler [2016-09-17 09:58:33] 953*2^1439990-1 is not prime. Res64: CA8C0E91BFF2CCAB Time : 0.0 sec. user=mdettweiler [2016-09-17 09:58:33] 615*2^1439991-1 is not prime. Res64: 86659B9A9C2C12C0 Time : 0.0 sec. user=mdettweiler [2016-09-17 09:58:34] 679*2^1439991-1 is not prime. Res64: D8625DCAE0B0CDAD Time : 0.0 sec. user=mdettweiler [2016-09-17 09:58:34] 745*2^1439991-1 is not prime. Res64: 41637D3FFC6A38FD Time : 0.0 sec. user=mdettweiler [2016-09-17 09:58:35] 795*2^1439991-1 is not prime. Res64: 451044897BA7EA0E Time : 0.0 sec. user=mdettweiler [2016-09-17 10:21:58] 901*2^1439991-1 is not prime. Res64: 2E28FFF9F7AA140B Time : 0.0 sec. user=mdettweiler [2016-09-17 10:21:58] 973*2^1439991-1 is not prime. Res64: AB0399526C7CF4D3 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:21:58] 615*2^1439992-1 is not prime. Res64: 0C24BD362535E721 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:21:59] 713*2^1439992-1 is not prime. Res64: BEE828BECACAB486 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:21:59] 723*2^1439992-1 is not prime. Res64: 25F3D483351C425D Time : 0.0 sec. user=mdettweiler [2016-09-17 10:30:09] 827*2^1439992-1 is not prime. Res64: EC385FD133F51365 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:30:09] 863*2^1439992-1 is not prime. Res64: DB58E93F1DB10DB0 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:30:09] 637*2^1439993-1 is not prime. Res64: A75F3B2DE4D3E610 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:30:09] 649*2^1439993-1 is not prime. Res64: 72455207C27BE3DC Time : 0.0 sec. user=mdettweiler [2016-09-17 10:30:10] 699*2^1439993-1 is not prime. Res64: 41AADF67B393982B Time : 0.0 sec. user=mdettweiler [2016-09-17 10:31:55] 745*2^1439993-1 is not prime. Res64: 037D5C819DB9922D Time : 0.0 sec. user=mdettweiler [2016-09-17 10:31:56] 787*2^1439993-1 is not prime. Res64: 28458879CB2E8A42 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:31:56] 795*2^1439993-1 is not prime. Res64: 8CC6E05994DDD2A8 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:31:56] 811*2^1439993-1 is not prime. Res64: DC8921C15B971326 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:31:56] 871*2^1439993-1 is not prime. Res64: 20F6983E48384B72 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:44:45] 889*2^1439993-1 is not prime. Res64: 0C918275383DFAF2 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:44:45] 957*2^1439993-1 is not prime. Res64: EFB93E34CA92C6B5 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:44:45] 621*2^1439994-1 is not prime. Res64: C1F66DA5880CB4BF Time : 0.0 sec. user=mdettweiler [2016-09-17 10:44:46] 723*2^1439994-1 is not prime. Res64: 58A563B3F728E1F9 Time : 0.0 sec. user=mdettweiler [2016-09-17 10:44:46] 821*2^1439994-1 is not prime. Res64: 6A45BFCABAACAF47 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:08:34] 861*2^1439994-1 is not prime. Res64: D4CF04A5C42257A5 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:08:36] 923*2^1439994-1 is not prime. Res64: C9628FA59543A012 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:08:38] 789*2^1439995-1 is not prime. Res64: C312F77891DBE07D Time : 0.0 sec. user=mdettweiler [2016-09-17 11:08:39] 985*2^1439995-1 is not prime. Res64: 02D73F5D56893126 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:08:40] 635*2^1439996-1 is not prime. Res64: F3F97B11B4D8C93B Time : 0.0 sec. user=mdettweiler [2016-09-17 11:16:42] 759*2^1439996-1 is not prime. Res64: 08D420C7FF2B39B8 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:16:43] 825*2^1439996-1 is not prime. Res64: DEED933E053B26B0 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:16:43] 857*2^1439996-1 is not prime. Res64: 6C2BF75986061BF5 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:16:43] 615*2^1439997-1 is not prime. Res64: A90A182B4477542B Time : 0.0 sec. user=mdettweiler [2016-09-17 11:16:43] 667*2^1439997-1 is not prime. Res64: 0CB007F401976E61 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:18:17] 889*2^1439997-1 is not prime. Res64: A5F7A43842F06427 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:18:17] 937*2^1439997-1 is not prime. Res64: 5653F74A4C2E2282 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:18:17] 979*2^1439997-1 is not prime. Res64: BF9413187873978F Time : 0.0 sec. user=mdettweiler [2016-09-17 11:18:17] 765*2^1439998-1 is not prime. Res64: 39554FC753E6D49A Time : 0.0 sec. user=mdettweiler [2016-09-17 11:18:18] 863*2^1439998-1 is not prime. Res64: 6F45E0487433332A Time : 0.0 sec. user=mdettweiler [2016-09-17 11:31:21] 957*2^1439998-1 is not prime. Res64: F6772BAC96BF50F4 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:31:22] 609*2^1439999-1 is not prime. Res64: 7E6DFBAB1D81E62E Time : 0.0 sec. user=mdettweiler [2016-09-17 11:31:22] 619*2^1439999-1 is not prime. Res64: 9995C6091EB5B2FF Time : 0.0 sec. user=mdettweiler [2016-09-17 11:31:22] 663*2^1439999-1 is not prime. Res64: E010FC0C96039925 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:31:22] 823*2^1439999-1 is not prime. Res64: 1C88B96196ECE48D Time : 0.0 sec. user=mdettweiler [2016-09-17 11:56:41] 885*2^1439999-1 is not prime. Res64: 623E12F207CB0F9A Time : 0.0 sec. user=mdettweiler [2016-09-17 11:56:41] 931*2^1439999-1 is not prime. Res64: 0945733353362F28 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:56:41] 979*2^1439999-1 is not prime. Res64: CF31693D86DCAD32 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:56:41] 985*2^1439999-1 is not prime. Res64: CF0C72D3F4CC6077 Time : 0.0 sec. user=mdettweiler [2016-09-17 11:56:42] 675*2^1440000-1 is not prime. Res64: E63EA864E3BCFEE9 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:13] 693*2^1440000-1 is not prime. Res64: 649E6041D45ACE4F Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:16] 765*2^1440000-1 is not prime. Res64: C9E8A754A9892DC5 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:18] 789*2^1440000-1 is not prime. Res64: 7388BF71C89524C9 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:20] 899*2^1440000-1 is not prime. Res64: 212CCF31BBE2EF7B Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:21] 615*2^1440001-1 is not prime. Res64: 335FAD5E4ADDD774 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:57] 687*2^1440001-1 is not prime. Res64: 72F81D67F90311A1 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:58] 691*2^1440001-1 is not prime. Res64: B3D512C0C9D462D8 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:06:59] 889*2^1440001-1 is not prime. Res64: 4E7597167A80F309 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:07:00] 895*2^1440001-1 is not prime. Res64: AE0851D53CC6A700 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:07:02] 925*2^1440001-1 is not prime. Res64: E519ADAB2F758F01 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:20:09] 997*2^1440001-1 is not prime. Res64: D76D384208293858 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:20:09] 713*2^1440002-1 is not prime. Res64: 0FAF4C67A926963B Time : 0.0 sec. user=mdettweiler [2016-09-17 12:20:09] 747*2^1440002-1 is not prime. Res64: FDE233E6A7169B8A Time : 0.0 sec. user=mdettweiler [2016-09-17 12:20:10] 771*2^1440002-1 is not prime. Res64: 8F1695759C0544DC Time : 0.0 sec. user=mdettweiler [2016-09-17 12:20:10] 867*2^1440002-1 is not prime. Res64: 3E06E4464D89EA5E Time : 0.0 sec. user=mdettweiler [2016-09-17 12:42:55] 915*2^1440002-1 is not prime. Res64: 7E47C9EBA6024E3C Time : 0.0 sec. user=mdettweiler [2016-09-17 12:42:56] 957*2^1440002-1 is not prime. Res64: 4A1E50DEDB56ACF1 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:42:57] 619*2^1440003-1 is not prime. Res64: 28A2338C0BE9353B Time : 0.0 sec. user=mdettweiler [2016-09-17 12:42:57] 765*2^1440003-1 is not prime. Res64: D7E161DA4F92ACF4 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:42:58] 775*2^1440003-1 is not prime. Res64: 55D105FD81CD7C40 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:15] 781*2^1440003-1 is not prime. Res64: DFD7FFF76FC55CF8 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:15] 801*2^1440003-1 is not prime. Res64: 01346C7215CA8E08 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:15] 805*2^1440003-1 is not prime. Res64: E147BD601B3623E3 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:15] 891*2^1440003-1 is not prime. Res64: E2754A73345B0191 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:16] 991*2^1440003-1 is not prime. Res64: 6B773F70D21879EB Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:21] 635*2^1440004-1 is not prime. Res64: 67D3FCF81F1FA145 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:21] 657*2^1440004-1 is not prime. Res64: 758C1973D8062A00 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:21] 773*2^1440004-1 is not prime. Res64: F67FCB8A91FAE2D3 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:22] 843*2^1440004-1 is not prime. Res64: AACF2532F877CAF7 Time : 0.0 sec. user=mdettweiler [2016-09-17 12:53:22] 863*2^1440004-1 is not prime. Res64: 087353A6A1E97849 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:07:48] 929*2^1440004-1 is not prime. Res64: EF23D17946E9C907 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:07:49] 721*2^1440005-1 is not prime. Res64: 896810B6A10164D8 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:07:50] 951*2^1440005-1 is not prime. Res64: 0F05B97781D05DD9 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:07:50] 957*2^1440005-1 is not prime. Res64: ACB30FCB9E45B469 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:07:51] 985*2^1440005-1 is not prime. Res64: 3FC3041114BF6A32 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:42] 601*2^1440007-1 is not prime. Res64: 1C44AD81EE72D19E Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:42] 615*2^1440007-1 is not prime. Res64: 011349F3F53BF94D Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:42] 619*2^1440007-1 is not prime. Res64: 16AA7AD4C2BD8BA3 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:43] 639*2^1440007-1 is not prime. Res64: CADF5579993D981D Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:43] 673*2^1440007-1 is not prime. Res64: B10C4778423C039C Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:58] 729*2^1440007-1 is not prime. Res64: E0AE91E0CB434D13 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:59] 759*2^1440007-1 is not prime. Res64: B1E5D1B52A9E2799 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:59] 805*2^1440007-1 is not prime. Res64: 0E7F6B464304925A Time : 0.0 sec. user=mdettweiler [2016-09-17 13:42:59] 939*2^1440007-1 is not prime. Res64: B2EBB7196244FD21 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:43:00] 603*2^1440008-1 is not prime. Res64: 6826AA38741B9544 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:31] 633*2^1440008-1 is not prime. Res64: D6A81846D678A143 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:32] 677*2^1440008-1 is not prime. Res64: 9A1898C3600AF46A Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:32] 699*2^1440008-1 is not prime. Res64: F47693354FC524CF Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:32] 819*2^1440008-1 is not prime. Res64: 642717E379B5DC7F Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:33] 843*2^1440008-1 is not prime. Res64: 40E6C3CB5B36F74F Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:42] 693*2^1440006-1 is not prime. Res64: E3227557EB8008DA Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:43] 755*2^1440006-1 is not prime. Res64: 05EFB6A535541AC0 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:43] 761*2^1440006-1 is not prime. Res64: F482DF48E2E57D27 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:43] 851*2^1440006-1 is not prime. Res64: 0A2FF2F17D630D62 Time : 0.0 sec. user=mdettweiler [2016-09-17 13:55:44] 891*2^1440006-1 is not prime. Res64: 13AFDE0BCD6D3FA7 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:26] 603*2^1440010-1 is not prime. Res64: 6F3A2577B8CD7A69 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:27] 605*2^1440010-1 is not prime. Res64: 424209C4584588BB Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:27] 633*2^1440010-1 is not prime. Res64: 9A8911E630543A66 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:28] 665*2^1440010-1 is not prime. Res64: 28F90D7CD407A4B0 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:28] 681*2^1440010-1 is not prime. Res64: 44BFB985B1625AED Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:30] 869*2^1440008-1 is not prime. Res64: B81FFA2DD46FFA6A Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:31] 945*2^1440008-1 is not prime. Res64: 7BFD89D4501C3D02 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:31] 711*2^1440009-1 is not prime. Res64: 049B29251FDFC171 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:32] 909*2^1440009-1 is not prime. Res64: 72901084092EAE08 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:30:32] 985*2^1440009-1 is not prime. Res64: 8E2F69FB71EA66C7 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:42:28] 701*2^1440010-1 is not prime. Res64: D36D797DC624FB8F Time : 0.0 sec. user=mdettweiler [2016-09-17 14:42:29] 827*2^1440010-1 is not prime. Res64: 025DB3749F09DCF3 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:42:29] 975*2^1440010-1 is not prime. Res64: 4880B233FA705DC9 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:42:29] 673*2^1440011-1 is not prime. Res64: E2054D4C7F662C7C Time : 0.0 sec. user=mdettweiler [2016-09-17 14:42:30] 705*2^1440011-1 is not prime. Res64: 58F9BF9FC4EE3832 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:43:10] 711*2^1440011-1 is not prime. Res64: F360976EF85082FA Time : 0.0 sec. user=mdettweiler [2016-09-17 14:43:10] 735*2^1440011-1 is not prime. Res64: 45818898D35A7AF9 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:43:11] 813*2^1440011-1 is not prime. Res64: 00358C75BF6D608C Time : 0.0 sec. user=mdettweiler [2016-09-17 14:43:11] 885*2^1440011-1 is not prime. Res64: 4E92A936AE34E574 Time : 0.0 sec. user=mdettweiler [2016-09-17 14:43:12] 889*2^1440011-1 is not prime. Res64: 9053E466A16D4881 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:10] 993*2^1440011-1 is not prime. Res64: 151006B73030278D Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:10] 647*2^1440012-1 is not prime. Res64: 6CE2AD026C0B7359 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:11] 803*2^1440012-1 is not prime. Res64: 45CF9699666E2B92 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:11] 875*2^1440012-1 is not prime. Res64: 9A75C6DFFBB496A1 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:11] 977*2^1440012-1 is not prime. Res64: 2275D22BF0D8BA25 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:12] 639*2^1440013-1 is not prime. Res64: 33E308BBACB2292A Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:12] 651*2^1440013-1 is not prime. Res64: 637BA84F38B5D4EC Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:13] 679*2^1440013-1 is not prime. Res64: B42EDE5841CD06B8 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:14] 805*2^1440013-1 is not prime. Res64: 10CBE12A576293B2 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:16:14] 817*2^1440013-1 is not prime. Res64: 781E1FFCBF9210EB Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:35] 855*2^1440013-1 is not prime. Res64: F1CE1A06E55C8069 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:35] 753*2^1440014-1 is not prime. Res64: 143CAB1C3EBE782D Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:36] 897*2^1440014-1 is not prime. Res64: CACA5613801334C8 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:36] 951*2^1440014-1 is not prime. Res64: 3ED7DBEF1A148F50 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:36] 953*2^1440014-1 is not prime. Res64: 4A900876E2F47AB8 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:51] 1001*2^1440014-1 is not prime. Res64: 8E9AA663CA00413D Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:51] 775*2^1440015-1 is not prime. Res64: 99A78C7207D9DFDB Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:52] 873*2^1440015-1 is not prime. Res64: E4BDE71143BE8F38 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:52] 909*2^1440015-1 is not prime. Res64: 14F3C0B576416334 Time : 0.0 sec. user=mdettweiler [2016-09-17 15:28:52] 963*2^1440015-1 is not prime. Res64: BB7F882C220796B4 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:05] 777*2^1440016-1 is not prime. Res64: F30817B94A61501D Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:05] 847*2^1440017-1 is not prime. Res64: C71ABBF8A2FA0311 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:06] 683*2^1440018-1 is not prime. Res64: 8AA0F3B3D8162C06 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:07] 705*2^1440018-1 is not prime. Res64: E6C448331F39A576 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:07] 619*2^1440019-1 is not prime. Res64: 1466BE93978C86B2 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:15] 693*2^1440016-1 is not prime. Res64: E1349177A6007978 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:16] 695*2^1440016-1 is not prime. Res64: 5414EC8C3AEE4940 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:16] 633*2^1440019-1 is not prime. Res64: A10861DBA55BBF8F Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:17] 693*2^1440019-1 is not prime. Res64: 3461D2B9241031E7 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:03:17] 811*2^1440019-1 is not prime. Res64: 75BC5B294EE34E94 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:04] 891*2^1440019-1 is not prime. Res64: 95CE16892ED60696 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:05] 813*2^1440020-1 is not prime. Res64: B608BC382EE360B1 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:05] 827*2^1440020-1 is not prime. Res64: E06E732755FA8301 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:05] 843*2^1440020-1 is not prime. Res64: 9157AE0F45BDBDF2 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:05] 875*2^1440020-1 is not prime. Res64: 6581A46DAD0A1ED3 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:38] 927*2^1440020-1 is not prime. Res64: 22393CF68226D9F0 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:38] 999*2^1440020-1 is not prime. Res64: 25AC0F405F0E8C32 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:38] 607*2^1440021-1 is not prime. Res64: 98267EDD40A0B24E Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:39] 625*2^1440021-1 is not prime. Res64: 0CF1226F2582F1A2 Time : 0.0 sec. user=mdettweiler [2016-09-17 16:18:39] 709*2^1440021-1 is not prime. Res64: E71A895E4F664625 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:09] 889*2^1440021-1 is not prime. Res64: A0FB453E4B658372 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:10] 949*2^1440021-1 is not prime. Res64: 2826B6B6F0D3C4EF Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:11] 975*2^1440021-1 is not prime. Res64: 3D53492A7CA40989 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:12] 603*2^1440022-1 is not prime. Res64: CF95F3CC7A4DE17F Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:12] 645*2^1440022-1 is not prime. Res64: EF364BD3BCD2B392 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:21] 647*2^1440022-1 is not prime. Res64: 95B8B1C361B2A491 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:22] 723*2^1440022-1 is not prime. Res64: FF32579CDF88466A Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:23] 843*2^1440022-1 is not prime. Res64: 2E655BDF818B96BB Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:23] 857*2^1440022-1 is not prime. Res64: A015C1E4EF7E6DA2 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:00:24] 897*2^1440022-1 is not prime. Res64: D2C485636B7E7065 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:19] 965*2^1440022-1 is not prime. Res64: 839AC63FF4A5E71A Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:20] 675*2^1440023-1 is not prime. Res64: 98712A4FA84C9AD7 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:21] 721*2^1440023-1 is not prime. Res64: 0A5750DCE423C9CF Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:21] 725*2^1440024-1 is not prime. Res64: FBB9CA797D91C7EA Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:22] 773*2^1440024-1 is not prime. Res64: 038AF6AAEF9CB449 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:51] 815*2^1440024-1 is not prime. Res64: D07E04B8DFA9AA7B Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:52] 667*2^1440025-1 is not prime. Res64: AB447F4890CB2836 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:53] 771*2^1440025-1 is not prime. Res64: 40EB2135C2353542 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:53] 871*2^1440025-1 is not prime. Res64: BD998E18940CBE9C Time : 0.0 sec. user=mdettweiler [2016-09-17 17:12:54] 919*2^1440025-1 is not prime. Res64: A9151A2C015248EE Time : 0.0 sec. user=mdettweiler [2016-09-17 17:45:50] 639*2^1440027-1 is not prime. Res64: F1F9358359FF9BB2 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:45:50] 685*2^1440027-1 is not prime. Res64: 6DC254E0C1461951 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:45:54] 765*2^1440027-1 is not prime. Res64: A251FFFE0BCD2B72 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:45:54] 793*2^1440027-1 is not prime. Res64: 20BEAE72D5A84B1D Time : 0.0 sec. user=mdettweiler [2016-09-17 17:45:55] 801*2^1440027-1 is not prime. Res64: D25D7EE6259A8D6F Time : 0.0 sec. user=mdettweiler [2016-09-17 17:57:55] 895*2^1440027-1 is not prime. Res64: A541783BD34D2C2C Time : 0.0 sec. user=mdettweiler [2016-09-17 17:57:56] 931*2^1440027-1 is not prime. Res64: 81F8188F92D94DB6 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:57:56] 979*2^1440027-1 is not prime. Res64: 2AC40770DFC07FB7 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:57:57] 603*2^1440028-1 is not prime. Res64: 4662B4C1E5D8B616 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:57:57] 657*2^1440028-1 is not prime. Res64: 0A8984248D0797CF Time : 0.0 sec. user=mdettweiler [2016-09-17 17:58:13] 689*2^1440028-1 is not prime. Res64: 60C61BF19F64DB56 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:58:13] 743*2^1440028-1 is not prime. Res64: EB1B852369288CA2 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:58:14] 777*2^1440028-1 is not prime. Res64: 770380353CD865D9 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:58:14] 833*2^1440028-1 is not prime. Res64: 3F7BD4241A13BBF1 Time : 0.0 sec. user=mdettweiler [2016-09-17 17:58:15] 875*2^1440028-1 is not prime. Res64: 0DE4D2C14066B01F Time : 0.0 sec. user=mdettweiler [2016-09-17 18:32:08] 947*2^1440028-1 is not prime. Res64: E68CCD4BB4A486F6 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:32:08] 729*2^1440029-1 is not prime. Res64: 0933ACB447AB3F01 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:32:09] 769*2^1440029-1 is not prime. Res64: 11693F653E0841C3 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:32:09] 775*2^1440029-1 is not prime. Res64: 4CD74995427EAA17 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:32:11] 787*2^1440029-1 is not prime. Res64: 065AB6C0877E26F0 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:04] 795*2^1440029-1 is not prime. Res64: 5B675FCF0873A15D Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:04] 811*2^1440029-1 is not prime. Res64: 9D28F9381640704B Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:06] 861*2^1440029-1 is not prime. Res64: 8ED6002F2E7DAE1B Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:06] 889*2^1440029-1 is not prime. Res64: 8A788F7277CF0824 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:08] 991*2^1440029-1 is not prime. Res64: 9546929141B5A141 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:10] 635*2^1440030-1 is not prime. Res64: E8664C6223C3B4CC Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:10] 711*2^1440030-1 is not prime. Res64: CFC7449C202C5963 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:11] 873*2^1440030-1 is not prime. Res64: FA333A3F19991FC6 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:11] 891*2^1440030-1 is not prime. Res64: 21CBCF52DA084315 Time : 0.0 sec. user=mdettweiler [2016-09-17 18:44:12] 601*2^1440031-1 is not prime. Res64: DA71198624341BE0 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:18:21] 703*2^1440031-1 is not prime. Res64: 4E0D7124393FAF55 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:18:22] 741*2^1440031-1 is not prime. Res64: D373720080F9DA1E Time : 0.0 sec. user=mdettweiler [2016-09-17 19:18:22] 745*2^1440031-1 is not prime. Res64: 894A8FAA60AE6022 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:18:22] 789*2^1440031-1 is not prime. Res64: E2C3372B648E6BB3 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:18:23] 841*2^1440031-1 is not prime. Res64: 38C315D6029A5CA7 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:56] 683*2^1440032-1 is not prime. Res64: F43AB8F9A794CE30 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:57] 699*2^1440032-1 is not prime. Res64: 7DCC02732FF63531 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:57] 755*2^1440032-1 is not prime. Res64: FB5E3964925DEEDD Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:58] 767*2^1440032-1 is not prime. Res64: F46574E50C29A56B Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:58] 825*2^1440032-1 is not prime. Res64: 6E072A9B1988061A Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:59] 861*2^1440031-1 is not prime. Res64: EED93A4D687E6175 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:59] 871*2^1440031-1 is not prime. Res64: 999FF3A47506C420 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:29:59] 999*2^1440031-1 is not prime. Res64: D6FCC2382B1EAF5F Time : 0.0 sec. user=mdettweiler [2016-09-17 19:30:00] 609*2^1440032-1 is not prime. Res64: B44248CA6129F3B1 Time : 0.0 sec. user=mdettweiler [2016-09-17 19:30:00] 677*2^1440032-1 is not prime. Res64: 830FC15AE11D0A97 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:04:17] 843*2^1440032-1 is not prime. Res64: 8D67594D6C272D62 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:04:18] 855*2^1440032-1 is not prime. Res64: 7F40798BEB6A1D96 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:04:19] 957*2^1440032-1 is not prime. Res64: FBE2CCE1E27A6B20 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:04:20] 781*2^1440033-1 is not prime. Res64: FB7DB7A9BE7DAA6B Time : 0.0 sec. user=mdettweiler [2016-09-17 20:04:21] 835*2^1440033-1 is not prime. Res64: FDBA3763682FE818 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:00] 867*2^1440033-1 is not prime. Res64: DEAE98D3C45960C0 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:01] 871*2^1440033-1 is not prime. Res64: BF121268A439900A Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:01] 891*2^1440033-1 is not prime. Res64: 8228487653DB73C1 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:02] 951*2^1440033-1 is not prime. Res64: 204F3445A02F44B5 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:03] 987*2^1440033-1 is not prime. Res64: D3096C17EF626EB5 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:20] 611*2^1440034-1 is not prime. Res64: E8E01131715483E2 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:21] 663*2^1440034-1 is not prime. Res64: F1A70F9C31348934 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:22] 717*2^1440034-1 is not prime. Res64: 405AA64D283E8FDD Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:22] 619*2^1440035-1 is not prime. Res64: 3024B76E1F411076 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:16:23] 643*2^1440035-1 is not prime. Res64: 868E956C2E59CBA4 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:34:53] 937*2^1440025-1 is not prime. Res64: 88FE61F4A89B5598 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:34:53] 623*2^1440026-1 is not prime. Res64: 971778B19A3B45CB Time : 0.0 sec. user=mdettweiler [2016-09-17 20:34:54] 635*2^1440026-1 is not prime. Res64: DA6AFC17A586F7EB Time : 0.0 sec. user=mdettweiler [2016-09-17 20:34:54] 875*2^1440026-1 is not prime. Res64: 025F3CE2560D35EF Time : 0.0 sec. user=mdettweiler [2016-09-17 20:34:54] 917*2^1440026-1 is not prime. Res64: A86C7176A680123F Time : 0.0 sec. user=mdettweiler [2016-09-17 20:51:35] 675*2^1440035-1 is not prime. Res64: 4071D3C6807B5265 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:51:35] 685*2^1440035-1 is not prime. Res64: 5F53F41FE733C8FC Time : 0.0 sec. user=mdettweiler [2016-09-17 20:51:36] 735*2^1440035-1 is not prime. Res64: 928292B5CCC9E987 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:51:36] 759*2^1440035-1 is not prime. Res64: DA212554D127F2F2 Time : 0.0 sec. user=mdettweiler [2016-09-17 20:51:37] 825*2^1440035-1 is not prime. Res64: 226F124ADF2B0506 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:29] 909*2^1440035-1 is not prime. Res64: 806E0BCFCC124EBF Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:30] 949*2^1440035-1 is not prime. Res64: 9215E88CF68C7A90 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:31] 963*2^1440035-1 is not prime. Res64: CFA6D3F91B6DFA85 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:32] 981*2^1440035-1 is not prime. Res64: 50070FA8BC7947BE Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:33] 653*2^1440036-1 is not prime. Res64: F134C4ECAD1DE048 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:49] 699*2^1440036-1 is not prime. Res64: C98B36ABDA034826 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:50] 879*2^1440036-1 is not prime. Res64: 4BFF48946860DE5B Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:51] 947*2^1440036-1 is not prime. Res64: ED67DC5BC5698ED3 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:52] 771*2^1440037-1 is not prime. Res64: BF115F96F41123FF Time : 0.0 sec. user=mdettweiler [2016-09-17 21:01:53] 819*2^1440037-1 is not prime. Res64: 231E67EFB80AE49E Time : 0.0 sec. user=mdettweiler [2016-09-17 21:19:44] 895*2^1440037-1 is not prime. Res64: 4FA171C384DCE219 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:19:44] 937*2^1440037-1 is not prime. Res64: EBDE05A85C36C7FB Time : 0.0 sec. user=mdettweiler [2016-09-17 21:19:45] 693*2^1440038-1 is not prime. Res64: 9C4451E7C2E9A7AE Time : 0.0 sec. user=mdettweiler [2016-09-17 21:19:45] 801*2^1440038-1 is not prime. Res64: CFA90C8D3E1FF59A Time : 0.0 sec. user=mdettweiler [2016-09-17 21:19:46] 813*2^1440038-1 is not prime. Res64: C8604F46D3380134 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:36:46] 915*2^1440038-1 is not prime. Res64: 02788A2063E798AC Time : 0.0 sec. user=mdettweiler [2016-09-17 21:36:46] 977*2^1440038-1 is not prime. Res64: 4FA1241C2ED08E34 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:36:47] 633*2^1440039-1 is not prime. Res64: 05A729AC52567EAB Time : 0.0 sec. user=mdettweiler [2016-09-17 21:36:47] 649*2^1440039-1 is not prime. Res64: 60CED5C8A434CC4D Time : 0.0 sec. user=mdettweiler [2016-09-17 21:36:48] 723*2^1440039-1 is not prime. Res64: EB865DA660BE7CF4 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:46:47] 833*2^1440040-1 is not prime. Res64: EA0DFDA2FE558066 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:46:47] 849*2^1440040-1 is not prime. Res64: 626DD9A7E438E900 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:46:48] 855*2^1440040-1 is not prime. Res64: 6F3C5C5CE85FBD12 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:46:48] 863*2^1440040-1 is not prime. Res64: 8C94983AF9522A14 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:46:49] 965*2^1440040-1 is not prime. Res64: 1B049B9D64A5A500 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:47:01] 859*2^1440039-1 is not prime. Res64: A3CC9B65DC7C8E0B Time : 0.0 sec. user=mdettweiler [2016-09-17 21:47:02] 605*2^1440040-1 is not prime. Res64: 3DC14C3D670873C7 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:47:02] 623*2^1440040-1 is not prime. Res64: E6A60182DCFA105C Time : 0.0 sec. user=mdettweiler [2016-09-17 21:47:02] 735*2^1440040-1 is not prime. Res64: 1C1F7CB0B4591D97 Time : 0.0 sec. user=mdettweiler [2016-09-17 21:47:03] 797*2^1440040-1 is not prime. Res64: 2C5F497130DCEA61 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:04:53] 657*2^1440041-1 is not prime. Res64: 6562794F9580066E Time : 0.0 sec. user=mdettweiler [2016-09-17 22:04:56] 865*2^1440041-1 is not prime. Res64: 30A67B284A1CC212 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:04:58] 907*2^1440041-1 is not prime. Res64: 5A8C4C6C5E0DA4F0 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:05:05] 931*2^1440041-1 is not prime. Res64: CEC4A9BF52818EA0 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:05:07] 987*2^1440041-1 is not prime. Res64: 97F7DC2110303178 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:21:58] 801*2^1440042-1 is not prime. Res64: 552B2751B74482C8 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:21:58] 893*2^1440042-1 is not prime. Res64: DDA1A130706E0C69 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:21:58] 951*2^1440042-1 is not prime. Res64: F90B9D334D030839 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:21:59] 633*2^1440043-1 is not prime. Res64: 20D53EBAB4192176 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:21:59] 693*2^1440043-1 is not prime. Res64: 18A9550BABE929B0 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:31:58] 723*2^1440043-1 is not prime. Res64: FD616DDA9EB34540 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:31:58] 741*2^1440043-1 is not prime. Res64: 482C264422E5260E Time : 0.0 sec. user=mdettweiler [2016-09-17 22:31:59] 999*2^1440043-1 is not prime. Res64: 6CB1BF8C0CD85086 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:31:59] 719*2^1440044-1 is not prime. Res64: 8F17626D137CE370 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:31:59] 795*2^1440044-1 is not prime. Res64: 81F2EAE15CB6B018 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:32:27] 837*2^1440044-1 is not prime. Res64: A69FE38B0E5819E6 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:32:27] 857*2^1440044-1 is not prime. Res64: D2FD43CE6194170E Time : 0.0 sec. user=mdettweiler [2016-09-17 22:32:28] 869*2^1440044-1 is not prime. Res64: CC5D0337A5B1258F Time : 0.0 sec. user=mdettweiler [2016-09-17 22:32:28] 875*2^1440044-1 is not prime. Res64: 47A07EBC8BADC51B Time : 0.0 sec. user=mdettweiler [2016-09-17 22:32:28] 993*2^1440044-1 is not prime. Res64: F8AF922FCE74B0BB Time : 0.0 sec. user=mdettweiler [2016-09-17 22:50:42] 649*2^1440045-1 is not prime. Res64: 0BAF8894E6BBC50F Time : 0.0 sec. user=mdettweiler [2016-09-17 22:50:42] 699*2^1440045-1 is not prime. Res64: 437D3447D6917EF3 Time : 0.0 sec. user=mdettweiler [2016-09-17 22:50:43] 751*2^1440045-1 is not prime. Res64: EB1C3D71A6F5764E Time : 0.0 sec. user=mdettweiler [2016-09-17 22:50:44] 895*2^1440045-1 is not prime. Res64: 368A3F8519D7CA4A Time : 0.0 sec. user=mdettweiler [2016-09-17 22:50:44] 915*2^1440045-1 is not prime. Res64: 9D84755399531002 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:07:28] 991*2^1440045-1 is not prime. Res64: BE354FF35C0E705F Time : 0.0 sec. user=mdettweiler [2016-09-17 23:07:30] 997*2^1440045-1 is not prime. Res64: 606A5D1FED55895D Time : 0.0 sec. user=mdettweiler [2016-09-17 23:07:31] 675*2^1440046-1 is not prime. Res64: 336B6C0616A9890E Time : 0.0 sec. user=mdettweiler [2016-09-17 23:07:32] 813*2^1440046-1 is not prime. Res64: 29727C8F2F7F258A Time : 0.0 sec. user=mdettweiler [2016-09-17 23:07:35] 821*2^1440046-1 is not prime. Res64: C78FC28052C578CA Time : 0.0 sec. user=mdettweiler [2016-09-17 23:16:58] 857*2^1440046-1 is not prime. Res64: 499F613842A35B51 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:16:59] 911*2^1440046-1 is not prime. Res64: BB4D4BA127FB822E Time : 0.0 sec. user=mdettweiler [2016-09-17 23:16:59] 957*2^1440046-1 is not prime. Res64: 1488AAF17D2D6CF9 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:00] 971*2^1440046-1 is not prime. Res64: C1698BADBD1E5B6A Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:00] 621*2^1440047-1 is not prime. Res64: 43DB40FB1C25838F Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:53] 669*2^1440047-1 is not prime. Res64: 233E3A25757078B6 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:53] 739*2^1440047-1 is not prime. Res64: BFBD2E1A1681969B Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:54] 775*2^1440047-1 is not prime. Res64: 4E23390C27BD9031 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:54] 813*2^1440047-1 is not prime. Res64: 445F57F7FA3BD5DA Time : 0.0 sec. user=mdettweiler [2016-09-17 23:17:54] 825*2^1440047-1 is not prime. Res64: 20AD8D665327E94A Time : 0.0 sec. user=mdettweiler [2016-09-17 23:35:57] 879*2^1440047-1 is not prime. Res64: BE7448E715AE6BD0 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:35:58] 915*2^1440047-1 is not prime. Res64: 85FEC56EFB087EFF Time : 0.0 sec. user=mdettweiler [2016-09-17 23:35:58] 683*2^1440048-1 is not prime. Res64: 108E066CB2563C8F Time : 0.0 sec. user=mdettweiler [2016-09-17 23:35:58] 765*2^1440048-1 is not prime. Res64: 64818FAF5C61F57E Time : 0.0 sec. user=mdettweiler [2016-09-17 23:35:59] 845*2^1440048-1 is not prime. Res64: 77DA0C41EB46ED17 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:52:53] 879*2^1440048-1 is not prime. Res64: 8E0318AA5B89153C Time : 0.0 sec. user=mdettweiler [2016-09-17 23:52:54] 975*2^1440048-1 is not prime. Res64: 22D99E148C04AD22 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:52:54] 679*2^1440049-1 is not prime. Res64: 4846EA337526FB79 Time : 0.0 sec. user=mdettweiler [2016-09-17 23:52:55] 789*2^1440049-1 is not prime. Res64: D2F4EAB4540B69AE Time : 0.0 sec. user=mdettweiler [2016-09-17 23:52:55] 855*2^1440049-1 is not prime. Res64: 3653A83B7DBF19E2 Time : 0.0 sec.