user=vaughan
[2011-05-23 00:08:45]
945*2^950787-1 is not prime.  Res64: DC64FF7F6C3E6117  Time : 1282.0 sec.
user=gd_barnes
[2011-05-23 00:20:14]
993*2^950786-1 is not prime.  Res64: ED9447C7DB787A77  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 00:20:14]
871*2^950787-1 is not prime.  Res64: 6DBA50C9B7F75694  Time : 2050.0 sec.
user=vaughan
[2011-05-23 00:20:43]
889*2^950789-1 is not prime.  Res64: B24C0C1FF30ACDC8  Time : 1220.0 sec.
user=vaughan
[2011-05-23 00:21:18]
885*2^950789-1 is not prime.  Res64: 916F734637B6928D  Time : 1279.0 sec.
user=vaughan
[2011-05-23 00:21:57]
985*2^950789-1 is not prime.  Res64: D828705E5C637124  Time : 1293.0 sec.
user=gd_barnes
[2011-05-23 00:23:43]
961*2^950787-1 is not prime.  Res64: 13BD1610ACB0D9BB  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 00:23:43]
979*2^950787-1 is not prime.  Res64: 78D65B81B819785D  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 00:26:34]
899*2^950788-1 is not prime.  Res64: 9464801C8AA8602D  Time : 1982.0 sec.
user=gd_barnes
[2011-05-23 00:26:34]
909*2^950788-1 is not prime.  Res64: 78AB2576ED99A7A8  Time : 1982.0 sec.
user=gd_barnes
[2011-05-23 00:26:36]
839*2^950788-1 is not prime.  Res64: 05CDBE6C19EB0B0E  Time : 2067.0 sec.
user=gd_barnes
[2011-05-23 00:26:36]
855*2^950788-1 is not prime.  Res64: FBB6A1443FAB508D  Time : 2067.0 sec.
user=gd_barnes
[2011-05-23 00:28:50]
927*2^950788-1 is not prime.  Res64: 4A5371CF035484BC  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 00:28:50]
933*2^950788-1 is not prime.  Res64: B5D196EB55E8E290  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 00:29:37]
957*2^950788-1 is not prime.  Res64: 2E25B349016B8FA1  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 00:29:37]
975*2^950788-1 is not prime.  Res64: 5E728C5F1E735125  Time : 2042.0 sec.
user=vaughan
[2011-05-23 00:29:52]
821*2^950790-1 is not prime.  Res64: 2E23F56AC1B25DEE  Time : 1267.0 sec.
user=vaughan
[2011-05-23 00:41:49]
855*2^950791-1 is not prime.  Res64: B3A1B76855F6827D  Time : 1267.0 sec.
user=vaughan
[2011-05-23 00:42:23]
901*2^950791-1 is not prime.  Res64: 79E79C4B6979CF45  Time : 1266.0 sec.
user=vaughan
[2011-05-23 00:43:04]
923*2^950792-1 is not prime.  Res64: ACB5C737C8EA339E  Time : 1268.0 sec.
user=vaughan
[2011-05-23 00:50:53]
861*2^950795-1 is not prime.  Res64: BFDB647626160A8A  Time : 1261.0 sec.
user=gd_barnes
[2011-05-23 00:54:47]
813*2^950791-1 is not prime.  Res64: 728CC89D1A87F1D0  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 00:54:47]
843*2^950791-1 is not prime.  Res64: BD0FE16C4B68167A  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 00:57:45]
999*2^950792-1 is not prime.  Res64: A2958F32D1AB4E4E  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 00:57:45]
807*2^950793-1 is not prime.  Res64: BE7BF9E9241EDB40  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 01:00:56]
847*2^950793-1 is not prime.  Res64: 7AC41337BDD3E5A6  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 01:00:56]
861*2^950793-1 is not prime.  Res64: 2C6B44A4DCAD4C9A  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 01:01:00]
921*2^950793-1 is not prime.  Res64: 4DA5DBD4532E4AA0  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 01:01:00]
985*2^950793-1 is not prime.  Res64: A671D6D101CF3B8C  Time : 2064.0 sec.
user=vaughan
[2011-05-23 01:02:54]
871*2^950795-1 is not prime.  Res64: 92B575065A106323  Time : 1265.0 sec.
user=gd_barnes
[2011-05-23 01:03:07]
891*2^950794-1 is not prime.  Res64: 31CD08997710DC50  Time : 2010.0 sec.
user=gd_barnes
[2011-05-23 01:03:07]
975*2^950794-1 is not prime.  Res64: 677D1611AC9B31C9  Time : 2010.0 sec.
user=gd_barnes
[2011-05-23 01:03:30]
991*2^950793-1 is not prime.  Res64: D72A1296F59FB40C  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 01:03:30]
831*2^950794-1 is not prime.  Res64: 4C53CA1C0B7A1F9F  Time : 2080.0 sec.
user=vaughan
[2011-05-23 01:03:31]
909*2^950795-1 is not prime.  Res64: 70C24B39E5735F17  Time : 1269.0 sec.
user=vaughan
[2011-05-23 01:04:09]
969*2^950795-1 is not prime.  Res64: 464B78C5D4A7F507  Time : 1265.0 sec.
user=vaughan
[2011-05-23 01:12:00]
803*2^950796-1 is not prime.  Res64: 5DC9035FF9D09931  Time : 1267.0 sec.
user=ototero
[2011-05-23 01:23:49]
873*2^950755-1 is not prime.  Res64: 305E8F0C0980CA17  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:50]
885*2^950755-1 is not prime.  Res64: F612B597A61020F5  Time : 15192.0 sec.
user=ototero
[2011-05-23 01:23:50]
919*2^950755-1 is not prime.  Res64: 507CCCCDB5FEBDDA  Time : 15192.0 sec.
user=ototero
[2011-05-23 01:23:50]
875*2^950756-1 is not prime.  Res64: 3860E5A53C062576  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:50]
899*2^950756-1 is not prime.  Res64: 3D551E25BE1AE2FA  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:50]
903*2^950756-1 is not prime.  Res64: 83B9DEB2803B5C9F  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:50]
987*2^950756-1 is not prime.  Res64: D5823B8FC3695D1F  Time : 15190.0 sec.
user=ototero
[2011-05-23 01:23:51]
861*2^950757-1 is not prime.  Res64: 8EA54DB5913FBE5C  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:51]
891*2^950757-1 is not prime.  Res64: 5670040BEFAE9000  Time : 15191.0 sec.
user=ototero
[2011-05-23 01:23:51]
919*2^950757-1 is not prime.  Res64: BA79822E0778FB8F  Time : 15190.0 sec.
user=vaughan
[2011-05-23 01:23:57]
887*2^950798-1 is not prime.  Res64: 5AAB1DCDEFD935A4  Time : 1263.0 sec.
user=vaughan
[2011-05-23 01:24:36]
945*2^950798-1 is not prime.  Res64: EDBEB467DC923E6D  Time : 1266.0 sec.
user=vaughan
[2011-05-23 01:25:15]
955*2^950799-1 is not prime.  Res64: EEBD36AB1162C7F3  Time : 1266.0 sec.
user=gd_barnes
[2011-05-23 01:28:49]
845*2^950796-1 is not prime.  Res64: 097E67C7D62A3EA9  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 01:28:49]
879*2^950796-1 is not prime.  Res64: DE582C8E9FEC311C  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 01:32:09]
983*2^950796-1 is not prime.  Res64: EB898AA30F4C1346  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 01:32:09]
819*2^950797-1 is not prime.  Res64: 98A476E48EF52FFB  Time : 2064.0 sec.
user=vaughan
[2011-05-23 01:33:04]
975*2^950799-1 is not prime.  Res64: E52B9A1F901C0CAD  Time : 1265.0 sec.
user=gd_barnes
[2011-05-23 01:34:39]
849*2^950797-1 is not prime.  Res64: 41B8D74220F8813E  Time : 2023.0 sec.
user=gd_barnes
[2011-05-23 01:34:39]
889*2^950797-1 is not prime.  Res64: C5DCABE38C9793B8  Time : 2023.0 sec.
user=gd_barnes
[2011-05-23 01:34:52]
895*2^950797-1 is not prime.  Res64: E1C0D4DAA7980197  Time : 2032.0 sec.
user=gd_barnes
[2011-05-23 01:34:52]
919*2^950797-1 is not prime.  Res64: 50715E00E72DD5C8  Time : 2032.0 sec.
user=gd_barnes
[2011-05-23 01:37:42]
951*2^950798-1 is not prime.  Res64: 388A672E35874915  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 01:37:42]
891*2^950799-1 is not prime.  Res64: 0F7DB864F23D56B8  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 01:37:47]
893*2^950798-1 is not prime.  Res64: C77CF5410C2D8FAC  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 01:37:47]
923*2^950798-1 is not prime.  Res64: 651564F682E21F87  Time : 2080.0 sec.
user=vaughan
[2011-05-23 01:44:43]
819*2^950804-1 is not prime.  Res64: 242D30D7D2E9FEA7  Time : 1246.0 sec.
user=vaughan
[2011-05-23 01:45:04]
885*2^950804-1 is not prime.  Res64: 5338F1A6F6D37B46  Time : 1228.0 sec.
user=vaughan
[2011-05-23 01:45:48]
959*2^950804-1 is not prime.  Res64: BDE251271824D749  Time : 1233.0 sec.
user=vaughan
[2011-05-23 01:53:10]
873*2^950806-1 is not prime.  Res64: 2269825879453511  Time : 1206.0 sec.
user=gd_barnes
[2011-05-23 02:03:22]
969*2^950804-1 is not prime.  Res64: AE54B1DCEA78C8E2  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 02:03:22]
831*2^950805-1 is not prime.  Res64: 3D3EEAD882F3D163  Time : 2073.0 sec.
user=vaughan
[2011-05-23 02:04:59]
887*2^950808-1 is not prime.  Res64: 1271AC58BE0C8BA7  Time : 1216.0 sec.
user=vaughan
[2011-05-23 02:05:14]
977*2^950808-1 is not prime.  Res64: 6016CDDF965F63BB  Time : 1210.0 sec.
user=vaughan
[2011-05-23 02:06:11]
807*2^950809-1 is not prime.  Res64: 2485EC9F713D6AD2  Time : 1223.0 sec.
user=gd_barnes
[2011-05-23 02:06:13]
961*2^950805-1 is not prime.  Res64: C73D40DF1C9C40FA  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 02:06:13]
999*2^950805-1 is not prime.  Res64: 5E670C1CCE98D86B  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 02:09:08]
983*2^950806-1 is not prime.  Res64: E28ADC13B78F3076  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 02:09:08]
865*2^950807-1 is not prime.  Res64: ADCFA4016371A376  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 02:09:39]
887*2^950806-1 is not prime.  Res64: 96E9060042E9C9A2  Time : 2100.0 sec.
user=gd_barnes
[2011-05-23 02:09:39]
917*2^950806-1 is not prime.  Res64: C34A7DE1F79DDC49  Time : 2100.0 sec.
user=gd_barnes
[2011-05-23 02:10:42]
809*2^950808-1 is not prime.  Res64: E82E89E9A60511B3  Time : 1975.0 sec.
user=gd_barnes
[2011-05-23 02:10:42]
839*2^950808-1 is not prime.  Res64: 44A6A6594D1205E3  Time : 1975.0 sec.
user=gd_barnes
[2011-05-23 02:11:58]
879*2^950807-1 is not prime.  Res64: E958AA95587DAED1  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 02:11:58]
915*2^950807-1 is not prime.  Res64: 4D40057FB77BD40B  Time : 2056.0 sec.
user=vaughan
[2011-05-23 02:13:20]
831*2^950809-1 is not prime.  Res64: 07FF058EA57F5E9A  Time : 1210.0 sec.
user=vaughan
[2011-05-23 02:24:33]
857*2^950810-1 is not prime.  Res64: A6B1B0245F16EB12  Time : 1174.0 sec.
user=vaughan
[2011-05-23 02:25:27]
823*2^950811-1 is not prime.  Res64: 95AA3FDF9E58F5D6  Time : 1213.0 sec.
user=vaughan
[2011-05-23 02:26:58]
835*2^950811-1 is not prime.  Res64: A41AC6575F01731C  Time : 1247.0 sec.
user=vaughan
[2011-05-23 02:33:35]
871*2^950815-1 is not prime.  Res64: 7227489E1040E39C  Time : 1216.0 sec.
user=gd_barnes
[2011-05-23 02:37:44]
975*2^950809-1 is not prime.  Res64: D88EDF537009F1A6  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 02:37:44]
845*2^950810-1 is not prime.  Res64: 04974A0746F3A36D  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 02:40:46]
975*2^950811-1 is not prime.  Res64: 04030C9BCFA7F706  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 02:40:46]
863*2^950812-1 is not prime.  Res64: B9E6EC0AE0ACD34D  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 02:43:21]
885*2^950812-1 is not prime.  Res64: 8C2EB6D07057F477  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 02:43:21]
915*2^950813-1 is not prime.  Res64: D23F8AA09C2F03DC  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 02:44:02]
985*2^950813-1 is not prime.  Res64: 96BC1D9F07AD2DA3  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 02:44:02]
833*2^950814-1 is not prime.  Res64: C581238FB94CD260  Time : 2063.0 sec.
user=vaughan
[2011-05-23 02:44:06]
873*2^950815-1 is not prime.  Res64: 6049FE029C873096  Time : 1174.0 sec.
user=gd_barnes
[2011-05-23 02:44:09]
893*2^950814-1 is not prime.  Res64: 8448B64576D4F9E0  Time : 2007.0 sec.
user=gd_barnes
[2011-05-23 02:44:09]
945*2^950814-1 is not prime.  Res64: 0DE956CF86AB5B9E  Time : 2007.0 sec.
user=vaughan
[2011-05-23 02:45:44]
885*2^950815-1 is not prime.  Res64: 0D5AF79BF32393C4  Time : 1217.0 sec.
user=gd_barnes
[2011-05-23 02:45:57]
805*2^950815-1 is not prime.  Res64: CC80435B276EF16B  Time : 2039.0 sec.
user=gd_barnes
[2011-05-23 02:45:57]
841*2^950815-1 is not prime.  Res64: 2B19013EE82C2E9D  Time : 2039.0 sec.
user=vaughan
[2011-05-23 02:47:48]
891*2^950815-1 is not prime.  Res64: 8BE4FBB0395BDD6F  Time : 1250.0 sec.
user=vaughan
[2011-05-23 02:53:55]
939*2^950815-1 is not prime.  Res64: 7DB0924A79A45BD6  Time : 1221.0 sec.
user=vaughan
[2011-05-23 03:03:46]
937*2^950817-1 is not prime.  Res64: 08727A2F70054ED3  Time : 1181.0 sec.
user=vaughan
[2011-05-23 03:06:15]
857*2^950818-1 is not prime.  Res64: 25F8C712C03BDA2E  Time : 1232.0 sec.
user=vaughan
[2011-05-23 03:08:55]
945*2^950818-1 is not prime.  Res64: C822241A86D0C4A1  Time : 1267.0 sec.
user=gd_barnes
[2011-05-23 03:12:15]
973*2^950815-1 is not prime.  Res64: 4C34970AFF0180F1  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 03:12:15]
813*2^950816-1 is not prime.  Res64: CDE84EDF65649E39  Time : 2071.0 sec.
user=vaughan
[2011-05-23 03:14:24]
987*2^950818-1 is not prime.  Res64: FBD1F1AFE5C6FB95  Time : 1230.0 sec.
user=gd_barnes
[2011-05-23 03:15:24]
825*2^950816-1 is not prime.  Res64: BE33761CB46AC3AB  Time : 2078.0 sec.
user=gd_barnes
[2011-05-23 03:15:24]
869*2^950816-1 is not prime.  Res64: 2E08B38527A61EFF  Time : 2078.0 sec.
user=gd_barnes
[2011-05-23 03:16:24]
927*2^950816-1 is not prime.  Res64: 9030D3B069739082  Time : 1983.0 sec.
user=gd_barnes
[2011-05-23 03:16:24]
969*2^950816-1 is not prime.  Res64: 35FCAC7609E26B3C  Time : 1983.0 sec.
user=gd_barnes
[2011-05-23 03:18:04]
885*2^950817-1 is not prime.  Res64: C935FCC0C77D0457  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 03:18:04]
895*2^950817-1 is not prime.  Res64: 0A60F6F1152DE394  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 03:18:49]
815*2^950818-1 is not prime.  Res64: EDA40345D601E137  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 03:18:49]
831*2^950818-1 is not prime.  Res64: E2E5337638202801  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 03:20:12]
933*2^950818-1 is not prime.  Res64: 0C95C2A40C4F34F4  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 03:20:12]
941*2^950818-1 is not prime.  Res64: 45D4B183FC3C08B1  Time : 2055.0 sec.
user=vaughan
[2011-05-23 03:23:20]
853*2^950819-1 is not prime.  Res64: AD8AA78C067BDB56  Time : 1174.0 sec.
user=vaughan
[2011-05-23 03:26:42]
863*2^950820-1 is not prime.  Res64: BAA841B10D6FBD95  Time : 1227.0 sec.
user=vaughan
[2011-05-23 03:29:56]
867*2^950820-1 is not prime.  Res64: 2CD63682A3852665  Time : 1261.0 sec.
user=vaughan
[2011-05-23 03:34:51]
871*2^950821-1 is not prime.  Res64: 7F8C43C8816FA35C  Time : 1227.0 sec.
user=vaughan
[2011-05-23 03:42:56]
955*2^950823-1 is not prime.  Res64: 835FCED959F7F2B6  Time : 1176.0 sec.
user=gd_barnes
[2011-05-23 03:46:52]
801*2^950821-1 is not prime.  Res64: CC3111BF9F6121CB  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 03:46:52]
855*2^950821-1 is not prime.  Res64: E273045DF245A034  Time : 2077.0 sec.
user=vaughan
[2011-05-23 03:47:09]
963*2^950823-1 is not prime.  Res64: 31AF3EDEBDA2C1A1  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 03:49:02]
895*2^950821-1 is not prime.  Res64: CA76B9AB40FD5D98  Time : 2018.0 sec.
user=gd_barnes
[2011-05-23 03:49:02]
939*2^950821-1 is not prime.  Res64: 9BC31C77BF079EF8  Time : 2018.0 sec.
user=gd_barnes
[2011-05-23 03:50:36]
957*2^950821-1 is not prime.  Res64: 075E17E082AC1579  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 03:50:36]
961*2^950821-1 is not prime.  Res64: 48E2EC599AB0E85C  Time : 2052.0 sec.
user=vaughan
[2011-05-23 03:50:59]
873*2^950824-1 is not prime.  Res64: 9D4A34E25064616D  Time : 1263.0 sec.
user=gd_barnes
[2011-05-23 03:52:23]
831*2^950822-1 is not prime.  Res64: AC3EDFFE7939D2EC  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 03:52:23]
917*2^950822-1 is not prime.  Res64: 22A0641594E717BD  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 03:52:52]
923*2^950822-1 is not prime.  Res64: 12F2192FB23C04FD  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 03:52:52]
953*2^950822-1 is not prime.  Res64: 79404E55C16F5277  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 03:54:40]
853*2^950823-1 is not prime.  Res64: DE6BF3CF98448582  Time : 2068.0 sec.
user=gd_barnes
[2011-05-23 03:54:40]
951*2^950823-1 is not prime.  Res64: 453C39155E1E24E0  Time : 2068.0 sec.
user=vaughan
[2011-05-23 03:55:22]
995*2^950824-1 is not prime.  Res64: 31EE97AB8B52E211  Time : 1231.0 sec.
user=vaughan
[2011-05-23 04:02:43]
985*2^950825-1 is not prime.  Res64: A5EC1447319104E2  Time : 1187.0 sec.
user=vaughan
[2011-05-23 04:07:49]
837*2^950826-1 is not prime.  Res64: 31F0144221DB2EB6  Time : 1240.0 sec.
user=vaughan
[2011-05-23 04:12:10]
895*2^950827-1 is not prime.  Res64: E639EDE5363055C4  Time : 1271.0 sec.
user=vaughan
[2011-05-23 04:16:03]
969*2^950829-1 is not prime.  Res64: 748B4C0A49638F48  Time : 1241.0 sec.
user=gd_barnes
[2011-05-23 04:21:08]
991*2^950825-1 is not prime.  Res64: 5093633CBE591E59  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 04:21:08]
821*2^950826-1 is not prime.  Res64: ABE1E3E5BDA4E531  Time : 2056.0 sec.
user=vaughan
[2011-05-23 04:22:29]
827*2^950830-1 is not prime.  Res64: 0D219570B88BFEC6  Time : 1186.0 sec.
user=gd_barnes
[2011-05-23 04:23:15]
873*2^950826-1 is not prime.  Res64: 7C6C102732241B77  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 04:23:15]
891*2^950826-1 is not prime.  Res64: EA517B52543FF7E2  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 04:24:37]
813*2^950827-1 is not prime.  Res64: E4E923905E7B841D  Time : 2041.0 sec.
user=gd_barnes
[2011-05-23 04:24:37]
861*2^950827-1 is not prime.  Res64: 3D28CA168B2D7CE2  Time : 2041.0 sec.
user=gd_barnes
[2011-05-23 04:26:56]
915*2^950827-1 is not prime.  Res64: CC02CB2A9EBD6BBD  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 04:26:56]
961*2^950827-1 is not prime.  Res64: CEAEA197F33DA984  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 04:27:11]
843*2^950828-1 is not prime.  Res64: 0FD151EC0A1E3F96  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 04:27:11]
963*2^950828-1 is not prime.  Res64: 0074B437B8AEF3B3  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 04:28:02]
867*2^950829-1 is not prime.  Res64: FB0998D39F484C1D  Time : 2002.0 sec.
user=gd_barnes
[2011-05-23 04:28:02]
919*2^950829-1 is not prime.  Res64: 38958F376C549724  Time : 2002.0 sec.
user=vaughan
[2011-05-23 04:28:21]
923*2^950830-1 is not prime.  Res64: DE1A2D0312DB58E7  Time : 1232.0 sec.
user=vaughan
[2011-05-23 04:33:10]
941*2^950830-1 is not prime.  Res64: 344B7D622D8473B9  Time : 1260.0 sec.
user=vaughan
[2011-05-23 04:36:31]
945*2^950830-1 is not prime.  Res64: 5E4DEBED927925F6  Time : 1228.0 sec.
user=vaughan
[2011-05-23 04:42:05]
809*2^950832-1 is not prime.  Res64: 42F62D44948F970A  Time : 1176.0 sec.
user=vaughan
[2011-05-23 04:48:49]
803*2^950836-1 is not prime.  Res64: 3E7AB16C84773D68  Time : 1229.0 sec.
user=vaughan
[2011-05-23 04:54:11]
843*2^950836-1 is not prime.  Res64: 6A575CD4B45513CA  Time : 1261.0 sec.
user=gd_barnes
[2011-05-23 04:54:42]
871*2^950831-1 is not prime.  Res64: 759BD74FAE5E2A74  Time : 2014.0 sec.
user=gd_barnes
[2011-05-23 04:54:42]
955*2^950831-1 is not prime.  Res64: B36D270C88A93642  Time : 2014.0 sec.
user=vaughan
[2011-05-23 04:56:59]
861*2^950837-1 is not prime.  Res64: 6416225F98CBFBC2  Time : 1228.0 sec.
user=gd_barnes
[2011-05-23 04:57:26]
957*2^950832-1 is not prime.  Res64: B8A289619C3D37FA  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 04:57:26]
801*2^950833-1 is not prime.  Res64: 8BBEC0FCB2CED987  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 04:58:57]
807*2^950833-1 is not prime.  Res64: 60EF6E455ED4F974  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 04:58:57]
861*2^950833-1 is not prime.  Res64: EA595678BD7AAEBC  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 05:01:26]
955*2^950833-1 is not prime.  Res64: 6D98AD5C73FE8C99  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 05:01:26]
813*2^950834-1 is not prime.  Res64: 3BA9D467E0B952D6  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 05:01:34]
815*2^950834-1 is not prime.  Res64: EF853ED59CBF90D8  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 05:01:34]
851*2^950834-1 is not prime.  Res64: 4A1056C5CFBAF893  Time : 2063.0 sec.
user=vaughan
[2011-05-23 05:01:42]
931*2^950837-1 is not prime.  Res64: 3A66DBC0F3E51E99  Time : 1177.0 sec.
user=gd_barnes
[2011-05-23 05:02:25]
873*2^950834-1 is not prime.  Res64: B6EC96A445E1564C  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 05:02:25]
823*2^950835-1 is not prime.  Res64: 5BEBE95DB6247670  Time : 2063.0 sec.
user=vaughan
[2011-05-23 05:09:24]
921*2^950838-1 is not prime.  Res64: 4B53EDBC24CE98A3  Time : 1236.0 sec.
user=vaughan
[2011-05-23 05:15:05]
885*2^950839-1 is not prime.  Res64: B1F2D44E8833E67B  Time : 1254.0 sec.
user=vaughan
[2011-05-23 05:17:38]
803*2^950840-1 is not prime.  Res64: 86BA1025450BE16D  Time : 1239.0 sec.
user=vaughan
[2011-05-23 05:21:23]
811*2^950843-1 is not prime.  Res64: D8E242A0455B9530  Time : 1181.0 sec.
user=gd_barnes
[2011-05-23 05:28:31]
891*2^950839-1 is not prime.  Res64: 9E3EF7DAB6929465  Time : 2029.0 sec.
user=gd_barnes
[2011-05-23 05:28:31]
975*2^950839-1 is not prime.  Res64: 87569194503F9DBE  Time : 2029.0 sec.
user=vaughan
[2011-05-23 05:29:56]
809*2^950844-1 is not prime.  Res64: 5679579005446295  Time : 1233.0 sec.
user=gd_barnes
[2011-05-23 05:31:55]
833*2^950840-1 is not prime.  Res64: AC8254319AC4F186  Time : 2069.0 sec.
user=gd_barnes
[2011-05-23 05:31:55]
857*2^950840-1 is not prime.  Res64: 1E82AF1832B10B0C  Time : 2069.0 sec.
user=gd_barnes
[2011-05-23 05:33:05]
945*2^950840-1 is not prime.  Res64: 7E5F859C2E50657A  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 05:33:05]
819*2^950841-1 is not prime.  Res64: B747CE743858761D  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 05:35:35]
951*2^950841-1 is not prime.  Res64: F6D1D6765B6C3A7D  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 05:35:35]
997*2^950841-1 is not prime.  Res64: 8484D451BAF8A134  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 05:35:45]
803*2^950842-1 is not prime.  Res64: 7BBF89D3169CD3D5  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 05:35:45]
941*2^950842-1 is not prime.  Res64: 02D240A2B24681D6  Time : 2051.0 sec.
user=vaughan
[2011-05-23 05:36:06]
837*2^950844-1 is not prime.  Res64: AF0C8892DD8CAF77  Time : 1263.0 sec.
user=gd_barnes
[2011-05-23 05:36:25]
859*2^950843-1 is not prime.  Res64: 4FB3213D8CE0903C  Time : 2040.0 sec.
user=gd_barnes
[2011-05-23 05:36:25]
901*2^950843-1 is not prime.  Res64: ED4EE41DD1EA4BBB  Time : 2040.0 sec.
user=ototero
[2011-05-23 05:37:16]
813*2^950800-1 is not prime.  Res64: 309FBA74A03D2E2A  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:17]
925*2^950801-1 is not prime.  Res64: 3525056A269BA23F  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:17]
931*2^950801-1 is not prime.  Res64: 6795AF87140A97CD  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:18]
867*2^950802-1 is not prime.  Res64: 470D1469FF1479CD  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:18]
903*2^950802-1 is not prime.  Res64: 3696217E0434DFCB  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:19]
951*2^950802-1 is not prime.  Res64: 9395989C3F0606C0  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:19]
925*2^950803-1 is not prime.  Res64: DE754F03DA911E89  Time : 15205.0 sec.
user=ototero
[2011-05-23 05:37:19]
939*2^950803-1 is not prime.  Res64: AF9A737C1292AB64  Time : 15204.0 sec.
user=ototero
[2011-05-23 05:37:19]
951*2^950803-1 is not prime.  Res64: C50FB312095136DD  Time : 15204.0 sec.
user=ototero
[2011-05-23 05:37:20]
993*2^950803-1 is not prime.  Res64: 5EF5588ECD0FF96E  Time : 15204.0 sec.
user=vaughan
[2011-05-23 05:38:06]
927*2^950844-1 is not prime.  Res64: AD1DF397852DD22B  Time : 1228.0 sec.
user=vaughan
[2011-05-23 05:40:58]
825*2^950845-1 is not prime.  Res64: 23403601A48689C7  Time : 1175.0 sec.
user=vaughan
[2011-05-23 05:50:23]
827*2^950846-1 is not prime.  Res64: FF80EB465C91AE98  Time : 1228.0 sec.
user=vaughan
[2011-05-23 05:57:07]
829*2^950849-1 is not prime.  Res64: 45625A0D1B4401C6  Time : 1262.0 sec.
user=vaughan
[2011-05-23 05:58:34]
825*2^950852-1 is not prime.  Res64: FB3DA606D2693379  Time : 1228.0 sec.
user=vaughan
[2011-05-23 06:00:33]
843*2^950852-1 is not prime.  Res64: 57D12B9CD70002EC  Time : 1175.0 sec.
user=gd_barnes
[2011-05-23 06:02:13]
927*2^950845-1 is not prime.  Res64: C50E1BF06D80DB8E  Time : 2022.0 sec.
user=gd_barnes
[2011-05-23 06:02:13]
939*2^950845-1 is not prime.  Res64: 8B46E530C72BDDE4  Time : 2022.0 sec.
user=gd_barnes
[2011-05-23 06:06:50]
843*2^950846-1 is not prime.  Res64: 10F501014B9FA321  Time : 2095.0 sec.
user=gd_barnes
[2011-05-23 06:06:50]
851*2^950846-1 is not prime.  Res64: EDA3C5FBEA7359AB  Time : 2095.0 sec.
user=gd_barnes
[2011-05-23 06:07:55]
917*2^950846-1 is not prime.  Res64: A9E2B2F748405835  Time : 2090.0 sec.
user=gd_barnes
[2011-05-23 06:07:55]
921*2^950846-1 is not prime.  Res64: 4B2DF655D6CC9751  Time : 2090.0 sec.
user=gd_barnes
[2011-05-23 06:08:48]
981*2^950846-1 is not prime.  Res64: 74CC03CC27F70AB5  Time : 1993.0 sec.
user=gd_barnes
[2011-05-23 06:08:48]
827*2^950848-1 is not prime.  Res64: 19B73637D648B63A  Time : 1993.0 sec.
user=gd_barnes
[2011-05-23 06:09:25]
927*2^950848-1 is not prime.  Res64: 003B213DFB520DA5  Time : 2020.0 sec.
user=gd_barnes
[2011-05-23 06:09:25]
933*2^950848-1 is not prime.  Res64: 441B2681DFDF8964  Time : 2020.0 sec.
user=vaughan
[2011-05-23 06:11:02]
977*2^950852-1 is not prime.  Res64: CB4F840F5F5AC74C  Time : 1239.0 sec.
user=gd_barnes
[2011-05-23 06:11:31]
931*2^950849-1 is not prime.  Res64: 837DB635869AC8CD  Time : 2106.0 sec.
user=gd_barnes
[2011-05-23 06:11:31]
955*2^950849-1 is not prime.  Res64: C4F34B10DCEF7903  Time : 2106.0 sec.
user=vaughan
[2011-05-23 06:17:41]
983*2^950852-1 is not prime.  Res64: 66E443B04C26030F  Time : 1234.0 sec.
user=vaughan
[2011-05-23 06:19:19]
901*2^950853-1 is not prime.  Res64: A2AEEBC83DA569F7  Time : 1245.0 sec.
user=vaughan
[2011-05-23 06:20:05]
921*2^950853-1 is not prime.  Res64: 5C43DA89CA19351E  Time : 1172.0 sec.
user=vaughan
[2011-05-23 06:31:53]
875*2^950856-1 is not prime.  Res64: 1267E80C013A1881  Time : 1252.0 sec.
user=gd_barnes
[2011-05-23 06:36:53]
927*2^950853-1 is not prime.  Res64: E5FB622E06198EE3  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 06:36:53]
945*2^950853-1 is not prime.  Res64: 3CC684CCC67890B4  Time : 2080.0 sec.
user=vaughan
[2011-05-23 06:38:15]
885*2^950857-1 is not prime.  Res64: 8C5DED1604431211  Time : 1234.0 sec.
user=vaughan
[2011-05-23 06:39:46]
997*2^950857-1 is not prime.  Res64: 8A8A202B78DFE47E  Time : 1182.0 sec.
user=vaughan
[2011-05-23 06:40:18]
955*2^950857-1 is not prime.  Res64: 02B27DAB2512233E  Time : 1259.0 sec.
user=gd_barnes
[2011-05-23 06:41:25]
827*2^950854-1 is not prime.  Res64: A950588E9483B4D0  Time : 2075.0 sec.
user=gd_barnes
[2011-05-23 06:41:25]
855*2^950854-1 is not prime.  Res64: B4C7FC4C2B505976  Time : 2075.0 sec.
user=gd_barnes
[2011-05-23 06:42:14]
885*2^950854-1 is not prime.  Res64: 653B4517C5BA5DCE  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 06:42:14]
887*2^950854-1 is not prime.  Res64: 5EE5EC1FF545F10D  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 06:43:00]
917*2^950854-1 is not prime.  Res64: 632728E4B4965917  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 06:43:00]
951*2^950854-1 is not prime.  Res64: FDB58FCAAAC88E3C  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 06:43:10]
965*2^950854-1 is not prime.  Res64: F98196A02E649FBA  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 06:43:10]
849*2^950856-1 is not prime.  Res64: 4F76BB1BB613F8BE  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 06:45:37]
947*2^950856-1 is not prime.  Res64: 5A5C85022033A896  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 06:45:37]
801*2^950857-1 is not prime.  Res64: 2AA2DBA890E7BDC8  Time : 2046.0 sec.
user=vaughan
[2011-05-23 06:53:18]
843*2^950858-1 is not prime.  Res64: 99C674688E8A2DC0  Time : 1285.0 sec.
user=vaughan
[2011-05-23 06:59:32]
945*2^950858-1 is not prime.  Res64: F55ED656DAFD000F  Time : 1277.0 sec.
user=vaughan
[2011-05-23 07:00:03]
957*2^950858-1 is not prime.  Res64: 57D9F7B530CDF620  Time : 1217.0 sec.
user=vaughan
[2011-05-23 07:01:56]
969*2^950859-1 is not prime.  Res64: B4FB2FA58B05B5F2  Time : 1298.0 sec.
user=gd_barnes
[2011-05-23 07:10:24]
921*2^950858-1 is not prime.  Res64: B0ABD377F78FBA15  Time : 2011.0 sec.
user=gd_barnes
[2011-05-23 07:10:24]
927*2^950858-1 is not prime.  Res64: 9532DF4C00130B75  Time : 2011.0 sec.
user=vaughan
[2011-05-23 07:14:50]
969*2^950864-1 is not prime.  Res64: AAA29A1D975D020A  Time : 1293.0 sec.
user=gd_barnes
[2011-05-23 07:15:22]
873*2^950860-1 is not prime.  Res64: 30938D03FD8F64FA  Time : 1988.0 sec.
user=gd_barnes
[2011-05-23 07:15:22]
923*2^950860-1 is not prime.  Res64: DD272E746AA15B25  Time : 1988.0 sec.
user=gd_barnes
[2011-05-23 07:15:39]
991*2^950859-1 is not prime.  Res64: F513C0A04639A626  Time : 2054.0 sec.
user=gd_barnes
[2011-05-23 07:15:39]
819*2^950860-1 is not prime.  Res64: 4A9230931EF3DCA7  Time : 2054.0 sec.
user=gd_barnes
[2011-05-23 07:17:37]
939*2^950860-1 is not prime.  Res64: FC4D6D602316C06D  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 07:17:37]
879*2^950861-1 is not prime.  Res64: F9C7E0A2E4F0D3F8  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 07:17:46]
997*2^950861-1 is not prime.  Res64: 2680990C891A89C7  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 07:17:46]
983*2^950862-1 is not prime.  Res64: 41F1A0F19D09A8C4  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 07:19:56]
831*2^950863-1 is not prime.  Res64: 16E3608C8B9CD934  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 07:19:56]
943*2^950863-1 is not prime.  Res64: 9776A67D052A31B9  Time : 2059.0 sec.
user=vaughan
[2011-05-23 07:20:17]
815*2^950866-1 is not prime.  Res64: 58CA3492D22EDDB4  Time : 1214.0 sec.
user=vaughan
[2011-05-23 07:21:23]
885*2^950865-1 is not prime.  Res64: 560B22A108A556F6  Time : 1312.0 sec.
user=vaughan
[2011-05-23 07:23:14]
873*2^950866-1 is not prime.  Res64: 77D0309FE633C570  Time : 1279.0 sec.
user=vaughan
[2011-05-23 07:36:24]
889*2^950867-1 is not prime.  Res64: A4FE2D81240D586C  Time : 1294.0 sec.
user=vaughan
[2011-05-23 07:40:38]
983*2^950872-1 is not prime.  Res64: CBB732191D357026  Time : 1221.0 sec.
user=vaughan
[2011-05-23 07:43:16]
811*2^950873-1 is not prime.  Res64: 6FCD12E6DB81A260  Time : 1314.0 sec.
user=gd_barnes
[2011-05-23 07:44:47]
983*2^950866-1 is not prime.  Res64: E40F5820DFC1C736  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 07:44:47]
861*2^950867-1 is not prime.  Res64: 9E9103D2B7556C36  Time : 2063.0 sec.
user=vaughan
[2011-05-23 07:44:53]
979*2^950873-1 is not prime.  Res64: A7A5170E600FB5FE  Time : 1299.0 sec.
user=gd_barnes
[2011-05-23 07:49:19]
931*2^950867-1 is not prime.  Res64: 701C3DD819C528DC  Time : 2037.0 sec.
user=gd_barnes
[2011-05-23 07:49:19]
955*2^950867-1 is not prime.  Res64: D6E50448D56BB1F2  Time : 2037.0 sec.
user=gd_barnes
[2011-05-23 07:50:19]
909*2^950868-1 is not prime.  Res64: 813403BC60D66201  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 07:50:19]
955*2^950869-1 is not prime.  Res64: AE4E0E60001D97F4  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 07:51:27]
887*2^950870-1 is not prime.  Res64: 4347CC9FF4015664  Time : 2030.0 sec.
user=gd_barnes
[2011-05-23 07:51:27]
1001*2^950870-1 is not prime.  Res64: 57ABB3D0B6579F85  Time : 2030.0 sec.
user=gd_barnes
[2011-05-23 07:52:03]
861*2^950871-1 is not prime.  Res64: 1E1493759BBD8AC8  Time : 2057.0 sec.
user=gd_barnes
[2011-05-23 07:52:03]
879*2^950871-1 is not prime.  Res64: 8625BEFC994E0557  Time : 2057.0 sec.
user=gd_barnes
[2011-05-23 07:54:09]
825*2^950872-1 is not prime.  Res64: 44294D38D5993ACF  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 07:54:09]
875*2^950872-1 is not prime.  Res64: 581221277EC3A582  Time : 2052.0 sec.
user=vaughan
[2011-05-23 07:57:52]
987*2^950873-1 is not prime.  Res64: 3E958526B8E7BF7F  Time : 1288.0 sec.
user=vaughan
[2011-05-23 08:00:57]
861*2^950874-1 is not prime.  Res64: 5EFD276BD471C025  Time : 1219.0 sec.
user=vaughan
[2011-05-23 08:05:08]
927*2^950874-1 is not prime.  Res64: 88487A41FF9EFDEB  Time : 1313.0 sec.
user=vaughan
[2011-05-23 08:06:24]
883*2^950875-1 is not prime.  Res64: 32C006DE3D89A6C0  Time : 1291.0 sec.
user=gd_barnes
[2011-05-23 08:19:09]
971*2^950874-1 is not prime.  Res64: 63F0CBFBBEFEB458  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 08:19:09]
871*2^950875-1 is not prime.  Res64: 1E5CFE8BA63AF169  Time : 2062.0 sec.
user=vaughan
[2011-05-23 08:19:19]
999*2^950877-1 is not prime.  Res64: 3E3AF973C953BD57  Time : 1287.0 sec.
user=vaughan
[2011-05-23 08:21:10]
813*2^950878-1 is not prime.  Res64: 6DD20254A6818343  Time : 1214.0 sec.
user=gd_barnes
[2011-05-23 08:23:29]
885*2^950875-1 is not prime.  Res64: 8DEF0A50B6D5A10E  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 08:23:29]
915*2^950875-1 is not prime.  Res64: 1FBF07B3CB2E35C2  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 08:24:45]
943*2^950875-1 is not prime.  Res64: D5D69708CC432933  Time : 2066.0 sec.
user=gd_barnes
[2011-05-23 08:24:45]
827*2^950876-1 is not prime.  Res64: AF295E8ED5559219  Time : 2066.0 sec.
user=gd_barnes
[2011-05-23 08:25:21]
903*2^950876-1 is not prime.  Res64: 55144260F71A5B0C  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 08:25:21]
957*2^950876-1 is not prime.  Res64: 6CAA5B834566A715  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 08:25:30]
999*2^950876-1 is not prime.  Res64: 3C9D3ECAE49AB4F7  Time : 2007.0 sec.
user=gd_barnes
[2011-05-23 08:25:30]
819*2^950877-1 is not prime.  Res64: 533F4E73E039755D  Time : 2007.0 sec.
user=vaughan
[2011-05-23 08:26:52]
863*2^950878-1 is not prime.  Res64: D9D30EBA5A7BE66B  Time : 1304.0 sec.
user=vaughan
[2011-05-23 08:27:52]
951*2^950878-1 is not prime.  Res64: F5AC844ADA7A796D  Time : 1288.0 sec.
user=gd_barnes
[2011-05-23 08:28:42]
867*2^950877-1 is not prime.  Res64: 8C6BC8ED7C9F9BAB  Time : 2073.0 sec.
user=gd_barnes
[2011-05-23 08:28:42]
975*2^950877-1 is not prime.  Res64: 229E92283AB7EA10  Time : 2073.0 sec.
user=vaughan
[2011-05-23 08:40:44]
879*2^950880-1 is not prime.  Res64: E334E58F3C9DAAC7  Time : 1285.0 sec.
user=vaughan
[2011-05-23 08:41:28]
829*2^950881-1 is not prime.  Res64: D484BC5A22F26103  Time : 1218.0 sec.
user=vaughan
[2011-05-23 08:48:38]
949*2^950883-1 is not prime.  Res64: 0143C1BB7B42323C  Time : 1306.0 sec.
user=vaughan
[2011-05-23 08:49:20]
857*2^950884-1 is not prime.  Res64: ACC82D9368753F9E  Time : 1288.0 sec.
user=gd_barnes
[2011-05-23 08:53:22]
1001*2^950878-1 is not prime.  Res64: 6B55D9305D7C5B0A  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 08:53:22]
819*2^950880-1 is not prime.  Res64: 077F42665089C572  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 08:57:08]
855*2^950881-1 is not prime.  Res64: AF8F9D6655C78E9C  Time : 2019.0 sec.
user=gd_barnes
[2011-05-23 08:57:08]
999*2^950881-1 is not prime.  Res64: E2C34F746A8748D6  Time : 2019.0 sec.
user=gd_barnes
[2011-05-23 08:59:02]
893*2^950882-1 is not prime.  Res64: A4454E867AC94EE8  Time : 2057.0 sec.
user=gd_barnes
[2011-05-23 08:59:02]
963*2^950882-1 is not prime.  Res64: 7A225F1E04283C1F  Time : 2057.0 sec.
user=gd_barnes
[2011-05-23 08:59:17]
859*2^950883-1 is not prime.  Res64: 1EDE71373CA08765  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 08:59:17]
879*2^950883-1 is not prime.  Res64: 330132C506B32C3C  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 09:00:01]
891*2^950883-1 is not prime.  Res64: 4145E68534FA0D03  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 09:00:01]
895*2^950883-1 is not prime.  Res64: 89F9930208BDD812  Time : 2071.0 sec.
user=vaughan
[2011-05-23 09:02:17]
993*2^950884-1 is not prime.  Res64: E9D9432A535CDD36  Time : 1293.0 sec.
user=vaughan
[2011-05-23 09:02:28]
855*2^950885-1 is not prime.  Res64: F5BB6B0B39F96116  Time : 1260.0 sec.
user=gd_barnes
[2011-05-23 09:03:13]
863*2^950884-1 is not prime.  Res64: D6D308EE4524F469  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 09:03:13]
983*2^950884-1 is not prime.  Res64: 1526DD6192F09D17  Time : 2071.0 sec.
user=vaughan
[2011-05-23 09:10:15]
843*2^950886-1 is not prime.  Res64: D4EFA69B10E21E8A  Time : 1297.0 sec.
user=vaughan
[2011-05-23 09:10:53]
867*2^950886-1 is not prime.  Res64: 7E66AF2139167607  Time : 1293.0 sec.
user=vaughan
[2011-05-23 09:23:04]
805*2^950891-1 is not prime.  Res64: FF815F000B8A4113  Time : 1236.0 sec.
user=vaughan
[2011-05-23 09:24:06]
995*2^950890-1 is not prime.  Res64: 77C468AF78A3BE44  Time : 1310.0 sec.
user=gd_barnes
[2011-05-23 09:27:44]
923*2^950886-1 is not prime.  Res64: 6267DE6A880BF752  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 09:27:44]
947*2^950886-1 is not prime.  Res64: 7013FD3BE32CFFE2  Time : 2062.0 sec.
user=gd_barnes
[2011-05-23 09:31:41]
871*2^950887-1 is not prime.  Res64: 1635C1C6AFA8BCC4  Time : 2072.0 sec.
user=gd_barnes
[2011-05-23 09:31:41]
885*2^950887-1 is not prime.  Res64: E6DD0C2BD55A5E04  Time : 2072.0 sec.
user=vaughan
[2011-05-23 09:31:43]
915*2^950893-1 is not prime.  Res64: C87F6024744029DC  Time : 1289.0 sec.
user=vaughan
[2011-05-23 09:32:26]
967*2^950893-1 is not prime.  Res64: 16D29C4049F432A7  Time : 1293.0 sec.
user=gd_barnes
[2011-05-23 09:33:58]
939*2^950887-1 is not prime.  Res64: 7ECB510A35647B45  Time : 2096.0 sec.
user=gd_barnes
[2011-05-23 09:33:58]
961*2^950887-1 is not prime.  Res64: 11F0604963359741  Time : 2096.0 sec.
user=gd_barnes
[2011-05-23 09:34:36]
837*2^950888-1 is not prime.  Res64: 6237A02B77070E2D  Time : 2119.0 sec.
user=gd_barnes
[2011-05-23 09:34:36]
915*2^950888-1 is not prime.  Res64: 77F2C36BFF246E08  Time : 2119.0 sec.
user=gd_barnes
[2011-05-23 09:34:42]
949*2^950889-1 is not prime.  Res64: 99524B1AA8BAB558  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 09:34:42]
855*2^950890-1 is not prime.  Res64: E9E9A4B30D8498E2  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 09:38:11]
813*2^950891-1 is not prime.  Res64: 623D784BED735A99  Time : 2098.0 sec.
user=gd_barnes
[2011-05-23 09:38:11]
915*2^950892-1 is not prime.  Res64: 98387C6E2958BD18  Time : 2098.0 sec.
user=vaughan
[2011-05-23 09:44:15]
833*2^950894-1 is not prime.  Res64: 56599467DEA5393E  Time : 1271.0 sec.
user=vaughan
[2011-05-23 09:45:17]
887*2^950894-1 is not prime.  Res64: FA2AE03CE064D6AC  Time : 1271.0 sec.
user=ototero
[2011-05-23 09:50:45]
991*2^950849-1 is not prime.  Res64: 33647144B60AD409  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:45]
867*2^950850-1 is not prime.  Res64: CD1AE9780B2AA719  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:45]
905*2^950850-1 is not prime.  Res64: 58483806EEC0C66F  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:46]
915*2^950850-1 is not prime.  Res64: 6268EAD5AFAA07EA  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:46]
801*2^950851-1 is not prime.  Res64: CE30A1977129CFB3  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:46]
813*2^950851-1 is not prime.  Res64: 0890F6A2862CB209  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:47]
849*2^950851-1 is not prime.  Res64: B2285D0B179346CC  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:47]
859*2^950851-1 is not prime.  Res64: BCA1A8C090831596  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:48]
871*2^950851-1 is not prime.  Res64: 11DBD8C00C0DAFF6  Time : 15205.0 sec.
user=ototero
[2011-05-23 09:50:48]
961*2^950851-1 is not prime.  Res64: B7A977E90D88DDC7  Time : 15205.0 sec.
user=vaughan
[2011-05-23 09:52:53]
969*2^950896-1 is not prime.  Res64: 27A223F7A2D9B6DF  Time : 1270.0 sec.
user=vaughan
[2011-05-23 09:53:34]
989*2^950896-1 is not prime.  Res64: DB6D55AA73030DFE  Time : 1269.0 sec.
user=gd_barnes
[2011-05-23 10:02:48]
897*2^950894-1 is not prime.  Res64: E26EF517D21FF592  Time : 2104.0 sec.
user=gd_barnes
[2011-05-23 10:02:48]
823*2^950895-1 is not prime.  Res64: 57FA9A74FB52ECFF  Time : 2104.0 sec.
user=vaughan
[2011-05-23 10:05:25]
879*2^950900-1 is not prime.  Res64: 2E1ACDA366EA237E  Time : 1271.0 sec.
user=gd_barnes
[2011-05-23 10:06:05]
861*2^950895-1 is not prime.  Res64: 1626B40A7EBD8DBE  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 10:06:05]
905*2^950896-1 is not prime.  Res64: 79F2F4DD06A2076A  Time : 2064.0 sec.
user=vaughan
[2011-05-23 10:06:34]
885*2^950900-1 is not prime.  Res64: DB1E5F0B421E896D  Time : 1278.0 sec.
user=gd_barnes
[2011-05-23 10:08:11]
837*2^950897-1 is not prime.  Res64: 2C359EF0E6C532A5  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 10:08:11]
865*2^950897-1 is not prime.  Res64: 3C28B162748F3955  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 10:08:51]
1001*2^950898-1 is not prime.  Res64: 37F4C46DAF36BC71  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 10:08:51]
853*2^950899-1 is not prime.  Res64: E10D738183FBDCED  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 10:09:06]
885*2^950897-1 is not prime.  Res64: BC03A17DEBF62BCE  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 10:09:06]
915*2^950897-1 is not prime.  Res64: F8BE611D109D8F8A  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 10:11:42]
913*2^950899-1 is not prime.  Res64: 2D835ABE29AF18F9  Time : 2011.0 sec.
user=gd_barnes
[2011-05-23 10:11:42]
993*2^950899-1 is not prime.  Res64: 4449F027B3658A9F  Time : 2011.0 sec.
user=vaughan
[2011-05-23 10:14:07]
935*2^950904-1 is not prime.  Res64: 18201A735D62CCEF  Time : 1275.0 sec.
user=vaughan
[2011-05-23 10:14:50]
861*2^950905-1 is not prime.  Res64: 3F84A9E1F384C333  Time : 1276.0 sec.
user=vaughan
[2011-05-23 10:25:58]
857*2^950906-1 is not prime.  Res64: B6439B137EAE090C  Time : 1234.0 sec.
user=vaughan
[2011-05-23 10:27:52]
961*2^950907-1 is not prime.  Res64: 994EA015CFC5F815  Time : 1278.0 sec.
user=vaughan
[2011-05-23 10:35:39]
851*2^950910-1 is not prime.  Res64: 777353F0303CD2A0  Time : 1293.0 sec.
user=vaughan
[2011-05-23 10:36:00]
901*2^950911-1 is not prime.  Res64: 7CB3BB0BCF401A95  Time : 1270.0 sec.
user=gd_barnes
[2011-05-23 10:36:52]
833*2^950906-1 is not prime.  Res64: F304941CF399F848  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 10:36:52]
837*2^950906-1 is not prime.  Res64: 67C49B1BC2A87CAE  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 10:40:10]
923*2^950906-1 is not prime.  Res64: B2E0670AC5C294F5  Time : 2045.0 sec.
user=gd_barnes
[2011-05-23 10:40:10]
871*2^950907-1 is not prime.  Res64: 33AE38B4D7690F34  Time : 2045.0 sec.
user=gd_barnes
[2011-05-23 10:42:22]
885*2^950908-1 is not prime.  Res64: 86AC823C6D7845C1  Time : 2011.0 sec.
user=gd_barnes
[2011-05-23 10:42:22]
993*2^950908-1 is not prime.  Res64: 3F04E58DF7E467F2  Time : 2011.0 sec.
user=gd_barnes
[2011-05-23 10:42:51]
963*2^950907-1 is not prime.  Res64: F89CCD424CC73122  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 10:42:51]
863*2^950908-1 is not prime.  Res64: D2EC38BDE86795CC  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 10:43:40]
999*2^950908-1 is not prime.  Res64: 637288392502195C  Time : 2074.0 sec.
user=gd_barnes
[2011-05-23 10:43:40]
931*2^950909-1 is not prime.  Res64: 04F3D5B4101152FC  Time : 2074.0 sec.
user=vaughan
[2011-05-23 10:45:43]
951*2^950911-1 is not prime.  Res64: 7A3EB6ED74B7673B  Time : 1185.0 sec.
user=gd_barnes
[2011-05-23 10:46:02]
949*2^950909-1 is not prime.  Res64: 168066F228138440  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 10:46:02]
843*2^950910-1 is not prime.  Res64: 59B972A3F8432167  Time : 2060.0 sec.
user=vaughan
[2011-05-23 10:48:27]
975*2^950911-1 is not prime.  Res64: FC337F7AB58FB6D9  Time : 1236.0 sec.
user=vaughan
[2011-05-23 10:56:29]
899*2^950912-1 is not prime.  Res64: 2C30C7D8C1DC0989  Time : 1229.0 sec.
user=vaughan
[2011-05-23 10:56:45]
867*2^950912-1 is not prime.  Res64: A93A41B126296855  Time : 1267.0 sec.
user=vaughan
[2011-05-23 11:05:22]
943*2^950915-1 is not prime.  Res64: C95EA4431AE7A48D  Time : 1180.0 sec.
user=vaughan
[2011-05-23 11:08:53]
903*2^950916-1 is not prime.  Res64: CC1971611811D479  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 11:10:37]
945*2^950912-1 is not prime.  Res64: AC994ADAE4A98B70  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 11:10:37]
983*2^950912-1 is not prime.  Res64: 2A0A15A78828D0AC  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 11:14:49]
995*2^950912-1 is not prime.  Res64: D56582682E0B1E00  Time : 2079.0 sec.
user=gd_barnes
[2011-05-23 11:14:49]
837*2^950913-1 is not prime.  Res64: 25A7DD3F4993FE28  Time : 2079.0 sec.
user=gd_barnes
[2011-05-23 11:16:30]
1001*2^950914-1 is not prime.  Res64: 582FB2F2BDA060FD  Time : 1970.0 sec.
user=gd_barnes
[2011-05-23 11:16:30]
823*2^950915-1 is not prime.  Res64: 82B148A72EC3F1BB  Time : 1970.0 sec.
user=vaughan
[2011-05-23 11:16:56]
933*2^950916-1 is not prime.  Res64: BF49FBF7292B7F20  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 11:16:58]
889*2^950913-1 is not prime.  Res64: CF91F1F56007D26C  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 11:16:58]
901*2^950913-1 is not prime.  Res64: FE9DF98248112A25  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 11:17:16]
947*2^950914-1 is not prime.  Res64: 50BC0FCAAF980BC9  Time : 2065.0 sec.
user=gd_barnes
[2011-05-23 11:17:16]
975*2^950914-1 is not prime.  Res64: BCA5800E700E96DD  Time : 2065.0 sec.
user=vaughan
[2011-05-23 11:17:53]
831*2^950917-1 is not prime.  Res64: 2347B1E8910BD99B  Time : 1269.0 sec.
user=gd_barnes
[2011-05-23 11:20:48]
973*2^950915-1 is not prime.  Res64: D5AEA70BF12A784D  Time : 2086.0 sec.
user=gd_barnes
[2011-05-23 11:20:48]
857*2^950916-1 is not prime.  Res64: 0F2256D012505EAF  Time : 2086.0 sec.
user=vaughan
[2011-05-23 11:25:01]
885*2^950917-1 is not prime.  Res64: 1888435A02F75578  Time : 1180.0 sec.
user=vaughan
[2011-05-23 11:29:21]
915*2^950917-1 is not prime.  Res64: 756882EF1BBA2D8B  Time : 1228.0 sec.
user=vaughan
[2011-05-23 11:37:22]
803*2^950920-1 is not prime.  Res64: 2971D4B27943BBAF  Time : 1226.0 sec.
user=vaughan
[2011-05-23 11:39:01]
871*2^950921-1 is not prime.  Res64: 6497B7B601411329  Time : 1268.0 sec.
user=vaughan
[2011-05-23 11:44:38]
957*2^950922-1 is not prime.  Res64: 8E0B4749FD8F3F1F  Time : 1178.0 sec.
user=gd_barnes
[2011-05-23 11:44:53]
843*2^950918-1 is not prime.  Res64: 10EF68D487148E43  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 11:44:53]
875*2^950918-1 is not prime.  Res64: 84A1BDEEFF455535  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 11:49:08]
921*2^950918-1 is not prime.  Res64: D447A27A4A5D5DC2  Time : 2059.0 sec.
user=gd_barnes
[2011-05-23 11:49:08]
995*2^950918-1 is not prime.  Res64: 6214125AAE7B764B  Time : 2059.0 sec.
user=vaughan
[2011-05-23 11:49:47]
963*2^950922-1 is not prime.  Res64: 33418ED6B80A7E27  Time : 1226.0 sec.
user=gd_barnes
[2011-05-23 11:50:36]
885*2^950919-1 is not prime.  Res64: 25F3BCD2D19F57DB  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 11:50:36]
979*2^950919-1 is not prime.  Res64: 0AFA946E981ADDF7  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 11:51:13]
825*2^950920-1 is not prime.  Res64: 69E5A8E0AE4B3F5A  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 11:51:13]
827*2^950920-1 is not prime.  Res64: 67CBAAAD22A294F6  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 11:51:14]
839*2^950920-1 is not prime.  Res64: C1C6683167D27244  Time : 2038.0 sec.
user=gd_barnes
[2011-05-23 11:51:14]
861*2^950921-1 is not prime.  Res64: D0474A72C7D189AC  Time : 2038.0 sec.
user=gd_barnes
[2011-05-23 11:54:43]
931*2^950921-1 is not prime.  Res64: 234AD562152916A4  Time : 2035.0 sec.
user=gd_barnes
[2011-05-23 11:54:43]
815*2^950922-1 is not prime.  Res64: 78D134FF12C1DA66  Time : 2035.0 sec.
user=vaughan
[2011-05-23 11:57:49]
813*2^950923-1 is not prime.  Res64: 14D87D3F858574A5  Time : 1227.0 sec.
user=vaughan
[2011-05-23 12:00:12]
919*2^950923-1 is not prime.  Res64: 39C177F3FDCEEA82  Time : 1271.0 sec.
user=vaughan
[2011-05-23 12:04:14]
813*2^950924-1 is not prime.  Res64: 8CA1134C403E0099  Time : 1176.0 sec.
user=vaughan
[2011-05-23 12:10:14]
927*2^950925-1 is not prime.  Res64: 172ADE64F521577C  Time : 1227.0 sec.
user=vaughan
[2011-05-23 12:18:17]
819*2^950929-1 is not prime.  Res64: 5C5AB6FE8C99C884  Time : 1228.0 sec.
user=gd_barnes
[2011-05-23 12:19:24]
843*2^950924-1 is not prime.  Res64: 25C0FCA87957A105  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 12:19:24]
869*2^950924-1 is not prime.  Res64: 101516DA47322A53  Time : 2071.0 sec.
user=vaughan
[2011-05-23 12:21:21]
855*2^950929-1 is not prime.  Res64: 49EFD8283F1B2B50  Time : 1269.0 sec.
user=gd_barnes
[2011-05-23 12:23:12]
811*2^950925-1 is not prime.  Res64: 10BCD9D6AD87508D  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 12:23:12]
895*2^950925-1 is not prime.  Res64: 47F01161848EF606  Time : 2044.0 sec.
user=vaughan
[2011-05-23 12:23:50]
885*2^950929-1 is not prime.  Res64: 4D7FB9E5C29957FF  Time : 1177.0 sec.
user=gd_barnes
[2011-05-23 12:24:23]
917*2^950926-1 is not prime.  Res64: 7560DCFDA0BB98BB  Time : 1990.0 sec.
user=gd_barnes
[2011-05-23 12:24:23]
883*2^950927-1 is not prime.  Res64: 305326A826BE8771  Time : 1990.0 sec.
user=gd_barnes
[2011-05-23 12:24:49]
961*2^950925-1 is not prime.  Res64: E60430A743F50082  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 12:24:49]
979*2^950925-1 is not prime.  Res64: B6ED100BAC9D79FD  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 12:25:37]
895*2^950927-1 is not prime.  Res64: 6C67BFAFA2135218  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 12:25:37]
939*2^950927-1 is not prime.  Res64: DD1034B277D686B8  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 12:29:20]
975*2^950928-1 is not prime.  Res64: C94F38CF36C4FA54  Time : 2077.0 sec.
user=gd_barnes
[2011-05-23 12:29:20]
801*2^950929-1 is not prime.  Res64: 639723DB6D1C0D37  Time : 2077.0 sec.
user=vaughan
[2011-05-23 12:30:41]
825*2^950930-1 is not prime.  Res64: DD310E8F44AB60F7  Time : 1227.0 sec.
user=vaughan
[2011-05-23 12:38:44]
945*2^950930-1 is not prime.  Res64: DAE230F0C2A31616  Time : 1227.0 sec.
user=vaughan
[2011-05-23 12:42:29]
901*2^950931-1 is not prime.  Res64: 3FB980828654EE3C  Time : 1268.0 sec.
user=vaughan
[2011-05-23 12:43:26]
987*2^950932-1 is not prime.  Res64: 61A596D9901F8DEC  Time : 1177.0 sec.
user=vaughan
[2011-05-23 12:51:07]
969*2^950936-1 is not prime.  Res64: 06B79C2C943045BA  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 12:53:53]
801*2^950931-1 is not prime.  Res64: D26FD1899DA04471  Time : 2069.0 sec.
user=gd_barnes
[2011-05-23 12:53:53]
891*2^950931-1 is not prime.  Res64: 74B9B0EFFA155696  Time : 2069.0 sec.
user=gd_barnes
[2011-05-23 12:57:32]
991*2^950931-1 is not prime.  Res64: 055D2EDF2394894F  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 12:57:33]
909*2^950932-1 is not prime.  Res64: 70F94CBB26890274  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 12:57:43]
871*2^950933-1 is not prime.  Res64: F95CFAED77D05A5D  Time : 2000.0 sec.
user=gd_barnes
[2011-05-23 12:57:43]
807*2^950934-1 is not prime.  Res64: 35B183C1FEBFEDE5  Time : 2000.0 sec.
user=gd_barnes
[2011-05-23 12:58:53]
891*2^950934-1 is not prime.  Res64: 8F32ED205E7CDA98  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 12:58:53]
861*2^950935-1 is not prime.  Res64: E85C6F076CC190E9  Time : 2044.0 sec.
user=vaughan
[2011-05-23 12:59:10]
829*2^950937-1 is not prime.  Res64: B0DB0A9276A1BBE0  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 12:59:58]
909*2^950935-1 is not prime.  Res64: D92191DEBA9A6012  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 12:59:58]
919*2^950935-1 is not prime.  Res64: 87C810BB5022875F  Time : 2061.0 sec.
user=vaughan
[2011-05-23 13:03:01]
979*2^950937-1 is not prime.  Res64: 722A9116B69B3544  Time : 1175.0 sec.
user=vaughan
[2011-05-23 13:03:37]
867*2^950937-1 is not prime.  Res64: 3DB460707FDD9EB3  Time : 1268.0 sec.
user=gd_barnes
[2011-05-23 13:03:58]
951*2^950935-1 is not prime.  Res64: 7EB83866D39522AB  Time : 2078.0 sec.
user=gd_barnes
[2011-05-23 13:03:58]
845*2^950936-1 is not prime.  Res64: C2B86152193E38F8  Time : 2078.0 sec.
user=vaughan
[2011-05-23 13:11:32]
997*2^950937-1 is not prime.  Res64: 93EA8A30186A8426  Time : 1225.0 sec.
user=vaughan
[2011-05-23 13:19:32]
913*2^950939-1 is not prime.  Res64: 4BE3EC72B678420A  Time : 1222.0 sec.
user=vaughan
[2011-05-23 13:22:37]
915*2^950940-1 is not prime.  Res64: 72FDFFEEDBA73695  Time : 1176.0 sec.
user=vaughan
[2011-05-23 13:24:35]
945*2^950940-1 is not prime.  Res64: 4051498FA9C41648  Time : 1258.0 sec.
user=gd_barnes
[2011-05-23 13:28:09]
831*2^950938-1 is not prime.  Res64: 055B2800D1C90700  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 13:28:09]
843*2^950938-1 is not prime.  Res64: A815CF2353416860  Time : 2056.0 sec.
user=vaughan
[2011-05-23 13:31:48]
861*2^950941-1 is not prime.  Res64: 0FFA0BF9C8C8BA13  Time : 1216.0 sec.
user=gd_barnes
[2011-05-23 13:31:50]
843*2^950939-1 is not prime.  Res64: A723687F29F03FCE  Time : 2047.0 sec.
user=gd_barnes
[2011-05-23 13:31:50]
855*2^950939-1 is not prime.  Res64: AA89DDB1D058771D  Time : 2047.0 sec.
user=gd_barnes
[2011-05-23 13:32:09]
887*2^950938-1 is not prime.  Res64: 8C8EFCD2B88E9ACF  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 13:32:09]
951*2^950938-1 is not prime.  Res64: E11E39CDD5910F45  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 13:33:02]
859*2^950939-1 is not prime.  Res64: 9BB81D7B20CDC940  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 13:33:02]
903*2^950939-1 is not prime.  Res64: 74A930AA78F09C6F  Time : 2049.0 sec.
user=gd_barnes
[2011-05-23 13:34:08]
985*2^950939-1 is not prime.  Res64: 24D52C569C614D63  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 13:34:08]
857*2^950940-1 is not prime.  Res64: 0A75DB02CB47B5FB  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 13:38:04]
957*2^950940-1 is not prime.  Res64: 5BF5942C63E13DDE  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 13:38:04]
999*2^950940-1 is not prime.  Res64: F071FB63263D3EAF  Time : 2046.0 sec.
user=vaughan
[2011-05-23 13:39:46]
877*2^950941-1 is not prime.  Res64: 1A0A696930CCE1A1  Time : 1214.0 sec.
user=vaughan
[2011-05-23 13:42:26]
917*2^950962-1 is not prime.  Res64: 47124E9760A05462  Time : 1189.0 sec.
user=vaughan
[2011-05-23 13:45:15]
923*2^950962-1 is not prime.  Res64: DECE1081C2505693  Time : 1240.0 sec.
user=vaughan
[2011-05-23 13:51:54]
899*2^950964-1 is not prime.  Res64: 4BB8FE1055306DDB  Time : 1206.0 sec.
user=vaughan
[2011-05-23 13:59:44]
935*2^950966-1 is not prime.  Res64: EF9C3E1E27FCEC6E  Time : 1198.0 sec.
user=gd_barnes
[2011-05-23 14:02:27]
823*2^950963-1 is not prime.  Res64: 399412FA10009BA8  Time : 2058.0 sec.
user=gd_barnes
[2011-05-23 14:02:27]
955*2^950963-1 is not prime.  Res64: EF73D7DD31E0DA30  Time : 2058.0 sec.
user=vaughan
[2011-05-23 14:03:11]
885*2^950967-1 is not prime.  Res64: E29E7A33C4A6BBE6  Time : 1245.0 sec.
user=ototero
[2011-05-23 14:04:41]
927*2^950900-1 is not prime.  Res64: 5361D5447FE2A2DD  Time : 15232.0 sec.
user=ototero
[2011-05-23 14:04:41]
999*2^950900-1 is not prime.  Res64: 64F355FD3016D08D  Time : 15231.0 sec.
user=ototero
[2011-05-23 14:04:42]
817*2^950901-1 is not prime.  Res64: 6AC25E559F9AD1FB  Time : 15232.0 sec.
user=ototero
[2011-05-23 14:04:42]
819*2^950901-1 is not prime.  Res64: 05656929F3D34B96  Time : 15231.0 sec.
user=ototero
[2011-05-23 14:04:42]
867*2^950901-1 is not prime.  Res64: FFA2ECA41A6D7DE7  Time : 15230.0 sec.
user=ototero
[2011-05-23 14:04:42]
871*2^950901-1 is not prime.  Res64: CCC9D91D5A7DBF0F  Time : 15229.0 sec.
user=ototero
[2011-05-23 14:04:42]
885*2^950901-1 is not prime.  Res64: E6E5571270506EA5  Time : 15228.0 sec.
user=ototero
[2011-05-23 14:04:42]
979*2^950901-1 is not prime.  Res64: 65ADFC2DE7829948  Time : 15228.0 sec.
user=ototero
[2011-05-23 14:04:43]
965*2^950902-1 is not prime.  Res64: 5757C437EAC47AFF  Time : 15228.0 sec.
user=ototero
[2011-05-23 14:04:43]
983*2^950902-1 is not prime.  Res64: 6042C9AEFCC8EFCD  Time : 15228.0 sec.
user=gd_barnes
[2011-05-23 14:05:22]
983*2^950964-1 is not prime.  Res64: 1FB85797EC86A395  Time : 2012.0 sec.
user=gd_barnes
[2011-05-23 14:05:22]
805*2^950965-1 is not prime.  Res64: D2B576CF54624FCF  Time : 2012.0 sec.
user=vaughan
[2011-05-23 14:05:32]
895*2^950967-1 is not prime.  Res64: B18430C2E357DDE9  Time : 1218.0 sec.
user=gd_barnes
[2011-05-23 14:06:50]
825*2^950965-1 is not prime.  Res64: 6B06AAD1CFBF896F  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 14:06:50]
861*2^950965-1 is not prime.  Res64: 38758A00239E4A4F  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 14:06:56]
955*2^950965-1 is not prime.  Res64: 6527A7B20D5BD02E  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 14:06:56]
957*2^950965-1 is not prime.  Res64: 7C251B67AF4D8A74  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 14:08:39]
985*2^950965-1 is not prime.  Res64: 283DFAB6DC3EDC6A  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 14:08:39]
873*2^950966-1 is not prime.  Res64: B41E4C132C9A9D3B  Time : 2071.0 sec.
user=vaughan
[2011-05-23 14:11:57]
913*2^950967-1 is not prime.  Res64: 2D423AD9B73175A9  Time : 1203.0 sec.
user=gd_barnes
[2011-05-23 14:12:17]
887*2^950966-1 is not prime.  Res64: 2428B1E494CBE85E  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 14:12:17]
911*2^950966-1 is not prime.  Res64: 2BF8536876926806  Time : 2053.0 sec.
user=vaughan
[2011-05-23 14:19:53]
963*2^950967-1 is not prime.  Res64: 17A75D5440604D6F  Time : 1209.0 sec.
user=vaughan
[2011-05-23 14:23:54]
957*2^950968-1 is not prime.  Res64: 4980FFD402F6ED44  Time : 1243.0 sec.
user=vaughan
[2011-05-23 14:26:02]
819*2^950973-1 is not prime.  Res64: 1B3499ED333CFAE2  Time : 1230.0 sec.
user=vaughan
[2011-05-23 14:32:12]
843*2^950976-1 is not prime.  Res64: B9DEB3B07E4BB894  Time : 1215.0 sec.
user=gd_barnes
[2011-05-23 14:35:45]
899*2^950968-1 is not prime.  Res64: CF6D0A9AA3763C05  Time : 1998.0 sec.
user=gd_barnes
[2011-05-23 14:35:45]
909*2^950968-1 is not prime.  Res64: 124E0D558D1B3018  Time : 1998.0 sec.
user=gd_barnes
[2011-05-23 14:39:45]
855*2^950972-1 is not prime.  Res64: 97FCE87F9ABDD67B  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 14:39:45]
963*2^950972-1 is not prime.  Res64: 1272649EF3E3A13C  Time : 2063.0 sec.
user=vaughan
[2011-05-23 14:40:14]
919*2^950977-1 is not prime.  Res64: 102BE82889183CBB  Time : 1222.0 sec.
user=gd_barnes
[2011-05-23 14:41:09]
993*2^950974-1 is not prime.  Res64: BBBCFABD526A54CE  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 14:41:09]
823*2^950975-1 is not prime.  Res64: EC52D6DA1A54A0D8  Time : 2053.0 sec.
user=gd_barnes
[2011-05-23 14:41:16]
871*2^950973-1 is not prime.  Res64: 70A06D94A9CEA171  Time : 2066.0 sec.
user=gd_barnes
[2011-05-23 14:41:16]
861*2^950974-1 is not prime.  Res64: C6AF242EDCD6023B  Time : 2066.0 sec.
user=gd_barnes
[2011-05-23 14:43:03]
829*2^950975-1 is not prime.  Res64: 4B9B8B59E11822BB  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 14:43:03]
861*2^950975-1 is not prime.  Res64: 7E4DE1D9CA1D0852  Time : 2064.0 sec.
user=vaughan
[2011-05-23 14:43:49]
801*2^950978-1 is not prime.  Res64: F30614E3E1638A1A  Time : 1195.0 sec.
user=gd_barnes
[2011-05-23 14:46:29]
945*2^950976-1 is not prime.  Res64: C27DA86F130539F6  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 14:46:29]
901*2^950977-1 is not prime.  Res64: C37C2BABCCB69FEB  Time : 2052.0 sec.
user=vaughan
[2011-05-23 14:46:58]
915*2^950978-1 is not prime.  Res64: 019F23BC84CF35CC  Time : 1256.0 sec.
user=vaughan
[2011-05-23 14:52:35]
923*2^950978-1 is not prime.  Res64: 6A21BCD3EA37855A  Time : 1224.0 sec.
user=vaughan
[2011-05-23 15:00:37]
965*2^950980-1 is not prime.  Res64: 72FB2D4377912E04  Time : 1224.0 sec.
user=vaughan
[2011-05-23 15:03:28]
925*2^950983-1 is not prime.  Res64: 1A52A046B22814E7  Time : 1180.0 sec.
user=vaughan
[2011-05-23 15:08:03]
873*2^950984-1 is not prime.  Res64: 44BEE9C35D256E5A  Time : 1266.0 sec.
user=gd_barnes
[2011-05-23 15:09:53]
971*2^950978-1 is not prime.  Res64: 1228100386A8C75D  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 15:09:53]
855*2^950980-1 is not prime.  Res64: CB60498578A2B6F9  Time : 2048.0 sec.
user=vaughan
[2011-05-23 15:13:06]
897*2^950984-1 is not prime.  Res64: 7CB0DD10E7A82B4D  Time : 1232.0 sec.
user=gd_barnes
[2011-05-23 15:13:57]
915*2^950980-1 is not prime.  Res64: D4E4347B786C9EAF  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 15:13:57]
939*2^950980-1 is not prime.  Res64: A4B2C6269BB9FCDB  Time : 2052.0 sec.
user=gd_barnes
[2011-05-23 15:15:37]
951*2^950981-1 is not prime.  Res64: 8F856757B0F15F16  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 15:15:37]
997*2^950981-1 is not prime.  Res64: A70072874618301E  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 15:15:43]
837*2^950981-1 is not prime.  Res64: 4B83E51BC51DDE93  Time : 2074.0 sec.
user=gd_barnes
[2011-05-23 15:15:43]
867*2^950981-1 is not prime.  Res64: 6EC9DA6D24FEB7C3  Time : 2074.0 sec.
user=gd_barnes
[2011-05-23 15:16:40]
855*2^950983-1 is not prime.  Res64: E55F8C292FE8BFCC  Time : 2017.0 sec.
user=gd_barnes
[2011-05-23 15:16:40]
915*2^950983-1 is not prime.  Res64: A422B1272E0FABC1  Time : 2017.0 sec.
user=gd_barnes
[2011-05-23 15:20:39]
939*2^950983-1 is not prime.  Res64: 0C1D06F8C09AEBA8  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 15:20:39]
833*2^950984-1 is not prime.  Res64: 1DF1F69218C19731  Time : 2050.0 sec.
user=vaughan
[2011-05-23 15:21:07]
927*2^950984-1 is not prime.  Res64: 746DE01A532C02D4  Time : 1231.0 sec.
user=vaughan
[2011-05-23 15:23:07]
801*2^950986-1 is not prime.  Res64: 27ACE356A41BCE32  Time : 1180.0 sec.
user=vaughan
[2011-05-23 15:29:07]
821*2^950986-1 is not prime.  Res64: A62F8D36B7E42FA6  Time : 1265.0 sec.
user=vaughan
[2011-05-23 15:33:38]
879*2^950987-1 is not prime.  Res64: 8F307AF5530D03F4  Time : 1233.0 sec.
user=vaughan
[2011-05-23 15:41:31]
957*2^950990-1 is not prime.  Res64: E6FFE24AC55C69A8  Time : 1225.0 sec.
user=vaughan
[2011-05-23 15:43:31]
829*2^950991-1 is not prime.  Res64: 26997DFF9D697783  Time : 1225.0 sec.
user=gd_barnes
[2011-05-23 15:43:42]
861*2^950986-1 is not prime.  Res64: BD7DE9C64A767A36  Time : 2029.0 sec.
user=gd_barnes
[2011-05-23 15:43:42]
911*2^950986-1 is not prime.  Res64: 168EEAB53D5C7E27  Time : 2029.0 sec.
user=gd_barnes
[2011-05-23 15:48:05]
809*2^950988-1 is not prime.  Res64: 6D3F69840388A155  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 15:48:05]
837*2^950988-1 is not prime.  Res64: 8BD80EAFB02510AC  Time : 2048.0 sec.
user=vaughan
[2011-05-23 15:49:32]
865*2^950991-1 is not prime.  Res64: 67E0F314F0F7D74C  Time : 1226.0 sec.
user=gd_barnes
[2011-05-23 15:49:42]
945*2^950989-1 is not prime.  Res64: 573346661FF6C35F  Time : 2039.0 sec.
user=gd_barnes
[2011-05-23 15:49:42]
961*2^950989-1 is not prime.  Res64: F389C659EF9B795E  Time : 2039.0 sec.
user=gd_barnes
[2011-05-23 15:50:24]
879*2^950988-1 is not prime.  Res64: 328AECA7CB31601E  Time : 2087.0 sec.
user=gd_barnes
[2011-05-23 15:50:24]
887*2^950988-1 is not prime.  Res64: 3EDBA78F69A6D32A  Time : 2087.0 sec.
user=gd_barnes
[2011-05-23 15:51:16]
985*2^950989-1 is not prime.  Res64: 2C91F71950E84F36  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 15:51:16]
999*2^950989-1 is not prime.  Res64: C0BF66A169971395  Time : 2076.0 sec.
user=vaughan
[2011-05-23 15:53:50]
909*2^950991-1 is not prime.  Res64: C9FF1BB423AD3EB6  Time : 1213.0 sec.
user=gd_barnes
[2011-05-23 15:54:41]
843*2^950990-1 is not prime.  Res64: 2083757D71AC4F81  Time : 2042.0 sec.
user=gd_barnes
[2011-05-23 15:54:41]
945*2^950990-1 is not prime.  Res64: F61342AC487C5075  Time : 2042.0 sec.
user=vaughan
[2011-05-23 16:01:44]
903*2^950992-1 is not prime.  Res64: EB676FE22B1DF6A7  Time : 1213.0 sec.
user=vaughan
[2011-05-23 16:04:06]
917*2^950992-1 is not prime.  Res64: 08D8DD79FE388290  Time : 1235.0 sec.
user=vaughan
[2011-05-23 16:10:03]
969*2^950993-1 is not prime.  Res64: 29690137315DED0C  Time : 1232.0 sec.
user=vaughan
[2011-05-23 16:14:07]
873*2^950995-1 is not prime.  Res64: D00159684AFA5FB0  Time : 1217.0 sec.
user=gd_barnes
[2011-05-23 16:18:07]
837*2^950993-1 is not prime.  Res64: F7C10F4A33B6F205  Time : 2065.0 sec.
user=gd_barnes
[2011-05-23 16:18:07]
871*2^950993-1 is not prime.  Res64: FB7EB4FC5FF0A79C  Time : 2065.0 sec.
user=vaughan
[2011-05-23 16:22:03]
923*2^950996-1 is not prime.  Res64: 1EAEDAAD569264FC  Time : 1219.0 sec.
user=gd_barnes
[2011-05-23 16:22:11]
889*2^950993-1 is not prime.  Res64: 9C2B116C4A29E631  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 16:22:11]
949*2^950993-1 is not prime.  Res64: 1D7645D53DCC55A8  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 16:24:14]
807*2^950994-1 is not prime.  Res64: 7D588DD96648D5DC  Time : 2072.0 sec.
user=gd_barnes
[2011-05-23 16:24:14]
821*2^950994-1 is not prime.  Res64: F5268F8CF011E25B  Time : 2072.0 sec.
user=vaughan
[2011-05-23 16:24:46]
953*2^950996-1 is not prime.  Res64: 0514525FABC8EF70  Time : 1240.0 sec.
user=gd_barnes
[2011-05-23 16:24:55]
861*2^950994-1 is not prime.  Res64: 489A42151430A3D6  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 16:24:55]
885*2^950994-1 is not prime.  Res64: 5CE8144D665A1C54  Time : 2071.0 sec.
user=gd_barnes
[2011-05-23 16:25:31]
971*2^950994-1 is not prime.  Res64: 0417D00239A6033D  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 16:25:31]
1001*2^950994-1 is not prime.  Res64: FF2900E77C30014D  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 16:27:52]
813*2^950996-1 is not prime.  Res64: 5782491E1BB7D727  Time : 1991.0 sec.
user=gd_barnes
[2011-05-23 16:27:52]
875*2^950996-1 is not prime.  Res64: BE0C35F8695A409E  Time : 1991.0 sec.
user=vaughan
[2011-05-23 16:30:44]
983*2^950996-1 is not prime.  Res64: 93A8EB2CEED4251E  Time : 1242.0 sec.
user=vaughan
[2011-05-23 16:34:34]
819*2^950997-1 is not prime.  Res64: 550E762BCD0B4A34  Time : 1227.0 sec.
user=vaughan
[2011-05-23 16:42:35]
955*2^950997-1 is not prime.  Res64: D7594320BF14AD94  Time : 1232.0 sec.
user=vaughan
[2011-05-23 16:44:28]
969*2^950999-1 is not prime.  Res64: AD4A70F1648D1F59  Time : 1183.0 sec.
user=vaughan
[2011-05-23 16:51:44]
887*2^951002-1 is not prime.  Res64: B564BE3B05849D05  Time : 1261.0 sec.
user=gd_barnes
[2011-05-23 16:52:10]
915*2^950997-1 is not prime.  Res64: 23EFB90FBAA14DF9  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 16:52:10]
945*2^950997-1 is not prime.  Res64: 8CE25E691D60F540  Time : 2043.0 sec.
user=vaughan
[2011-05-23 16:55:05]
893*2^951002-1 is not prime.  Res64: EC7ACB3D14B9CD89  Time : 1231.0 sec.
user=gd_barnes
[2011-05-23 16:56:49]
991*2^950997-1 is not prime.  Res64: EF74FE3A12C4C2D5  Time : 2078.0 sec.
user=gd_barnes
[2011-05-23 16:56:49]
843*2^950998-1 is not prime.  Res64: 8797B159A032E3AF  Time : 2078.0 sec.
user=gd_barnes
[2011-05-23 16:57:56]
913*2^950999-1 is not prime.  Res64: AC9953E1153D7BDA  Time : 2022.0 sec.
user=gd_barnes
[2011-05-23 16:57:56]
939*2^950999-1 is not prime.  Res64: FBBFDB962C65CB61  Time : 2022.0 sec.
user=gd_barnes
[2011-05-23 16:59:10]
839*2^951000-1 is not prime.  Res64: 7764341510FF7FFE  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 16:59:10]
917*2^951000-1 is not prime.  Res64: C67457B351744058  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 16:59:27]
871*2^951001-1 is not prime.  Res64: 1ECF4AD7F56AF4A9  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 16:59:27]
997*2^951001-1 is not prime.  Res64: 8564401AEBA7853D  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 17:02:28]
857*2^951002-1 is not prime.  Res64: EA20230AD4A55FC1  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 17:02:28]
885*2^951002-1 is not prime.  Res64: DAC4803DDFDB080A  Time : 2076.0 sec.
user=vaughan
[2011-05-23 17:03:07]
963*2^951002-1 is not prime.  Res64: 9DA6B1759DA05A1C  Time : 1232.0 sec.
user=vaughan
[2011-05-23 17:04:01]
981*2^951002-1 is not prime.  Res64: 0DDC51CF330BBB4D  Time : 1174.0 sec.
user=vaughan
[2011-05-23 17:12:50]
955*2^951003-1 is not prime.  Res64: 0C68171DC9D2CD76  Time : 1266.0 sec.
user=vaughan
[2011-05-23 17:15:36]
915*2^951004-1 is not prime.  Res64: 41E777ED22C80922  Time : 1231.0 sec.
user=vaughan
[2011-05-23 17:23:44]
875*2^951008-1 is not prime.  Res64: 0A779D1C6BD56BCA  Time : 1183.0 sec.
user=vaughan
[2011-05-23 17:23:50]
843*2^951008-1 is not prime.  Res64: F84D74B09FEFDD7E  Time : 1243.0 sec.
user=gd_barnes
[2011-05-23 17:26:45]
961*2^951003-1 is not prime.  Res64: 8171EDA7F079BE8A  Time : 2075.0 sec.
user=gd_barnes
[2011-05-23 17:26:45]
875*2^951004-1 is not prime.  Res64: E37EC0DE1E4B99EB  Time : 2075.0 sec.
user=gd_barnes
[2011-05-23 17:30:34]
837*2^951005-1 is not prime.  Res64: C8196A199A571F84  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 17:30:34]
981*2^951005-1 is not prime.  Res64: C35F49D19B932C5C  Time : 2025.0 sec.
user=gd_barnes
[2011-05-23 17:32:25]
933*2^951006-1 is not prime.  Res64: 894644C029516722  Time : 1995.0 sec.
user=gd_barnes
[2011-05-23 17:32:25]
993*2^951006-1 is not prime.  Res64: 0E8029539D3A2909  Time : 1995.0 sec.
user=gd_barnes
[2011-05-23 17:32:39]
875*2^951006-1 is not prime.  Res64: B602AF22055DBEA1  Time : 2083.0 sec.
user=gd_barnes
[2011-05-23 17:32:39]
893*2^951006-1 is not prime.  Res64: C4192ECAAFCB8064  Time : 2083.0 sec.
user=vaughan
[2011-05-23 17:33:42]
817*2^951009-1 is not prime.  Res64: E0EDDCA8BD76E292  Time : 1253.0 sec.
user=gd_barnes
[2011-05-23 17:33:56]
859*2^951007-1 is not prime.  Res64: 5CDA72846A78FEE5  Time : 2069.0 sec.
user=gd_barnes
[2011-05-23 17:33:56]
889*2^951007-1 is not prime.  Res64: 5E8885B1F4268D9A  Time : 2069.0 sec.
user=vaughan
[2011-05-23 17:36:30]
865*2^951009-1 is not prime.  Res64: A89FB047AAD3DD09  Time : 1255.0 sec.
user=gd_barnes
[2011-05-23 17:36:38]
985*2^951007-1 is not prime.  Res64: D00BB15C3C6C1E88  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 17:36:38]
815*2^951008-1 is not prime.  Res64: 919AF61A0EFF3CB3  Time : 2050.0 sec.
user=vaughan
[2011-05-23 17:44:13]
997*2^951009-1 is not prime.  Res64: CEFD4CB7DBDB0ED6  Time : 1230.0 sec.
user=vaughan
[2011-05-23 17:44:46]
827*2^951010-1 is not prime.  Res64: 7EBA84F1F6EAF201  Time : 1256.0 sec.
user=vaughan
[2011-05-23 17:55:25]
935*2^951012-1 is not prime.  Res64: 0101EEC77FCDD2F0  Time : 1303.0 sec.
user=vaughan
[2011-05-23 17:57:47]
811*2^951013-1 is not prime.  Res64: 1A0ED0E11F27F45E  Time : 1277.0 sec.
user=gd_barnes
[2011-05-23 18:01:28]
861*2^951010-1 is not prime.  Res64: 8A120AA005F58E9E  Time : 2083.0 sec.
user=gd_barnes
[2011-05-23 18:01:28]
891*2^951010-1 is not prime.  Res64: DE7D4D8C8B19613E  Time : 2083.0 sec.
user=vaughan
[2011-05-23 18:04:25]
937*2^951013-1 is not prime.  Res64: 24AF6BAA31F87010  Time : 1212.0 sec.
user=gd_barnes
[2011-05-23 18:04:39]
923*2^951010-1 is not prime.  Res64: 40668D49EB5A7611  Time : 2045.0 sec.
user=gd_barnes
[2011-05-23 18:04:39]
945*2^951010-1 is not prime.  Res64: 63FCF111FBE96E15  Time : 2045.0 sec.
user=vaughan
[2011-05-23 18:06:07]
825*2^951014-1 is not prime.  Res64: 80EC94151735588F  Time : 1282.0 sec.
user=gd_barnes
[2011-05-23 18:06:32]
951*2^951010-1 is not prime.  Res64: 2FBAEE3A2F5877E9  Time : 2047.0 sec.
user=gd_barnes
[2011-05-23 18:06:32]
1001*2^951010-1 is not prime.  Res64: 275886F3332C8911  Time : 2047.0 sec.
user=gd_barnes
[2011-05-23 18:07:15]
843*2^951012-1 is not prime.  Res64: 881FBE1CEEDD1298  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 18:07:15]
887*2^951012-1 is not prime.  Res64: 0D34ED59261FE4B5  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 18:07:25]
945*2^951012-1 is not prime.  Res64: C7566039F9F00932  Time : 2009.0 sec.
user=gd_barnes
[2011-05-23 18:07:25]
947*2^951012-1 is not prime.  Res64: 32AF6A3B00796292  Time : 2009.0 sec.
user=gd_barnes
[2011-05-23 18:11:18]
849*2^951013-1 is not prime.  Res64: 444CCDE93F4C71C5  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 18:11:18]
889*2^951013-1 is not prime.  Res64: A677E17FE9FA7349  Time : 2080.0 sec.
user=vaughan
[2011-05-23 18:17:33]
827*2^951014-1 is not prime.  Res64: 2628AD00F95F4F72  Time : 1329.0 sec.
user=ototero
[2011-05-23 18:18:58]
969*2^950968-1 is not prime.  Res64: A68182A42B201C99  Time : 15255.0 sec.
user=ototero
[2011-05-23 18:18:59]
819*2^950969-1 is not prime.  Res64: 34C21DFB01CE8670  Time : 15256.0 sec.
user=ototero
[2011-05-23 18:18:59]
949*2^950969-1 is not prime.  Res64: 3ADE4571CBE12024  Time : 15255.0 sec.
user=ototero
[2011-05-23 18:18:59]
821*2^950970-1 is not prime.  Res64: 30F2C73616832440  Time : 15255.0 sec.
user=ototero
[2011-05-23 18:18:59]
893*2^950970-1 is not prime.  Res64: B3A06C476E8C2582  Time : 15255.0 sec.
user=ototero
[2011-05-23 18:18:59]
917*2^950970-1 is not prime.  Res64: 02DDDC2ADAAAF5B5  Time : 15254.0 sec.
user=ototero
[2011-05-23 18:18:59]
921*2^950970-1 is not prime.  Res64: 61ECBAADC7D83306  Time : 15254.0 sec.
user=ototero
[2011-05-23 18:19:00]
813*2^950971-1 is not prime.  Res64: E0486918B5483002  Time : 15255.0 sec.
user=ototero
[2011-05-23 18:19:00]
909*2^950971-1 is not prime.  Res64: 5C5425381FCABBD9  Time : 15254.0 sec.
user=ototero
[2011-05-23 18:19:00]
931*2^950971-1 is not prime.  Res64: 367CA3FE83ED538B  Time : 15254.0 sec.
user=vaughan
[2011-05-23 18:19:07]
873*2^951014-1 is not prime.  Res64: DB7EB461F6643B6B  Time : 1280.0 sec.
user=vaughan
[2011-05-23 18:24:41]
831*2^951015-1 is not prime.  Res64: C3BD8121773D5C83  Time : 1216.0 sec.
user=vaughan
[2011-05-23 18:27:28]
927*2^951016-1 is not prime.  Res64: 27DA80721FF22D2A  Time : 1281.0 sec.
user=gd_barnes
[2011-05-23 18:34:50]
885*2^951014-1 is not prime.  Res64: 94EF224428BBA708  Time : 2002.0 sec.
user=gd_barnes
[2011-05-23 18:34:50]
951*2^951014-1 is not prime.  Res64: CCEB7CEDD845D7A8  Time : 2002.0 sec.
user=gd_barnes
[2011-05-23 18:38:53]
897*2^951016-1 is not prime.  Res64: CD438E33B2CE5D21  Time : 2054.0 sec.
user=gd_barnes
[2011-05-23 18:38:53]
923*2^951016-1 is not prime.  Res64: 56188288705B8216  Time : 2054.0 sec.
user=vaughan
[2011-05-23 18:39:43]
827*2^951020-1 is not prime.  Res64: 2F9E7B58125E4D7F  Time : 1330.0 sec.
user=vaughan
[2011-05-23 18:40:35]
887*2^951024-1 is not prime.  Res64: 6EDA4FAFEAE4C02B  Time : 1288.0 sec.
user=gd_barnes
[2011-05-23 18:40:52]
999*2^951016-1 is not prime.  Res64: AA5D2FF5C755CC8D  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 18:40:52]
861*2^951017-1 is not prime.  Res64: 71463EEE88AB04F7  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 18:41:11]
957*2^951017-1 is not prime.  Res64: E42298565F070F4F  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 18:41:11]
979*2^951017-1 is not prime.  Res64: AB1FC1961D1865B0  Time : 2036.0 sec.
user=gd_barnes
[2011-05-23 18:41:55]
803*2^951018-1 is not prime.  Res64: 1247FCEC22EBFFE0  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 18:41:55]
815*2^951018-1 is not prime.  Res64: 4BCE77DD9986619A  Time : 2070.0 sec.
user=vaughan
[2011-05-23 18:45:02]
947*2^951024-1 is not prime.  Res64: 76765FED5A57526E  Time : 1221.0 sec.
user=gd_barnes
[2011-05-23 18:45:53]
913*2^951019-1 is not prime.  Res64: 64DBCB673FC12AF3  Time : 2075.0 sec.
user=gd_barnes
[2011-05-23 18:45:53]
919*2^951019-1 is not prime.  Res64: 0CD232670BFA423E  Time : 2075.0 sec.
user=vaughan
[2011-05-23 18:49:05]
841*2^951025-1 is not prime.  Res64: 5240B606DA8DFF49  Time : 1297.0 sec.
user=vaughan
[2011-05-23 19:01:08]
893*2^951026-1 is not prime.  Res64: DDCF3AE6778E1DFC  Time : 1286.0 sec.
user=vaughan
[2011-05-23 19:02:25]
903*2^951026-1 is not prime.  Res64: 80319B082F448D21  Time : 1310.0 sec.
user=vaughan
[2011-05-23 19:05:13]
829*2^951029-1 is not prime.  Res64: 1A3E0CD57F2FED38  Time : 1212.0 sec.
user=gd_barnes
[2011-05-23 19:09:09]
885*2^951025-1 is not prime.  Res64: 1770D7EB9792DD98  Time : 2060.0 sec.
user=gd_barnes
[2011-05-23 19:09:10]
999*2^951025-1 is not prime.  Res64: 0845592D7B13D139  Time : 2060.0 sec.
user=vaughan
[2011-05-23 19:10:51]
821*2^951030-1 is not prime.  Res64: EA35E92A06551A74  Time : 1306.0 sec.
user=gd_barnes
[2011-05-23 19:13:17]
825*2^951026-1 is not prime.  Res64: 8469C8A11F2592DB  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 19:13:17]
843*2^951026-1 is not prime.  Res64: CE967049A83A452F  Time : 2064.0 sec.
user=gd_barnes
[2011-05-23 19:14:42]
923*2^951026-1 is not prime.  Res64: 8FAAA37BD82C1C51  Time : 2030.0 sec.
user=gd_barnes
[2011-05-23 19:14:42]
1001*2^951026-1 is not prime.  Res64: C53B9FFE8652F5BA  Time : 2030.0 sec.
user=gd_barnes
[2011-05-23 19:15:04]
805*2^951027-1 is not prime.  Res64: F72795C26BA476B1  Time : 2033.0 sec.
user=gd_barnes
[2011-05-23 19:15:04]
931*2^951027-1 is not prime.  Res64: AE8E7ED8330D0A8D  Time : 2033.0 sec.
user=gd_barnes
[2011-05-23 19:15:49]
961*2^951027-1 is not prime.  Res64: 44CE4837B62EB450  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 19:15:49]
825*2^951028-1 is not prime.  Res64: 9A7F0C90C72E53D0  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 19:20:25]
847*2^951029-1 is not prime.  Res64: D58DFCBEEFBC75CE  Time : 2072.0 sec.
user=gd_barnes
[2011-05-23 19:20:25]
939*2^951029-1 is not prime.  Res64: 953D980C7A9CF2CF  Time : 2072.0 sec.
user=vaughan
[2011-05-23 19:22:36]
957*2^951030-1 is not prime.  Res64: CE92E572D0B95057  Time : 1288.0 sec.
user=vaughan
[2011-05-23 19:24:15]
965*2^951030-1 is not prime.  Res64: 49D3D322DEE10E9E  Time : 1310.0 sec.
user=vaughan
[2011-05-23 19:25:22]
971*2^951030-1 is not prime.  Res64: 4F4FCE7E4A024C83  Time : 1210.0 sec.
user=vaughan
[2011-05-23 19:32:39]
975*2^951031-1 is not prime.  Res64: BC72E36D16114532  Time : 1309.0 sec.
user=gd_barnes
[2011-05-23 19:43:24]
895*2^951031-1 is not prime.  Res64: 11225DB85F62AC53  Time : 2054.0 sec.
user=gd_barnes
[2011-05-23 19:43:24]
969*2^951031-1 is not prime.  Res64: C83B9879F4C77DA1  Time : 2054.0 sec.
user=vaughan
[2011-05-23 19:44:18]
905*2^951036-1 is not prime.  Res64: 0D567F3E10787572  Time : 1303.0 sec.
user=vaughan
[2011-05-23 19:45:41]
997*2^951037-1 is not prime.  Res64: D20280DB9CFBDA81  Time : 1220.0 sec.
user=vaughan
[2011-05-23 19:46:00]
825*2^951037-1 is not prime.  Res64: 0BB1D6940B9F2D38  Time : 1306.0 sec.
user=gd_barnes
[2011-05-23 19:47:22]
843*2^951032-1 is not prime.  Res64: 4CFC2C511F649AB3  Time : 2045.0 sec.
user=gd_barnes
[2011-05-23 19:47:22]
959*2^951032-1 is not prime.  Res64: E8EAC6853FA26D62  Time : 2045.0 sec.
user=gd_barnes
[2011-05-23 19:48:51]
805*2^951033-1 is not prime.  Res64: 4216A72A827A5859  Time : 2027.0 sec.
user=gd_barnes
[2011-05-23 19:48:51]
861*2^951033-1 is not prime.  Res64: A54AC90DD964419F  Time : 2027.0 sec.
user=gd_barnes
[2011-05-23 19:49:22]
983*2^951032-1 is not prime.  Res64: A5113ED2D475FE1F  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 19:49:22]
995*2^951032-1 is not prime.  Res64: 9728D6E07A991FB9  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 19:49:55]
915*2^951033-1 is not prime.  Res64: D79F052E292F02E5  Time : 2046.0 sec.
user=gd_barnes
[2011-05-23 19:49:55]
963*2^951035-1 is not prime.  Res64: 7487F7AFCE49946C  Time : 2046.0 sec.
user=ototero
[2011-05-23 19:51:02]
949*2^950961-1 is not prime.  Res64: 1C0938C234BAFB99  Time : 23323.0 sec.
user=ototero
[2011-05-23 19:51:02]
987*2^950961-1 is not prime.  Res64: 34E7FACBF10B3AE0  Time : 23322.0 sec.
user=ototero
[2011-05-23 19:51:03]
999*2^950961-1 is not prime.  Res64: E1FCC6AB7364DDD1  Time : 23323.0 sec.
user=ototero
[2011-05-23 19:51:03]
833*2^950962-1 is not prime.  Res64: 2C3C50BF8A6DB87D  Time : 23323.0 sec.
user=ototero
[2011-05-23 19:51:03]
873*2^950962-1 is not prime.  Res64: 92CECC2D1D6385E7  Time : 23322.0 sec.
user=vaughan
[2011-05-23 19:54:25]
827*2^951038-1 is not prime.  Res64: 5A726509CF2EBE1A  Time : 1306.0 sec.
user=gd_barnes
[2011-05-23 19:55:01]
981*2^951035-1 is not prime.  Res64: 06464A0103F64955  Time : 2076.0 sec.
user=gd_barnes
[2011-05-23 19:55:01]
879*2^951036-1 is not prime.  Res64: 6ECF772015833B4D  Time : 2076.0 sec.
user=vaughan
[2011-05-23 20:05:48]
861*2^951038-1 is not prime.  Res64: 5401CC9DB7AD76E8  Time : 1290.0 sec.
user=vaughan
[2011-05-23 20:05:52]
867*2^951038-1 is not prime.  Res64: FF8CAA44B0CA9C73  Time : 1211.0 sec.
user=vaughan
[2011-05-23 20:07:46]
957*2^951038-1 is not prime.  Res64: 5D104778D3CC51AF  Time : 1307.0 sec.
user=vaughan
[2011-05-23 20:16:12]
995*2^951044-1 is not prime.  Res64: A381A0437A328196  Time : 1307.0 sec.
user=gd_barnes
[2011-05-23 20:17:18]
831*2^951038-1 is not prime.  Res64: 55248DEE4C04A2E0  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 20:17:18]
843*2^951038-1 is not prime.  Res64: 7F65B2FD4E2511DA  Time : 2034.0 sec.
user=gd_barnes
[2011-05-23 20:21:38]
885*2^951039-1 is not prime.  Res64: E7E85C5AD6A4FBFE  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 20:21:38]
933*2^951039-1 is not prime.  Res64: 00E39C6A42F9E7D8  Time : 2056.0 sec.
user=gd_barnes
[2011-05-23 20:23:07]
967*2^951041-1 is not prime.  Res64: 11D487ED22D6EFCD  Time : 1992.0 sec.
user=gd_barnes
[2011-05-23 20:23:07]
991*2^951041-1 is not prime.  Res64: EE606D69AB903D37  Time : 1992.0 sec.
user=gd_barnes
[2011-05-23 20:23:21]
813*2^951040-1 is not prime.  Res64: A2782B5B809ACAD8  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 20:23:21]
927*2^951040-1 is not prime.  Res64: AB462399F38F6354  Time : 2070.0 sec.
user=gd_barnes
[2011-05-23 20:23:37]
989*2^951040-1 is not prime.  Res64: 392B6205E2CAF3C1  Time : 2055.0 sec.
user=gd_barnes
[2011-05-23 20:23:37]
999*2^951040-1 is not prime.  Res64: 707EB5EEC53DC428  Time : 2055.0 sec.
user=vaughan
[2011-05-23 20:26:01]
965*2^951046-1 is not prime.  Res64: EE0B55F6B49125C0  Time : 1210.0 sec.
user=vaughan
[2011-05-23 20:27:16]
945*2^951046-1 is not prime.  Res64: 70E46DA539DECC8C  Time : 1288.0 sec.
user=vaughan
[2011-05-23 20:29:35]
813*2^951047-1 is not prime.  Res64: C6470529C8BC313D  Time : 1309.0 sec.
user=gd_barnes
[2011-05-23 20:29:49]
885*2^951045-1 is not prime.  Res64: 8AF4C371793229EA  Time : 2088.0 sec.
user=gd_barnes
[2011-05-23 20:29:49]
937*2^951045-1 is not prime.  Res64: 22D9BBBA997D6080  Time : 2088.0 sec.
user=vaughan
[2011-05-23 20:37:53]
825*2^951047-1 is not prime.  Res64: 641A5E716CF70F40  Time : 1301.0 sec.
user=vaughan
[2011-05-23 20:46:15]
801*2^951050-1 is not prime.  Res64: 08BE371C95A1F3F6  Time : 1214.0 sec.
user=vaughan
[2011-05-23 20:49:20]
867*2^951050-1 is not prime.  Res64: 41F15E48547A7A73  Time : 1324.0 sec.
user=gd_barnes
[2011-05-23 20:50:40]
829*2^951047-1 is not prime.  Res64: 615C5EDDEDCDEB60  Time : 2002.0 sec.
user=gd_barnes
[2011-05-23 20:50:40]
831*2^951047-1 is not prime.  Res64: 3E29CD5C3704DCE1  Time : 2002.0 sec.
user=vaughan
[2011-05-23 20:50:58]
875*2^951050-1 is not prime.  Res64: 51A4746C8C2ABC0E  Time : 1283.0 sec.
user=gd_barnes
[2011-05-23 20:56:19]
931*2^951047-1 is not prime.  Res64: 9AECAF45F4AAA03A  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 20:56:19]
973*2^951047-1 is not prime.  Res64: B53F75F628D9918C  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 20:56:45]
931*2^951049-1 is not prime.  Res64: 30FC76DFB4FE1147  Time : 1988.0 sec.
user=gd_barnes
[2011-05-23 20:56:45]
955*2^951049-1 is not prime.  Res64: 65AD58ACB78F70C2  Time : 1988.0 sec.
user=gd_barnes
[2011-05-23 20:57:32]
811*2^951049-1 is not prime.  Res64: D94B1514BCAC6B83  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 20:57:32]
819*2^951049-1 is not prime.  Res64: 4D9EF4DC0618F5AD  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 20:58:12]
849*2^951048-1 is not prime.  Res64: DED3ADDC5AB2961D  Time : 2105.0 sec.
user=gd_barnes
[2011-05-23 20:58:12]
923*2^951048-1 is not prime.  Res64: F9C6E0CE39CC726E  Time : 2105.0 sec.
user=vaughan
[2011-05-23 20:59:17]
859*2^951051-1 is not prime.  Res64: 1733EC6C106117D2  Time : 1284.0 sec.
user=gd_barnes
[2011-05-23 21:04:29]
887*2^951050-1 is not prime.  Res64: 5D69C35B86682BE8  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 21:04:29]
825*2^951051-1 is not prime.  Res64: 89BC5D9B6FDCCC33  Time : 2080.0 sec.
user=vaughan
[2011-05-23 21:06:35]
861*2^951051-1 is not prime.  Res64: DB86E0C8FCB02388  Time : 1220.0 sec.
user=vaughan
[2011-05-23 21:11:29]
975*2^951051-1 is not prime.  Res64: 060CC75C9F5801A8  Time : 1330.0 sec.
user=vaughan
[2011-05-23 21:12:20]
987*2^951052-1 is not prime.  Res64: 8EC359F2AF4DF522  Time : 1283.0 sec.
user=vaughan
[2011-05-23 21:20:41]
825*2^951056-1 is not prime.  Res64: 5C344886795C0340  Time : 1285.0 sec.
user=gd_barnes
[2011-05-23 21:24:58]
825*2^951052-1 is not prime.  Res64: F936642AD645F0DE  Time : 2058.0 sec.
user=gd_barnes
[2011-05-23 21:24:58]
929*2^951052-1 is not prime.  Res64: 3A2681891E910414  Time : 2058.0 sec.
user=vaughan
[2011-05-23 21:27:17]
885*2^951057-1 is not prime.  Res64: FE7AAC2CE48774C8  Time : 1242.0 sec.
user=gd_barnes
[2011-05-23 21:30:47]
829*2^951053-1 is not prime.  Res64: C17A953993801F2A  Time : 2068.0 sec.
user=gd_barnes
[2011-05-23 21:30:47]
837*2^951053-1 is not prime.  Res64: 10254618297D3C01  Time : 2068.0 sec.
user=gd_barnes
[2011-05-23 21:30:53]
889*2^951053-1 is not prime.  Res64: 5A3F0A1B2AACCE1F  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 21:30:53]
951*2^951053-1 is not prime.  Res64: 6EB6A90C46A2F1ED  Time : 2048.0 sec.
user=gd_barnes
[2011-05-23 21:31:37]
927*2^951054-1 is not prime.  Res64: F64929F3FC72E8D6  Time : 2005.0 sec.
user=gd_barnes
[2011-05-23 21:31:37]
813*2^951056-1 is not prime.  Res64: 8E8FBE8CE2E6B7AB  Time : 2005.0 sec.
user=gd_barnes
[2011-05-23 21:32:12]
821*2^951054-1 is not prime.  Res64: EAEEAE5169626167  Time : 2080.0 sec.
user=gd_barnes
[2011-05-23 21:32:12]
893*2^951054-1 is not prime.  Res64: 411F541800ABD722  Time : 2080.0 sec.
user=vaughan
[2011-05-23 21:33:20]
955*2^951057-1 is not prime.  Res64: C1F12614A35C6CBD  Time : 1312.0 sec.
user=vaughan
[2011-05-23 21:33:40]
801*2^951058-1 is not prime.  Res64: E92ADB45C5EBC3A6  Time : 1281.0 sec.
user=gd_barnes
[2011-05-23 21:38:32]
993*2^951056-1 is not prime.  Res64: 1D117A7CCBC47E34  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 21:38:32]
829*2^951057-1 is not prime.  Res64: 889445F84772E6CD  Time : 2043.0 sec.
user=vaughan
[2011-05-23 21:41:45]
827*2^951058-1 is not prime.  Res64: D5CA74DBDFC816BC  Time : 1264.0 sec.
user=vaughan
[2011-05-23 21:46:29]
915*2^951058-1 is not prime.  Res64: 51D697E608EDC751  Time : 1152.0 sec.
user=gd_barnes
[2011-05-23 21:58:31]
867*2^951058-1 is not prime.  Res64: 90B27896D05A1EC0  Time : 2013.0 sec.
user=gd_barnes
[2011-05-23 21:58:31]
887*2^951058-1 is not prime.  Res64: 773FD5077397CF2B  Time : 2013.0 sec.
user=vaughan
[2011-05-23 21:59:15]
923*2^951060-1 is not prime.  Res64: D7E01291E91006F1  Time : 1536.0 sec.
user=vaughan
[2011-05-23 21:59:17]
839*2^951060-1 is not prime.  Res64: A663165B5DF7D14C  Time : 1557.0 sec.
user=vaughan
[2011-05-23 22:00:19]
979*2^951061-1 is not prime.  Res64: DCC84BF60A7E70CF  Time : 1114.0 sec.
user=gd_barnes
[2011-05-23 22:03:04]
995*2^951058-1 is not prime.  Res64: 195FD42C9DC0BBFE  Time : 1937.0 sec.
user=gd_barnes
[2011-05-23 22:03:04]
811*2^951059-1 is not prime.  Res64: A2E19126A60A4533  Time : 1937.0 sec.
user=gd_barnes
[2011-05-23 22:03:19]
813*2^951059-1 is not prime.  Res64: 07458C03E249F612  Time : 1946.0 sec.
user=gd_barnes
[2011-05-23 22:03:19]
819*2^951059-1 is not prime.  Res64: BE94FFA78A028F91  Time : 1946.0 sec.
user=gd_barnes
[2011-05-23 22:03:49]
829*2^951059-1 is not prime.  Res64: 7D42F272464E4316  Time : 1932.0 sec.
user=gd_barnes
[2011-05-23 22:03:49]
885*2^951059-1 is not prime.  Res64: FDA0BA8F23202257  Time : 1932.0 sec.
user=gd_barnes
[2011-05-23 22:04:13]
993*2^951059-1 is not prime.  Res64: A1C8A420CAB0759B  Time : 1921.0 sec.
user=gd_barnes
[2011-05-23 22:04:13]
803*2^951060-1 is not prime.  Res64: 828FC32329F4F9FC  Time : 1921.0 sec.
user=vaughan
[2011-05-23 22:07:03]
999*2^951061-1 is not prime.  Res64: C34C13022EFCBC67  Time : 1234.0 sec.
user=gd_barnes
[2011-05-23 22:10:21]
847*2^951061-1 is not prime.  Res64: B9E6184AF65FB8EC  Time : 1909.0 sec.
user=gd_barnes
[2011-05-23 22:10:21]
871*2^951061-1 is not prime.  Res64: C1E68C8B3533DDB4  Time : 1909.0 sec.
user=vaughan
[2011-05-23 22:20:37]
853*2^951063-1 is not prime.  Res64: 4B38DC12C5A06E96  Time : 1282.0 sec.
user=vaughan
[2011-05-23 22:20:42]
873*2^951063-1 is not prime.  Res64: EB0777F12ABC394E  Time : 1286.0 sec.
user=vaughan
[2011-05-23 22:21:35]
891*2^951063-1 is not prime.  Res64: 58A8E66D05206086  Time : 1276.0 sec.
user=vaughan
[2011-05-23 22:28:16]
981*2^951065-1 is not prime.  Res64: CD61F37D07CEB22F  Time : 1273.0 sec.
user=ototero
[2011-05-23 22:31:21]
923*2^951020-1 is not prime.  Res64: 08C0647AE0AF1BA2  Time : 15141.0 sec.
user=ototero
[2011-05-23 22:31:21]
859*2^951021-1 is not prime.  Res64: DF4C68DD49AED363  Time : 15141.0 sec.
user=ototero
[2011-05-23 22:31:21]
945*2^951021-1 is not prime.  Res64: 37DE86E18AEB4E54  Time : 15140.0 sec.
user=ototero
[2011-05-23 22:31:21]
999*2^951021-1 is not prime.  Res64: C0EB7B94101D5E2D  Time : 15140.0 sec.
user=ototero
[2011-05-23 22:31:21]
815*2^951022-1 is not prime.  Res64: 36717FBE85BD490F  Time : 15140.0 sec.
user=ototero
[2011-05-23 22:31:21]
873*2^951022-1 is not prime.  Res64: BEB9731546B8E946  Time : 15139.0 sec.
user=ototero
[2011-05-23 22:31:22]
981*2^951022-1 is not prime.  Res64: ACA3018C43AA8AB9  Time : 15140.0 sec.
user=ototero
[2011-05-23 22:31:22]
859*2^951023-1 is not prime.  Res64: 9440501E12809C30  Time : 15140.0 sec.
user=ototero
[2011-05-23 22:31:22]
955*2^951023-1 is not prime.  Res64: 5CE1AC1203C1FB2B  Time : 15139.0 sec.
user=ototero
[2011-05-23 22:31:22]
875*2^951024-1 is not prime.  Res64: 5780E8C373196FCA  Time : 15139.0 sec.
user=gd_barnes
[2011-05-23 22:32:34]
805*2^951063-1 is not prime.  Res64: 79CA4A73F73099CD  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 22:32:34]
829*2^951063-1 is not prime.  Res64: 416C149C4F6613A9  Time : 2043.0 sec.
user=gd_barnes
[2011-05-23 22:37:25]
803*2^951064-1 is not prime.  Res64: 8EADFB79475FBC57  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 22:37:25]
927*2^951064-1 is not prime.  Res64: 4330D9A4F6263E26  Time : 2061.0 sec.
user=gd_barnes
[2011-05-23 22:37:40]
925*2^951065-1 is not prime.  Res64: 7FE1D390A17DCEC4  Time : 2007.0 sec.
user=gd_barnes
[2011-05-23 22:37:40]
937*2^951065-1 is not prime.  Res64: 1111BE02325958AE  Time : 2007.0 sec.
user=gd_barnes
[2011-05-23 22:37:47]
965*2^951064-1 is not prime.  Res64: 3DB59E66833B3F6A  Time : 2068.0 sec.
user=gd_barnes
[2011-05-23 22:37:47]
975*2^951064-1 is not prime.  Res64: 267DB3F29E9DD68B  Time : 2068.0 sec.
user=gd_barnes
[2011-05-23 22:38:16]
989*2^951064-1 is not prime.  Res64: CCE28F8374520103  Time : 2067.0 sec.
user=gd_barnes
[2011-05-23 22:38:16]
871*2^951065-1 is not prime.  Res64: AC9CD2A3FD5723FE  Time : 2067.0 sec.
user=vaughan
[2011-05-23 22:41:54]
903*2^951066-1 is not prime.  Res64: 001BAD2A822B6487  Time : 1277.0 sec.
user=vaughan
[2011-05-23 22:42:06]
917*2^951066-1 is not prime.  Res64: 299AF58443CCA6EC  Time : 1284.0 sec.
user=vaughan
[2011-05-23 22:42:53]
923*2^951066-1 is not prime.  Res64: 3D98B0B77A050D16  Time : 1278.0 sec.
user=gd_barnes
[2011-05-23 22:44:35]
851*2^951066-1 is not prime.  Res64: 3CD3C1AA392225E8  Time : 2054.0 sec.
user=gd_barnes
[2011-05-23 22:44:35]
867*2^951066-1 is not prime.  Res64: 1C3266E76F79A8A3  Time : 2054.0 sec.
user=vaughan
[2011-05-23 22:49:32]
957*2^951066-1 is not prime.  Res64: 3A977D862B78FDE0  Time : 1276.0 sec.
user=vaughan
[2011-05-23 23:03:14]
875*2^951076-1 is not prime.  Res64: 9787E5525D9D51DD  Time : 1280.0 sec.
user=vaughan
[2011-05-23 23:03:31]
927*2^951076-1 is not prime.  Res64: 63663F155CA1706C  Time : 1285.0 sec.
user=vaughan
[2011-05-23 23:04:12]
965*2^951076-1 is not prime.  Res64: D60BD3C35E824BB7  Time : 1279.0 sec.
user=vaughan
[2011-05-23 23:06:18]
801*2^951073-1 is not prime.  Res64: C10595C7E9611631  Time : 1788.0 sec.
user=gd_barnes
[2011-05-23 23:06:45]
955*2^951071-1 is not prime.  Res64: CDF1DF5D6F0CC042  Time : 2051.0 sec.
user=gd_barnes
[2011-05-23 23:06:45]
825*2^951072-1 is not prime.  Res64: D46B06C913826805  Time : 2051.0 sec.
user=vaughan
[2011-05-23 23:10:45]
825*2^951077-1 is not prime.  Res64: 5E65F0EC0C979108  Time : 1273.0 sec.
user=gd_barnes
[2011-05-23 23:11:20]
831*2^951073-1 is not prime.  Res64: 5A202AAE53D03CEB  Time : 2035.0 sec.
user=gd_barnes
[2011-05-23 23:11:20]
877*2^951073-1 is not prime.  Res64: DB786FF604B877E1  Time : 2035.0 sec.
user=gd_barnes
[2011-05-23 23:11:40]
967*2^951073-1 is not prime.  Res64: FF371F436ABEC746  Time : 2040.0 sec.
user=gd_barnes
[2011-05-23 23:11:40]
875*2^951074-1 is not prime.  Res64: B8705FB3266CDE92  Time : 2040.0 sec.
user=gd_barnes
[2011-05-23 23:12:10]
887*2^951074-1 is not prime.  Res64: 3802761B1A523153  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 23:12:10]
895*2^951075-1 is not prime.  Res64: 72FBD4D12D66078A  Time : 2063.0 sec.
user=gd_barnes
[2011-05-23 23:12:26]
833*2^951076-1 is not prime.  Res64: 3EC32B253963E15D  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 23:12:26]
843*2^951076-1 is not prime.  Res64: D4B04ED70EF8CA6A  Time : 2050.0 sec.
user=gd_barnes
[2011-05-23 23:19:02]
805*2^951077-1 is not prime.  Res64: 0EC19DDB0E1FEA44  Time : 2067.0 sec.
user=gd_barnes
[2011-05-23 23:19:02]
819*2^951077-1 is not prime.  Res64: 79F067FF6A469DF3  Time : 2067.0 sec.
user=vaughan
[2011-05-23 23:24:46]
801*2^951078-1 is not prime.  Res64: FD8046919CEBDF7A  Time : 1293.0 sec.
user=vaughan
[2011-05-23 23:25:17]
833*2^951078-1 is not prime.  Res64: C10BB1E3658454CC  Time : 1307.0 sec.
user=vaughan
[2011-05-23 23:25:45]
923*2^951078-1 is not prime.  Res64: 2EAB2F98371C1A43  Time : 1293.0 sec.
user=vaughan
[2011-05-23 23:26:11]
975*2^951072-1 is not prime.  Res64: 24DE4354D6B15C60  Time : 2982.0 sec.
user=vaughan
[2011-05-23 23:31:05]
853*2^951079-1 is not prime.  Res64: 6FE606A7DBE67438  Time : 1221.0 sec.
user=gd_barnes
[2011-05-23 23:41:26]
945*2^951078-1 is not prime.  Res64: 97675A5BAB4BD5A3  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 23:41:26]
831*2^951079-1 is not prime.  Res64: C421C514B27568DB  Time : 2081.0 sec.
user=gd_barnes
[2011-05-23 23:45:24]
861*2^951079-1 is not prime.  Res64: 199FB2C3BC6E826C  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 23:45:24]
873*2^951079-1 is not prime.  Res64: BA3202E2CD6A3E9B  Time : 2044.0 sec.
user=gd_barnes
[2011-05-23 23:45:41]
933*2^951079-1 is not prime.  Res64: 153081C5B6DBB552  Time : 2041.0 sec.
user=gd_barnes
[2011-05-23 23:45:41]
827*2^951080-1 is not prime.  Res64: 75B6BF8E64FC2AB4  Time : 2041.0 sec.
user=gd_barnes
[2011-05-23 23:45:50]
839*2^951080-1 is not prime.  Res64: 3CB1AB332A37BF24  Time : 2020.0 sec.
user=gd_barnes
[2011-05-23 23:45:50]
875*2^951080-1 is not prime.  Res64: 178B24280F79FFB9  Time : 2020.0 sec.
user=vaughan
[2011-05-23 23:46:31]
969*2^951081-1 is not prime.  Res64: 24B96C213E60A3EE  Time : 1305.0 sec.
user=gd_barnes
[2011-05-23 23:47:09]
929*2^951080-1 is not prime.  Res64: B082F4D7E6E53489  Time : 2083.0 sec.
user=gd_barnes
[2011-05-23 23:47:09]
847*2^951081-1 is not prime.  Res64: FD13BF2CCEA6DEEC  Time : 2083.0 sec.
user=vaughan
[2011-05-23 23:47:16]
979*2^951081-1 is not prime.  Res64: 69154F263910CF6F  Time : 1319.0 sec.
user=vaughan
[2011-05-23 23:47:34]
831*2^951082-1 is not prime.  Res64: D7BA7A26E9C7E204  Time : 1310.0 sec.
user=vaughan
[2011-05-23 23:51:32]
923*2^951082-1 is not prime.  Res64: 7708EF7AE3E92973  Time : 1227.0 sec.
user=gd_barnes
[2011-05-23 23:53:00]
861*2^951081-1 is not prime.  Res64: 79FE69279B99D4B3  Time : 2038.0 sec.
user=gd_barnes
[2011-05-23 23:53:00]
877*2^951081-1 is not prime.  Res64: 561F8C95114775B7  Time : 2038.0 sec.