user=vaughan [2011-05-09 00:02:19] 847*2^938069-1 is not prime. Res64: 30479B3A59D3D48E Time : 1232.0 sec. user=vaughan [2011-05-09 00:04:35] 849*2^938067-1 is not prime. Res64: 9FEDAD927A8AA1AB Time : 1862.0 sec. user=vaughan [2011-05-09 00:05:41] 963*2^938067-1 is not prime. Res64: 27C165DA15E2727B Time : 1864.0 sec. user=vaughan [2011-05-09 00:08:18] 945*2^938069-1 is not prime. Res64: 94A84267423836C0 Time : 1327.0 sec. user=vaughan [2011-05-09 00:12:27] 801*2^938070-1 is not prime. Res64: C52EBD55303D963A Time : 1278.0 sec. user=vaughan [2011-05-09 00:15:48] 965*2^938070-1 is not prime. Res64: 987261B2475BE1F7 Time : 1399.0 sec. user=vaughan [2011-05-09 00:18:41] 829*2^938071-1 is not prime. Res64: 18B4C4D7947F675A Time : 1233.0 sec. user=vaughan [2011-05-09 00:19:59] 871*2^938071-1 is not prime. Res64: 23E2A156BDE4A2A3 Time : 1173.0 sec. user=vaughan [2011-05-09 00:22:54] 895*2^938071-1 is not prime. Res64: 5849ABC987338170 Time : 1236.0 sec. user=vaughan [2011-05-09 00:30:26] 929*2^938072-1 is not prime. Res64: A1477AE9892AE530 Time : 1328.0 sec. user=vaughan [2011-05-09 00:33:47] 963*2^938072-1 is not prime. Res64: 1E78A986693149E2 Time : 1280.0 sec. user=vaughan [2011-05-09 00:35:43] 833*2^938072-1 is not prime. Res64: BEE1D619044A8AA8 Time : 1868.0 sec. user=vaughan [2011-05-09 00:36:39] 873*2^938072-1 is not prime. Res64: 296F4CE609EFCF6E Time : 1859.0 sec. user=vaughan [2011-05-09 00:39:06] 919*2^938073-1 is not prime. Res64: 997808F3F2A8CAE3 Time : 1398.0 sec. user=vaughan [2011-05-09 00:39:16] 803*2^938074-1 is not prime. Res64: FDB14A0D70EB7481 Time : 1236.0 sec. user=vaughan [2011-05-09 00:39:29] 827*2^938074-1 is not prime. Res64: 7138F08E9B3B5FD3 Time : 1171.0 sec. user=vaughan [2011-05-09 00:43:27] 831*2^938074-1 is not prime. Res64: 9F6FE9308AF33211 Time : 1233.0 sec. user=vaughan [2011-05-09 00:52:32] 857*2^938074-1 is not prime. Res64: 55B33C049544B9A6 Time : 1326.0 sec. user=vaughan [2011-05-09 00:55:05] 891*2^938074-1 is not prime. Res64: 370ABA5D1D3711BD Time : 1279.0 sec. user=vaughan [2011-05-09 00:58:59] 905*2^938076-1 is not prime. Res64: 0B10CDD8CB6A0F15 Time : 1171.0 sec. user=vaughan [2011-05-09 00:59:50] 857*2^938076-1 is not prime. Res64: 91A3666726481D0C Time : 1235.0 sec. user=vaughan [2011-05-09 01:01:41] 969*2^938075-1 is not prime. Res64: D44DCF7E1EA78EF2 Time : 1355.0 sec. user=vaughan [2011-05-09 01:04:02] 927*2^938076-1 is not prime. Res64: ED757C61A85DD1B2 Time : 1235.0 sec. user=vaughan [2011-05-09 01:05:20] 957*2^938074-1 is not prime. Res64: 40BAD1F2202603BA Time : 1778.0 sec. user=vaughan [2011-05-09 01:06:19] 983*2^938074-1 is not prime. Res64: 9B8A4B7BE7BA8AC0 Time : 1781.0 sec. user=vaughan [2011-05-09 01:13:55] 975*2^938076-1 is not prime. Res64: A7CEB5645CE1BB01 Time : 1283.0 sec. user=vaughan [2011-05-09 01:16:26] 993*2^938076-1 is not prime. Res64: ACB4F23A76016C70 Time : 1281.0 sec. user=vaughan [2011-05-09 01:18:28] 819*2^938077-1 is not prime. Res64: D3DAEFB9209C1188 Time : 1169.0 sec. user=vaughan [2011-05-09 01:20:27] 801*2^938078-1 is not prime. Res64: D3132A8BFCCFDA4E Time : 1237.0 sec. user=vaughan [2011-05-09 01:24:39] 911*2^938078-1 is not prime. Res64: 974754B62BE4733A Time : 1238.0 sec. user=vaughan [2011-05-09 01:24:58] 861*2^938078-1 is not prime. Res64: D4F8178DFFF49A4F Time : 1397.0 sec. user=vaughan [2011-05-09 01:36:06] 895*2^938079-1 is not prime. Res64: ADFF7A20AF5EA855 Time : 1331.0 sec. user=vaughan [2011-05-09 01:36:20] 945*2^938078-1 is not prime. Res64: E184756FF2A8AD98 Time : 1860.0 sec. user=vaughan [2011-05-09 01:37:19] 891*2^938079-1 is not prime. Res64: E34F749B53A5FF60 Time : 1860.0 sec. user=vaughan [2011-05-09 01:37:45] 909*2^938079-1 is not prime. Res64: DB4E83A008BB4569 Time : 1280.0 sec. user=vaughan [2011-05-09 01:37:59] 975*2^938079-1 is not prime. Res64: 41A45D46EACB7A86 Time : 1171.0 sec. user=vaughan [2011-05-09 01:41:04] 999*2^938079-1 is not prime. Res64: 4CAA88D6661D1C33 Time : 1237.0 sec. user=vaughan [2011-05-09 01:45:18] 855*2^938080-1 is not prime. Res64: 9021F7841082CED8 Time : 1239.0 sec. user=vaughan [2011-05-09 01:48:26] 887*2^938080-1 is not prime. Res64: 8DCEB34BA0AC5828 Time : 1409.0 sec. user=vaughan [2011-05-09 01:57:29] 957*2^938081-1 is not prime. Res64: 77BAE79C2F0236F7 Time : 1171.0 sec. user=vaughan [2011-05-09 01:58:12] 995*2^938080-1 is not prime. Res64: 0E602983E7DE6A85 Time : 1327.0 sec. user=vaughan [2011-05-09 01:59:05] 901*2^938081-1 is not prime. Res64: D5BBE3F9C676D126 Time : 1280.0 sec. user=vaughan [2011-05-09 02:01:41] 967*2^938081-1 is not prime. Res64: 088822822AE7B7FA Time : 1238.0 sec. user=vaughan [2011-05-09 02:05:52] 833*2^938082-1 is not prime. Res64: 3C509AD92D2DDDA8 Time : 1234.0 sec. user=vaughan [2011-05-09 02:07:22] 837*2^938081-1 is not prime. Res64: DFA2C5ACAB75AE7D Time : 1862.0 sec. user=vaughan [2011-05-09 02:08:25] 867*2^938081-1 is not prime. Res64: D6D3B19A531E0140 Time : 1866.0 sec. user=vaughan [2011-05-09 02:11:45] 885*2^938082-1 is not prime. Res64: A91AF28386EA970A Time : 1400.0 sec. user=vaughan [2011-05-09 02:17:03] 923*2^938082-1 is not prime. Res64: 5B4F4AFC672E078E Time : 1174.0 sec. user=vaughan [2011-05-09 02:20:15] 963*2^938082-1 is not prime. Res64: C558FA49261CD25A Time : 1323.0 sec. user=vaughan [2011-05-09 02:20:24] 855*2^938083-1 is not prime. Res64: 76D43A32D4AD1D5B Time : 1279.0 sec. user=vaughan [2011-05-09 02:22:15] 945*2^938083-1 is not prime. Res64: 373757CCA2A36BB3 Time : 1234.0 sec. user=vaughan [2011-05-09 02:26:25] 961*2^938083-1 is not prime. Res64: 21F48ED314536E86 Time : 1234.0 sec. user=vaughan [2011-05-09 02:35:13] 945*2^938084-1 is not prime. Res64: 6A2B3EC4B0235013 Time : 1408.0 sec. user=vaughan [2011-05-09 02:36:40] 953*2^938084-1 is not prime. Res64: 264E7484F3BB54D8 Time : 1177.0 sec. user=vaughan [2011-05-09 02:37:26] 869*2^938084-1 is not prime. Res64: CF926B7006A5C523 Time : 1804.0 sec. user=vaughan [2011-05-09 02:38:24] 897*2^938084-1 is not prime. Res64: 65B2A98A6405A22B Time : 1800.0 sec. user=vaughan [2011-05-09 02:41:45] 993*2^938084-1 is not prime. Res64: 69B62B7337F010BF Time : 1281.0 sec. user=vaughan [2011-05-09 02:42:52] 995*2^938084-1 is not prime. Res64: 8ACA49F887033718 Time : 1237.0 sec. user=vaughan [2011-05-09 02:46:57] 837*2^938085-1 is not prime. Res64: BA3171B8CE7AEDDF Time : 1232.0 sec. user=vaughan [2011-05-09 02:47:21] 957*2^938084-1 is not prime. Res64: 428120863E9170A1 Time : 1626.0 sec. user=vaughan [2011-05-09 02:56:15] 937*2^938085-1 is not prime. Res64: 39EEABE1A4F8FA5F Time : 1175.0 sec. user=vaughan [2011-05-09 02:58:36] 921*2^938085-1 is not prime. Res64: A3864B3769FF0A3A Time : 1404.0 sec. user=vaughan [2011-05-09 03:03:05] 979*2^938085-1 is not prime. Res64: 2D6D92D36567F4FB Time : 1280.0 sec. user=vaughan [2011-05-09 03:03:25] 843*2^938086-1 is not prime. Res64: E05D329798287240 Time : 1233.0 sec. user=vaughan [2011-05-09 03:04:25] 955*2^938085-1 is not prime. Res64: 933C70815F3005FC Time : 1620.0 sec. user=vaughan [2011-05-09 03:05:23] 975*2^938085-1 is not prime. Res64: E64A4C3144FFC8A8 Time : 1620.0 sec. user=vaughan [2011-05-09 03:07:33] 873*2^938086-1 is not prime. Res64: 5893386F33249625 Time : 1236.0 sec. user=vaughan [2011-05-09 03:15:49] 985*2^938087-1 is not prime. Res64: E0669FDD280BC467 Time : 1175.0 sec. user=vaughan [2011-05-09 03:19:19] 933*2^938086-1 is not prime. Res64: D8DCFC6802825A3A Time : 1919.0 sec. user=vaughan [2011-05-09 03:21:59] 993*2^938087-1 is not prime. Res64: 0AF4CDBB6137E97D Time : 1403.0 sec. user=vaughan [2011-05-09 03:24:03] 845*2^938088-1 is not prime. Res64: F8EFF7E0C7E554EF Time : 1238.0 sec. user=vaughan [2011-05-09 03:24:23] 999*2^938087-1 is not prime. Res64: 9C77C4D288AE5E82 Time : 1278.0 sec. user=vaughan [2011-05-09 03:28:07] 955*2^938089-1 is not prime. Res64: 9B6F63220AAC7009 Time : 1234.0 sec. user=vaughan [2011-05-09 03:31:13] 887*2^938088-1 is not prime. Res64: 765B9F47C691FE8E Time : 1608.0 sec. user=vaughan [2011-05-09 03:32:27] 923*2^938088-1 is not prime. Res64: 94E249807AA3235E Time : 1624.0 sec. user=vaughan [2011-05-09 03:35:24] 813*2^938090-1 is not prime. Res64: 57324F2EB726A06C Time : 1176.0 sec. user=ototero [2011-05-09 03:39:24] 833*2^938062-1 is not prime. Res64: C8CED746B16D26E5 Time : 15207.0 sec. user=ototero [2011-05-09 03:39:24] 873*2^938062-1 is not prime. Res64: 5C87DDDAD9CCEC17 Time : 15207.0 sec. user=ototero [2011-05-09 03:39:24] 917*2^938062-1 is not prime. Res64: 2E493179D6E5BB70 Time : 15206.0 sec. user=ototero [2011-05-09 03:39:24] 941*2^938062-1 is not prime. Res64: 07808D4A878DDF44 Time : 15206.0 sec. user=ototero [2011-05-09 03:39:24] 951*2^938062-1 is not prime. Res64: 24C68CD0788ED4AD Time : 15206.0 sec. user=ototero [2011-05-09 03:39:25] 901*2^938063-1 is not prime. Res64: 8A8DF25DC5035538 Time : 15206.0 sec. user=ototero [2011-05-09 03:39:25] 999*2^938063-1 is not prime. Res64: A0ED9A92F763ADFF Time : 15206.0 sec. user=ototero [2011-05-09 03:39:25] 803*2^938064-1 is not prime. Res64: 2487AD9B43BD945C Time : 15206.0 sec. user=ototero [2011-05-09 03:39:25] 873*2^938064-1 is not prime. Res64: 236D524B08D9D011 Time : 15205.0 sec. user=ototero [2011-05-09 03:39:25] 927*2^938064-1 is not prime. Res64: C1495087FAC7AA24 Time : 15205.0 sec. user=vaughan [2011-05-09 03:44:39] 825*2^938091-1 is not prime. Res64: 6CB6DF12C17EBBC2 Time : 1237.0 sec. user=vaughan [2011-05-09 03:45:19] 971*2^938090-1 is not prime. Res64: 0CE7EE7EF14785CB Time : 1400.0 sec. user=vaughan [2011-05-09 03:45:37] 915*2^938092-1 is not prime. Res64: 0180321EB5A398F0 Time : 1274.0 sec. user=vaughan [2011-05-09 03:48:41] 983*2^938092-1 is not prime. Res64: C6B3A3EC515A1EC2 Time : 1235.0 sec. user=vaughan [2011-05-09 03:51:23] 831*2^938090-1 is not prime. Res64: 58EDA42E62AD143D Time : 1925.0 sec. user=vaughan [2011-05-09 03:54:54] 955*2^938093-1 is not prime. Res64: C1A46434321B4253 Time : 1170.0 sec. user=vaughan [2011-05-09 03:58:21] 879*2^938093-1 is not prime. Res64: 72C6EEAE184BDB32 Time : 1628.0 sec. user=vaughan [2011-05-09 03:59:29] 945*2^938093-1 is not prime. Res64: A62776B72ECA08FA Time : 1622.0 sec. user=vaughan [2011-05-09 04:05:10] 833*2^938096-1 is not prime. Res64: 5035C48F50006E5C Time : 1231.0 sec. user=vaughan [2011-05-09 04:06:49] 875*2^938096-1 is not prime. Res64: 2D15BCB5C7FD1BBB Time : 1272.0 sec. user=vaughan [2011-05-09 04:08:25] 855*2^938096-1 is not prime. Res64: D579E4B00F39F112 Time : 1386.0 sec. user=vaughan [2011-05-09 04:09:19] 867*2^938097-1 is not prime. Res64: 18C4495046B9E1EE Time : 1238.0 sec. user=vaughan [2011-05-09 04:14:24] 813*2^938098-1 is not prime. Res64: 352FF3078BBA9157 Time : 1170.0 sec. user=vaughan [2011-05-09 04:23:16] 871*2^938097-1 is not prime. Res64: BD724F7B302632C8 Time : 1913.0 sec. user=vaughan [2011-05-09 04:24:41] 833*2^938098-1 is not prime. Res64: 025AD47FE4D7A0B8 Time : 1581.0 sec. user=vaughan [2011-05-09 04:25:46] 911*2^938098-1 is not prime. Res64: 1902368588F2B7E6 Time : 1237.0 sec. user=vaughan [2011-05-09 04:25:48] 887*2^938098-1 is not prime. Res64: 59482BC0EF32700C Time : 1579.0 sec. user=vaughan [2011-05-09 04:28:10] 951*2^938098-1 is not prime. Res64: E8F81651720637FB Time : 1281.0 sec. user=vaughan [2011-05-09 04:29:53] 825*2^938099-1 is not prime. Res64: E58F0F64A68EB7ED Time : 1235.0 sec. user=vaughan [2011-05-09 04:30:44] 987*2^938098-1 is not prime. Res64: 0C3C25CB96C3F8ED Time : 1339.0 sec. user=vaughan [2011-05-09 04:33:57] 943*2^938099-1 is not prime. Res64: 0504CA3C4F47D8E9 Time : 1174.0 sec. user=vaughan [2011-05-09 04:46:24] 873*2^938100-1 is not prime. Res64: 4A58988E5F54961E Time : 1238.0 sec. user=vaughan [2011-05-09 04:49:32] 815*2^938102-1 is not prime. Res64: A416DB9B0D2EA137 Time : 1282.0 sec. user=vaughan [2011-05-09 04:50:29] 825*2^938102-1 is not prime. Res64: E35F60303478D25D Time : 1236.0 sec. user=vaughan [2011-05-09 04:50:53] 803*2^938100-1 is not prime. Res64: 3135B692D255527D Time : 1573.0 sec. user=vaughan [2011-05-09 04:52:01] 999*2^938100-1 is not prime. Res64: 8DE21F231A09A724 Time : 1573.0 sec. user=vaughan [2011-05-09 04:53:01] 887*2^938102-1 is not prime. Res64: 0444E04B964F7CBE Time : 1338.0 sec. user=vaughan [2011-05-09 04:53:27] 805*2^938103-1 is not prime. Res64: FE525B8B026DFA41 Time : 1171.0 sec. user=vaughan [2011-05-09 04:54:52] 949*2^938099-1 is not prime. Res64: CC053F58C6139971 Time : 1896.0 sec. user=vaughan [2011-05-09 05:07:02] 823*2^938103-1 is not prime. Res64: 569E85391DCDD40D Time : 1238.0 sec. user=vaughan [2011-05-09 05:10:52] 861*2^938103-1 is not prime. Res64: 8A38815C6791BB15 Time : 1280.0 sec. user=vaughan [2011-05-09 05:11:04] 895*2^938103-1 is not prime. Res64: CBA04ED46BF9D19E Time : 1235.0 sec. user=vaughan [2011-05-09 05:13:00] 843*2^938104-1 is not prime. Res64: 2EB5251BD923BD87 Time : 1174.0 sec. user=vaughan [2011-05-09 05:15:17] 819*2^938104-1 is not prime. Res64: F4CE6ABDE0F66532 Time : 1336.0 sec. user=vaughan [2011-05-09 05:17:00] 921*2^938103-1 is not prime. Res64: B2D444E15C0D6EF4 Time : 1567.0 sec. user=vaughan [2011-05-09 05:18:19] 943*2^938103-1 is not prime. Res64: FD637D0C0F1AE585 Time : 1578.0 sec. user=vaughan [2011-05-09 05:26:32] 849*2^938104-1 is not prime. Res64: 6277CFABC5BDADA7 Time : 1900.0 sec. user=vaughan [2011-05-09 05:27:38] 863*2^938104-1 is not prime. Res64: B709DFFF7F6D3251 Time : 1236.0 sec. user=vaughan [2011-05-09 05:31:40] 885*2^938105-1 is not prime. Res64: 54F17C1CE88215B4 Time : 1237.0 sec. user=vaughan [2011-05-09 05:32:11] 837*2^938105-1 is not prime. Res64: ADA48D4B3CAAD238 Time : 1280.0 sec. user=vaughan [2011-05-09 05:32:30] 907*2^938105-1 is not prime. Res64: E4B2A61158865F8B Time : 1170.0 sec. user=vaughan [2011-05-09 05:37:39] 949*2^938105-1 is not prime. Res64: 9BFFD3189746EB8C Time : 1342.0 sec. user=vaughan [2011-05-09 05:43:13] 985*2^938105-1 is not prime. Res64: 35F8A5B369C20E7E Time : 1573.0 sec. user=vaughan [2011-05-09 05:44:34] 843*2^938106-1 is not prime. Res64: 923F4FD66A799D6A Time : 1576.0 sec. user=vaughan [2011-05-09 05:48:16] 813*2^938107-1 is not prime. Res64: 1164F43AB68DF5D4 Time : 1238.0 sec. user=vaughan [2011-05-09 05:52:06] 889*2^938107-1 is not prime. Res64: CD605608AE4FA576 Time : 1176.0 sec. user=vaughan [2011-05-09 05:52:17] 841*2^938107-1 is not prime. Res64: 8A4AEF2287E168BF Time : 1237.0 sec. user=vaughan [2011-05-09 05:53:27] 843*2^938107-1 is not prime. Res64: C20CA7D3FE32091D Time : 1276.0 sec. user=vaughan [2011-05-09 05:58:08] 923*2^938106-1 is not prime. Res64: 4806B7FEB7B16BB6 Time : 1896.0 sec. user=vaughan [2011-05-09 05:59:57] 895*2^938107-1 is not prime. Res64: 394D8E56F21C6C10 Time : 1339.0 sec. user=vaughan [2011-05-09 06:08:50] 951*2^938107-1 is not prime. Res64: BCE7D9F9735820D2 Time : 1234.0 sec. user=vaughan [2011-05-09 06:09:21] 925*2^938107-1 is not prime. Res64: 157D607BB7C632F8 Time : 1568.0 sec. user=vaughan [2011-05-09 06:10:49] 939*2^938107-1 is not prime. Res64: B5DDE107EC87E1E4 Time : 1576.0 sec. user=vaughan [2011-05-09 06:11:41] 813*2^938108-1 is not prime. Res64: 3EDCBA55DE3D78D1 Time : 1175.0 sec. user=vaughan [2011-05-09 06:12:54] 945*2^938108-1 is not prime. Res64: 21DAEB78F380AB5A Time : 1238.0 sec. user=vaughan [2011-05-09 06:14:47] 977*2^938108-1 is not prime. Res64: 3F12304EFDB7303F Time : 1280.0 sec. user=vaughan [2011-05-09 06:21:33] 921*2^938109-1 is not prime. Res64: CFD136183B2AC219 Time : 1296.0 sec. user=vaughan [2011-05-09 06:24:11] 889*2^938109-1 is not prime. Res64: 0B814EAA65A05806 Time : 1563.0 sec. user=vaughan [2011-05-09 06:29:27] 969*2^938109-1 is not prime. Res64: 8E1FB6DBAA5E8CFF Time : 1237.0 sec. user=vaughan [2011-05-09 06:31:14] 945*2^938111-1 is not prime. Res64: AFEA0B30ADB488DB Time : 1174.0 sec. user=vaughan [2011-05-09 06:31:54] 975*2^938109-1 is not prime. Res64: 02F17C08DF0452D0 Time : 1353.0 sec. user=vaughan [2011-05-09 06:33:06] 831*2^938110-1 is not prime. Res64: 9CF7A4F3FAFBB1E1 Time : 1338.0 sec. user=vaughan [2011-05-09 06:33:29] 867*2^938112-1 is not prime. Res64: 86F24AE8E6EED085 Time : 1235.0 sec. user=vaughan [2011-05-09 06:36:09] 805*2^938113-1 is not prime. Res64: 08A4A07E9397723F Time : 1282.0 sec. user=vaughan [2011-05-09 06:42:02] 835*2^938113-1 is not prime. Res64: 7AC8D79359979DAC Time : 1229.0 sec. user=vaughan [2011-05-09 06:44:26] 951*2^938113-1 is not prime. Res64: B9BEC644ECD66DD3 Time : 1215.0 sec. user=vaughan [2011-05-09 07:19:29] 837*2^938114-1 is not prime. Res64: 004331761B4ABA5F Time : 3003.0 sec. user=vaughan [2011-05-09 07:19:49] 999*2^938115-1 is not prime. Res64: C13127218FC7F226 Time : 2803.0 sec. user=vaughan [2011-05-09 07:19:50] 981*2^938117-1 is not prime. Res64: FA308A1D0F538A8E Time : 2124.0 sec. user=vaughan [2011-05-09 07:20:06] 955*2^938115-1 is not prime. Res64: 3F878488546289B8 Time : 2892.0 sec. user=vaughan [2011-05-09 07:20:11] 891*2^938115-1 is not prime. Res64: 2E41AABE68755D2F Time : 2937.0 sec. user=vaughan [2011-05-09 07:20:15] 939*2^938117-1 is not prime. Res64: 41813749DEA79FA4 Time : 2293.0 sec. user=vaughan [2011-05-09 07:20:25] 927*2^938116-1 is not prime. Res64: 2227D51342E9A23E Time : 2816.0 sec. user=vaughan [2011-05-09 07:20:28] 975*2^938116-1 is not prime. Res64: 5ABB8661AF38A63D Time : 2660.0 sec. user=vaughan [2011-05-09 07:39:51] 973*2^938119-1 is not prime. Res64: 460780D0650376FC Time : 1180.0 sec. user=vaughan [2011-05-09 07:40:04] 921*2^938118-1 is not prime. Res64: 1EBA6E5BAB3D8594 Time : 1236.0 sec. user=vaughan [2011-05-09 07:40:15] 993*2^938118-1 is not prime. Res64: 76DD0A0270C16A4E Time : 1225.0 sec. user=vaughan [2011-05-09 07:40:30] 899*2^938120-1 is not prime. Res64: 6B641A887A628BB2 Time : 1216.0 sec. user=vaughan [2011-05-09 07:41:02] 927*2^938120-1 is not prime. Res64: 4157AAE39031E670 Time : 1237.0 sec. user=vaughan [2011-05-09 07:41:27] 927*2^938118-1 is not prime. Res64: 860DA1C3B05FF8A4 Time : 1298.0 sec. user=vaughan [2011-05-09 07:41:44] 929*2^938120-1 is not prime. Res64: E9B838C219B14772 Time : 1276.0 sec. user=vaughan [2011-05-09 07:41:46] 855*2^938119-1 is not prime. Res64: ABC70B4B6C097812 Time : 1300.0 sec. user=ototero [2011-05-09 07:52:59] 861*2^938094-1 is not prime. Res64: 19F458A522ED8F59 Time : 15213.0 sec. user=ototero [2011-05-09 07:52:59] 875*2^938094-1 is not prime. Res64: 0F66818C7B5CC3D8 Time : 15213.0 sec. user=ototero [2011-05-09 07:53:00] 891*2^938094-1 is not prime. Res64: 732C1F1551D952F1 Time : 15214.0 sec. user=ototero [2011-05-09 07:53:00] 917*2^938094-1 is not prime. Res64: ED2A5F53E7C6855B Time : 15213.0 sec. user=ototero [2011-05-09 07:53:00] 947*2^938094-1 is not prime. Res64: 97C750037119C581 Time : 15213.0 sec. user=ototero [2011-05-09 07:53:00] 965*2^938094-1 is not prime. Res64: BC67BADA213CB699 Time : 15213.0 sec. user=ototero [2011-05-09 07:53:00] 975*2^938094-1 is not prime. Res64: D67E8DD82A55CA77 Time : 15213.0 sec. user=ototero [2011-05-09 07:53:00] 859*2^938095-1 is not prime. Res64: B88FFF93969EC3D0 Time : 15212.0 sec. user=ototero [2011-05-09 07:53:00] 871*2^938095-1 is not prime. Res64: F699DB9E94D96A5D Time : 15212.0 sec. user=ototero [2011-05-09 07:53:01] 985*2^938095-1 is not prime. Res64: C2ED2709E7D97CD9 Time : 15213.0 sec. user=vaughan [2011-05-09 07:59:23] 935*2^938120-1 is not prime. Res64: 304F24858C71DDA6 Time : 1172.0 sec. user=vaughan [2011-05-09 08:00:34] 877*2^938121-1 is not prime. Res64: 1BD9CB96F4CFFFB5 Time : 1230.0 sec. user=vaughan [2011-05-09 08:00:39] 895*2^938121-1 is not prime. Res64: 7A3D5CE02953D2DA Time : 1225.0 sec. user=vaughan [2011-05-09 08:00:48] 975*2^938121-1 is not prime. Res64: 2020E66FE4C8092F Time : 1219.0 sec. user=vaughan [2011-05-09 08:01:29] 881*2^938122-1 is not prime. Res64: 201107CA83BF8CC9 Time : 1227.0 sec. user=vaughan [2011-05-09 08:02:50] 891*2^938122-1 is not prime. Res64: DAACA36CCB54BDF3 Time : 1266.0 sec. user=vaughan [2011-05-09 08:02:53] 887*2^938122-1 is not prime. Res64: 6B188CF3758402D9 Time : 1286.0 sec. user=vaughan [2011-05-09 08:03:09] 915*2^938123-1 is not prime. Res64: 955DE1A831AC993E Time : 1283.0 sec. user=vaughan [2011-05-09 08:18:50] 873*2^938126-1 is not prime. Res64: 2845A681C827CDF1 Time : 1167.0 sec. user=vaughan [2011-05-09 08:21:05] 875*2^938126-1 is not prime. Res64: C9071D485D6F5EE7 Time : 1231.0 sec. user=vaughan [2011-05-09 08:21:07] 893*2^938126-1 is not prime. Res64: 3A25A9DDEDA7ABB2 Time : 1228.0 sec. user=vaughan [2011-05-09 08:21:10] 911*2^938126-1 is not prime. Res64: C2307163A0140F56 Time : 1222.0 sec. user=vaughan [2011-05-09 08:22:00] 921*2^938126-1 is not prime. Res64: B7C6D46E816C5D64 Time : 1232.0 sec. user=vaughan [2011-05-09 08:23:55] 825*2^938127-1 is not prime. Res64: 2509DD649E4A6A39 Time : 1266.0 sec. user=vaughan [2011-05-09 08:24:41] 843*2^938127-1 is not prime. Res64: D8112E265736E482 Time : 1309.0 sec. user=vaughan [2011-05-09 08:24:58] 849*2^938127-1 is not prime. Res64: FE77DE6C179C6DDD Time : 1309.0 sec. user=vaughan [2011-05-09 08:38:35] 861*2^938127-1 is not prime. Res64: 43B5E2C8925860C0 Time : 1185.0 sec. user=vaughan [2011-05-09 08:41:20] 833*2^938128-1 is not prime. Res64: CBB203DDEA33F132 Time : 1215.0 sec. user=vaughan [2011-05-09 08:41:29] 927*2^938128-1 is not prime. Res64: A561FCA2680CCBF3 Time : 1219.0 sec. user=vaughan [2011-05-09 08:41:37] 915*2^938128-1 is not prime. Res64: 80688B524574E32A Time : 1230.0 sec. user=vaughan [2011-05-09 08:42:12] 837*2^938129-1 is not prime. Res64: DD7125B14E0DD5E3 Time : 1212.0 sec. user=vaughan [2011-05-09 08:44:16] 879*2^938129-1 is not prime. Res64: 94B71FCAC6A4BB39 Time : 1221.0 sec. user=vaughan [2011-05-09 08:46:33] 889*2^938129-1 is not prime. Res64: 67ECC126534CF6F2 Time : 1313.0 sec. user=vaughan [2011-05-09 08:46:49] 951*2^938129-1 is not prime. Res64: 7397F907E87F8724 Time : 1311.0 sec. user=vaughan [2011-05-09 08:58:05] 845*2^938130-1 is not prime. Res64: E832886DB5A524E9 Time : 1170.0 sec. user=vaughan [2011-05-09 09:01:34] 887*2^938130-1 is not prime. Res64: BB2094F44265119B Time : 1214.0 sec. user=vaughan [2011-05-09 09:02:28] 871*2^938131-1 is not prime. Res64: 70AEE8958B2779F0 Time : 1216.0 sec. user=vaughan [2011-05-09 09:05:03] 901*2^938131-1 is not prime. Res64: 02F30C3DA57F6F2F Time : 1247.0 sec. user=vaughan [2011-05-09 09:17:38] 837*2^938132-1 is not prime. Res64: 4A87D3EEEFFAAC87 Time : 1173.0 sec. user=vaughan [2011-05-09 09:22:10] 875*2^938132-1 is not prime. Res64: C3E07BCD650B32BF Time : 1236.0 sec. user=vaughan [2011-05-09 09:24:14] 885*2^938132-1 is not prime. Res64: FA7D89256E453B76 Time : 1306.0 sec. user=vaughan [2011-05-09 09:27:52] 837*2^938133-1 is not prime. Res64: 66721DAE8899F886 Time : 1370.0 sec. user=vaughan [2011-05-09 09:37:08] 891*2^938133-1 is not prime. Res64: 27FA0441954E177D Time : 1170.0 sec. user=vaughan [2011-05-09 09:42:35] 955*2^938133-1 is not prime. Res64: EAAB3A2D3EA2FA79 Time : 1225.0 sec. user=vaughan [2011-05-09 09:44:46] 897*2^938134-1 is not prime. Res64: 3510A0C946D824DC Time : 1232.0 sec. user=vaughan [2011-05-09 09:49:16] 825*2^938135-1 is not prime. Res64: 2430B7CADFFF3783 Time : 1287.0 sec. user=vaughan [2011-05-09 09:56:43] 855*2^938135-1 is not prime. Res64: 7E2D605A7A544CC7 Time : 1176.0 sec. user=vaughan [2011-05-09 10:03:10] 839*2^938136-1 is not prime. Res64: E143FECB2D3C8942 Time : 1235.0 sec. user=vaughan [2011-05-09 10:05:20] 849*2^938136-1 is not prime. Res64: D9F77BE9E38808F2 Time : 1234.0 sec. user=vaughan [2011-05-09 10:10:39] 975*2^938136-1 is not prime. Res64: 49E065739726AD88 Time : 1283.0 sec. user=vaughan [2011-05-09 10:16:17] 993*2^938136-1 is not prime. Res64: 718C69E0FF46B111 Time : 1174.0 sec. user=vaughan [2011-05-09 10:23:46] 815*2^938138-1 is not prime. Res64: 3FB04DB28AC73719 Time : 1237.0 sec. user=vaughan [2011-05-09 10:25:57] 837*2^938138-1 is not prime. Res64: 458E5CCA03331CDB Time : 1237.0 sec. user=vaughan [2011-05-09 10:32:02] 857*2^938138-1 is not prime. Res64: 35D17AB2DC608FE5 Time : 1283.0 sec. user=vaughan [2011-05-09 10:35:52] 875*2^938138-1 is not prime. Res64: D1C5CBBBF4A290D4 Time : 1175.0 sec. user=vaughan [2011-05-09 10:44:24] 911*2^938138-1 is not prime. Res64: EEF671146DE40761 Time : 1238.0 sec. user=vaughan [2011-05-09 10:46:34] 971*2^938138-1 is not prime. Res64: 41AA54BEDF7F432F Time : 1237.0 sec. user=vaughan [2011-05-09 10:53:23] 829*2^938139-1 is not prime. Res64: D1CA0AAB9899F06A Time : 1281.0 sec. user=vaughan [2011-05-09 10:55:33] 859*2^938139-1 is not prime. Res64: 68223DBF0EE50351 Time : 1181.0 sec. user=vaughan [2011-05-09 11:04:59] 931*2^938139-1 is not prime. Res64: A6273AB7B9E7479D Time : 1236.0 sec. user=vaughan [2011-05-09 11:07:10] 955*2^938139-1 is not prime. Res64: B1A531C0D96CB938 Time : 1237.0 sec. user=vaughan [2011-05-09 11:14:45] 969*2^938139-1 is not prime. Res64: 32DBFEBA8A22E5A6 Time : 1283.0 sec. user=vaughan [2011-05-09 11:15:16] 975*2^938139-1 is not prime. Res64: FB5DA925072C50AF Time : 1183.0 sec. user=vaughan [2011-05-09 11:25:33] 843*2^938140-1 is not prime. Res64: A6B0D9D5E9B0B275 Time : 1234.0 sec. user=vaughan [2011-05-09 11:27:45] 815*2^938142-1 is not prime. Res64: 1B230DF6DA39001E Time : 1235.0 sec. user=vaughan [2011-05-09 11:34:57] 975*2^938142-1 is not prime. Res64: 84C239E32D446B4F Time : 1181.0 sec. user=vaughan [2011-05-09 11:36:08] 825*2^938142-1 is not prime. Res64: 3F51E9D28D759D84 Time : 1283.0 sec. user=vaughan [2011-05-09 11:46:09] 977*2^938142-1 is not prime. Res64: C929EC6161B51075 Time : 1237.0 sec. user=vaughan [2011-05-09 11:48:23] 983*2^938142-1 is not prime. Res64: 658AACE4E838B226 Time : 1238.0 sec. user=vaughan [2011-05-09 11:54:33] 805*2^938143-1 is not prime. Res64: F3EAFCB213EDAC47 Time : 1177.0 sec. user=vaughan [2011-05-09 11:57:35] 855*2^938143-1 is not prime. Res64: 3A95E8D939B0937D Time : 1288.0 sec. user=ototero [2011-05-09 12:06:32] 939*2^938123-1 is not prime. Res64: E260632FAA3ECC25 Time : 15211.0 sec. user=ototero [2011-05-09 12:06:32] 973*2^938123-1 is not prime. Res64: 1A1F7D115A7F928B Time : 15211.0 sec. user=ototero [2011-05-09 12:06:32] 803*2^938124-1 is not prime. Res64: C990CD37E7925370 Time : 15210.0 sec. user=ototero [2011-05-09 12:06:33] 915*2^938124-1 is not prime. Res64: 598AC98C19BC951B Time : 15211.0 sec. user=ototero [2011-05-09 12:06:33] 855*2^938125-1 is not prime. Res64: 0BF4C0E6CD2B6A24 Time : 15211.0 sec. user=ototero [2011-05-09 12:06:33] 861*2^938125-1 is not prime. Res64: CC1BEBECBF05B7CA Time : 15211.0 sec. user=ototero [2011-05-09 12:06:33] 895*2^938125-1 is not prime. Res64: 40C2218B616683E0 Time : 15210.0 sec. user=ototero [2011-05-09 12:06:33] 939*2^938125-1 is not prime. Res64: BE7C6D0DE1395446 Time : 15210.0 sec. user=ototero [2011-05-09 12:06:33] 999*2^938125-1 is not prime. Res64: 45CD92BD0B05E3EB Time : 15210.0 sec. user=ototero [2011-05-09 12:06:34] 843*2^938126-1 is not prime. Res64: F43CC75E862802EB Time : 15210.0 sec. user=vaughan [2011-05-09 12:06:50] 889*2^938143-1 is not prime. Res64: 0E42E64A7BA542D3 Time : 1241.0 sec. user=vaughan [2011-05-09 12:09:03] 891*2^938143-1 is not prime. Res64: 2FDBA6DF2D13EC6A Time : 1240.0 sec. user=vaughan [2011-05-09 12:14:04] 925*2^938143-1 is not prime. Res64: 3B3384E7E0A8420A Time : 1171.0 sec. user=vaughan [2011-05-09 12:19:01] 825*2^938144-1 is not prime. Res64: A1D983BADC4C5EBC Time : 1286.0 sec. user=vaughan [2011-05-09 12:27:27] 883*2^938147-1 is not prime. Res64: F8606B534818E728 Time : 1237.0 sec. user=vaughan [2011-05-09 12:29:39] 913*2^938147-1 is not prime. Res64: F06AEAED64F79B18 Time : 1237.0 sec. user=vaughan [2011-05-09 12:33:43] 949*2^938147-1 is not prime. Res64: B9D6E29B6CF1B951 Time : 1179.0 sec. user=vaughan [2011-05-09 12:40:23] 899*2^938148-1 is not prime. Res64: 7FAEAAB4082AD23B Time : 1282.0 sec. user=vaughan [2011-05-09 12:48:04] 993*2^938148-1 is not prime. Res64: 3671D4767ED9B407 Time : 1238.0 sec. user=vaughan [2011-05-09 12:50:18] 819*2^938149-1 is not prime. Res64: DF88F60CC6773042 Time : 1239.0 sec. user=vaughan [2011-05-09 12:53:22] 855*2^938149-1 is not prime. Res64: 0672AC8050507BFA Time : 1179.0 sec. user=vaughan [2011-05-09 13:01:44] 939*2^938149-1 is not prime. Res64: C7B2BC9A339553CC Time : 1281.0 sec. user=vaughan [2011-05-09 13:08:42] 945*2^938149-1 is not prime. Res64: C5FDE7CBCD736136 Time : 1238.0 sec. user=vaughan [2011-05-09 13:10:57] 851*2^938150-1 is not prime. Res64: 53F594EC2CA38EA9 Time : 1239.0 sec. user=vaughan [2011-05-09 13:13:02] 921*2^938150-1 is not prime. Res64: 2EB0ABAD223509A8 Time : 1180.0 sec. user=vaughan [2011-05-09 13:23:04] 979*2^938151-1 is not prime. Res64: AE7A799745A896CC Time : 1281.0 sec. user=vaughan [2011-05-09 13:29:41] 819*2^938152-1 is not prime. Res64: FD2022FA02A54730 Time : 1260.0 sec. user=vaughan [2011-05-09 13:31:34] 849*2^938152-1 is not prime. Res64: 21A0E2BFCB8BCF0A Time : 1238.0 sec. user=vaughan [2011-05-09 13:32:41] 875*2^938152-1 is not prime. Res64: 03C2F94BACBAF2B0 Time : 1179.0 sec. user=vaughan [2011-05-09 13:44:29] 923*2^938152-1 is not prime. Res64: 147C771858F72F18 Time : 1285.0 sec. user=vaughan [2011-05-09 13:50:20] 847*2^938153-1 is not prime. Res64: 1A7CE9B39884110B Time : 1239.0 sec. user=vaughan [2011-05-09 13:52:12] 885*2^938153-1 is not prime. Res64: 85A9ACC64A91C56C Time : 1238.0 sec. user=vaughan [2011-05-09 13:52:20] 889*2^938153-1 is not prime. Res64: 8DD134DD89C42685 Time : 1179.0 sec. user=vaughan [2011-05-09 14:05:52] 967*2^938153-1 is not prime. Res64: 326C4B603D601748 Time : 1283.0 sec. user=vaughan [2011-05-09 14:10:56] 893*2^938154-1 is not prime. Res64: 041DE3B71BDC0091 Time : 1236.0 sec. user=vaughan [2011-05-09 14:12:03] 801*2^938155-1 is not prime. Res64: B3429121475656A4 Time : 1184.0 sec. user=vaughan [2011-05-09 14:12:51] 917*2^938154-1 is not prime. Res64: BCDB5C4F2FB5DD4D Time : 1239.0 sec. user=vaughan [2011-05-09 14:27:16] 867*2^938157-1 is not prime. Res64: 546AF2B4A097D82D Time : 1284.0 sec. user=vaughan [2011-05-09 14:31:34] 857*2^938158-1 is not prime. Res64: D6B012660779590B Time : 1238.0 sec. user=vaughan [2011-05-09 14:31:43] 861*2^938158-1 is not prime. Res64: A4E22B0630157D1F Time : 1181.0 sec. user=vaughan [2011-05-09 14:33:27] 881*2^938158-1 is not prime. Res64: BCD900011FBF3979 Time : 1236.0 sec. user=vaughan [2011-05-09 14:48:39] 933*2^938158-1 is not prime. Res64: 64AE6896729B0D4C Time : 1284.0 sec. user=vaughan [2011-05-09 14:51:27] 885*2^938159-1 is not prime. Res64: 661D9CAEBBA70D78 Time : 1184.0 sec. user=vaughan [2011-05-09 14:52:11] 957*2^938158-1 is not prime. Res64: C10FB7C7C5746211 Time : 1238.0 sec. user=vaughan [2011-05-09 14:54:06] 931*2^938159-1 is not prime. Res64: A424E94B011F10E9 Time : 1239.0 sec. user=vaughan [2011-05-09 15:10:00] 955*2^938159-1 is not prime. Res64: 701790D2F5802EBF Time : 1281.0 sec. user=vaughan [2011-05-09 15:11:14] 969*2^938159-1 is not prime. Res64: 92EDFC3DFDF41DE6 Time : 1187.0 sec. user=vaughan [2011-05-09 15:12:46] 973*2^938159-1 is not prime. Res64: 4B4DA6F9B976246D Time : 1235.0 sec. user=vaughan [2011-05-09 15:14:41] 993*2^938159-1 is not prime. Res64: 2F3B4C2EA74650C5 Time : 1235.0 sec. user=vaughan [2011-05-09 15:30:54] 839*2^938160-1 is not prime. Res64: 88F66FF4E4AD78B1 Time : 1181.0 sec. user=vaughan [2011-05-09 15:31:17] 803*2^938160-1 is not prime. Res64: 1374F28575DBE330 Time : 1277.0 sec. user=vaughan [2011-05-09 15:33:21] 845*2^938160-1 is not prime. Res64: FE75BDEF8E5224EB Time : 1235.0 sec. user=vaughan [2011-05-09 15:35:15] 929*2^938160-1 is not prime. Res64: B761AA46A1A132BD Time : 1234.0 sec. user=vaughan [2011-05-09 15:50:34] 933*2^938160-1 is not prime. Res64: F2C1B9425D2357E1 Time : 1180.0 sec. user=vaughan [2011-05-09 15:52:25] 975*2^938160-1 is not prime. Res64: 8615EF9DBB20F21E Time : 1268.0 sec. user=vaughan [2011-05-09 15:53:52] 805*2^938161-1 is not prime. Res64: 763706100FD284FE Time : 1231.0 sec. user=vaughan [2011-05-09 15:55:45] 817*2^938161-1 is not prime. Res64: 01484572A86239AF Time : 1230.0 sec. user=vaughan [2011-05-09 16:10:14] 967*2^938161-1 is not prime. Res64: A416508D81329226 Time : 1181.0 sec. user=vaughan [2011-05-09 16:13:36] 885*2^938162-1 is not prime. Res64: 1AC1E93EFC3956B3 Time : 1272.0 sec. user=vaughan [2011-05-09 16:14:20] 951*2^938162-1 is not prime. Res64: D0E747A366262467 Time : 1229.0 sec. user=vaughan [2011-05-09 16:16:13] 987*2^938162-1 is not prime. Res64: 02BA4D1B52CC6D68 Time : 1229.0 sec. user=ototero [2011-05-09 16:20:25] 827*2^938144-1 is not prime. Res64: 769E758BB601E5F2 Time : 15231.0 sec. user=ototero [2011-05-09 16:20:25] 875*2^938144-1 is not prime. Res64: A6D696B92841E8E9 Time : 15231.0 sec. user=ototero [2011-05-09 16:20:25] 893*2^938144-1 is not prime. Res64: 542BEF44D65F8853 Time : 15230.0 sec. user=ototero [2011-05-09 16:20:25] 861*2^938145-1 is not prime. Res64: 5DCCFFF2F3B6E280 Time : 15230.0 sec. user=ototero [2011-05-09 16:20:25] 999*2^938145-1 is not prime. Res64: 005B3515388267F6 Time : 15230.0 sec. user=ototero [2011-05-09 16:20:25] 867*2^938146-1 is not prime. Res64: 4E7167A9DC0EA9FA Time : 15229.0 sec. user=ototero [2011-05-09 16:20:26] 873*2^938146-1 is not prime. Res64: FFD973BEE1E308D4 Time : 15230.0 sec. user=ototero [2011-05-09 16:20:26] 983*2^938146-1 is not prime. Res64: CC7D2717B0155A06 Time : 15230.0 sec. user=ototero [2011-05-09 16:20:26] 841*2^938147-1 is not prime. Res64: D4F972819A331A1B Time : 15229.0 sec. user=ototero [2011-05-09 16:20:26] 871*2^938147-1 is not prime. Res64: 2D250178A66006F3 Time : 15229.0 sec. user=vaughan [2011-05-09 16:29:51] 1001*2^938162-1 is not prime. Res64: AEC6D2E271169F76 Time : 1178.0 sec. user=vaughan [2011-05-09 16:34:51] 945*2^938163-1 is not prime. Res64: 433187FAB61AE7F4 Time : 1231.0 sec. user=vaughan [2011-05-09 16:34:51] 835*2^938163-1 is not prime. Res64: E4DAEA0ADA953176 Time : 1275.0 sec. user=vaughan [2011-05-09 16:36:42] 985*2^938163-1 is not prime. Res64: 3092EAD11F7CB533 Time : 1229.0 sec. user=vaughan [2011-05-09 16:49:32] 879*2^938168-1 is not prime. Res64: F951B87EDBA56947 Time : 1181.0 sec. user=vaughan [2011-05-09 16:55:20] 995*2^938168-1 is not prime. Res64: BE02831F649FECBE Time : 1229.0 sec. user=vaughan [2011-05-09 16:55:59] 807*2^938169-1 is not prime. Res64: D8DB7196FA9E2BA0 Time : 1268.0 sec. user=vaughan [2011-05-09 16:57:11] 831*2^938169-1 is not prime. Res64: FDC2EDC89A54896E Time : 1229.0 sec. user=vaughan [2011-05-09 17:09:12] 999*2^938169-1 is not prime. Res64: 753586F59052F4D4 Time : 1180.0 sec. user=vaughan [2011-05-09 17:15:49] 905*2^938170-1 is not prime. Res64: 510695B513B9DC48 Time : 1229.0 sec. user=vaughan [2011-05-09 17:17:08] 945*2^938170-1 is not prime. Res64: 20313A57688F02A1 Time : 1269.0 sec. user=vaughan [2011-05-09 17:17:39] 951*2^938170-1 is not prime. Res64: 22CA5DD14E764A45 Time : 1228.0 sec. user=vaughan [2011-05-09 17:27:34] 927*2^938130-1 is not prime. Res64: 1B5F1B725B737586 Time : 31565.0 sec. user=vaughan [2011-05-09 17:28:47] 843*2^938131-1 is not prime. Res64: 126D90F93A8BE275 Time : 31630.0 sec. user=vaughan [2011-05-09 17:28:52] 811*2^938171-1 is not prime. Res64: D322A833A924D635 Time : 1180.0 sec. user=vaughan [2011-05-09 17:34:45] 827*2^938132-1 is not prime. Res64: 41A09E77EF4DF945 Time : 31676.0 sec. user=vaughan [2011-05-09 17:35:42] 999*2^938131-1 is not prime. Res64: 21496993C6A58556 Time : 31749.0 sec. user=vaughan [2011-05-09 17:36:19] 883*2^938171-1 is not prime. Res64: 0AD531A92F9687BF Time : 1231.0 sec. user=vaughan [2011-05-09 17:38:11] 947*2^938172-1 is not prime. Res64: D60EFFE15715C873 Time : 1232.0 sec. user=vaughan [2011-05-09 17:38:20] 909*2^938172-1 is not prime. Res64: EA7FCA956AA61D7B Time : 1272.0 sec. user=vaughan [2011-05-09 17:47:51] 983*2^938172-1 is not prime. Res64: 4A3926D61C2A7067 Time : 1217.0 sec. user=vaughan [2011-05-09 17:48:34] 951*2^938173-1 is not prime. Res64: A6ACC9A4DA5ACDB4 Time : 1182.0 sec. user=vaughan [2011-05-09 17:49:31] 855*2^938173-1 is not prime. Res64: 8FCE4CDC3AA1777C Time : 1244.0 sec. user=vaughan [2011-05-09 17:55:59] 887*2^938174-1 is not prime. Res64: B4F21DD692E461E8 Time : 1274.0 sec. user=vaughan [2011-05-09 17:56:50] 895*2^938175-1 is not prime. Res64: 970266815FE39DA4 Time : 1231.0 sec. user=vaughan [2011-05-09 17:58:41] 803*2^938176-1 is not prime. Res64: CEA239B38A2343E5 Time : 1231.0 sec. user=vaughan [2011-05-09 17:59:30] 845*2^938176-1 is not prime. Res64: 4617E63D82DE02F2 Time : 1271.0 sec. user=vaughan [2011-05-09 18:00:06] 873*2^938175-1 is not prime. Res64: AFA0939A6F4959C0 Time : 1464.0 sec. user=vaughan [2011-05-09 18:08:10] 857*2^938176-1 is not prime. Res64: A2AE3E824147521E Time : 1219.0 sec. user=vaughan [2011-05-09 18:08:24] 903*2^938176-1 is not prime. Res64: 1C3D09B57A808AE1 Time : 1191.0 sec. user=vaughan [2011-05-09 18:10:15] 947*2^938176-1 is not prime. Res64: A2121D8E1E8EAD43 Time : 1244.0 sec. user=vaughan [2011-05-09 18:17:15] 949*2^938177-1 is not prime. Res64: DAC0D38371931009 Time : 1277.0 sec. user=vaughan [2011-05-09 18:17:35] 801*2^938178-1 is not prime. Res64: 3DC5B9E590540EEC Time : 1245.0 sec. user=vaughan [2011-05-09 18:19:24] 821*2^938178-1 is not prime. Res64: 5CC7AA61771F8812 Time : 1243.0 sec. user=vaughan [2011-05-09 18:20:52] 867*2^938178-1 is not prime. Res64: ABC952489A1EAA5B Time : 1282.0 sec. user=vaughan [2011-05-09 18:24:31] 927*2^938178-1 is not prime. Res64: D59AA654251BDAF2 Time : 1465.0 sec. user=vaughan [2011-05-09 18:28:04] 945*2^938180-1 is not prime. Res64: 08C95BFF856CB350 Time : 1180.0 sec. user=vaughan [2011-05-09 18:28:26] 969*2^938179-1 is not prime. Res64: DFF224A47684D559 Time : 1217.0 sec. user=vaughan [2011-05-09 18:30:58] 963*2^938180-1 is not prime. Res64: 70C1F22DD9E1C364 Time : 1244.0 sec. user=vaughan [2011-05-09 18:38:09] 951*2^938182-1 is not prime. Res64: 777CBF760B12DB73 Time : 1234.0 sec. user=vaughan [2011-05-09 18:38:29] 887*2^938182-1 is not prime. Res64: C700FC5CF0C91C7A Time : 1274.0 sec. user=vaughan [2011-05-09 18:39:55] 995*2^938182-1 is not prime. Res64: BBC8F14FACC5E07F Time : 1232.0 sec. user=vaughan [2011-05-09 18:42:08] 825*2^938184-1 is not prime. Res64: 341E2B6DE28B3310 Time : 1276.0 sec. user=vaughan [2011-05-09 18:47:46] 877*2^938185-1 is not prime. Res64: 92ED4BE1CEE2C0D8 Time : 1182.0 sec. user=vaughan [2011-05-09 18:48:44] 925*2^938185-1 is not prime. Res64: EEA779D8C5419E97 Time : 1218.0 sec. user=vaughan [2011-05-09 18:48:57] 837*2^938184-1 is not prime. Res64: 34E4AF701166D557 Time : 1466.0 sec. user=vaughan [2011-05-09 18:51:40] 987*2^938185-1 is not prime. Res64: C7503A648BBF0DE4 Time : 1243.0 sec. user=vaughan [2011-05-09 18:57:35] 901*2^938181-1 is not prime. Res64: 078081E8D8C39C59 Time : 2622.0 sec. user=vaughan [2011-05-09 18:58:39] 831*2^938186-1 is not prime. Res64: 7B361B044845F1E8 Time : 1231.0 sec. user=vaughan [2011-05-09 18:59:44] 893*2^938186-1 is not prime. Res64: 72776D08ABCC008F Time : 1275.0 sec. user=vaughan [2011-05-09 19:00:26] 961*2^938187-1 is not prime. Res64: 2F34493E2D16ABBF Time : 1231.0 sec. user=vaughan [2011-05-09 19:03:21] 975*2^938187-1 is not prime. Res64: 69C2A73E0F0BC8C1 Time : 1273.0 sec. user=vaughan [2011-05-09 19:05:14] 801*2^938182-1 is not prime. Res64: AD9AD3D7208BB5E3 Time : 3081.0 sec. user=vaughan [2011-05-09 19:07:26] 813*2^938188-1 is not prime. Res64: 71C69D7FCFE2887E Time : 1181.0 sec. user=vaughan [2011-05-09 19:08:49] 819*2^938188-1 is not prime. Res64: 7A53F03959BE66B2 Time : 1205.0 sec. user=vaughan [2011-05-09 19:11:17] 897*2^938188-1 is not prime. Res64: D875FF668D334040 Time : 1340.0 sec. user=vaughan [2011-05-09 19:12:38] 909*2^938188-1 is not prime. Res64: 3F86400FEC0AC243 Time : 1258.0 sec. user=vaughan [2011-05-09 19:19:12] 927*2^938188-1 is not prime. Res64: 14B716241ED999FD Time : 1233.0 sec. user=vaughan [2011-05-09 19:20:54] 995*2^938188-1 is not prime. Res64: FA688580C6BA8247 Time : 1271.0 sec. user=vaughan [2011-05-09 19:20:59] 951*2^938189-1 is not prime. Res64: 200D656FB5CE7B44 Time : 1233.0 sec. user=vaughan [2011-05-09 19:24:31] 967*2^938189-1 is not prime. Res64: 9181C1E54515376E Time : 1271.0 sec. user=vaughan [2011-05-09 19:27:06] 987*2^938189-1 is not prime. Res64: 9727AA0CFB250F1F Time : 1180.0 sec. user=vaughan [2011-05-09 19:28:52] 841*2^938191-1 is not prime. Res64: D0265582A1F7B591 Time : 1203.0 sec. user=vaughan [2011-05-09 19:33:24] 999*2^938191-1 is not prime. Res64: A4349949F4A7CFDF Time : 1328.0 sec. user=vaughan [2011-05-09 19:33:54] 803*2^938192-1 is not prime. Res64: 893FCAC5E2C1F284 Time : 1276.0 sec. user=vaughan [2011-05-09 19:39:44] 827*2^938192-1 is not prime. Res64: 12A69388A01974FA Time : 1233.0 sec. user=vaughan [2011-05-09 19:41:31] 959*2^938192-1 is not prime. Res64: 5E7F255C84E01563 Time : 1233.0 sec. user=vaughan [2011-05-09 19:42:03] 945*2^938192-1 is not prime. Res64: 687BA51849D88F7A Time : 1270.0 sec. user=vaughan [2011-05-09 19:45:44] 807*2^938193-1 is not prime. Res64: B4AA91C2C8335005 Time : 1273.0 sec. user=vaughan [2011-05-09 19:46:47] 889*2^938193-1 is not prime. Res64: DE22221CAAE9ED0B Time : 1181.0 sec. user=vaughan [2011-05-09 19:48:57] 831*2^938194-1 is not prime. Res64: 8A10516D98A7500C Time : 1205.0 sec. user=vaughan [2011-05-09 19:55:05] 885*2^938194-1 is not prime. Res64: 27EDCB8B28FA3238 Time : 1272.0 sec. user=vaughan [2011-05-09 19:56:31] 857*2^938194-1 is not prime. Res64: 2CC70F0AA8A363D0 Time : 1388.0 sec. user=vaughan [2011-05-09 20:00:14] 891*2^938194-1 is not prime. Res64: 32606A5F52D8651D Time : 1230.0 sec. user=vaughan [2011-05-09 20:02:01] 867*2^938196-1 is not prime. Res64: 202AD3A676E16FC4 Time : 1230.0 sec. user=vaughan [2011-05-09 20:03:33] 903*2^938196-1 is not prime. Res64: A61D1DE2623F8AAB Time : 1291.0 sec. user=vaughan [2011-05-09 20:06:26] 847*2^938197-1 is not prime. Res64: 61A18DFC93C89B58 Time : 1180.0 sec. user=vaughan [2011-05-09 20:06:45] 801*2^938197-1 is not prime. Res64: FCE1B16C287A1968 Time : 1262.0 sec. user=vaughan [2011-05-09 20:09:06] 889*2^938197-1 is not prime. Res64: FD924C064E2F1C85 Time : 1210.0 sec. user=vaughan [2011-05-09 20:15:30] 897*2^938197-1 is not prime. Res64: 917AB19E6DDB97E2 Time : 1226.0 sec. user=ototero [2011-05-09 20:16:53] 973*2^938155-1 is not prime. Res64: 02355454CF8BE7EE Time : 22769.0 sec. user=ototero [2011-05-09 20:16:53] 857*2^938156-1 is not prime. Res64: 8B57AC3431753E9F Time : 22769.0 sec. user=ototero [2011-05-09 20:16:54] 873*2^938156-1 is not prime. Res64: CBBF3143AD0682E4 Time : 22769.0 sec. user=ototero [2011-05-09 20:16:54] 837*2^938157-1 is not prime. Res64: D3A5E7CC558E4826 Time : 22769.0 sec. user=ototero [2011-05-09 20:16:54] 861*2^938157-1 is not prime. Res64: B14EBF2C19AF5539 Time : 22769.0 sec. user=vaughan [2011-05-09 20:18:25] 971*2^938198-1 is not prime. Res64: 4F52054A7CD85205 Time : 1314.0 sec. user=vaughan [2011-05-09 20:20:49] 831*2^938199-1 is not prime. Res64: 62167389932FEAAC Time : 1235.0 sec. user=vaughan [2011-05-09 20:22:36] 879*2^938199-1 is not prime. Res64: 1A0CC8A67EDF7FE5 Time : 1235.0 sec. user=vaughan [2011-05-09 20:25:57] 951*2^938199-1 is not prime. Res64: 0616E983AE573524 Time : 1344.0 sec. user=vaughan [2011-05-09 20:26:09] 999*2^938199-1 is not prime. Res64: B45FC86B9B09442C Time : 1183.0 sec. user=vaughan [2011-05-09 20:27:55] 833*2^938200-1 is not prime. Res64: E1F59221CCEF2B8C Time : 1270.0 sec. user=vaughan [2011-05-09 20:29:00] 875*2^938200-1 is not prime. Res64: F7BA5D205366C358 Time : 1195.0 sec. user=ototero [2011-05-09 20:34:49] 953*2^938164-1 is not prime. Res64: C8190C04A22E025E Time : 15263.0 sec. user=ototero [2011-05-09 20:34:49] 805*2^938165-1 is not prime. Res64: 0D7988122B8200B1 Time : 15262.0 sec. user=ototero [2011-05-09 20:34:49] 861*2^938165-1 is not prime. Res64: D109D168835ED8FB Time : 15262.0 sec. user=ototero [2011-05-09 20:34:50] 843*2^938166-1 is not prime. Res64: FD713424877D5613 Time : 15263.0 sec. user=ototero [2011-05-09 20:34:50] 887*2^938166-1 is not prime. Res64: 8334B9586256E455 Time : 15262.0 sec. user=ototero [2011-05-09 20:34:50] 849*2^938167-1 is not prime. Res64: F42212A37D2DC911 Time : 15262.0 sec. user=ototero [2011-05-09 20:34:50] 873*2^938167-1 is not prime. Res64: 651BED818F77395E Time : 15262.0 sec. user=ototero [2011-05-09 20:34:50] 913*2^938167-1 is not prime. Res64: 3E0940415DF9E5B1 Time : 15261.0 sec. user=ototero [2011-05-09 20:34:50] 819*2^938168-1 is not prime. Res64: 3A031202A4CAE3E6 Time : 15261.0 sec. user=ototero [2011-05-09 20:34:50] 855*2^938168-1 is not prime. Res64: B3DECB2F2C1CC301 Time : 15261.0 sec. user=vaughan [2011-05-09 20:35:39] 989*2^938200-1 is not prime. Res64: EE673D3D4B10FAFB Time : 1209.0 sec. user=vaughan [2011-05-09 20:40:05] 917*2^938202-1 is not prime. Res64: E2B118866A526456 Time : 1300.0 sec. user=vaughan [2011-05-09 20:41:22] 853*2^938203-1 is not prime. Res64: 8A45084B5BB4E0E3 Time : 1234.0 sec. user=vaughan [2011-05-09 20:43:11] 855*2^938203-1 is not prime. Res64: F766DCB7565B9267 Time : 1236.0 sec. user=vaughan [2011-05-09 20:45:48] 875*2^938204-1 is not prime. Res64: 50DADC44DA026F1E Time : 1180.0 sec. user=vaughan [2011-05-09 20:48:15] 855*2^938204-1 is not prime. Res64: 93339215F421DA41 Time : 1339.0 sec. user=vaughan [2011-05-09 20:48:53] 859*2^938205-1 is not prime. Res64: CAA970DFEF945B44 Time : 1193.0 sec. user=vaughan [2011-05-09 20:49:05] 837*2^938205-1 is not prime. Res64: BF2A4F1878ABFFA5 Time : 1270.0 sec. user=vaughan [2011-05-09 20:55:49] 909*2^938208-1 is not prime. Res64: C3A652348FB9043E Time : 1210.0 sec. user=vaughan [2011-05-09 21:01:45] 969*2^938208-1 is not prime. Res64: BE80800957CEB4F3 Time : 1300.0 sec. user=vaughan [2011-05-09 21:01:55] 841*2^938209-1 is not prime. Res64: 62EECCC5977DE457 Time : 1233.0 sec. user=vaughan [2011-05-09 21:03:48] 885*2^938209-1 is not prime. Res64: 6A425F03A60DC605 Time : 1237.0 sec. user=vaughan [2011-05-09 21:05:29] 999*2^938209-1 is not prime. Res64: 86CB0DD5B2BBCD35 Time : 1181.0 sec. user=vaughan [2011-05-09 21:08:50] 827*2^938210-1 is not prime. Res64: 3E9EBB1BB9EFE1A3 Time : 1197.0 sec. user=vaughan [2011-05-09 21:10:16] 921*2^938210-1 is not prime. Res64: 80E15115D76AD66C Time : 1271.0 sec. user=vaughan [2011-05-09 21:10:44] 825*2^938210-1 is not prime. Res64: 92893EA37C31A96D Time : 1350.0 sec. user=vaughan [2011-05-09 21:16:20] 945*2^938210-1 is not prime. Res64: 444115A678D3FF8C Time : 1231.0 sec. user=vaughan [2011-05-09 21:22:31] 895*2^938211-1 is not prime. Res64: 0D082BE587A08A63 Time : 1236.0 sec. user=vaughan [2011-05-09 21:24:24] 921*2^938211-1 is not prime. Res64: 22FB737416794F03 Time : 1236.0 sec. user=vaughan [2011-05-09 21:25:06] 819*2^938211-1 is not prime. Res64: 05F53605619BFFE9 Time : 1401.0 sec. user=vaughan [2011-05-09 21:25:10] 943*2^938211-1 is not prime. Res64: 86BF1EE574054CAF Time : 1181.0 sec. user=vaughan [2011-05-09 21:29:09] 961*2^938211-1 is not prime. Res64: CF9A3499AEFAAC26 Time : 1219.0 sec. user=vaughan [2011-05-09 21:31:27] 857*2^938212-1 is not prime. Res64: 0637E1D307D4BFE4 Time : 1272.0 sec. user=vaughan [2011-05-09 21:33:36] 915*2^938212-1 is not prime. Res64: EE331D1E195C8440 Time : 1373.0 sec. user=vaughan [2011-05-09 21:37:03] 929*2^938212-1 is not prime. Res64: CFE15F951AEBFC2D Time : 1243.0 sec. user=vaughan [2011-05-09 21:43:02] 975*2^938212-1 is not prime. Res64: 0354C6500DEC900B Time : 1231.0 sec. user=vaughan [2011-05-09 21:44:55] 855*2^938213-1 is not prime. Res64: DEACF48E87AC13AA Time : 1186.0 sec. user=vaughan [2011-05-09 21:44:56] 989*2^938212-1 is not prime. Res64: 4EE3BD32E1183A14 Time : 1232.0 sec. user=vaughan [2011-05-09 21:48:34] 847*2^938213-1 is not prime. Res64: A3AC19459E7B2250 Time : 1409.0 sec. user=vaughan [2011-05-09 21:49:27] 927*2^938213-1 is not prime. Res64: DE67689EEB90921B Time : 1218.0 sec. user=vaughan [2011-05-09 21:52:39] 957*2^938213-1 is not prime. Res64: 944643EFDA525726 Time : 1272.0 sec. user=vaughan [2011-05-09 21:56:27] 969*2^938213-1 is not prime. Res64: CF059D5B3704F39D Time : 1371.0 sec. user=vaughan [2011-05-09 21:57:46] 985*2^938213-1 is not prime. Res64: 7FABB4AE654ABF7B Time : 1244.0 sec. user=vaughan [2011-05-09 22:03:36] 873*2^938214-1 is not prime. Res64: F09F1E45C60B860A Time : 1234.0 sec. user=vaughan [2011-05-09 22:04:41] 893*2^938214-1 is not prime. Res64: 83CBC1DFAF639297 Time : 1186.0 sec. user=vaughan [2011-05-09 22:05:28] 805*2^938215-1 is not prime. Res64: B09E456AB3D8ECF5 Time : 1232.0 sec. user=vaughan [2011-05-09 22:09:44] 873*2^938215-1 is not prime. Res64: 340048A3D880DEB2 Time : 1217.0 sec. user=vaughan [2011-05-09 22:11:59] 829*2^938215-1 is not prime. Res64: 301592D06C5B35EB Time : 1406.0 sec. user=vaughan [2011-05-09 22:13:48] 915*2^938215-1 is not prime. Res64: E18E8A3EE43AE59D Time : 1270.0 sec. user=vaughan [2011-05-09 22:18:28] 999*2^938215-1 is not prime. Res64: 0F54C2DD90072F7D Time : 1242.0 sec. user=vaughan [2011-05-09 22:19:16] 951*2^938215-1 is not prime. Res64: 10C8EF606EC212B1 Time : 1369.0 sec. user=vaughan [2011-05-09 22:24:05] 843*2^938216-1 is not prime. Res64: DA516AF5A63A084D Time : 1229.0 sec. user=vaughan [2011-05-09 22:24:32] 893*2^938216-1 is not prime. Res64: 8E1A4504122FE6F4 Time : 1191.0 sec. user=vaughan [2011-05-09 22:26:00] 945*2^938216-1 is not prime. Res64: 7C4A7935C8F259C1 Time : 1232.0 sec. user=vaughan [2011-05-09 22:30:07] 969*2^938216-1 is not prime. Res64: ABA3AE4E91047F07 Time : 1223.0 sec. user=vaughan [2011-05-09 22:34:55] 819*2^938217-1 is not prime. Res64: 7FA5710B5F46B79F Time : 1267.0 sec. user=vaughan [2011-05-09 22:35:25] 983*2^938216-1 is not prime. Res64: 85842ECC1A4D92D1 Time : 1406.0 sec. user=vaughan [2011-05-09 22:39:11] 887*2^938218-1 is not prime. Res64: 4FD2AE0D60ECF6A5 Time : 1243.0 sec. user=vaughan [2011-05-09 22:42:07] 941*2^938218-1 is not prime. Res64: 6674A4291C77EA36 Time : 1371.0 sec. user=vaughan [2011-05-09 22:44:21] 841*2^938219-1 is not prime. Res64: 3A8DF28B16380D04 Time : 1190.0 sec. user=vaughan [2011-05-09 22:44:33] 995*2^938218-1 is not prime. Res64: DE42E85E6B9298AE Time : 1228.0 sec. user=vaughan [2011-05-09 22:46:32] 909*2^938219-1 is not prime. Res64: 36CF2A1CF23CBD1C Time : 1233.0 sec. user=vaughan [2011-05-09 22:50:24] 973*2^938219-1 is not prime. Res64: 190B9B52588ED49C Time : 1218.0 sec. user=vaughan [2011-05-09 22:56:06] 979*2^938219-1 is not prime. Res64: 77F689D676E60D0C Time : 1271.0 sec. user=vaughan [2011-05-09 22:58:56] 873*2^938220-1 is not prime. Res64: 49F0D7B24FB71CC4 Time : 1411.0 sec. user=vaughan [2011-05-09 22:59:55] 975*2^938220-1 is not prime. Res64: 0B75CFA882EF2FB2 Time : 1244.0 sec. user=vaughan [2011-05-09 23:04:11] 979*2^938221-1 is not prime. Res64: 4FA620493D95F949 Time : 1191.0 sec. user=vaughan [2011-05-09 23:05:01] 955*2^938221-1 is not prime. Res64: 33CD8A08B0C50EC4 Time : 1374.0 sec. user=vaughan [2011-05-09 23:05:04] 953*2^938222-1 is not prime. Res64: 7E6C79C6CDEC75BA Time : 1231.0 sec. user=vaughan [2011-05-09 23:07:04] 805*2^938223-1 is not prime. Res64: 730636BC1833C57A Time : 1232.0 sec. user=vaughan [2011-05-09 23:10:45] 849*2^938223-1 is not prime. Res64: 744ADDA88FA22C54 Time : 1221.0 sec. user=vaughan [2011-05-09 23:17:13] 833*2^938224-1 is not prime. Res64: 663B6C40D874CD0D Time : 1267.0 sec. user=vaughan [2011-05-09 23:20:42] 887*2^938224-1 is not prime. Res64: EEDDB0AD2B8904D1 Time : 1247.0 sec. user=vaughan [2011-05-09 23:22:27] 873*2^938224-1 is not prime. Res64: B1560AF64AE7F6B9 Time : 1411.0 sec. user=vaughan [2011-05-09 23:24:00] 871*2^938225-1 is not prime. Res64: A87888FF3A727A42 Time : 1189.0 sec. user=vaughan [2011-05-09 23:25:35] 801*2^938226-1 is not prime. Res64: 711DA136A813D097 Time : 1232.0 sec. user=vaughan [2011-05-09 23:27:33] 833*2^938226-1 is not prime. Res64: 4364A52D6318502F Time : 1229.0 sec. user=vaughan [2011-05-09 23:27:53] 955*2^938225-1 is not prime. Res64: 0A551D42C4F738D4 Time : 1372.0 sec. user=vaughan [2011-05-09 23:31:07] 893*2^938226-1 is not prime. Res64: D249A2F7BC5A0B5F Time : 1222.0 sec. user=vaughan [2011-05-09 23:38:24] 819*2^938227-1 is not prime. Res64: 80206E234D770573 Time : 1271.0 sec. user=vaughan [2011-05-09 23:41:27] 825*2^938228-1 is not prime. Res64: 78A6F861438D7C14 Time : 1245.0 sec. user=vaughan [2011-05-09 23:43:50] 969*2^938228-1 is not prime. Res64: 6C1F64D91F9D652A Time : 1190.0 sec. user=vaughan [2011-05-09 23:45:56] 953*2^938228-1 is not prime. Res64: 2D453AA3CCBC2B54 Time : 1410.0 sec. user=vaughan [2011-05-09 23:46:08] 927*2^938229-1 is not prime. Res64: C6192CC4F18D2153 Time : 1233.0 sec. user=vaughan [2011-05-09 23:48:04] 949*2^938229-1 is not prime. Res64: 7656D603C1E0612E Time : 1231.0 sec. user=vaughan [2011-05-09 23:50:43] 999*2^938229-1 is not prime. Res64: 6BAE38F601963642 Time : 1370.0 sec. user=vaughan [2011-05-09 23:51:26] 971*2^938230-1 is not prime. Res64: B6B04282B23A4230 Time : 1220.0 sec. user=vaughan [2011-05-09 23:59:34] 921*2^938231-1 is not prime. Res64: 404A17CA0863ACC1 Time : 1270.0 sec.