user=vaughan
[2011-01-31 00:23:26]
2301*2^349947-1 is not prime.  Res64: D503FEC86E00769D  Time : 1603.0 sec.
user=vaughan
[2011-01-31 00:39:53]
2303*2^250002-1 is not prime.  Res64: C2F9246B45B2B88C  Time : 986.0 sec.
user=vaughan
[2011-01-31 00:56:18]
2303*2^250056-1 is not prime.  Res64: 59354AA95FF7B6DA  Time : 984.0 sec.
user=vaughan
[2011-01-31 01:12:43]
2303*2^250080-1 is not prime.  Res64: F8A211D2896A0C69  Time : 984.0 sec.
user=vaughan
[2011-01-31 01:29:07]
2303*2^250094-1 is not prime.  Res64: CB8FBC7AD2CC2EF8  Time : 984.0 sec.
user=vaughan
[2011-01-31 01:45:34]
2303*2^250170-1 is not prime.  Res64: 6FF2B41D8D0DEA39  Time : 986.0 sec.
user=vaughan
[2011-01-31 02:01:58]
2303*2^250192-1 is not prime.  Res64: C94BE47E1FE34353  Time : 983.0 sec.
user=vaughan
[2011-01-31 02:18:26]
2303*2^250214-1 is not prime.  Res64: 9D524E768153D921  Time : 988.0 sec.
user=vaughan
[2011-01-31 02:34:52]
2303*2^250244-1 is not prime.  Res64: 820524192609CF8C  Time : 986.0 sec.
user=vaughan
[2011-01-31 02:51:17]
2303*2^250280-1 is not prime.  Res64: 9BC27C59D7BAF312  Time : 985.0 sec.
user=vaughan
[2011-01-31 03:07:41]
2303*2^250314-1 is not prime.  Res64: A5BF1B0EFA3A1C26  Time : 984.0 sec.
user=vaughan
[2011-01-31 03:24:08]
2303*2^250332-1 is not prime.  Res64: 612FC2E8B8762105  Time : 987.0 sec.
user=vaughan
[2011-01-31 03:40:34]
2303*2^250340-1 is not prime.  Res64: 2106716F3E0CBDF7  Time : 985.0 sec.
user=vaughan
[2011-01-31 03:57:03]
2303*2^250344-1 is not prime.  Res64: 9507A6D9F887A60D  Time : 988.0 sec.
user=vaughan
[2011-01-31 04:13:31]
2303*2^250370-1 is not prime.  Res64: 3191383AE4A37AD8  Time : 988.0 sec.
user=vaughan
[2011-01-31 04:29:58]
2303*2^250376-1 is not prime.  Res64: 3326CB21B0A088FB  Time : 986.0 sec.
user=vaughan
[2011-01-31 04:46:23]
2303*2^250384-1 is not prime.  Res64: 70B39B435497EF3A  Time : 985.0 sec.
user=vaughan
[2011-01-31 05:02:50]
2303*2^250390-1 is not prime.  Res64: D2E440677D98A1B0  Time : 987.0 sec.
user=vaughan
[2011-01-31 05:19:17]
2303*2^250402-1 is not prime.  Res64: 7E07235464F6C7D9  Time : 986.0 sec.
user=vaughan
[2011-01-31 05:35:43]
2303*2^250426-1 is not prime.  Res64: A256623318B12AD9  Time : 985.0 sec.
user=vaughan
[2011-01-31 05:52:07]
2303*2^250480-1 is not prime.  Res64: A83D8E60FF590117  Time : 984.0 sec.
user=vaughan
[2011-01-31 06:08:32]
2303*2^250552-1 is not prime.  Res64: 17648FAE0061CF53  Time : 984.0 sec.
user=vaughan
[2011-01-31 06:24:59]
2303*2^250554-1 is not prime.  Res64: D6809EC54F9C7F7B  Time : 986.0 sec.
user=vaughan
[2011-01-31 06:41:38]
2303*2^250564-1 is not prime.  Res64: A3880ECC74AA706D  Time : 998.0 sec.
user=vaughan
[2011-01-31 06:58:04]
2303*2^250570-1 is not prime.  Res64: BEFA7840EBDDD6F9  Time : 985.0 sec.
user=vaughan
[2011-01-31 07:14:35]
2303*2^250606-1 is not prime.  Res64: B34C9BF2869BD2C4  Time : 991.0 sec.
user=vaughan
[2011-01-31 07:31:12]
2303*2^250632-1 is not prime.  Res64: 0554BAFD5B10CC5F  Time : 996.0 sec.
user=vaughan
[2011-01-31 07:50:25]
2303*2^250634-1 is not prime.  Res64: A897B908CD4A1DE3  Time : 1152.0 sec.
user=vaughan
[2011-01-31 08:06:52]
2303*2^250654-1 is not prime.  Res64: 3C4F9F54A6E608B1  Time : 986.0 sec.
user=vaughan
[2011-01-31 08:23:19]
2303*2^250664-1 is not prime.  Res64: CC072FB25D2529B9  Time : 987.0 sec.
user=vaughan
[2011-01-31 08:39:52]
2303*2^250674-1 is not prime.  Res64: F4E0138219DF99F7  Time : 992.0 sec.
user=vaughan
[2011-01-31 08:56:19]
2303*2^250696-1 is not prime.  Res64: 477FA1C9BA7649A3  Time : 986.0 sec.
user=vaughan
[2011-01-31 09:12:46]
2303*2^250714-1 is not prime.  Res64: F34CB0EF0C4E9079  Time : 986.0 sec.
user=vaughan
[2011-01-31 09:30:15]
2303*2^250762-1 is not prime.  Res64: 87259207BDD7D5D5  Time : 1048.0 sec.
user=vaughan
[2011-01-31 09:46:42]
2303*2^250782-1 is not prime.  Res64: C99F43C70A7E5AC7  Time : 986.0 sec.
user=vaughan
[2011-01-31 10:03:11]
2303*2^250790-1 is not prime.  Res64: 7118076D3D523BE2  Time : 990.0 sec.
user=vaughan
[2011-01-31 10:19:40]
2303*2^250800-1 is not prime.  Res64: 6C7379531CBCEBC5  Time : 988.0 sec.
user=vaughan
[2011-01-31 10:36:12]
2303*2^250812-1 is not prime.  Res64: CC672D0F446F4F6E  Time : 991.0 sec.
user=vaughan
[2011-01-31 10:52:51]
2303*2^250852-1 is not prime.  Res64: 25C0815729D94C3D  Time : 998.0 sec.
user=vaughan
[2011-01-31 11:09:20]
2303*2^250874-1 is not prime.  Res64: C40625CD6DE0F826  Time : 988.0 sec.
user=vaughan
[2011-01-31 11:25:49]
2303*2^250884-1 is not prime.  Res64: 8685B5AECFE4A3DE  Time : 988.0 sec.
user=vaughan
[2011-01-31 11:42:36]
2303*2^250890-1 is not prime.  Res64: B09C504DB845DDFE  Time : 1006.0 sec.
user=vaughan
[2011-01-31 11:59:02]
2303*2^250896-1 is not prime.  Res64: 933B0DE2C5F28CDC  Time : 986.0 sec.
user=vaughan
[2011-01-31 12:15:30]
2303*2^250930-1 is not prime.  Res64: 970E27B2F3BF4488  Time : 988.0 sec.
user=vaughan
[2011-01-31 12:32:05]
2303*2^250960-1 is not prime.  Res64: 599011BF4DA380AE  Time : 994.0 sec.
user=vaughan
[2011-01-31 12:48:35]
2303*2^251000-1 is not prime.  Res64: E0D7BE3A764FBC39  Time : 989.0 sec.
user=vaughan
[2011-01-31 13:05:03]
2303*2^251002-1 is not prime.  Res64: EBFCD9C25CA6AACD  Time : 987.0 sec.
user=vaughan
[2011-01-31 13:21:32]
2303*2^251014-1 is not prime.  Res64: 99C073178264FFF3  Time : 988.0 sec.
user=vaughan
[2011-01-31 13:38:03]
2303*2^251052-1 is not prime.  Res64: C5E457FEB6B09ED7  Time : 990.0 sec.
user=vaughan
[2011-01-31 13:54:31]
2303*2^251054-1 is not prime.  Res64: F5182F555C1384E2  Time : 987.0 sec.
user=vaughan
[2011-01-31 14:11:03]
2303*2^251064-1 is not prime.  Res64: EA20A7000AAB188E  Time : 991.0 sec.
user=vaughan
[2011-01-31 14:27:33]
2303*2^251066-1 is not prime.  Res64: 7357EBD0B38F6C30  Time : 989.0 sec.
user=vaughan
[2011-01-31 14:44:18]
2303*2^251104-1 is not prime.  Res64: 28BDFD202BA2CD78  Time : 1004.0 sec.
user=vaughan
[2011-01-31 15:00:46]
2303*2^251106-1 is not prime.  Res64: 1041C810F56CCE3F  Time : 987.0 sec.
user=vaughan
[2011-01-31 15:17:16]
2303*2^251146-1 is not prime.  Res64: DEA55E0A58DEE217  Time : 989.0 sec.
user=vaughan
[2011-01-31 15:33:53]
2303*2^251186-1 is not prime.  Res64: 815A1E71B4D9EE22  Time : 996.0 sec.
user=vaughan
[2011-01-31 15:50:22]
2303*2^251220-1 is not prime.  Res64: 96DB51A698ACE25B  Time : 988.0 sec.
user=vaughan
[2011-01-31 16:06:51]
2303*2^251226-1 is not prime.  Res64: 32B1BDA9091F3D76  Time : 989.0 sec.
user=vaughan
[2011-01-31 16:23:21]
2303*2^251266-1 is not prime.  Res64: AD6209EAF9942625  Time : 989.0 sec.
user=vaughan
[2011-01-31 16:39:52]
2303*2^251270-1 is not prime.  Res64: 195E78DD843167EB  Time : 991.0 sec.
user=vaughan
[2011-01-31 16:56:22]
2303*2^251284-1 is not prime.  Res64: 7E85F2F5A494C5B4  Time : 990.0 sec.
user=vaughan
[2011-01-31 17:12:53]
2303*2^251310-1 is not prime.  Res64: 1C050B0430058CF2  Time : 990.0 sec.
user=vaughan
[2011-01-31 17:29:23]
2303*2^251316-1 is not prime.  Res64: 169D863A5782E5E5  Time : 989.0 sec.
user=vaughan
[2011-01-31 17:45:57]
2303*2^251334-1 is not prime.  Res64: B747C3BF43F51303  Time : 993.0 sec.
user=vaughan
[2011-01-31 18:02:26]
2303*2^251340-1 is not prime.  Res64: B9CFEBB1D028FAE7  Time : 989.0 sec.
user=vaughan
[2011-01-31 18:19:00]
2303*2^251344-1 is not prime.  Res64: 8C898A1CF35F797C  Time : 993.0 sec.
user=vaughan
[2011-01-31 18:35:34]
2303*2^251370-1 is not prime.  Res64: D1AB87AD5BD9CF1C  Time : 993.0 sec.
user=vaughan
[2011-01-31 18:52:06]
2303*2^251380-1 is not prime.  Res64: 10A1BF9FE3999AF6  Time : 991.0 sec.
user=vaughan
[2011-01-31 19:08:35]
2303*2^251390-1 is not prime.  Res64: AE2366804B6A127B  Time : 989.0 sec.
user=vaughan
[2011-01-31 19:25:06]
2303*2^251414-1 is not prime.  Res64: A33CCA1A2862685D  Time : 990.0 sec.
user=vaughan
[2011-01-31 19:41:52]
2303*2^251434-1 is not prime.  Res64: A3F707F54B128CF5  Time : 1005.0 sec.
user=vaughan
[2011-01-31 19:58:22]
2303*2^251532-1 is not prime.  Res64: 91A250C60D15A2B6  Time : 990.0 sec.
user=vaughan
[2011-01-31 20:14:53]
2303*2^251564-1 is not prime.  Res64: F9C88D5DDB2E7F90  Time : 992.0 sec.
user=vaughan
[2011-01-31 20:31:30]
2303*2^251570-1 is not prime.  Res64: 49190956C2C93628  Time : 996.0 sec.
user=vaughan
[2011-01-31 20:48:01]
2303*2^251604-1 is not prime.  Res64: 4DEE66BCC79859D6  Time : 990.0 sec.
user=vaughan
[2011-01-31 21:04:33]
2303*2^251634-1 is not prime.  Res64: 99B680F2A92ECC27  Time : 991.0 sec.
user=vaughan
[2011-01-31 21:21:04]
2303*2^251706-1 is not prime.  Res64: B3F40BE8C8F8640A  Time : 991.0 sec.
user=vaughan
[2011-01-31 21:37:36]
2303*2^251734-1 is not prime.  Res64: 548D771F414B1ADB  Time : 992.0 sec.
user=vaughan
[2011-01-31 21:54:08]
2303*2^251776-1 is not prime.  Res64: 99CE2C3EA6F2AB50  Time : 991.0 sec.
user=vaughan
[2011-01-31 22:10:38]
2303*2^251784-1 is not prime.  Res64: 2D22C52ADA79ECEE  Time : 989.0 sec.
user=vaughan
[2011-01-31 22:27:11]
2303*2^251856-1 is not prime.  Res64: 5216B35FA1748103  Time : 993.0 sec.
user=vaughan
[2011-01-31 22:43:56]
2303*2^251874-1 is not prime.  Res64: C3095EA849276ED9  Time : 1004.0 sec.
user=vaughan
[2011-01-31 23:00:28]
2303*2^251906-1 is not prime.  Res64: 61663727C2ADF485  Time : 992.0 sec.
user=vaughan
[2011-01-31 23:17:01]
2303*2^251932-1 is not prime.  Res64: 263DC60856A82758  Time : 992.0 sec.
user=vaughan
[2011-01-31 23:33:42]
2303*2^251940-1 is not prime.  Res64: 37897D57A8301F2F  Time : 1001.0 sec.
user=vaughan
[2011-01-31 23:50:14]
2303*2^251950-1 is not prime.  Res64: 761DE8491D18C87E  Time : 991.0 sec.
user=mdettweiler
[2011-01-31 23:53:42]
2301*2^349683-1 is not prime.  Res64: D3356321A6B88133  Time : 157324.0 sec.