user=vaughan
[2011-05-04 00:03:36]
819*2^937572-1 is not prime.  Res64: A7C9CFA1E516B5D3  Time : 1269.0 sec.
user=vaughan
[2011-05-04 00:06:29]
825*2^937572-1 is not prime.  Res64: 08F9128930D71D79  Time : 1309.0 sec.
user=vaughan
[2011-05-04 00:07:09]
973*2^937571-1 is not prime.  Res64: D528762DA44D6B1F  Time : 1530.0 sec.
user=vaughan
[2011-05-04 00:10:22]
857*2^937572-1 is not prime.  Res64: 84597BF1E55CD277  Time : 1268.0 sec.
user=vaughan
[2011-05-04 00:13:56]
933*2^937572-1 is not prime.  Res64: C9855340C738712C  Time : 1191.0 sec.
user=vaughan
[2011-05-04 00:23:48]
805*2^937573-1 is not prime.  Res64: F769E4259725E42C  Time : 1720.0 sec.
user=vaughan
[2011-05-04 00:24:45]
851*2^937574-1 is not prime.  Res64: 323C78C970E32617  Time : 1269.0 sec.
user=vaughan
[2011-05-04 00:25:35]
955*2^937573-1 is not prime.  Res64: C27EF75CE1360B49  Time : 1554.0 sec.
user=vaughan
[2011-05-04 00:28:17]
885*2^937574-1 is not prime.  Res64: 831A41BCE92C188C  Time : 1309.0 sec.
user=vaughan
[2011-05-04 00:29:12]
961*2^937573-1 is not prime.  Res64: 660EC395AF3F7DA6  Time : 1738.0 sec.
user=vaughan
[2011-05-04 00:31:30]
903*2^937574-1 is not prime.  Res64: 38B972DF7AAB06A9  Time : 1268.0 sec.
user=vaughan
[2011-05-04 00:33:03]
897*2^937574-1 is not prime.  Res64: A77E4192284ED82D  Time : 1555.0 sec.
user=vaughan
[2011-05-04 00:33:46]
941*2^937574-1 is not prime.  Res64: E3BD75A8F63FFFF0  Time : 1190.0 sec.
user=vaughan
[2011-05-04 00:45:53]
981*2^937574-1 is not prime.  Res64: F86354E0AFE2E938  Time : 1269.0 sec.
user=vaughan
[2011-05-04 00:50:05]
999*2^937575-1 is not prime.  Res64: 783DC0E611DB8A22  Time : 1308.0 sec.
user=vaughan
[2011-05-04 00:51:37]
829*2^937575-1 is not prime.  Res64: 49ECB48B22549914  Time : 1563.0 sec.
user=vaughan
[2011-05-04 00:52:28]
971*2^937574-1 is not prime.  Res64: 17A4AC07F7E7BF5A  Time : 1721.0 sec.
user=vaughan
[2011-05-04 00:52:39]
989*2^937576-1 is not prime.  Res64: E92F829F5E65D577  Time : 1270.0 sec.
user=vaughan
[2011-05-04 00:53:36]
867*2^937577-1 is not prime.  Res64: 215D3E1DB2B44193  Time : 1190.0 sec.
user=vaughan
[2011-05-04 00:57:10]
927*2^937576-1 is not prime.  Res64: 60FA0D13755AEE0A  Time : 1678.0 sec.
user=vaughan
[2011-05-04 00:58:14]
847*2^937577-1 is not prime.  Res64: 72553980B03FB4A1  Time : 1511.0 sec.
user=vaughan
[2011-05-04 01:07:00]
981*2^937577-1 is not prime.  Res64: FAEF5EA04875FD9F  Time : 1268.0 sec.
user=vaughan
[2011-05-04 01:11:54]
803*2^937578-1 is not prime.  Res64: 5C6F32FE822C01DA  Time : 1309.0 sec.
user=vaughan
[2011-05-04 01:12:47]
815*2^937578-1 is not prime.  Res64: 809D5CD75A1F5796  Time : 1270.0 sec.
user=vaughan
[2011-05-04 01:13:27]
853*2^937579-1 is not prime.  Res64: C1FD53F964F4B6A4  Time : 1191.0 sec.
user=vaughan
[2011-05-04 01:13:45]
837*2^937578-1 is not prime.  Res64: B8EE5A892C1DA1B1  Time : 1277.0 sec.
user=vaughan
[2011-05-04 01:13:46]
861*2^937578-1 is not prime.  Res64: 6329703CFEF460A8  Time : 1268.0 sec.
user=vaughan
[2011-05-04 01:17:40]
909*2^937579-1 is not prime.  Res64: 08C85694BF47DC10  Time : 1230.0 sec.
user=vaughan
[2011-05-04 01:18:42]
931*2^937579-1 is not prime.  Res64: 649AB4909634F575  Time : 1229.0 sec.
user=vaughan
[2011-05-04 01:28:15]
993*2^937579-1 is not prime.  Res64: F7517F055F60D431  Time : 1275.0 sec.
user=vaughan
[2011-05-04 01:33:17]
897*2^937580-1 is not prime.  Res64: 71A8161A52E5C124  Time : 1230.0 sec.
user=vaughan
[2011-05-04 01:33:18]
835*2^937581-1 is not prime.  Res64: 5E3B825072E0A7B0  Time : 1191.0 sec.
user=vaughan
[2011-05-04 01:33:42]
857*2^937580-1 is not prime.  Res64: 6E804BF14A13A285  Time : 1308.0 sec.
user=vaughan
[2011-05-04 01:34:13]
955*2^937581-1 is not prime.  Res64: D91EE2BD9604816A  Time : 1228.0 sec.
user=vaughan
[2011-05-04 01:34:55]
991*2^937581-1 is not prime.  Res64: 7B7A6D35BF67E468  Time : 1269.0 sec.
user=vaughan
[2011-05-04 01:39:14]
825*2^937583-1 is not prime.  Res64: 5C36D5E875920522  Time : 1294.0 sec.
user=vaughan
[2011-05-04 01:40:14]
913*2^937583-1 is not prime.  Res64: 14F94227E9E214D9  Time : 1292.0 sec.
user=vaughan
[2011-05-04 01:49:25]
811*2^937585-1 is not prime.  Res64: A774FB2A9FE2DD61  Time : 1271.0 sec.
user=vaughan
[2011-05-04 01:53:09]
877*2^937585-1 is not prime.  Res64: DC22A58A87BCE76D  Time : 1191.0 sec.
user=vaughan
[2011-05-04 01:55:27]
895*2^937585-1 is not prime.  Res64: 503C3838C90D957E  Time : 1305.0 sec.
user=vaughan
[2011-05-04 01:56:00]
925*2^937585-1 is not prime.  Res64: FE2C9C90C2E2B983  Time : 1265.0 sec.
user=vaughan
[2011-05-04 01:58:29]
831*2^937585-1 is not prime.  Res64: F68B97E78B984412  Time : 1513.0 sec.
user=vaughan
[2011-05-04 02:02:41]
897*2^937585-1 is not prime.  Res64: FC0B429BCBB70ED7  Time : 1708.0 sec.
user=vaughan
[2011-05-04 02:06:03]
997*2^937585-1 is not prime.  Res64: 3333B89E0784AEA1  Time : 1550.0 sec.
user=vaughan
[2011-05-04 02:07:58]
951*2^937585-1 is not prime.  Res64: 4664011BB5663EFA  Time : 1725.0 sec.
user=vaughan
[2011-05-04 02:10:28]
813*2^937586-1 is not prime.  Res64: FCDD700B84EAD4AC  Time : 1264.0 sec.
user=vaughan
[2011-05-04 02:13:00]
843*2^937586-1 is not prime.  Res64: D3E736E05C2EDBD9  Time : 1191.0 sec.
user=vaughan
[2011-05-04 02:17:04]
923*2^937586-1 is not prime.  Res64: A192E1085586DB97  Time : 1264.0 sec.
user=vaughan
[2011-05-04 02:17:10]
861*2^937586-1 is not prime.  Res64: 58B1EAF3DB4859B5  Time : 1304.0 sec.
user=vaughan
[2011-05-04 02:24:25]
945*2^937586-1 is not prime.  Res64: C2960614745E52EE  Time : 1557.0 sec.
user=vaughan
[2011-05-04 02:31:38]
825*2^937587-1 is not prime.  Res64: 9E984B4DE1D817EE  Time : 1737.0 sec.
user=vaughan
[2011-05-04 02:32:01]
873*2^937587-1 is not prime.  Res64: 25E722C9405F6952  Time : 1558.0 sec.
user=vaughan
[2011-05-04 02:36:42]
891*2^937587-1 is not prime.  Res64: BB6337FFFC25F8DD  Time : 1724.0 sec.
user=vaughan
[2011-05-04 02:37:44]
991*2^937587-1 is not prime.  Res64: 7FA427A1D9671AA7  Time : 1485.0 sec.
user=vaughan
[2011-05-04 02:39:13]
901*2^937587-1 is not prime.  Res64: AE6B7917FABC879E  Time : 1725.0 sec.
user=vaughan
[2011-05-04 02:43:22]
995*2^937588-1 is not prime.  Res64: 6E8D9D2D2CFA2E8D  Time : 1573.0 sec.
user=vaughan
[2011-05-04 02:50:31]
829*2^937589-1 is not prime.  Res64: 7E151C366350FE9D  Time : 1566.0 sec.
user=vaughan
[2011-05-04 02:52:33]
897*2^937588-1 is not prime.  Res64: 887F0006885A9076  Time : 2129.0 sec.
user=vaughan
[2011-05-04 02:57:46]
843*2^937590-1 is not prime.  Res64: E366DDE1AFD5988B  Time : 1545.0 sec.
user=vaughan
[2011-05-04 03:00:38]
821*2^937590-1 is not prime.  Res64: D7C091EF03B585AD  Time : 1740.0 sec.
user=vaughan
[2011-05-04 03:05:40]
875*2^937590-1 is not prime.  Res64: 4D43BBDF2C773063  Time : 1738.0 sec.
user=vaughan
[2011-05-04 03:10:29]
921*2^937590-1 is not prime.  Res64: 0C13C6BE56BD3E06  Time : 1966.0 sec.
user=vaughan
[2011-05-04 03:12:10]
841*2^937591-1 is not prime.  Res64: 711E5DDC076BD146  Time : 1728.0 sec.
user=vaughan
[2011-05-04 03:16:25]
901*2^937591-1 is not prime.  Res64: 579C8AE69978D789  Time : 1554.0 sec.
user=vaughan
[2011-05-04 03:16:56]
951*2^937590-1 is not prime.  Res64: DF431CA7F58059BF  Time : 2264.0 sec.
user=vaughan
[2011-05-04 03:23:48]
943*2^937591-1 is not prime.  Res64: 9842A981D4EBA3D7  Time : 1562.0 sec.
user=vaughan
[2011-05-04 03:23:50]
925*2^937591-1 is not prime.  Res64: AA7305DE99682A77  Time : 1878.0 sec.
user=vaughan
[2011-05-04 03:28:12]
961*2^937591-1 is not prime.  Res64: 19F5CF073568815D  Time : 1654.0 sec.
user=vaughan
[2011-05-04 03:31:44]
837*2^937593-1 is not prime.  Res64: A1CEA1521FA82EA1  Time : 1565.0 sec.
user=vaughan
[2011-05-04 03:34:57]
803*2^937594-1 is not prime.  Res64: F76BBF810CAC1D28  Time : 1468.0 sec.
user=vaughan
[2011-05-04 03:35:47]
827*2^937594-1 is not prime.  Res64: 10CC5BF61F4A35FA  Time : 1417.0 sec.
user=vaughan
[2011-05-04 03:38:39]
917*2^937594-1 is not prime.  Res64: 956C7C57A61DD6A9  Time : 1334.0 sec.
user=vaughan
[2011-05-04 03:44:30]
963*2^937595-1 is not prime.  Res64: 0DDE48E28D9E2AFF  Time : 1242.0 sec.
user=vaughan
[2011-05-04 03:48:43]
905*2^937596-1 is not prime.  Res64: 96320C4387D8AA97  Time : 1232.0 sec.
user=vaughan
[2011-05-04 03:50:10]
981*2^937594-1 is not prime.  Res64: 188C7831CC971860  Time : 1994.0 sec.
user=vaughan
[2011-05-04 03:52:14]
889*2^937597-1 is not prime.  Res64: 9D1A803C2C1034FF  Time : 1230.0 sec.
user=vaughan
[2011-05-04 03:59:09]
833*2^937600-1 is not prime.  Res64: 4E6165540307071E  Time : 1230.0 sec.
user=vaughan
[2011-05-04 04:00:59]
861*2^937599-1 is not prime.  Res64: 2ABA680C61CCC478  Time : 1512.0 sec.
user=vaughan
[2011-05-04 04:01:45]
845*2^937596-1 is not prime.  Res64: D2EFB418DC8FF31D  Time : 2275.0 sec.
user=vaughan
[2011-05-04 04:03:49]
827*2^937598-1 is not prime.  Res64: 37B47C77F939E922  Time : 1733.0 sec.
user=vaughan
[2011-05-04 04:04:56]
857*2^937600-1 is not prime.  Res64: AEF7AC6AE055F990  Time : 1227.0 sec.
user=vaughan
[2011-05-04 04:09:09]
927*2^937600-1 is not prime.  Res64: 5E0923E75AD72DBE  Time : 1227.0 sec.
user=vaughan
[2011-05-04 04:12:36]
855*2^937601-1 is not prime.  Res64: A689C366A8DDFF24  Time : 1222.0 sec.
user=vaughan
[2011-05-04 04:16:42]
989*2^937600-1 is not prime.  Res64: 442118E94BBBD243  Time : 1593.0 sec.
user=vaughan
[2011-05-04 04:20:52]
955*2^937601-1 is not prime.  Res64: 78BE8824BBB6C1A6  Time : 1303.0 sec.
user=vaughan
[2011-05-04 04:22:58]
987*2^937601-1 is not prime.  Res64: 7473002A9229F062  Time : 1319.0 sec.
user=vaughan
[2011-05-04 04:23:07]
885*2^937602-1 is not prime.  Res64: 472045276C9EB4F6  Time : 1283.0 sec.
user=vaughan
[2011-05-04 04:23:42]
921*2^937602-1 is not prime.  Res64: D6B1C3F32D8FE0F3  Time : 1194.0 sec.
user=vaughan
[2011-05-04 04:27:57]
941*2^937602-1 is not prime.  Res64: 49871232F6287E7F  Time : 1381.0 sec.
user=vaughan
[2011-05-04 04:36:00]
861*2^937603-1 is not prime.  Res64: 9877D840EA5EC30E  Time : 1612.0 sec.
user=vaughan
[2011-05-04 04:37:45]
945*2^937603-1 is not prime.  Res64: AB331D28AB36BA80  Time : 1263.0 sec.
user=vaughan
[2011-05-04 04:40:46]
889*2^937603-1 is not prime.  Res64: 11C7E178678E2863  Time : 1690.0 sec.
user=vaughan
[2011-05-04 04:43:34]
889*2^937605-1 is not prime.  Res64: 8BE4521508CD5E05  Time : 1192.0 sec.
user=vaughan
[2011-05-04 04:44:10]
929*2^937604-1 is not prime.  Res64: 7B84BFFE2F5435A4  Time : 1264.0 sec.
user=vaughan
[2011-05-04 04:44:40]
869*2^937604-1 is not prime.  Res64: A46F451775889098  Time : 1302.0 sec.
user=vaughan
[2011-05-04 04:46:12]
973*2^937603-1 is not prime.  Res64: 1CE39137A2C8ADCC  Time : 1520.0 sec.
user=vaughan
[2011-05-04 04:53:18]
915*2^937605-1 is not prime.  Res64: 414D361F1DA7C553  Time : 1522.0 sec.
user=vaughan
[2011-05-04 04:58:48]
813*2^937606-1 is not prime.  Res64: 52CCE6876CDE4A24  Time : 1263.0 sec.
user=vaughan
[2011-05-04 05:03:26]
887*2^937606-1 is not prime.  Res64: ED2CD3DC2C6A1FD2  Time : 1192.0 sec.
user=vaughan
[2011-05-04 05:04:35]
955*2^937605-1 is not prime.  Res64: AE5C910C74512E67  Time : 1716.0 sec.
user=vaughan
[2011-05-04 05:05:13]
917*2^937606-1 is not prime.  Res64: 07A2CAE416C3602C  Time : 1263.0 sec.
user=vaughan
[2011-05-04 05:06:24]
861*2^937609-1 is not prime.  Res64: 4223A4D6F39D8791  Time : 1304.0 sec.
user=vaughan
[2011-05-04 05:09:22]
857*2^937606-1 is not prime.  Res64: D3FE50DEF1D88366  Time : 1716.0 sec.
user=vaughan
[2011-05-04 05:11:35]
945*2^937609-1 is not prime.  Res64: 113C699A07F1CCB8  Time : 1524.0 sec.
user=vaughan
[2011-05-04 05:18:50]
999*2^937609-1 is not prime.  Res64: 25D3CA46B3DB8B70  Time : 1532.0 sec.
user=vaughan
[2011-05-04 05:19:53]
805*2^937611-1 is not prime.  Res64: 9F3A3E39425F4F9D  Time : 1265.0 sec.
user=vaughan
[2011-05-04 05:23:18]
861*2^937611-1 is not prime.  Res64: 112153A588BE9D38  Time : 1192.0 sec.
user=vaughan
[2011-05-04 05:26:16]
991*2^937611-1 is not prime.  Res64: F3529F6076495FAE  Time : 1264.0 sec.
user=vaughan
[2011-05-04 05:28:07]
827*2^937612-1 is not prime.  Res64: 0B7E3041DBEE748A  Time : 1303.0 sec.
user=vaughan
[2011-05-04 05:33:02]
951*2^937611-1 is not prime.  Res64: C61F3BDD1B23C6CE  Time : 1707.0 sec.
user=vaughan
[2011-05-04 05:36:54]
975*2^937612-1 is not prime.  Res64: 68C5BB346951E144  Time : 1519.0 sec.
user=vaughan
[2011-05-04 05:37:54]
909*2^937612-1 is not prime.  Res64: CE3BE9A474FD3046  Time : 1713.0 sec.
user=vaughan
[2011-05-04 05:41:02]
999*2^937612-1 is not prime.  Res64: CE371B3B2C73F77D  Time : 1269.0 sec.
user=vaughan
[2011-05-04 05:43:13]
811*2^937613-1 is not prime.  Res64: DFC8A8565418AF8B  Time : 1195.0 sec.
user=vaughan
[2011-05-04 05:44:12]
983*2^937612-1 is not prime.  Res64: BEF3CEB51FC52B6C  Time : 1522.0 sec.
user=vaughan
[2011-05-04 05:47:20]
859*2^937613-1 is not prime.  Res64: A572239C2490A12D  Time : 1264.0 sec.
user=vaughan
[2011-05-04 05:49:49]
937*2^937613-1 is not prime.  Res64: A67F02B0CCC6A880  Time : 1302.0 sec.
user=vaughan
[2011-05-04 06:00:26]
825*2^937614-1 is not prime.  Res64: 97D6ABBB2757244A  Time : 1644.0 sec.
user=vaughan
[2011-05-04 06:01:21]
917*2^937614-1 is not prime.  Res64: 064E8CFA64831AD9  Time : 1467.0 sec.
user=vaughan
[2011-05-04 06:02:05]
873*2^937615-1 is not prime.  Res64: 9C167680C3C64D9A  Time : 1264.0 sec.
user=vaughan
[2011-05-04 06:03:05]
895*2^937615-1 is not prime.  Res64: 5CDD02CCEA8F8505  Time : 1193.0 sec.
user=vaughan
[2011-05-04 06:03:51]
831*2^937615-1 is not prime.  Res64: EFA6809200C9BE6B  Time : 1557.0 sec.
user=vaughan
[2011-05-04 06:07:09]
919*2^937615-1 is not prime.  Res64: 1CD782FAA8AFFAFF  Time : 1377.0 sec.
user=vaughan
[2011-05-04 06:08:26]
979*2^937615-1 is not prime.  Res64: D4177FA064E2627C  Time : 1266.0 sec.
user=vaughan
[2011-05-04 07:00:19]
935*2^937616-1 is not prime.  Res64: 376683C96B5AFB60  Time : 3593.0 sec.
user=vaughan
[2011-05-04 07:00:22]
949*2^937617-1 is not prime.  Res64: 26B10821EF5E3E56  Time : 3497.0 sec.
user=vaughan
[2011-05-04 07:00:28]
831*2^937618-1 is not prime.  Res64: A1BEF5872C2BF426  Time : 3397.0 sec.
user=vaughan
[2011-05-04 07:00:32]
917*2^937616-1 is not prime.  Res64: 5F41396B28894C9B  Time : 4243.0 sec.
user=vaughan
[2011-05-04 07:00:39]
801*2^937618-1 is not prime.  Res64: 51FFDFBBBCE71861  Time : 3454.0 sec.
user=vaughan
[2011-05-04 07:00:40]
845*2^937618-1 is not prime.  Res64: 50B2581FD4074C97  Time : 3212.0 sec.
user=vaughan
[2011-05-04 07:00:40]
881*2^937618-1 is not prime.  Res64: 28F097C8B41C9145  Time : 3135.0 sec.
user=vaughan
[2011-05-04 07:00:51]
885*2^937617-1 is not prime.  Res64: B0E608769A089EAF  Time : 3570.0 sec.
user=vaughan
[2011-05-04 07:20:30]
841*2^937619-1 is not prime.  Res64: 099540E7E972BC43  Time : 1192.0 sec.
user=vaughan
[2011-05-04 07:21:19]
885*2^937618-1 is not prime.  Res64: BF67E2E8BA05FC62  Time : 1258.0 sec.
user=vaughan
[2011-05-04 07:21:39]
921*2^937619-1 is not prime.  Res64: 7A382929A2E59E87  Time : 1259.0 sec.
user=vaughan
[2011-05-04 07:22:08]
971*2^937618-1 is not prime.  Res64: 8AD445A4F84DB0F4  Time : 1296.0 sec.
user=vaughan
[2011-05-04 07:25:53]
903*2^937619-1 is not prime.  Res64: 2B4DC0F2ACCE1A99  Time : 1513.0 sec.
user=vaughan
[2011-05-04 07:26:12]
985*2^937619-1 is not prime.  Res64: F1C3EB04A0F23E3F  Time : 1521.0 sec.
user=vaughan
[2011-05-04 07:28:41]
887*2^937618-1 is not prime.  Res64: AEC7339AB147E51C  Time : 1693.0 sec.
user=vaughan
[2011-05-04 07:29:37]
999*2^937619-1 is not prime.  Res64: CBD4E6999F4A1441  Time : 1696.0 sec.
user=vaughan
[2011-05-04 07:40:29]
843*2^937620-1 is not prime.  Res64: 28B71BAC04DE36A6  Time : 1200.0 sec.
user=vaughan
[2011-05-04 07:42:29]
959*2^937620-1 is not prime.  Res64: 9613902C3A358C10  Time : 1270.0 sec.
user=vaughan
[2011-05-04 07:42:49]
817*2^937621-1 is not prime.  Res64: 20D0F003A2DB65F5  Time : 1270.0 sec.
user=vaughan
[2011-05-04 07:43:51]
855*2^937621-1 is not prime.  Res64: D6C663C3E1F9F565  Time : 1304.0 sec.
user=vaughan
[2011-05-04 07:51:20]
931*2^937621-1 is not prime.  Res64: E9033673FCEEF2FD  Time : 1527.0 sec.
user=vaughan
[2011-05-04 07:51:42]
961*2^937621-1 is not prime.  Res64: 743AE718948EC978  Time : 1531.0 sec.
user=vaughan
[2011-05-04 07:57:28]
975*2^937621-1 is not prime.  Res64: 2C47727763903B14  Time : 1727.0 sec.
user=vaughan
[2011-05-04 07:58:26]
935*2^937622-1 is not prime.  Res64: B22C857097AEF113  Time : 1730.0 sec.
user=vaughan
[2011-05-04 08:00:20]
895*2^937623-1 is not prime.  Res64: CCE6984F9DEFC08A  Time : 1192.0 sec.
user=vaughan
[2011-05-04 08:03:31]
921*2^937623-1 is not prime.  Res64: 683E9C5E652388ED  Time : 1262.0 sec.
user=vaughan
[2011-05-04 08:03:53]
949*2^937623-1 is not prime.  Res64: 7190BC7038AC0D6A  Time : 1264.0 sec.
user=vaughan
[2011-05-04 09:22:43]
991*2^937623-1 is not prime.  Res64: 70DF1A8513E29DCE  Time : 5932.0 sec.
user=vaughan
[2011-05-04 09:22:43]
987*2^937625-1 is not prime.  Res64: A82A6E63890E5AE5  Time : 4731.0 sec.
user=vaughan
[2011-05-04 09:23:03]
939*2^937625-1 is not prime.  Res64: 5A45F77811BD4B74  Time : 4963.0 sec.
user=vaughan
[2011-05-04 18:03:13]
907*2^937625-1 is not prime.  Res64: EADDD3B6C1718095  Time : 36287.0 sec.
user=vaughan
[2011-05-04 18:03:15]
887*2^937624-1 is not prime.  Res64: D43ABF91F926BFA5  Time : 36715.0 sec.
user=vaughan
[2011-05-04 18:03:24]
847*2^937625-1 is not prime.  Res64: DD9527E029B35CCE  Time : 36357.0 sec.
user=vaughan
[2011-05-04 18:03:24]
831*2^937625-1 is not prime.  Res64: 31EA3AA8D0B2E70D  Time : 36703.0 sec.
user=vaughan
[2011-05-04 18:23:32]
947*2^937656-1 is not prime.  Res64: 36A6A11373F6E5CA  Time : 1217.0 sec.
user=vaughan
[2011-05-04 18:23:32]
903*2^937656-1 is not prime.  Res64: 714F0CBD5229D112  Time : 1219.0 sec.
user=vaughan
[2011-05-04 18:23:41]
983*2^937656-1 is not prime.  Res64: 9688B136859F23F6  Time : 1218.0 sec.
user=vaughan
[2011-05-04 18:23:41]
801*2^937657-1 is not prime.  Res64: 736EACC1C2486D4F  Time : 1218.0 sec.
user=vaughan
[2011-05-04 18:32:19]
893*2^937658-1 is not prime.  Res64: C5DCDCD5855A87BC  Time : 1733.0 sec.
user=vaughan
[2011-05-04 18:40:39]
813*2^937658-1 is not prime.  Res64: 63319142D4021709  Time : 2235.0 sec.
user=vaughan
[2011-05-04 18:45:13]
923*2^937658-1 is not prime.  Res64: B2D4608651CA6CFA  Time : 1302.0 sec.
user=vaughan
[2011-05-04 18:45:17]
977*2^937658-1 is not prime.  Res64: FFE5F1C1A81D0A93  Time : 1306.0 sec.
user=vaughan
[2011-05-04 18:45:21]
825*2^937659-1 is not prime.  Res64: A05531EB8B58E378  Time : 1301.0 sec.
user=vaughan
[2011-05-04 18:45:26]
861*2^937659-1 is not prime.  Res64: 0A201FB372CFC563  Time : 1305.0 sec.
user=vaughan
[2011-05-04 19:13:45]
825*2^937660-1 is not prime.  Res64: 50B5392630947D14  Time : 1704.0 sec.
user=vaughan
[2011-05-04 19:13:53]
919*2^937659-1 is not prime.  Res64: E93E56867B0887FF  Time : 1721.0 sec.
user=vaughan
[2011-05-04 19:13:54]
985*2^937659-1 is not prime.  Res64: 47A3DFE592035817  Time : 1717.0 sec.
user=vaughan
[2011-05-04 19:14:02]
987*2^937660-1 is not prime.  Res64: AE87BD8A41709D69  Time : 1717.0 sec.
user=ototero
[2011-05-04 19:21:35]
887*2^937626-1 is not prime.  Res64: E685E4B14A5FE10A  Time : 22314.0 sec.
user=ototero
[2011-05-04 19:21:35]
891*2^937626-1 is not prime.  Res64: 9598A23920F2A1FE  Time : 22313.0 sec.
user=ototero
[2011-05-04 19:21:35]
975*2^937626-1 is not prime.  Res64: 7E0136CE2F387F45  Time : 22313.0 sec.
user=ototero
[2011-05-04 19:21:36]
993*2^937626-1 is not prime.  Res64: B4DA5ABBA8C5A730  Time : 22313.0 sec.
user=ototero
[2011-05-04 19:21:36]
835*2^937627-1 is not prime.  Res64: C16EDB0704ACD7B2  Time : 22313.0 sec.
user=vaughan
[2011-05-04 19:42:22]
805*2^937663-1 is not prime.  Res64: E3134F519DA2D95E  Time : 1701.0 sec.
user=vaughan
[2011-05-04 19:42:25]
967*2^937661-1 is not prime.  Res64: 58CE2B5637398C26  Time : 1721.0 sec.
user=vaughan
[2011-05-04 19:42:32]
873*2^937662-1 is not prime.  Res64: 1A09EE2590D78991  Time : 1718.0 sec.
user=vaughan
[2011-05-04 19:42:39]
863*2^937662-1 is not prime.  Res64: 3115BC9DE7CF2065  Time : 1726.0 sec.
user=vaughan
[2011-05-04 20:04:46]
955*2^937625-1 is not prime.  Res64: B14F530F6AB27360  Time : 43276.0 sec.
user=vaughan
[2011-05-04 20:10:44]
909*2^937665-1 is not prime.  Res64: B6DDD116E532A628  Time : 1699.0 sec.
user=vaughan
[2011-05-04 20:10:52]
895*2^937665-1 is not prime.  Res64: 9578D723DAA346E8  Time : 1710.0 sec.
user=vaughan
[2011-05-04 20:10:54]
855*2^937666-1 is not prime.  Res64: B80E2B568568E0E8  Time : 1702.0 sec.
user=vaughan
[2011-05-04 20:11:15]
881*2^937666-1 is not prime.  Res64: 0896F31DD9B9D9B8  Time : 1717.0 sec.
user=vaughan
[2011-05-04 20:25:17]
807*2^937626-1 is not prime.  Res64: 48FD4EF8C896FA10  Time : 39754.0 sec.
user=vaughan
[2011-05-04 20:26:20]
993*2^937666-1 is not prime.  Res64: F2FCC10D02A204C4  Time : 1294.0 sec.
user=vaughan
[2011-05-04 20:26:21]
1001*2^937666-1 is not prime.  Res64: 5EA45D90188EC9BB  Time : 1295.0 sec.
user=vaughan
[2011-05-04 20:26:21]
971*2^937666-1 is not prime.  Res64: 26E73B224DE10807  Time : 1295.0 sec.
user=vaughan
[2011-05-04 20:35:32]
859*2^937667-1 is not prime.  Res64: C6754A2E9F00B6C7  Time : 1488.0 sec.
user=vaughan
[2011-05-04 20:35:43]
909*2^937667-1 is not prime.  Res64: C9F38A93BE9736EA  Time : 1492.0 sec.
user=vaughan
[2011-05-04 20:35:50]
963*2^937667-1 is not prime.  Res64: C9D90A7767BB480F  Time : 1497.0 sec.
user=vaughan
[2011-05-04 20:36:06]
981*2^937667-1 is not prime.  Res64: 2FDEE467E954D2AB  Time : 1492.0 sec.
user=vaughan
[2011-05-04 20:36:48]
861*2^937669-1 is not prime.  Res64: 3D064AFF2E2A672D  Time : 1225.0 sec.
user=vaughan
[2011-05-04 20:44:10]
895*2^937669-1 is not prime.  Res64: 2ED5D93F2183A77A  Time : 1228.0 sec.
user=vaughan
[2011-05-04 20:45:34]
897*2^937669-1 is not prime.  Res64: 822356A5B38D50F8  Time : 1218.0 sec.
user=vaughan
[2011-05-04 20:46:57]
927*2^937669-1 is not prime.  Res64: B3C9DB3FF3F7BD0C  Time : 1240.0 sec.
user=vaughan
[2011-05-04 20:47:34]
939*2^937669-1 is not prime.  Res64: 32B7BB4FF210D9A3  Time : 1274.0 sec.
user=vaughan
[2011-05-04 20:47:35]
845*2^937670-1 is not prime.  Res64: 4F93C9F1C05208C8  Time : 1275.0 sec.
user=vaughan
[2011-05-04 20:47:35]
851*2^937670-1 is not prime.  Res64: 11FD7AEA646475C3  Time : 1274.0 sec.
user=vaughan
[2011-05-04 20:49:33]
857*2^937670-1 is not prime.  Res64: 33F93ABBC6119A15  Time : 1228.0 sec.
user=vaughan
[2011-05-04 20:56:13]
861*2^937670-1 is not prime.  Res64: 13466A267A236810  Time : 1242.0 sec.
user=vaughan
[2011-05-04 20:56:28]
921*2^937670-1 is not prime.  Res64: 15519F2E31755479  Time : 1245.0 sec.
user=vaughan
[2011-05-04 20:56:33]
981*2^937670-1 is not prime.  Res64: B09E7C9C571B71E2  Time : 1244.0 sec.
user=vaughan
[2011-05-04 20:56:49]
865*2^937671-1 is not prime.  Res64: E714BEE5455B7F77  Time : 1244.0 sec.
user=vaughan
[2011-05-04 20:56:49]
895*2^937671-1 is not prime.  Res64: 5ED852545D0962B7  Time : 1201.0 sec.
user=vaughan
[2011-05-04 21:04:14]
961*2^937671-1 is not prime.  Res64: 5D5312264A415A03  Time : 1205.0 sec.
user=vaughan
[2011-05-04 21:05:53]
975*2^937671-1 is not prime.  Res64: 09E2A95B9EDFE662  Time : 1219.0 sec.
user=vaughan
[2011-05-04 21:07:11]
999*2^937671-1 is not prime.  Res64: 69B300ABBD1D03DC  Time : 1215.0 sec.
user=vaughan
[2011-05-04 21:08:48]
903*2^937672-1 is not prime.  Res64: FA2957702335DAF2  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:08:50]
909*2^937672-1 is not prime.  Res64: 9677960B6F8E1CF4  Time : 1275.0 sec.
user=vaughan
[2011-05-04 21:08:50]
917*2^937672-1 is not prime.  Res64: 492E9887D64D0DD2  Time : 1275.0 sec.
user=vaughan
[2011-05-04 21:09:40]
897*2^937673-1 is not prime.  Res64: 4240DA25A9A25E1B  Time : 1208.0 sec.
user=vaughan
[2011-05-04 21:16:50]
859*2^937675-1 is not prime.  Res64: 8BD250BC54940099  Time : 1201.0 sec.
user=vaughan
[2011-05-04 21:19:19]
881*2^937674-1 is not prime.  Res64: 4119505E549B2F2F  Time : 1386.0 sec.
user=vaughan
[2011-05-04 21:19:50]
885*2^937674-1 is not prime.  Res64: D72B2C80BD5A06D6  Time : 1403.0 sec.
user=vaughan
[2011-05-04 21:19:56]
891*2^937674-1 is not prime.  Res64: F467CEAEFACDE3AE  Time : 1403.0 sec.
user=vaughan
[2011-05-04 21:20:17]
805*2^937675-1 is not prime.  Res64: A93C06532468B5E2  Time : 1408.0 sec.
user=vaughan
[2011-05-04 21:24:21]
909*2^937676-1 is not prime.  Res64: 748D9A856A491AC4  Time : 1207.0 sec.
user=vaughan
[2011-05-04 21:26:14]
957*2^937676-1 is not prime.  Res64: C048E44C6A563CE1  Time : 1221.0 sec.
user=vaughan
[2011-05-04 21:27:27]
963*2^937676-1 is not prime.  Res64: 3B49581625A36D48  Time : 1217.0 sec.
user=vaughan
[2011-05-04 21:29:47]
999*2^937677-1 is not prime.  Res64: 3B7C7DC4D8ACCF95  Time : 1207.0 sec.
user=vaughan
[2011-05-04 21:30:02]
919*2^937677-1 is not prime.  Res64: 1DAD7B10E0024DCA  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:30:04]
961*2^937677-1 is not prime.  Res64: CCC0814B70B66F16  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:30:07]
945*2^937677-1 is not prime.  Res64: 2205C11ED21B4B94  Time : 1277.0 sec.
user=vaughan
[2011-05-04 21:36:53]
891*2^937678-1 is not prime.  Res64: A5EA7F0A6A352CC3  Time : 1204.0 sec.
user=vaughan
[2011-05-04 21:44:25]
845*2^937680-1 is not prime.  Res64: 9E3A007589E88572  Time : 1204.0 sec.
user=vaughan
[2011-05-04 21:46:30]
849*2^937680-1 is not prime.  Res64: 5F8E207A65685FF4  Time : 1217.0 sec.
user=vaughan
[2011-05-04 21:47:41]
905*2^937680-1 is not prime.  Res64: 07BA684289F18C70  Time : 1214.0 sec.
user=vaughan
[2011-05-04 21:49:53]
945*2^937680-1 is not prime.  Res64: A7DA7CD0D36F5628  Time : 1206.0 sec.
user=vaughan
[2011-05-04 21:50:52]
945*2^937678-1 is not prime.  Res64: 94FD61554D3C5A9D  Time : 1862.0 sec.
user=vaughan
[2011-05-04 21:51:15]
937*2^937681-1 is not prime.  Res64: C32B08417B4986E5  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:51:18]
875*2^937682-1 is not prime.  Res64: E7E508131702C31B  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:51:20]
885*2^937682-1 is not prime.  Res64: 2A0334C0206C7A38  Time : 1274.0 sec.
user=vaughan
[2011-05-04 21:51:27]
909*2^937679-1 is not prime.  Res64: 8CE98D3AD2FEC2EF  Time : 1870.0 sec.
user=vaughan
[2011-05-04 21:51:29]
911*2^937678-1 is not prime.  Res64: 20270065EB74F917  Time : 1931.0 sec.
user=vaughan
[2011-05-04 21:52:37]
843*2^937679-1 is not prime.  Res64: E099EF9A2F7F8499  Time : 1963.0 sec.
user=vaughan
[2011-05-04 21:56:53]
921*2^937682-1 is not prime.  Res64: 2B9DFC84F9927AD1  Time : 1201.0 sec.
user=vaughan
[2011-05-04 22:04:30]
801*2^937683-1 is not prime.  Res64: 420B0C3C1AC7B21C  Time : 1205.0 sec.
user=vaughan
[2011-05-04 22:06:48]
885*2^937683-1 is not prime.  Res64: 991E11C8EC83A3A9  Time : 1218.0 sec.
user=vaughan
[2011-05-04 22:07:56]
943*2^937683-1 is not prime.  Res64: B8106E52FBABD271  Time : 1215.0 sec.
user=vaughan
[2011-05-04 22:08:23]
1001*2^937682-1 is not prime.  Res64: 8BFB5489DF024870  Time : 1871.0 sec.
user=vaughan
[2011-05-04 22:09:59]
843*2^937684-1 is not prime.  Res64: A83B458C7CB99DBD  Time : 1206.0 sec.
user=vaughan
[2011-05-04 22:12:29]
905*2^937684-1 is not prime.  Res64: 61C973227A4B7ABF  Time : 1275.0 sec.
user=vaughan
[2011-05-04 22:12:34]
927*2^937684-1 is not prime.  Res64: C7CB1824FF65451C  Time : 1277.0 sec.
user=vaughan
[2011-05-04 22:12:35]
965*2^937684-1 is not prime.  Res64: 229C8A9528CCAB50  Time : 1275.0 sec.
user=vaughan
[2011-05-04 22:16:24]
869*2^937684-1 is not prime.  Res64: E129FE30148AB80C  Time : 1533.0 sec.
user=vaughan
[2011-05-04 22:16:53]
829*2^937687-1 is not prime.  Res64: DB2A0BDBD312F0DF  Time : 1201.0 sec.
user=vaughan
[2011-05-04 22:17:43]
801*2^937685-1 is not prime.  Res64: 5036E5136099B331  Time : 1576.0 sec.
user=vaughan
[2011-05-04 22:18:29]
941*2^937682-1 is not prime.  Res64: CCFF1DEE9F488D43  Time : 2477.0 sec.
user=vaughan
[2011-05-04 22:20:39]
887*2^937686-1 is not prime.  Res64: F3FBA8639D113303  Time : 1750.0 sec.
user=vaughan
[2011-05-04 22:21:54]
993*2^937686-1 is not prime.  Res64: C0714DE93FBEBF3A  Time : 1757.0 sec.
user=vaughan
[2011-05-04 22:24:35]
861*2^937687-1 is not prime.  Res64: 9901A33EAB031070  Time : 1205.0 sec.
user=vaughan
[2011-05-04 22:27:06]
933*2^937687-1 is not prime.  Res64: 6908536F727AE39A  Time : 1218.0 sec.
user=vaughan
[2011-05-04 22:28:11]
973*2^937687-1 is not prime.  Res64: DD5C5C33A79FC931  Time : 1215.0 sec.
user=vaughan
[2011-05-04 22:30:08]
993*2^937687-1 is not prime.  Res64: 6A9DF539E7B532E0  Time : 1209.0 sec.
user=vaughan
[2011-05-04 22:33:44]
845*2^937688-1 is not prime.  Res64: 50A853BFFFD750FE  Time : 1275.0 sec.
user=vaughan
[2011-05-04 22:33:47]
875*2^937688-1 is not prime.  Res64: 41CE78B860656566  Time : 1274.0 sec.
user=vaughan
[2011-05-04 22:33:48]
957*2^937688-1 is not prime.  Res64: A4492ADC173A41B2  Time : 1273.0 sec.
user=vaughan
[2011-05-04 22:36:53]
951*2^937689-1 is not prime.  Res64: D77D18A6130D874F  Time : 1200.0 sec.
user=vaughan
[2011-05-04 22:44:17]
835*2^937689-1 is not prime.  Res64: 127F165B23EFE831  Time : 1673.0 sec.
user=vaughan
[2011-05-04 22:44:40]
885*2^937690-1 is not prime.  Res64: 8068390FF3F845A1  Time : 1205.0 sec.
user=vaughan
[2011-05-04 22:45:01]
987*2^937689-1 is not prime.  Res64: 8205E6B44C52452E  Time : 1638.0 sec.
user=vaughan
[2011-05-04 22:47:23]
801*2^937691-1 is not prime.  Res64: D94759C33C86506F  Time : 1217.0 sec.
user=vaughan
[2011-05-04 22:48:26]
813*2^937691-1 is not prime.  Res64: AFF59CDB7C7BD516  Time : 1215.0 sec.
user=vaughan
[2011-05-04 22:50:14]
825*2^937691-1 is not prime.  Res64: 621BEA68C3FCA032  Time : 1207.0 sec.
user=vaughan
[2011-05-04 22:54:59]
945*2^937691-1 is not prime.  Res64: 6FD69AC2DEB58D71  Time : 1275.0 sec.
user=vaughan
[2011-05-04 22:55:01]
879*2^937692-1 is not prime.  Res64: 595227BC567DF7D6  Time : 1274.0 sec.
user=vaughan
[2011-05-04 22:55:03]
887*2^937692-1 is not prime.  Res64: AEEC2367AEA6F911  Time : 1275.0 sec.
user=vaughan
[2011-05-04 22:55:16]
991*2^937689-1 is not prime.  Res64: 4E14B31198D788E5  Time : 2078.0 sec.
user=vaughan
[2011-05-04 22:56:31]
861*2^937690-1 is not prime.  Res64: 746FA5A45FBB89A4  Time : 2077.0 sec.
user=vaughan
[2011-05-04 22:56:53]
909*2^937692-1 is not prime.  Res64: 95A78CEED3B72E13  Time : 1200.0 sec.
user=vaughan
[2011-05-04 23:04:46]
983*2^937692-1 is not prime.  Res64: 046F34D388639E63  Time : 1207.0 sec.
user=vaughan
[2011-05-04 23:07:40]
825*2^937694-1 is not prime.  Res64: F989D5AF74E923E8  Time : 1217.0 sec.
user=vaughan
[2011-05-04 23:08:40]
887*2^937694-1 is not prime.  Res64: C70E0C3FFFF4341E  Time : 1214.0 sec.
user=vaughan
[2011-05-04 23:10:20]
915*2^937694-1 is not prime.  Res64: A349A41D038E8715  Time : 1206.0 sec.
user=vaughan
[2011-05-04 23:11:51]
967*2^937693-1 is not prime.  Res64: 06FD6BB5D461A80A  Time : 1610.0 sec.
user=vaughan
[2011-05-04 23:16:12]
951*2^937694-1 is not prime.  Res64: 84B91EC084832EFB  Time : 1273.0 sec.
user=vaughan
[2011-05-04 23:16:17]
819*2^937695-1 is not prime.  Res64: 0568B74D6E17F9CD  Time : 1275.0 sec.
user=vaughan
[2011-05-04 23:16:18]
983*2^937694-1 is not prime.  Res64: C363F40403D29FF9  Time : 1278.0 sec.
user=vaughan
[2011-05-04 23:16:54]
903*2^937696-1 is not prime.  Res64: 0087F2038DE77B99  Time : 1201.0 sec.
user=vaughan
[2011-05-04 23:17:01]
923*2^937692-1 is not prime.  Res64: 48253D6936A47984  Time : 1964.0 sec.
user=vaughan
[2011-05-04 23:24:53]
917*2^937696-1 is not prime.  Res64: DE59B913277B5EB6  Time : 1207.0 sec.
user=vaughan
[2011-05-04 23:27:57]
939*2^937696-1 is not prime.  Res64: 8A66128C2017CCFC  Time : 1218.0 sec.
user=vaughan
[2011-05-04 23:28:54]
847*2^937697-1 is not prime.  Res64: 921DEB95005D244E  Time : 1215.0 sec.
user=vaughan
[2011-05-04 23:30:07]
919*2^937695-1 is not prime.  Res64: A45490A0EAFFB335  Time : 2092.0 sec.
user=vaughan
[2011-05-04 23:30:28]
885*2^937697-1 is not prime.  Res64: DE9B5D0CE8AABA17  Time : 1208.0 sec.
user=vaughan
[2011-05-04 23:31:25]
951*2^937695-1 is not prime.  Res64: B362A97C5344B515  Time : 2094.0 sec.
user=vaughan
[2011-05-04 23:36:24]
997*2^937697-1 is not prime.  Res64: 5346C0CC8F4B7045  Time : 1474.0 sec.
user=vaughan
[2011-05-04 23:36:54]
833*2^937700-1 is not prime.  Res64: 18049DE9C405A0DC  Time : 1200.0 sec.
user=vaughan
[2011-05-04 23:37:28]
867*2^937698-1 is not prime.  Res64: 1759AAB944173A7A  Time : 1276.0 sec.
user=vaughan
[2011-05-04 23:37:33]
887*2^937698-1 is not prime.  Res64: E45ECA05E90CC98E  Time : 1276.0 sec.
user=vaughan
[2011-05-04 23:37:33]
905*2^937698-1 is not prime.  Res64: 2DAD69164CCD0479  Time : 1276.0 sec.
user=vaughan
[2011-05-04 23:42:53]
825*2^937701-1 is not prime.  Res64: 3D56C3C34D1021FA  Time : 1552.0 sec.
user=vaughan
[2011-05-04 23:44:57]
961*2^937701-1 is not prime.  Res64: 1198E7D6511E0D9F  Time : 1205.0 sec.
user=vaughan
[2011-05-04 23:48:13]
843*2^937702-1 is not prime.  Res64: BD9CF570A05B98D8  Time : 1217.0 sec.
user=vaughan
[2011-05-04 23:49:07]
889*2^937703-1 is not prime.  Res64: 1EEB7CAD291B3C49  Time : 1213.0 sec.
user=vaughan
[2011-05-04 23:50:34]
999*2^937703-1 is not prime.  Res64: 3BF3C427353D61B3  Time : 1207.0 sec.
user=vaughan
[2011-05-04 23:56:54]
831*2^937706-1 is not prime.  Res64: F0647C84F562B777  Time : 1200.0 sec.
user=vaughan
[2011-05-04 23:58:45]
801*2^937707-1 is not prime.  Res64: 7813627A76362B65  Time : 1278.0 sec.
user=vaughan
[2011-05-04 23:58:49]
961*2^937707-1 is not prime.  Res64: B30EA5080A213A58  Time : 1276.0 sec.
user=vaughan
[2011-05-04 23:58:50]
869*2^937708-1 is not prime.  Res64: 78F7BBE4BD3CAE19  Time : 1277.0 sec.
user=vaughan
[2011-05-05 00:00:05]
937*2^937705-1 is not prime.  Res64: 9DB2A198678E4678  Time : 1421.0 sec.
user=vaughan
[2011-05-05 00:00:13]
985*2^937703-1 is not prime.  Res64: CCD1B4BFA545055A  Time : 1807.0 sec.