user=mdettweiler [2013-08-12 00:04:21] 901*2^1250481-1 is not prime. Res64: BCA52890417627FE Time : 0.0 sec. user=mdettweiler [2013-08-12 00:04:22] 617*2^1250482-1 is not prime. Res64: F22644AB8E2C2838 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:11:05] 635*2^1250482-1 is not prime. Res64: C95798F9BB789F80 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:11:06] 651*2^1250482-1 is not prime. Res64: D539EF6602B0ED5D Time : 0.0 sec. user=mdettweiler [2013-08-12 00:16:35] 827*2^1250482-1 is not prime. Res64: D4FBE3ABB6FB1AD8 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:16:35] 867*2^1250482-1 is not prime. Res64: 28A8E5F538761EF7 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:19:39] 923*2^1250482-1 is not prime. Res64: 481D1B2BCB0A0BF7 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:19:40] 983*2^1250482-1 is not prime. Res64: D94D8BA03DA1E0D7 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:23:51] 619*2^1250483-1 is not prime. Res64: 636556E71D492013 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:23:51] 631*2^1250483-1 is not prime. Res64: 54BA45719A06EB84 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:30:35] 663*2^1250483-1 is not prime. Res64: 088F2DD4C9B7A1E8 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:30:35] 669*2^1250483-1 is not prime. Res64: E759616C6D5AE7CF Time : 0.0 sec. user=mdettweiler [2013-08-12 00:36:06] 675*2^1250483-1 is not prime. Res64: 9EAC192001F6CFC5 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:36:07] 781*2^1250483-1 is not prime. Res64: 6DE72C4288D401E8 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:39:16] 885*2^1250483-1 is not prime. Res64: 4362BFC69F50202D Time : 0.0 sec. user=mdettweiler [2013-08-12 00:39:16] 615*2^1250484-1 is not prime. Res64: B898A72B59063942 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:43:21] 693*2^1250484-1 is not prime. Res64: C263CA418B0D4882 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:43:21] 719*2^1250484-1 is not prime. Res64: E0842C6E1ACAA05B Time : 0.0 sec. user=mdettweiler [2013-08-12 00:50:18] 773*2^1250484-1 is not prime. Res64: F195498C33A4D53F Time : 0.0 sec. user=mdettweiler [2013-08-12 00:50:18] 843*2^1250484-1 is not prime. Res64: 6F1F637A6728E31F Time : 0.0 sec. user=mdettweiler [2013-08-12 00:55:41] 715*2^1250485-1 is not prime. Res64: 7CDBC7CB3516CE07 Time : 0.0 sec. user=mdettweiler [2013-08-12 00:55:42] 721*2^1250485-1 is not prime. Res64: 36DF91B4198EC282 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:00:41] 925*2^1250485-1 is not prime. Res64: E39F72138D814305 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:00:41] 955*2^1250485-1 is not prime. Res64: D349934169CED740 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:03:54] 987*2^1250485-1 is not prime. Res64: 0020166396F567B4 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:03:55] 825*2^1250486-1 is not prime. Res64: FE3C3CAEC6DFD872 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:09:58] 827*2^1250486-1 is not prime. Res64: 88DC422AC23D0367 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:09:58] 843*2^1250486-1 is not prime. Res64: 4D236869AF3E8EF0 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:15:15] 873*2^1250486-1 is not prime. Res64: ABFF4F0FD00B80A9 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:15:16] 893*2^1250486-1 is not prime. Res64: 02A202520D92A0D9 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:21:16] 983*2^1250486-1 is not prime. Res64: F8BFD20777E11CBC Time : 0.0 sec. user=mdettweiler [2013-08-12 01:21:16] 649*2^1250487-1 is not prime. Res64: FA45C4767071597E Time : 0.0 sec. user=mdettweiler [2013-08-12 01:23:26] 661*2^1250487-1 is not prime. Res64: 437DF22F200CE5BB Time : 0.0 sec. user=mdettweiler [2013-08-12 01:23:27] 703*2^1250487-1 is not prime. Res64: 4D1A0521EA80EFFF Time : 0.0 sec. user=mdettweiler [2013-08-12 01:29:30] 751*2^1250487-1 is not prime. Res64: 3BD5C1A48E532AC8 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:29:31] 765*2^1250487-1 is not prime. Res64: FD6098EB2102F0F3 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:35:50] 831*2^1250487-1 is not prime. Res64: 4BF2970D99CF3C2E Time : 0.0 sec. user=mdettweiler [2013-08-12 01:35:50] 951*2^1250487-1 is not prime. Res64: 965627523B761230 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:42:42] 955*2^1250487-1 is not prime. Res64: 143B1683B42E331C Time : 0.0 sec. user=mdettweiler [2013-08-12 01:42:42] 973*2^1250487-1 is not prime. Res64: CF29E2E7025DB8C3 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:42:55] 615*2^1250488-1 is not prime. Res64: 3B82D8430E66491D Time : 0.0 sec. user=mdettweiler [2013-08-12 01:42:55] 869*2^1250488-1 is not prime. Res64: CA0DC2FE2A51F003 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:50:00] 923*2^1250488-1 is not prime. Res64: EEB9769143D97113 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:50:00] 645*2^1250489-1 is not prime. Res64: 79D31CFD94C7FD3A Time : 0.0 sec. user=mdettweiler [2013-08-12 01:55:23] 649*2^1250489-1 is not prime. Res64: 2BFF6DCFF38ED594 Time : 0.0 sec. user=mdettweiler [2013-08-12 01:55:23] 721*2^1250489-1 is not prime. Res64: BD92B38E4C5D867A Time : 0.0 sec. user=mdettweiler [2013-08-12 02:02:12] 841*2^1250489-1 is not prime. Res64: 05D46B4ABE17E2B2 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:02:14] 847*2^1250489-1 is not prime. Res64: E1CAA9A2BC667F27 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:02:25] 627*2^1250490-1 is not prime. Res64: F2507A20A5B7266A Time : 0.0 sec. user=mdettweiler [2013-08-12 02:02:26] 707*2^1250490-1 is not prime. Res64: 64DE5BCA1E1C7294 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:09:39] 725*2^1250490-1 is not prime. Res64: 9FB4C54B5BC4EFD9 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:09:39] 791*2^1250490-1 is not prime. Res64: 299C1EAA4E4DCAD0 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:15:06] 797*2^1250490-1 is not prime. Res64: C4DC1D6247C986B4 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:15:06] 801*2^1250490-1 is not prime. Res64: 0DEF82BCB50A8FAF Time : 0.0 sec. user=mdettweiler [2013-08-12 02:21:58] 619*2^1250491-1 is not prime. Res64: 51DB4F17820F658A Time : 0.0 sec. user=mdettweiler [2013-08-12 02:21:58] 649*2^1250491-1 is not prime. Res64: A36F1FDA548CB64E Time : 0.0 sec. user=mdettweiler [2013-08-12 02:22:12] 741*2^1250491-1 is not prime. Res64: 8FC281CF5C750861 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:22:12] 751*2^1250491-1 is not prime. Res64: 2A5111694DB87975 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:29:26] 855*2^1250491-1 is not prime. Res64: 1883028F47183B28 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:29:26] 871*2^1250491-1 is not prime. Res64: 767D0ABFF2E8E4BB Time : 0.0 sec. user=mdettweiler [2013-08-12 02:35:44] 931*2^1250491-1 is not prime. Res64: 652EA37CB58CF929 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:35:45] 603*2^1250492-1 is not prime. Res64: CE1DC8ED4D8EC7B9 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:41:42] 623*2^1250492-1 is not prime. Res64: B135837773BB308E Time : 0.0 sec. user=mdettweiler [2013-08-12 02:41:43] 665*2^1250492-1 is not prime. Res64: F097F575D88BAFCF Time : 0.0 sec. user=mdettweiler [2013-08-12 02:41:49] 693*2^1250492-1 is not prime. Res64: D3E55C82296BAD53 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:41:50] 843*2^1250492-1 is not prime. Res64: 16E1F3FE3916D4FC Time : 0.0 sec. user=mdettweiler [2013-08-12 02:49:54] 879*2^1250492-1 is not prime. Res64: 488B9924BCCBA03A Time : 0.0 sec. user=mdettweiler [2013-08-12 02:49:55] 977*2^1250492-1 is not prime. Res64: B536FA12C50AB071 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:57:15] 983*2^1250492-1 is not prime. Res64: 35BAF2FD0E235C09 Time : 0.0 sec. user=mdettweiler [2013-08-12 02:57:16] 999*2^1250492-1 is not prime. Res64: 8ED0E3C9677E3CE2 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:01:26] 657*2^1250493-1 is not prime. Res64: EC058B1245FF993A Time : 0.0 sec. user=mdettweiler [2013-08-12 03:01:27] 685*2^1250493-1 is not prime. Res64: CC54089EFFEA52FA Time : 0.0 sec. user=mdettweiler [2013-08-12 03:01:34] 867*2^1250493-1 is not prime. Res64: 3748EC4C888F033F Time : 0.0 sec. user=mdettweiler [2013-08-12 03:01:35] 871*2^1250493-1 is not prime. Res64: 80F546B84A0D6F0C Time : 0.0 sec. user=mdettweiler [2013-08-12 03:11:16] 921*2^1250493-1 is not prime. Res64: F963EE65FAE00300 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:11:17] 937*2^1250493-1 is not prime. Res64: F600DF0418E91D04 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:17:49] 987*2^1250493-1 is not prime. Res64: 80056B3F92C3058D Time : 0.0 sec. user=mdettweiler [2013-08-12 03:17:49] 611*2^1250494-1 is not prime. Res64: 9FD3ED8C2E45FDFF Time : 0.0 sec. user=mdettweiler [2013-08-12 03:21:11] 635*2^1250494-1 is not prime. Res64: 3F5BCA5358F32E35 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:21:12] 663*2^1250494-1 is not prime. Res64: E8B5834035CFDEEE Time : 0.0 sec. user=mdettweiler [2013-08-12 03:22:09] 737*2^1250494-1 is not prime. Res64: CA06424B6E3B049B Time : 0.0 sec. user=mdettweiler [2013-08-12 03:22:09] 915*2^1250494-1 is not prime. Res64: 66AE5EC1530F830F Time : 0.0 sec. user=mdettweiler [2013-08-12 03:30:56] 603*2^1250495-1 is not prime. Res64: 403BAA14F812C381 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:30:57] 775*2^1250495-1 is not prime. Res64: 21F960BBCBCB51F0 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:38:24] 799*2^1250495-1 is not prime. Res64: F9436361DB137EF6 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:38:24] 973*2^1250495-1 is not prime. Res64: 3B831C0A836C7DA6 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:40:44] 725*2^1250496-1 is not prime. Res64: 2A4ED7D21074E4CE Time : 0.0 sec. user=mdettweiler [2013-08-12 03:40:45] 779*2^1250496-1 is not prime. Res64: F8E90484D8E91FE4 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:43:35] 927*2^1250496-1 is not prime. Res64: 9B439095BC56C4C0 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:43:36] 983*2^1250496-1 is not prime. Res64: 8D2CAD4B8D43D0A6 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:50:40] 639*2^1250497-1 is not prime. Res64: C1F7FC519AD1B606 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:50:40] 667*2^1250497-1 is not prime. Res64: 65A7292EC3DDF0D6 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:58:02] 835*2^1250497-1 is not prime. Res64: FC44A22D85972807 Time : 0.0 sec. user=mdettweiler [2013-08-12 03:58:02] 867*2^1250497-1 is not prime. Res64: 1C447F6733EA736B Time : 0.0 sec. user=mdettweiler [2013-08-12 04:00:22] 871*2^1250497-1 is not prime. Res64: 38807375AA997772 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:00:22] 885*2^1250497-1 is not prime. Res64: 0F6BC46B83508271 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:04:05] 985*2^1250497-1 is not prime. Res64: 88D6F4090994D8D0 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:04:06] 735*2^1250498-1 is not prime. Res64: 757D1963F3F5CEBD Time : 0.0 sec. user=mdettweiler [2013-08-12 04:10:11] 815*2^1250498-1 is not prime. Res64: 42E5AEA2C1CD5463 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:10:11] 831*2^1250498-1 is not prime. Res64: 943E1011A33FED05 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:18:36] 837*2^1250498-1 is not prime. Res64: E70D26C1497A71F2 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:18:36] 921*2^1250498-1 is not prime. Res64: C2662C3DAD32245D Time : 0.0 sec. user=mdettweiler [2013-08-12 04:20:50] 927*2^1250498-1 is not prime. Res64: 531EAD9F20D6420E Time : 0.0 sec. user=mdettweiler [2013-08-12 04:20:51] 619*2^1250499-1 is not prime. Res64: C3265368C01CF7D5 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:23:40] 705*2^1250499-1 is not prime. Res64: 2508DBF3D0826D16 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:23:40] 835*2^1250499-1 is not prime. Res64: 56C1165A00183CC4 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:29:48] 827*2^1250500-1 is not prime. Res64: 0A0965FAD120D8A0 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:29:48] 833*2^1250500-1 is not prime. Res64: CFA746C5E20EC862 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:38:16] 863*2^1250500-1 is not prime. Res64: 1EEF6FC90314D5C4 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:38:16] 873*2^1250500-1 is not prime. Res64: 69886B12BDAC16CD Time : 0.0 sec. user=mdettweiler [2013-08-12 04:41:24] 905*2^1250500-1 is not prime. Res64: A9E9230769FF6675 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:41:24] 933*2^1250500-1 is not prime. Res64: 6D705B2F6B509533 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:45:20] 957*2^1250500-1 is not prime. Res64: 32BC44067CDE481B Time : 0.0 sec. user=mdettweiler [2013-08-12 04:45:20] 999*2^1250500-1 is not prime. Res64: 5781EF43BCDCE342 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:49:26] 741*2^1250501-1 is not prime. Res64: E95EB9B435B1577D Time : 0.0 sec. user=mdettweiler [2013-08-12 04:49:26] 867*2^1250501-1 is not prime. Res64: 30BA0A27D067D0A4 Time : 0.0 sec. user=mdettweiler [2013-08-12 04:58:46] 907*2^1250501-1 is not prime. Res64: BBD2A162E0EF58AE Time : 0.0 sec. user=mdettweiler [2013-08-12 04:58:46] 925*2^1250501-1 is not prime. Res64: 991DECD755BEBCDE Time : 0.0 sec. user=mdettweiler [2013-08-12 05:01:56] 957*2^1250501-1 is not prime. Res64: C9A38B9FC5C14243 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:01:56] 651*2^1250502-1 is not prime. Res64: 8E12B565BD933A90 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:04:57] 705*2^1250502-1 is not prime. Res64: 4CBD9398884172EF Time : 0.0 sec. user=mdettweiler [2013-08-12 05:04:58] 711*2^1250502-1 is not prime. Res64: CC47BF4AF2E03B85 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:09:01] 797*2^1250502-1 is not prime. Res64: 27DA37D4FA90E4F8 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:09:02] 863*2^1250502-1 is not prime. Res64: CFBAFDFFC4E74BE0 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:20:12] 951*2^1250502-1 is not prime. Res64: CA7F34D44B9ED131 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:20:12] 977*2^1250502-1 is not prime. Res64: 9E6FB64504B90DEC Time : 0.0 sec. user=mdettweiler [2013-08-12 05:22:29] 1001*2^1250502-1 is not prime. Res64: 8133D5EF88402612 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:22:29] 621*2^1250503-1 is not prime. Res64: A924F585C035EC0F Time : 0.0 sec. user=mdettweiler [2013-08-12 05:24:36] 693*2^1250503-1 is not prime. Res64: DE2DFFF954E1408D Time : 0.0 sec. user=mdettweiler [2013-08-12 05:24:37] 853*2^1250503-1 is not prime. Res64: 4EC7E03FA40A7D73 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:29:34] 883*2^1250503-1 is not prime. Res64: DBC47A975B9478E6 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:29:34] 951*2^1250503-1 is not prime. Res64: 6A4D4831ED7899B0 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:41:51] 961*2^1250503-1 is not prime. Res64: 8BB625430F04A0D6 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:41:52] 969*2^1250503-1 is not prime. Res64: B22515BFFB2768FC Time : 0.0 sec. user=mdettweiler [2013-08-12 05:42:06] 605*2^1250504-1 is not prime. Res64: BAC4DAEFA8E489AC Time : 0.0 sec. user=mdettweiler [2013-08-12 05:42:06] 753*2^1250504-1 is not prime. Res64: 7EAF571D11049918 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:45:10] 875*2^1250504-1 is not prime. Res64: 26460D1C0BD8BE52 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:45:11] 923*2^1250504-1 is not prime. Res64: 1D48CDE4FEE09082 Time : 0.0 sec. user=mdettweiler [2013-08-12 05:50:03] 969*2^1250504-1 is not prime. Res64: 2C46E5ADA6FDC75C Time : 0.0 sec. user=mdettweiler [2013-08-12 05:50:03] 805*2^1250505-1 is not prime. Res64: 47EC8337C77B6526 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:02:22] 871*2^1250505-1 is not prime. Res64: C9FA2BB6E4C671D0 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:02:23] 915*2^1250505-1 is not prime. Res64: EF934ECFACF66AA8 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:02:38] 991*2^1250505-1 is not prime. Res64: 3EFE43760CBEA3FB Time : 0.0 sec. user=mdettweiler [2013-08-12 06:02:39] 633*2^1250506-1 is not prime. Res64: AD63880C7BA03592 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:04:47] 645*2^1250506-1 is not prime. Res64: 3C92297ACBF898A9 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:04:48] 647*2^1250506-1 is not prime. Res64: 219AE9754EFFED53 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:10:31] 741*2^1250506-1 is not prime. Res64: 49E02864D4104A0A Time : 0.0 sec. user=mdettweiler [2013-08-12 06:10:32] 957*2^1250506-1 is not prime. Res64: F5498A26B6F6360D Time : 0.0 sec. user=mdettweiler [2013-08-12 06:22:14] 601*2^1250507-1 is not prime. Res64: D5885271757C4BA5 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:22:14] 609*2^1250507-1 is not prime. Res64: 4349A2336B44243D Time : 0.0 sec. user=mdettweiler [2013-08-12 06:22:16] 651*2^1250507-1 is not prime. Res64: 7A7762EC522B5C9E Time : 0.0 sec. user=mdettweiler [2013-08-12 06:22:17] 861*2^1250507-1 is not prime. Res64: 322FDF8660C85A32 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:25:22] 885*2^1250507-1 is not prime. Res64: 41EE145FC70A5C72 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:25:22] 909*2^1250507-1 is not prime. Res64: D758D0DA03088CC2 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:32:01] 963*2^1250507-1 is not prime. Res64: 74D15929C13EA3BE Time : 0.0 sec. user=mdettweiler [2013-08-12 06:32:01] 985*2^1250507-1 is not prime. Res64: 28FCA4D86138B352 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:41:47] 635*2^1250508-1 is not prime. Res64: 66FDF7DD4939DE19 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:41:47] 683*2^1250508-1 is not prime. Res64: 7A4AE93ABACFC55E Time : 0.0 sec. user=mdettweiler [2013-08-12 06:41:50] 777*2^1250508-1 is not prime. Res64: 8770434F43A8BFF9 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:41:50] 845*2^1250508-1 is not prime. Res64: 6BAE41D1FD5C9A45 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:44:55] 875*2^1250508-1 is not prime. Res64: 31BB323A43A440CB Time : 0.0 sec. user=mdettweiler [2013-08-12 06:44:56] 879*2^1250508-1 is not prime. Res64: AEE03531F09581E3 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:52:31] 899*2^1250508-1 is not prime. Res64: A0C594E8B8827588 Time : 0.0 sec. user=mdettweiler [2013-08-12 06:52:32] 977*2^1250508-1 is not prime. Res64: 4D88A0BC8D2AE8B7 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:01:51] 615*2^1250509-1 is not prime. Res64: 03E6923F78C7494A Time : 0.0 sec. user=mdettweiler [2013-08-12 07:01:52] 721*2^1250509-1 is not prime. Res64: F08C7DD385CBEF34 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:02:44] 799*2^1250509-1 is not prime. Res64: CDD9653B090042DD Time : 0.0 sec. user=mdettweiler [2013-08-12 07:02:45] 997*2^1250509-1 is not prime. Res64: 785E12FBC3AB2F28 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:04:47] 641*2^1250510-1 is not prime. Res64: 69496E5B800746B3 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:04:48] 651*2^1250510-1 is not prime. Res64: 25ECB3258DA251B7 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:12:43] 663*2^1250510-1 is not prime. Res64: 8D038C994719306F Time : 0.0 sec. user=mdettweiler [2013-08-12 07:12:44] 827*2^1250510-1 is not prime. Res64: 11AF242D18ADBBC1 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:23:29] 669*2^1250511-1 is not prime. Res64: 95F50EF7638E1CBC Time : 0.0 sec. user=mdettweiler [2013-08-12 07:23:29] 685*2^1250511-1 is not prime. Res64: 88D9C13AF4E78CBE Time : 0.0 sec. user=mdettweiler [2013-08-12 07:24:18] 911*2^1250510-1 is not prime. Res64: 6DD0A3ECC47325BD Time : 0.0 sec. user=mdettweiler [2013-08-12 07:24:18] 971*2^1250510-1 is not prime. Res64: 1176206CB3F73BB6 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:25:13] 741*2^1250511-1 is not prime. Res64: 3ECCF2AC88504CDF Time : 0.0 sec. user=mdettweiler [2013-08-12 07:25:13] 859*2^1250511-1 is not prime. Res64: 1FF9F3BD1BC53552 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:35:08] 909*2^1250511-1 is not prime. Res64: F5C421D35B09274C Time : 0.0 sec. user=mdettweiler [2013-08-12 07:35:08] 913*2^1250511-1 is not prime. Res64: 145B725FAD0A9E60 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:43:44] 603*2^1250512-1 is not prime. Res64: 858027FE84F8CA71 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:43:44] 609*2^1250512-1 is not prime. Res64: 1CF0188D6035ABF5 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:44:33] 635*2^1250512-1 is not prime. Res64: 4E02A03F2CFDF48D Time : 0.0 sec. user=mdettweiler [2013-08-12 07:44:33] 779*2^1250512-1 is not prime. Res64: 1A319A7732649524 Time : 0.0 sec. user=mdettweiler [2013-08-12 07:47:40] 929*2^1250512-1 is not prime. Res64: 7D6DA93B6106EEFC Time : 0.0 sec. user=mdettweiler [2013-08-12 07:47:41] 939*2^1250512-1 is not prime. Res64: 8E864D964E22A9FD Time : 0.0 sec. user=mdettweiler [2013-08-12 07:55:24] 669*2^1250513-1 is not prime. Res64: 6098EA1A79D4AD4A Time : 0.0 sec. user=mdettweiler [2013-08-12 07:55:24] 679*2^1250513-1 is not prime. Res64: 1CB3E37CF4336161 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:03:49] 721*2^1250513-1 is not prime. Res64: 9A7D8D1195316CF7 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:03:50] 769*2^1250513-1 is not prime. Res64: 4F70FED053229282 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:04:25] 811*2^1250513-1 is not prime. Res64: 07E71F92F03E42D0 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:04:25] 867*2^1250513-1 is not prime. Res64: F49C4D4F67BEF365 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:09:25] 925*2^1250513-1 is not prime. Res64: C617AD53E800DC1F Time : 0.0 sec. user=mdettweiler [2013-08-12 08:09:27] 937*2^1250513-1 is not prime. Res64: 6E0D9219E7584CA5 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:15:14] 657*2^1250514-1 is not prime. Res64: B8483B70087A75CC Time : 0.0 sec. user=mdettweiler [2013-08-12 08:15:15] 663*2^1250514-1 is not prime. Res64: D2647ADF6C2BA381 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:23:56] 695*2^1250514-1 is not prime. Res64: F20C9C4A9E705FF5 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:23:57] 705*2^1250514-1 is not prime. Res64: 10986527F6E87768 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:24:10] 791*2^1250514-1 is not prime. Res64: AEBC7A01FAB7C5BC Time : 0.0 sec. user=mdettweiler [2013-08-12 08:24:10] 807*2^1250514-1 is not prime. Res64: 007D1CE145280F83 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:29:16] 873*2^1250514-1 is not prime. Res64: 45DB77AF7414BB74 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:29:16] 881*2^1250514-1 is not prime. Res64: 104CE67C76B6CD72 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:36:01] 885*2^1250514-1 is not prime. Res64: 36905A4D7E0F0FE1 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:36:01] 947*2^1250514-1 is not prime. Res64: 7B85AC45116E5F2F Time : 0.0 sec. user=mdettweiler [2013-08-12 08:43:40] 709*2^1250515-1 is not prime. Res64: B26C2C96199AC751 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:43:40] 735*2^1250515-1 is not prime. Res64: E473877322E6C42B Time : 0.0 sec. user=mdettweiler [2013-08-12 08:44:44] 919*2^1250515-1 is not prime. Res64: 6D360A728D4EDC34 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:44:44] 633*2^1250516-1 is not prime. Res64: 4F3A814D85C022A7 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:48:55] 707*2^1250516-1 is not prime. Res64: 8DE84A0B41D0B2D1 Time : 0.0 sec. user=mdettweiler [2013-08-12 08:48:56] 767*2^1250516-1 is not prime. Res64: E87F1B4ECBB6C17E Time : 0.0 sec. user=mdettweiler [2013-08-12 08:55:40] 855*2^1250516-1 is not prime. Res64: 4B81BD5EEC3EE3EF Time : 0.0 sec. user=mdettweiler [2013-08-12 08:55:40] 873*2^1250516-1 is not prime. Res64: A7254F6D8405F20F Time : 0.0 sec. user=mdettweiler [2013-08-12 09:03:18] 875*2^1250516-1 is not prime. Res64: B12C0F02EF015EBE Time : 0.0 sec. user=mdettweiler [2013-08-12 09:03:20] 609*2^1250517-1 is not prime. Res64: 1F6F7BCDFB8957B1 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:04:19] 625*2^1250517-1 is not prime. Res64: 6C5DC04621ABDD88 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:04:19] 649*2^1250517-1 is not prime. Res64: 4BB24534615010CD Time : 0.0 sec. user=mdettweiler [2013-08-12 09:08:30] 675*2^1250517-1 is not prime. Res64: BEA7CF28FC6C803D Time : 0.0 sec. user=mdettweiler [2013-08-12 09:08:31] 765*2^1250517-1 is not prime. Res64: D0A114C3CCE6A5DB Time : 0.0 sec. user=mdettweiler [2013-08-12 09:16:15] 889*2^1250517-1 is not prime. Res64: 85F4CF59380E8ACD Time : 0.0 sec. user=mdettweiler [2013-08-12 09:16:16] 955*2^1250517-1 is not prime. Res64: 8A929ED60A85C2AC Time : 0.0 sec. user=mdettweiler [2013-08-12 09:23:14] 665*2^1250518-1 is not prime. Res64: E95885140F9AE9E2 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:23:14] 681*2^1250518-1 is not prime. Res64: EC69BDC714CA8892 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:23:56] 755*2^1250518-1 is not prime. Res64: A8DDDD529F2774CA Time : 0.0 sec. user=mdettweiler [2013-08-12 09:23:57] 815*2^1250518-1 is not prime. Res64: 769CE58CDBEC0A56 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:29:13] 857*2^1250518-1 is not prime. Res64: 51D767DB2908ABCE Time : 0.0 sec. user=mdettweiler [2013-08-12 09:29:14] 987*2^1250518-1 is not prime. Res64: B338582F0A023320 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:36:53] 993*2^1250518-1 is not prime. Res64: E1C8DC03F481D93D Time : 0.0 sec. user=mdettweiler [2013-08-12 09:36:53] 615*2^1250519-1 is not prime. Res64: 62453A13739048D5 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:42:56] 735*2^1250519-1 is not prime. Res64: EE733CA0CA641CDB Time : 0.0 sec. user=mdettweiler [2013-08-12 09:42:57] 771*2^1250519-1 is not prime. Res64: 99F897E93C04E77C Time : 0.0 sec. user=mdettweiler [2013-08-12 09:44:32] 799*2^1250519-1 is not prime. Res64: DCF77BE05496E75A Time : 0.0 sec. user=mdettweiler [2013-08-12 09:44:32] 913*2^1250519-1 is not prime. Res64: 51D9B7F95DF84952 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:50:44] 979*2^1250519-1 is not prime. Res64: 91CDFCA6AD2767C3 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:50:44] 985*2^1250519-1 is not prime. Res64: 2221E529DE436733 Time : 0.0 sec. user=mdettweiler [2013-08-12 09:56:33] 623*2^1250520-1 is not prime. Res64: 538DE08F1B8E4C6E Time : 0.0 sec. user=mdettweiler [2013-08-12 09:56:33] 713*2^1250520-1 is not prime. Res64: 2E8C4152C8856FDE Time : 0.0 sec. user=mdettweiler [2013-08-12 10:04:13] 601*2^1250521-1 is not prime. Res64: 5B8E98540326463C Time : 0.0 sec. user=mdettweiler [2013-08-12 10:04:15] 751*2^1250521-1 is not prime. Res64: E7A388E5BD4BDB6D Time : 0.0 sec. user=mdettweiler [2013-08-12 10:04:28] 909*2^1250520-1 is not prime. Res64: 77CC374CC9B4012E Time : 0.0 sec. user=mdettweiler [2013-08-12 10:04:30] 983*2^1250520-1 is not prime. Res64: 472A412AB89B308B Time : 0.0 sec. user=mdettweiler [2013-08-12 10:10:22] 817*2^1250521-1 is not prime. Res64: 5393EA763FFD3206 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:10:23] 847*2^1250521-1 is not prime. Res64: 884ADF6910370BEA Time : 0.0 sec. user=mdettweiler [2013-08-12 10:16:09] 861*2^1250521-1 is not prime. Res64: 809E0A706BFA845E Time : 0.0 sec. user=mdettweiler [2013-08-12 10:16:09] 871*2^1250521-1 is not prime. Res64: 1A45FB785545C093 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:24:11] 645*2^1250522-1 is not prime. Res64: 25213D89C403D8A3 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:24:11] 731*2^1250522-1 is not prime. Res64: 14E25FD23368C693 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:26:04] 931*2^1250521-1 is not prime. Res64: 25CBA4F86BA2020E Time : 0.0 sec. user=mdettweiler [2013-08-12 10:26:04] 939*2^1250521-1 is not prime. Res64: 322F739C3210CD62 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:30:04] 755*2^1250522-1 is not prime. Res64: 5598192FCC00138F Time : 0.0 sec. user=mdettweiler [2013-08-12 10:30:05] 867*2^1250522-1 is not prime. Res64: A6B9E21FB7B7C612 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:36:40] 945*2^1250522-1 is not prime. Res64: 231EFC0A7EA9E852 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:36:40] 663*2^1250523-1 is not prime. Res64: 9C9843D4031E2D4D Time : 0.0 sec. user=mdettweiler [2013-08-12 10:43:48] 705*2^1250523-1 is not prime. Res64: 12C81F76BB4BCFCE Time : 0.0 sec. user=mdettweiler [2013-08-12 10:43:49] 783*2^1250523-1 is not prime. Res64: C9C08A840CE8CB7F Time : 0.0 sec. user=mdettweiler [2013-08-12 10:45:41] 829*2^1250523-1 is not prime. Res64: 49917758E9B1A25A Time : 0.0 sec. user=mdettweiler [2013-08-12 10:45:41] 871*2^1250523-1 is not prime. Res64: DFE2EAD712A623A0 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:49:42] 879*2^1250523-1 is not prime. Res64: 1E11A19DF56189D1 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:49:42] 901*2^1250523-1 is not prime. Res64: 67C53079DBF4EBF0 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:57:16] 969*2^1250523-1 is not prime. Res64: 3B55513EF5524D91 Time : 0.0 sec. user=mdettweiler [2013-08-12 10:57:16] 639*2^1250524-1 is not prime. Res64: B2DB1CA08D7066CE Time : 0.0 sec. user=mdettweiler [2013-08-12 11:04:25] 873*2^1250524-1 is not prime. Res64: 970DC7CF7707A4A7 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:04:26] 987*2^1250524-1 is not prime. Res64: E07FE710FD61ED6D Time : 0.0 sec. user=mdettweiler [2013-08-12 11:05:15] 649*2^1250525-1 is not prime. Res64: 3949D5801D07353D Time : 0.0 sec. user=mdettweiler [2013-08-12 11:05:16] 655*2^1250525-1 is not prime. Res64: 4E057B9C6735B71D Time : 0.0 sec. user=mdettweiler [2013-08-12 11:09:22] 657*2^1250525-1 is not prime. Res64: 697C00A4705CF811 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:09:23] 675*2^1250525-1 is not prime. Res64: 3DCF2DF78229ACE0 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:16:55] 691*2^1250525-1 is not prime. Res64: E2D2A31B02020122 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:16:55] 819*2^1250525-1 is not prime. Res64: 6302E14A419F6CA4 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:23:59] 825*2^1250525-1 is not prime. Res64: AE9A03C769164188 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:23:59] 855*2^1250525-1 is not prime. Res64: 113196FAAC70202D Time : 0.0 sec. user=mdettweiler [2013-08-12 11:24:52] 657*2^1250526-1 is not prime. Res64: A36F549F89B0D235 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:24:52] 815*2^1250526-1 is not prime. Res64: 10D485EDCD90BDE9 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:30:57] 933*2^1250526-1 is not prime. Res64: 0D87D30C1A9A57CC Time : 0.0 sec. user=mdettweiler [2013-08-12 11:30:57] 971*2^1250526-1 is not prime. Res64: 6AFFDCBE50197403 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:36:50] 633*2^1250527-1 is not prime. Res64: 9D1B222CBCCEB986 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:36:51] 729*2^1250527-1 is not prime. Res64: 374E77FBD90A9390 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:44:08] 841*2^1250527-1 is not prime. Res64: A5842B4DDEE438E2 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:44:09] 871*2^1250527-1 is not prime. Res64: 7F4EA94316D29E11 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:45:59] 891*2^1250527-1 is not prime. Res64: 0171F73551D16C72 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:45:59] 939*2^1250527-1 is not prime. Res64: E871144A4C7F84A6 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:53:07] 973*2^1250527-1 is not prime. Res64: A864124422A3823D Time : 0.0 sec. user=mdettweiler [2013-08-12 11:53:07] 993*2^1250527-1 is not prime. Res64: CA667ADC14688723 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:57:03] 617*2^1250528-1 is not prime. Res64: 23691B9C00783270 Time : 0.0 sec. user=mdettweiler [2013-08-12 11:57:03] 629*2^1250528-1 is not prime. Res64: 0B182DB29ED902E8 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:04:16] 635*2^1250528-1 is not prime. Res64: 9C0E4EDA5BD20B50 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:04:17] 683*2^1250528-1 is not prime. Res64: 4BE840864297B848 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:06:03] 797*2^1250528-1 is not prime. Res64: A42E6217FAE87659 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:06:03] 813*2^1250528-1 is not prime. Res64: 0497891DD317B1E7 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:14:24] 899*2^1250528-1 is not prime. Res64: 6CF473DF7B189366 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:14:24] 969*2^1250528-1 is not prime. Res64: 48A98F5BDD5BE769 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:17:01] 609*2^1250529-1 is not prime. Res64: BDA52568C7EB8E4C Time : 0.0 sec. user=mdettweiler [2013-08-12 12:17:01] 681*2^1250529-1 is not prime. Res64: 1EE216F70B385429 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:24:12] 789*2^1250529-1 is not prime. Res64: 97F65B4BE40AAF20 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:24:12] 889*2^1250529-1 is not prime. Res64: 8D4D128FE379A654 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:27:01] 997*2^1250529-1 is not prime. Res64: 4A1DC40FEFC63A3F Time : 0.0 sec. user=mdettweiler [2013-08-12 12:27:01] 663*2^1250530-1 is not prime. Res64: 2D70E2A5BDB4DC57 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:34:19] 677*2^1250530-1 is not prime. Res64: 82396A39DBD0E140 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:34:19] 747*2^1250530-1 is not prime. Res64: 9363795CD6058091 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:38:00] 891*2^1250530-1 is not prime. Res64: FA1C49DDAAAE27C5 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:38:00] 945*2^1250530-1 is not prime. Res64: B6672E0A9CF27571 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:45:10] 1001*2^1250530-1 is not prime. Res64: 4FD01199C2C34591 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:45:11] 621*2^1250531-1 is not prime. Res64: 55F1379340FA4260 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:46:46] 649*2^1250531-1 is not prime. Res64: 514258B83B84F6BD Time : 0.0 sec. user=mdettweiler [2013-08-12 12:46:46] 783*2^1250531-1 is not prime. Res64: FF590D02DC0862B5 Time : 0.0 sec. user=mdettweiler [2013-08-12 12:55:03] 801*2^1250531-1 is not prime. Res64: 2A1C6A8456D14C2E Time : 0.0 sec. user=mdettweiler [2013-08-12 12:55:03] 955*2^1250531-1 is not prime. Res64: 5431AC67CC56AD7A Time : 0.0 sec. user=mdettweiler [2013-08-12 12:59:37] 973*2^1250531-1 is not prime. Res64: 05EBC8CBB299A3BD Time : 0.0 sec. user=mdettweiler [2013-08-12 12:59:38] 979*2^1250531-1 is not prime. Res64: 2ED53F1FDE65678C Time : 0.0 sec. user=mdettweiler [2013-08-12 13:06:09] 981*2^1250531-1 is not prime. Res64: C7A4191F1772E99E Time : 0.0 sec. user=mdettweiler [2013-08-12 13:06:10] 615*2^1250532-1 is not prime. Res64: 88E8F9F0B8FECC4A Time : 0.0 sec. user=mdettweiler [2013-08-12 13:06:40] 623*2^1250532-1 is not prime. Res64: 4D29B4FED9E9638A Time : 0.0 sec. user=mdettweiler [2013-08-12 13:06:41] 653*2^1250532-1 is not prime. Res64: 3223BE71F57C3727 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:15:11] 737*2^1250532-1 is not prime. Res64: 79718419CEE66E15 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:15:11] 879*2^1250532-1 is not prime. Res64: 525B7C08F23BC1B5 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:21:00] 639*2^1250533-1 is not prime. Res64: D05487FE451F45D7 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:21:00] 951*2^1250533-1 is not prime. Res64: 8867BAE9DCE825A4 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:26:59] 743*2^1250534-1 is not prime. Res64: DE4FC8A01427F436 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:26:59] 833*2^1250534-1 is not prime. Res64: E3170ABF823A9052 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:27:27] 955*2^1250533-1 is not prime. Res64: CF2E415CB890F969 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:27:27] 705*2^1250534-1 is not prime. Res64: 3813E3CB53093724 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:36:22] 873*2^1250534-1 is not prime. Res64: 88EBA6D82B461FE7 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:36:22] 921*2^1250534-1 is not prime. Res64: 5EF3CA042C405422 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:42:35] 923*2^1250534-1 is not prime. Res64: DAAF942FD845C504 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:42:36] 935*2^1250534-1 is not prime. Res64: 97FAAC3FEE331A89 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:47:07] 619*2^1250535-1 is not prime. Res64: 8C3A34A82B672E75 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:47:08] 625*2^1250535-1 is not prime. Res64: E8061406657B12CF Time : 0.0 sec. user=mdettweiler [2013-08-12 13:48:32] 971*2^1250534-1 is not prime. Res64: BBDEEDC6DE9DC272 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:48:32] 995*2^1250534-1 is not prime. Res64: 6F0BE72D21FF5514 Time : 0.0 sec. user=mdettweiler [2013-08-12 13:56:00] 709*2^1250535-1 is not prime. Res64: 7BCF805D35C09D3C Time : 0.0 sec. user=mdettweiler [2013-08-12 13:56:01] 789*2^1250535-1 is not prime. Res64: 99B13A27EA090A1E Time : 0.0 sec. user=mdettweiler [2013-08-12 14:02:10] 831*2^1250535-1 is not prime. Res64: E96ADED49E1471EA Time : 0.0 sec. user=mdettweiler [2013-08-12 14:02:11] 871*2^1250535-1 is not prime. Res64: 568587AF7FB99C77 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:06:44] 645*2^1250536-1 is not prime. Res64: 81A9F2FB9D54D770 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:06:45] 675*2^1250536-1 is not prime. Res64: 6215E2816F22C45E Time : 0.0 sec. user=mdettweiler [2013-08-12 14:08:03] 677*2^1250536-1 is not prime. Res64: E7B6A85B221785E4 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:08:03] 779*2^1250536-1 is not prime. Res64: F7A1A6170F4E347A Time : 0.0 sec. user=mdettweiler [2013-08-12 14:15:39] 807*2^1250536-1 is not prime. Res64: 8B9C0580EB1A1043 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:15:39] 833*2^1250536-1 is not prime. Res64: ED4B09D431B0AFB0 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:22:45] 845*2^1250536-1 is not prime. Res64: A629BF0C5A201A00 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:22:45] 965*2^1250536-1 is not prime. Res64: 795E1FBD5303378A Time : 0.0 sec. user=mdettweiler [2013-08-12 14:26:19] 669*2^1250537-1 is not prime. Res64: 13BE1FA343A4E56C Time : 0.0 sec. user=mdettweiler [2013-08-12 14:26:20] 691*2^1250537-1 is not prime. Res64: 9DBD2BD0217C1216 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:27:38] 717*2^1250537-1 is not prime. Res64: F141C748375CA035 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:27:39] 727*2^1250537-1 is not prime. Res64: 49BFC2E53927E8C0 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:35:13] 605*2^1250538-1 is not prime. Res64: 72B7180B8467D0B7 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:35:14] 633*2^1250538-1 is not prime. Res64: 32264357190147E4 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:42:22] 681*2^1250538-1 is not prime. Res64: 12178CCCEE5FE991 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:42:23] 711*2^1250538-1 is not prime. Res64: 066451D071257F08 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:46:01] 725*2^1250538-1 is not prime. Res64: E65619D5B113C123 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:46:02] 735*2^1250538-1 is not prime. Res64: 34E60F8FE67AF65E Time : 0.0 sec. user=mdettweiler [2013-08-12 14:47:16] 881*2^1250538-1 is not prime. Res64: 34106FE8788700CB Time : 0.0 sec. user=mdettweiler [2013-08-12 14:47:17] 887*2^1250538-1 is not prime. Res64: 3A1E76FC30F7011A Time : 0.0 sec. user=mdettweiler [2013-08-12 14:55:50] 891*2^1250538-1 is not prime. Res64: 6BDD61926F072BE3 Time : 0.0 sec. user=mdettweiler [2013-08-12 14:55:51] 993*2^1250538-1 is not prime. Res64: 205D2671B0DF68A4 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:02:02] 633*2^1250539-1 is not prime. Res64: 6C54CC4C828F1015 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:02:03] 861*2^1250539-1 is not prime. Res64: 8307B441694CED8D Time : 0.0 sec. user=mdettweiler [2013-08-12 15:06:37] 975*2^1250539-1 is not prime. Res64: CA33BBB25AAD7BDF Time : 0.0 sec. user=mdettweiler [2013-08-12 15:06:38] 647*2^1250540-1 is not prime. Res64: A2BBF8B633A68439 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:06:47] 707*2^1250540-1 is not prime. Res64: F37631B8AC9B47ED Time : 0.0 sec. user=mdettweiler [2013-08-12 15:06:49] 767*2^1250540-1 is not prime. Res64: 01D6B9E3E10B5EFB Time : 0.0 sec. user=mdettweiler [2013-08-12 15:15:24] 843*2^1250540-1 is not prime. Res64: 33070B4EEF96BECB Time : 0.0 sec. user=mdettweiler [2013-08-12 15:15:25] 845*2^1250540-1 is not prime. Res64: 43F3AD28AB5267C8 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:22:32] 879*2^1250540-1 is not prime. Res64: EBB7148FDF68B83C Time : 0.0 sec. user=mdettweiler [2013-08-12 15:22:33] 963*2^1250540-1 is not prime. Res64: E09B5F9D443D4DA0 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:26:06] 615*2^1250541-1 is not prime. Res64: 75FB32A89EF55CF8 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:26:07] 621*2^1250541-1 is not prime. Res64: C2DAB4A2EDBFDCA2 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:26:22] 657*2^1250541-1 is not prime. Res64: 95529CB04EC2E0AD Time : 0.0 sec. user=mdettweiler [2013-08-12 15:26:22] 669*2^1250541-1 is not prime. Res64: 60745DEF16067876 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:35:00] 679*2^1250541-1 is not prime. Res64: 677BFC9E5C42D9E9 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:35:00] 805*2^1250541-1 is not prime. Res64: 3BBBD221F7A66BA0 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:43:01] 865*2^1250541-1 is not prime. Res64: 69B722D4C78E1673 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:43:02] 961*2^1250541-1 is not prime. Res64: 2B8C5BC0EFB59470 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:45:39] 645*2^1250542-1 is not prime. Res64: A7647D691938C5FC Time : 0.0 sec. user=mdettweiler [2013-08-12 15:45:39] 785*2^1250542-1 is not prime. Res64: 2B6BC80586B17327 Time : 0.0 sec. user=mdettweiler [2013-08-12 15:45:59] 843*2^1250542-1 is not prime. Res64: 19D9B0C4CF2EFF7B Time : 0.0 sec. user=mdettweiler [2013-08-12 15:46:00] 885*2^1250542-1 is not prime. Res64: 7E8BCCB43974A8DC Time : 0.0 sec. user=mdettweiler [2013-08-12 15:55:35] 947*2^1250542-1 is not prime. Res64: 8328F49A7B55289F Time : 0.0 sec. user=mdettweiler [2013-08-12 15:55:35] 669*2^1250543-1 is not prime. Res64: 0523E8283E397058 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:03:41] 885*2^1250543-1 is not prime. Res64: 1E333FBD883BB859 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:03:42] 915*2^1250543-1 is not prime. Res64: 4E5D88BABCF11B68 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:06:15] 981*2^1250543-1 is not prime. Res64: 623D968355DF9AEC Time : 0.0 sec. user=mdettweiler [2013-08-12 16:06:16] 675*2^1250544-1 is not prime. Res64: A486721E5F94E326 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:06:44] 773*2^1250544-1 is not prime. Res64: 1535B07211389FD1 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:06:45] 927*2^1250544-1 is not prime. Res64: C27F4F9452E6EA63 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:15:12] 607*2^1250545-1 is not prime. Res64: A86010ADEC9DBBE3 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:15:12] 609*2^1250545-1 is not prime. Res64: 4A13686B854B3125 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:23:36] 645*2^1250545-1 is not prime. Res64: 36BD40060674B22D Time : 0.0 sec. user=mdettweiler [2013-08-12 16:23:37] 661*2^1250545-1 is not prime. Res64: 216B5C6B55B4AB89 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:25:52] 727*2^1250545-1 is not prime. Res64: AABF7E82702A464B Time : 0.0 sec. user=mdettweiler [2013-08-12 16:25:53] 729*2^1250545-1 is not prime. Res64: 4DD1D2A53DE95D18 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:26:18] 775*2^1250545-1 is not prime. Res64: A471FBBE6E9EE5BC Time : 0.0 sec. user=mdettweiler [2013-08-12 16:26:18] 799*2^1250545-1 is not prime. Res64: 91DB7424D85F456F Time : 0.0 sec. user=mdettweiler [2013-08-12 16:34:47] 817*2^1250545-1 is not prime. Res64: FF00264337959834 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:34:47] 841*2^1250545-1 is not prime. Res64: 76C764E38168C1FC Time : 0.0 sec. user=mdettweiler [2013-08-12 16:43:11] 861*2^1250545-1 is not prime. Res64: AD3A737901E5F618 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:43:11] 897*2^1250545-1 is not prime. Res64: DB29BAE5543AE429 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:45:59] 801*2^1250546-1 is not prime. Res64: DF02C15BC320278F Time : 0.0 sec. user=mdettweiler [2013-08-12 16:45:59] 813*2^1250546-1 is not prime. Res64: 05AC619B81D97D38 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:46:19] 951*2^1250545-1 is not prime. Res64: C5AE85E96DE000DD Time : 0.0 sec. user=mdettweiler [2013-08-12 16:46:20] 705*2^1250546-1 is not prime. Res64: DB3BBC7E3A9BA01F Time : 0.0 sec. user=mdettweiler [2013-08-12 16:54:22] 831*2^1250546-1 is not prime. Res64: 67CFD02E30D35F33 Time : 0.0 sec. user=mdettweiler [2013-08-12 16:54:22] 857*2^1250546-1 is not prime. Res64: 7B4500AC962B320A Time : 0.0 sec. user=juhehe [2013-08-12 16:56:47] 945*2^1250544-1 is not prime. Res64: 67530A9EA0553CAB Time : 0.0 sec. user=mdettweiler [2013-08-12 17:03:44] 903*2^1250546-1 is not prime. Res64: C7B2A764D3008F3F Time : 0.0 sec. user=mdettweiler [2013-08-12 17:03:46] 963*2^1250546-1 is not prime. Res64: A402DBE443054F1A Time : 0.0 sec. user=mdettweiler [2013-08-12 17:06:00] 709*2^1250547-1 is not prime. Res64: 2ACEB9F4CEB03142 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:06:01] 753*2^1250547-1 is not prime. Res64: E7A3B4A807C8620F Time : 0.0 sec. user=mdettweiler [2013-08-12 17:06:29] 971*2^1250546-1 is not prime. Res64: E8ACB7228C56BD12 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:06:29] 703*2^1250547-1 is not prime. Res64: 8DA3C4BA6C176749 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:14:09] 835*2^1250547-1 is not prime. Res64: 9903C15561EF3931 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:14:10] 859*2^1250547-1 is not prime. Res64: D9D09CC7BE21AC2E Time : 0.0 sec. user=mdettweiler [2013-08-12 17:24:44] 873*2^1250547-1 is not prime. Res64: B64D4FCACA07FF6B Time : 0.0 sec. user=mdettweiler [2013-08-12 17:24:45] 963*2^1250547-1 is not prime. Res64: DECE28703D9598CE Time : 0.0 sec. user=mdettweiler [2013-08-12 17:25:59] 603*2^1250548-1 is not prime. Res64: FC8E6722FDEC5E09 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:25:59] 705*2^1250548-1 is not prime. Res64: ABC64BC51037FD69 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:26:21] 819*2^1250548-1 is not prime. Res64: D72E65B93B262B5B Time : 0.0 sec. user=mdettweiler [2013-08-12 17:26:21] 827*2^1250548-1 is not prime. Res64: E471FE5AFDF9215E Time : 0.0 sec. user=mdettweiler [2013-08-12 17:34:00] 833*2^1250548-1 is not prime. Res64: 4158AB524E762F32 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:34:00] 885*2^1250548-1 is not prime. Res64: 8F94F5EF1DF8C88C Time : 0.0 sec. user=mdettweiler [2013-08-12 17:45:29] 909*2^1250548-1 is not prime. Res64: 595E6A9B7A7E2649 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:45:30] 691*2^1250549-1 is not prime. Res64: 651D9EA9CC6FE210 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:45:50] 727*2^1250549-1 is not prime. Res64: A05A6DD598143F17 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:45:51] 759*2^1250549-1 is not prime. Res64: 40789825A6BED75C Time : 0.0 sec. user=mdettweiler [2013-08-12 17:46:07] 787*2^1250549-1 is not prime. Res64: 2D5E6E72A47B78FC Time : 0.0 sec. user=mdettweiler [2013-08-12 17:46:07] 837*2^1250549-1 is not prime. Res64: 19153DDC899A6186 Time : 0.0 sec. user=mdettweiler [2013-08-12 17:53:45] 861*2^1250549-1 is not prime. Res64: FAC9C484B24AA1AE Time : 0.0 sec. user=mdettweiler [2013-08-12 17:53:45] 783*2^1250550-1 is not prime. Res64: 26433EC047DAE312 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:05:06] 801*2^1250550-1 is not prime. Res64: 76D72793EA7687A4 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:05:07] 891*2^1250550-1 is not prime. Res64: 95CED3FB67D320DD Time : 0.0 sec. user=mdettweiler [2013-08-12 18:05:31] 819*2^1250551-1 is not prime. Res64: F3190CF4B63B01F0 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:05:32] 859*2^1250551-1 is not prime. Res64: C9E78BD3BCC075BA Time : 0.0 sec. user=mdettweiler [2013-08-12 18:06:39] 975*2^1250551-1 is not prime. Res64: 6D24411C6076C61F Time : 0.0 sec. user=mdettweiler [2013-08-12 18:06:40] 603*2^1250552-1 is not prime. Res64: D5071609F2603EA5 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:13:22] 617*2^1250552-1 is not prime. Res64: 1D3DB47AFE3B1D7C Time : 0.0 sec. user=mdettweiler [2013-08-12 18:13:23] 717*2^1250552-1 is not prime. Res64: 140E485CAC1396A6 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:24:51] 743*2^1250552-1 is not prime. Res64: 3785BAEB8F0A47F1 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:24:52] 753*2^1250552-1 is not prime. Res64: 4CA78EC531EEE31F Time : 0.0 sec. user=mdettweiler [2013-08-12 18:25:10] 755*2^1250552-1 is not prime. Res64: 0193705D3D4BB632 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:25:11] 867*2^1250552-1 is not prime. Res64: 11C9E22CB7572565 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:26:29] 681*2^1250553-1 is not prime. Res64: 5333EEA801B6AB3D Time : 0.0 sec. user=mdettweiler [2013-08-12 18:26:30] 745*2^1250553-1 is not prime. Res64: 5EE46472A180FB63 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:33:05] 781*2^1250553-1 is not prime. Res64: 95DEF602FD182E99 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:33:06] 605*2^1250554-1 is not prime. Res64: DE34B88BE347015A Time : 0.0 sec. user=mdettweiler [2013-08-12 18:44:34] 645*2^1250554-1 is not prime. Res64: 5791DBC9D3589988 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:44:35] 687*2^1250554-1 is not prime. Res64: 15900CBD0CB3D246 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:44:54] 737*2^1250554-1 is not prime. Res64: CC13806FAAFB4F2B Time : 0.0 sec. user=mdettweiler [2013-08-12 18:44:54] 825*2^1250554-1 is not prime. Res64: B426DFBA061FB2A1 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:46:17] 855*2^1250554-1 is not prime. Res64: EDA2F3EA1A895D64 Time : 0.0 sec. user=mdettweiler [2013-08-12 18:46:17] 609*2^1250555-1 is not prime. Res64: 962490CE1B4C0EFC Time : 0.0 sec. user=mdettweiler [2013-08-12 18:52:55] 643*2^1250555-1 is not prime. Res64: 1A13931CC8EEA0EE Time : 0.0 sec. user=mdettweiler [2013-08-12 18:52:56] 693*2^1250555-1 is not prime. Res64: 4144F1B370BF667C Time : 0.0 sec. user=mdettweiler [2013-08-12 19:05:29] 705*2^1250555-1 is not prime. Res64: 292A10107917F039 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:05:30] 771*2^1250555-1 is not prime. Res64: 4246D6A966C46A2E Time : 0.0 sec. user=mdettweiler [2013-08-12 19:05:39] 775*2^1250555-1 is not prime. Res64: D23E0D6818C7B8C9 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:05:39] 823*2^1250555-1 is not prime. Res64: DC78FE4192ADCC3F Time : 0.0 sec. user=mdettweiler [2013-08-12 19:09:51] 921*2^1250555-1 is not prime. Res64: 84218E79FEFC9BDA Time : 0.0 sec. user=mdettweiler [2013-08-12 19:09:52] 979*2^1250555-1 is not prime. Res64: 84431A0CE453388A Time : 0.0 sec. user=mdettweiler [2013-08-12 19:14:42] 635*2^1250556-1 is not prime. Res64: 83B10572E9962ADE Time : 0.0 sec. user=mdettweiler [2013-08-12 19:14:42] 639*2^1250556-1 is not prime. Res64: 2B23D04A0EAAB7ED Time : 0.0 sec. user=mdettweiler [2013-08-12 19:28:01] 845*2^1250556-1 is not prime. Res64: A1BD7455561C777C Time : 0.0 sec. user=mdettweiler [2013-08-12 19:28:01] 875*2^1250556-1 is not prime. Res64: DF328BEDF70C7CAB Time : 0.0 sec. user=mdettweiler [2013-08-12 19:28:15] 653*2^1250556-1 is not prime. Res64: 72DDFA1E928130A4 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:28:15] 767*2^1250556-1 is not prime. Res64: 707E118A01014202 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:32:13] 639*2^1250557-1 is not prime. Res64: A0EA4860C4AE1EB7 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:32:13] 747*2^1250557-1 is not prime. Res64: D6EA222023A52269 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:37:09] 777*2^1250557-1 is not prime. Res64: D92F7E55CC41DEA2 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:37:10] 885*2^1250557-1 is not prime. Res64: F734518E03482EC5 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:49:42] 665*2^1250558-1 is not prime. Res64: 8197F02EE48BE378 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:49:42] 897*2^1250558-1 is not prime. Res64: 0136A315B628F0CF Time : 0.0 sec. user=mdettweiler [2013-08-12 19:50:35] 939*2^1250557-1 is not prime. Res64: BB3F9CF70ED82142 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:50:36] 641*2^1250558-1 is not prime. Res64: 60D8DA19D3AEE9D5 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:54:14] 945*2^1250558-1 is not prime. Res64: D478F19CFED3AB7D Time : 0.0 sec. user=mdettweiler [2013-08-12 19:54:14] 613*2^1250559-1 is not prime. Res64: 8EC19E72A8C3108C Time : 0.0 sec. user=mdettweiler [2013-08-12 19:57:37] 639*2^1250559-1 is not prime. Res64: 785F8716844444A8 Time : 0.0 sec. user=mdettweiler [2013-08-12 19:57:38] 661*2^1250559-1 is not prime. Res64: D7D0F8FEDFE370D5 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:11:05] 793*2^1250559-1 is not prime. Res64: B8ED6B840BB0A0D4 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:11:06] 831*2^1250559-1 is not prime. Res64: ED65D7692EACEA16 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:13:06] 853*2^1250559-1 is not prime. Res64: 1F7B2EDD8C293E84 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:13:06] 975*2^1250559-1 is not prime. Res64: 957AB48237EF3E1F Time : 0.0 sec. user=mdettweiler [2013-08-12 20:16:40] 707*2^1250560-1 is not prime. Res64: 1FEF7AF72B9C1916 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:16:41] 777*2^1250560-1 is not prime. Res64: 33F50C4372CCA611 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:20:19] 813*2^1250560-1 is not prime. Res64: 1C62F0BE5711695F Time : 0.0 sec. user=mdettweiler [2013-08-12 20:20:19] 899*2^1250560-1 is not prime. Res64: 376A8462983F2F3A Time : 0.0 sec. user=mdettweiler [2013-08-12 20:33:12] 615*2^1250561-1 is not prime. Res64: 9E66BD240E0119D9 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:33:12] 637*2^1250561-1 is not prime. Res64: 09BB8FA34749CC33 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:34:44] 769*2^1250561-1 is not prime. Res64: 4FF82FE68212B414 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:34:44] 805*2^1250561-1 is not prime. Res64: CD2E6EBB48F3BC5B Time : 0.0 sec. user=mdettweiler [2013-08-12 20:38:43] 957*2^1250561-1 is not prime. Res64: 88E2ADF632F471C9 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:38:43] 755*2^1250562-1 is not prime. Res64: 16D98C0DD804908F Time : 0.0 sec. user=mdettweiler [2013-08-12 20:43:16] 947*2^1250562-1 is not prime. Res64: 92A5B0D98E2F830B Time : 0.0 sec. user=mdettweiler [2013-08-12 20:43:16] 951*2^1250562-1 is not prime. Res64: B789BD0F919EE4E1 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:55:04] 675*2^1250563-1 is not prime. Res64: 0F0AC139E525D7BF Time : 0.0 sec. user=mdettweiler [2013-08-12 20:55:04] 813*2^1250563-1 is not prime. Res64: 2BB7B22231040846 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:55:44] 855*2^1250563-1 is not prime. Res64: 5288767C3B765A10 Time : 0.0 sec. user=mdettweiler [2013-08-12 20:55:44] 617*2^1250564-1 is not prime. Res64: E94E6B93D9D2088F Time : 0.0 sec. user=mdettweiler [2013-08-12 21:00:43] 969*2^1250564-1 is not prime. Res64: A902A9822C001428 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:00:45] 627*2^1250565-1 is not prime. Res64: 3B1466B238755B70 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:04:19] 777*2^1250565-1 is not prime. Res64: 7A3928730D4FFB71 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:04:19] 817*2^1250565-1 is not prime. Res64: F797788A3F111295 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:15:50] 891*2^1250565-1 is not prime. Res64: CE87A1A1ABD8C6C8 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:15:51] 895*2^1250565-1 is not prime. Res64: 558B4980C5F26584 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:17:23] 975*2^1250565-1 is not prime. Res64: 4C4CD44C33B9EC73 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:17:23] 705*2^1250566-1 is not prime. Res64: B0861A2D4FF94140 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:21:56] 723*2^1250566-1 is not prime. Res64: DC5B85217C0D7EEB Time : 0.0 sec. user=mdettweiler [2013-08-12 21:21:56] 923*2^1250566-1 is not prime. Res64: 7D7870FF35B66EFF Time : 0.0 sec. user=mdettweiler [2013-08-12 21:25:36] 945*2^1250566-1 is not prime. Res64: E83C77E957AFE1DD Time : 0.0 sec. user=mdettweiler [2013-08-12 21:25:37] 729*2^1250567-1 is not prime. Res64: 9CC5C3D12345443C Time : 0.0 sec. user=mdettweiler [2013-08-12 21:36:12] 689*2^1250568-1 is not prime. Res64: 8D5566ABE80E0A92 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:36:12] 767*2^1250568-1 is not prime. Res64: 8CD2A1C045D86BEA Time : 0.0 sec. user=mdettweiler [2013-08-12 21:37:32] 819*2^1250568-1 is not prime. Res64: ED1AF0DCE694CA6C Time : 0.0 sec. user=mdettweiler [2013-08-12 21:37:32] 825*2^1250568-1 is not prime. Res64: BC7E2A0CB15D64B0 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:43:57] 923*2^1250568-1 is not prime. Res64: 1E17B2A8C0FF6CB4 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:43:57] 999*2^1250568-1 is not prime. Res64: CFCBC184BDBF9FD8 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:45:53] 625*2^1250569-1 is not prime. Res64: 45A758DAF67B2CE9 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:45:53] 691*2^1250569-1 is not prime. Res64: DE6BA620A9202184 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:57:21] 895*2^1250569-1 is not prime. Res64: CCEC4A5E2F87E2E5 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:57:21] 999*2^1250569-1 is not prime. Res64: CD1F21899C8E2D28 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:57:42] 665*2^1250570-1 is not prime. Res64: 5A2EDDBEF0C985A2 Time : 0.0 sec. user=mdettweiler [2013-08-12 21:57:42] 797*2^1250570-1 is not prime. Res64: 28B63CE422B4AE60 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:04:07] 751*2^1250571-1 is not prime. Res64: 584CE2EF22FA623E Time : 0.0 sec. user=mdettweiler [2013-08-12 22:04:07] 805*2^1250571-1 is not prime. Res64: 880E21E650987472 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:06:03] 647*2^1250572-1 is not prime. Res64: D8D48D78F82D3892 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:06:04] 675*2^1250572-1 is not prime. Res64: 55DFE8DFED301A5C Time : 0.0 sec. user=mdettweiler [2013-08-12 22:17:33] 705*2^1250572-1 is not prime. Res64: 0F9808DC454C1F0F Time : 0.0 sec. user=mdettweiler [2013-08-12 22:17:33] 807*2^1250572-1 is not prime. Res64: 534F2BCA202DF84D Time : 0.0 sec. user=mdettweiler [2013-08-12 22:19:51] 939*2^1250572-1 is not prime. Res64: 27FD826F93AADCD7 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:19:51] 965*2^1250572-1 is not prime. Res64: 4C4EFDC0EED45663 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:24:10] 741*2^1250573-1 is not prime. Res64: 6DD4CDD4C0566C24 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:24:10] 757*2^1250573-1 is not prime. Res64: F69132FF25C5A8B9 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:26:01] 805*2^1250573-1 is not prime. Res64: 01DFC0DBF54D1EA4 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:26:01] 831*2^1250573-1 is not prime. Res64: 576C37BBCD1B9B7E Time : 0.0 sec. user=mdettweiler [2013-08-12 22:37:40] 885*2^1250573-1 is not prime. Res64: C8205D85AE66F77E Time : 0.0 sec. user=mdettweiler [2013-08-12 22:37:40] 611*2^1250574-1 is not prime. Res64: C8261AB9341BD7DC Time : 0.0 sec. user=mdettweiler [2013-08-12 22:40:05] 755*2^1250574-1 is not prime. Res64: 815C472C24884A2E Time : 0.0 sec. user=mdettweiler [2013-08-12 22:40:06] 807*2^1250574-1 is not prime. Res64: 27A1F7F718D90297 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:45:22] 921*2^1250574-1 is not prime. Res64: E51703101C7A7459 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:45:22] 663*2^1250575-1 is not prime. Res64: 2906C4DC31203884 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:46:14] 759*2^1250575-1 is not prime. Res64: F6C1E328AE893AA8 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:46:14] 789*2^1250575-1 is not prime. Res64: 67F2CED0377B0E63 Time : 0.0 sec. user=mdettweiler [2013-08-12 22:57:43] 805*2^1250575-1 is not prime. Res64: DD2B123E526FB8CC Time : 0.0 sec. user=mdettweiler [2013-08-12 22:57:44] 873*2^1250575-1 is not prime. Res64: 71FF760333B0CB3E Time : 0.0 sec. user=mdettweiler [2013-08-12 23:01:06] 883*2^1250575-1 is not prime. Res64: A184A5228F450D6E Time : 0.0 sec. user=mdettweiler [2013-08-12 23:01:07] 915*2^1250575-1 is not prime. Res64: 12ECE1B49A464324 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:06:30] 615*2^1250576-1 is not prime. Res64: B69BC2CAADD306A7 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:06:31] 635*2^1250576-1 is not prime. Res64: 2D373588091E0387 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:07:26] 925*2^1250575-1 is not prime. Res64: C364EA11CE40CC9D Time : 0.0 sec. user=mdettweiler [2013-08-12 23:07:27] 979*2^1250575-1 is not prime. Res64: A596E994B1DB9E80 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:17:53] 669*2^1250576-1 is not prime. Res64: E61B534D5CEEDD41 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:17:54] 693*2^1250576-1 is not prime. Res64: 455A4037ACE8D243 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:21:16] 773*2^1250576-1 is not prime. Res64: 6B16A5555C7E4205 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:21:17] 785*2^1250576-1 is not prime. Res64: E0EA4C729C74C3DB Time : 0.0 sec. user=mdettweiler [2013-08-12 23:27:47] 857*2^1250576-1 is not prime. Res64: 7ABCC3C542667EF8 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:27:48] 917*2^1250576-1 is not prime. Res64: B5DB9D603665B9E0 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:28:30] 923*2^1250576-1 is not prime. Res64: 5CAFFB4306CABA07 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:28:30] 649*2^1250577-1 is not prime. Res64: A5BB6AE2BFE8BA13 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:38:22] 699*2^1250577-1 is not prime. Res64: 9FC9E99C25D13985 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:38:22] 765*2^1250577-1 is not prime. Res64: 611A361D6910BA9F Time : 0.0 sec. user=mdettweiler [2013-08-12 23:42:20] 849*2^1250577-1 is not prime. Res64: BDDE3696ACFCC191 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:42:20] 915*2^1250577-1 is not prime. Res64: 2D6DCBA2CFF45D57 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:48:36] 815*2^1250578-1 is not prime. Res64: D22929FD745419A1 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:48:37] 675*2^1250579-1 is not prime. Res64: 123DD7598D339E4C Time : 0.0 sec. user=mdettweiler [2013-08-12 23:48:56] 919*2^1250577-1 is not prime. Res64: 57A8B96D804CA4CB Time : 0.0 sec. user=mdettweiler [2013-08-12 23:48:56] 647*2^1250578-1 is not prime. Res64: ADABDE05B9323CD0 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:58:33] 775*2^1250579-1 is not prime. Res64: B3BFF90CB4944709 Time : 0.0 sec. user=mdettweiler [2013-08-12 23:58:33] 889*2^1250579-1 is not prime. Res64: B115DC226C01E567 Time : 0.0 sec.