user=mdettweiler [2015-10-14 00:07:02] 911*2^1412018-1 is not prime. Res64: 9D917B6001BA4D77 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:07:03] 953*2^1412018-1 is not prime. Res64: DD42A4DA31701EE8 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:07:46] 991*2^1412019-1 is not prime. Res64: 9435CBC8615E9EC0 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:07:48] 609*2^1412020-1 is not prime. Res64: FA79A54CB3A7DA45 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:07:51] 741*2^1412019-1 is not prime. Res64: D2E28BA05964C967 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:07:52] 789*2^1412019-1 is not prime. Res64: 6FFC7C3AF5AD8DA0 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:08:22] 765*2^1412020-1 is not prime. Res64: 4E565A5B2D792AE6 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:08:23] 827*2^1412020-1 is not prime. Res64: 964E9D533565D1C2 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:13] 833*2^1412020-1 is not prime. Res64: 74B83A271F5F77D0 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:13] 999*2^1412020-1 is not prime. Res64: 91175B6DFF024A36 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:47] 675*2^1412021-1 is not prime. Res64: CAD1C77B1A2C94CF Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:47] 747*2^1412021-1 is not prime. Res64: FE2F4273AACE5DCD Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:54] 811*2^1412021-1 is not prime. Res64: 33132ED7B7C2E593 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:25:55] 855*2^1412021-1 is not prime. Res64: 5B99A760F1F8EEC2 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:26:23] 957*2^1412021-1 is not prime. Res64: F86151F2D8D1B5B4 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:26:23] 987*2^1412021-1 is not prime. Res64: 6093282BBDA573A9 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:06] 729*2^1412023-1 is not prime. Res64: EF12A24F9281BF25 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:06] 741*2^1412023-1 is not prime. Res64: 0F812BE0BC661DB3 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:37] 819*2^1412023-1 is not prime. Res64: 9CAEBC9701ACF640 Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:38] 913*2^1412023-1 is not prime. Res64: 9AAAA8B62E772E7C Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:52] 943*2^1412023-1 is not prime. Res64: 5DC202061D1A873D Time : 0.0 sec. user=mdettweiler [2015-10-14 00:43:52] 617*2^1412024-1 is not prime. Res64: 594D046E3D324CFC Time : 0.0 sec. user=mdettweiler [2015-10-14 00:44:13] 743*2^1412024-1 is not prime. Res64: A3E9B8DB1C9FD15B Time : 0.0 sec. user=mdettweiler [2015-10-14 00:44:13] 773*2^1412024-1 is not prime. Res64: 24E7F8081901C993 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:01:49] 843*2^1412024-1 is not prime. Res64: 1AC08962FDCB058B Time : 0.0 sec. user=mdettweiler [2015-10-14 01:01:50] 995*2^1412024-1 is not prime. Res64: 7069E819573018A8 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:09] 609*2^1412025-1 is not prime. Res64: A26EF2ABD37E7E65 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:10] 675*2^1412025-1 is not prime. Res64: 78F928BAA75C419E Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:38] 727*2^1412025-1 is not prime. Res64: 03B4553AB2023936 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:39] 735*2^1412025-1 is not prime. Res64: 2AD70CDA56A0CD5C Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:44] 777*2^1412025-1 is not prime. Res64: 9224521650FF8773 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:02:44] 861*2^1412025-1 is not prime. Res64: E47F0E58687D9467 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:20:29] 937*2^1412025-1 is not prime. Res64: A5790FF86067F60D Time : 0.0 sec. user=mdettweiler [2015-10-14 01:20:30] 951*2^1412025-1 is not prime. Res64: 338E8C702BA6E126 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:20:37] 611*2^1412026-1 is not prime. Res64: 2792BC61FC0C14C6 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:20:37] 617*2^1412026-1 is not prime. Res64: E65C0E72DFA1B774 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:21:02] 723*2^1412026-1 is not prime. Res64: 36092EF764F8446A Time : 0.0 sec. user=mdettweiler [2015-10-14 01:21:02] 777*2^1412026-1 is not prime. Res64: ED21A82DABAFEE3B Time : 0.0 sec. user=mdettweiler [2015-10-14 01:21:03] 801*2^1412026-1 is not prime. Res64: AC9F30FE1BBC0107 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:21:03] 887*2^1412026-1 is not prime. Res64: 4544F45490CC6D6C Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:19] 911*2^1412026-1 is not prime. Res64: 4BD899B261B23D4D Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:19] 669*2^1412027-1 is not prime. Res64: 8D6F2F268E69DBB1 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:30] 861*2^1412027-1 is not prime. Res64: 0D47ECBB4ADBDBA5 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:30] 871*2^1412027-1 is not prime. Res64: 948930B07D5E6BFD Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:50] 797*2^1412028-1 is not prime. Res64: 754F493013D11937 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:51] 803*2^1412028-1 is not prime. Res64: 87C31EAF0FB5ED99 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:51] 663*2^1412028-1 is not prime. Res64: 1EF0C90A34DFBBDE Time : 0.0 sec. user=mdettweiler [2015-10-14 01:38:51] 749*2^1412028-1 is not prime. Res64: 7557A7D85E28CB18 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:16] 809*2^1412028-1 is not prime. Res64: 9727BFED1C8F173C Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:16] 909*2^1412028-1 is not prime. Res64: 9DF35660EDACBAA1 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:28] 927*2^1412028-1 is not prime. Res64: 8644D447F95BC253 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:28] 959*2^1412028-1 is not prime. Res64: AC237F93F18DBD4C Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:49] 825*2^1412029-1 is not prime. Res64: C3EA2ABBA4E2A11A Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:50] 829*2^1412029-1 is not prime. Res64: DD6D310C2C6EB2D6 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:57] 769*2^1412029-1 is not prime. Res64: 3C63DDEC723EA329 Time : 0.0 sec. user=mdettweiler [2015-10-14 01:56:57] 799*2^1412029-1 is not prime. Res64: 0974A780A201977B Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:04] 861*2^1412029-1 is not prime. Res64: 0CCC2FD292BACECB Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:04] 895*2^1412029-1 is not prime. Res64: B826F95CB1F4004D Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:39] 951*2^1412029-1 is not prime. Res64: CA84C0D53DD2A82C Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:40] 615*2^1412030-1 is not prime. Res64: 1AE79229F7DA6557 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:47] 761*2^1412030-1 is not prime. Res64: F3A66FF35A7C9A92 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:17:47] 791*2^1412030-1 is not prime. Res64: D8A3C1226AA18B81 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:18:34] 833*2^1412030-1 is not prime. Res64: 1318B91B9A539F24 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:18:35] 843*2^1412030-1 is not prime. Res64: 6286397AAFD5E00F Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:24] 735*2^1412031-1 is not prime. Res64: B5FFF3560674382A Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:25] 615*2^1412031-1 is not prime. Res64: 64F3376B4D0C15F8 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:25] 675*2^1412032-1 is not prime. Res64: 3E18516A12C590F8 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:26] 669*2^1412031-1 is not prime. Res64: 8620D115FEC8A444 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:39] 965*2^1412032-1 is not prime. Res64: 03E885CA1E975DF2 Time : 0.0 sec. user=mdettweiler [2015-10-14 02:37:39] 983*2^1412032-1 is not prime. Res64: 3E27E3B53D733F2C Time : 0.0 sec. user=mdettweiler [2015-10-14 02:38:04] 759*2^1412033-1 is not prime. Res64: 1DB8DB741807F9FF Time : 0.0 sec. user=mdettweiler [2015-10-14 02:38:05] 787*2^1412033-1 is not prime. Res64: 040F086D9828680D Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:19] 789*2^1412033-1 is not prime. Res64: 1AA78CE04E88C164 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:20] 641*2^1412034-1 is not prime. Res64: 40779FB0849101A5 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:22] 891*2^1412034-1 is not prime. Res64: A6AEDF1EC889B577 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:22] 747*2^1412034-1 is not prime. Res64: 81E750A15CAA43BA Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:23] 983*2^1412034-1 is not prime. Res64: 75389C98BA304B00 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:24] 873*2^1412034-1 is not prime. Res64: 2476D061A1EC2AFE Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:35] 943*2^1412035-1 is not prime. Res64: F64CAD514773D4D1 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:00:36] 973*2^1412035-1 is not prime. Res64: 1C8A33EEF9F52D12 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:01] 953*2^1412036-1 is not prime. Res64: 0830788EF628A40E Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:02] 987*2^1412036-1 is not prime. Res64: E0B10B53816670CC Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:06] 897*2^1412036-1 is not prime. Res64: CDE66DDD6D8738CF Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:07] 927*2^1412036-1 is not prime. Res64: 936EAF74A78E3E10 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:17] 717*2^1412036-1 is not prime. Res64: FE9014C62DA7A7B6 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:19] 773*2^1412036-1 is not prime. Res64: 3F9938DC01FD138E Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:21] 699*2^1412037-1 is not prime. Res64: 320C4B619F69A6EE Time : 0.0 sec. user=mdettweiler [2015-10-14 03:19:23] 711*2^1412037-1 is not prime. Res64: 2E51145E73220353 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:42] 885*2^1412038-1 is not prime. Res64: 6F3F70E34F03DE4A Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:45] 987*2^1412038-1 is not prime. Res64: 8D40B92E17580AE7 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:48] 615*2^1412039-1 is not prime. Res64: 3E41BB1AD2EB2A3F Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:50] 661*2^1412039-1 is not prime. Res64: B9645884D0EA4A07 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:51] 895*2^1412037-1 is not prime. Res64: A119027A7A0C2776 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:56] 665*2^1412038-1 is not prime. Res64: 1701774E26B440E3 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:36:58] 813*2^1412039-1 is not prime. Res64: CFBDFD63D675E408 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:37:02] 841*2^1412039-1 is not prime. Res64: 8938223699703501 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:22] 629*2^1412040-1 is not prime. Res64: DBB0991CBDE8CA72 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:25] 735*2^1412040-1 is not prime. Res64: 7A1E46C64F9141CC Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:30] 809*2^1412040-1 is not prime. Res64: 643A2A7A4F80A030 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:33] 601*2^1412041-1 is not prime. Res64: FA4E4CA5882C27C4 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:36] 753*2^1412040-1 is not prime. Res64: 97C8B98BF30C5C83 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:39] 847*2^1412041-1 is not prime. Res64: E4A6F9CB947D03B1 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:43] 615*2^1412042-1 is not prime. Res64: 9A888EFAD8756B64 Time : 0.0 sec. user=mdettweiler [2015-10-14 03:54:46] 797*2^1412040-1 is not prime. Res64: 7ACD317C09267BD9 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:40] 645*2^1412042-1 is not prime. Res64: A3182421C127E7E7 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:41] 735*2^1412042-1 is not prime. Res64: FA478C1865694CF7 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:42] 665*2^1412042-1 is not prime. Res64: F7F32F514AB00F0E Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:43] 767*2^1412042-1 is not prime. Res64: A7EACAC8386C15F0 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:50] 887*2^1412042-1 is not prime. Res64: 96D0BB734BE23D06 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:12:51] 893*2^1412042-1 is not prime. Res64: 067B51A600579AC2 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:29] 873*2^1412043-1 is not prime. Res64: 1D4CDDDA9445F028 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:30] 891*2^1412043-1 is not prime. Res64: 784C1737AEEFE70C Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:31] 945*2^1412043-1 is not prime. Res64: 59B634044C8CE9AE Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:31] 615*2^1412044-1 is not prime. Res64: 654E114F7EA17948 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:37] 749*2^1412044-1 is not prime. Res64: 683E61F5261EE862 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:30:37] 813*2^1412044-1 is not prime. Res64: F9F35FB4E83A7C9F Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:16] 987*2^1412044-1 is not prime. Res64: BB0AD742ACAD79E0 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:17] 989*2^1412044-1 is not prime. Res64: 7CDE16508ABB9C1A Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:20] 697*2^1412045-1 is not prime. Res64: 5CC7DD964674F134 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:21] 787*2^1412045-1 is not prime. Res64: FEB7028DF67D912A Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:31] 863*2^1412044-1 is not prime. Res64: 36B0D90309E10827 Time : 0.0 sec. user=mdettweiler [2015-10-14 04:48:32] 887*2^1412044-1 is not prime. Res64: 4AC8EAB55AC75757 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:01:16] 995*2^1412042-1 is not prime. Res64: DA8174BB5636544B Time : 0.0 sec. user=mdettweiler [2015-10-14 05:05:54] 799*2^1412045-1 is not prime. Res64: C184B11B9589779D Time : 0.0 sec. user=mdettweiler [2015-10-14 05:05:55] 865*2^1412045-1 is not prime. Res64: C11F59117D4FA4C9 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:06:01] 861*2^1412045-1 is not prime. Res64: DCED62157465281C Time : 0.0 sec. user=mdettweiler [2015-10-14 05:06:02] 969*2^1412045-1 is not prime. Res64: AB609A12C11D274E Time : 0.0 sec. user=mdettweiler [2015-10-14 05:06:32] 641*2^1412046-1 is not prime. Res64: 22FB19F677330066 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:06:34] 807*2^1412046-1 is not prime. Res64: 37AFB9F3BD3B3E3E Time : 0.0 sec. user=mdettweiler [2015-10-14 05:24:35] 639*2^1412047-1 is not prime. Res64: E5B57DEA733209E9 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:24:35] 651*2^1412047-1 is not prime. Res64: 77D8B8AA260AEE2F Time : 0.0 sec. user=mdettweiler [2015-10-14 05:24:46] 867*2^1412046-1 is not prime. Res64: C601BCAD878BB56E Time : 0.0 sec. user=mdettweiler [2015-10-14 05:24:46] 941*2^1412046-1 is not prime. Res64: 87D6C50FAD1FE72D Time : 0.0 sec. user=mdettweiler [2015-10-14 05:25:35] 735*2^1412047-1 is not prime. Res64: 68DF949782F09B53 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:25:35] 861*2^1412047-1 is not prime. Res64: B74BBBFEF9178975 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:30:18] 919*2^1412047-1 is not prime. Res64: 9D55DD68B0916174 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:30:18] 951*2^1412047-1 is not prime. Res64: 2968922CDA61B719 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:42:05] 961*2^1412047-1 is not prime. Res64: 57B380425EA6BEB4 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:42:05] 657*2^1412048-1 is not prime. Res64: 1FC6B8F91B906FA3 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:42:21] 747*2^1412048-1 is not prime. Res64: F52415FEDCBEC672 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:42:22] 813*2^1412048-1 is not prime. Res64: 592A7FDB3B8671E7 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:43:00] 815*2^1412048-1 is not prime. Res64: 99B6FBADEC4BA523 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:43:00] 825*2^1412048-1 is not prime. Res64: 54331603C6E9E4CE Time : 0.0 sec. user=mdettweiler [2015-10-14 05:47:45] 839*2^1412048-1 is not prime. Res64: 2FEEEE2D75D2C4C5 Time : 0.0 sec. user=mdettweiler [2015-10-14 05:47:45] 855*2^1412048-1 is not prime. Res64: 5C7EBB88ACE51C6A Time : 0.0 sec. user=mdettweiler [2015-10-14 05:59:36] 929*2^1412048-1 is not prime. Res64: E4C3A1D63D9A5ABA Time : 0.0 sec. user=mdettweiler [2015-10-14 05:59:37] 959*2^1412048-1 is not prime. Res64: 98C630A5E4DEE166 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:00:11] 711*2^1412049-1 is not prime. Res64: 796FFF72E6578E58 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:00:12] 765*2^1412049-1 is not prime. Res64: D8BB10805A1C627A Time : 0.0 sec. user=mdettweiler [2015-10-14 06:00:30] 885*2^1412049-1 is not prime. Res64: 622A4D474E663018 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:00:32] 951*2^1412049-1 is not prime. Res64: EE80A307F15B4BE2 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:05:12] 611*2^1412050-1 is not prime. Res64: 5E95142FD1779C60 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:05:13] 647*2^1412050-1 is not prime. Res64: 6F68E80D21AEFAD0 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:17:09] 801*2^1412050-1 is not prime. Res64: 3BDEE7ADF533DF57 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:17:10] 891*2^1412050-1 is not prime. Res64: 82C708964344A012 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:17:54] 987*2^1412050-1 is not prime. Res64: 8D5429027024EA8B Time : 0.0 sec. user=mdettweiler [2015-10-14 06:17:55] 651*2^1412051-1 is not prime. Res64: 77A7F941D46E44FE Time : 0.0 sec. user=mdettweiler [2015-10-14 06:18:08] 921*2^1412051-1 is not prime. Res64: AA84546D87FBE8F5 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:18:08] 955*2^1412051-1 is not prime. Res64: DF529977E49FA273 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:22:48] 979*2^1412051-1 is not prime. Res64: E95083A0685F3A29 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:22:49] 615*2^1412052-1 is not prime. Res64: 4B03F55BAF68258F Time : 0.0 sec. user=mdettweiler [2015-10-14 06:35:13] 947*2^1412052-1 is not prime. Res64: E234CAE1F730062D Time : 0.0 sec. user=mdettweiler [2015-10-14 06:35:14] 621*2^1412053-1 is not prime. Res64: 567734CB1D7D92F7 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:36:28] 625*2^1412053-1 is not prime. Res64: 655150AC32AE9265 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:36:29] 681*2^1412053-1 is not prime. Res64: 6767A2C572AE024A Time : 0.0 sec. user=mdettweiler [2015-10-14 06:38:22] 715*2^1412053-1 is not prime. Res64: FF5F4FC7EBB3F118 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:38:23] 727*2^1412053-1 is not prime. Res64: 218E213A6C1804A8 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:42:44] 729*2^1412053-1 is not prime. Res64: CB9C6BBBD3094316 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:42:44] 771*2^1412053-1 is not prime. Res64: F5DB0CCEEE5B1758 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:52:57] 801*2^1412053-1 is not prime. Res64: 950194DD5E32DD38 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:52:57] 855*2^1412053-1 is not prime. Res64: 385E30FAD37AD530 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:54:24] 877*2^1412053-1 is not prime. Res64: 7BE82A44E3709AB2 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:54:25] 987*2^1412053-1 is not prime. Res64: 8CEFFC67EAA0ADB8 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:55:55] 623*2^1412054-1 is not prime. Res64: A5FF3B371F220CD0 Time : 0.0 sec. user=mdettweiler [2015-10-14 06:55:56] 635*2^1412054-1 is not prime. Res64: 6AF2ADE4ED131253 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:00:09] 687*2^1412054-1 is not prime. Res64: AE9F34EF3EAC1243 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:00:10] 795*2^1412054-1 is not prime. Res64: D56E4BAC23967B47 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:10:26] 827*2^1412054-1 is not prime. Res64: 4D7D9A224CD57E70 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:10:27] 601*2^1412055-1 is not prime. Res64: A29AA16E3E876AFF Time : 0.0 sec. user=mdettweiler [2015-10-14 07:11:53] 663*2^1412055-1 is not prime. Res64: E7D2D5249DCECFB2 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:11:53] 691*2^1412055-1 is not prime. Res64: 36CFE82B61D4A3D1 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:13:31] 709*2^1412055-1 is not prime. Res64: 56BB3536A0D9ACAB Time : 0.0 sec. user=mdettweiler [2015-10-14 07:13:31] 751*2^1412055-1 is not prime. Res64: DE09A3A66D057018 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:17:47] 763*2^1412055-1 is not prime. Res64: 3B8274FA3EEAD324 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:17:47] 795*2^1412055-1 is not prime. Res64: 24601527B8DF057B Time : 0.0 sec. user=mdettweiler [2015-10-14 07:28:10] 825*2^1412055-1 is not prime. Res64: C9A72FA8492E8CCC Time : 0.0 sec. user=mdettweiler [2015-10-14 07:28:11] 853*2^1412055-1 is not prime. Res64: F0B3E21769C30BDB Time : 0.0 sec. user=mdettweiler [2015-10-14 07:29:23] 861*2^1412055-1 is not prime. Res64: 555A6A8029E20819 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:29:24] 871*2^1412055-1 is not prime. Res64: 0E830B6337B0A507 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:31:03] 909*2^1412055-1 is not prime. Res64: 6BB7915D01E9F940 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:31:03] 951*2^1412055-1 is not prime. Res64: 0BD127E85D392504 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:35:16] 979*2^1412055-1 is not prime. Res64: FE30BF11F950CD3B Time : 0.0 sec. user=mdettweiler [2015-10-14 07:35:17] 623*2^1412056-1 is not prime. Res64: A5B9D50B5DD63121 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:45:43] 657*2^1412056-1 is not prime. Res64: C2485E538E8D1B5C Time : 0.0 sec. user=mdettweiler [2015-10-14 07:45:43] 707*2^1412056-1 is not prime. Res64: 35055AC66BDF9844 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:46:55] 803*2^1412056-1 is not prime. Res64: C80E93BBF51EA657 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:46:55] 903*2^1412056-1 is not prime. Res64: 0CDDA56C2C61808E Time : 0.0 sec. user=mdettweiler [2015-10-14 07:48:39] 989*2^1412056-1 is not prime. Res64: D68A60D99D748505 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:48:39] 999*2^1412056-1 is not prime. Res64: D7683D30F106EA9B Time : 0.0 sec. user=mdettweiler [2015-10-14 07:52:53] 607*2^1412057-1 is not prime. Res64: 4B94E4F6DC3F2965 Time : 0.0 sec. user=mdettweiler [2015-10-14 07:52:53] 741*2^1412057-1 is not prime. Res64: 308DADD12DE2E000 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:03:14] 795*2^1412057-1 is not prime. Res64: 4303055C0408E8F3 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:03:15] 837*2^1412057-1 is not prime. Res64: 68C9F32B51A53363 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:04:27] 861*2^1412057-1 is not prime. Res64: EE0F32F4AC934B2F Time : 0.0 sec. user=mdettweiler [2015-10-14 08:04:29] 991*2^1412057-1 is not prime. Res64: 27F66B5BFE6833A7 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:06:13] 997*2^1412057-1 is not prime. Res64: C8BB5E94BFBFFD2A Time : 0.0 sec. user=mdettweiler [2015-10-14 08:06:14] 651*2^1412058-1 is not prime. Res64: 9C161EE97DF50E69 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:10:24] 677*2^1412058-1 is not prime. Res64: D22C63B6927E8007 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:10:25] 725*2^1412058-1 is not prime. Res64: 539FF32131D91CC7 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:20:48] 837*2^1412058-1 is not prime. Res64: 11D4AEDC9D79D1E1 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:20:49] 893*2^1412058-1 is not prime. Res64: 547353E71ED3E562 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:22:01] 951*2^1412058-1 is not prime. Res64: 6A412FC9F52DB3DD Time : 0.0 sec. user=mdettweiler [2015-10-14 08:22:02] 679*2^1412059-1 is not prime. Res64: 865962ABCA11EE4E Time : 0.0 sec. user=mdettweiler [2015-10-14 08:23:49] 685*2^1412059-1 is not prime. Res64: 947A7AD31FAB7E4F Time : 0.0 sec. user=mdettweiler [2015-10-14 08:23:49] 741*2^1412059-1 is not prime. Res64: 3FC30D0A9A409872 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:28:01] 735*2^1412060-1 is not prime. Res64: 47DC16CC2E9F28EE Time : 0.0 sec. user=mdettweiler [2015-10-14 08:28:02] 785*2^1412060-1 is not prime. Res64: 24FDD3408DADA75C Time : 0.0 sec. user=mdettweiler [2015-10-14 08:38:23] 843*2^1412060-1 is not prime. Res64: A6BCE0A3E0F5B582 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:38:23] 855*2^1412060-1 is not prime. Res64: E05038147A610950 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:39:37] 879*2^1412060-1 is not prime. Res64: E7CD0A35E6B84CDB Time : 0.0 sec. user=mdettweiler [2015-10-14 08:39:37] 983*2^1412060-1 is not prime. Res64: 2E0CA3528801A6E5 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:41:18] 995*2^1412060-1 is not prime. Res64: A2F76A3C32B35441 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:41:18] 649*2^1412061-1 is not prime. Res64: 7C8A3B5E711B88C0 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:45:28] 997*2^1412061-1 is not prime. Res64: 533B4BA0EC050500 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:45:29] 621*2^1412062-1 is not prime. Res64: 09CD1F1D8779EF47 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:55:49] 671*2^1412062-1 is not prime. Res64: 43FD6ECADA5FE374 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:55:49] 747*2^1412062-1 is not prime. Res64: 487876FCF9A0699C Time : 0.0 sec. user=mdettweiler [2015-10-14 08:57:07] 917*2^1412062-1 is not prime. Res64: 2FCCAF3A4364300A Time : 0.0 sec. user=mdettweiler [2015-10-14 08:57:08] 951*2^1412062-1 is not prime. Res64: 8ADC69F3065E5489 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:58:48] 957*2^1412062-1 is not prime. Res64: D6BFF5E08FE1AC37 Time : 0.0 sec. user=mdettweiler [2015-10-14 08:58:49] 609*2^1412063-1 is not prime. Res64: 034368D828159C1F Time : 0.0 sec. user=mdettweiler [2015-10-14 09:03:12] 643*2^1412063-1 is not prime. Res64: B92428018183D0E8 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:03:14] 685*2^1412063-1 is not prime. Res64: F059BFD3652880C2 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:13:25] 715*2^1412063-1 is not prime. Res64: 8A95BE854F486569 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:13:27] 735*2^1412063-1 is not prime. Res64: 4416A0807CBC31D2 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:14:38] 913*2^1412063-1 is not prime. Res64: 30A280F0A7BAA7F0 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:14:42] 985*2^1412063-1 is not prime. Res64: 274059AB6419B47A Time : 0.0 sec. user=mdettweiler [2015-10-14 09:16:17] 627*2^1412064-1 is not prime. Res64: EC385E3E1A4624CC Time : 0.0 sec. user=mdettweiler [2015-10-14 09:16:26] 635*2^1412064-1 is not prime. Res64: 9CBC4006E2AB728A Time : 0.0 sec. user=mdettweiler [2015-10-14 09:20:58] 657*2^1412064-1 is not prime. Res64: 8BC1365DFE560C5B Time : 0.0 sec. user=mdettweiler [2015-10-14 09:20:58] 759*2^1412064-1 is not prime. Res64: 84EA4B0CCB29A2AC Time : 0.0 sec. user=mdettweiler [2015-10-14 09:31:31] 803*2^1412064-1 is not prime. Res64: 5DCF0106BE2029A5 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:31:31] 849*2^1412064-1 is not prime. Res64: F5C6A480BD2E4E6D Time : 0.0 sec. user=mdettweiler [2015-10-14 09:32:14] 863*2^1412064-1 is not prime. Res64: 7033473F94F36268 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:32:15] 957*2^1412064-1 is not prime. Res64: EF45C9FEA6EF9485 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:34:01] 661*2^1412065-1 is not prime. Res64: 3736D53EF3D57134 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:34:02] 687*2^1412065-1 is not prime. Res64: F49D750B84C6F33F Time : 0.0 sec. user=mdettweiler [2015-10-14 09:38:24] 705*2^1412065-1 is not prime. Res64: E4A1D42FD54FD25F Time : 0.0 sec. user=mdettweiler [2015-10-14 09:38:25] 729*2^1412065-1 is not prime. Res64: 61BADFB93109B078 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:49:01] 765*2^1412065-1 is not prime. Res64: 07CED30D91625CA3 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:49:02] 867*2^1412065-1 is not prime. Res64: 938A531D3BBB20CD Time : 0.0 sec. user=mdettweiler [2015-10-14 09:49:47] 895*2^1412065-1 is not prime. Res64: 12DC895BE2174B60 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:49:48] 837*2^1412066-1 is not prime. Res64: 3C6BF7D20B5D31EE Time : 0.0 sec. user=mdettweiler [2015-10-14 09:51:28] 957*2^1412066-1 is not prime. Res64: E3FFB9A32A841C36 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:51:29] 621*2^1412067-1 is not prime. Res64: 59FFE18EFDC81A28 Time : 0.0 sec. user=mdettweiler [2015-10-14 09:55:53] 703*2^1412067-1 is not prime. Res64: 121BAB4534D09E9B Time : 0.0 sec. user=mdettweiler [2015-10-14 09:55:53] 781*2^1412067-1 is not prime. Res64: 7947E12BED59DB2A Time : 0.0 sec. user=mdettweiler [2015-10-14 10:06:37] 825*2^1412067-1 is not prime. Res64: 313455C3C0F1442B Time : 0.0 sec. user=mdettweiler [2015-10-14 10:06:38] 909*2^1412067-1 is not prime. Res64: D84380C9007927E4 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:07:21] 945*2^1412067-1 is not prime. Res64: 761A6973417ADCB7 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:07:21] 973*2^1412067-1 is not prime. Res64: B4ADB31B8BD1DB58 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:09:01] 617*2^1412068-1 is not prime. Res64: 41A3765804FBF934 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:09:02] 635*2^1412068-1 is not prime. Res64: 399B9CEB415FFCF1 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:13:30] 797*2^1412068-1 is not prime. Res64: 140BE63690B4FE09 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:13:31] 645*2^1412069-1 is not prime. Res64: 7BEDBFB3963E5AA6 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:24:16] 691*2^1412069-1 is not prime. Res64: 569F54B6FF86D858 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:24:17] 721*2^1412069-1 is not prime. Res64: 07A320CC08A354EB Time : 0.0 sec. user=mdettweiler [2015-10-14 10:24:59] 897*2^1412069-1 is not prime. Res64: 7AA7F7071E080754 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:24:59] 979*2^1412069-1 is not prime. Res64: D3912C509713D1ED Time : 0.0 sec. user=mdettweiler [2015-10-14 10:26:39] 997*2^1412069-1 is not prime. Res64: 3800AE1E3A7E9756 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:26:40] 647*2^1412070-1 is not prime. Res64: B738BA9B9AD843AA Time : 0.0 sec. user=mdettweiler [2015-10-14 10:31:34] 765*2^1412070-1 is not prime. Res64: 143B114D085DF248 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:31:34] 681*2^1412071-1 is not prime. Res64: D1EE36156DFD2FDF Time : 0.0 sec. user=mdettweiler [2015-10-14 10:42:48] 693*2^1412071-1 is not prime. Res64: C52D48BCA3915E41 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:42:48] 735*2^1412071-1 is not prime. Res64: 173BBE0A65CB61FC Time : 0.0 sec. user=mdettweiler [2015-10-14 10:43:22] 789*2^1412071-1 is not prime. Res64: 799C3392FDAFD127 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:43:22] 859*2^1412071-1 is not prime. Res64: 702B2FBA4DF707C4 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:45:09] 901*2^1412071-1 is not prime. Res64: C42407D19D17CA31 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:45:09] 925*2^1412071-1 is not prime. Res64: 46BB0F9E22BBB75C Time : 0.0 sec. user=mdettweiler [2015-10-14 10:49:51] 943*2^1412071-1 is not prime. Res64: 87EF77D8CD12FE47 Time : 0.0 sec. user=mdettweiler [2015-10-14 10:49:51] 603*2^1412072-1 is not prime. Res64: BA42775633F1F662 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:01:09] 633*2^1412072-1 is not prime. Res64: B44FD51E808444CA Time : 0.0 sec. user=mdettweiler [2015-10-14 11:01:10] 699*2^1412072-1 is not prime. Res64: EF918DC5984E922E Time : 0.0 sec. user=mdettweiler [2015-10-14 11:01:41] 767*2^1412072-1 is not prime. Res64: 33F861E5A341C843 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:01:41] 819*2^1412072-1 is not prime. Res64: 251BE20B359A4AF1 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:03:08] 609*2^1412073-1 is not prime. Res64: 68266EC52ADB8566 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:03:09] 627*2^1412073-1 is not prime. Res64: 78B3276626B3E83C Time : 0.0 sec. user=mdettweiler [2015-10-14 11:08:05] 679*2^1412073-1 is not prime. Res64: 35CBB6C23A52D899 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:08:06] 807*2^1412073-1 is not prime. Res64: F3C68662B9DC4F7F Time : 0.0 sec. user=mdettweiler [2015-10-14 11:19:27] 895*2^1412073-1 is not prime. Res64: 94D6DC1D8451B46C Time : 0.0 sec. user=mdettweiler [2015-10-14 11:19:27] 915*2^1412073-1 is not prime. Res64: 8FAF65B3DCD1911F Time : 0.0 sec. user=mdettweiler [2015-10-14 11:19:55] 687*2^1412074-1 is not prime. Res64: 9C2BFD6473252752 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:19:55] 707*2^1412074-1 is not prime. Res64: 132EC0F5B177F473 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:21:29] 737*2^1412074-1 is not prime. Res64: 0D05DB86DA27AC6E Time : 0.0 sec. user=mdettweiler [2015-10-14 11:21:29] 741*2^1412074-1 is not prime. Res64: C36EEB97D5D47BEE Time : 0.0 sec. user=mdettweiler [2015-10-14 11:26:24] 857*2^1412074-1 is not prime. Res64: 7F44B1E712800A0A Time : 0.0 sec. user=mdettweiler [2015-10-14 11:26:24] 861*2^1412074-1 is not prime. Res64: DB3DAC9CFFF255D7 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:37:33] 905*2^1412074-1 is not prime. Res64: 23DF9E24AB36DA8B Time : 0.0 sec. user=mdettweiler [2015-10-14 11:37:34] 975*2^1412074-1 is not prime. Res64: 8FA4B815D743C5D6 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:38:01] 675*2^1412075-1 is not prime. Res64: 343D8844955384A2 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:38:01] 759*2^1412075-1 is not prime. Res64: 786644954A397E73 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:39:36] 775*2^1412075-1 is not prime. Res64: 3C7553072D5443C2 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:39:36] 855*2^1412075-1 is not prime. Res64: 065B4396C961B9F2 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:44:21] 939*2^1412075-1 is not prime. Res64: 9F3033BFCE2F18DE Time : 0.0 sec. user=mdettweiler [2015-10-14 11:44:21] 949*2^1412075-1 is not prime. Res64: 5CAACD354BC9E9D7 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:55:18] 963*2^1412075-1 is not prime. Res64: E358E0B9AD1D333F Time : 0.0 sec. user=mdettweiler [2015-10-14 11:55:18] 979*2^1412075-1 is not prime. Res64: FD1C5E935C897615 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:55:50] 737*2^1412076-1 is not prime. Res64: D2FE37947DE1A01D Time : 0.0 sec. user=mdettweiler [2015-10-14 11:55:50] 783*2^1412076-1 is not prime. Res64: A7C2E3C81B9B942A Time : 0.0 sec. user=mdettweiler [2015-10-14 11:57:30] 809*2^1412076-1 is not prime. Res64: 52684084B765A325 Time : 0.0 sec. user=mdettweiler [2015-10-14 11:57:30] 839*2^1412076-1 is not prime. Res64: 8457D8723F9253A1 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:02:10] 969*2^1412076-1 is not prime. Res64: 366257BA9FAA6595 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:02:10] 999*2^1412076-1 is not prime. Res64: F3EAAB294737B4C5 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:13:14] 645*2^1412077-1 is not prime. Res64: 6343801EAE409CCC Time : 0.0 sec. user=mdettweiler [2015-10-14 12:13:15] 675*2^1412077-1 is not prime. Res64: 48F85C5948F435E5 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:13:36] 825*2^1412077-1 is not prime. Res64: E7DE5859295D8274 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:13:37] 829*2^1412077-1 is not prime. Res64: 31C36B157334BF7C Time : 0.0 sec. user=mdettweiler [2015-10-14 12:15:27] 999*2^1412077-1 is not prime. Res64: B717DD7B43508C98 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:15:28] 677*2^1412078-1 is not prime. Res64: 2B9BFB14659DA98F Time : 0.0 sec. user=mdettweiler [2015-10-14 12:20:11] 743*2^1412078-1 is not prime. Res64: 0D0AF28098167F1E Time : 0.0 sec. user=mdettweiler [2015-10-14 12:20:12] 771*2^1412078-1 is not prime. Res64: 49426B1F9B554C9E Time : 0.0 sec. user=mdettweiler [2015-10-14 12:31:38] 815*2^1412078-1 is not prime. Res64: 1555A374D5D5FF54 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:31:39] 993*2^1412078-1 is not prime. Res64: 89BB7703A1F460E9 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:32:02] 823*2^1412079-1 is not prime. Res64: F923ECBB6C1D9D80 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:32:02] 913*2^1412079-1 is not prime. Res64: DCAAC5AA4B51AE4E Time : 0.0 sec. user=mdettweiler [2015-10-14 12:33:37] 975*2^1412079-1 is not prime. Res64: AE0D39FD246D86B4 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:33:37] 689*2^1412080-1 is not prime. Res64: 8DCE1851590EEA26 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:38:36] 713*2^1412080-1 is not prime. Res64: 0C96F8091AC9C607 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:38:36] 747*2^1412080-1 is not prime. Res64: F7063E1A6CE2548B Time : 0.0 sec. user=mdettweiler [2015-10-14 12:51:08] 755*2^1412080-1 is not prime. Res64: 1ABAF5A70C1525BC Time : 0.0 sec. user=mdettweiler [2015-10-14 12:51:09] 833*2^1412080-1 is not prime. Res64: A70313A70659690C Time : 0.0 sec. user=mdettweiler [2015-10-14 12:51:47] 843*2^1412080-1 is not prime. Res64: 5D780373770A00EB Time : 0.0 sec. user=mdettweiler [2015-10-14 12:51:48] 873*2^1412080-1 is not prime. Res64: 584DDB1223954BF0 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:53:40] 927*2^1412080-1 is not prime. Res64: BBBC780E2F95D0D2 Time : 0.0 sec. user=mdettweiler [2015-10-14 12:53:40] 939*2^1412080-1 is not prime. Res64: DF65B3636EDC0BFC Time : 0.0 sec. user=mdettweiler [2015-10-14 13:00:47] 959*2^1412080-1 is not prime. Res64: AB937953AF20D048 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:00:47] 837*2^1412081-1 is not prime. Res64: 5D58231AA6C1C65C Time : 0.0 sec. user=mdettweiler [2015-10-14 13:14:28] 855*2^1412081-1 is not prime. Res64: 033DA540B8EA62A2 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:14:29] 879*2^1412081-1 is not prime. Res64: 63EB0DA10462AF32 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:15:38] 671*2^1412082-1 is not prime. Res64: 85E8E2A2301BE1FE Time : 0.0 sec. user=mdettweiler [2015-10-14 13:15:42] 717*2^1412082-1 is not prime. Res64: 7CAC9A36D5C4EF4C Time : 0.0 sec. user=mdettweiler [2015-10-14 13:17:58] 747*2^1412082-1 is not prime. Res64: B78E38C13784050B Time : 0.0 sec. user=mdettweiler [2015-10-14 13:17:59] 801*2^1412082-1 is not prime. Res64: 5DBF87AD62ED5ABA Time : 0.0 sec. user=mdettweiler [2015-10-14 13:25:17] 893*2^1412082-1 is not prime. Res64: 11818BB3C003F8B4 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:25:17] 603*2^1412083-1 is not prime. Res64: E80E27C0A8515498 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:42:02] 679*2^1412083-1 is not prime. Res64: 12673771795FBE3F Time : 0.0 sec. user=mdettweiler [2015-10-14 13:42:03] 703*2^1412083-1 is not prime. Res64: F8C0DB360BB8E3BB Time : 0.0 sec. user=mdettweiler [2015-10-14 13:42:44] 775*2^1412083-1 is not prime. Res64: 774991B5A0C77CD2 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:42:44] 783*2^1412083-1 is not prime. Res64: 63523D63543D2845 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:45:15] 849*2^1412083-1 is not prime. Res64: 4AC9BC7D636D5BA8 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:45:17] 871*2^1412083-1 is not prime. Res64: BE21513D22F90F63 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:52:51] 891*2^1412083-1 is not prime. Res64: 5DFFFDC867F20655 Time : 0.0 sec. user=mdettweiler [2015-10-14 13:52:52] 901*2^1412083-1 is not prime. Res64: 0460E3F283CFBD50 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:06:34] 919*2^1412083-1 is not prime. Res64: EE0896D633C5A465 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:06:38] 743*2^1412084-1 is not prime. Res64: 08D2033EDC28CE89 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:06:53] 827*2^1412084-1 is not prime. Res64: BBB2155C2521D781 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:06:57] 843*2^1412084-1 is not prime. Res64: 6B7EB43407DBC03D Time : 0.0 sec. user=mdettweiler [2015-10-14 14:09:25] 679*2^1412085-1 is not prime. Res64: 9A7415CD648CAC2C Time : 0.0 sec. user=mdettweiler [2015-10-14 14:09:27] 781*2^1412085-1 is not prime. Res64: 87CD59426570F81E Time : 0.0 sec. user=mdettweiler [2015-10-14 14:16:53] 789*2^1412085-1 is not prime. Res64: 2961025E90B00E2D Time : 0.0 sec. user=mdettweiler [2015-10-14 14:16:54] 819*2^1412085-1 is not prime. Res64: 37DAA6F9A45A6D53 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:31:23] 889*2^1412085-1 is not prime. Res64: 24EF415A2B7A4DC3 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:31:24] 927*2^1412085-1 is not prime. Res64: FA02FC4B443A6483 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:31:42] 603*2^1412086-1 is not prime. Res64: D34EE4371E1A724D Time : 0.0 sec. user=mdettweiler [2015-10-14 14:31:42] 867*2^1412086-1 is not prime. Res64: 8DAD09890EC68106 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:33:06] 825*2^1412087-1 is not prime. Res64: 8BBE487A17FFA245 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:33:06] 963*2^1412087-1 is not prime. Res64: 43020558632255D9 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:37:39] 713*2^1412088-1 is not prime. Res64: B39250DBEF1D6D93 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:37:40] 759*2^1412088-1 is not prime. Res64: 50FD725BAE8106C0 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:49:09] 773*2^1412088-1 is not prime. Res64: 1FD714AD827ABEDF Time : 0.0 sec. user=mdettweiler [2015-10-14 14:49:10] 837*2^1412088-1 is not prime. Res64: 5AAE3C09CBD2EE12 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:49:26] 875*2^1412088-1 is not prime. Res64: B641171BC2472458 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:49:27] 705*2^1412089-1 is not prime. Res64: E172B8AA507CF3AE Time : 0.0 sec. user=mdettweiler [2015-10-14 14:50:53] 799*2^1412089-1 is not prime. Res64: 4A143CFB8EBD8069 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:50:53] 817*2^1412089-1 is not prime. Res64: C515BF8EBD3A4374 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:55:30] 711*2^1412090-1 is not prime. Res64: 606CDE36637EC475 Time : 0.0 sec. user=mdettweiler [2015-10-14 14:55:30] 833*2^1412090-1 is not prime. Res64: 5B2572D0D76FA7A5 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:06:58] 845*2^1412090-1 is not prime. Res64: 3D04CD5DD880C816 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:06:58] 893*2^1412090-1 is not prime. Res64: 242F8E40008775F4 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:07:16] 709*2^1412091-1 is not prime. Res64: 8037C0D6F8E61167 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:07:17] 735*2^1412091-1 is not prime. Res64: F8C76AAFF6150D6A Time : 0.0 sec. user=mdettweiler [2015-10-14 15:08:34] 753*2^1412091-1 is not prime. Res64: BB6781F6F552CF27 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:08:35] 801*2^1412091-1 is not prime. Res64: 081E889787062D77 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:13:12] 825*2^1412091-1 is not prime. Res64: FE5F878B3A95FEEC Time : 0.0 sec. user=mdettweiler [2015-10-14 15:13:14] 859*2^1412091-1 is not prime. Res64: 170BB5A4FB38B581 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:24:52] 871*2^1412091-1 is not prime. Res64: B5A5C4A33F36A96C Time : 0.0 sec. user=mdettweiler [2015-10-14 15:24:52] 943*2^1412091-1 is not prime. Res64: 0E685D2245F1070D Time : 0.0 sec. user=mdettweiler [2015-10-14 15:25:03] 603*2^1412092-1 is not prime. Res64: 0628CB06B16669A2 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:25:03] 675*2^1412092-1 is not prime. Res64: F0FE5D3958B021E5 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:26:23] 687*2^1412092-1 is not prime. Res64: 80EA5549F4719922 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:26:23] 933*2^1412092-1 is not prime. Res64: F4A14BEAABC2855F Time : 0.0 sec. user=mdettweiler [2015-10-14 15:31:09] 983*2^1412092-1 is not prime. Res64: 390989AE2A9442F6 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:31:10] 989*2^1412092-1 is not prime. Res64: 8E015B073647E91E Time : 0.0 sec. user=mdettweiler [2015-10-14 15:42:34] 607*2^1412093-1 is not prime. Res64: 92B0C6EBDB25E1D5 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:42:35] 699*2^1412093-1 is not prime. Res64: AFF0BFF2866197C8 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:42:45] 721*2^1412093-1 is not prime. Res64: 99D8AC9B74EC0D83 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:42:45] 735*2^1412093-1 is not prime. Res64: ABD30A0A91349332 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:44:03] 745*2^1412093-1 is not prime. Res64: C8F152CF390C7EBC Time : 0.0 sec. user=mdettweiler [2015-10-14 15:44:03] 747*2^1412093-1 is not prime. Res64: 1790FB86B3036F10 Time : 0.0 sec. user=mdettweiler [2015-10-14 15:48:58] 781*2^1412093-1 is not prime. Res64: 14AFE8F5C719523E Time : 0.0 sec. user=mdettweiler [2015-10-14 15:48:58] 795*2^1412093-1 is not prime. Res64: EF7BCC6D7C055A02 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:01:10] 861*2^1412093-1 is not prime. Res64: 680558E2A89B8828 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:01:11] 901*2^1412093-1 is not prime. Res64: 41F020C5D8D4FD41 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:01:18] 915*2^1412093-1 is not prime. Res64: F9A45C8CB178AB17 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:01:19] 621*2^1412094-1 is not prime. Res64: E9D734B0F7EA9603 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:03:07] 677*2^1412094-1 is not prime. Res64: 377B0BC9DAEFC912 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:03:08] 711*2^1412094-1 is not prime. Res64: C976B1FC3E8314DF Time : 0.0 sec. user=mdettweiler [2015-10-14 16:08:08] 723*2^1412094-1 is not prime. Res64: CE802781B1C0BA39 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:08:09] 851*2^1412094-1 is not prime. Res64: 93F4FB2E991971B4 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:20:20] 1001*2^1412094-1 is not prime. Res64: 15ED7E996D19148B Time : 0.0 sec. user=mdettweiler [2015-10-14 16:20:21] 619*2^1412095-1 is not prime. Res64: A147C364771BE883 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:20:47] 705*2^1412095-1 is not prime. Res64: 02B0372BFEF2FA1E Time : 0.0 sec. user=mdettweiler [2015-10-14 16:20:47] 759*2^1412095-1 is not prime. Res64: 228F63AA94646023 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:21:55] 629*2^1412096-1 is not prime. Res64: EB73CF3518518676 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:21:55] 659*2^1412096-1 is not prime. Res64: F7651360B9CF4280 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:26:28] 839*2^1412096-1 is not prime. Res64: 9DF3853C0B48D3FE Time : 0.0 sec. user=mdettweiler [2015-10-14 16:26:29] 855*2^1412096-1 is not prime. Res64: 1DB7D0AC55CEACB3 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:38:09] 903*2^1412096-1 is not prime. Res64: 3EBAA54F28372765 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:38:09] 945*2^1412096-1 is not prime. Res64: 6A5371687F5478A1 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:38:36] 601*2^1412097-1 is not prime. Res64: B82CE5F4657F6B46 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:38:36] 649*2^1412097-1 is not prime. Res64: B7D0450453B3F2F3 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:39:45] 681*2^1412097-1 is not prime. Res64: 686BCFCD33E81112 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:39:45] 747*2^1412097-1 is not prime. Res64: 70B529EC6506EF9C Time : 0.0 sec. user=mdettweiler [2015-10-14 16:44:08] 837*2^1412097-1 is not prime. Res64: E86E76DBED3989AD Time : 0.0 sec. user=mdettweiler [2015-10-14 16:44:08] 847*2^1412097-1 is not prime. Res64: 113A3E626E71FCFF Time : 0.0 sec. user=mdettweiler [2015-10-14 16:55:52] 849*2^1412097-1 is not prime. Res64: 9819A498D206844A Time : 0.0 sec. user=mdettweiler [2015-10-14 16:55:52] 919*2^1412097-1 is not prime. Res64: BC704A3740C61A5C Time : 0.0 sec. user=mdettweiler [2015-10-14 16:56:15] 665*2^1412098-1 is not prime. Res64: EA34BF20756EB518 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:56:16] 677*2^1412098-1 is not prime. Res64: 0FE4666A7F8276A4 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:57:29] 713*2^1412098-1 is not prime. Res64: 75B9E0D594BE6E35 Time : 0.0 sec. user=mdettweiler [2015-10-14 16:57:30] 827*2^1412098-1 is not prime. Res64: 746B7B8276A8E5CA Time : 0.0 sec. user=mdettweiler [2015-10-14 17:01:54] 923*2^1412098-1 is not prime. Res64: 6C473DD1CE4D2717 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:01:55] 993*2^1412098-1 is not prime. Res64: 7A13F97F3C7D13F9 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:14:14] 685*2^1412099-1 is not prime. Res64: 5704F129C75E0293 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:14:15] 745*2^1412099-1 is not prime. Res64: 1C33FF1DBE16C0FC Time : 0.0 sec. user=mdettweiler [2015-10-14 17:14:41] 883*2^1412099-1 is not prime. Res64: 780A0AE58196C195 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:14:41] 885*2^1412099-1 is not prime. Res64: 65DE4FE0C8D1BA34 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:15:50] 889*2^1412099-1 is not prime. Res64: 45B7C7294C598E29 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:15:51] 903*2^1412099-1 is not prime. Res64: 1A95C2C19962113D Time : 0.0 sec. user=mdettweiler [2015-10-14 17:22:04] 955*2^1412099-1 is not prime. Res64: 131F26E80AA467B6 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:22:05] 627*2^1412100-1 is not prime. Res64: 9302EE234AA8FF8C Time : 0.0 sec. user=mdettweiler [2015-10-14 17:33:48] 717*2^1412100-1 is not prime. Res64: 8C27ABC8E562C2F2 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:33:49] 735*2^1412100-1 is not prime. Res64: 03A36AA3BB570A94 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:33:55] 819*2^1412100-1 is not prime. Res64: 89F8119013E8D7CF Time : 0.0 sec. user=mdettweiler [2015-10-14 17:33:55] 839*2^1412100-1 is not prime. Res64: D2598E534AABF260 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:35:23] 843*2^1412100-1 is not prime. Res64: AE9988EE152EB681 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:35:23] 887*2^1412100-1 is not prime. Res64: 2C1EE86971822662 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:39:54] 923*2^1412100-1 is not prime. Res64: 663B5D717427211B Time : 0.0 sec. user=mdettweiler [2015-10-14 17:39:55] 999*2^1412100-1 is not prime. Res64: BF547E79A679B61F Time : 0.0 sec. user=mdettweiler [2015-10-14 17:51:38] 691*2^1412101-1 is not prime. Res64: 80928B952F63D17C Time : 0.0 sec. user=mdettweiler [2015-10-14 17:51:39] 715*2^1412101-1 is not prime. Res64: 9C4850BD1213DFB8 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:51:42] 757*2^1412101-1 is not prime. Res64: 76B14C6BEFCE8AB5 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:51:42] 825*2^1412101-1 is not prime. Res64: D84F486B5C406922 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:53:06] 889*2^1412101-1 is not prime. Res64: 3C5B1F6D040D4072 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:53:06] 895*2^1412101-1 is not prime. Res64: 09C35DBE43F9FEAD Time : 0.0 sec. user=mdettweiler [2015-10-14 17:57:43] 937*2^1412101-1 is not prime. Res64: C0A6D40911FBAD68 Time : 0.0 sec. user=mdettweiler [2015-10-14 17:57:44] 975*2^1412101-1 is not prime. Res64: 44B6A55818925A86 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:09:19] 997*2^1412101-1 is not prime. Res64: 7BECD54B614A3F39 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:09:19] 671*2^1412102-1 is not prime. Res64: 79C288EAAE3EC037 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:09:30] 683*2^1412102-1 is not prime. Res64: FF22EB6B211FB231 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:09:30] 893*2^1412102-1 is not prime. Res64: 10E647EB01F0707D Time : 0.0 sec. user=mdettweiler [2015-10-14 18:10:49] 911*2^1412102-1 is not prime. Res64: EECF90F646CDDB9C Time : 0.0 sec. user=mdettweiler [2015-10-14 18:10:49] 965*2^1412102-1 is not prime. Res64: CA8676C2872204A8 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:15:28] 995*2^1412102-1 is not prime. Res64: 15F3011325A36A6A Time : 0.0 sec. user=mdettweiler [2015-10-14 18:15:29] 679*2^1412103-1 is not prime. Res64: 5D0041C9BA21D0D5 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:27:15] 853*2^1412103-1 is not prime. Res64: 6A5BBE9F2144A0A4 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:27:15] 635*2^1412104-1 is not prime. Res64: 0F09AF088BADD68C Time : 0.0 sec. user=mdettweiler [2015-10-14 18:27:15] 933*2^1412103-1 is not prime. Res64: 5CFFC119C4303586 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:27:15] 707*2^1412104-1 is not prime. Res64: 42A05FF7A00290BF Time : 0.0 sec. user=mdettweiler [2015-10-14 18:28:31] 807*2^1412104-1 is not prime. Res64: 93225EFB6A773D90 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:28:31] 983*2^1412104-1 is not prime. Res64: 048EB7ACAB32931D Time : 0.0 sec. user=mdettweiler [2015-10-14 18:33:24] 993*2^1412104-1 is not prime. Res64: C6A5274047CD560B Time : 0.0 sec. user=mdettweiler [2015-10-14 18:33:24] 995*2^1412104-1 is not prime. Res64: 9E46162F226943A1 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:44:57] 875*2^1412106-1 is not prime. Res64: 9184C0049D85ED1D Time : 0.0 sec. user=mdettweiler [2015-10-14 18:44:57] 893*2^1412106-1 is not prime. Res64: 033C84CDEC110641 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:45:07] 781*2^1412105-1 is not prime. Res64: 7C6CBB3A1D9F1133 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:45:07] 987*2^1412105-1 is not prime. Res64: 6A677003AF7D5D6F Time : 0.0 sec. user=mdettweiler [2015-10-14 18:46:19] 619*2^1412107-1 is not prime. Res64: 5718795A424866FB Time : 0.0 sec. user=mdettweiler [2015-10-14 18:46:20] 673*2^1412107-1 is not prime. Res64: 380EBC159D50A07E Time : 0.0 sec. user=mdettweiler [2015-10-14 18:51:08] 735*2^1412107-1 is not prime. Res64: F98130C8A411F665 Time : 0.0 sec. user=mdettweiler [2015-10-14 18:51:08] 873*2^1412107-1 is not prime. Res64: DD13625E2E4F178A Time : 0.0 sec. user=mdettweiler [2015-10-14 19:02:41] 603*2^1412108-1 is not prime. Res64: EA8345521F56AF66 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:02:42] 615*2^1412108-1 is not prime. Res64: 1E7E1D0EBDEA0CD4 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:02:49] 633*2^1412108-1 is not prime. Res64: E23396D7B1B0F6C6 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:02:50] 899*2^1412108-1 is not prime. Res64: 3BB1751142629619 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:03:55] 987*2^1412108-1 is not prime. Res64: 8343C5C9503ADC65 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:03:56] 601*2^1412109-1 is not prime. Res64: 24AB189523641AB4 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:08:54] 679*2^1412109-1 is not prime. Res64: C3606F5CFFFA2878 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:08:54] 747*2^1412109-1 is not prime. Res64: BC4E49752C1CCDD1 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:20:29] 817*2^1412109-1 is not prime. Res64: F2F192FECCF41533 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:20:29] 921*2^1412109-1 is not prime. Res64: 20A617AC970E3B60 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:20:40] 611*2^1412110-1 is not prime. Res64: AABB33CA1F1DF0A2 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:20:40] 635*2^1412110-1 is not prime. Res64: 132C719A644A7368 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:21:41] 747*2^1412110-1 is not prime. Res64: 4B45CDC792C44D9A Time : 0.0 sec. user=mdettweiler [2015-10-14 19:21:41] 801*2^1412110-1 is not prime. Res64: 28B279CBC07DB417 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:26:40] 857*2^1412110-1 is not prime. Res64: FD99B6ADE6A4FAF2 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:26:40] 887*2^1412110-1 is not prime. Res64: 9751A2CD0D75D285 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:38:18] 897*2^1412110-1 is not prime. Res64: 4649837DCA8B5C84 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:38:19] 911*2^1412110-1 is not prime. Res64: CD82E4211397B19A Time : 0.0 sec. user=mdettweiler [2015-10-14 19:38:37] 1001*2^1412110-1 is not prime. Res64: EE4F1D1B97C126A0 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:38:38] 651*2^1412111-1 is not prime. Res64: B09CA53B5C405285 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:39:25] 745*2^1412111-1 is not prime. Res64: 53717EFCE70CF3E8 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:39:25] 823*2^1412111-1 is not prime. Res64: 31409344A70E91FD Time : 0.0 sec. user=mdettweiler [2015-10-14 19:44:30] 991*2^1412111-1 is not prime. Res64: 119AA4D0243A2BC6 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:44:30] 665*2^1412112-1 is not prime. Res64: 85EEF1F67A261205 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:56:06] 695*2^1412112-1 is not prime. Res64: 1A1C1E9BAD32C9BE Time : 0.0 sec. user=mdettweiler [2015-10-14 19:56:07] 753*2^1412112-1 is not prime. Res64: F58313C9CBED7297 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:56:24] 759*2^1412112-1 is not prime. Res64: 11C178B223A74244 Time : 0.0 sec. user=mdettweiler [2015-10-14 19:56:25] 815*2^1412112-1 is not prime. Res64: 736F60E87925476F Time : 0.0 sec. user=mdettweiler [2015-10-14 19:57:05] 887*2^1412112-1 is not prime. Res64: 1E62EEC63723EE1E Time : 0.0 sec. user=mdettweiler [2015-10-14 19:57:05] 923*2^1412112-1 is not prime. Res64: 3E294BA5F1615303 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:02:20] 977*2^1412112-1 is not prime. Res64: 4F925BF2BC0798B5 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:02:21] 747*2^1412113-1 is not prime. Res64: D45652CCEA5E2EDE Time : 0.0 sec. user=mdettweiler [2015-10-14 20:13:51] 775*2^1412113-1 is not prime. Res64: 54AD23CFB75CBD2F Time : 0.0 sec. user=mdettweiler [2015-10-14 20:13:52] 915*2^1412113-1 is not prime. Res64: 10BC1F909D9ABCBF Time : 0.0 sec. user=mdettweiler [2015-10-14 20:14:16] 939*2^1412113-1 is not prime. Res64: CA68FF8805B65171 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:14:17] 987*2^1412113-1 is not prime. Res64: 0CDBC90329BEE5D1 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:14:51] 999*2^1412113-1 is not prime. Res64: 2A9484B68D70757D Time : 0.0 sec. user=mdettweiler [2015-10-14 20:14:52] 633*2^1412114-1 is not prime. Res64: 00C69435094AED67 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:20:18] 635*2^1412114-1 is not prime. Res64: BE296B8FCE7AF150 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:20:19] 657*2^1412114-1 is not prime. Res64: FCE1378831FFC3C2 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:31:49] 753*2^1412114-1 is not prime. Res64: F58C8899A5A02AC6 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:31:49] 927*2^1412114-1 is not prime. Res64: 4AEE2EB8CE4909B4 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:32:07] 669*2^1412115-1 is not prime. Res64: 0495ED1E33638012 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:32:08] 775*2^1412115-1 is not prime. Res64: 330AD2E0567EDB9D Time : 0.0 sec. user=mdettweiler [2015-10-14 20:32:37] 783*2^1412115-1 is not prime. Res64: F5F3A88785819F63 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:32:38] 895*2^1412115-1 is not prime. Res64: A22352CA749447C3 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:38:37] 903*2^1412115-1 is not prime. Res64: 546FE7FB57B050CA Time : 0.0 sec. user=mdettweiler [2015-10-14 20:38:37] 969*2^1412115-1 is not prime. Res64: 4FBB919733C6395A Time : 0.0 sec. user=mdettweiler [2015-10-14 20:51:12] 705*2^1412116-1 is not prime. Res64: 14A4613CF6CE0588 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:51:13] 717*2^1412116-1 is not prime. Res64: F1AD1BCFAAECA258 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:51:13] 657*2^1412116-1 is not prime. Res64: 6BAC57DD0E0EE1A0 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:51:13] 677*2^1412116-1 is not prime. Res64: DD85F458312E5DC0 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:52:14] 939*2^1412116-1 is not prime. Res64: 0D9FA3503E232B15 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:52:15] 947*2^1412116-1 is not prime. Res64: B031892206ECC66A Time : 0.0 sec. user=mdettweiler [2015-10-14 20:57:38] 615*2^1412117-1 is not prime. Res64: 1EBC320CB713E884 Time : 0.0 sec. user=mdettweiler [2015-10-14 20:57:38] 699*2^1412117-1 is not prime. Res64: 297F35BA7EEECE9E Time : 0.0 sec. user=mdettweiler [2015-10-14 21:10:18] 711*2^1412117-1 is not prime. Res64: 5AEF138B05A92326 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:10:18] 777*2^1412117-1 is not prime. Res64: 70D62DCFCB90F271 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:10:21] 867*2^1412117-1 is not prime. Res64: E80E14CC33BF524C Time : 0.0 sec. user=mdettweiler [2015-10-14 21:10:21] 889*2^1412117-1 is not prime. Res64: 7007DAE946C3B403 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:11:36] 901*2^1412117-1 is not prime. Res64: EE24B4BC67B46198 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:11:36] 955*2^1412117-1 is not prime. Res64: 47229D2FA7E1857F Time : 0.0 sec. user=mdettweiler [2015-10-14 21:17:46] 621*2^1412118-1 is not prime. Res64: AC42821400790427 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:17:47] 641*2^1412118-1 is not prime. Res64: 658EB533F77B2C70 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:29:57] 773*2^1412118-1 is not prime. Res64: BE2F6D889A5F260D Time : 0.0 sec. user=mdettweiler [2015-10-14 21:29:57] 791*2^1412118-1 is not prime. Res64: 3688231E421EC1C3 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:30:15] 711*2^1412118-1 is not prime. Res64: 1162DFFB23126D1C Time : 0.0 sec. user=mdettweiler [2015-10-14 21:30:15] 765*2^1412118-1 is not prime. Res64: F2E96A6610C59C61 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:31:25] 923*2^1412118-1 is not prime. Res64: 6B8FD8789018DC0B Time : 0.0 sec. user=mdettweiler [2015-10-14 21:31:25] 971*2^1412118-1 is not prime. Res64: 9BBE7B03BC1952BB Time : 0.0 sec. user=mdettweiler [2015-10-14 21:36:51] 625*2^1412119-1 is not prime. Res64: 7540762A35E17554 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:36:52] 723*2^1412119-1 is not prime. Res64: 2C22EFFB602B6E48 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:48:25] 765*2^1412119-1 is not prime. Res64: C73787DF13EB752C Time : 0.0 sec. user=mdettweiler [2015-10-14 21:48:25] 813*2^1412119-1 is not prime. Res64: 44B96E34742BF1D5 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:48:42] 841*2^1412119-1 is not prime. Res64: EA8C9DD124BF1849 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:48:43] 843*2^1412119-1 is not prime. Res64: 9D8A00DAB453A22C Time : 0.0 sec. user=mdettweiler [2015-10-14 21:49:47] 855*2^1412119-1 is not prime. Res64: 41FBD7B275D27D29 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:49:47] 859*2^1412119-1 is not prime. Res64: 9C2569FBF9B83E01 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:54:39] 883*2^1412119-1 is not prime. Res64: 06E6ABE5D5AA8F91 Time : 0.0 sec. user=mdettweiler [2015-10-14 21:54:39] 635*2^1412120-1 is not prime. Res64: ABA4D110520422F4 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:06:20] 645*2^1412120-1 is not prime. Res64: 52F02CCFB34EB055 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:06:21] 665*2^1412120-1 is not prime. Res64: 517F1A7FD55E0901 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:06:26] 725*2^1412120-1 is not prime. Res64: B7FE5A56E3BC2305 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:06:27] 767*2^1412120-1 is not prime. Res64: 5FA4526C2B959FDE Time : 0.0 sec. user=mdettweiler [2015-10-14 22:07:39] 935*2^1412120-1 is not prime. Res64: 9A6CAB2602DEFD46 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:07:40] 679*2^1412121-1 is not prime. Res64: 039DF3D84E97B2CD Time : 0.0 sec. user=mdettweiler [2015-10-14 22:12:22] 691*2^1412121-1 is not prime. Res64: 8A28ED8A62DC74D2 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:12:23] 717*2^1412121-1 is not prime. Res64: FD4025B6CF371159 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:24:05] 735*2^1412121-1 is not prime. Res64: 1A0C1434E9639DF8 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:24:06] 741*2^1412121-1 is not prime. Res64: 0D252EADF68C2E7F Time : 0.0 sec. user=mdettweiler [2015-10-14 22:24:08] 865*2^1412121-1 is not prime. Res64: F27C79C78B3B6030 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:24:08] 889*2^1412121-1 is not prime. Res64: 8220B260282C1347 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:25:29] 617*2^1412122-1 is not prime. Res64: 048EEE49AB324800 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:25:29] 621*2^1412122-1 is not prime. Res64: 8DC310D254802E46 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:30:06] 681*2^1412122-1 is not prime. Res64: 8B7D0BE0022638F6 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:30:07] 713*2^1412122-1 is not prime. Res64: 65DF1AFAED4F8A8C Time : 0.0 sec. user=mdettweiler [2015-10-14 22:41:51] 949*2^1412123-1 is not prime. Res64: 5F2F8558C5EB1E0C Time : 0.0 sec. user=mdettweiler [2015-10-14 22:41:51] 705*2^1412124-1 is not prime. Res64: 16E882CC86E7889C Time : 0.0 sec. user=mdettweiler [2015-10-14 22:41:56] 707*2^1412124-1 is not prime. Res64: B0A5FA54161DC661 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:41:57] 759*2^1412124-1 is not prime. Res64: 6AED4BBC7F8BDB05 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:43:14] 619*2^1412125-1 is not prime. Res64: 7ED23350B14C05BE Time : 0.0 sec. user=mdettweiler [2015-10-14 22:43:15] 649*2^1412125-1 is not prime. Res64: 4464F3BA5CA6C1C7 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:47:50] 759*2^1412125-1 is not prime. Res64: E29DFF017685B8A8 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:47:51] 777*2^1412125-1 is not prime. Res64: 4F7B2230EB902050 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:59:38] 819*2^1412125-1 is not prime. Res64: 4044E95DDC68D4F8 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:59:39] 825*2^1412125-1 is not prime. Res64: 4500DB3BB12D11E2 Time : 0.0 sec. user=mdettweiler [2015-10-14 22:59:41] 987*2^1412125-1 is not prime. Res64: E5B925A453095C4C Time : 0.0 sec. user=mdettweiler [2015-10-14 22:59:41] 623*2^1412126-1 is not prime. Res64: CC0614A35F36E870 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:01:01] 705*2^1412126-1 is not prime. Res64: 5FE27477A2F0232D Time : 0.0 sec. user=mdettweiler [2015-10-14 23:01:01] 713*2^1412126-1 is not prime. Res64: 86E290E34E9102E0 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:05:32] 795*2^1412126-1 is not prime. Res64: CB46631DB9E815A5 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:05:34] 897*2^1412126-1 is not prime. Res64: 187682CCC05C015F Time : 0.0 sec. user=mdettweiler [2015-10-14 23:17:26] 971*2^1412126-1 is not prime. Res64: F6F4F57EBCDFFD40 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:17:27] 619*2^1412127-1 is not prime. Res64: DC559AF55ED8A87E Time : 0.0 sec. user=mdettweiler [2015-10-14 23:17:32] 923*2^1412126-1 is not prime. Res64: 962909F355407DA1 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:17:34] 963*2^1412126-1 is not prime. Res64: FD8B4BEA5092C36A Time : 0.0 sec. user=mdettweiler [2015-10-14 23:18:44] 735*2^1412127-1 is not prime. Res64: 9A7124CED21C8885 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:18:44] 769*2^1412127-1 is not prime. Res64: 9F024AD8F97DEC37 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:23:17] 819*2^1412127-1 is not prime. Res64: C94D33470A442188 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:23:18] 901*2^1412127-1 is not prime. Res64: 4FE4835DC2DCA188 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:35:30] 635*2^1412128-1 is not prime. Res64: 61B0EB571ABD2739 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:35:30] 705*2^1412128-1 is not prime. Res64: 4F39E90D12B15733 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:35:30] 797*2^1412128-1 is not prime. Res64: 68F6147E078D98F5 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:35:31] 909*2^1412128-1 is not prime. Res64: 0C930D616040DC9D Time : 0.0 sec. user=mdettweiler [2015-10-14 23:36:23] 975*2^1412128-1 is not prime. Res64: 9F875CC71F26F9D7 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:36:24] 697*2^1412129-1 is not prime. Res64: A92AC1C2D9EC6E80 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:41:05] 781*2^1412129-1 is not prime. Res64: 617AF48AE0A7EC30 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:41:05] 837*2^1412129-1 is not prime. Res64: BD2A021BCB1EEDE4 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:53:11] 955*2^1412129-1 is not prime. Res64: 11A33CA82D6A9D83 Time : 0.0 sec. user=mdettweiler [2015-10-14 23:53:11] 987*2^1412129-1 is not prime. Res64: 3CA8E384F6F508CE Time : 0.0 sec. user=mdettweiler [2015-10-14 23:53:12] 861*2^1412129-1 is not prime. Res64: D1AEB65337BC2F7C Time : 0.0 sec. user=mdettweiler [2015-10-14 23:53:12] 885*2^1412129-1 is not prime. Res64: 98200F740880A3CF Time : 0.0 sec. user=mdettweiler [2015-10-14 23:54:06] 635*2^1412130-1 is not prime. Res64: D78F8BC600A759FE Time : 0.0 sec. user=mdettweiler [2015-10-14 23:54:07] 735*2^1412130-1 is not prime. Res64: 2C91D2B02A73433D Time : 0.0 sec. user=mdettweiler [2015-10-14 23:58:45] 797*2^1412130-1 is not prime. Res64: 91C944D932ADBE9F Time : 0.0 sec. user=mdettweiler [2015-10-14 23:58:45] 803*2^1412130-1 is not prime. Res64: 6910AD7A97D237D7 Time : 0.0 sec.