user=mdettweiler [2012-01-09 00:05:47] 943*2^1000359-1 is not prime. Res64: 4BB264D1A346979C Time : 0.0 sec. user=mdettweiler [2012-01-09 00:05:52] 999*2^1000359-1 is not prime. Res64: 6752AF263278BB56 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:07:41] 603*2^1000360-1 is not prime. Res64: 6D3A498EFA06A7EB Time : 0.0 sec. user=mdettweiler [2012-01-09 00:07:41] 677*2^1000360-1 is not prime. Res64: 6E9B2251E3345474 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:11:20] 839*2^1000360-1 is not prime. Res64: 271E2FBC166B4405 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:11:22] 631*2^1000361-1 is not prime. Res64: 9C0EE33599251F52 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:17:51] 649*2^1000361-1 is not prime. Res64: 3A0EF3215FFF71F7 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:17:52] 769*2^1000361-1 is not prime. Res64: B5EF0EC923A6F187 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:25:38] 777*2^1000361-1 is not prime. Res64: C1A303AF7647E92A Time : 0.0 sec. user=mdettweiler [2012-01-09 00:25:38] 795*2^1000361-1 is not prime. Res64: 6FF2ADCCD9336BDC Time : 0.0 sec. user=mdettweiler [2012-01-09 00:27:19] 627*2^1000362-1 is not prime. Res64: 252249ABEE02B153 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:27:19] 833*2^1000362-1 is not prime. Res64: 457FFD59E2A246CB Time : 0.0 sec. user=mdettweiler [2012-01-09 00:31:06] 917*2^1000362-1 is not prime. Res64: 79D29A8EF73DB770 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:31:07] 923*2^1000362-1 is not prime. Res64: 11896F6DD63856EB Time : 0.0 sec. user=mdettweiler [2012-01-09 00:37:34] 603*2^1000363-1 is not prime. Res64: E1FB431E183AD23C Time : 0.0 sec. user=mdettweiler [2012-01-09 00:37:35] 639*2^1000363-1 is not prime. Res64: 5D8FDA2E06052425 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:45:00] 743*2^1000358-1 is not prime. Res64: 944BCA4EE4D9E241 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:45:01] 827*2^1000358-1 is not prime. Res64: 95543D771A9129F8 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:45:21] 789*2^1000363-1 is not prime. Res64: F49BBAD2E9DB60CA Time : 0.0 sec. user=mdettweiler [2012-01-09 00:45:22] 895*2^1000363-1 is not prime. Res64: 25BF286E7E52A477 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:49:14] 913*2^1000363-1 is not prime. Res64: 1A1F6AECBEE6F2A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:49:14] 961*2^1000363-1 is not prime. Res64: 0A10D802F56FD501 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:50:53] 615*2^1000364-1 is not prime. Res64: 1648B6B02EC88A8E Time : 0.0 sec. user=mdettweiler [2012-01-09 00:50:53] 923*2^1000364-1 is not prime. Res64: B56E8F68FD20A48B Time : 0.0 sec. user=mdettweiler [2012-01-09 00:53:39] 669*2^1000359-1 is not prime. Res64: CBAB43F56F4C49AE Time : 0.0 sec. user=mdettweiler [2012-01-09 00:53:40] 853*2^1000359-1 is not prime. Res64: 90B1EF094CD94EF2 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:53:40] 865*2^1000359-1 is not prime. Res64: 976D8A607F76AFC6 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:53:40] 895*2^1000359-1 is not prime. Res64: 3307236A52450B1B Time : 0.0 sec. user=mdettweiler [2012-01-09 00:57:16] 959*2^1000364-1 is not prime. Res64: D0626A9F7CC06832 Time : 0.0 sec. user=mdettweiler [2012-01-09 00:57:17] 607*2^1000365-1 is not prime. Res64: 9B614E3AD52A2CA1 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:05:02] 937*2^1000365-1 is not prime. Res64: D08809F064668D15 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:05:03] 623*2^1000366-1 is not prime. Res64: BE8AC2F0801A3C6B Time : 0.0 sec. user=mdettweiler [2012-01-09 01:08:54] 647*2^1000366-1 is not prime. Res64: 08104605CFA43D0A Time : 0.0 sec. user=mdettweiler [2012-01-09 01:08:55] 737*2^1000366-1 is not prime. Res64: 8CE8779C10834F05 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:10:30] 741*2^1000366-1 is not prime. Res64: 2A49BDF9338FBAB4 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:10:32] 785*2^1000366-1 is not prime. Res64: 83FC86E7DDEBC630 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:16:56] 621*2^1000367-1 is not prime. Res64: 1E72D6A8FA7F2319 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:16:57] 663*2^1000367-1 is not prime. Res64: E9CC942D83D18504 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:24:44] 753*2^1000367-1 is not prime. Res64: E5B8A1401DF44874 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:24:44] 799*2^1000367-1 is not prime. Res64: A1D3B795E9ACE0D5 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:28:39] 841*2^1000367-1 is not prime. Res64: F888B3BF8740A9B1 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:28:40] 889*2^1000367-1 is not prime. Res64: CFBCF3097A031418 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:32:28] 979*2^1000367-1 is not prime. Res64: B8D7908B98328914 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:32:28] 669*2^1000368-1 is not prime. Res64: E1381DADF1E71F59 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:36:37] 689*2^1000368-1 is not prime. Res64: A9192723B3D09140 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:36:37] 879*2^1000368-1 is not prime. Res64: F613DB07F306B6F9 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:44:26] 923*2^1000368-1 is not prime. Res64: 43CD1F5617BEED8C Time : 0.0 sec. user=mdettweiler [2012-01-09 01:44:26] 935*2^1000368-1 is not prime. Res64: 1D14E0BB0481580E Time : 0.0 sec. user=mdettweiler [2012-01-09 01:48:17] 609*2^1000369-1 is not prime. Res64: C8DAE10DE3D0E51F Time : 0.0 sec. user=mdettweiler [2012-01-09 01:48:18] 615*2^1000369-1 is not prime. Res64: 48124FD183F984CD Time : 0.0 sec. user=mdettweiler [2012-01-09 01:52:08] 649*2^1000369-1 is not prime. Res64: 0BC6A0D4394E49B1 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:52:08] 679*2^1000369-1 is not prime. Res64: 9EC927A51674536E Time : 0.0 sec. user=mdettweiler [2012-01-09 01:56:15] 811*2^1000369-1 is not prime. Res64: CE90EBB065CAA7E2 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:56:15] 635*2^1000370-1 is not prime. Res64: C808B4F33D4C147E Time : 0.0 sec. user=mdettweiler [2012-01-09 01:59:36] 717*2^1000365-1 is not prime. Res64: DD8EAE824A9EF675 Time : 0.0 sec. user=mdettweiler [2012-01-09 01:59:36] 765*2^1000365-1 is not prime. Res64: A4ABC09253123124 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:04:04] 641*2^1000370-1 is not prime. Res64: 83A5765D521BF545 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:04:04] 665*2^1000370-1 is not prime. Res64: 33E68B3A4D30C4D5 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:49] 903*2^1000366-1 is not prime. Res64: CEC575DB7A4E5291 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:50] 615*2^1000367-1 is not prime. Res64: 156A6C87EE31E09F Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:55] 801*2^1000366-1 is not prime. Res64: 71C6A6DF73C2740B Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:57] 891*2^1000366-1 is not prime. Res64: F5113C5344F39F06 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:58] 687*2^1000370-1 is not prime. Res64: 90A5DD83998E2B67 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:07:59] 801*2^1000370-1 is not prime. Res64: E2DE1071D77E7729 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:11:47] 833*2^1000370-1 is not prime. Res64: 0249BC17950CBBE4 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:11:48] 893*2^1000370-1 is not prime. Res64: 4DCF39BD90711FAC Time : 0.0 sec. user=mdettweiler [2012-01-09 02:15:57] 911*2^1000370-1 is not prime. Res64: AC70524D7B07012D Time : 0.0 sec. user=mdettweiler [2012-01-09 02:16:01] 669*2^1000371-1 is not prime. Res64: 900E99782E03763E Time : 0.0 sec. user=mdettweiler [2012-01-09 02:26:01] 879*2^1000371-1 is not prime. Res64: F3F29F1191AD2348 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:26:02] 999*2^1000371-1 is not prime. Res64: 14029840C7096E62 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:27:46] 903*2^1000372-1 is not prime. Res64: D0AE94845B99B336 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:27:46] 729*2^1000373-1 is not prime. Res64: F75EB7297FA9F8C0 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:31:29] 837*2^1000373-1 is not prime. Res64: 042DF505E9D16347 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:31:31] 867*2^1000373-1 is not prime. Res64: 4E81FC895ADE7643 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:40:29] 979*2^1000373-1 is not prime. Res64: 8D4CDC57A2065DFA Time : 0.0 sec. user=mdettweiler [2012-01-09 02:40:30] 985*2^1000373-1 is not prime. Res64: F900FFE50F9119A0 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:47:33] 679*2^1000375-1 is not prime. Res64: 47335EC744E59DB5 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:47:33] 859*2^1000375-1 is not prime. Res64: 209ED8ED4877CE65 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:48:08] 641*2^1000374-1 is not prime. Res64: 65D3C613051C00CB Time : 0.0 sec. user=mdettweiler [2012-01-09 02:48:09] 975*2^1000374-1 is not prime. Res64: 78EBC081656FF212 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:51:25] 915*2^1000375-1 is not prime. Res64: 9DCC1EEAF52EA6E6 Time : 0.0 sec. user=mdettweiler [2012-01-09 02:51:26] 951*2^1000375-1 is not prime. Res64: 8175B4F7205D2CB6 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:00:19] 603*2^1000376-1 is not prime. Res64: D9EB2DA73F4E793C Time : 0.0 sec. user=mdettweiler [2012-01-09 03:00:20] 689*2^1000376-1 is not prime. Res64: 2B013563540C9E02 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:07:09] 803*2^1000376-1 is not prime. Res64: 1BA88A07500584EE Time : 0.0 sec. user=mdettweiler [2012-01-09 03:07:11] 833*2^1000376-1 is not prime. Res64: 9505E32EDD70E4CF Time : 0.0 sec. user=mdettweiler [2012-01-09 03:07:47] 649*2^1000377-1 is not prime. Res64: D87E153A051FA94A Time : 0.0 sec. user=mdettweiler [2012-01-09 03:07:48] 685*2^1000377-1 is not prime. Res64: 6B4B75303D195B1C Time : 0.0 sec. user=mdettweiler [2012-01-09 03:11:05] 735*2^1000377-1 is not prime. Res64: C3874CC86B5515FB Time : 0.0 sec. user=mdettweiler [2012-01-09 03:11:06] 739*2^1000377-1 is not prime. Res64: 5676BB62988709B1 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:13:15] 793*2^1000371-1 is not prime. Res64: 96439532E8E71390 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:13:16] 801*2^1000371-1 is not prime. Res64: 39F4079FC98232C7 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:20:04] 747*2^1000377-1 is not prime. Res64: AD663A8670678D01 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:20:05] 885*2^1000377-1 is not prime. Res64: 48D056D360D3D588 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:21:41] 635*2^1000372-1 is not prime. Res64: 477FE2A07E072E8F Time : 0.0 sec. user=mdettweiler [2012-01-09 03:21:41] 647*2^1000372-1 is not prime. Res64: B2D4CB2015CF0D58 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:21:48] 723*2^1000372-1 is not prime. Res64: C56DFCFC80BA9E78 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:21:48] 759*2^1000372-1 is not prime. Res64: 2BBEF91FA3D617A6 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:26:54] 815*2^1000378-1 is not prime. Res64: 33B558F8ADEB790F Time : 0.0 sec. user=mdettweiler [2012-01-09 03:26:55] 923*2^1000378-1 is not prime. Res64: 9E2A3589B29A1868 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:27:31] 945*2^1000378-1 is not prime. Res64: 3F296469E431CB30 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:27:32] 951*2^1000378-1 is not prime. Res64: 9D319003A73470BE Time : 0.0 sec. user=mdettweiler [2012-01-09 03:33:08] 1001*2^1000378-1 is not prime. Res64: CAE1A7EBDF6562B0 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:33:08] 615*2^1000379-1 is not prime. Res64: E41EBE623332E807 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:39:43] 669*2^1000379-1 is not prime. Res64: 77090BBDED681B2A Time : 0.0 sec. user=mdettweiler [2012-01-09 03:39:43] 693*2^1000379-1 is not prime. Res64: 0936E838E8C7ED07 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:46:39] 943*2^1000379-1 is not prime. Res64: 5C8457658F917E33 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:46:40] 627*2^1000380-1 is not prime. Res64: BA372C2C6EAF68E0 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:47:08] 647*2^1000380-1 is not prime. Res64: A0D469A2C550D25E Time : 0.0 sec. user=mdettweiler [2012-01-09 03:47:08] 669*2^1000380-1 is not prime. Res64: 85359BF2A8C16D2A Time : 0.0 sec. user=mdettweiler [2012-01-09 03:52:50] 675*2^1000380-1 is not prime. Res64: C02335E5A250DF64 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:52:50] 725*2^1000380-1 is not prime. Res64: 03DB65F09DF30070 Time : 0.0 sec. user=mdettweiler [2012-01-09 03:59:25] 777*2^1000380-1 is not prime. Res64: 6BFB78E0989495BC Time : 0.0 sec. user=mdettweiler [2012-01-09 03:59:25] 797*2^1000380-1 is not prime. Res64: 422927458687B141 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:06:21] 803*2^1000380-1 is not prime. Res64: 625CCA0F6118F203 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:06:22] 839*2^1000380-1 is not prime. Res64: 824C3A32716C3663 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:08:58] 863*2^1000380-1 is not prime. Res64: FE7B0113C233ECC8 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:09:00] 999*2^1000380-1 is not prime. Res64: 4D7AEC3FF3AB3BC1 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:12:32] 645*2^1000381-1 is not prime. Res64: 8AC1E3448FD3F92A Time : 0.0 sec. user=mdettweiler [2012-01-09 04:12:33] 801*2^1000381-1 is not prime. Res64: C695748C857493D6 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:19:06] 867*2^1000381-1 is not prime. Res64: E54E609BAA876C75 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:19:06] 603*2^1000382-1 is not prime. Res64: 5A799DF6D3B9121A Time : 0.0 sec. user=mdettweiler [2012-01-09 04:25:36] 621*2^1000379-1 is not prime. Res64: D5B1825254395D2B Time : 0.0 sec. user=mdettweiler [2012-01-09 04:25:36] 645*2^1000379-1 is not prime. Res64: D481E34064A63FE5 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:26:03] 743*2^1000382-1 is not prime. Res64: 709CD7DE4885042E Time : 0.0 sec. user=mdettweiler [2012-01-09 04:26:04] 797*2^1000382-1 is not prime. Res64: 66D4862F06AF70E4 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:28:46] 813*2^1000382-1 is not prime. Res64: D65C2CDD0AFA5B33 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:28:46] 825*2^1000382-1 is not prime. Res64: 677655378118CEB3 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:32:09] 827*2^1000382-1 is not prime. Res64: 2DF91AE9FDB2BF48 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:32:11] 897*2^1000382-1 is not prime. Res64: 746ABBF275CC6DA2 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:34:09] 733*2^1000379-1 is not prime. Res64: 1D3BA1662C6E9027 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:34:10] 735*2^1000379-1 is not prime. Res64: 3921BD9595D5CBCD Time : 0.0 sec. user=mdettweiler [2012-01-09 04:34:19] 825*2^1000379-1 is not prime. Res64: EAC79A74AEB08CEE Time : 0.0 sec. user=mdettweiler [2012-01-09 04:34:20] 843*2^1000379-1 is not prime. Res64: 2A683DA400D0ACA9 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:38:45] 935*2^1000382-1 is not prime. Res64: 9F80FF61214B0545 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:38:45] 951*2^1000382-1 is not prime. Res64: 054417A54A50B9E3 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:45:42] 691*2^1000383-1 is not prime. Res64: 3EAAAA170FF89155 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:45:43] 703*2^1000383-1 is not prime. Res64: 6CBA406E92F9F4D2 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:48:24] 741*2^1000383-1 is not prime. Res64: 4764144202BA9CD5 Time : 0.0 sec. user=mdettweiler [2012-01-09 04:48:25] 765*2^1000383-1 is not prime. Res64: 61E1AA0E8B0ABA9B Time : 0.0 sec. user=mdettweiler [2012-01-09 04:51:48] 829*2^1000383-1 is not prime. Res64: 6F7395159A7709CC Time : 0.0 sec. user=mdettweiler [2012-01-09 04:51:48] 871*2^1000383-1 is not prime. Res64: D607075881D8A1BE Time : 0.0 sec. user=mdettweiler [2012-01-09 04:58:25] 777*2^1000385-1 is not prime. Res64: BA70632E3654F1EA Time : 0.0 sec. user=mdettweiler [2012-01-09 04:58:25] 841*2^1000385-1 is not prime. Res64: D38675CCBDB8A593 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:07:38] 889*2^1000385-1 is not prime. Res64: 3FF7E249022C95F6 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:07:38] 969*2^1000385-1 is not prime. Res64: B9362E527C323D22 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:08:06] 705*2^1000386-1 is not prime. Res64: BFCF5EBFBE6BC535 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:08:07] 725*2^1000386-1 is not prime. Res64: E4CC3D417EB6D320 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:11:34] 803*2^1000386-1 is not prime. Res64: B864330B4433A348 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:11:35] 815*2^1000386-1 is not prime. Res64: E522F191B25C9A10 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:18:04] 821*2^1000386-1 is not prime. Res64: 0596D465B73A0AFB Time : 0.0 sec. user=mdettweiler [2012-01-09 05:18:05] 603*2^1000387-1 is not prime. Res64: 256AD9BBF617FACE Time : 0.0 sec. user=mdettweiler [2012-01-09 05:27:18] 625*2^1000387-1 is not prime. Res64: F3241DB4D23F0E24 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:27:18] 759*2^1000387-1 is not prime. Res64: 279ACBC053674F96 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:27:48] 775*2^1000387-1 is not prime. Res64: 79D2497D181B003A Time : 0.0 sec. user=mdettweiler [2012-01-09 05:27:48] 889*2^1000387-1 is not prime. Res64: D8FF581819499A83 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:31:19] 633*2^1000388-1 is not prime. Res64: AC31835889C4CE58 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:31:20] 909*2^1000388-1 is not prime. Res64: A5BF3E848CD0FD13 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:37:40] 953*2^1000388-1 is not prime. Res64: 32C7A7151B235523 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:37:41] 625*2^1000389-1 is not prime. Res64: EB9A8E0DC8E586C4 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:38:45] 953*2^1000382-1 is not prime. Res64: 38263E55B4AB7EDC Time : 0.0 sec. user=mdettweiler [2012-01-09 05:38:45] 609*2^1000383-1 is not prime. Res64: 65252E4F4DF4BBD0 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:46:55] 627*2^1000389-1 is not prime. Res64: 1CF995C275700231 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:46:55] 669*2^1000385-1 is not prime. Res64: 6AD155975BF9E280 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:46:55] 717*2^1000385-1 is not prime. Res64: 3AA5543AEBB038BF Time : 0.0 sec. user=mdettweiler [2012-01-09 05:46:56] 655*2^1000389-1 is not prime. Res64: 1C2B5B5D4A25420C Time : 0.0 sec. user=mdettweiler [2012-01-09 05:47:28] 667*2^1000389-1 is not prime. Res64: C30AFE3A1224D6F4 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:47:28] 675*2^1000389-1 is not prime. Res64: 28846D9894562C1C Time : 0.0 sec. user=mdettweiler [2012-01-09 05:51:02] 787*2^1000389-1 is not prime. Res64: 59B55784A096B93F Time : 0.0 sec. user=mdettweiler [2012-01-09 05:51:02] 811*2^1000389-1 is not prime. Res64: 8A627B2F5E2EEACF Time : 0.0 sec. user=mdettweiler [2012-01-09 05:55:09] 657*2^1000384-1 is not prime. Res64: EA43BA6F38E702A3 Time : 0.0 sec. user=mdettweiler [2012-01-09 05:55:09] 965*2^1000384-1 is not prime. Res64: 38171293FC248A9F Time : 0.0 sec. user=mdettweiler [2012-01-09 05:57:23] 895*2^1000389-1 is not prime. Res64: A82DAA9875B57B7B Time : 0.0 sec. user=mdettweiler [2012-01-09 05:57:24] 919*2^1000389-1 is not prime. Res64: 79BF1F59C6251761 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:06:35] 783*2^1000390-1 is not prime. Res64: 12AB99289657F037 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:06:37] 801*2^1000390-1 is not prime. Res64: CE3B893715E81BAA Time : 0.0 sec. user=mdettweiler [2012-01-09 06:07:04] 821*2^1000390-1 is not prime. Res64: FB714EA6B4119682 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:07:05] 843*2^1000390-1 is not prime. Res64: 6520E96A0DF58DC5 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:10:41] 857*2^1000390-1 is not prime. Res64: 080FA865108A7B24 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:10:45] 887*2^1000390-1 is not prime. Res64: 1DE945D09836E8D6 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:19:20] 783*2^1000391-1 is not prime. Res64: A5116DCA39E2816A Time : 0.0 sec. user=mdettweiler [2012-01-09 06:19:21] 993*2^1000391-1 is not prime. Res64: ABC75398BD2D0012 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:26:46] 635*2^1000392-1 is not prime. Res64: E5E89750E0133F3D Time : 0.0 sec. user=mdettweiler [2012-01-09 06:26:47] 747*2^1000392-1 is not prime. Res64: 63AE21636FACA674 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:28:36] 999*2^1000391-1 is not prime. Res64: 4E5C170D54AB4098 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:28:36] 615*2^1000392-1 is not prime. Res64: 1D60E960884D68BF Time : 0.0 sec. user=mdettweiler [2012-01-09 06:30:32] 779*2^1000392-1 is not prime. Res64: 0DE9D8ABC1A07B1B Time : 0.0 sec. user=mdettweiler [2012-01-09 06:30:33] 825*2^1000392-1 is not prime. Res64: 392AF2E0F82CAFA3 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:38:56] 849*2^1000392-1 is not prime. Res64: 44D12168BACCD075 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:38:57] 915*2^1000392-1 is not prime. Res64: B53B8EF43BC757E9 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:46:25] 933*2^1000392-1 is not prime. Res64: 8756944E99A83F56 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:46:26] 651*2^1000393-1 is not prime. Res64: D4BBDE93773B3BEE Time : 0.0 sec. user=mdettweiler [2012-01-09 06:48:15] 687*2^1000393-1 is not prime. Res64: 47FF8424BDFF07DB Time : 0.0 sec. user=mdettweiler [2012-01-09 06:48:16] 769*2^1000393-1 is not prime. Res64: DC851146A63B9FCB Time : 0.0 sec. user=mdettweiler [2012-01-09 06:50:13] 915*2^1000393-1 is not prime. Res64: 05FBDF61C1326134 Time : 0.0 sec. user=mdettweiler [2012-01-09 06:50:14] 937*2^1000393-1 is not prime. Res64: F771D4C8524151E4 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:00] 921*2^1000389-1 is not prime. Res64: 9A281BA846C962AB Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:00] 987*2^1000389-1 is not prime. Res64: E8299518618AEB5B Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:34] 665*2^1000390-1 is not prime. Res64: 9DD1937CD3E354E9 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:34] 681*2^1000390-1 is not prime. Res64: 36189C314AEDEF63 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:51] 967*2^1000393-1 is not prime. Res64: 14F058FBE92CA27B Time : 0.0 sec. user=mdettweiler [2012-01-09 07:00:52] 641*2^1000394-1 is not prime. Res64: 870C37050433B233 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:06:08] 671*2^1000394-1 is not prime. Res64: 157604AAFAD8C5CF Time : 0.0 sec. user=mdettweiler [2012-01-09 07:06:10] 675*2^1000394-1 is not prime. Res64: CE2026E6F468925D Time : 0.0 sec. user=mdettweiler [2012-01-09 07:07:57] 717*2^1000394-1 is not prime. Res64: 427644E37665F25E Time : 0.0 sec. user=mdettweiler [2012-01-09 07:07:58] 831*2^1000394-1 is not prime. Res64: EAAE8DDA69FDDB05 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:08:40] 957*2^1000390-1 is not prime. Res64: 5F84444F3C45BE20 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:08:41] 703*2^1000391-1 is not prime. Res64: 4AFDA261935B09EF Time : 0.0 sec. user=mdettweiler [2012-01-09 07:09:57] 917*2^1000394-1 is not prime. Res64: 8FFE0D1B97F99ADF Time : 0.0 sec. user=mdettweiler [2012-01-09 07:10:00] 609*2^1000395-1 is not prime. Res64: 3225A19AA217FED4 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:20:29] 719*2^1000396-1 is not prime. Res64: AC1EFC2BB2D191C2 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:20:29] 777*2^1000396-1 is not prime. Res64: 837E7AAAFACE2A66 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:25:54] 783*2^1000396-1 is not prime. Res64: 63B1DE6822E2BEAD Time : 0.0 sec. user=mdettweiler [2012-01-09 07:25:55] 875*2^1000396-1 is not prime. Res64: 83F37A6ABA94BE3C Time : 0.0 sec. user=mdettweiler [2012-01-09 07:29:43] 729*2^1000397-1 is not prime. Res64: 11CC81765409394D Time : 0.0 sec. user=mdettweiler [2012-01-09 07:29:44] 799*2^1000397-1 is not prime. Res64: CA6715643AB17107 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:29:56] 957*2^1000396-1 is not prime. Res64: F9D4F4EB65066E26 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:29:57] 969*2^1000396-1 is not prime. Res64: F8734DB286FE39C0 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:40:16] 901*2^1000397-1 is not prime. Res64: A07C152840FE4998 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:40:16] 925*2^1000397-1 is not prime. Res64: 6F24F3FAEE299545 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:45:36] 621*2^1000398-1 is not prime. Res64: 5385BB2F5FA515D1 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:45:37] 657*2^1000398-1 is not prime. Res64: 683FB35845025D7C Time : 0.0 sec. user=mdettweiler [2012-01-09 07:49:26] 665*2^1000398-1 is not prime. Res64: 3C017300A4138EA7 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:49:27] 683*2^1000398-1 is not prime. Res64: B0FBED0E7E419750 Time : 0.0 sec. user=mdettweiler [2012-01-09 07:49:28] 707*2^1000398-1 is not prime. Res64: 4E8570C22DDEB1BA Time : 0.0 sec. user=mdettweiler [2012-01-09 07:49:29] 755*2^1000398-1 is not prime. Res64: 9F2829123DCF258F Time : 0.0 sec. user=mdettweiler [2012-01-09 08:02:15] 993*2^1000398-1 is not prime. Res64: 40129ADCA973E6A7 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:02:16] 705*2^1000399-1 is not prime. Res64: EDE19B46EC2162B3 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:05:23] 771*2^1000399-1 is not prime. Res64: 2B4E5AAD7DD417D9 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:05:25] 829*2^1000399-1 is not prime. Res64: 45BB5325F90051C5 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:11:27] 993*2^1000399-1 is not prime. Res64: D60606DB3FA7ACBA Time : 0.0 sec. user=mdettweiler [2012-01-09 08:11:27] 609*2^1000400-1 is not prime. Res64: 94CEE0FC54D78156 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:11:29] 885*2^1000399-1 is not prime. Res64: F1F08EAB61D3BABF Time : 0.0 sec. user=mdettweiler [2012-01-09 08:11:30] 973*2^1000399-1 is not prime. Res64: 24B7359A3E8FB68D Time : 0.0 sec. user=mdettweiler [2012-01-09 08:12:53] 709*2^1000395-1 is not prime. Res64: B35B7B7D02B28820 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:12:54] 711*2^1000395-1 is not prime. Res64: C4B9F3946BD435E8 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:13:33] 859*2^1000395-1 is not prime. Res64: 3A9435A47C4AD99B Time : 0.0 sec. user=mdettweiler [2012-01-09 08:13:34] 717*2^1000396-1 is not prime. Res64: 1443D213AD843909 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:21:37] 621*2^1000397-1 is not prime. Res64: DB6DEDBD0B1917A7 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:21:37] 711*2^1000397-1 is not prime. Res64: 06CD19CEC1E601F8 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:22:00] 669*2^1000400-1 is not prime. Res64: 8131B334811E239C Time : 0.0 sec. user=mdettweiler [2012-01-09 08:22:01] 713*2^1000400-1 is not prime. Res64: F5B54C478A0560D3 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:25:08] 767*2^1000400-1 is not prime. Res64: ACED3CABF78805D5 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:25:08] 929*2^1000400-1 is not prime. Res64: 2845F28FFE4C976E Time : 0.0 sec. user=mdettweiler [2012-01-09 08:31:19] 747*2^1000401-1 is not prime. Res64: A86C2010AC01D29B Time : 0.0 sec. user=mdettweiler [2012-01-09 08:31:19] 867*2^1000401-1 is not prime. Res64: 6A55E095210C8A70 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:33:20] 963*2^1000400-1 is not prime. Res64: A3AEA00FB64C8172 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:33:21] 727*2^1000401-1 is not prime. Res64: F37B97EE347FD02D Time : 0.0 sec. user=mdettweiler [2012-01-09 08:41:41] 731*2^1000402-1 is not prime. Res64: 6A767803A6005621 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:41:41] 785*2^1000402-1 is not prime. Res64: 01A8AAC2FF5C7379 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:44:50] 915*2^1000402-1 is not prime. Res64: BB9E14C391B182A2 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:44:50] 917*2^1000402-1 is not prime. Res64: DD3478A82375895C Time : 0.0 sec. user=mdettweiler [2012-01-09 08:50:58] 603*2^1000403-1 is not prime. Res64: 4D022F3999218171 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:50:59] 621*2^1000403-1 is not prime. Res64: 08A0C37232099CC9 Time : 0.0 sec. user=mdettweiler [2012-01-09 08:52:59] 753*2^1000403-1 is not prime. Res64: C913D06A766200EF Time : 0.0 sec. user=mdettweiler [2012-01-09 08:52:59] 811*2^1000403-1 is not prime. Res64: BA28DC911DFD7836 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:01:23] 829*2^1000403-1 is not prime. Res64: DBD1AE108BB97C7F Time : 0.0 sec. user=mdettweiler [2012-01-09 09:01:24] 955*2^1000403-1 is not prime. Res64: 2604388BF92AFC6A Time : 0.0 sec. user=mdettweiler [2012-01-09 09:04:35] 635*2^1000404-1 is not prime. Res64: 7702674DAE9281CE Time : 0.0 sec. user=mdettweiler [2012-01-09 09:04:35] 657*2^1000404-1 is not prime. Res64: CA44597DE7B27D2B Time : 0.0 sec. user=mdettweiler [2012-01-09 09:10:37] 825*2^1000404-1 is not prime. Res64: 7DD87BA54972CF82 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:10:39] 887*2^1000404-1 is not prime. Res64: 9F7CD34BF8958F26 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:12:36] 893*2^1000404-1 is not prime. Res64: BAEF8D04F0DC6E9D Time : 0.0 sec. user=mdettweiler [2012-01-09 09:12:38] 905*2^1000404-1 is not prime. Res64: FB38E56864A5C4CB Time : 0.0 sec. user=mdettweiler [2012-01-09 09:21:09] 935*2^1000404-1 is not prime. Res64: DEC072C63054DB7F Time : 0.0 sec. user=mdettweiler [2012-01-09 09:21:10] 959*2^1000404-1 is not prime. Res64: D47BE8915C0C95C6 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:24:16] 819*2^1000405-1 is not prime. Res64: 9D2D0B8D76D886BB Time : 0.0 sec. user=mdettweiler [2012-01-09 09:24:17] 825*2^1000405-1 is not prime. Res64: 5C1E55461EDF2920 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:27:53] 889*2^1000401-1 is not prime. Res64: 59DB30B19FD3CA02 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:27:53] 937*2^1000401-1 is not prime. Res64: C3A580F12F1EC7CF Time : 0.0 sec. user=mdettweiler [2012-01-09 09:28:29] 945*2^1000401-1 is not prime. Res64: EFD6C39578373430 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:28:29] 951*2^1000401-1 is not prime. Res64: C2BAE0658E4AD0D8 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:32:23] 801*2^1000406-1 is not prime. Res64: 43573F4F462A9ADD Time : 0.0 sec. user=mdettweiler [2012-01-09 09:32:24] 843*2^1000406-1 is not prime. Res64: 863CDD13E72E9C45 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:32:33] 997*2^1000405-1 is not prime. Res64: 460475A94D95F495 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:32:34] 683*2^1000406-1 is not prime. Res64: FE5BDB86670363D6 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:40:48] 851*2^1000406-1 is not prime. Res64: 6C9781C1D896707C Time : 0.0 sec. user=mdettweiler [2012-01-09 09:40:48] 857*2^1000406-1 is not prime. Res64: 004047813E663AC9 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:43:58] 861*2^1000406-1 is not prime. Res64: B68BA63C10FFF4BE Time : 0.0 sec. user=mdettweiler [2012-01-09 09:43:58] 923*2^1000406-1 is not prime. Res64: 2459D99BBB7DC43C Time : 0.0 sec. user=mdettweiler [2012-01-09 09:45:01] 979*2^1000401-1 is not prime. Res64: 515E0CF4A781CFBD Time : 0.0 sec. user=mdettweiler [2012-01-09 09:45:01] 717*2^1000402-1 is not prime. Res64: 55065405F06C235F Time : 0.0 sec. user=mdettweiler [2012-01-09 09:51:59] 933*2^1000407-1 is not prime. Res64: 4FA0C1A957CB9AD2 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:52:00] 945*2^1000407-1 is not prime. Res64: 96270884BCBDF159 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:52:14] 825*2^1000408-1 is not prime. Res64: 35AE7FF0717B3D95 Time : 0.0 sec. user=mdettweiler [2012-01-09 09:52:15] 869*2^1000408-1 is not prime. Res64: 6DED84536C43A747 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:00:27] 705*2^1000409-1 is not prime. Res64: 1C8CE13815C91A9A Time : 0.0 sec. user=mdettweiler [2012-01-09 10:00:31] 769*2^1000409-1 is not prime. Res64: 02725F25A2FC31AD Time : 0.0 sec. user=mdettweiler [2012-01-09 10:03:43] 775*2^1000409-1 is not prime. Res64: F56FD0BA480BFD9D Time : 0.0 sec. user=mdettweiler [2012-01-09 10:03:44] 633*2^1000410-1 is not prime. Res64: B047201B1672E0C6 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:11:44] 767*2^1000410-1 is not prime. Res64: E48195E783BDDD15 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:11:46] 783*2^1000410-1 is not prime. Res64: 534FE90B0954A98B Time : 0.0 sec. user=mdettweiler [2012-01-09 10:11:56] 875*2^1000410-1 is not prime. Res64: 94EC22F5FE9BAEAE Time : 0.0 sec. user=mdettweiler [2012-01-09 10:11:57] 921*2^1000410-1 is not prime. Res64: F61D87EBE2AEC977 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:20:25] 615*2^1000411-1 is not prime. Res64: 84590A22359BFDC0 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:20:25] 849*2^1000411-1 is not prime. Res64: 9F519ABBE70B60A9 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:23:47] 871*2^1000411-1 is not prime. Res64: A8CF3482757BCB91 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:23:48] 909*2^1000411-1 is not prime. Res64: C856A163D3DC8DA6 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:31:39] 693*2^1000412-1 is not prime. Res64: 27AD9381EFBE09A1 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:31:39] 767*2^1000412-1 is not prime. Res64: B6C44171F0C05F50 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:33:45] 951*2^1000411-1 is not prime. Res64: B2B94B9AE70FF961 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:33:45] 975*2^1000411-1 is not prime. Res64: 72817DE5CEDBECF9 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:40:06] 797*2^1000412-1 is not prime. Res64: 902A592E900EF90C Time : 0.0 sec. user=mdettweiler [2012-01-09 10:40:07] 855*2^1000412-1 is not prime. Res64: 319633314EE4C9DB Time : 0.0 sec. user=mdettweiler [2012-01-09 10:43:30] 885*2^1000412-1 is not prime. Res64: 5B63AC041DB7AD78 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:43:30] 745*2^1000413-1 is not prime. Res64: 7719BF6ECA8EF56F Time : 0.0 sec. user=mdettweiler [2012-01-09 10:43:48] 945*2^1000406-1 is not prime. Res64: 86AA0F80E9779CC0 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:43:49] 693*2^1000407-1 is not prime. Res64: 45D8EC43ACA89FE2 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:44:33] 861*2^1000407-1 is not prime. Res64: 45B5757D0D688F11 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:44:33] 879*2^1000407-1 is not prime. Res64: D3E4A3B127D1802F Time : 0.0 sec. user=mdettweiler [2012-01-09 10:51:20] 747*2^1000413-1 is not prime. Res64: 3A07FC8F9A59A5FB Time : 0.0 sec. user=mdettweiler [2012-01-09 10:51:20] 787*2^1000413-1 is not prime. Res64: A0227065004A0C84 Time : 0.0 sec. user=mdettweiler [2012-01-09 10:53:24] 789*2^1000413-1 is not prime. Res64: ECB6F0E43054978C Time : 0.0 sec. user=mdettweiler [2012-01-09 10:53:25] 795*2^1000413-1 is not prime. Res64: 3A053386087D344E Time : 0.0 sec. user=mdettweiler [2012-01-09 10:59:48] 811*2^1000413-1 is not prime. Res64: 4B3EDCE0E251D67B Time : 0.0 sec. user=mdettweiler [2012-01-09 10:59:49] 837*2^1000413-1 is not prime. Res64: ECD2D7246E023535 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:01:06] 711*2^1000410-1 is not prime. Res64: 9621F0C40BFC2337 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:01:06] 725*2^1000410-1 is not prime. Res64: 6716BFFAAB094B97 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:03:11] 849*2^1000413-1 is not prime. Res64: B2E8D8BC787AEC01 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:03:11] 859*2^1000413-1 is not prime. Res64: C9E2D1EEB814B6D0 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:10:59] 897*2^1000414-1 is not prime. Res64: 11BCD57ED5B65117 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:11:00] 917*2^1000414-1 is not prime. Res64: 4799D6BC36D3B924 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:13:05] 923*2^1000414-1 is not prime. Res64: EADD5D47E97F1EC3 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:13:05] 645*2^1000415-1 is not prime. Res64: 1E1EF8DA33C409D6 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:19:31] 705*2^1000415-1 is not prime. Res64: DAD8A159141D8EAB Time : 0.0 sec. user=mdettweiler [2012-01-09 11:19:32] 741*2^1000415-1 is not prime. Res64: 8DEE0F3DE73EDBCD Time : 0.0 sec. user=mdettweiler [2012-01-09 11:22:54] 841*2^1000415-1 is not prime. Res64: 92D05D4850F692BA Time : 0.0 sec. user=mdettweiler [2012-01-09 11:22:54] 861*2^1000415-1 is not prime. Res64: 6F6B55D9BD15F5D4 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:32:59] 865*2^1000415-1 is not prime. Res64: 9484CB7E70250C43 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:33:00] 969*2^1000415-1 is not prime. Res64: CB89FDC50646FA2C Time : 0.0 sec. user=mdettweiler [2012-01-09 11:35:13] 991*2^1000415-1 is not prime. Res64: CA886F3D6E67568F Time : 0.0 sec. user=mdettweiler [2012-01-09 11:35:13] 695*2^1000416-1 is not prime. Res64: 0DF9272F00CD4EAA Time : 0.0 sec. user=mdettweiler [2012-01-09 11:39:19] 615*2^1000417-1 is not prime. Res64: D7DFDC455DC57364 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:39:19] 651*2^1000417-1 is not prime. Res64: F18464A3E97BAD57 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:42:37] 699*2^1000417-1 is not prime. Res64: 77DF532A174C4646 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:42:37] 715*2^1000417-1 is not prime. Res64: 86C1E3102712518B Time : 0.0 sec. user=mdettweiler [2012-01-09 11:52:41] 741*2^1000417-1 is not prime. Res64: A4362F06FAC44946 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:52:42] 847*2^1000417-1 is not prime. Res64: 7EFCB1817DC950CC Time : 0.0 sec. user=mdettweiler [2012-01-09 11:54:52] 861*2^1000417-1 is not prime. Res64: 5CF547C781C1D207 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:54:53] 889*2^1000417-1 is not prime. Res64: 771CB022917C8C71 Time : 0.0 sec. user=mdettweiler [2012-01-09 11:58:57] 895*2^1000417-1 is not prime. Res64: EEDE102D7DDB9FBD Time : 0.0 sec. user=mdettweiler [2012-01-09 11:58:58] 919*2^1000417-1 is not prime. Res64: 364C52DA333A7EA5 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:00:08] 881*2^1000414-1 is not prime. Res64: A5FC2DB2E80D4A05 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:00:11] 887*2^1000414-1 is not prime. Res64: 35AE6827E0836D9F Time : 0.0 sec. user=mdettweiler [2012-01-09 12:02:16] 603*2^1000418-1 is not prime. Res64: 9BB2C9C7873CAF43 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:02:16] 623*2^1000418-1 is not prime. Res64: 146799A236B3D795 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:07:39] 991*2^1000413-1 is not prime. Res64: DCD213333C04B6EF Time : 0.0 sec. user=mdettweiler [2012-01-09 12:07:40] 723*2^1000414-1 is not prime. Res64: 73A9C1F07889D428 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:12:22] 683*2^1000418-1 is not prime. Res64: 87D6C6197B994621 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:12:24] 797*2^1000418-1 is not prime. Res64: 6BE835B4A3D34B3C Time : 0.0 sec. user=mdettweiler [2012-01-09 12:16:41] 775*2^1000415-1 is not prime. Res64: D7724174D6E707DC Time : 0.0 sec. user=mdettweiler [2012-01-09 12:16:41] 783*2^1000415-1 is not prime. Res64: 4DD3DDD86A99C345 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:16:47] 977*2^1000418-1 is not prime. Res64: AFDEA81236CF89CB Time : 0.0 sec. user=mdettweiler [2012-01-09 12:16:48] 751*2^1000419-1 is not prime. Res64: 9AD41B407FDCCE43 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:18:39] 801*2^1000419-1 is not prime. Res64: 99106C7E4657F591 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:18:39] 835*2^1000419-1 is not prime. Res64: 83D112379D92C4A0 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:21:55] 649*2^1000421-1 is not prime. Res64: 7F127C3C57A8C215 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:21:55] 727*2^1000421-1 is not prime. Res64: 535E2FEF41AFAA48 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:32:09] 825*2^1000421-1 is not prime. Res64: 6FE9D1C40B920FC7 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:32:10] 859*2^1000421-1 is not prime. Res64: C7EB316B88F1C5D0 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:36:28] 949*2^1000421-1 is not prime. Res64: CA8340318B0903C9 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:36:28] 955*2^1000421-1 is not prime. Res64: AE2A4C687E0E1F3F Time : 0.0 sec. user=mdettweiler [2012-01-09 12:38:22] 635*2^1000422-1 is not prime. Res64: 8500B9CBF1933412 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:38:23] 683*2^1000422-1 is not prime. Res64: 8303043457DD6DEC Time : 0.0 sec. user=mdettweiler [2012-01-09 12:41:31] 695*2^1000422-1 is not prime. Res64: 00A9E9C4425DE558 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:41:32] 755*2^1000422-1 is not prime. Res64: 534B8B619A190A7E Time : 0.0 sec. user=mdettweiler [2012-01-09 12:54:12] 893*2^1000422-1 is not prime. Res64: FEC6B71043A7521A Time : 0.0 sec. user=mdettweiler [2012-01-09 12:54:12] 963*2^1000422-1 is not prime. Res64: 1D4E8FD3403CC12D Time : 0.0 sec. user=mdettweiler [2012-01-09 12:58:08] 741*2^1000423-1 is not prime. Res64: 4AAA0B6F5947C279 Time : 0.0 sec. user=mdettweiler [2012-01-09 12:58:08] 765*2^1000423-1 is not prime. Res64: D34956C133DBDB1F Time : 0.0 sec. user=mdettweiler [2012-01-09 12:58:24] 975*2^1000422-1 is not prime. Res64: 5D428183C5DF685B Time : 0.0 sec. user=mdettweiler [2012-01-09 12:58:24] 603*2^1000423-1 is not prime. Res64: 70CEF8DA39F5FDC1 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:01:13] 915*2^1000423-1 is not prime. Res64: 59A5074AFE51AAD0 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:01:14] 725*2^1000424-1 is not prime. Res64: 3C0F07909D20813A Time : 0.0 sec. user=mdettweiler [2012-01-09 13:13:53] 825*2^1000424-1 is not prime. Res64: 68639F60408C3DEC Time : 0.0 sec. user=mdettweiler [2012-01-09 13:13:54] 903*2^1000424-1 is not prime. Res64: 85452787F7320081 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:16:00] 855*2^1000420-1 is not prime. Res64: 9CFB61E7A4586434 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:16:01] 863*2^1000420-1 is not prime. Res64: C129AA8F9CA19DF0 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:18:03] 625*2^1000425-1 is not prime. Res64: ABEEEC3C26A76909 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:18:04] 627*2^1000425-1 is not prime. Res64: 0735ABB9778CFAF3 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:20:01] 915*2^1000424-1 is not prime. Res64: BE8688539F82283F Time : 0.0 sec. user=mdettweiler [2012-01-09 13:20:02] 983*2^1000424-1 is not prime. Res64: 440C96AF06B74F4A Time : 0.0 sec. user=mdettweiler [2012-01-09 13:20:53] 699*2^1000425-1 is not prime. Res64: 9CC0C5EF057A86B3 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:20:53] 717*2^1000425-1 is not prime. Res64: 3AA7A92DE93347CE Time : 0.0 sec. user=mdettweiler [2012-01-09 13:23:30] 741*2^1000421-1 is not prime. Res64: D11C1376108E73EB Time : 0.0 sec. user=mdettweiler [2012-01-09 13:23:31] 745*2^1000421-1 is not prime. Res64: 66E7D19BDA4FE19A Time : 0.0 sec. user=mdettweiler [2012-01-09 13:32:29] 937*2^1000421-1 is not prime. Res64: 074F0832453F76A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:32:29] 939*2^1000421-1 is not prime. Res64: 427328CD32223AEA Time : 0.0 sec. user=mdettweiler [2012-01-09 13:33:33] 739*2^1000425-1 is not prime. Res64: F50E8CD9135A9BEC Time : 0.0 sec. user=mdettweiler [2012-01-09 13:33:34] 777*2^1000425-1 is not prime. Res64: 85D7563366DDBE5D Time : 0.0 sec. user=mdettweiler [2012-01-09 13:37:44] 611*2^1000426-1 is not prime. Res64: C3A97965706824B5 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:37:44] 701*2^1000426-1 is not prime. Res64: A9628AEC0D8A3BC0 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:39:40] 713*2^1000426-1 is not prime. Res64: 06DCAAB235F78A85 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:39:41] 723*2^1000426-1 is not prime. Res64: E0AB6CC386FF2B03 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:40:32] 743*2^1000426-1 is not prime. Res64: D1AA123E622820A5 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:40:33] 755*2^1000426-1 is not prime. Res64: C1BD23FE959F5FCB Time : 0.0 sec. user=mdettweiler [2012-01-09 13:53:13] 735*2^1000427-1 is not prime. Res64: 6E1E515A48FC3CFC Time : 0.0 sec. user=mdettweiler [2012-01-09 13:53:13] 775*2^1000427-1 is not prime. Res64: 1C188FF9772B4B65 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:57:28] 895*2^1000427-1 is not prime. Res64: A39ED86D73006832 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:57:29] 931*2^1000427-1 is not prime. Res64: 07679F384261C8C6 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:59:20] 635*2^1000428-1 is not prime. Res64: 2B6102BFC5984D20 Time : 0.0 sec. user=mdettweiler [2012-01-09 13:59:20] 663*2^1000428-1 is not prime. Res64: 6AF5C60D753EFBAF Time : 0.0 sec. user=mdettweiler [2012-01-09 14:00:10] 777*2^1000428-1 is not prime. Res64: 936A0A0D9A016A6F Time : 0.0 sec. user=mdettweiler [2012-01-09 14:00:11] 915*2^1000428-1 is not prime. Res64: 25945EDF74241933 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:12:56] 621*2^1000429-1 is not prime. Res64: 7D7A98585BDA0632 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:12:56] 861*2^1000429-1 is not prime. Res64: 08E832B027041B35 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:17:13] 885*2^1000429-1 is not prime. Res64: AB21314C8966A2C4 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:17:14] 895*2^1000429-1 is not prime. Res64: 44B07284D09B3CED Time : 0.0 sec. user=mdettweiler [2012-01-09 14:18:58] 919*2^1000429-1 is not prime. Res64: 4096070961428337 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:18:59] 925*2^1000429-1 is not prime. Res64: 732481456CC12379 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:19:58] 641*2^1000430-1 is not prime. Res64: 04E39AE10674CE93 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:19:59] 675*2^1000430-1 is not prime. Res64: E5878E06EDBD214D Time : 0.0 sec. user=mdettweiler [2012-01-09 14:32:48] 755*2^1000430-1 is not prime. Res64: C1CF6239737BB611 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:32:48] 785*2^1000430-1 is not prime. Res64: 0C278AB159A23160 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:37:07] 831*2^1000430-1 is not prime. Res64: DCFA7668B0228F72 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:37:08] 867*2^1000430-1 is not prime. Res64: 5E5EB03029F20426 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:37:46] 871*2^1000425-1 is not prime. Res64: 2C0FCB08A90AEADE Time : 0.0 sec. user=mdettweiler [2012-01-09 14:37:47] 937*2^1000425-1 is not prime. Res64: C63AB723ECB90E33 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:38:51] 643*2^1000431-1 is not prime. Res64: 0DF8B4A72CB2B063 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:38:51] 661*2^1000431-1 is not prime. Res64: D405B110A98A291E Time : 0.0 sec. user=mdettweiler [2012-01-09 14:40:01] 711*2^1000431-1 is not prime. Res64: AE1A91CD21B3DCE3 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:40:01] 819*2^1000431-1 is not prime. Res64: F445A8DE9671B5E0 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:42:28] 801*2^1000426-1 is not prime. Res64: 820FB9C04AD9C6E1 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:42:34] 645*2^1000427-1 is not prime. Res64: 408F3B170D6E4826 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:47:43] 957*2^1000426-1 is not prime. Res64: 5D39BF07D15BCBF1 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:52:34] 825*2^1000431-1 is not prime. Res64: AAA16727F879ACF1 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:52:34] 829*2^1000431-1 is not prime. Res64: 4C58D4734FBD34A9 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:56:11] 711*2^1000427-1 is not prime. Res64: 5495F3448183C60B Time : 0.0 sec. user=mdettweiler [2012-01-09 14:58:34] 803*2^1000432-1 is not prime. Res64: A9A4B8C3572BF504 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:58:34] 827*2^1000432-1 is not prime. Res64: F210A1F0CA7933BD Time : 0.0 sec. user=mdettweiler [2012-01-09 14:59:04] 901*2^1000431-1 is not prime. Res64: 5BEBC5D88CFCA198 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:59:05] 979*2^1000431-1 is not prime. Res64: 6A6F1D0A6B61A2DF Time : 0.0 sec. user=mdettweiler [2012-01-09 14:59:44] 833*2^1000432-1 is not prime. Res64: 5F527BB3F2649348 Time : 0.0 sec. user=mdettweiler [2012-01-09 14:59:44] 873*2^1000432-1 is not prime. Res64: 2D2B1C7793B8F6BF Time : 0.0 sec. user=mdettweiler [2012-01-09 15:12:43] 607*2^1000433-1 is not prime. Res64: 46D57C859606D9C1 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:12:44] 727*2^1000433-1 is not prime. Res64: 5CA19CC2A12824D3 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:18:36] 633*2^1000434-1 is not prime. Res64: 4B036FC55C29365B Time : 0.0 sec. user=mdettweiler [2012-01-09 15:18:37] 741*2^1000434-1 is not prime. Res64: 7006793A7CA6D368 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:18:56] 765*2^1000434-1 is not prime. Res64: 4E3969083208A752 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:18:56] 803*2^1000434-1 is not prime. Res64: C9BE3262162F18AE Time : 0.0 sec. user=mdettweiler [2012-01-09 15:19:44] 825*2^1000434-1 is not prime. Res64: C17290A4B56524A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:19:44] 903*2^1000434-1 is not prime. Res64: 78A4021BE2A5D979 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:32:36] 947*2^1000434-1 is not prime. Res64: 8FFAB4984466EDC0 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:32:36] 645*2^1000435-1 is not prime. Res64: 4B0D53A8ECB2897B Time : 0.0 sec. user=mdettweiler [2012-01-09 15:38:24] 651*2^1000435-1 is not prime. Res64: 0FF3A21EA600CB25 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:38:24] 691*2^1000435-1 is not prime. Res64: 59E69F22FD4B5D1A Time : 0.0 sec. user=mdettweiler [2012-01-09 15:38:41] 765*2^1000435-1 is not prime. Res64: C46D6CE825974076 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:38:41] 871*2^1000435-1 is not prime. Res64: 39D7C7FF48714803 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:41:51] 909*2^1000435-1 is not prime. Res64: B5782B201B49B68F Time : 0.0 sec. user=mdettweiler [2012-01-09 15:41:51] 973*2^1000435-1 is not prime. Res64: 28264C3AFFCDFB5F Time : 0.0 sec. user=mdettweiler [2012-01-09 15:52:24] 723*2^1000432-1 is not prime. Res64: C64BC30750D2CE1D Time : 0.0 sec. user=mdettweiler [2012-01-09 15:52:24] 747*2^1000432-1 is not prime. Res64: 8C5F3EDBAE50CC50 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:52:34] 633*2^1000436-1 is not prime. Res64: 404A64D5DA893302 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:52:34] 635*2^1000436-1 is not prime. Res64: 0D5FC282F405ED87 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:58:15] 659*2^1000436-1 is not prime. Res64: F819A99903812DE1 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:58:16] 707*2^1000436-1 is not prime. Res64: 22E1FE074F79979B Time : 0.0 sec. user=mdettweiler [2012-01-09 15:58:32] 735*2^1000436-1 is not prime. Res64: 2D307F983B122665 Time : 0.0 sec. user=mdettweiler [2012-01-09 15:58:33] 827*2^1000436-1 is not prime. Res64: F1AF65C203D9B195 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:03:55] 993*2^1000436-1 is not prime. Res64: D84577A3AD2E5536 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:03:56] 601*2^1000437-1 is not prime. Res64: 71D95AB327CC44D8 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:07:05] 909*2^1000432-1 is not prime. Res64: 53577EF8EB06CD7A Time : 0.0 sec. user=mdettweiler [2012-01-09 16:07:06] 975*2^1000432-1 is not prime. Res64: 5EAB1BF220E1841B Time : 0.0 sec. user=mdettweiler [2012-01-09 16:12:24] 669*2^1000437-1 is not prime. Res64: A9174BAF724D7A9B Time : 0.0 sec. user=mdettweiler [2012-01-09 16:12:29] 691*2^1000437-1 is not prime. Res64: C9CD22739BD7EC57 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:15:23] 981*2^1000433-1 is not prime. Res64: 6489728B1C76D04F Time : 0.0 sec. user=mdettweiler [2012-01-09 16:15:24] 611*2^1000434-1 is not prime. Res64: 5A9C8351FE03FA22 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:18:17] 781*2^1000437-1 is not prime. Res64: B82D7FB20D5B89C5 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:18:17] 915*2^1000437-1 is not prime. Res64: 561C76942A31720B Time : 0.0 sec. user=mdettweiler [2012-01-09 16:18:52] 919*2^1000437-1 is not prime. Res64: 615AED55889AF86E Time : 0.0 sec. user=mdettweiler [2012-01-09 16:18:53] 621*2^1000438-1 is not prime. Res64: CEFF026D0E7F3486 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:25:02] 687*2^1000438-1 is not prime. Res64: 34F935BA9699C33F Time : 0.0 sec. user=mdettweiler [2012-01-09 16:25:02] 705*2^1000438-1 is not prime. Res64: F9FEF835E48D6B74 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:33:37] 609*2^1000439-1 is not prime. Res64: 4935D1C3B40C2D3A Time : 0.0 sec. user=mdettweiler [2012-01-09 16:33:37] 621*2^1000439-1 is not prime. Res64: D11890CF90D58D0F Time : 0.0 sec. user=mdettweiler [2012-01-09 16:39:16] 703*2^1000439-1 is not prime. Res64: 6CD377794D88BA62 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:39:16] 729*2^1000439-1 is not prime. Res64: A333B234B34C0675 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:39:48] 859*2^1000439-1 is not prime. Res64: 12E49B0CA0410347 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:39:48] 865*2^1000439-1 is not prime. Res64: 01F5EA7656369603 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:45:38] 879*2^1000439-1 is not prime. Res64: 573A859DAF8BC1EA Time : 0.0 sec. user=mdettweiler [2012-01-09 16:45:39] 939*2^1000439-1 is not prime. Res64: 47D2BDBC4E3E9114 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:54:51] 623*2^1000440-1 is not prime. Res64: 5D9407362C43B868 Time : 0.0 sec. user=mdettweiler [2012-01-09 16:54:52] 699*2^1000440-1 is not prime. Res64: DAA9109755016EC8 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:00:30] 759*2^1000440-1 is not prime. Res64: EA0ED476DC6FF76C Time : 0.0 sec. user=mdettweiler [2012-01-09 17:00:30] 767*2^1000440-1 is not prime. Res64: 0F11A50F2DCD6AA0 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:00:52] 777*2^1000440-1 is not prime. Res64: F0A15E8A71BC3D87 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:00:55] 809*2^1000440-1 is not prime. Res64: C738C06E15BCBBCF Time : 0.0 sec. user=mdettweiler [2012-01-09 17:03:48] 609*2^1000437-1 is not prime. Res64: 8AA1A755781C9E50 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:03:49] 615*2^1000437-1 is not prime. Res64: 736C7E86557A67F3 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:06:51] 933*2^1000440-1 is not prime. Res64: B2ACABFA51570C7E Time : 0.0 sec. user=mdettweiler [2012-01-09 17:06:52] 619*2^1000441-1 is not prime. Res64: 7CCFAB82F269CA3B Time : 0.0 sec. user=mdettweiler [2012-01-09 17:15:27] 691*2^1000441-1 is not prime. Res64: B12F86155E4EF5FE Time : 0.0 sec. user=mdettweiler [2012-01-09 17:15:28] 717*2^1000441-1 is not prime. Res64: 48D521EDC7B81374 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:18:18] 747*2^1000438-1 is not prime. Res64: 7C5C2D215A942A9A Time : 0.0 sec. user=mdettweiler [2012-01-09 17:18:18] 843*2^1000438-1 is not prime. Res64: 611A04899D5087D0 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:21:29] 885*2^1000442-1 is not prime. Res64: DF827652259DD1D0 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:21:29] 887*2^1000442-1 is not prime. Res64: 7D911CFD35520283 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:21:31] 775*2^1000441-1 is not prime. Res64: 3816AF7070D83624 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:21:31] 847*2^1000441-1 is not prime. Res64: 35586E79A4C96365 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:26:29] 643*2^1000439-1 is not prime. Res64: DA23779F94B84C8C Time : 0.0 sec. user=mdettweiler [2012-01-09 17:26:29] 663*2^1000439-1 is not prime. Res64: 548F74E7531738AE Time : 0.0 sec. user=mdettweiler [2012-01-09 17:27:33] 723*2^1000443-1 is not prime. Res64: 6ACC2F48FDD4406D Time : 0.0 sec. user=mdettweiler [2012-01-09 17:27:33] 739*2^1000443-1 is not prime. Res64: 00129BC30DB17F4C Time : 0.0 sec. user=mdettweiler [2012-01-09 17:36:22] 789*2^1000443-1 is not prime. Res64: A2E74B0A7D4B5F08 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:36:22] 793*2^1000443-1 is not prime. Res64: F06EC27C8B817126 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:42:31] 705*2^1000444-1 is not prime. Res64: 67DA97A2B9A99E21 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:42:31] 759*2^1000444-1 is not prime. Res64: 93D26463A49CC0B0 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:42:37] 813*2^1000444-1 is not prime. Res64: 7973B99FF04CC420 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:42:37] 855*2^1000444-1 is not prime. Res64: ED3189DD0C7D7208 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:50:37] 995*2^1000444-1 is not prime. Res64: 4188E0FF97D07868 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:50:37] 787*2^1000445-1 is not prime. Res64: D7FADADF01ED7DF9 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:56:42] 859*2^1000445-1 is not prime. Res64: D36DD4367F735D05 Time : 0.0 sec. user=mdettweiler [2012-01-09 17:56:42] 925*2^1000445-1 is not prime. Res64: 5EE88C2B290B976F Time : 0.0 sec. user=mdettweiler [2012-01-09 18:02:35] 951*2^1000445-1 is not prime. Res64: 0A6D6EF77616FCBD Time : 0.0 sec. user=mdettweiler [2012-01-09 18:02:35] 627*2^1000446-1 is not prime. Res64: 06BF34332DE52255 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:02:44] 635*2^1000446-1 is not prime. Res64: A710915E4DF7CCBB Time : 0.0 sec. user=mdettweiler [2012-01-09 18:02:45] 641*2^1000446-1 is not prime. Res64: 14E93F99AB1E601F Time : 0.0 sec. user=mdettweiler [2012-01-09 18:10:34] 725*2^1000446-1 is not prime. Res64: 0C2BF3D46232D69B Time : 0.0 sec. user=mdettweiler [2012-01-09 18:10:35] 941*2^1000446-1 is not prime. Res64: 1282A668AD202AA4 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:15:42] 951*2^1000442-1 is not prime. Res64: 0E9A4B01C7E1DE06 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:15:43] 699*2^1000443-1 is not prime. Res64: 06BD57CC80F4F84B Time : 0.0 sec. user=mdettweiler [2012-01-09 18:18:57] 993*2^1000446-1 is not prime. Res64: 826130B0E55756FD Time : 0.0 sec. user=mdettweiler [2012-01-09 18:18:57] 619*2^1000447-1 is not prime. Res64: 5610456CEE70F3A1 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:22:35] 729*2^1000447-1 is not prime. Res64: CEF84D2785973175 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:22:35] 759*2^1000447-1 is not prime. Res64: 61AE72E9CB3BAA9C Time : 0.0 sec. user=mdettweiler [2012-01-09 18:22:37] 819*2^1000447-1 is not prime. Res64: 7D274F0868D136FB Time : 0.0 sec. user=mdettweiler [2012-01-09 18:22:37] 871*2^1000447-1 is not prime. Res64: BA9296FAA1FB96A8 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:30:33] 919*2^1000443-1 is not prime. Res64: DE7763650D9C5ADE Time : 0.0 sec. user=mdettweiler [2012-01-09 18:30:33] 623*2^1000444-1 is not prime. Res64: 5E3178B005A2E966 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:32:44] 933*2^1000447-1 is not prime. Res64: 2C230ED8B772C548 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:32:45] 961*2^1000447-1 is not prime. Res64: 9901FBBA9DDA8108 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:38:48] 857*2^1000444-1 is not prime. Res64: 22EABA8E078AAC83 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:38:48] 885*2^1000444-1 is not prime. Res64: 5736963580E38915 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:38:52] 803*2^1000448-1 is not prime. Res64: 1A2AF69E22B7F7A7 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:38:53] 869*2^1000448-1 is not prime. Res64: AD77DD48194886B5 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:42:24] 691*2^1000449-1 is not prime. Res64: 5FACA5FD5290A4D2 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:42:24] 745*2^1000449-1 is not prime. Res64: 0B430A411E27AFA3 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:42:26] 879*2^1000448-1 is not prime. Res64: D033961F4149DDA8 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:42:26] 923*2^1000448-1 is not prime. Res64: 32CA3BB6128BA96F Time : 0.0 sec. user=mdettweiler [2012-01-09 18:55:11] 889*2^1000449-1 is not prime. Res64: D0009B7088BCBDC6 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:55:11] 979*2^1000449-1 is not prime. Res64: 99B5D35A64685671 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:59:19] 773*2^1000450-1 is not prime. Res64: D442F91E1650A708 Time : 0.0 sec. user=mdettweiler [2012-01-09 18:59:19] 855*2^1000450-1 is not prime. Res64: 148B89448A9A89C5 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:02:54] 861*2^1000450-1 is not prime. Res64: CC2D7D238BC346F1 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:02:55] 917*2^1000450-1 is not prime. Res64: 78C631F10C828B8B Time : 0.0 sec. user=mdettweiler [2012-01-09 19:07:03] 971*2^1000450-1 is not prime. Res64: 8E69BF8B0CC05008 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:07:04] 975*2^1000450-1 is not prime. Res64: FC4CAA81E96F499B Time : 0.0 sec. user=mdettweiler [2012-01-09 19:15:05] 615*2^1000451-1 is not prime. Res64: 9B3022026C3B74CF Time : 0.0 sec. user=mdettweiler [2012-01-09 19:15:07] 645*2^1000451-1 is not prime. Res64: 04D969CDECC1C07C Time : 0.0 sec. user=mdettweiler [2012-01-09 19:19:14] 711*2^1000451-1 is not prime. Res64: 2109374A576660C7 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:19:14] 745*2^1000451-1 is not prime. Res64: 0555B88DCAB7A3BA Time : 0.0 sec. user=mdettweiler [2012-01-09 19:22:48] 805*2^1000451-1 is not prime. Res64: 5A61EB884AB695A8 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:22:49] 859*2^1000451-1 is not prime. Res64: DA6078832A5F1A7B Time : 0.0 sec. user=mdettweiler [2012-01-09 19:26:52] 885*2^1000451-1 is not prime. Res64: 830557025DB9F802 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:26:52] 629*2^1000452-1 is not prime. Res64: 838A0FCF59BB75FC Time : 0.0 sec. user=mdettweiler [2012-01-09 19:35:09] 633*2^1000452-1 is not prime. Res64: 59011C36F5A68DD5 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:35:09] 693*2^1000452-1 is not prime. Res64: 2459143948FC85E2 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:36:39] 973*2^1000447-1 is not prime. Res64: C7AAB4063BCF110C Time : 0.0 sec. user=mdettweiler [2012-01-09 19:36:40] 759*2^1000448-1 is not prime. Res64: AAD7900E4FB76C22 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:39:08] 717*2^1000452-1 is not prime. Res64: E9F008B3A139FFDF Time : 0.0 sec. user=mdettweiler [2012-01-09 19:39:08] 725*2^1000452-1 is not prime. Res64: D7E480B96DF2C633 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:43:24] 781*2^1000449-1 is not prime. Res64: 9DDBDB8D829A2F5A Time : 0.0 sec. user=mdettweiler [2012-01-09 19:43:24] 829*2^1000449-1 is not prime. Res64: 1828F99A82F2DB45 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:44:59] 875*2^1000452-1 is not prime. Res64: E07D51B904571E99 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:44:59] 999*2^1000452-1 is not prime. Res64: FB9E98F3C3189B3E Time : 0.0 sec. user=mdettweiler [2012-01-09 19:46:44] 619*2^1000453-1 is not prime. Res64: A97EC0BAB27B6FCE Time : 0.0 sec. user=mdettweiler [2012-01-09 19:46:44] 651*2^1000453-1 is not prime. Res64: 2D09731E0E189A8F Time : 0.0 sec. user=mdettweiler [2012-01-09 19:51:39] 701*2^1000450-1 is not prime. Res64: 525AD7A8B22C21EA Time : 0.0 sec. user=mdettweiler [2012-01-09 19:51:39] 735*2^1000450-1 is not prime. Res64: 79BB0EAB62F331A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:55:03] 681*2^1000453-1 is not prime. Res64: 95C5D859654F9A08 Time : 0.0 sec. user=mdettweiler [2012-01-09 19:55:03] 729*2^1000453-1 is not prime. Res64: 1CEE24CE3D7054DB Time : 0.0 sec. user=mdettweiler [2012-01-09 19:58:59] 915*2^1000453-1 is not prime. Res64: C2E7CBCE06A1817A Time : 0.0 sec. user=mdettweiler [2012-01-09 19:59:00] 617*2^1000454-1 is not prime. Res64: 62CD7AA2DA4A0C9D Time : 0.0 sec. user=mdettweiler [2012-01-09 20:06:36] 643*2^1000455-1 is not prime. Res64: 2538BA73CD49AB96 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:06:37] 705*2^1000455-1 is not prime. Res64: 8FF12FECF438209D Time : 0.0 sec. user=mdettweiler [2012-01-09 20:07:15] 827*2^1000454-1 is not prime. Res64: 6A5049AA32B381AC Time : 0.0 sec. user=mdettweiler [2012-01-09 20:07:16] 971*2^1000454-1 is not prime. Res64: 0B6A84CE4A26C52F Time : 0.0 sec. user=mdettweiler [2012-01-09 20:15:00] 919*2^1000455-1 is not prime. Res64: A361249F52BB81F9 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:15:00] 615*2^1000456-1 is not prime. Res64: CE9EA6787C990BB3 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:18:53] 639*2^1000456-1 is not prime. Res64: B3D6A59DA2E1C5A2 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:18:53] 765*2^1000456-1 is not prime. Res64: 0B9A875FD60D1944 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:27:23] 615*2^1000457-1 is not prime. Res64: 2C0CE92CC659C722 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:27:23] 717*2^1000457-1 is not prime. Res64: 9C4BBEAA42AD085F Time : 0.0 sec. user=mdettweiler [2012-01-09 20:28:47] 813*2^1000456-1 is not prime. Res64: C7BCD8C390758181 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:28:48] 969*2^1000456-1 is not prime. Res64: 002B89951D1B6FC3 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:34:58] 871*2^1000457-1 is not prime. Res64: 11A96978B8EF2AAC Time : 0.0 sec. user=mdettweiler [2012-01-09 20:34:59] 937*2^1000457-1 is not prime. Res64: 27CE377D9185EC6C Time : 0.0 sec. user=mdettweiler [2012-01-09 20:38:30] 789*2^1000455-1 is not prime. Res64: A292EE86C213FBD8 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:38:31] 665*2^1000454-1 is not prime. Res64: C510F3FD149DCA3A Time : 0.0 sec. user=mdettweiler [2012-01-09 20:38:31] 747*2^1000453-1 is not prime. Res64: 459EC1E8021D5DC9 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:41:11] 967*2^1000457-1 is not prime. Res64: 447DD2EAD30A7F86 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:41:12] 621*2^1000458-1 is not prime. Res64: 533BD27BB7A008A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:47:18] 633*2^1000458-1 is not prime. Res64: 736182AFA8FA62E0 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:47:18] 651*2^1000458-1 is not prime. Res64: 714F6C2201258DFC Time : 0.0 sec. user=mdettweiler [2012-01-09 20:48:42] 681*2^1000458-1 is not prime. Res64: 63DC2DC8E92546AC Time : 0.0 sec. user=mdettweiler [2012-01-09 20:48:42] 833*2^1000458-1 is not prime. Res64: 273EEABA93CB3C89 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:51:37] 751*2^1000453-1 is not prime. Res64: 37CF23D048F26024 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:54:52] 843*2^1000458-1 is not prime. Res64: D66ACB1FE5DF8F4E Time : 0.0 sec. user=mdettweiler [2012-01-09 20:54:52] 867*2^1000458-1 is not prime. Res64: 59525F57C655EDD7 Time : 0.0 sec. user=mdettweiler [2012-01-09 20:58:25] 773*2^1000454-1 is not prime. Res64: 2C2B4BCB77FCC350 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:01:03] 893*2^1000458-1 is not prime. Res64: 646C0C5D9C736146 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:01:07] 945*2^1000458-1 is not prime. Res64: D040D29301FC1F94 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:07:12] 909*2^1000455-1 is not prime. Res64: D3142AF07314F67C Time : 0.0 sec. user=mdettweiler [2012-01-09 21:08:36] 745*2^1000459-1 is not prime. Res64: 344C3192B80C85BF Time : 0.0 sec. user=mdettweiler [2012-01-09 21:08:37] 859*2^1000459-1 is not prime. Res64: 183DB20C0111559F Time : 0.0 sec. user=mdettweiler [2012-01-09 21:09:35] 993*2^1000458-1 is not prime. Res64: 3F2C2AD7A82D5222 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:09:36] 691*2^1000459-1 is not prime. Res64: 1B46BF084778E67A Time : 0.0 sec. user=mdettweiler [2012-01-09 21:17:06] 951*2^1000459-1 is not prime. Res64: FDC5849D7B2F45F6 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:17:07] 999*2^1000459-1 is not prime. Res64: 71CE8973A0526F67 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:25:43] 963*2^1000460-1 is not prime. Res64: 9E93429D00C489F3 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:25:43] 977*2^1000460-1 is not prime. Res64: 50B3DCCE0AAB4A25 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:28:35] 747*2^1000461-1 is not prime. Res64: CBFD1510B2DA8361 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:28:36] 889*2^1000461-1 is not prime. Res64: EEE1E157A18765A2 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:29:34] 621*2^1000462-1 is not prime. Res64: 6033EBE06C0326AD Time : 0.0 sec. user=mdettweiler [2012-01-09 21:29:34] 717*2^1000462-1 is not prime. Res64: 39DE6FD38A083AF7 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:37:05] 833*2^1000462-1 is not prime. Res64: 2B54EEB96756D292 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:37:05] 917*2^1000462-1 is not prime. Res64: 74DF89EE9689D2F3 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:48:29] 643*2^1000463-1 is not prime. Res64: C1E560CBAF19DB21 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:48:29] 729*2^1000463-1 is not prime. Res64: D0A88119EB63421A Time : 0.0 sec. user=mdettweiler [2012-01-09 21:49:33] 775*2^1000463-1 is not prime. Res64: 842F9578F86230DB Time : 0.0 sec. user=mdettweiler [2012-01-09 21:49:34] 861*2^1000463-1 is not prime. Res64: 2D48E7C0ACBE351A Time : 0.0 sec. user=mdettweiler [2012-01-09 21:50:13] 983*2^1000462-1 is not prime. Res64: 6E240A581FBE1EC1 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:50:14] 995*2^1000462-1 is not prime. Res64: 6809AB15FDC7151C Time : 0.0 sec. user=mdettweiler [2012-01-09 21:53:59] 741*2^1000457-1 is not prime. Res64: 5529CC87F09FC855 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:53:59] 799*2^1000457-1 is not prime. Res64: 4DB7801A58E06367 Time : 0.0 sec. user=mdettweiler [2012-01-09 21:59:18] 945*2^1000463-1 is not prime. Res64: E07D61E4A3142B5B Time : 0.0 sec. user=mdettweiler [2012-01-09 21:59:18] 993*2^1000463-1 is not prime. Res64: 33850DCFFD90B2BA Time : 0.0 sec. user=mdettweiler [2012-01-09 22:08:25] 605*2^1000464-1 is not prime. Res64: 63C68218DFF384B6 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:08:27] 615*2^1000464-1 is not prime. Res64: 0F3451F175E6F34F Time : 0.0 sec. user=mdettweiler [2012-01-09 22:09:21] 773*2^1000464-1 is not prime. Res64: CBBBE009D2C3CC93 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:09:22] 843*2^1000464-1 is not prime. Res64: 6948109AB7BEF9E8 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:10:04] 903*2^1000464-1 is not prime. Res64: 36572F41CF5129C7 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:10:05] 691*2^1000465-1 is not prime. Res64: 0E33FFEA9F758C98 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:14:45] 891*2^1000459-1 is not prime. Res64: 98B1BA4C28638426 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:14:46] 909*2^1000459-1 is not prime. Res64: C96D9F6775BC2BD1 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:19:09] 885*2^1000465-1 is not prime. Res64: BF83F9BD823E507C Time : 0.0 sec. user=mdettweiler [2012-01-09 22:19:09] 919*2^1000465-1 is not prime. Res64: E16A69DA39EBE6AF Time : 0.0 sec. user=mdettweiler [2012-01-09 22:22:57] 717*2^1000460-1 is not prime. Res64: C90D0B679E390C82 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:22:58] 927*2^1000460-1 is not prime. Res64: AC2B1E5FA979477C Time : 0.0 sec. user=mdettweiler [2012-01-09 22:28:28] 925*2^1000465-1 is not prime. Res64: EF0C755839409939 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:28:28] 957*2^1000465-1 is not prime. Res64: 04FE2E9535E3E494 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:29:59] 675*2^1000466-1 is not prime. Res64: 377E549DC9F14F32 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:29:59] 705*2^1000466-1 is not prime. Res64: 0485B8B6370F2CC1 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:31:10] 741*2^1000461-1 is not prime. Res64: 331CF91BA41AE4FF Time : 0.0 sec. user=mdettweiler [2012-01-09 22:31:11] 745*2^1000461-1 is not prime. Res64: 5E9FF515C57D7C26 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:31:30] 981*2^1000465-1 is not prime. Res64: A5711EEE32DACB63 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:31:30] 635*2^1000466-1 is not prime. Res64: 97EA6AF0854E47C0 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:38:57] 887*2^1000466-1 is not prime. Res64: CCC750B1DE509725 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:38:58] 953*2^1000466-1 is not prime. Res64: EBB88EB6FC12C2D3 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:48:16] 705*2^1000467-1 is not prime. Res64: ACA10FC55B26754B Time : 0.0 sec. user=mdettweiler [2012-01-09 22:48:16] 859*2^1000467-1 is not prime. Res64: F4A7B04329356846 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:49:49] 903*2^1000467-1 is not prime. Res64: 9B1B3972E8991AC3 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:49:49] 615*2^1000468-1 is not prime. Res64: 39288FBAAED1AE01 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:51:20] 777*2^1000468-1 is not prime. Res64: BBD7337B3F6CBBA1 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:51:20] 843*2^1000468-1 is not prime. Res64: 87941BE64101B3AC Time : 0.0 sec. user=mdettweiler [2012-01-09 22:58:50] 953*2^1000468-1 is not prime. Res64: 7FEC342B52B393A4 Time : 0.0 sec. user=mdettweiler [2012-01-09 22:58:50] 615*2^1000469-1 is not prime. Res64: CB64DEE704323E29 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:08:11] 789*2^1000469-1 is not prime. Res64: 434054F754B8DCC1 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:08:12] 927*2^1000469-1 is not prime. Res64: 27D6BEB5D2CCFE9A Time : 0.0 sec. user=mdettweiler [2012-01-09 23:11:11] 723*2^1000470-1 is not prime. Res64: 93FD572BAF4584BB Time : 0.0 sec. user=mdettweiler [2012-01-09 23:11:13] 741*2^1000470-1 is not prime. Res64: F4E875E75B295B7B Time : 0.0 sec. user=mdettweiler [2012-01-09 23:12:02] 969*2^1000469-1 is not prime. Res64: 3A3F8769402DFE5B Time : 0.0 sec. user=mdettweiler [2012-01-09 23:12:02] 611*2^1000470-1 is not prime. Res64: E471DD3DCD5DE5D4 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:13:58] 765*2^1000465-1 is not prime. Res64: 000521C0F294CCB9 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:13:59] 789*2^1000465-1 is not prime. Res64: 03B1D47085B8E8CA Time : 0.0 sec. user=mdettweiler [2012-01-09 23:18:40] 777*2^1000470-1 is not prime. Res64: 7C7BC0F7BCC4DD50 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:18:40] 791*2^1000470-1 is not prime. Res64: 500708572F85E558 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:28:12] 615*2^1000471-1 is not prime. Res64: 03E004FB094D8E67 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:28:13] 793*2^1000471-1 is not prime. Res64: 5EA153275383D48B Time : 0.0 sec. user=mdettweiler [2012-01-09 23:31:10] 805*2^1000471-1 is not prime. Res64: 3469B22AE5DAB6CB Time : 0.0 sec. user=mdettweiler [2012-01-09 23:31:10] 829*2^1000471-1 is not prime. Res64: 01E1CFB7D080E78A Time : 0.0 sec. user=mdettweiler [2012-01-09 23:34:20] 999*2^1000471-1 is not prime. Res64: FAECBFB6BB1FF394 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:34:21] 603*2^1000472-1 is not prime. Res64: BDFEA831483FD548 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:35:41] 711*2^1000466-1 is not prime. Res64: 4E086128B329493C Time : 0.0 sec. user=mdettweiler [2012-01-09 23:35:41] 851*2^1000466-1 is not prime. Res64: A05E0FF2FF44E838 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:38:33] 683*2^1000472-1 is not prime. Res64: 3391216C890CC6BD Time : 0.0 sec. user=mdettweiler [2012-01-09 23:38:34] 915*2^1000472-1 is not prime. Res64: F2CFBAD3AC924704 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:51:01] 691*2^1000473-1 is not prime. Res64: 86EEE21EEAC3BDF8 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:51:01] 745*2^1000473-1 is not prime. Res64: E2159B0FA00F0C17 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:52:41] 963*2^1000472-1 is not prime. Res64: 03F7F7F7B8FD77D8 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:52:41] 983*2^1000472-1 is not prime. Res64: 12AE938C2D5AD8B7 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:52:52] 635*2^1000468-1 is not prime. Res64: 8937AF6E9FFF03EE Time : 0.0 sec. user=mdettweiler [2012-01-09 23:52:53] 765*2^1000468-1 is not prime. Res64: CB1BBB5C4D510FA3 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:54:20] 861*2^1000473-1 is not prime. Res64: 2840389C7FCD568D Time : 0.0 sec. user=mdettweiler [2012-01-09 23:54:20] 895*2^1000473-1 is not prime. Res64: CE0AEB247B35BCB2 Time : 0.0 sec. user=mdettweiler [2012-01-09 23:54:29] 983*2^1000466-1 is not prime. Res64: EA692C74B913E2DC Time : 0.0 sec. user=mdettweiler [2012-01-09 23:54:29] 609*2^1000467-1 is not prime. Res64: F38035B7E6DA63FF Time : 0.0 sec. user=mdettweiler [2012-01-09 23:58:33] 605*2^1000474-1 is not prime. Res64: 7C01A639B1EAC8DD Time : 0.0 sec. user=mdettweiler [2012-01-09 23:58:33] 623*2^1000474-1 is not prime. Res64: 338AB7F5370E01F2 Time : 0.0 sec.