user=vaughan
[2011-05-01 00:01:59]
927*2^937276-1 is not prime.  Res64: 7AA208585F08F5EF  Time : 2346.0 sec.
user=vaughan
[2011-05-01 00:03:07]
987*2^937276-1 is not prime.  Res64: F66AA575B4BE1EB4  Time : 2300.0 sec.
user=vaughan
[2011-05-01 00:04:14]
843*2^937276-1 is not prime.  Res64: 7B1B89BB70AEA7C4  Time : 2849.0 sec.
user=vaughan
[2011-05-01 00:17:09]
957*2^937278-1 is not prime.  Res64: 43659C83716492A4  Time : 1864.0 sec.
user=vaughan
[2011-05-01 00:29:47]
975*2^937278-1 is not prime.  Res64: 77F5E45EF2C1E20F  Time : 1804.0 sec.
user=vaughan
[2011-05-01 00:39:52]
861*2^937278-1 is not prime.  Res64: 468B2AC6F3E7E0B3  Time : 3435.0 sec.
user=vaughan
[2011-05-01 00:47:13]
861*2^937279-1 is not prime.  Res64: B5B50A812262820F  Time : 2580.0 sec.
user=vaughan
[2011-05-01 00:48:13]
955*2^937277-1 is not prime.  Res64: 1D032D0BCB461CC0  Time : 4188.0 sec.
user=vaughan
[2011-05-01 00:49:41]
801*2^937278-1 is not prime.  Res64: 46769C3EA88B3E0C  Time : 4189.0 sec.
user=vaughan
[2011-05-01 00:51:50]
939*2^937279-1 is not prime.  Res64: C6DC2257E570B41C  Time : 2082.0 sec.
user=vaughan
[2011-05-01 00:51:53]
813*2^937279-1 is not prime.  Res64: 45F6C391871FBF44  Time : 2995.0 sec.
user=vaughan
[2011-05-01 00:54:33]
841*2^937279-1 is not prime.  Res64: 95BA2BA230047A04  Time : 3087.0 sec.
user=vaughan
[2011-05-01 01:01:06]
961*2^937279-1 is not prime.  Res64: 7FF2645DB8600955  Time : 1880.0 sec.
user=vaughan
[2011-05-01 01:26:25]
875*2^937284-1 is not prime.  Res64: 3460C4E92E6BFDFC  Time : 2076.0 sec.
user=vaughan
[2011-05-01 01:33:08]
861*2^937285-1 is not prime.  Res64: 616D1EA791EDAB56  Time : 1923.0 sec.
user=vaughan
[2011-05-01 01:33:33]
885*2^937281-1 is not prime.  Res64: B14F2ACFB6DCEF07  Time : 2781.0 sec.
user=vaughan
[2011-05-01 01:39:46]
865*2^937281-1 is not prime.  Res64: DDD8FAC4845FB4F4  Time : 3595.0 sec.
user=vaughan
[2011-05-01 01:42:59]
909*2^937284-1 is not prime.  Res64: 17D225581E0C62BC  Time : 3069.0 sec.
user=vaughan
[2011-05-01 01:44:24]
969*2^937284-1 is not prime.  Res64: 3644DCD673AE71B8  Time : 2991.0 sec.
user=vaughan
[2011-05-01 01:46:29]
907*2^937281-1 is not prime.  Res64: 726F7B27B0DF5138  Time : 3497.0 sec.
user=vaughan
[2011-05-01 01:47:32]
805*2^937283-1 is not prime.  Res64: CE9FF2F23E3428E2  Time : 3472.0 sec.
user=vaughan
[2011-05-01 01:56:16]
939*2^937285-1 is not prime.  Res64: E44D14D05D060A83  Time : 1792.0 sec.
user=vaughan
[2011-05-01 01:57:47]
999*2^937285-1 is not prime.  Res64: 7DBBC43C20A000CD  Time : 1481.0 sec.
user=vaughan
[2011-05-01 02:08:09]
917*2^937286-1 is not prime.  Res64: D1DE95640094BC6D  Time : 1511.0 sec.
user=vaughan
[2011-05-01 02:09:02]
935*2^937286-1 is not prime.  Res64: D0C7278C14F138A0  Time : 1479.0 sec.
user=vaughan
[2011-05-01 02:16:07]
823*2^937287-1 is not prime.  Res64: D6AED383A59FD8A8  Time : 1192.0 sec.
user=vaughan
[2011-05-01 02:17:43]
829*2^937287-1 is not prime.  Res64: ABEA8E80352A4B67  Time : 1197.0 sec.
user=vaughan
[2011-05-01 02:17:58]
813*2^937286-1 is not prime.  Res64: 9C94FE8799F0EC55  Time : 2666.0 sec.
user=vaughan
[2011-05-01 02:26:25]
873*2^937286-1 is not prime.  Res64: C86A36E00DAFBC4C  Time : 2801.0 sec.
user=vaughan
[2011-05-01 02:29:14]
895*2^937287-1 is not prime.  Res64: 0E02671DD2C09EA6  Time : 1266.0 sec.
user=vaughan
[2011-05-01 02:30:13]
933*2^937288-1 is not prime.  Res64: 028E736C01B82BE9  Time : 1272.0 sec.
user=vaughan
[2011-05-01 02:36:02]
975*2^937288-1 is not prime.  Res64: 2D7A8233A4BFC107  Time : 1197.0 sec.
user=vaughan
[2011-05-01 02:37:37]
989*2^937288-1 is not prime.  Res64: 5A66F44EFB69E2F2  Time : 1195.0 sec.
user=vaughan
[2011-05-01 02:43:57]
953*2^937286-1 is not prime.  Res64: F5FA173AEA5C5941  Time : 3449.0 sec.
user=vaughan
[2011-05-01 02:45:28]
805*2^937287-1 is not prime.  Res64: 57DDF856B2C9E4E2  Time : 3477.0 sec.
user=vaughan
[2011-05-01 02:50:23]
951*2^937289-1 is not prime.  Res64: 25A83F74C4B7FF48  Time : 1270.0 sec.
user=vaughan
[2011-05-01 02:51:24]
887*2^937290-1 is not prime.  Res64: 0C0EC12E74A0822A  Time : 1273.0 sec.
user=vaughan
[2011-05-01 02:55:54]
909*2^937291-1 is not prime.  Res64: 588320794C716BAC  Time : 1194.0 sec.
user=vaughan
[2011-05-01 02:57:34]
913*2^937291-1 is not prime.  Res64: EE5DC234C51D474D  Time : 1198.0 sec.
user=vaughan
[2011-05-01 02:58:07]
999*2^937288-1 is not prime.  Res64: D4B4FDA97491EB56  Time : 2410.0 sec.
user=vaughan
[2011-05-01 03:11:33]
983*2^937292-1 is not prime.  Res64: 0EA36843F120ED26  Time : 1271.0 sec.
user=vaughan
[2011-05-01 03:12:34]
849*2^937293-1 is not prime.  Res64: 92C5A391F43E0E8E  Time : 1271.0 sec.
user=vaughan
[2011-05-01 03:15:44]
891*2^937293-1 is not prime.  Res64: 04DFAE09FC20BE22  Time : 1191.0 sec.
user=vaughan
[2011-05-01 03:17:29]
999*2^937293-1 is not prime.  Res64: C04DA918910EE5A2  Time : 1196.0 sec.
user=vaughan
[2011-05-01 03:20:03]
867*2^937289-1 is not prime.  Res64: 76B4025EEBFC3468  Time : 3219.0 sec.
user=vaughan
[2011-05-01 05:19:38]
991*2^937295-1 is not prime.  Res64: 4E085DC371A4D195  Time : 7330.0 sec.
user=vaughan
[2011-05-01 05:19:49]
827*2^937294-1 is not prime.  Res64: DC88737E8DA0A166  Time : 8502.0 sec.
user=vaughan
[2011-05-01 05:19:52]
841*2^937295-1 is not prime.  Res64: 68325CBFA94B3C61  Time : 7639.0 sec.
user=vaughan
[2011-05-01 05:19:53]
839*2^937296-1 is not prime.  Res64: 9E7C67B6510B54AB  Time : 7191.0 sec.
user=vaughan
[2011-05-01 05:19:57]
931*2^937291-1 is not prime.  Res64: E76B566B1A57E36B  Time : 9360.0 sec.
user=vaughan
[2011-05-01 05:20:21]
945*2^937294-1 is not prime.  Res64: 422EA39A8A26E160  Time : 7729.0 sec.
user=vaughan
[2011-05-01 05:20:26]
915*2^937295-1 is not prime.  Res64: 2C1FC6D01A899711  Time : 7483.0 sec.
user=vaughan
[2011-05-01 05:20:39]
999*2^937291-1 is not prime.  Res64: 65911AA2AD31AEDB  Time : 9312.0 sec.
user=vaughan
[2011-05-01 06:16:36]
831*2^937298-1 is not prime.  Res64: 13E8CFF5AED4117F  Time : 3370.0 sec.
user=vaughan
[2011-05-01 06:16:38]
971*2^937298-1 is not prime.  Res64: 7BDF3FE4AA0561BD  Time : 3359.0 sec.
user=vaughan
[2011-05-01 06:16:39]
967*2^937297-1 is not prime.  Res64: EA1A7AC748E44DB9  Time : 3378.0 sec.
user=vaughan
[2011-05-01 06:17:32]
923*2^937296-1 is not prime.  Res64: 5E86D66495C35A06  Time : 3460.0 sec.
user=vaughan
[2011-05-01 06:21:05]
871*2^937297-1 is not prime.  Res64: 1A2EF777EFB20C28  Time : 3672.0 sec.
user=vaughan
[2011-05-01 06:21:05]
909*2^937296-1 is not prime.  Res64: 2ADBA49509C4386C  Time : 3677.0 sec.
user=vaughan
[2011-05-01 06:21:22]
915*2^937297-1 is not prime.  Res64: 5F033BC87134298A  Time : 3685.0 sec.
user=vaughan
[2011-05-01 06:21:44]
857*2^937298-1 is not prime.  Res64: E384C482DB8C06BA  Time : 3666.0 sec.
user=vaughan
[2011-05-01 06:36:18]
823*2^937299-1 is not prime.  Res64: 3C53EADDBA2F1031  Time : 1180.0 sec.
user=vaughan
[2011-05-01 06:36:42]
825*2^937300-1 is not prime.  Res64: 4170B045FEBBB2CA  Time : 1204.0 sec.
user=vaughan
[2011-05-01 06:37:17]
885*2^937300-1 is not prime.  Res64: 22148A1A93FEE881  Time : 1178.0 sec.
user=vaughan
[2011-05-01 06:37:38]
855*2^937300-1 is not prime.  Res64: 04CFBC17F0BC4394  Time : 1206.0 sec.
user=vaughan
[2011-05-01 06:41:46]
887*2^937300-1 is not prime.  Res64: E6309F5F04C76B7A  Time : 1242.0 sec.
user=vaughan
[2011-05-01 06:41:52]
861*2^937301-1 is not prime.  Res64: 285288B7EEEBA204  Time : 1231.0 sec.
user=vaughan
[2011-05-01 06:42:18]
927*2^937301-1 is not prime.  Res64: 98085E9DA0CB651A  Time : 1234.0 sec.
user=vaughan
[2011-05-01 06:42:44]
927*2^937300-1 is not prime.  Res64: B31C67EC27E10816  Time : 1300.0 sec.
user=vaughan
[2011-05-01 06:55:52]
951*2^937301-1 is not prime.  Res64: C8AC0947F8F120EC  Time : 1175.0 sec.
user=vaughan
[2011-05-01 06:56:40]
997*2^937301-1 is not prime.  Res64: D4E4CA81CB0BBB52  Time : 1199.0 sec.
user=vaughan
[2011-05-01 06:56:45]
807*2^937302-1 is not prime.  Res64: 6192208B132537DE  Time : 1168.0 sec.
user=vaughan
[2011-05-01 06:57:33]
893*2^937302-1 is not prime.  Res64: 05AAA3C048EC8127  Time : 1196.0 sec.
user=vaughan
[2011-05-01 07:02:12]
1001*2^937302-1 is not prime.  Res64: 2CFA4F98FE9906CF  Time : 1221.0 sec.
user=vaughan
[2011-05-01 07:02:20]
975*2^937302-1 is not prime.  Res64: D98038241DE89165  Time : 1235.0 sec.
user=vaughan
[2011-05-01 07:02:38]
849*2^937303-1 is not prime.  Res64: 448010775FC3224C  Time : 1221.0 sec.
user=vaughan
[2011-05-01 07:04:20]
853*2^937303-1 is not prime.  Res64: F67F7242F06D7AA8  Time : 1297.0 sec.
user=vaughan
[2011-05-01 07:15:30]
871*2^937303-1 is not prime.  Res64: FE7C31218102ED87  Time : 1178.0 sec.
user=vaughan
[2011-05-01 07:16:16]
919*2^937303-1 is not prime.  Res64: DD41742F9EE4F7FB  Time : 1171.0 sec.
user=vaughan
[2011-05-01 07:16:37]
883*2^937303-1 is not prime.  Res64: 0C834335F979976B  Time : 1198.0 sec.
user=vaughan
[2011-05-01 07:17:34]
857*2^937304-1 is not prime.  Res64: 91501EF35A845975  Time : 1202.0 sec.
user=vaughan
[2011-05-01 07:22:37]
873*2^937304-1 is not prime.  Res64: 67C7E712934E8663  Time : 1226.0 sec.
user=vaughan
[2011-05-01 07:23:00]
811*2^937305-1 is not prime.  Res64: A0CAECA6BAF0E1DC  Time : 1240.0 sec.
user=vaughan
[2011-05-01 07:23:03]
847*2^937305-1 is not prime.  Res64: F897C22D1E93677D  Time : 1226.0 sec.
user=vaughan
[2011-05-01 07:25:55]
889*2^937305-1 is not prime.  Res64: AC0DA7149989652C  Time : 1295.0 sec.
user=vaughan
[2011-05-01 07:35:14]
951*2^937305-1 is not prime.  Res64: D71D7586E6DC9849  Time : 1185.0 sec.
user=vaughan
[2011-05-01 07:35:47]
887*2^937306-1 is not prime.  Res64: 091187D95531D451  Time : 1172.0 sec.
user=vaughan
[2011-05-01 07:36:33]
923*2^937306-1 is not prime.  Res64: FDCA014EB97EA0E3  Time : 1197.0 sec.
user=vaughan
[2011-05-01 07:37:29]
981*2^937306-1 is not prime.  Res64: 440B8C3E52250BE6  Time : 1196.0 sec.
user=vaughan
[2011-05-01 07:43:35]
801*2^937307-1 is not prime.  Res64: C88294CE8CF18083  Time : 1259.0 sec.
user=vaughan
[2011-05-01 07:43:44]
805*2^937307-1 is not prime.  Res64: C8F7833DFD8ADEF8  Time : 1246.0 sec.
user=vaughan
[2011-05-01 07:43:58]
861*2^937307-1 is not prime.  Res64: 222E0018A7D17F70  Time : 1256.0 sec.
user=vaughan
[2011-05-01 07:47:28]
909*2^937307-1 is not prime.  Res64: 79AAF48546D31CB9  Time : 1293.0 sec.
user=vaughan
[2011-05-01 07:54:53]
939*2^937307-1 is not prime.  Res64: 2618984FF53375BE  Time : 1181.0 sec.
user=vaughan
[2011-05-01 07:55:19]
979*2^937307-1 is not prime.  Res64: 11A9210E3D48F970  Time : 1173.0 sec.
user=vaughan
[2011-05-01 07:56:26]
825*2^937308-1 is not prime.  Res64: 9C1432271EE60CD9  Time : 1194.0 sec.
user=vaughan
[2011-05-01 07:57:24]
845*2^937308-1 is not prime.  Res64: 894F867068DD5818  Time : 1196.0 sec.
user=vaughan
[2011-05-01 08:05:54]
861*2^937309-1 is not prime.  Res64: CBB82E737B3EE16D  Time : 1330.0 sec.
user=vaughan
[2011-05-01 08:06:18]
829*2^937309-1 is not prime.  Res64: B84B56264E255C6D  Time : 1364.0 sec.
user=vaughan
[2011-05-01 08:06:49]
897*2^937309-1 is not prime.  Res64: CA8678DCD8D3A648  Time : 1372.0 sec.
user=vaughan
[2011-05-01 08:11:32]
919*2^937309-1 is not prime.  Res64: E459FD34B3B85138  Time : 1445.0 sec.
user=vaughan
[2011-05-01 08:14:33]
997*2^937309-1 is not prime.  Res64: CDA6577E788DBF32  Time : 1181.0 sec.
user=vaughan
[2011-05-01 08:14:52]
999*2^937309-1 is not prime.  Res64: 1C1FFB4708138878  Time : 1174.0 sec.
user=vaughan
[2011-05-01 08:16:23]
851*2^937310-1 is not prime.  Res64: 1BC6923C6ED479B2  Time : 1197.0 sec.
user=vaughan
[2011-05-01 08:17:21]
951*2^937310-1 is not prime.  Res64: E252EC225CBB89E9  Time : 1198.0 sec.
user=vaughan
[2011-05-01 08:29:42]
953*2^937310-1 is not prime.  Res64: 76C476C8DD5C6553  Time : 1429.0 sec.
user=vaughan
[2011-05-01 08:31:06]
987*2^937310-1 is not prime.  Res64: 53BEB1DC93797591  Time : 1489.0 sec.
user=vaughan
[2011-05-01 08:31:43]
819*2^937311-1 is not prime.  Res64: 4928EA5B6A4B600D  Time : 1495.0 sec.
user=vaughan
[2011-05-01 08:34:14]
827*2^937312-1 is not prime.  Res64: 8D1E2F5987851879  Time : 1183.0 sec.
user=vaughan
[2011-05-01 08:34:33]
843*2^937312-1 is not prime.  Res64: 2403AC6B06077D6A  Time : 1182.0 sec.
user=vaughan
[2011-05-01 08:36:02]
921*2^937311-1 is not prime.  Res64: 2ED29262CA683EB7  Time : 1471.0 sec.
user=vaughan
[2011-05-01 08:36:23]
875*2^937312-1 is not prime.  Res64: 34379FC0E05BF1C7  Time : 1201.0 sec.
user=vaughan
[2011-05-01 08:37:16]
887*2^937312-1 is not prime.  Res64: 72D939770079F03D  Time : 1196.0 sec.
user=vaughan
[2011-05-01 08:53:49]
915*2^937312-1 is not prime.  Res64: FEA6FA964D4D7F18  Time : 1448.0 sec.
user=vaughan
[2011-05-01 08:53:56]
891*2^937314-1 is not prime.  Res64: 2E6E201BC9B0A102  Time : 1183.0 sec.
user=vaughan
[2011-05-01 08:54:08]
1001*2^937314-1 is not prime.  Res64: D8DD2F3A0273FDE0  Time : 1176.0 sec.
user=vaughan
[2011-05-01 08:56:42]
861*2^937315-1 is not prime.  Res64: 276508E6C01BA8BC  Time : 1220.0 sec.
user=vaughan
[2011-05-01 19:46:17]
885*2^937315-1 is not prime.  Res64: 71542848E39155FA  Time : 40142.0 sec.
user=vaughan
[2011-05-01 19:51:09]
873*2^937314-1 is not prime.  Res64: 9B678B81030680D2  Time : 40767.0 sec.
user=vaughan
[2011-05-01 19:51:32]
825*2^937314-1 is not prime.  Res64: 1F57726904B10169  Time : 40827.0 sec.
user=vaughan
[2011-05-01 19:54:41]
801*2^937315-1 is not prime.  Res64: 870FAD377D7AFC3E  Time : 40720.0 sec.
user=vaughan
[2011-05-01 20:02:58]
923*2^937316-1 is not prime.  Res64: 03F3693D0679CE46  Time : 40131.0 sec.
user=vaughan
[2011-05-01 20:03:29]
895*2^937315-1 is not prime.  Res64: 1F8FC33EA995C688  Time : 40180.0 sec.
user=vaughan
[2011-05-01 20:03:29]
813*2^937316-1 is not prime.  Res64: 63263E7B67457EEE  Time : 40173.0 sec.
user=vaughan
[2011-05-01 20:05:23]
953*2^937316-1 is not prime.  Res64: 85D3FF106B99131A  Time : 40122.0 sec.
user=vaughan
[2011-05-01 20:06:42]
825*2^937317-1 is not prime.  Res64: 270B5B83455342A2  Time : 1226.0 sec.
user=vaughan
[2011-05-01 20:11:16]
835*2^937317-1 is not prime.  Res64: 52FB3C676EB11FE2  Time : 1208.0 sec.
user=vaughan
[2011-05-01 20:12:24]
849*2^937317-1 is not prime.  Res64: 232E5AED7722E232  Time : 1253.0 sec.
user=vaughan
[2011-05-01 20:15:59]
843*2^937319-1 is not prime.  Res64: 9D35C6944BE2F2F9  Time : 1278.0 sec.
user=vaughan
[2011-05-01 20:22:42]
853*2^937319-1 is not prime.  Res64: A69FDE8CA4F4DC05  Time : 1184.0 sec.
user=vaughan
[2011-05-01 20:23:48]
909*2^937319-1 is not prime.  Res64: 44828F6C31B88570  Time : 1219.0 sec.
user=vaughan
[2011-05-01 20:24:24]
883*2^937319-1 is not prime.  Res64: F812941427EE431D  Time : 1256.0 sec.
user=vaughan
[2011-05-01 20:25:43]
949*2^937319-1 is not prime.  Res64: 2179962E7FEC8F0A  Time : 1220.0 sec.
user=vaughan
[2011-05-01 20:27:07]
979*2^937319-1 is not prime.  Res64: 34840800D3B28C89  Time : 1225.0 sec.
user=vaughan
[2011-05-01 20:31:23]
887*2^937320-1 is not prime.  Res64: 26F5892C93F18D35  Time : 1208.0 sec.
user=vaughan
[2011-05-01 20:33:18]
929*2^937320-1 is not prime.  Res64: 776AAAAD2D97FE38  Time : 1254.0 sec.
user=vaughan
[2011-05-01 20:37:15]
819*2^937321-1 is not prime.  Res64: 066129A9B5188518  Time : 1276.0 sec.
user=vaughan
[2011-05-01 20:42:25]
871*2^937321-1 is not prime.  Res64: E1ADE0DF061A3A8A  Time : 1183.0 sec.
user=vaughan
[2011-05-01 20:44:03]
997*2^937321-1 is not prime.  Res64: FA584F38076533F8  Time : 1216.0 sec.
user=vaughan
[2011-05-01 20:45:16]
827*2^937322-1 is not prime.  Res64: C21F5C2AEE284860  Time : 1252.0 sec.
user=vaughan
[2011-05-01 20:45:58]
831*2^937322-1 is not prime.  Res64: B36A5CBBB559D7BD  Time : 1215.0 sec.
user=vaughan
[2011-05-01 20:47:33]
843*2^937322-1 is not prime.  Res64: F2C4F03C1402E3EE  Time : 1226.0 sec.
user=vaughan
[2011-05-01 20:51:28]
911*2^937322-1 is not prime.  Res64: BBBEA9DA6CD7444A  Time : 1206.0 sec.
user=vaughan
[2011-05-01 20:54:14]
891*2^937323-1 is not prime.  Res64: 5D1C145A24FCCF64  Time : 1256.0 sec.
user=vaughan
[2011-05-01 20:58:28]
955*2^937323-1 is not prime.  Res64: C6C9306C7F33EF52  Time : 1273.0 sec.
user=vaughan
[2011-05-01 21:02:13]
843*2^937324-1 is not prime.  Res64: 8C2FCA1920A1EB96  Time : 1189.0 sec.
user=vaughan
[2011-05-01 21:04:22]
863*2^937324-1 is not prime.  Res64: A8605CC82A82A0C8  Time : 1220.0 sec.
user=vaughan
[2011-05-01 21:06:09]
899*2^937324-1 is not prime.  Res64: F2B5E425508A14F8  Time : 1253.0 sec.
user=vaughan
[2011-05-01 21:06:16]
909*2^937324-1 is not prime.  Res64: B868756827C47D62  Time : 1219.0 sec.
user=vaughan
[2011-05-01 21:07:58]
953*2^937324-1 is not prime.  Res64: 4FFC8F41E53C7A9A  Time : 1225.0 sec.
user=vaughan
[2011-05-01 21:11:31]
801*2^937325-1 is not prime.  Res64: 10C0830B784F648D  Time : 1204.0 sec.
user=vaughan
[2011-05-01 21:15:06]
819*2^937325-1 is not prime.  Res64: 46DDB32041202A82  Time : 1255.0 sec.
user=vaughan
[2011-05-01 21:19:42]
855*2^937325-1 is not prime.  Res64: 9A2C59A55B69E2AA  Time : 1274.0 sec.
user=vaughan
[2011-05-01 21:21:58]
889*2^937325-1 is not prime.  Res64: 8941F251293E0630  Time : 1186.0 sec.
user=vaughan
[2011-05-01 21:24:39]
915*2^937325-1 is not prime.  Res64: 4E4F34D45F4A8F31  Time : 1218.0 sec.
user=vaughan
[2011-05-01 21:26:34]
987*2^937325-1 is not prime.  Res64: DF70BC5117E657AF  Time : 1218.0 sec.
user=vaughan
[2011-05-01 21:27:02]
957*2^937325-1 is not prime.  Res64: FAC7237767E6EC2E  Time : 1253.0 sec.
user=vaughan
[2011-05-01 21:28:23]
807*2^937326-1 is not prime.  Res64: C94EF5640E5D3BC8  Time : 1226.0 sec.
user=vaughan
[2011-05-01 21:31:34]
873*2^937326-1 is not prime.  Res64: 2700DFBEA38EBD67  Time : 1203.0 sec.
user=vaughan
[2011-05-01 21:35:56]
917*2^937326-1 is not prime.  Res64: 3B7596C147436787  Time : 1251.0 sec.
user=vaughan
[2011-05-01 21:40:58]
963*2^937326-1 is not prime.  Res64: 825D2D7D95C01628  Time : 1277.0 sec.
user=vaughan
[2011-05-01 21:41:40]
915*2^937327-1 is not prime.  Res64: AA5F2B8F915A1B5E  Time : 1183.0 sec.
user=vaughan
[2011-05-01 21:44:56]
993*2^937327-1 is not prime.  Res64: 37B14BFBCDE5FE4E  Time : 1217.0 sec.
user=vaughan
[2011-05-01 21:46:50]
843*2^937328-1 is not prime.  Res64: 02D923F84BC0E582  Time : 1216.0 sec.
user=vaughan
[2011-05-01 21:47:56]
869*2^937328-1 is not prime.  Res64: C7FC599E5C92C97B  Time : 1254.0 sec.
user=vaughan
[2011-05-01 21:48:51]
875*2^937328-1 is not prime.  Res64: 55FD07E95F3481B5  Time : 1229.0 sec.
user=vaughan
[2011-05-01 21:51:38]
879*2^937328-1 is not prime.  Res64: 46D1B6167F6A1D9C  Time : 1204.0 sec.
user=vaughan
[2011-05-01 21:56:47]
923*2^937328-1 is not prime.  Res64: 56D7FABEFB2AA1FE  Time : 1252.0 sec.
user=vaughan
[2011-05-01 22:01:31]
835*2^937329-1 is not prime.  Res64: 7944DCDBC5D79262  Time : 1191.0 sec.
user=vaughan
[2011-05-01 22:02:13]
829*2^937329-1 is not prime.  Res64: 0E8FFB9DD04442C4  Time : 1276.0 sec.
user=vaughan
[2011-05-01 22:05:13]
891*2^937329-1 is not prime.  Res64: 590256352FD2C023  Time : 1217.0 sec.
user=vaughan
[2011-05-01 22:07:04]
909*2^937329-1 is not prime.  Res64: 497474C85517E885  Time : 1215.0 sec.
user=vaughan
[2011-05-01 22:08:51]
843*2^937330-1 is not prime.  Res64: 954A87A38617BBC0  Time : 1256.0 sec.
user=vaughan
[2011-05-01 22:09:18]
885*2^937330-1 is not prime.  Res64: 9A6DF7EB14EC035F  Time : 1227.0 sec.
user=vaughan
[2011-05-01 22:11:42]
981*2^937330-1 is not prime.  Res64: 7CEB1F5DE84DF05F  Time : 1204.0 sec.
user=vaughan
[2011-05-01 22:17:38]
855*2^937331-1 is not prime.  Res64: 37918791B39A9C86  Time : 1251.0 sec.
user=vaughan
[2011-05-01 22:21:15]
889*2^937331-1 is not prime.  Res64: 16022B38A3F42455  Time : 1185.0 sec.
user=vaughan
[2011-05-01 22:23:25]
909*2^937331-1 is not prime.  Res64: 8F51DC4B3521530F  Time : 1272.0 sec.
user=vaughan
[2011-05-01 22:25:31]
921*2^937331-1 is not prime.  Res64: 6FB06A6F3A16B65F  Time : 1219.0 sec.
user=vaughan
[2011-05-01 22:27:24]
863*2^937332-1 is not prime.  Res64: 17EDEC0F1498830D  Time : 1221.0 sec.
user=vaughan
[2011-05-01 22:29:42]
947*2^937332-1 is not prime.  Res64: BADC476DC8E20ED2  Time : 1225.0 sec.
user=vaughan
[2011-05-01 22:29:48]
879*2^937332-1 is not prime.  Res64: 08BCB85381BD93D6  Time : 1258.0 sec.
user=vaughan
[2011-05-01 22:31:42]
805*2^937333-1 is not prime.  Res64: 62C498C67F4C21A5  Time : 1201.0 sec.
user=vaughan
[2011-05-01 22:38:37]
855*2^937333-1 is not prime.  Res64: FAE31EF1EA741CF3  Time : 1260.0 sec.
user=vaughan
[2011-05-01 22:41:00]
925*2^937333-1 is not prime.  Res64: 95C29E5B66CC9407  Time : 1185.0 sec.
user=vaughan
[2011-05-01 22:44:57]
813*2^937334-1 is not prime.  Res64: E744F1C39BBD3E05  Time : 1292.0 sec.
user=vaughan
[2011-05-01 22:45:45]
833*2^937334-1 is not prime.  Res64: 5670233DE776B1E5  Time : 1214.0 sec.
user=vaughan
[2011-05-01 22:47:39]
897*2^937334-1 is not prime.  Res64: 8A5274BFE9BB8DDD  Time : 1215.0 sec.
user=vaughan
[2011-05-01 22:50:05]
923*2^937334-1 is not prime.  Res64: 5FD61F0F1BDCA640  Time : 1224.0 sec.
user=vaughan
[2011-05-01 22:50:56]
965*2^937334-1 is not prime.  Res64: 1365F91968DDDE7B  Time : 1268.0 sec.
user=vaughan
[2011-05-01 22:51:34]
971*2^937334-1 is not prime.  Res64: A6523F02878254AF  Time : 1193.0 sec.
user=vaughan
[2011-05-01 22:59:45]
895*2^937335-1 is not prime.  Res64: 63B83B7DC3F8C966  Time : 1268.0 sec.
user=vaughan
[2011-05-01 23:00:43]
999*2^937335-1 is not prime.  Res64: 5B441A4A15B49C2A  Time : 1183.0 sec.
user=vaughan
[2011-05-01 23:06:01]
903*2^937336-1 is not prime.  Res64: 4B11219DC34AEEC2  Time : 1216.0 sec.
user=vaughan
[2011-05-01 23:06:44]
849*2^937336-1 is not prime.  Res64: 0E0438AE64C095F0  Time : 1307.0 sec.
user=vaughan
[2011-05-01 23:07:55]
939*2^937336-1 is not prime.  Res64: ACE8F6ED79EA16C6  Time : 1216.0 sec.
user=vaughan
[2011-05-01 23:10:31]
805*2^937337-1 is not prime.  Res64: DEBBDD7981F06280  Time : 1226.0 sec.
user=vaughan
[2011-05-01 23:11:24]
939*2^937337-1 is not prime.  Res64: 806F1DEF4D68D2A4  Time : 1191.0 sec.
user=vaughan
[2011-05-01 23:12:04]
931*2^937337-1 is not prime.  Res64: 9316D94E4E0BB4E5  Time : 1268.0 sec.
user=vaughan
[2011-05-01 23:20:35]
853*2^937339-1 is not prime.  Res64: 04AB5D283455E339  Time : 1192.0 sec.
user=vaughan
[2011-05-01 23:20:53]
957*2^937337-1 is not prime.  Res64: B530812845E245E3  Time : 1268.0 sec.
user=vaughan
[2011-05-01 23:26:14]
883*2^937339-1 is not prime.  Res64: 6B82F3BEFDAF0AED  Time : 1213.0 sec.
user=vaughan
[2011-05-01 23:28:07]
839*2^937340-1 is not prime.  Res64: 9C45668288C657CC  Time : 1212.0 sec.
user=vaughan
[2011-05-01 23:28:28]
885*2^937339-1 is not prime.  Res64: E03E65853684FD5D  Time : 1305.0 sec.
user=vaughan
[2011-05-01 23:30:55]
855*2^937340-1 is not prime.  Res64: 15F24999E37B55FD  Time : 1224.0 sec.
user=vaughan
[2011-05-01 23:31:15]
857*2^937340-1 is not prime.  Res64: F883C6DB74A630F4  Time : 1191.0 sec.
user=vaughan
[2011-05-01 23:33:12]
899*2^937340-1 is not prime.  Res64: 966C3C549369A6D3  Time : 1269.0 sec.
user=vaughan
[2011-05-01 23:40:28]
945*2^937340-1 is not prime.  Res64: 1F7DC95E83529A00  Time : 1193.0 sec.
user=vaughan
[2011-05-01 23:42:00]
811*2^937341-1 is not prime.  Res64: 0BFFED5CD41DC029  Time : 1268.0 sec.
user=vaughan
[2011-05-01 23:46:25]
825*2^937341-1 is not prime.  Res64: AFD734722954FA7B  Time : 1212.0 sec.
user=vaughan
[2011-05-01 23:48:19]
865*2^937341-1 is not prime.  Res64: DC0FD3F76046757E  Time : 1213.0 sec.
user=vaughan
[2011-05-01 23:50:12]
961*2^937341-1 is not prime.  Res64: F98A88F4101A2161  Time : 1304.0 sec.
user=vaughan
[2011-05-01 23:51:06]
873*2^937342-1 is not prime.  Res64: D27D9F7583C591DD  Time : 1192.0 sec.
user=vaughan
[2011-05-01 23:51:20]
999*2^937341-1 is not prime.  Res64: 62AE8B7A49D8CB24  Time : 1226.0 sec.
user=vaughan
[2011-05-01 23:54:20]
995*2^937342-1 is not prime.  Res64: A8795BC45E7C04DB  Time : 1269.0 sec.
user=vaughan
[2011-05-02 00:00:12]
813*2^937343-1 is not prime.  Res64: 86004CE401E85CC1  Time : 1184.0 sec.