user=vaughan
[2011-05-16 00:03:35]
861*2^939001-1 is not prime.  Res64: B942433BBDD31782  Time : 1175.0 sec.
user=vaughan
[2011-05-16 00:04:53]
871*2^939001-1 is not prime.  Res64: 83FE79CE40F74BD6  Time : 1214.0 sec.
user=ototero
[2011-05-16 00:10:29]
805*2^938975-1 is not prime.  Res64: E0A1A2BBCB88CACC  Time : 15021.0 sec.
user=ototero
[2011-05-16 00:10:29]
871*2^938975-1 is not prime.  Res64: 2983DB0A85C52017  Time : 15021.0 sec.
user=ototero
[2011-05-16 00:10:29]
895*2^938975-1 is not prime.  Res64: 14315CDF5FA564CB  Time : 15020.0 sec.
user=ototero
[2011-05-16 00:10:29]
963*2^938975-1 is not prime.  Res64: F409765D071EAFAF  Time : 15020.0 sec.
user=ototero
[2011-05-16 00:10:30]
845*2^938976-1 is not prime.  Res64: 3E5F5FE7ED94863E  Time : 15021.0 sec.
user=ototero
[2011-05-16 00:10:30]
879*2^938976-1 is not prime.  Res64: 7BBABE989513A21B  Time : 15021.0 sec.
user=ototero
[2011-05-16 00:10:30]
887*2^938976-1 is not prime.  Res64: 9940846920C5AA26  Time : 15020.0 sec.
user=ototero
[2011-05-16 00:10:30]
899*2^938976-1 is not prime.  Res64: 60BA0499695AA0C4  Time : 15020.0 sec.
user=ototero
[2011-05-16 00:10:30]
933*2^938976-1 is not prime.  Res64: 8EAA8C27AAF0FBCE  Time : 15020.0 sec.
user=ototero
[2011-05-16 00:10:30]
801*2^938977-1 is not prime.  Res64: 6A40992817081316  Time : 15019.0 sec.
user=vaughan
[2011-05-16 00:15:58]
937*2^939001-1 is not prime.  Res64: 55B7B3EE0AA52692  Time : 1156.0 sec.
user=vaughan
[2011-05-16 00:18:55]
1001*2^939002-1 is not prime.  Res64: D1BEBFD643D720BA  Time : 1205.0 sec.
user=vaughan
[2011-05-16 00:23:10]
943*2^939003-1 is not prime.  Res64: 74AA0A1E4FF02F16  Time : 1175.0 sec.
user=vaughan
[2011-05-16 00:25:06]
955*2^939003-1 is not prime.  Res64: 31242DE530E0A677  Time : 1213.0 sec.
user=vaughan
[2011-05-16 00:35:14]
915*2^939007-1 is not prime.  Res64: 2E87DA0E55E694BC  Time : 1157.0 sec.
user=vaughan
[2011-05-16 00:38:58]
919*2^939007-1 is not prime.  Res64: 12F302EE66846FD6  Time : 1203.0 sec.
user=vaughan
[2011-05-16 00:42:46]
973*2^939007-1 is not prime.  Res64: 7F9808DE971683D5  Time : 1176.0 sec.
user=vaughan
[2011-05-16 00:45:23]
845*2^939008-1 is not prime.  Res64: BCBB30315F3F1F85  Time : 1217.0 sec.
user=vaughan
[2011-05-16 00:54:29]
869*2^939008-1 is not prime.  Res64: 8F967FCFEA1FD528  Time : 1156.0 sec.
user=vaughan
[2011-05-16 00:58:59]
999*2^939008-1 is not prime.  Res64: 60C3E56FB828BCA3  Time : 1201.0 sec.
user=vaughan
[2011-05-16 01:02:22]
835*2^939009-1 is not prime.  Res64: 09004477D92C7F17  Time : 1176.0 sec.
user=vaughan
[2011-05-16 01:05:41]
867*2^939010-1 is not prime.  Res64: C58BAF49B73EC18F  Time : 1218.0 sec.
user=vaughan
[2011-05-16 01:13:45]
945*2^939010-1 is not prime.  Res64: 2A4DF534147472D6  Time : 1156.0 sec.
user=vaughan
[2011-05-16 01:19:01]
979*2^939011-1 is not prime.  Res64: 1BC428518D42578F  Time : 1203.0 sec.
user=vaughan
[2011-05-16 01:22:00]
873*2^939012-1 is not prime.  Res64: AB5193EE402D60BF  Time : 1178.0 sec.
user=vaughan
[2011-05-16 01:25:58]
879*2^939012-1 is not prime.  Res64: 522A2C14468A77AB  Time : 1218.0 sec.
user=vaughan
[2011-05-16 01:33:01]
861*2^939013-1 is not prime.  Res64: 93CD113A7479D6F8  Time : 1156.0 sec.
user=vaughan
[2011-05-16 01:39:03]
897*2^939013-1 is not prime.  Res64: 3D57E914BD483784  Time : 1202.0 sec.
user=vaughan
[2011-05-16 01:41:35]
945*2^939013-1 is not prime.  Res64: 3EB23DD4432E1757  Time : 1176.0 sec.
user=vaughan
[2011-05-16 01:46:15]
851*2^939014-1 is not prime.  Res64: C371F52D0206BCCC  Time : 1217.0 sec.
user=vaughan
[2011-05-16 01:52:15]
917*2^939014-1 is not prime.  Res64: A28FAE5550C46F34  Time : 1155.0 sec.
user=vaughan
[2011-05-16 01:59:03]
921*2^939014-1 is not prime.  Res64: 0A3443D041359932  Time : 1200.0 sec.
user=vaughan
[2011-05-16 02:01:11]
971*2^939014-1 is not prime.  Res64: B4113F9D31F6FD44  Time : 1176.0 sec.
user=vaughan
[2011-05-16 02:06:34]
983*2^939014-1 is not prime.  Res64: 79844A7A18D99AAA  Time : 1220.0 sec.
user=vaughan
[2011-05-16 02:11:31]
825*2^939015-1 is not prime.  Res64: F2BCA4417B9ED938  Time : 1156.0 sec.
user=vaughan
[2011-05-16 02:13:08]
867*2^938997-1 is not prime.  Res64: C7AC973FBDB20EA1  Time : 12830.0 sec.
user=vaughan
[2011-05-16 02:13:37]
817*2^938997-1 is not prime.  Res64: 20548754A9AD98D5  Time : 13657.0 sec.
user=vaughan
[2011-05-16 02:13:45]
825*2^938997-1 is not prime.  Res64: 8AFEC5DD305CE2E5  Time : 13250.0 sec.
user=vaughan
[2011-05-16 02:13:56]
943*2^938995-1 is not prime.  Res64: E2C00F48BA9AFF52  Time : 13972.0 sec.
user=vaughan
[2011-05-16 02:19:04]
831*2^939015-1 is not prime.  Res64: 1B8CC3C103B643AF  Time : 1202.0 sec.
user=vaughan
[2011-05-16 02:20:47]
961*2^939015-1 is not prime.  Res64: 48C5C237C23C0FAC  Time : 1177.0 sec.
user=vaughan
[2011-05-16 02:26:52]
857*2^939016-1 is not prime.  Res64: 72A97B5F54BC28BA  Time : 1219.0 sec.
user=vaughan
[2011-05-16 02:30:46]
965*2^939016-1 is not prime.  Res64: 7F8D1F6622F9F34C  Time : 1155.0 sec.
user=vaughan
[2011-05-16 02:37:05]
865*2^939017-1 is not prime.  Res64: C8CD54D8CC467362  Time : 1440.0 sec.
user=vaughan
[2011-05-16 02:38:54]
901*2^939017-1 is not prime.  Res64: 0BAC25248816DB7D  Time : 1518.0 sec.
user=vaughan
[2011-05-16 02:39:06]
885*2^939018-1 is not prime.  Res64: 3C293C78B6F596AD  Time : 1202.0 sec.
user=vaughan
[2011-05-16 02:39:53]
955*2^939017-1 is not prime.  Res64: D9F480A622F85CDA  Time : 1558.0 sec.
user=vaughan
[2011-05-16 02:40:25]
921*2^939018-1 is not prime.  Res64: C89D0C4A072DB2F4  Time : 1178.0 sec.
user=vaughan
[2011-05-16 02:42:50]
915*2^939017-1 is not prime.  Res64: 8460F906C41A405B  Time : 1746.0 sec.
user=vaughan
[2011-05-16 02:47:13]
843*2^939019-1 is not prime.  Res64: 8B80CFEF9D578532  Time : 1221.0 sec.
user=vaughan
[2011-05-16 02:50:01]
873*2^939019-1 is not prime.  Res64: 4C78A14BFD0F4D09  Time : 1155.0 sec.
user=vaughan
[2011-05-16 02:59:08]
985*2^939019-1 is not prime.  Res64: 3351017F138BE291  Time : 1202.0 sec.
user=vaughan
[2011-05-16 03:00:01]
875*2^939020-1 is not prime.  Res64: 3AB7039DEB12790A  Time : 1177.0 sec.
user=vaughan
[2011-05-16 03:00:54]
939*2^939019-1 is not prime.  Res64: C9DC667746111AE2  Time : 1429.0 sec.
user=vaughan
[2011-05-16 03:04:06]
961*2^939019-1 is not prime.  Res64: 913F8D7F74DC1D6B  Time : 1513.0 sec.
user=vaughan
[2011-05-16 03:05:43]
803*2^939020-1 is not prime.  Res64: 11CA6A30E1CB9E1A  Time : 1551.0 sec.
user=vaughan
[2011-05-16 03:07:33]
817*2^939021-1 is not prime.  Res64: DA7DC191402D8D72  Time : 1220.0 sec.
user=vaughan
[2011-05-16 03:09:19]
829*2^939021-1 is not prime.  Res64: ABF33FFB62E03AE1  Time : 1159.0 sec.
user=vaughan
[2011-05-16 03:12:02]
929*2^939020-1 is not prime.  Res64: 494F33BE4CB206BF  Time : 1752.0 sec.
user=vaughan
[2011-05-16 03:19:11]
889*2^939021-1 is not prime.  Res64: 4D9E7E372362E9F2  Time : 1203.0 sec.
user=vaughan
[2011-05-16 03:19:38]
927*2^939021-1 is not prime.  Res64: D8AEF4C15F970EF3  Time : 1177.0 sec.
user=vaughan
[2011-05-16 03:24:49]
969*2^939021-1 is not prime.  Res64: 2F7DD6F8EA1AE961  Time : 1436.0 sec.
user=vaughan
[2011-05-16 03:27:56]
843*2^939022-1 is not prime.  Res64: D75398590E819E58  Time : 1223.0 sec.
user=vaughan
[2011-05-16 03:28:35]
951*2^939022-1 is not prime.  Res64: 0135995463533C77  Time : 1157.0 sec.
user=vaughan
[2011-05-16 03:29:23]
997*2^939021-1 is not prime.  Res64: EE6B42D6399A1D2C  Time : 1518.0 sec.
user=vaughan
[2011-05-16 03:31:36]
825*2^939022-1 is not prime.  Res64: 3D0D1AA4BDE35011  Time : 1554.0 sec.
user=vaughan
[2011-05-16 03:39:15]
903*2^939024-1 is not prime.  Res64: 5D85E7F2D379E339  Time : 1204.0 sec.
user=vaughan
[2011-05-16 03:39:17]
915*2^939024-1 is not prime.  Res64: 72F28B21D55F5B1F  Time : 1179.0 sec.
user=vaughan
[2011-05-16 03:41:22]
973*2^939023-1 is not prime.  Res64: EAB878614A9FF838  Time : 1761.0 sec.
user=vaughan
[2011-05-16 03:47:54]
975*2^939024-1 is not prime.  Res64: 88D6A54590D2961D  Time : 1159.0 sec.
user=vaughan
[2011-05-16 03:48:18]
945*2^939024-1 is not prime.  Res64: D4FFD52B3AFDBF89  Time : 1223.0 sec.
user=vaughan
[2011-05-16 03:48:58]
923*2^939024-1 is not prime.  Res64: 81F1FA17DD8B8E91  Time : 1449.0 sec.
user=vaughan
[2011-05-16 03:54:35]
847*2^939025-1 is not prime.  Res64: FD7D376DCDB6C420  Time : 1512.0 sec.
user=vaughan
[2011-05-16 03:57:07]
895*2^939025-1 is not prime.  Res64: D747A15F513EC877  Time : 1531.0 sec.
user=vaughan
[2011-05-16 03:58:56]
831*2^939026-1 is not prime.  Res64: C4A7C098867F76E1  Time : 1179.0 sec.
user=vaughan
[2011-05-16 03:59:18]
813*2^939026-1 is not prime.  Res64: 0959E6E738C1701D  Time : 1203.0 sec.
user=vaughan
[2011-05-16 04:07:09]
941*2^939026-1 is not prime.  Res64: 654AA489BCDFEF2C  Time : 1155.0 sec.
user=vaughan
[2011-05-16 04:08:37]
945*2^939026-1 is not prime.  Res64: B30EC0AA95B141D2  Time : 1219.0 sec.
user=vaughan
[2011-05-16 04:09:18]
867*2^939026-1 is not prime.  Res64: 733603509A277B09  Time : 1676.0 sec.
user=vaughan
[2011-05-16 04:11:46]
819*2^939027-1 is not prime.  Res64: DA144864227BD915  Time : 1369.0 sec.
user=vaughan
[2011-05-16 04:18:33]
973*2^939027-1 is not prime.  Res64: 3AC40A29524582F7  Time : 1177.0 sec.
user=vaughan
[2011-05-16 04:18:59]
843*2^939027-1 is not prime.  Res64: 16E2DEDBF66CA56D  Time : 1465.0 sec.
user=vaughan
[2011-05-16 04:19:18]
909*2^939028-1 is not prime.  Res64: EBF40135AB60B17C  Time : 1200.0 sec.
user=ototero
[2011-05-16 04:21:03]
961*2^939003-1 is not prime.  Res64: 8EF3D06A437E3FB2  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:04]
989*2^939004-1 is not prime.  Res64: F66316A0962D120F  Time : 15033.0 sec.
user=ototero
[2011-05-16 04:21:04]
867*2^939005-1 is not prime.  Res64: 39C2F886630A1407  Time : 15033.0 sec.
user=ototero
[2011-05-16 04:21:04]
885*2^939005-1 is not prime.  Res64: A3ECEBE338B043A6  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:04]
939*2^939005-1 is not prime.  Res64: C3F15177D1C6935A  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:04]
921*2^939006-1 is not prime.  Res64: 5E64C66074021E66  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:04]
947*2^939006-1 is not prime.  Res64: 13476ED702C9BC5A  Time : 15031.0 sec.
user=ototero
[2011-05-16 04:21:05]
963*2^939006-1 is not prime.  Res64: EF385478C94A25AA  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:05]
829*2^939007-1 is not prime.  Res64: E022015EB36BFB51  Time : 15032.0 sec.
user=ototero
[2011-05-16 04:21:05]
859*2^939007-1 is not prime.  Res64: 73BDEA784AE77792  Time : 15032.0 sec.
user=vaughan
[2011-05-16 04:22:34]
963*2^939027-1 is not prime.  Res64: 9A76E7A4CEA4598B  Time : 1527.0 sec.
user=vaughan
[2011-05-16 04:29:53]
929*2^939028-1 is not prime.  Res64: 10E7FF044734218E  Time : 1365.0 sec.
user=vaughan
[2011-05-16 04:31:46]
829*2^939029-1 is not prime.  Res64: BC39C399027F1CD2  Time : 1389.0 sec.
user=vaughan
[2011-05-16 04:34:22]
861*2^939029-1 is not prime.  Res64: 853F70611FF3211D  Time : 1356.0 sec.
user=vaughan
[2011-05-16 04:36:18]
847*2^939029-1 is not prime.  Res64: 5E17B4CC77555872  Time : 1620.0 sec.
user=vaughan
[2011-05-16 04:41:46]
907*2^939029-1 is not prime.  Res64: B83950C70B4FD004  Time : 1393.0 sec.
user=vaughan
[2011-05-16 04:42:29]
965*2^939030-1 is not prime.  Res64: 7AB8923C87CADB8F  Time : 1392.0 sec.
user=vaughan
[2011-05-16 04:43:17]
927*2^939029-1 is not prime.  Res64: E3F18665B6D9BFD9  Time : 1458.0 sec.
user=vaughan
[2011-05-16 04:46:57]
885*2^939034-1 is not prime.  Res64: 769144D1A842A3CD  Time : 1463.0 sec.
user=vaughan
[2011-05-16 04:49:37]
939*2^939037-1 is not prime.  Res64: 560AFC18ABCA3466  Time : 1184.0 sec.
user=vaughan
[2011-05-16 04:51:54]
985*2^939037-1 is not prime.  Res64: EFBFA33A817D8B72  Time : 1209.0 sec.
user=vaughan
[2011-05-16 04:57:01]
813*2^939038-1 is not prime.  Res64: 66DD70B17EEDBEBA  Time : 1359.0 sec.
user=vaughan
[2011-05-16 05:01:57]
861*2^939039-1 is not prime.  Res64: B8152217CA0554E8  Time : 1211.0 sec.
user=vaughan
[2011-05-16 05:02:32]
839*2^939040-1 is not prime.  Res64: 5341BDD7545D15DE  Time : 1204.0 sec.
user=vaughan
[2011-05-16 05:03:36]
951*2^939038-1 is not prime.  Res64: 5A00882974AA851C  Time : 1638.0 sec.
user=vaughan
[2011-05-16 05:07:38]
857*2^939040-1 is not prime.  Res64: A87223A6CD314344  Time : 1462.0 sec.
user=vaughan
[2011-05-16 05:09:24]
999*2^939040-1 is not prime.  Res64: F95D271FEB68E73C  Time : 1188.0 sec.
user=vaughan
[2011-05-16 05:11:25]
905*2^939040-1 is not prime.  Res64: 0D43610E4C44BE57  Time : 1468.0 sec.
user=vaughan
[2011-05-16 05:12:08]
925*2^939041-1 is not prime.  Res64: A5471CE29B3D70BA  Time : 1215.0 sec.
user=vaughan
[2011-05-16 05:19:44]
945*2^939041-1 is not prime.  Res64: 019E2F939D373C01  Time : 1364.0 sec.
user=vaughan
[2011-05-16 05:22:11]
949*2^939041-1 is not prime.  Res64: 1DBFD1672CD5CBAF  Time : 1215.0 sec.
user=vaughan
[2011-05-16 05:22:27]
807*2^939042-1 is not prime.  Res64: 891D65B17B9400B4  Time : 1195.0 sec.
user=vaughan
[2011-05-16 05:26:33]
999*2^939035-1 is not prime.  Res64: 485EF461FBA58D62  Time : 3826.0 sec.
user=vaughan
[2011-05-16 05:26:38]
947*2^939034-1 is not prime.  Res64: 3F122DDE7CFBDFD9  Time : 3831.0 sec.
user=vaughan
[2011-05-16 05:29:12]
853*2^939043-1 is not prime.  Res64: 8C4ABEB0B6B020A5  Time : 1188.0 sec.
user=vaughan
[2011-05-16 05:30:58]
957*2^939042-1 is not prime.  Res64: 049EBC70F2AEFFF4  Time : 1642.0 sec.
user=vaughan
[2011-05-16 05:32:07]
975*2^939042-1 is not prime.  Res64: 7857BC98AE2F28C4  Time : 1469.0 sec.
user=vaughan
[2011-05-16 05:32:24]
833*2^939044-1 is not prime.  Res64: 11D93EEBC41D3045  Time : 1216.0 sec.
user=vaughan
[2011-05-16 05:35:55]
855*2^939043-1 is not prime.  Res64: 0B4078CBC1FD489F  Time : 1471.0 sec.
user=vaughan
[2011-05-16 05:42:23]
861*2^939045-1 is not prime.  Res64: 42A7B602595E5898  Time : 1196.0 sec.
user=vaughan
[2011-05-16 05:42:27]
983*2^939044-1 is not prime.  Res64: 9BD71AF46AACB0E5  Time : 1363.0 sec.
user=vaughan
[2011-05-16 05:42:31]
825*2^939045-1 is not prime.  Res64: 0EE17239B8792C6B  Time : 1220.0 sec.
user=vaughan
[2011-05-16 05:49:22]
885*2^939045-1 is not prime.  Res64: 2B06828F6B0B7D94  Time : 1210.0 sec.
user=vaughan
[2011-05-16 05:52:52]
999*2^939045-1 is not prime.  Res64: 59533C5F91332335  Time : 1229.0 sec.
user=vaughan
[2011-05-16 05:56:28]
915*2^939045-1 is not prime.  Res64: 2217B2331B689D51  Time : 1461.0 sec.
user=vaughan
[2011-05-16 05:58:12]
895*2^939045-1 is not prime.  Res64: 5FCD18871CC28830  Time : 1634.0 sec.
user=vaughan
[2011-05-16 06:00:13]
933*2^939046-1 is not prime.  Res64: B6F6596812842C3B  Time : 1459.0 sec.
user=vaughan
[2011-05-16 06:02:13]
971*2^939046-1 is not prime.  Res64: 37021E0605F70615  Time : 1191.0 sec.
user=vaughan
[2011-05-16 06:03:03]
865*2^939047-1 is not prime.  Res64: 5CF08882B7C2A5CB  Time : 1232.0 sec.
user=vaughan
[2011-05-16 06:04:55]
859*2^939047-1 is not prime.  Res64: 5F90B151159E6EF1  Time : 1348.0 sec.
user=vaughan
[2011-05-16 06:09:51]
973*2^939047-1 is not prime.  Res64: B8EEBA29480B796F  Time : 1229.0 sec.
user=vaughan
[2011-05-16 06:13:23]
815*2^939048-1 is not prime.  Res64: 878B8B89F1FB10F1  Time : 1231.0 sec.
user=vaughan
[2011-05-16 06:20:29]
845*2^939048-1 is not prime.  Res64: 6DA37EE9FF56D3B1  Time : 1442.0 sec.
user=vaughan
[2011-05-16 06:22:00]
909*2^939048-1 is not prime.  Res64: 9B31ECF5B76DE71B  Time : 1188.0 sec.
user=vaughan
[2011-05-16 06:23:34]
929*2^939048-1 is not prime.  Res64: B8508E31DC234EDB  Time : 1231.0 sec.
user=vaughan
[2011-05-16 06:24:16]
899*2^939048-1 is not prime.  Res64: 499C01CB90B472A2  Time : 1444.0 sec.
user=vaughan
[2011-05-16 06:24:51]
867*2^939048-1 is not prime.  Res64: 612CD6A4AF203CA0  Time : 1600.0 sec.
user=vaughan
[2011-05-16 06:27:21]
947*2^939048-1 is not prime.  Res64: B0F32E54885718EE  Time : 1347.0 sec.
user=vaughan
[2011-05-16 06:30:22]
861*2^939049-1 is not prime.  Res64: 9330FB80B0340864  Time : 1231.0 sec.
user=vaughan
[2011-05-16 06:33:51]
867*2^939049-1 is not prime.  Res64: AEBD42EDFE5B0174  Time : 1228.0 sec.
user=vaughan
[2011-05-16 06:41:47]
831*2^939050-1 is not prime.  Res64: 7ADA72750DE50683  Time : 1188.0 sec.
user=vaughan
[2011-05-16 06:44:03]
845*2^939050-1 is not prime.  Res64: 62EDA451BF13586D  Time : 1229.0 sec.
user=vaughan
[2011-05-16 06:44:37]
827*2^939050-1 is not prime.  Res64: CC702D49434A0830  Time : 1448.0 sec.
user=vaughan
[2011-05-16 06:48:23]
851*2^939050-1 is not prime.  Res64: 48E9B6D4CEFFB7A0  Time : 1447.0 sec.
user=vaughan
[2011-05-16 06:49:39]
953*2^939050-1 is not prime.  Res64: C95A782E0370A577  Time : 1339.0 sec.
user=vaughan
[2011-05-16 06:50:52]
801*2^939051-1 is not prime.  Res64: 0AE3510A84D40C17  Time : 1230.0 sec.
user=vaughan
[2011-05-16 06:51:27]
935*2^939050-1 is not prime.  Res64: D2F355647F51F3A7  Time : 1596.0 sec.
user=vaughan
[2011-05-16 06:54:22]
849*2^939051-1 is not prime.  Res64: AB26565A72DCB2BE  Time : 1231.0 sec.
user=vaughan
[2011-05-16 07:01:36]
891*2^939051-1 is not prime.  Res64: 8D3DF774C358D6D0  Time : 1189.0 sec.
user=vaughan
[2011-05-16 07:04:34]
895*2^939051-1 is not prime.  Res64: B74D4FB5FCCD1546  Time : 1232.0 sec.
user=vaughan
[2011-05-16 07:08:40]
909*2^939051-1 is not prime.  Res64: FDC956D24EBBB4EC  Time : 1443.0 sec.
user=vaughan
[2011-05-16 07:11:25]
873*2^939052-1 is not prime.  Res64: 631C84CFE62655DD  Time : 1233.0 sec.
user=vaughan
[2011-05-16 07:11:57]
999*2^939051-1 is not prime.  Res64: 7E2A51EE5AF585B0  Time : 1338.0 sec.
user=vaughan
[2011-05-16 07:12:17]
973*2^939051-1 is not prime.  Res64: BC18CEB00AD8C160  Time : 1434.0 sec.
user=vaughan
[2011-05-16 07:14:53]
999*2^939052-1 is not prime.  Res64: 00D6D973DB48DD0E  Time : 1232.0 sec.
user=vaughan
[2011-05-16 07:18:02]
983*2^939052-1 is not prime.  Res64: 3E563D57BBB3D2A5  Time : 1595.0 sec.
user=vaughan
[2011-05-16 07:21:30]
879*2^939053-1 is not prime.  Res64: 422A9FAF73693380  Time : 1195.0 sec.
user=vaughan
[2011-05-16 07:25:05]
901*2^939053-1 is not prime.  Res64: 742337218363552A  Time : 1232.0 sec.
user=vaughan
[2011-05-16 07:32:13]
807*2^939054-1 is not prime.  Res64: 10C010761547B9D1  Time : 1248.0 sec.
user=vaughan
[2011-05-16 07:32:43]
951*2^939053-1 is not prime.  Res64: 8C4E108279F6AFCF  Time : 1443.0 sec.
user=vaughan
[2011-05-16 07:34:18]
863*2^939054-1 is not prime.  Res64: D51E200415EAC68C  Time : 1341.0 sec.
user=vaughan
[2011-05-16 07:35:33]
903*2^939054-1 is not prime.  Res64: 81E023C049CF4D07  Time : 1240.0 sec.
user=vaughan
[2011-05-16 07:36:26]
885*2^939054-1 is not prime.  Res64: D82A270FDD3ED979  Time : 1449.0 sec.
user=vaughan
[2011-05-16 07:41:28]
933*2^939055-1 is not prime.  Res64: C38F08046C35EDA3  Time : 1198.0 sec.
user=vaughan
[2011-05-16 07:44:50]
915*2^939055-1 is not prime.  Res64: 5D37916C076EBDD3  Time : 1608.0 sec.
user=vaughan
[2011-05-16 07:45:45]
939*2^939055-1 is not prime.  Res64: 0279E3BC375685AB  Time : 1241.0 sec.
user=vaughan
[2011-05-16 07:52:48]
861*2^939057-1 is not prime.  Res64: 077579C374A7F643  Time : 1235.0 sec.
user=vaughan
[2011-05-16 07:56:05]
923*2^939058-1 is not prime.  Res64: B9B7BEDD094A605C  Time : 1232.0 sec.
user=vaughan
[2011-05-16 07:57:01]
997*2^939057-1 is not prime.  Res64: AC7E48581DAE27C1  Time : 1363.0 sec.
user=vaughan
[2011-05-16 07:57:15]
955*2^939057-1 is not prime.  Res64: F2637804C75F49B9  Time : 1472.0 sec.
user=vaughan
[2011-05-16 08:00:55]
957*2^939058-1 is not prime.  Res64: F30582F9A4D1F033  Time : 1469.0 sec.
user=vaughan
[2011-05-16 08:01:17]
859*2^939059-1 is not prime.  Res64: D9F8BC5992E1345F  Time : 1189.0 sec.
user=vaughan
[2011-05-16 08:06:16]
825*2^939060-1 is not prime.  Res64: CD0857CF26BB736B  Time : 1231.0 sec.
user=vaughan
[2011-05-16 08:12:02]
973*2^939059-1 is not prime.  Res64: 85FC3564C25E67D5  Time : 1632.0 sec.
user=vaughan
[2011-05-16 08:13:19]
923*2^939060-1 is not prime.  Res64: 0E4D1FA67662824E  Time : 1231.0 sec.
user=vaughan
[2011-05-16 08:16:37]
819*2^939061-1 is not prime.  Res64: 77DD613E92C0E474  Time : 1232.0 sec.
user=vaughan
[2011-05-16 08:19:40]
829*2^939061-1 is not prime.  Res64: 56AA5DB034984256  Time : 1359.0 sec.
user=vaughan
[2011-05-16 08:21:04]
815*2^939062-1 is not prime.  Res64: E6B2BEB76D08A867  Time : 1187.0 sec.
user=vaughan
[2011-05-16 08:21:45]
901*2^939061-1 is not prime.  Res64: 7D96189CF89545E5  Time : 1470.0 sec.
user=vaughan
[2011-05-16 08:25:21]
951*2^939061-1 is not prime.  Res64: 831784B36DA17F37  Time : 1467.0 sec.
user=vaughan
[2011-05-16 08:26:47]
827*2^939062-1 is not prime.  Res64: 451DA5940C85CDAE  Time : 1231.0 sec.
user=ototero
[2011-05-16 08:31:32]
843*2^939031-1 is not prime.  Res64: B78D7457FB737BA9  Time : 15027.0 sec.
user=ototero
[2011-05-16 08:31:32]
855*2^939031-1 is not prime.  Res64: 003999D5EEA9224F  Time : 15027.0 sec.
user=ototero
[2011-05-16 08:31:32]
883*2^939031-1 is not prime.  Res64: 795039D3BFB233F7  Time : 15026.0 sec.
user=ototero
[2011-05-16 08:31:32]
939*2^939031-1 is not prime.  Res64: D80FD402AC80A28C  Time : 15026.0 sec.
user=ototero
[2011-05-16 08:31:33]
975*2^939031-1 is not prime.  Res64: 934864A4FC126BAE  Time : 15027.0 sec.
user=ototero
[2011-05-16 08:31:33]
875*2^939032-1 is not prime.  Res64: 0E475BF03F94893F  Time : 15026.0 sec.
user=ototero
[2011-05-16 08:31:33]
977*2^939032-1 is not prime.  Res64: 5165088CA112AEAC  Time : 15026.0 sec.
user=ototero
[2011-05-16 08:31:33]
805*2^939033-1 is not prime.  Res64: A31669E24FCAEFBD  Time : 15026.0 sec.
user=ototero
[2011-05-16 08:31:33]
811*2^939033-1 is not prime.  Res64: 31863AD2CDFB28A9  Time : 15025.0 sec.
user=ototero
[2011-05-16 08:31:33]
881*2^939034-1 is not prime.  Res64: AC0E189B220589EA  Time : 15025.0 sec.
user=vaughan
[2011-05-16 08:33:52]
887*2^939062-1 is not prime.  Res64: B1C57E988DBA6FB7  Time : 1233.0 sec.
user=vaughan
[2011-05-16 08:37:07]
911*2^939062-1 is not prime.  Res64: D0F17B4A8D35CCC8  Time : 1230.0 sec.
user=vaughan
[2011-05-16 08:38:03]
839*2^939056-1 is not prime.  Res64: D94C67DBE371FED6  Time : 4010.0 sec.
user=vaughan
[2011-05-16 08:38:04]
963*2^939056-1 is not prime.  Res64: 814BA7150370AB0D  Time : 4010.0 sec.
user=vaughan
[2011-05-16 08:39:14]
875*2^939062-1 is not prime.  Res64: EF331EB833D31534  Time : 1632.0 sec.
user=vaughan
[2011-05-16 08:40:57]
853*2^939063-1 is not prime.  Res64: 7A66F71F41795A58  Time : 1193.0 sec.
user=vaughan
[2011-05-16 08:42:14]
1001*2^939062-1 is not prime.  Res64: 0DABA36293930C2D  Time : 1354.0 sec.
user=vaughan
[2011-05-16 08:46:15]
859*2^939063-1 is not prime.  Res64: 5A6A2A5D3F8F086C  Time : 1471.0 sec.
user=vaughan
[2011-05-16 08:47:17]
827*2^939064-1 is not prime.  Res64: 67AC364DA70DEF15  Time : 1230.0 sec.
user=vaughan
[2011-05-16 08:49:47]
879*2^939063-1 is not prime.  Res64: 35752FF82522732B  Time : 1466.0 sec.
user=vaughan
[2011-05-16 08:54:26]
963*2^939068-1 is not prime.  Res64: CA100755886F32D1  Time : 1234.0 sec.
user=vaughan
[2011-05-16 08:57:38]
995*2^939068-1 is not prime.  Res64: F8EC741FA5F1A775  Time : 1231.0 sec.
user=vaughan
[2011-05-16 09:00:48]
891*2^939069-1 is not prime.  Res64: E7DC9772DFABE06C  Time : 1192.0 sec.
user=vaughan
[2011-05-16 09:04:49]
927*2^939069-1 is not prime.  Res64: 4774EEC2F72174C9  Time : 1355.0 sec.
user=vaughan
[2011-05-16 09:06:24]
847*2^939069-1 is not prime.  Res64: 6CA55AA07002661E  Time : 1630.0 sec.
user=vaughan
[2011-05-16 09:07:45]
873*2^939070-1 is not prime.  Res64: 27E379B3427C6F84  Time : 1228.0 sec.
user=vaughan
[2011-05-16 09:10:43]
843*2^939070-1 is not prime.  Res64: B9FBAA38E31C1CF3  Time : 1468.0 sec.
user=vaughan
[2011-05-16 09:14:18]
911*2^939070-1 is not prime.  Res64: 5B6103C6564BA82B  Time : 1471.0 sec.
user=vaughan
[2011-05-16 09:15:18]
945*2^939070-1 is not prime.  Res64: C0EF887B83C3E2BD  Time : 1252.0 sec.
user=vaughan
[2011-05-16 09:18:03]
957*2^939070-1 is not prime.  Res64: 1A36C9F94C194BB5  Time : 1225.0 sec.
user=vaughan
[2011-05-16 09:20:44]
993*2^939071-1 is not prime.  Res64: E02A5CF3DA016627  Time : 1196.0 sec.
user=vaughan
[2011-05-16 09:27:30]
815*2^939072-1 is not prime.  Res64: FDF685AB25198FBA  Time : 1361.0 sec.
user=vaughan
[2011-05-16 09:28:07]
909*2^939072-1 is not prime.  Res64: 7B00BC8F075EF66B  Time : 1222.0 sec.
user=vaughan
[2011-05-16 09:33:28]
875*2^939072-1 is not prime.  Res64: F6D8A97ACEDC74AE  Time : 1624.0 sec.
user=vaughan
[2011-05-16 09:35:12]
923*2^939072-1 is not prime.  Res64: C9B2B1305D1A569E  Time : 1469.0 sec.
user=vaughan
[2011-05-16 09:36:18]
885*2^939073-1 is not prime.  Res64: 3F91F1342987AAC0  Time : 1260.0 sec.
user=vaughan
[2011-05-16 09:38:27]
955*2^939073-1 is not prime.  Res64: 1B10BE8DD9ADFA05  Time : 1225.0 sec.
user=vaughan
[2011-05-16 09:38:51]
947*2^939072-1 is not prime.  Res64: C923B4614ED6BFCE  Time : 1474.0 sec.
user=vaughan
[2011-05-16 09:40:38]
851*2^939074-1 is not prime.  Res64: 1E574F86836BE19D  Time : 1194.0 sec.
user=vaughan
[2011-05-16 09:48:28]
885*2^939074-1 is not prime.  Res64: 455836AC4CBE0B5C  Time : 1221.0 sec.
user=vaughan
[2011-05-16 09:50:07]
875*2^939074-1 is not prime.  Res64: 391F80701308D4A1  Time : 1358.0 sec.
user=vaughan
[2011-05-16 09:57:17]
801*2^939075-1 is not prime.  Res64: 0D07B00545FD81EB  Time : 1259.0 sec.
user=vaughan
[2011-05-16 09:58:51]
857*2^939076-1 is not prime.  Res64: 84F35C3D0B11D95E  Time : 1225.0 sec.
user=vaughan
[2011-05-16 09:59:45]
995*2^939074-1 is not prime.  Res64: 76D86CBAA350FDE5  Time : 1473.0 sec.
user=vaughan
[2011-05-16 10:00:32]
903*2^939076-1 is not prime.  Res64: 29AFBD0E73C35CEE  Time : 1194.0 sec.
user=vaughan
[2011-05-16 10:01:18]
923*2^939074-1 is not prime.  Res64: E9BA00C44A3412FF  Time : 1670.0 sec.
user=vaughan
[2011-05-16 10:03:10]
873*2^939076-1 is not prime.  Res64: 879480FE57233BE4  Time : 1459.0 sec.
user=vaughan
[2011-05-16 10:08:57]
905*2^939076-1 is not prime.  Res64: 647E7C15659CF395  Time : 1229.0 sec.
user=vaughan
[2011-05-16 10:12:43]
853*2^939079-1 is not prime.  Res64: 5E23345ED1916B29  Time : 1357.0 sec.
user=vaughan
[2011-05-16 10:17:50]
883*2^939079-1 is not prime.  Res64: 01BCE3CA40B5DBAA  Time : 1233.0 sec.
user=vaughan
[2011-05-16 10:19:21]
891*2^939079-1 is not prime.  Res64: 3058B56B46496FCC  Time : 1231.0 sec.
user=vaughan
[2011-05-16 10:20:22]
855*2^939080-1 is not prime.  Res64: 20066F1B478C1ED3  Time : 1190.0 sec.
user=vaughan
[2011-05-16 10:24:07]
833*2^939080-1 is not prime.  Res64: 61B26CC46C44BAEC  Time : 1462.0 sec.
user=vaughan
[2011-05-16 10:27:43]
835*2^939081-1 is not prime.  Res64: F980619A2E9F23F7  Time : 1473.0 sec.
user=vaughan
[2011-05-16 10:28:31]
999*2^939080-1 is not prime.  Res64: D571D4E6D5F413C6  Time : 1634.0 sec.
user=vaughan
[2011-05-16 10:29:27]
877*2^939081-1 is not prime.  Res64: 9C234CBBA0942C08  Time : 1230.0 sec.
user=vaughan
[2011-05-16 10:35:21]
855*2^939082-1 is not prime.  Res64: C963B20ACC99EC61  Time : 1358.0 sec.
user=vaughan
[2011-05-16 10:38:21]
941*2^939082-1 is not prime.  Res64: 9FE534CD0626FD9A  Time : 1231.0 sec.
user=vaughan
[2011-05-16 10:39:51]
825*2^939083-1 is not prime.  Res64: FAED6CB65F1CE69E  Time : 1230.0 sec.
user=vaughan
[2011-05-16 10:40:11]
857*2^939084-1 is not prime.  Res64: 4FD48A356417035A  Time : 1189.0 sec.
user=vaughan
[2011-05-16 10:48:32]
955*2^939085-1 is not prime.  Res64: 238709721C999690  Time : 1465.0 sec.
user=vaughan
[2011-05-16 10:49:58]
813*2^939086-1 is not prime.  Res64: 22A027C4205D1179  Time : 1231.0 sec.
user=vaughan
[2011-05-16 10:52:07]
985*2^939085-1 is not prime.  Res64: B36133B7344F1CAB  Time : 1464.0 sec.
user=vaughan
[2011-05-16 10:55:58]
997*2^939085-1 is not prime.  Res64: 98D57159C6C0029F  Time : 1647.0 sec.
user=vaughan
[2011-05-16 10:58:01]
831*2^939086-1 is not prime.  Res64: C8F665C75C39C916  Time : 1360.0 sec.
user=vaughan
[2011-05-16 10:58:49]
897*2^939086-1 is not prime.  Res64: 090F5D0EF2352C4A  Time : 1228.0 sec.
user=vaughan
[2011-05-16 10:59:57]
971*2^939086-1 is not prime.  Res64: DFBA0491362CFD42  Time : 1186.0 sec.
user=vaughan
[2011-05-16 11:00:21]
957*2^939086-1 is not prime.  Res64: 63FFF63D803AF40C  Time : 1231.0 sec.
user=vaughan
[2011-05-16 11:10:29]
843*2^939087-1 is not prime.  Res64: 9E2A5E310BF84064  Time : 1232.0 sec.
user=vaughan
[2011-05-16 11:12:54]
981*2^939086-1 is not prime.  Res64: 222C4B994F9A3A95  Time : 1462.0 sec.
user=vaughan
[2011-05-16 11:16:29]
849*2^939088-1 is not prime.  Res64: 9B04EE72E0E5F8B0  Time : 1463.0 sec.
user=vaughan
[2011-05-16 11:19:15]
855*2^939089-1 is not prime.  Res64: 414C2488E476FDBA  Time : 1227.0 sec.
user=vaughan
[2011-05-16 11:19:41]
861*2^939089-1 is not prime.  Res64: 4EE19EB563DA6180  Time : 1184.0 sec.
user=vaughan
[2011-05-16 11:20:41]
811*2^939089-1 is not prime.  Res64: F86EE3B50C25406E  Time : 1361.0 sec.
user=vaughan
[2011-05-16 11:20:51]
879*2^939089-1 is not prime.  Res64: 226789C3E3B020A6  Time : 1230.0 sec.
user=vaughan
[2011-05-16 11:23:27]
993*2^939088-1 is not prime.  Res64: 8AD620359015C609  Time : 1649.0 sec.
user=vaughan
[2011-05-16 11:31:00]
875*2^939090-1 is not prime.  Res64: C834E05052C7B42E  Time : 1232.0 sec.
user=vaughan
[2011-05-16 11:37:18]
891*2^939090-1 is not prime.  Res64: 14EFE2857AFFF293  Time : 1464.0 sec.
user=vaughan
[2011-05-16 11:39:27]
871*2^939091-1 is not prime.  Res64: F52B87D385599166  Time : 1186.0 sec.
user=vaughan
[2011-05-16 11:39:41]
813*2^939091-1 is not prime.  Res64: 05593DBEAEF0C0A3  Time : 1226.0 sec.
user=vaughan
[2011-05-16 11:40:48]
1001*2^939090-1 is not prime.  Res64: 08AE2D00BDDB8A43  Time : 1459.0 sec.
user=vaughan
[2011-05-16 11:41:22]
877*2^939093-1 is not prime.  Res64: 23EFB787C253C262  Time : 1231.0 sec.
user=vaughan
[2011-05-16 11:43:21]
879*2^939092-1 is not prime.  Res64: 4C405BD98B463187  Time : 1360.0 sec.
user=vaughan
[2011-05-16 11:50:49]
889*2^939093-1 is not prime.  Res64: 0A666CC7999B7D87  Time : 1642.0 sec.
user=vaughan
[2011-05-16 11:51:30]
937*2^939093-1 is not prime.  Res64: 5CF1E390137EC20D  Time : 1230.0 sec.
user=vaughan
[2011-05-16 11:59:12]
913*2^939095-1 is not prime.  Res64: 8D257F74710D50C4  Time : 1185.0 sec.
user=vaughan
[2011-05-16 12:00:07]
949*2^939095-1 is not prime.  Res64: C68A75433D1B6827  Time : 1226.0 sec.
user=vaughan
[2011-05-16 12:01:35]
861*2^939094-1 is not prime.  Res64: CA8F6EF727236960  Time : 1457.0 sec.
user=vaughan
[2011-05-16 12:01:51]
931*2^939097-1 is not prime.  Res64: 8E73313AC782CBF2  Time : 1230.0 sec.
user=vaughan
[2011-05-16 12:05:05]
983*2^939096-1 is not prime.  Res64: 48F1CD00F74A27FD  Time : 1457.0 sec.
user=vaughan
[2011-05-16 12:05:47]
911*2^939098-1 is not prime.  Res64: F59748DD76359A46  Time : 1347.0 sec.
user=vaughan
[2011-05-16 12:11:59]
921*2^939098-1 is not prime.  Res64: 8413B520BAB076B0  Time : 1230.0 sec.
user=vaughan
[2011-05-16 12:17:30]
915*2^939098-1 is not prime.  Res64: E2BD1A556F1319F1  Time : 1601.0 sec.
user=vaughan
[2011-05-16 12:18:58]
891*2^939099-1 is not prime.  Res64: 5930EE8B1C810D59  Time : 1186.0 sec.
user=vaughan
[2011-05-16 12:20:31]
979*2^939099-1 is not prime.  Res64: C74A0412C66F56AF  Time : 1225.0 sec.
user=vaughan
[2011-05-16 12:22:19]
855*2^939100-1 is not prime.  Res64: 722C4F9F9A1F54AF  Time : 1228.0 sec.
user=vaughan
[2011-05-16 12:25:29]
999*2^939099-1 is not prime.  Res64: B8C7EC0A7124E18B  Time : 1434.0 sec.
user=vaughan
[2011-05-16 12:28:00]
965*2^939102-1 is not prime.  Res64: 537BAD6EC38A11C6  Time : 1334.0 sec.
user=vaughan
[2011-05-16 12:29:04]
997*2^939101-1 is not prime.  Res64: CD6D6624EDDFF617  Time : 1439.0 sec.
user=vaughan
[2011-05-16 12:32:21]
805*2^939103-1 is not prime.  Res64: 27BBBB414E7D1351  Time : 1222.0 sec.
user=vaughan
[2011-05-16 12:39:34]
961*2^939103-1 is not prime.  Res64: C891A4FCC93463F9  Time : 1236.0 sec.
user=vaughan
[2011-05-16 12:40:50]
993*2^939103-1 is not prime.  Res64: 559ADE558F756F55  Time : 1219.0 sec.
user=ototero
[2011-05-16 12:42:07]
857*2^939064-1 is not prime.  Res64: 3463125A53E2D0B3  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:07]
863*2^939064-1 is not prime.  Res64: FA1B79DCAA852762  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:07]
937*2^939065-1 is not prime.  Res64: 662AF4DC130A80EE  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:08]
861*2^939066-1 is not prime.  Res64: B067A98C1961B01A  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:08]
893*2^939066-1 is not prime.  Res64: C480EDE5041AE3E6  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:08]
963*2^939066-1 is not prime.  Res64: BF1724605F6D56B1  Time : 15033.0 sec.
user=ototero
[2011-05-16 12:42:08]
919*2^939067-1 is not prime.  Res64: 0021A3379449C8E5  Time : 15032.0 sec.
user=ototero
[2011-05-16 12:42:08]
899*2^939068-1 is not prime.  Res64: 290EAA8EACD74B3B  Time : 15032.0 sec.
user=ototero
[2011-05-16 12:42:08]
915*2^939068-1 is not prime.  Res64: 95552B7EFA6BBDFB  Time : 15032.0 sec.
user=ototero
[2011-05-16 12:42:09]
953*2^939068-1 is not prime.  Res64: 75CF01C93F47C831  Time : 15032.0 sec.
user=vaughan
[2011-05-16 12:42:35]
817*2^939105-1 is not prime.  Res64: D81EFBF963BB2672  Time : 1216.0 sec.
user=vaughan
[2011-05-16 12:44:09]
943*2^939103-1 is not prime.  Res64: F025E1D66B18C5BF  Time : 1600.0 sec.
user=vaughan
[2011-05-16 12:49:29]
837*2^939105-1 is not prime.  Res64: 6CE6F49440B12D57  Time : 1441.0 sec.
user=vaughan
[2011-05-16 12:50:15]
919*2^939105-1 is not prime.  Res64: 027C6121A116A381  Time : 1335.0 sec.
user=vaughan
[2011-05-16 12:52:37]
997*2^939105-1 is not prime.  Res64: C74937E5BAF4934E  Time : 1216.0 sec.
user=vaughan
[2011-05-16 12:53:01]
975*2^939105-1 is not prime.  Res64: 2BBC4E970DCAAA90  Time : 1437.0 sec.
user=vaughan
[2011-05-16 13:00:13]
803*2^939106-1 is not prime.  Res64: AA815745CA9166EC  Time : 1239.0 sec.
user=vaughan
[2011-05-16 13:01:10]
933*2^939106-1 is not prime.  Res64: A88C190331920469  Time : 1221.0 sec.
user=vaughan
[2011-05-16 13:02:52]
977*2^939110-1 is not prime.  Res64: 2643626475D8C623  Time : 1217.0 sec.
user=vaughan
[2011-05-16 13:10:42]
871*2^939111-1 is not prime.  Res64: 47C5C13F53A2A620  Time : 1593.0 sec.
user=vaughan
[2011-05-16 13:12:32]
863*2^939112-1 is not prime.  Res64: 7337B641B61DEB5C  Time : 1337.0 sec.
user=vaughan
[2011-05-16 13:12:53]
903*2^939112-1 is not prime.  Res64: 0745F2AECFEA7D05  Time : 1216.0 sec.
user=vaughan
[2011-05-16 13:13:26]
827*2^939112-1 is not prime.  Res64: B27F5E6EC5C2DC23  Time : 1437.0 sec.
user=vaughan
[2011-05-16 13:16:56]
933*2^939112-1 is not prime.  Res64: 93232128C79ACF91  Time : 1435.0 sec.
user=vaughan
[2011-05-16 13:20:53]
965*2^939112-1 is not prime.  Res64: 5E67BA861F34C570  Time : 1241.0 sec.
user=vaughan
[2011-05-16 13:21:29]
879*2^939113-1 is not prime.  Res64: E931EF42D092697E  Time : 1219.0 sec.
user=vaughan
[2011-05-16 13:23:10]
915*2^939113-1 is not prime.  Res64: 94AFF98D48788327  Time : 1218.0 sec.
user=vaughan
[2011-05-16 13:33:17]
859*2^939115-1 is not prime.  Res64: 3A73244F53A3C963  Time : 1224.0 sec.
user=vaughan
[2011-05-16 13:34:45]
855*2^939115-1 is not prime.  Res64: BCE5B33FD53980A6  Time : 1333.0 sec.
user=vaughan
[2011-05-16 13:37:09]
803*2^939114-1 is not prime.  Res64: 7AFBB3E78323D54D  Time : 1588.0 sec.
user=vaughan
[2011-05-16 13:37:28]
889*2^939115-1 is not prime.  Res64: 1D836B67698C5031  Time : 1442.0 sec.
user=vaughan
[2011-05-16 13:40:49]
875*2^939116-1 is not prime.  Res64: 7FA613F5A579D5EF  Time : 1196.0 sec.
user=vaughan
[2011-05-16 13:40:52]
895*2^939115-1 is not prime.  Res64: C4F10790D6789FD5  Time : 1436.0 sec.
user=vaughan
[2011-05-16 13:41:54]
963*2^939116-1 is not prime.  Res64: BE1B6B75D2E6D906  Time : 1225.0 sec.
user=vaughan
[2011-05-16 13:43:40]
983*2^939116-1 is not prime.  Res64: CA5AE31B4C17A4AC  Time : 1231.0 sec.
user=vaughan
[2011-05-16 13:53:46]
859*2^939117-1 is not prime.  Res64: 170B3AB5E5588D84  Time : 1230.0 sec.
user=vaughan
[2011-05-16 13:57:00]
901*2^939117-1 is not prime.  Res64: F1CEEEC86F9EC5D1  Time : 1335.0 sec.
user=vaughan
[2011-05-16 14:00:33]
855*2^939118-1 is not prime.  Res64: DB23A5EA29A8E767  Time : 1185.0 sec.
user=vaughan
[2011-05-16 14:01:28]
815*2^939118-1 is not prime.  Res64: DA130A913BB02373  Time : 1441.0 sec.
user=vaughan
[2011-05-16 14:02:19]
971*2^939118-1 is not prime.  Res64: C5ED874D0F881B9C  Time : 1225.0 sec.
user=vaughan
[2011-05-16 14:03:39]
961*2^939117-1 is not prime.  Res64: C0D28F1BB4BF2BE9  Time : 1590.0 sec.
user=vaughan
[2011-05-16 14:04:12]
895*2^939119-1 is not prime.  Res64: 8AC199A0B0E50D6A  Time : 1232.0 sec.
user=vaughan
[2011-05-16 14:04:49]
945*2^939118-1 is not prime.  Res64: 060AF6C9E90C9452  Time : 1437.0 sec.
user=vaughan
[2011-05-16 14:14:18]
819*2^939120-1 is not prime.  Res64: ED74EA180C824D49  Time : 1232.0 sec.
user=vaughan
[2011-05-16 14:19:13]
899*2^939120-1 is not prime.  Res64: B4A4C758EBE069CB  Time : 1333.0 sec.
user=vaughan
[2011-05-16 14:20:18]
917*2^939120-1 is not prime.  Res64: C2841D6913C1A06F  Time : 1185.0 sec.
user=vaughan
[2011-05-16 14:22:46]
939*2^939121-1 is not prime.  Res64: F336FDDF97D033F4  Time : 1227.0 sec.
user=vaughan
[2011-05-16 14:24:42]
801*2^939122-1 is not prime.  Res64: 9CA90BC99F4EB508  Time : 1230.0 sec.
user=vaughan
[2011-05-16 14:25:24]
819*2^939121-1 is not prime.  Res64: 475D3143536E7684  Time : 1436.0 sec.
user=vaughan
[2011-05-16 14:28:50]
837*2^939122-1 is not prime.  Res64: 47CA3562B22ECAC6  Time : 1442.0 sec.
user=vaughan
[2011-05-16 14:30:14]
979*2^939121-1 is not prime.  Res64: F800DB96F4476C18  Time : 1595.0 sec.
user=vaughan
[2011-05-16 14:34:50]
911*2^939122-1 is not prime.  Res64: CF2CEBC0AC098FF8  Time : 1232.0 sec.
user=vaughan
[2011-05-16 14:40:03]
871*2^939123-1 is not prime.  Res64: 6B843AF949F1BDA6  Time : 1185.0 sec.
user=vaughan
[2011-05-16 14:41:27]
923*2^939122-1 is not prime.  Res64: B79F84F5051347DC  Time : 1334.0 sec.
user=vaughan
[2011-05-16 14:43:13]
943*2^939123-1 is not prime.  Res64: 9DDBE07A030C3FFB  Time : 1228.0 sec.
user=vaughan
[2011-05-16 14:45:12]
813*2^939124-1 is not prime.  Res64: 9D09E8FF10B12770  Time : 1231.0 sec.
user=vaughan
[2011-05-16 14:49:25]
903*2^939124-1 is not prime.  Res64: 440FA60B592F34F9  Time : 1441.0 sec.
user=vaughan
[2011-05-16 14:52:49]
975*2^939124-1 is not prime.  Res64: AA967C41ED6ADFE7  Time : 1440.0 sec.
user=vaughan
[2011-05-16 14:55:20]
893*2^939126-1 is not prime.  Res64: 9CC7859452E6AEBE  Time : 1230.0 sec.
user=vaughan
[2011-05-16 14:56:42]
801*2^939126-1 is not prime.  Res64: 3BB464EEF889593E  Time : 1589.0 sec.
user=vaughan
[2011-05-16 14:59:48]
903*2^939126-1 is not prime.  Res64: CCC74F00CF740C7D  Time : 1185.0 sec.
user=vaughan
[2011-05-16 15:03:38]
839*2^939128-1 is not prime.  Res64: 3F1186D494EC0F60  Time : 1225.0 sec.
user=vaughan
[2011-05-16 15:03:57]
951*2^939127-1 is not prime.  Res64: 527760C01E0B255A  Time : 1351.0 sec.
user=vaughan
[2011-05-16 15:05:44]
843*2^939128-1 is not prime.  Res64: EA02B8151D14F568  Time : 1232.0 sec.
user=vaughan
[2011-05-16 15:13:35]
855*2^939128-1 is not prime.  Res64: ABD83A52E77E8664  Time : 1450.0 sec.
user=vaughan
[2011-05-16 15:15:51]
963*2^939128-1 is not prime.  Res64: E142C3CAA823A311  Time : 1231.0 sec.
user=vaughan
[2011-05-16 15:17:03]
929*2^939128-1 is not prime.  Res64: F9B8C73E4BB4A1A5  Time : 1454.0 sec.
user=vaughan
[2011-05-16 15:19:34]
829*2^939129-1 is not prime.  Res64: 70DB2820BFB4F79E  Time : 1186.0 sec.
user=vaughan
[2011-05-16 15:23:46]
993*2^939128-1 is not prime.  Res64: CCA609E94A734292  Time : 1625.0 sec.
user=vaughan
[2011-05-16 15:24:04]
835*2^939129-1 is not prime.  Res64: D8B87FED7623CCD0  Time : 1226.0 sec.
user=vaughan
[2011-05-16 15:26:14]
887*2^939130-1 is not prime.  Res64: C0EB773E6CC502E7  Time : 1230.0 sec.
user=vaughan
[2011-05-16 15:26:57]
861*2^939129-1 is not prime.  Res64: 3C1CE195FB4812DD  Time : 1380.0 sec.
user=vaughan
[2011-05-16 15:36:18]
911*2^939130-1 is not prime.  Res64: 74134289F3EC18C5  Time : 1227.0 sec.
user=vaughan
[2011-05-16 15:37:52]
891*2^939130-1 is not prime.  Res64: 8D5115B730EAD482  Time : 1458.0 sec.
user=vaughan
[2011-05-16 15:39:39]
801*2^939131-1 is not prime.  Res64: 5CC498D86CF3287D  Time : 1205.0 sec.
user=vaughan
[2011-05-16 15:41:21]
995*2^939130-1 is not prime.  Res64: EC9C0ABD0C6AC762  Time : 1458.0 sec.
user=vaughan
[2011-05-16 15:44:37]
903*2^939131-1 is not prime.  Res64: A69C57606A327318  Time : 1233.0 sec.
user=vaughan
[2011-05-16 15:46:41]
909*2^939131-1 is not prime.  Res64: 961578D785D99DF7  Time : 1227.0 sec.
user=vaughan
[2011-05-16 15:50:03]
931*2^939131-1 is not prime.  Res64: ACA2D1601613ED48  Time : 1386.0 sec.
user=vaughan
[2011-05-16 15:50:50]
879*2^939131-1 is not prime.  Res64: 869B4270935FF0FF  Time : 1624.0 sec.
user=vaughan
[2011-05-16 15:56:47]
969*2^939131-1 is not prime.  Res64: 70239278D2F18D97  Time : 1229.0 sec.
user=vaughan
[2011-05-16 15:59:25]
857*2^939132-1 is not prime.  Res64: 1983EA2F8B49C8B8  Time : 1187.0 sec.
user=vaughan
[2011-05-16 16:02:14]
825*2^939132-1 is not prime.  Res64: 56623D6F4D097C69  Time : 1462.0 sec.
user=vaughan
[2011-05-16 16:05:12]
987*2^939132-1 is not prime.  Res64: FD1DECE14F490398  Time : 1235.0 sec.
user=vaughan
[2011-05-16 16:05:37]
929*2^939132-1 is not prime.  Res64: 314D6BF2B89DA8A1  Time : 1457.0 sec.
user=vaughan
[2011-05-16 16:07:07]
867*2^939133-1 is not prime.  Res64: 202B22C6140B0A56  Time : 1226.0 sec.
user=vaughan
[2011-05-16 16:13:10]
885*2^939133-1 is not prime.  Res64: 6F40FA610B549FF7  Time : 1388.0 sec.
user=vaughan
[2011-05-16 16:17:05]
935*2^939134-1 is not prime.  Res64: B50745D5A3DC1CCE  Time : 1218.0 sec.
user=vaughan
[2011-05-16 16:18:00]
945*2^939133-1 is not prime.  Res64: 8EFE75D9A297F8D9  Time : 1630.0 sec.
user=vaughan
[2011-05-16 16:19:59]
945*2^939134-1 is not prime.  Res64: 09D7E81E9AA3CABC  Time : 1235.0 sec.
user=vaughan
[2011-05-16 16:25:34]
861*2^939135-1 is not prime.  Res64: 1D3AB74941C8A034  Time : 1222.0 sec.
user=vaughan
[2011-05-16 16:26:23]
981*2^939134-1 is not prime.  Res64: 238F41B5052D01BA  Time : 1450.0 sec.
user=vaughan
[2011-05-16 16:27:25]
963*2^939135-1 is not prime.  Res64: C87E47BD48B58DE7  Time : 1218.0 sec.
user=vaughan
[2011-05-16 16:29:53]
961*2^939135-1 is not prime.  Res64: E1894E6DAFE58E21  Time : 1456.0 sec.
user=vaughan
[2011-05-16 16:36:03]
999*2^939135-1 is not prime.  Res64: B9F103B016E215E6  Time : 1373.0 sec.
user=vaughan
[2011-05-16 16:37:25]
839*2^939136-1 is not prime.  Res64: 30AAA0C76083F970  Time : 1221.0 sec.
user=vaughan
[2011-05-16 16:40:38]
927*2^939136-1 is not prime.  Res64: 8FF4C2DA0909C924  Time : 1240.0 sec.
user=vaughan
[2011-05-16 16:45:08]
873*2^939136-1 is not prime.  Res64: C02D1E14058B9AB1  Time : 1628.0 sec.
user=vaughan
[2011-05-16 16:45:54]
999*2^939136-1 is not prime.  Res64: 00B51E4F45C66A0A  Time : 1223.0 sec.
user=vaughan
[2011-05-16 16:47:43]
945*2^939137-1 is not prime.  Res64: B9CC98D0B6E4F783  Time : 1218.0 sec.
user=vaughan
[2011-05-16 16:50:55]
861*2^939137-1 is not prime.  Res64: BC4BE3B2E0300221  Time : 1472.0 sec.
user=ototero
[2011-05-16 16:52:39]
945*2^939106-1 is not prime.  Res64: F0CB59DD0CD4122A  Time : 15030.0 sec.
user=ototero
[2011-05-16 16:52:39]
819*2^939107-1 is not prime.  Res64: F603A8370EEA9455  Time : 15030.0 sec.
user=ototero
[2011-05-16 16:52:39]
901*2^939107-1 is not prime.  Res64: 31FD7739A29B4F17  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:39]
909*2^939107-1 is not prime.  Res64: B040EF6C75D96765  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:39]
927*2^939108-1 is not prime.  Res64: 42705398CB3E1262  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:39]
945*2^939108-1 is not prime.  Res64: 2FE96E8ACFADECF2  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:40]
897*2^939109-1 is not prime.  Res64: EB5E24969F00EB5C  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:40]
997*2^939109-1 is not prime.  Res64: 069CE26CF67ED923  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:40]
845*2^939110-1 is not prime.  Res64: F6C27B732D828C14  Time : 15029.0 sec.
user=ototero
[2011-05-16 16:52:40]
941*2^939110-1 is not prime.  Res64: 532A8C59EAC49722  Time : 15028.0 sec.
user=vaughan
[2011-05-16 16:54:28]
979*2^939137-1 is not prime.  Res64: 5B67C5D208C30868  Time : 1475.0 sec.
user=vaughan
[2011-05-16 16:57:43]
881*2^939138-1 is not prime.  Res64: B98E1C8A5530CE95  Time : 1218.0 sec.
user=vaughan
[2011-05-16 16:58:42]
981*2^939137-1 is not prime.  Res64: C5DB4C1E9DC2177F  Time : 1360.0 sec.
user=vaughan
[2011-05-16 17:01:10]
945*2^939138-1 is not prime.  Res64: 418B33E691E4001A  Time : 1232.0 sec.
user=vaughan
[2011-05-16 17:06:16]
993*2^939138-1 is not prime.  Res64: 318800FE550FFCCE  Time : 1222.0 sec.
user=vaughan
[2011-05-16 17:08:07]
829*2^939139-1 is not prime.  Res64: FE3F8C20BC423BB8  Time : 1224.0 sec.
user=vaughan
[2011-05-16 17:12:14]
951*2^939138-1 is not prime.  Res64: BB5D31488F92F949  Time : 1626.0 sec.
user=vaughan
[2011-05-16 17:15:26]
889*2^939141-1 is not prime.  Res64: 0E407E9D42D68C3B  Time : 1471.0 sec.
user=vaughan
[2011-05-16 17:18:15]
875*2^939144-1 is not prime.  Res64: 29C6383B94781247  Time : 1232.0 sec.
user=vaughan
[2011-05-16 17:18:54]
825*2^939144-1 is not prime.  Res64: 2113313A8877674D  Time : 1466.0 sec.
user=vaughan
[2011-05-16 17:20:56]
927*2^939144-1 is not prime.  Res64: 19029D5D1CE2B819  Time : 1187.0 sec.
user=vaughan
[2011-05-16 17:21:21]
903*2^939144-1 is not prime.  Res64: 4F59239A49C3F267  Time : 1360.0 sec.
user=vaughan
[2011-05-16 17:26:41]
847*2^939145-1 is not prime.  Res64: 01214534A8DB5D43  Time : 1225.0 sec.
user=vaughan
[2011-05-16 17:28:40]
909*2^939145-1 is not prime.  Res64: 6C188609387A650F  Time : 1234.0 sec.
user=vaughan
[2011-05-16 17:38:48]
861*2^939146-1 is not prime.  Res64: 5B301A0D97E02C1A  Time : 1233.0 sec.
user=vaughan
[2011-05-16 17:39:26]
951*2^939145-1 is not prime.  Res64: C0C72BCF092A3679  Time : 1632.0 sec.
user=vaughan
[2011-05-16 17:39:57]
851*2^939146-1 is not prime.  Res64: 36328E468721B2AE  Time : 1471.0 sec.
user=vaughan
[2011-05-16 17:40:42]
917*2^939146-1 is not prime.  Res64: 3CE1EEA255C6667C  Time : 1187.0 sec.
user=vaughan
[2011-05-16 17:43:27]
873*2^939146-1 is not prime.  Res64: 3847A6F39B6848DE  Time : 1473.0 sec.
user=vaughan
[2011-05-16 17:44:05]
801*2^939147-1 is not prime.  Res64: 1F12F71EBC4009B2  Time : 1364.0 sec.
user=vaughan
[2011-05-16 17:47:06]
859*2^939147-1 is not prime.  Res64: CF9943FE3ACC883F  Time : 1225.0 sec.
user=vaughan
[2011-05-16 17:49:12]
913*2^939147-1 is not prime.  Res64: 30CDC6CE9AC514C0  Time : 1233.0 sec.
user=vaughan
[2011-05-16 17:59:19]
919*2^939147-1 is not prime.  Res64: AF7D7458F3EBAD67  Time : 1231.0 sec.
user=vaughan
[2011-05-16 18:00:29]
833*2^939148-1 is not prime.  Res64: 3C4AD3A610182C03  Time : 1187.0 sec.
user=vaughan
[2011-05-16 18:04:13]
975*2^939147-1 is not prime.  Res64: 79ACF9C8041712D1  Time : 1457.0 sec.
user=vaughan
[2011-05-16 18:06:26]
931*2^939147-1 is not prime.  Res64: 5B29BBBA80BC5682  Time : 1620.0 sec.
user=vaughan
[2011-05-16 18:06:34]
845*2^939148-1 is not prime.  Res64: 08C85B4AA50BBCA5  Time : 1349.0 sec.
user=vaughan
[2011-05-16 18:07:32]
897*2^939149-1 is not prime.  Res64: F2608381322867CF  Time : 1226.0 sec.
user=vaughan
[2011-05-16 18:07:43]
843*2^939148-1 is not prime.  Res64: EBD8C07C26F24969  Time : 1457.0 sec.
user=vaughan
[2011-05-16 18:09:45]
967*2^939149-1 is not prime.  Res64: FB58FF2CEC9CC55C  Time : 1233.0 sec.
user=vaughan
[2011-05-16 18:19:51]
985*2^939149-1 is not prime.  Res64: 3CBD602368E47053  Time : 1232.0 sec.
user=vaughan
[2011-05-16 18:20:15]
933*2^939150-1 is not prime.  Res64: F503B348254695AE  Time : 1186.0 sec.
user=vaughan
[2011-05-16 18:28:01]
925*2^939151-1 is not prime.  Res64: 1AFB812ADE65D170  Time : 1229.0 sec.
user=vaughan
[2011-05-16 18:28:24]
859*2^939151-1 is not prime.  Res64: 24651080CFB2C7F1  Time : 1451.0 sec.
user=vaughan
[2011-05-16 18:29:01]
895*2^939151-1 is not prime.  Res64: C70921A0B700E17E  Time : 1347.0 sec.
user=vaughan
[2011-05-16 18:30:16]
825*2^939152-1 is not prime.  Res64: 6922E48574884B97  Time : 1232.0 sec.
user=vaughan
[2011-05-16 18:31:44]
975*2^939151-1 is not prime.  Res64: FC6D82AB19F480A6  Time : 1441.0 sec.
user=vaughan
[2011-05-16 18:32:45]
885*2^939151-1 is not prime.  Res64: 1D6B0DCAF71999F6  Time : 1579.0 sec.
user=vaughan
[2011-05-16 18:40:05]
855*2^939152-1 is not prime.  Res64: C452A0359B24F4EF  Time : 1191.0 sec.
user=vaughan
[2011-05-16 18:40:24]
843*2^939152-1 is not prime.  Res64: 0D57A1BE8B4EFD58  Time : 1233.0 sec.
user=vaughan
[2011-05-16 18:48:27]
893*2^939152-1 is not prime.  Res64: 1763C946CAB06A83  Time : 1227.0 sec.
user=vaughan
[2011-05-16 18:50:50]
889*2^939153-1 is not prime.  Res64: A372A357CC18F3A1  Time : 1234.0 sec.
user=vaughan
[2011-05-16 18:51:29]
885*2^939153-1 is not prime.  Res64: B90BBA02BB51F2D6  Time : 1349.0 sec.
user=vaughan
[2011-05-16 18:51:52]
935*2^939152-1 is not prime.  Res64: DDDF5A8ED3C15B61  Time : 1409.0 sec.
user=vaughan
[2011-05-16 18:55:34]
891*2^939153-1 is not prime.  Res64: 70CFF70E37C10498  Time : 1430.0 sec.
user=vaughan
[2011-05-16 18:59:18]
949*2^939153-1 is not prime.  Res64: 56C3080FB2CB37F7  Time : 1594.0 sec.
user=vaughan
[2011-05-16 18:59:57]
885*2^939154-1 is not prime.  Res64: A0D7DBAE8C12F5D9  Time : 1196.0 sec.
user=vaughan
[2011-05-16 19:01:07]
971*2^939154-1 is not prime.  Res64: E743C5AE5E59CC7D  Time : 1244.0 sec.
user=vaughan
[2011-05-16 19:09:06]
823*2^939155-1 is not prime.  Res64: 107C0BC4C4839494  Time : 1239.0 sec.
user=vaughan
[2011-05-16 19:11:27]
825*2^939155-1 is not prime.  Res64: EA754D6D2C4A3B09  Time : 1237.0 sec.
user=vaughan
[2011-05-16 19:14:49]
963*2^939155-1 is not prime.  Res64: 1D24CCEF18FA08AC  Time : 1400.0 sec.
user=vaughan
[2011-05-16 19:16:43]
825*2^939156-1 is not prime.  Res64: E4F7A56340B75518  Time : 1492.0 sec.
user=vaughan
[2011-05-16 19:20:03]
817*2^939157-1 is not prime.  Res64: CA7E43E1ECD97A72  Time : 1206.0 sec.
user=vaughan
[2011-05-16 19:20:23]
873*2^939156-1 is not prime.  Res64: 4CEDE878AC6B47F3  Time : 1490.0 sec.
user=vaughan
[2011-05-16 19:21:35]
885*2^939157-1 is not prime.  Res64: 8EAE834F27077A67  Time : 1229.0 sec.
user=vaughan
[2011-05-16 19:27:06]
927*2^939156-1 is not prime.  Res64: 7C6F9DAF046541FB  Time : 1668.0 sec.
user=vaughan
[2011-05-16 19:29:32]
919*2^939157-1 is not prime.  Res64: B4D793D6506F248A  Time : 1226.0 sec.
user=vaughan
[2011-05-16 19:32:01]
939*2^939157-1 is not prime.  Res64: 2560E8B240E4AE55  Time : 1234.0 sec.
user=vaughan
[2011-05-16 19:38:38]
979*2^939157-1 is not prime.  Res64: DD0FB5F7590E21A3  Time : 1429.0 sec.
user=vaughan
[2011-05-16 19:39:49]
945*2^939158-1 is not prime.  Res64: 9BA34779DFFB598A  Time : 1186.0 sec.
user=vaughan
[2011-05-16 19:42:06]
897*2^939158-1 is not prime.  Res64: A65AC403218E040C  Time : 1523.0 sec.
user=vaughan
[2011-05-16 19:42:08]
995*2^939158-1 is not prime.  Res64: 6435B48515601E5C  Time : 1233.0 sec.
user=vaughan
[2011-05-16 19:45:55]
957*2^939158-1 is not prime.  Res64: D306C48E9909B924  Time : 1533.0 sec.
user=vaughan
[2011-05-16 19:50:01]
831*2^939159-1 is not prime.  Res64: 7922E9BAE81CAD48  Time : 1229.0 sec.
user=vaughan
[2011-05-16 19:52:35]
879*2^939159-1 is not prime.  Res64: F36C5D3533C37F55  Time : 1234.0 sec.
user=vaughan
[2011-05-16 19:56:14]
829*2^939159-1 is not prime.  Res64: 059FD9E35404B26C  Time : 1748.0 sec.
user=vaughan
[2011-05-16 19:59:36]
813*2^939160-1 is not prime.  Res64: 41A632CEB5208A02  Time : 1187.0 sec.
user=vaughan
[2011-05-16 20:02:40]
855*2^939160-1 is not prime.  Res64: 0EA996EB0BD13FAB  Time : 1233.0 sec.
user=vaughan
[2011-05-16 20:03:06]
803*2^939160-1 is not prime.  Res64: 33D7C22770FBB730  Time : 1469.0 sec.
user=vaughan
[2011-05-16 20:07:58]
819*2^939160-1 is not prime.  Res64: 35F46D7E6B770EF3  Time : 1552.0 sec.
user=vaughan
[2011-05-16 20:10:29]
867*2^939161-1 is not prime.  Res64: B74AB155A8E015A3  Time : 1228.0 sec.
user=vaughan
[2011-05-16 20:11:46]
855*2^939161-1 is not prime.  Res64: E1A7D25C03396A88  Time : 1551.0 sec.
user=vaughan
[2011-05-16 20:13:08]
925*2^939161-1 is not prime.  Res64: D98457F873CE9D5B  Time : 1233.0 sec.
user=vaughan
[2011-05-16 20:19:40]
967*2^939161-1 is not prime.  Res64: FC2342321DBA0E22  Time : 1204.0 sec.
user=vaughan
[2011-05-16 20:23:04]
807*2^939162-1 is not prime.  Res64: 289ACDE935146AA2  Time : 1225.0 sec.
user=vaughan
[2011-05-16 20:25:27]
939*2^939161-1 is not prime.  Res64: 17332B030D9FE66E  Time : 1753.0 sec.
user=vaughan
[2011-05-16 20:27:26]
837*2^939162-1 is not prime.  Res64: 716A9BC740C8C5F7  Time : 1460.0 sec.
user=vaughan
[2011-05-16 20:31:02]
921*2^939162-1 is not prime.  Res64: C279DA4ABDCE5A1A  Time : 1234.0 sec.
user=vaughan
[2011-05-16 20:33:35]
885*2^939163-1 is not prime.  Res64: C2693758976446E8  Time : 1227.0 sec.
user=vaughan
[2011-05-16 20:33:50]
917*2^939162-1 is not prime.  Res64: C5D523B6AF687282  Time : 1552.0 sec.
user=vaughan
[2011-05-16 20:37:35]
813*2^939163-1 is not prime.  Res64: ACD1D678C46AE8B0  Time : 1549.0 sec.
user=vaughan
[2011-05-16 20:39:27]
919*2^939163-1 is not prime.  Res64: 47C4DF20F7245403  Time : 1188.0 sec.
user=vaughan
[2011-05-16 20:43:37]
855*2^939164-1 is not prime.  Res64: 499F64159B482963  Time : 1233.0 sec.
user=vaughan
[2011-05-16 20:51:28]
959*2^939164-1 is not prime.  Res64: 2A1AA93A4E292C0E  Time : 1226.0 sec.
user=vaughan
[2011-05-16 20:51:39]
915*2^939164-1 is not prime.  Res64: 109371B5D690DB88  Time : 1454.0 sec.
user=vaughan
[2011-05-16 20:54:10]
889*2^939165-1 is not prime.  Res64: 0ADAA0F8922D61C3  Time : 1235.0 sec.
user=vaughan
[2011-05-16 20:54:35]
893*2^939164-1 is not prime.  Res64: 8119BC419BA819C5  Time : 1748.0 sec.
user=vaughan
[2011-05-16 20:59:11]
999*2^939165-1 is not prime.  Res64: A63476CC6518CD4A  Time : 1185.0 sec.
user=vaughan
[2011-05-16 20:59:44]
949*2^939165-1 is not prime.  Res64: 0514895286D2C63C  Time : 1554.0 sec.
user=ototero
[2011-05-16 21:03:06]
937*2^939141-1 is not prime.  Res64: E915C3DA8832E1E4  Time : 15026.0 sec.
user=ototero
[2011-05-16 21:03:06]
825*2^939142-1 is not prime.  Res64: CA82EDD8E7B3C5AA  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:06]
867*2^939142-1 is not prime.  Res64: ED70A04493A33355  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:06]
923*2^939142-1 is not prime.  Res64: 620996143917AF97  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:07]
951*2^939142-1 is not prime.  Res64: 3817CD91EE3DE169  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:07]
987*2^939142-1 is not prime.  Res64: EA781329AC8E6C20  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:07]
805*2^939143-1 is not prime.  Res64: 3C528BBC65A43602  Time : 15025.0 sec.
user=ototero
[2011-05-16 21:03:07]
879*2^939143-1 is not prime.  Res64: 8DCD2E5039CEAC90  Time : 15024.0 sec.
user=ototero
[2011-05-16 21:03:07]
885*2^939143-1 is not prime.  Res64: 1CC3E2421DE033E4  Time : 15024.0 sec.
user=ototero
[2011-05-16 21:03:07]
955*2^939143-1 is not prime.  Res64: 31F024D16324EBC0  Time : 15024.0 sec.
user=vaughan
[2011-05-16 21:03:23]
997*2^939165-1 is not prime.  Res64: 3D2FCA7F39DB360C  Time : 1549.0 sec.
user=vaughan
[2011-05-16 21:04:11]
933*2^939166-1 is not prime.  Res64: 55F99F616EEE1EE6  Time : 1234.0 sec.
user=vaughan
[2011-05-16 21:11:53]
941*2^939166-1 is not prime.  Res64: F688E5FB9B5070F1  Time : 1225.0 sec.
user=vaughan
[2011-05-16 21:14:44]
947*2^939166-1 is not prime.  Res64: D700A876D47FF6DF  Time : 1234.0 sec.
user=vaughan
[2011-05-16 21:15:57]
945*2^939166-1 is not prime.  Res64: 0F59C9D1AA4E3220  Time : 1458.0 sec.
user=vaughan
[2011-05-16 21:18:57]
823*2^939167-1 is not prime.  Res64: 6CCBB5B40A9EF2FC  Time : 1186.0 sec.
user=vaughan
[2011-05-16 21:23:52]
975*2^939166-1 is not prime.  Res64: 877CD01C8601379C  Time : 1758.0 sec.
user=vaughan
[2011-05-16 21:24:43]
879*2^939171-1 is not prime.  Res64: 0E37057795AEE3A1  Time : 1232.0 sec.
user=vaughan
[2011-05-16 21:25:39]
825*2^939167-1 is not prime.  Res64: 6464DCFECB261036  Time : 1555.0 sec.
user=vaughan
[2011-05-16 21:29:17]
835*2^939171-1 is not prime.  Res64: 93C430724D7B6674  Time : 1554.0 sec.
user=vaughan
[2011-05-16 21:32:17]
825*2^939172-1 is not prime.  Res64: 65E215F3E04A01AD  Time : 1224.0 sec.
user=vaughan
[2011-05-16 21:35:09]
863*2^939172-1 is not prime.  Res64: 3B78A5B945F7400A  Time : 1225.0 sec.
user=vaughan
[2011-05-16 21:39:18]
903*2^939172-1 is not prime.  Res64: 44F3FAFBCD14E83A  Time : 1221.0 sec.
user=vaughan
[2011-05-16 21:40:13]
875*2^939172-1 is not prime.  Res64: C433836E3659C710  Time : 1456.0 sec.
user=vaughan
[2011-05-16 21:45:02]
965*2^939172-1 is not prime.  Res64: 99AD5F707BA45A70  Time : 1219.0 sec.
user=ototero
[2011-05-16 21:50:14]
853*2^939139-1 is not prime.  Res64: 622B867A9585CAA9  Time : 18095.0 sec.
user=ototero
[2011-05-16 21:50:14]
859*2^939139-1 is not prime.  Res64: 569A21D707C5DF71  Time : 18091.0 sec.
user=ototero
[2011-05-16 21:50:14]
909*2^939139-1 is not prime.  Res64: D0178180C2F55E40  Time : 18086.0 sec.
user=ototero
[2011-05-16 21:50:14]
813*2^939140-1 is not prime.  Res64: 09F37661C0D899A8  Time : 18084.0 sec.
user=ototero
[2011-05-16 21:50:14]
861*2^939141-1 is not prime.  Res64: 0EDCEA544BE11CAD  Time : 18078.0 sec.
user=vaughan
[2011-05-16 21:51:34]
987*2^939172-1 is not prime.  Res64: 9273102DFA9B280E  Time : 1555.0 sec.
user=vaughan
[2011-05-16 21:52:34]
861*2^939173-1 is not prime.  Res64: 9452E0D116AD0E46  Time : 1218.0 sec.
user=vaughan
[2011-05-16 21:53:03]
929*2^939172-1 is not prime.  Res64: 87141A1F558F7022  Time : 1752.0 sec.
user=vaughan
[2011-05-16 21:55:12]
859*2^939173-1 is not prime.  Res64: 8EA8D1FC86ADA22D  Time : 1556.0 sec.
user=vaughan
[2011-05-16 21:55:25]
939*2^939173-1 is not prime.  Res64: C5A459E46CE80199  Time : 1216.0 sec.
user=vaughan
[2011-05-16 21:59:57]
951*2^939173-1 is not prime.  Res64: 186CE8DC1F185CE9  Time : 1239.0 sec.
user=vaughan
[2011-05-16 22:04:39]
957*2^939173-1 is not prime.  Res64: 721E4D14C7440289  Time : 1466.0 sec.
user=vaughan
[2011-05-16 22:05:19]
863*2^939174-1 is not prime.  Res64: F660349E29BD86A7  Time : 1217.0 sec.
user=vaughan
[2011-05-16 22:12:54]
829*2^939175-1 is not prime.  Res64: E81986301F10CB1A  Time : 1220.0 sec.
user=vaughan
[2011-05-16 22:15:42]
845*2^939176-1 is not prime.  Res64: 4A575623DD95833E  Time : 1218.0 sec.
user=vaughan
[2011-05-16 22:17:32]
805*2^939175-1 is not prime.  Res64: E1D6FDE8C0F23973  Time : 1559.0 sec.
user=vaughan
[2011-05-16 22:20:36]
879*2^939176-1 is not prime.  Res64: 318A8557C8F75536  Time : 1239.0 sec.
user=vaughan
[2011-05-16 22:21:01]
939*2^939175-1 is not prime.  Res64: 1A69D3FACD8B8A79  Time : 1549.0 sec.
user=vaughan
[2011-05-16 22:22:07]
855*2^939175-1 is not prime.  Res64: 0C2D906AD61B6151  Time : 1745.0 sec.
user=vaughan
[2011-05-16 22:25:38]
935*2^939176-1 is not prime.  Res64: C8726B9829AD2252  Time : 1220.0 sec.
user=vaughan
[2011-05-16 22:29:06]
903*2^939176-1 is not prime.  Res64: AB95DC6574EAF40A  Time : 1467.0 sec.
user=vaughan
[2011-05-16 22:33:18]
817*2^939177-1 is not prime.  Res64: 50F16E8DB9969CD3  Time : 1225.0 sec.
user=vaughan
[2011-05-16 22:36:12]
837*2^939177-1 is not prime.  Res64: 7EC124AFC8115629  Time : 1231.0 sec.
user=vaughan
[2011-05-16 22:40:31]
867*2^939177-1 is not prime.  Res64: 1B522627205C0F48  Time : 1195.0 sec.
user=vaughan
[2011-05-16 22:43:29]
849*2^939177-1 is not prime.  Res64: 690494276A54CEAF  Time : 1557.0 sec.
user=vaughan
[2011-05-16 22:46:15]
887*2^939178-1 is not prime.  Res64: 579553612B78268B  Time : 1238.0 sec.
user=vaughan
[2011-05-16 22:46:52]
909*2^939177-1 is not prime.  Res64: 153138C58B8C8D2D  Time : 1551.0 sec.
user=vaughan
[2011-05-16 22:51:29]
975*2^939177-1 is not prime.  Res64: 3F1C59F720F349FE  Time : 1762.0 sec.
user=vaughan
[2011-05-16 22:53:37]
811*2^939179-1 is not prime.  Res64: FB3A975D4127F898  Time : 1472.0 sec.
user=vaughan
[2011-05-16 22:53:45]
921*2^939179-1 is not prime.  Res64: 741AE8FAC61D0EA4  Time : 1228.0 sec.
user=vaughan
[2011-05-16 22:56:48]
909*2^939180-1 is not prime.  Res64: 7424B51067F9A4C2  Time : 1237.0 sec.
user=vaughan
[2011-05-16 23:00:17]
877*2^939181-1 is not prime.  Res64: 7CA66311E51400FC  Time : 1187.0 sec.
user=vaughan
[2011-05-16 23:06:47]
927*2^939181-1 is not prime.  Res64: AF9F21C4528D34C2  Time : 1233.0 sec.
user=vaughan
[2011-05-16 23:09:15]
889*2^939181-1 is not prime.  Res64: 676C61C7D3A6EFEC  Time : 1547.0 sec.
user=vaughan
[2011-05-16 23:12:34]
931*2^939181-1 is not prime.  Res64: 67B15761D4122F4F  Time : 1543.0 sec.
user=vaughan
[2011-05-16 23:14:10]
999*2^939181-1 is not prime.  Res64: 1974D3817B6A997B  Time : 1225.0 sec.
user=vaughan
[2011-05-16 23:17:21]
801*2^939182-1 is not prime.  Res64: 855646571C0AE5FB  Time : 1234.0 sec.
user=vaughan
[2011-05-16 23:18:03]
987*2^939181-1 is not prime.  Res64: B0ACCC51EEBF46D7  Time : 1467.0 sec.
user=vaughan
[2011-05-16 23:20:02]
813*2^939182-1 is not prime.  Res64: 5C34308B1B078EA1  Time : 1185.0 sec.
user=vaughan
[2011-05-16 23:20:47]
961*2^939181-1 is not prime.  Res64: 117B0DE03F28E489  Time : 1759.0 sec.
user=vaughan
[2011-05-16 23:27:18]
827*2^939182-1 is not prime.  Res64: 93CE488938B49C4F  Time : 1231.0 sec.
user=vaughan
[2011-05-16 23:34:35]
953*2^939182-1 is not prime.  Res64: 0A45E8F2D29C42D7  Time : 1225.0 sec.
user=vaughan
[2011-05-16 23:35:08]
911*2^939182-1 is not prime.  Res64: 8E7F9E6537AA3C1A  Time : 1553.0 sec.
user=vaughan
[2011-05-16 23:37:50]
871*2^939183-1 is not prime.  Res64: 758E80BC5E1442A4  Time : 1229.0 sec.
user=vaughan
[2011-05-16 23:38:17]
951*2^939182-1 is not prime.  Res64: 486AE947133BFA96  Time : 1544.0 sec.
user=vaughan
[2011-05-16 23:40:08]
961*2^939183-1 is not prime.  Res64: C0C5E978FE8C447C  Time : 1206.0 sec.
user=vaughan
[2011-05-16 23:42:34]
951*2^939183-1 is not prime.  Res64: 8F2E4FB1143D53FB  Time : 1471.0 sec.
user=vaughan
[2011-05-16 23:47:48]
849*2^939184-1 is not prime.  Res64: 751E187B4EBAFAA2  Time : 1230.0 sec.
user=vaughan
[2011-05-16 23:50:16]
803*2^939184-1 is not prime.  Res64: 9C7E1AC74AC49B20  Time : 1769.0 sec.
user=vaughan
[2011-05-16 23:55:00]
869*2^939184-1 is not prime.  Res64: FD0ACC935E41BDD4  Time : 1226.0 sec.
user=vaughan
[2011-05-16 23:58:25]
987*2^939185-1 is not prime.  Res64: 70E3B9556C939A02  Time : 1235.0 sec.
user=vaughan
[2011-05-16 23:59:54]
861*2^939186-1 is not prime.  Res64: 14476D0BD7E34CA3  Time : 1187.0 sec.
user=vaughan
[2011-05-17 00:00:53]
831*2^939185-1 is not prime.  Res64: DEA00D3AF0FCB277  Time : 1546.0 sec.