user=vaughan
[2011-05-06 00:05:00]
843*2^937804-1 is not prime.  Res64: DFE57D34AD4F566D  Time : 3538.0 sec.
user=vaughan
[2011-05-06 00:05:04]
993*2^937804-1 is not prime.  Res64: EA0223F479E9BCC0  Time : 3537.0 sec.
user=vaughan
[2011-05-06 00:11:12]
807*2^937806-1 is not prime.  Res64: 33A334E70763E785  Time : 3040.0 sec.
user=vaughan
[2011-05-06 00:17:59]
867*2^937806-1 is not prime.  Res64: D73BB8882D8E6607  Time : 2656.0 sec.
user=vaughan
[2011-05-06 00:18:41]
893*2^937806-1 is not prime.  Res64: 1B012525D4D49F28  Time : 1466.0 sec.
user=vaughan
[2011-05-06 00:24:34]
903*2^937806-1 is not prime.  Res64: BA5198E37888CFFD  Time : 1813.0 sec.
user=vaughan
[2011-05-06 00:27:21]
983*2^937806-1 is not prime.  Res64: 430D1BA00B0D4C4A  Time : 1818.0 sec.
user=vaughan
[2011-05-06 00:35:19]
887*2^937806-1 is not prime.  Res64: 291E85A8303B4330  Time : 2587.0 sec.
user=vaughan
[2011-05-06 00:41:05]
993*2^937807-1 is not prime.  Res64: EA70C98603DDF276  Time : 1793.0 sec.
user=vaughan
[2011-05-06 00:42:24]
833*2^937808-1 is not prime.  Res64: 9E34B9E2C9C71102  Time : 1423.0 sec.
user=vaughan
[2011-05-06 00:52:44]
963*2^937808-1 is not prime.  Res64: ABE3ED4B3C320890  Time : 1690.0 sec.
user=vaughan
[2011-05-06 00:55:38]
995*2^937808-1 is not prime.  Res64: BC88CE13555B6135  Time : 1697.0 sec.
user=vaughan
[2011-05-06 00:57:53]
993*2^937806-1 is not prime.  Res64: 72A8DEBBF80C422C  Time : 3173.0 sec.
user=vaughan
[2011-05-06 00:57:56]
975*2^937807-1 is not prime.  Res64: 8BEB29D20CBF47CF  Time : 3172.0 sec.
user=vaughan
[2011-05-06 00:59:11]
819*2^937808-1 is not prime.  Res64: CEEF23BEAB1EE967  Time : 2473.0 sec.
user=vaughan
[2011-05-06 01:06:26]
981*2^937810-1 is not prime.  Res64: EFDBD0A5716FCAC0  Time : 1442.0 sec.
user=vaughan
[2011-05-06 01:10:09]
975*2^937810-1 is not prime.  Res64: AB6FE95FB3224CB1  Time : 1744.0 sec.
user=vaughan
[2011-05-06 01:16:32]
825*2^937810-1 is not prime.  Res64: 64B48FBF6137DA4C  Time : 2473.0 sec.
user=vaughan
[2011-05-06 01:23:20]
885*2^937811-1 is not prime.  Res64: 23BE634346A73A26  Time : 1836.0 sec.
user=vaughan
[2011-05-06 01:26:01]
909*2^937811-1 is not prime.  Res64: 7FF6B3161192C48A  Time : 1823.0 sec.
user=vaughan
[2011-05-06 01:33:31]
915*2^937812-1 is not prime.  Res64: 832218D5126047C3  Time : 1625.0 sec.
user=vaughan
[2011-05-06 01:41:39]
929*2^937812-1 is not prime.  Res64: 1D5ECA537048F7A1  Time : 1891.0 sec.
user=vaughan
[2011-05-06 01:43:36]
875*2^937812-1 is not prime.  Res64: 5418842062C3238E  Time : 2666.0 sec.
user=vaughan
[2011-05-06 01:45:00]
819*2^937812-1 is not prime.  Res64: B2D62E2C04338BE0  Time : 2825.0 sec.
user=vaughan
[2011-05-06 01:45:00]
939*2^937811-1 is not prime.  Res64: 81C50B1283BCA65E  Time : 2828.0 sec.
user=vaughan
[2011-05-06 01:52:39]
965*2^937812-1 is not prime.  Res64: 4C757ECFC3E647E6  Time : 2167.0 sec.
user=vaughan
[2011-05-06 01:53:10]
977*2^937812-1 is not prime.  Res64: 7DA4712EC749B91F  Time : 1791.0 sec.
user=vaughan
[2011-05-06 01:57:05]
897*2^937813-1 is not prime.  Res64: 6093165C5B151104  Time : 1865.0 sec.
user=vaughan
[2011-05-06 02:02:17]
995*2^937814-1 is not prime.  Res64: 2B09CF1AE5DE8226  Time : 1726.0 sec.
user=vaughan
[2011-05-06 02:03:35]
999*2^937813-1 is not prime.  Res64: 20C54716918C6D5C  Time : 1921.0 sec.
user=vaughan
[2011-05-06 02:04:52]
873*2^937815-1 is not prime.  Res64: EE82F20A88AEECE1  Time : 1277.0 sec.
user=vaughan
[2011-05-06 02:06:24]
961*2^937815-1 is not prime.  Res64: C92C96B4142271A8  Time : 1285.0 sec.
user=vaughan
[2011-05-06 02:06:25]
909*2^937815-1 is not prime.  Res64: 7227A02B4CC53F14  Time : 1286.0 sec.
user=vaughan
[2011-05-06 02:07:58]
805*2^937815-1 is not prime.  Res64: 7EF4B091CD4D5891  Time : 1580.0 sec.
user=vaughan
[2011-05-06 02:13:47]
963*2^937815-1 is not prime.  Res64: CD9F008E0EFD328B  Time : 1268.0 sec.
user=vaughan
[2011-05-06 02:19:21]
815*2^937814-1 is not prime.  Res64: EFB01561FE3D25B6  Time : 2867.0 sec.
user=vaughan
[2011-05-06 02:20:06]
927*2^937816-1 is not prime.  Res64: DB2CA17AE65613CA  Time : 1616.0 sec.
user=vaughan
[2011-05-06 02:25:55]
801*2^937818-1 is not prime.  Res64: 80350D398A84F83D  Time : 1263.0 sec.
user=vaughan
[2011-05-06 02:25:59]
957*2^937816-1 is not prime.  Res64: 0C1CBCAC51C88B55  Time : 1735.0 sec.
user=vaughan
[2011-05-06 02:27:45]
867*2^937818-1 is not prime.  Res64: D86A79C246165B76  Time : 1281.0 sec.
user=vaughan
[2011-05-06 02:27:46]
1001*2^937818-1 is not prime.  Res64: 00E0AB43358939E4  Time : 1281.0 sec.
user=vaughan
[2011-05-06 02:31:09]
989*2^937816-1 is not prime.  Res64: 034E365AC5E32056  Time : 1733.0 sec.
user=vaughan
[2011-05-06 02:34:52]
915*2^937820-1 is not prime.  Res64: 0230A00FB5165882  Time : 1266.0 sec.
user=vaughan
[2011-05-06 02:35:03]
999*2^937819-1 is not prime.  Res64: B5A2140996166E57  Time : 1625.0 sec.
user=vaughan
[2011-05-06 02:46:43]
987*2^937820-1 is not prime.  Res64: 9EC566FF07551603  Time : 1597.0 sec.
user=vaughan
[2011-05-06 02:46:58]
995*2^937820-1 is not prime.  Res64: 1D9483BAA3F37865  Time : 1263.0 sec.
user=vaughan
[2011-05-06 02:49:04]
817*2^937821-1 is not prime.  Res64: 470641D0317797CA  Time : 1279.0 sec.
user=vaughan
[2011-05-06 02:49:07]
871*2^937821-1 is not prime.  Res64: 636D8452BA3797D3  Time : 1281.0 sec.
user=vaughan
[2011-05-06 02:55:49]
999*2^937820-1 is not prime.  Res64: 00DB7CD0D8CD7FBA  Time : 1790.0 sec.
user=vaughan
[2011-05-06 02:55:55]
827*2^937822-1 is not prime.  Res64: F31F587702D78469  Time : 1264.0 sec.
user=vaughan
[2011-05-06 03:01:16]
901*2^937821-1 is not prime.  Res64: 62467607C6FD8607  Time : 1807.0 sec.
user=vaughan
[2011-05-06 03:01:17]
831*2^937822-1 is not prime.  Res64: F76579A915DDCDAD  Time : 1575.0 sec.
user=vaughan
[2011-05-06 03:08:00]
885*2^937822-1 is not prime.  Res64: 9E748CAA8A329712  Time : 1262.0 sec.
user=vaughan
[2011-05-06 03:10:25]
957*2^937822-1 is not prime.  Res64: 3EB44DFF71385A5A  Time : 1281.0 sec.
user=vaughan
[2011-05-06 03:10:30]
939*2^937823-1 is not prime.  Res64: 3273B4B86E73B46D  Time : 1283.0 sec.
user=vaughan
[2011-05-06 03:13:01]
843*2^937822-1 is not prime.  Res64: 7A65ADD6E3C86066  Time : 1578.0 sec.
user=vaughan
[2011-05-06 03:17:00]
887*2^937824-1 is not prime.  Res64: 811978E27657A83A  Time : 1265.0 sec.
user=vaughan
[2011-05-06 03:25:42]
973*2^937823-1 is not prime.  Res64: 47AF1AE370769BFB  Time : 1794.0 sec.
user=vaughan
[2011-05-06 03:28:19]
979*2^937825-1 is not prime.  Res64: B1FD7CDC53A0AE44  Time : 1622.0 sec.
user=vaughan
[2011-05-06 03:29:02]
859*2^937827-1 is not prime.  Res64: F420475476AD76D1  Time : 1263.0 sec.
user=vaughan
[2011-05-06 03:30:55]
877*2^937825-1 is not prime.  Res64: 7F072E7DA322F250  Time : 1779.0 sec.
user=vaughan
[2011-05-06 03:31:44]
901*2^937827-1 is not prime.  Res64: CDB131F26936F672  Time : 1279.0 sec.
user=vaughan
[2011-05-06 03:31:51]
973*2^937827-1 is not prime.  Res64: BF5A0C0EA9623F80  Time : 1281.0 sec.
user=vaughan
[2011-05-06 03:38:03]
839*2^937828-1 is not prime.  Res64: CF2DFC37C81DBDB9  Time : 1263.0 sec.
user=vaughan
[2011-05-06 03:39:28]
979*2^937827-1 is not prime.  Res64: 3EC41F54B2F0B929  Time : 1587.0 sec.
user=vaughan
[2011-05-06 03:50:04]
855*2^937829-1 is not prime.  Res64: C12F79F52D72EEFC  Time : 1263.0 sec.
user=vaughan
[2011-05-06 03:53:05]
969*2^937829-1 is not prime.  Res64: 0B113039F1EB7A90  Time : 1281.0 sec.
user=vaughan
[2011-05-06 03:53:12]
987*2^937829-1 is not prime.  Res64: 7DB166D70B60198B  Time : 1281.0 sec.
user=vaughan
[2011-05-06 03:54:45]
837*2^937829-1 is not prime.  Res64: 5BCA1103D590647E  Time : 1587.0 sec.
user=vaughan
[2011-05-06 03:55:48]
875*2^937828-1 is not prime.  Res64: 91E04450B04010F7  Time : 1806.0 sec.
user=vaughan
[2011-05-06 03:59:10]
913*2^937831-1 is not prime.  Res64: 3BF45FF77D69F2C6  Time : 1267.0 sec.
user=vaughan
[2011-05-06 04:00:57]
939*2^937829-1 is not prime.  Res64: 692E2D171E2229AE  Time : 1803.0 sec.
user=vaughan
[2011-05-06 04:05:21]
803*2^937832-1 is not prime.  Res64: AC1559834096A893  Time : 1553.0 sec.
user=vaughan
[2011-05-06 04:11:08]
959*2^937832-1 is not prime.  Res64: 265D1089C89F0A55  Time : 1264.0 sec.
user=vaughan
[2011-05-06 04:14:29]
829*2^937833-1 is not prime.  Res64: AEC41E9F1E15C3CB  Time : 1285.0 sec.
user=vaughan
[2011-05-06 04:14:33]
847*2^937833-1 is not prime.  Res64: 73D064385A68F2C7  Time : 1281.0 sec.
user=vaughan
[2011-05-06 04:20:13]
923*2^937834-1 is not prime.  Res64: 9E94081874B35088  Time : 1263.0 sec.
user=vaughan
[2011-05-06 04:20:30]
955*2^937833-1 is not prime.  Res64: 310020F0785BB670  Time : 1545.0 sec.
user=vaughan
[2011-05-06 04:26:25]
985*2^937833-1 is not prime.  Res64: 2848E639251DA7BC  Time : 1838.0 sec.
user=vaughan
[2011-05-06 04:31:22]
861*2^937835-1 is not prime.  Res64: 6B142261E86CD5BA  Time : 1825.0 sec.
user=vaughan
[2011-05-06 04:31:34]
963*2^937835-1 is not prime.  Res64: 9B0E888FE8BE9213  Time : 1573.0 sec.
user=vaughan
[2011-05-06 04:32:10]
905*2^937836-1 is not prime.  Res64: 31B61802A1024BC7  Time : 1262.0 sec.
user=vaughan
[2011-05-06 04:35:53]
999*2^937836-1 is not prime.  Res64: 2C2D510F44B49285  Time : 1284.0 sec.
user=vaughan
[2011-05-06 04:35:55]
817*2^937837-1 is not prime.  Res64: 6D18F3824D8425C8  Time : 1282.0 sec.
user=vaughan
[2011-05-06 04:41:18]
847*2^937837-1 is not prime.  Res64: 2244AF97539EC833  Time : 1265.0 sec.
user=vaughan
[2011-05-06 04:46:13]
955*2^937837-1 is not prime.  Res64: 9C5098EFB500C7A8  Time : 1544.0 sec.
user=vaughan
[2011-05-06 04:53:12]
935*2^937838-1 is not prime.  Res64: DAB5B586A263EEFC  Time : 1262.0 sec.
user=vaughan
[2011-05-06 04:56:41]
975*2^937837-1 is not prime.  Res64: 0920FB9E61A9421F  Time : 1817.0 sec.
user=vaughan
[2011-05-06 04:57:13]
957*2^937838-1 is not prime.  Res64: A9D9EE1F212E3746  Time : 1280.0 sec.
user=vaughan
[2011-05-06 04:57:19]
861*2^937839-1 is not prime.  Res64: BF6D45D7D2D5593D  Time : 1285.0 sec.
user=vaughan
[2011-05-06 04:57:30]
927*2^937838-1 is not prime.  Res64: EBF85C7149A4C6A9  Time : 1556.0 sec.
user=vaughan
[2011-05-06 05:01:54]
923*2^937838-1 is not prime.  Res64: 94F78CD49215ACE9  Time : 1832.0 sec.
user=vaughan
[2011-05-06 05:02:19]
873*2^937839-1 is not prime.  Res64: 9554E0F611FCFE48  Time : 1262.0 sec.
user=vaughan
[2011-05-06 05:12:10]
961*2^937839-1 is not prime.  Res64: C7ACF77BF060DEF8  Time : 1557.0 sec.
user=vaughan
[2011-05-06 05:14:15]
975*2^937839-1 is not prime.  Res64: 466256B3801E7429  Time : 1263.0 sec.
user=vaughan
[2011-05-06 05:18:37]
863*2^937840-1 is not prime.  Res64: BA3064AF243A8622  Time : 1285.0 sec.
user=vaughan
[2011-05-06 05:18:39]
909*2^937840-1 is not prime.  Res64: A78E5B99D86B0290  Time : 1280.0 sec.
user=vaughan
[2011-05-06 05:23:21]
965*2^937840-1 is not prime.  Res64: 41874882A7264D77  Time : 1262.0 sec.
user=vaughan
[2011-05-06 05:23:25]
927*2^937840-1 is not prime.  Res64: AF13D6D453BBEBA1  Time : 1556.0 sec.
user=vaughan
[2011-05-06 05:26:59]
979*2^937839-1 is not prime.  Res64: 7BBA149A8B8DFD1C  Time : 1818.0 sec.
user=vaughan
[2011-05-06 05:31:56]
939*2^937840-1 is not prime.  Res64: 71B4B237E93E2456  Time : 1803.0 sec.
user=vaughan
[2011-05-06 05:35:18]
901*2^937841-1 is not prime.  Res64: F0968D0F9E090DC5  Time : 1264.0 sec.
user=vaughan
[2011-05-06 05:38:16]
811*2^937841-1 is not prime.  Res64: E745C92BD8B572BF  Time : 1567.0 sec.
user=vaughan
[2011-05-06 05:39:58]
987*2^937841-1 is not prime.  Res64: D76A74FC044004A4  Time : 1281.0 sec.
user=vaughan
[2011-05-06 05:40:03]
997*2^937841-1 is not prime.  Res64: 05CB8E607FB7481E  Time : 1284.0 sec.
user=vaughan
[2011-05-06 05:44:25]
867*2^937842-1 is not prime.  Res64: FF8B455F4C9E8042  Time : 1264.0 sec.
user=vaughan
[2011-05-06 05:49:37]
901*2^937843-1 is not prime.  Res64: 18F8A3FA2646555F  Time : 1572.0 sec.
user=vaughan
[2011-05-06 05:56:19]
875*2^937844-1 is not prime.  Res64: 9FD8F2267C15B823  Time : 1262.0 sec.
user=vaughan
[2011-05-06 05:56:52]
943*2^937843-1 is not prime.  Res64: 6A58CCC594DC6A45  Time : 1793.0 sec.
user=vaughan
[2011-05-06 06:01:20]
983*2^937844-1 is not prime.  Res64: 58DE146EB799CEE2  Time : 1282.0 sec.
user=vaughan
[2011-05-06 06:01:27]
805*2^937845-1 is not prime.  Res64: 9CF7AC39914E8D18  Time : 1284.0 sec.
user=vaughan
[2011-05-06 06:01:43]
819*2^937844-1 is not prime.  Res64: BC184B2F3434DFF6  Time : 1788.0 sec.
user=vaughan
[2011-05-06 06:04:17]
923*2^937844-1 is not prime.  Res64: 664FA9F3F7F02B9F  Time : 1561.0 sec.
user=vaughan
[2011-05-06 06:05:28]
979*2^937845-1 is not prime.  Res64: 0725F0E5CC5CBF68  Time : 1263.0 sec.
user=vaughan
[2011-05-06 06:15:41]
855*2^937846-1 is not prime.  Res64: ACC4A8F89F5C6656  Time : 1564.0 sec.
user=vaughan
[2011-05-06 06:17:22]
873*2^937846-1 is not prime.  Res64: 55A664C8CAB79D46  Time : 1263.0 sec.
user=vaughan
[2011-05-06 06:22:41]
957*2^937846-1 is not prime.  Res64: 66D7BC812C06FC7A  Time : 1282.0 sec.
user=vaughan
[2011-05-06 06:22:49]
1001*2^937846-1 is not prime.  Res64: E7B0D044A3F5644B  Time : 1283.0 sec.
user=vaughan
[2011-05-06 06:26:32]
887*2^937848-1 is not prime.  Res64: 9D68F16A4FE0FF9E  Time : 1264.0 sec.
user=vaughan
[2011-05-06 06:26:38]
945*2^937846-1 is not prime.  Res64: B4A5ABC8BB9C0BBA  Time : 1787.0 sec.
user=vaughan
[2011-05-06 06:31:05]
859*2^937847-1 is not prime.  Res64: 03FF11F8BCF0237C  Time : 1609.0 sec.
user=vaughan
[2011-05-06 06:31:26]
825*2^937847-1 is not prime.  Res64: 27EEB8DBA4232500  Time : 1783.0 sec.
user=vaughan
[2011-05-06 06:38:41]
975*2^937848-1 is not prime.  Res64: 5590994AC1F44937  Time : 1279.0 sec.
user=vaughan
[2011-05-06 06:42:15]
927*2^937848-1 is not prime.  Res64: AE03CDA4724DB06E  Time : 1594.0 sec.
user=vaughan
[2011-05-06 06:44:12]
847*2^937849-1 is not prime.  Res64: ACBB01075FCC608B  Time : 1292.0 sec.
user=vaughan
[2011-05-06 06:44:23]
997*2^937849-1 is not prime.  Res64: 16B9EDC4B729A1EA  Time : 1294.0 sec.
user=vaughan
[2011-05-06 06:47:48]
845*2^937850-1 is not prime.  Res64: 515068D5B7CB1075  Time : 1277.0 sec.
user=vaughan
[2011-05-06 06:56:14]
921*2^937850-1 is not prime.  Res64: 85F444B374383356  Time : 1777.0 sec.
user=vaughan
[2011-05-06 06:57:27]
951*2^937850-1 is not prime.  Res64: 1351E378456C86C8  Time : 1582.0 sec.
user=vaughan
[2011-05-06 06:59:46]
835*2^937851-1 is not prime.  Res64: D15DB19304424184  Time : 1265.0 sec.
user=vaughan
[2011-05-06 07:01:30]
977*2^937850-1 is not prime.  Res64: 0A8D6B625AD1E0F2  Time : 1805.0 sec.
user=vaughan
[2011-05-06 07:05:31]
931*2^937851-1 is not prime.  Res64: E9948347041247BD  Time : 1280.0 sec.
user=vaughan
[2011-05-06 07:05:44]
843*2^937852-1 is not prime.  Res64: FBCF4C869F256966  Time : 1281.0 sec.
user=vaughan
[2011-05-06 07:08:22]
913*2^937851-1 is not prime.  Res64: DD6ACEC935BB0358  Time : 1567.0 sec.
user=vaughan
[2011-05-06 07:08:54]
875*2^937852-1 is not prime.  Res64: 2190BCEA2060A59B  Time : 1266.0 sec.
user=vaughan
[2011-05-06 07:20:48]
983*2^937852-1 is not prime.  Res64: 5F74349C0F016226  Time : 1262.0 sec.
user=vaughan
[2011-05-06 07:23:23]
933*2^937852-1 is not prime.  Res64: 58B994BFAD5B77CA  Time : 1556.0 sec.
user=vaughan
[2011-05-06 07:26:15]
887*2^937852-1 is not prime.  Res64: 7F360C1F9D683B57  Time : 1801.0 sec.
user=vaughan
[2011-05-06 07:26:53]
897*2^937853-1 is not prime.  Res64: 65DAEB7DFAC3E4CC  Time : 1282.0 sec.
user=vaughan
[2011-05-06 07:27:07]
901*2^937853-1 is not prime.  Res64: 5263B608F92256E5  Time : 1283.0 sec.
user=vaughan
[2011-05-06 07:29:58]
987*2^937853-1 is not prime.  Res64: 163DC10B547546FD  Time : 1264.0 sec.
user=vaughan
[2011-05-06 07:31:35]
829*2^937853-1 is not prime.  Res64: 1A25BF2C4CA91888  Time : 1805.0 sec.
user=vaughan
[2011-05-06 07:34:24]
927*2^937853-1 is not prime.  Res64: F55D6F567C6F2766  Time : 1562.0 sec.
user=vaughan
[2011-05-06 07:41:52]
991*2^937853-1 is not prime.  Res64: 33EB2EB743E05C51  Time : 1264.0 sec.
user=vaughan
[2011-05-06 07:48:14]
893*2^937854-1 is not prime.  Res64: A07EBBEF6104EFCF  Time : 1281.0 sec.
user=vaughan
[2011-05-06 07:48:33]
921*2^937854-1 is not prime.  Res64: F40E20E86127D97B  Time : 1286.0 sec.
user=vaughan
[2011-05-06 07:49:53]
815*2^937854-1 is not prime.  Res64: 9EA71CD6B3B29C15  Time : 1590.0 sec.
user=vaughan
[2011-05-06 07:51:02]
895*2^937855-1 is not prime.  Res64: 0DC9E06E33D7F3E1  Time : 1264.0 sec.
user=vaughan
[2011-05-06 07:56:10]
821*2^937854-1 is not prime.  Res64: 580FE8CB2D2B5070  Time : 1796.0 sec.
user=vaughan
[2011-05-06 08:00:55]
813*2^937856-1 is not prime.  Res64: FDB33AA375AFC786  Time : 1591.0 sec.
user=vaughan
[2011-05-06 08:01:35]
915*2^937855-1 is not prime.  Res64: 146008403772D6C4  Time : 1800.0 sec.
user=vaughan
[2011-05-06 08:02:59]
827*2^937856-1 is not prime.  Res64: B22E13CA0D7B39D4  Time : 1268.0 sec.
user=vaughan
[2011-05-06 08:09:34]
843*2^937856-1 is not prime.  Res64: CA67100CD8560B95  Time : 1281.0 sec.
user=vaughan
[2011-05-06 08:09:56]
983*2^937856-1 is not prime.  Res64: 2F8E51B618CE9A4C  Time : 1283.0 sec.
user=vaughan
[2011-05-06 08:12:07]
919*2^937857-1 is not prime.  Res64: DC8EC58E8003BCCA  Time : 1266.0 sec.
user=vaughan
[2011-05-06 08:16:42]
871*2^937857-1 is not prime.  Res64: 4E7D3DB0F20AA0A5  Time : 1610.0 sec.
user=vaughan
[2011-05-06 08:24:03]
915*2^937858-1 is not prime.  Res64: 06973AAD96644E2F  Time : 1265.0 sec.
user=vaughan
[2011-05-06 08:26:23]
937*2^937857-1 is not prime.  Res64: 4D2CC79AF31FB848  Time : 1813.0 sec.
user=vaughan
[2011-05-06 08:27:40]
833*2^937858-1 is not prime.  Res64: 81CA14701041CF18  Time : 1605.0 sec.
user=vaughan
[2011-05-06 08:30:56]
945*2^937858-1 is not prime.  Res64: ABC72C2F76A63BC7  Time : 1283.0 sec.
user=vaughan
[2011-05-06 08:31:18]
971*2^937858-1 is not prime.  Res64: 90CA608F38FF6CB6  Time : 1282.0 sec.
user=vaughan
[2011-05-06 08:31:58]
867*2^937858-1 is not prime.  Res64: F20904BBD5E58779  Time : 1823.0 sec.
user=vaughan
[2011-05-06 08:33:10]
841*2^937859-1 is not prime.  Res64: B3FDF8E46FD995D7  Time : 1264.0 sec.
user=vaughan
[2011-05-06 08:43:35]
885*2^937859-1 is not prime.  Res64: 5EA34A7FAD279654  Time : 1613.0 sec.
user=vaughan
[2011-05-06 08:45:06]
973*2^937859-1 is not prime.  Res64: 0246A3F0E5C28532  Time : 1263.0 sec.
user=vaughan
[2011-05-06 08:52:17]
895*2^937861-1 is not prime.  Res64: 9F8D5DE32F2AED6D  Time : 1282.0 sec.
user=vaughan
[2011-05-06 08:52:38]
951*2^937861-1 is not prime.  Res64: B56F899F49E32C1C  Time : 1281.0 sec.
user=vaughan
[2011-05-06 08:54:14]
911*2^937862-1 is not prime.  Res64: 56053125E5DBB6E4  Time : 1265.0 sec.
user=vaughan
[2011-05-06 08:54:29]
867*2^937861-1 is not prime.  Res64: C9FD03FFDDEC321C  Time : 1609.0 sec.
user=vaughan
[2011-05-06 08:56:48]
859*2^937861-1 is not prime.  Res64: F8691A03FE4D3867  Time : 1825.0 sec.
user=vaughan
[2011-05-06 09:02:24]
825*2^937862-1 is not prime.  Res64: C383A0CF9CDDAE8A  Time : 1827.0 sec.
user=vaughan
[2011-05-06 09:06:09]
957*2^937880-1 is not prime.  Res64: 32E5CBD45EE86662  Time : 1263.0 sec.
user=vaughan
[2011-05-06 09:10:18]
893*2^937880-1 is not prime.  Res64: 6538CEB42B4C99CD  Time : 1603.0 sec.
user=vaughan
[2011-05-06 09:13:40]
811*2^937881-1 is not prime.  Res64: FC0D274CF7904B16  Time : 1283.0 sec.
user=vaughan
[2011-05-06 09:13:57]
895*2^937881-1 is not prime.  Res64: 1F90C1EFEC8E68F5  Time : 1279.0 sec.
user=vaughan
[2011-05-06 09:15:20]
821*2^937882-1 is not prime.  Res64: 5FF1F424A0D009BA  Time : 1266.0 sec.
user=ototero
[2011-05-06 12:38:54]
925*2^937627-1 is not prime.  Res64: 86DBF43D8324A0A4  Time : 170919.0 sec.
user=ototero
[2011-05-06 12:38:54]
927*2^937628-1 is not prime.  Res64: A15D19EA611EEBAA  Time : 170919.0 sec.
user=ototero
[2011-05-06 12:38:54]
837*2^937629-1 is not prime.  Res64: 3875F70AABAEFD5C  Time : 170918.0 sec.
user=ototero
[2011-05-06 12:38:55]
847*2^937629-1 is not prime.  Res64: 9AC578E5D56EEC93  Time : 170919.0 sec.
user=ototero
[2011-05-06 12:38:55]
827*2^937630-1 is not prime.  Res64: 91DD49306EE3E6F8  Time : 170918.0 sec.
user=ototero
[2011-05-06 12:38:55]
885*2^937630-1 is not prime.  Res64: AB545F1B62198FEC  Time : 170918.0 sec.
user=ototero
[2011-05-06 12:38:55]
887*2^937630-1 is not prime.  Res64: 966DA38BD3B782F9  Time : 170918.0 sec.
user=ototero
[2011-05-06 12:38:55]
855*2^937631-1 is not prime.  Res64: 1B81C4D4CC81935C  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:55]
819*2^937632-1 is not prime.  Res64: 2F683E8F3F93BA19  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:56]
893*2^937632-1 is not prime.  Res64: B6D5F6C1A6D91F5C  Time : 170918.0 sec.
user=ototero
[2011-05-06 12:38:56]
831*2^937633-1 is not prime.  Res64: 27161E179C0A3EA8  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:56]
945*2^937633-1 is not prime.  Res64: 3BDB26948BC21910  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:56]
825*2^937634-1 is not prime.  Res64: 253301873C33F605  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:56]
851*2^937634-1 is not prime.  Res64: CEBF7513FCD10D69  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:56]
1001*2^937634-1 is not prime.  Res64: 1FEAD79E7FF37FE0  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:57]
801*2^937635-1 is not prime.  Res64: FE3D37F7AD780525  Time : 170917.0 sec.
user=ototero
[2011-05-06 12:38:57]
805*2^937635-1 is not prime.  Res64: DF9700B1FAE14C7D  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:57]
903*2^937635-1 is not prime.  Res64: B8E4496C3F27314F  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:57]
943*2^937635-1 is not prime.  Res64: 27BFD58733DC8562  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:57]
803*2^937636-1 is not prime.  Res64: 0EECF4BAABA86A38  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:57]
957*2^937636-1 is not prime.  Res64: 2D47DE3F5896F5A0  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:58]
927*2^937637-1 is not prime.  Res64: F99AFA4A349FC8FA  Time : 170916.0 sec.
user=ototero
[2011-05-06 12:38:58]
891*2^937638-1 is not prime.  Res64: 19FDBD610DFFABD1  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:58]
843*2^937639-1 is not prime.  Res64: 00E9360E99B9D9C9  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:58]
873*2^937639-1 is not prime.  Res64: A955175E3A8EFFF7  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:58]
805*2^937641-1 is not prime.  Res64: 115BA0A7C82A54CB  Time : 170914.0 sec.
user=ototero
[2011-05-06 12:38:58]
861*2^937641-1 is not prime.  Res64: 5DA15D386C8CAC3A  Time : 170914.0 sec.
user=ototero
[2011-05-06 12:38:59]
885*2^937641-1 is not prime.  Res64: 3A4F4988C75A6D12  Time : 170915.0 sec.
user=ototero
[2011-05-06 12:38:59]
895*2^937641-1 is not prime.  Res64: D8C56404BF6AA740  Time : 170914.0 sec.
user=ototero
[2011-05-06 12:38:59]
921*2^937641-1 is not prime.  Res64: 60EA105C951AEA15  Time : 170914.0 sec.
user=ototero
[2011-05-06 12:38:59]
937*2^937641-1 is not prime.  Res64: B36993CB1D40CD72  Time : 170914.0 sec.
user=ototero
[2011-05-06 12:38:59]
999*2^937641-1 is not prime.  Res64: C7F4BBD4CC46D9A5  Time : 170913.0 sec.
user=ototero
[2011-05-06 12:38:59]
911*2^937642-1 is not prime.  Res64: 817AC192A460FF51  Time : 170913.0 sec.
user=ototero
[2011-05-06 12:39:00]
941*2^937642-1 is not prime.  Res64: A929AA6A726B2A34  Time : 170913.0 sec.
user=ototero
[2011-05-06 12:39:00]
939*2^937643-1 is not prime.  Res64: BADB0DBF9331404D  Time : 170913.0 sec.
user=ototero
[2011-05-06 12:39:00]
843*2^937644-1 is not prime.  Res64: 24EA83E9A9585E86  Time : 170912.0 sec.
user=ototero
[2011-05-06 12:39:00]
863*2^937644-1 is not prime.  Res64: 797966C72B1F7AAA  Time : 170912.0 sec.
user=ototero
[2011-05-06 12:39:00]
905*2^937644-1 is not prime.  Res64: 4BA0CF2460433DBE  Time : 170911.0 sec.
user=ototero
[2011-05-06 12:39:00]
959*2^937644-1 is not prime.  Res64: 3680DEA190B99EEF  Time : 170911.0 sec.
user=ototero
[2011-05-06 12:39:01]
805*2^937645-1 is not prime.  Res64: F91BC0A90AAED9CA  Time : 170912.0 sec.
user=ototero
[2011-05-06 12:39:01]
861*2^937645-1 is not prime.  Res64: 1355A50522BFB05F  Time : 170911.0 sec.
user=ototero
[2011-05-06 12:39:01]
867*2^937877-1 is not prime.  Res64: 0BD2C09B606CCEC2  Time : 14193.0 sec.
user=ototero
[2011-05-06 12:39:01]
949*2^937877-1 is not prime.  Res64: FA21065969BAA13D  Time : 14193.0 sec.
user=ototero
[2011-05-06 12:39:01]
981*2^937877-1 is not prime.  Res64: 3099C1C6E4CF2967  Time : 14192.0 sec.
user=ototero
[2011-05-06 12:39:01]
891*2^937878-1 is not prime.  Res64: E6C071EAD1FE65D9  Time : 14192.0 sec.
user=ototero
[2011-05-06 12:39:02]
921*2^937878-1 is not prime.  Res64: AB18B4090CFEE8BC  Time : 14193.0 sec.
user=ototero
[2011-05-06 12:39:02]
885*2^937879-1 is not prime.  Res64: 0DD5EFCA0E133562  Time : 14192.0 sec.
user=ototero
[2011-05-06 12:39:02]
931*2^937879-1 is not prime.  Res64: 7C5592BD08AC4478  Time : 14192.0 sec.
user=ototero
[2011-05-06 12:39:02]
975*2^937879-1 is not prime.  Res64: 4A58D0C42AD4FD65  Time : 14192.0 sec.
user=ototero
[2011-05-06 12:39:02]
857*2^937880-1 is not prime.  Res64: AC9833996F61E908  Time : 14191.0 sec.
user=vaughan
[2011-05-06 21:22:06]
911*2^937882-1 is not prime.  Res64: 1237422D434BE0BA  Time : 44857.0 sec.
user=vaughan
[2011-05-06 21:28:26]
975*2^937882-1 is not prime.  Res64: 9E89C4B7A798A15C  Time : 45099.0 sec.
user=vaughan
[2011-05-06 21:29:07]
863*2^937884-1 is not prime.  Res64: 821DDC5DB81F7C63  Time : 44578.0 sec.
user=vaughan
[2011-05-06 21:32:37]
987*2^937882-1 is not prime.  Res64: 91B4F038DB226B0D  Time : 45013.0 sec.
user=vaughan
[2011-05-06 21:35:58]
945*2^937884-1 is not prime.  Res64: 567EE15AA446471C  Time : 44538.0 sec.
user=vaughan
[2011-05-06 21:36:02]
847*2^937885-1 is not prime.  Res64: B2672D4DDC245674  Time : 44526.0 sec.
user=vaughan
[2011-05-06 21:38:27]
955*2^937885-1 is not prime.  Res64: C64AFE30614809FB  Time : 44587.0 sec.
user=vaughan
[2011-05-06 21:38:52]
875*2^937884-1 is not prime.  Res64: 103CD171F552D598  Time : 44914.0 sec.
user=vaughan
[2011-05-06 21:50:22]
955*2^937647-1 is not prime.  Res64: 2685CA9BF88AFCF1  Time : 1275.0 sec.
user=vaughan
[2011-05-06 21:50:55]
871*2^937645-1 is not prime.  Res64: 4C03C69CE8F40090  Time : 1729.0 sec.
user=vaughan
[2011-05-06 21:56:33]
823*2^937647-1 is not prime.  Res64: 8DA4F4B2FFAD879C  Time : 1687.0 sec.
user=vaughan
[2011-05-06 21:57:00]
875*2^937648-1 is not prime.  Res64: 189C086A7C7E29A0  Time : 1262.0 sec.
user=vaughan
[2011-05-06 21:57:03]
915*2^937648-1 is not prime.  Res64: FD2965C8AA581137  Time : 1261.0 sec.
user=vaughan
[2011-05-06 21:59:41]
923*2^937648-1 is not prime.  Res64: 089E09BED4FFFD9B  Time : 1274.0 sec.
user=vaughan
[2011-05-06 21:59:54]
803*2^937648-1 is not prime.  Res64: 15EB222C6DE1EBD9  Time : 1637.0 sec.
user=vaughan
[2011-05-06 22:02:52]
813*2^937646-1 is not prime.  Res64: 9826C99C3FFF80A8  Time : 2446.0 sec.
user=vaughan
[2011-05-06 22:06:07]
989*2^937648-1 is not prime.  Res64: 6BF1AB2D322BB4E4  Time : 1635.0 sec.
user=vaughan
[2011-05-06 22:17:10]
999*2^937648-1 is not prime.  Res64: CB8883D323AFBBB3  Time : 1608.0 sec.
user=vaughan
[2011-05-06 22:18:20]
837*2^937649-1 is not prime.  Res64: B48218F63D28CE8A  Time : 1646.0 sec.
user=vaughan
[2011-05-06 22:25:22]
861*2^937649-1 is not prime.  Res64: 096A324C14F863AB  Time : 1729.0 sec.
user=vaughan
[2011-05-06 22:27:37]
923*2^937650-1 is not prime.  Res64: A16CDEDB8F0AFDCA  Time : 1664.0 sec.
user=vaughan
[2011-05-06 22:30:43]
963*2^937646-1 is not prime.  Res64: 8759E9827C49E152  Time : 4117.0 sec.
user=vaughan
[2011-05-06 22:33:43]
909*2^937649-1 is not prime.  Res64: ED7F873320BE9488  Time : 2203.0 sec.
user=vaughan
[2011-05-06 22:33:53]
851*2^937650-1 is not prime.  Res64: BF1F38EB3C232B07  Time : 2210.0 sec.
user=vaughan
[2011-05-06 22:34:13]
933*2^937650-1 is not prime.  Res64: 2455F8950DE31318  Time : 1686.0 sec.
user=vaughan
[2011-05-06 22:41:15]
917*2^937650-1 is not prime.  Res64: 32391BE4B78D74C4  Time : 2494.0 sec.
user=vaughan
[2011-05-06 22:45:15]
929*2^937652-1 is not prime.  Res64: B11B5387837F1130  Time : 1615.0 sec.
user=vaughan
[2011-05-06 22:54:01]
963*2^937652-1 is not prime.  Res64: EFE065FAB62BC134  Time : 1719.0 sec.
user=vaughan
[2011-05-06 22:55:13]
819*2^937653-1 is not prime.  Res64: 261738FF917C0664  Time : 1656.0 sec.
user=vaughan
[2011-05-06 23:02:00]
991*2^937653-1 is not prime.  Res64: 0FC031C3BE7136A0  Time : 1667.0 sec.
user=vaughan
[2011-05-06 23:03:34]
899*2^937652-1 is not prime.  Res64: B3148FC22B0DB34E  Time : 2784.0 sec.
user=vaughan
[2011-05-06 23:12:50]
987*2^937654-1 is not prime.  Res64: 7812C64DD0CA7753  Time : 1655.0 sec.
user=vaughan
[2011-05-06 23:22:28]
885*2^937655-1 is not prime.  Res64: 6F58B7ED175FA238  Time : 1707.0 sec.
user=vaughan
[2011-05-06 23:22:38]
833*2^937654-1 is not prime.  Res64: 35162410567A14FE  Time : 2484.0 sec.
user=vaughan
[2011-05-06 23:22:48]
981*2^937655-1 is not prime.  Res64: 56646A1066FD22E0  Time : 1656.0 sec.
user=vaughan
[2011-05-06 23:27:18]
889*2^937653-1 is not prime.  Res64: 7FE4B01C098128D0  Time : 3215.0 sec.
user=vaughan
[2011-05-06 23:27:35]
921*2^937653-1 is not prime.  Res64: E22301DC4FAED488  Time : 3222.0 sec.
user=vaughan
[2011-05-06 23:29:42]
939*2^937903-1 is not prime.  Res64: 68DA346C1A74F844  Time : 1662.0 sec.
user=vaughan
[2011-05-06 23:39:56]
973*2^937903-1 is not prime.  Res64: 8CBB7B6AAE6F5D9F  Time : 1626.0 sec.
user=vaughan
[2011-05-06 23:50:21]
843*2^937906-1 is not prime.  Res64: 5561EF82D311B4C9  Time : 1654.0 sec.
user=vaughan
[2011-05-06 23:50:58]
895*2^937905-1 is not prime.  Res64: A9969896869E3986  Time : 1710.0 sec.
user=vaughan
[2011-05-06 23:52:38]
943*2^937903-1 is not prime.  Res64: C3FA5007B4F9A62D  Time : 2944.0 sec.
user=vaughan
[2011-05-06 23:57:28]
923*2^937906-1 is not prime.  Res64: 820979E53A5DE6B3  Time : 1666.0 sec.