user=vaughan
[2011-02-15 00:16:31]
2303*2^291786-1 is not prime.  Res64: 0172E0DA20411F0D  Time : 1152.0 sec.
user=mdettweiler
[2011-02-15 00:16:58]
2303*2^291774-1 is not prime.  Res64: 69A287C98244EC1D  Time : 1729.0 sec.
user=vaughan
[2011-02-15 00:35:42]
2303*2^291792-1 is not prime.  Res64: 3BBF14387433EFFF  Time : 1150.0 sec.
user=mdettweiler
[2011-02-15 00:45:43]
2303*2^291806-1 is not prime.  Res64: 14A76313E35847D1  Time : 1725.0 sec.
user=vaughan
[2011-02-15 00:54:50]
2303*2^291820-1 is not prime.  Res64: 713B7085BC980559  Time : 1148.0 sec.
user=vaughan
[2011-02-15 01:14:01]
2303*2^291862-1 is not prime.  Res64: A03B446BFCDC0A20  Time : 1150.0 sec.
user=mdettweiler
[2011-02-15 01:14:35]
2303*2^291826-1 is not prime.  Res64: 0D87528C35A781B3  Time : 1731.0 sec.
user=vaughan
[2011-02-15 01:33:36]
2303*2^291892-1 is not prime.  Res64: CD75AC951C4C48E8  Time : 1174.0 sec.
user=mdettweiler
[2011-02-15 01:43:49]
2303*2^291906-1 is not prime.  Res64: 532C507BCF66A2F0  Time : 1753.0 sec.
user=vaughan
[2011-02-15 01:52:46]
2303*2^291986-1 is not prime.  Res64: 8D5EAE996F26F625  Time : 1149.0 sec.
user=vaughan
[2011-02-15 02:11:57]
2303*2^292006-1 is not prime.  Res64: AE7F0043CF7887FE  Time : 1151.0 sec.
user=vaughan
[2011-02-15 02:31:15]
2303*2^292044-1 is not prime.  Res64: 664F22B3B092AC99  Time : 1157.0 sec.
user=mdettweiler
[2011-02-15 02:34:26]
2303*2^292000-1 is not prime.  Res64: 1809B1847E31D458  Time : 3037.0 sec.
user=vaughan
[2011-02-15 02:50:27]
2303*2^292054-1 is not prime.  Res64: D45CA1BAC611AFE9  Time : 1152.0 sec.
user=mdettweiler
[2011-02-15 03:03:12]
2303*2^292080-1 is not prime.  Res64: 66D8A4C92435BDE4  Time : 1725.0 sec.
user=vaughan
[2011-02-15 03:09:39]
2303*2^292114-1 is not prime.  Res64: 39A4C64EAF797760  Time : 1152.0 sec.
user=vaughan
[2011-02-15 03:28:53]
2303*2^292126-1 is not prime.  Res64: 4FDFD60F2DBF6ED3  Time : 1153.0 sec.
user=mdettweiler
[2011-02-15 03:32:25]
2303*2^292122-1 is not prime.  Res64: 4F5442DDCF39DD56  Time : 1752.0 sec.
user=vaughan
[2011-02-15 03:48:07]
2303*2^292164-1 is not prime.  Res64: 7C99C0C0C4FC1F68  Time : 1153.0 sec.
user=vaughan
[2011-02-15 04:07:18]
2303*2^292222-1 is not prime.  Res64: 4CCF07198E8B46FD  Time : 1150.0 sec.
user=vaughan
[2011-02-15 04:26:34]
2303*2^292244-1 is not prime.  Res64: 5A8BF85FF0438A02  Time : 1155.0 sec.
user=vaughan
[2011-02-15 04:45:51]
2303*2^292260-1 is not prime.  Res64: 68D9D74CB5E1C4E5  Time : 1156.0 sec.
user=vaughan
[2011-02-15 05:05:00]
2303*2^292280-1 is not prime.  Res64: 3C16C8E63CA15E19  Time : 1148.0 sec.
user=vaughan
[2011-02-15 05:24:12]
2303*2^292344-1 is not prime.  Res64: 0A1612744F9D72CB  Time : 1151.0 sec.
user=vaughan
[2011-02-15 05:43:20]
2303*2^292386-1 is not prime.  Res64: 11CDA8F9866631CF  Time : 1147.0 sec.
user=vaughan
[2011-02-15 06:02:29]
2303*2^292402-1 is not prime.  Res64: 04A907B4BC67B8E4  Time : 1148.0 sec.
user=vaughan
[2011-02-15 06:21:57]
2303*2^292406-1 is not prime.  Res64: 0F2A1A0D376E8250  Time : 1168.0 sec.
user=vaughan
[2011-02-15 06:41:04]
2303*2^292446-1 is not prime.  Res64: 8C7A677BEA302734  Time : 1146.0 sec.
user=vaughan
[2011-02-15 07:00:12]
2303*2^292456-1 is not prime.  Res64: 9B02FDCE7FF1F1F1  Time : 1147.0 sec.
user=vaughan
[2011-02-15 07:19:31]
2303*2^292474-1 is not prime.  Res64: B5726D46928051AC  Time : 1159.0 sec.
user=vaughan
[2011-02-15 07:38:39]
2303*2^292494-1 is not prime.  Res64: 26FBE0C769F89125  Time : 1148.0 sec.
user=vaughan
[2011-02-15 07:57:47]
2303*2^292522-1 is not prime.  Res64: EA66C15828C4AF2D  Time : 1147.0 sec.
user=vaughan
[2011-02-15 08:16:58]
2303*2^292530-1 is not prime.  Res64: 1C98AA994264099D  Time : 1150.0 sec.
user=vaughan
[2011-02-15 08:36:12]
2303*2^292566-1 is not prime.  Res64: 65CC0F4E995FC3B0  Time : 1153.0 sec.
user=vaughan
[2011-02-15 08:55:22]
2303*2^292580-1 is not prime.  Res64: C9DCE320DDE0B87A  Time : 1150.0 sec.
user=vaughan
[2011-02-15 09:15:12]
2303*2^292634-1 is not prime.  Res64: ABDDE68E27F9ACDF  Time : 1189.0 sec.
user=vaughan
[2011-02-15 09:35:12]
2303*2^292646-1 is not prime.  Res64: 31E355C458522458  Time : 1200.0 sec.
user=vaughan
[2011-02-15 09:54:22]
2303*2^292650-1 is not prime.  Res64: 4F3F605F0DF9E6A5  Time : 1150.0 sec.
user=vaughan
[2011-02-15 10:13:31]
2303*2^292684-1 is not prime.  Res64: 805C8F3EDDAE2099  Time : 1149.0 sec.
user=vaughan
[2011-02-15 10:33:01]
2303*2^292686-1 is not prime.  Res64: 757E1F620FA054EB  Time : 1169.0 sec.
user=vaughan
[2011-02-15 10:52:12]
2303*2^292694-1 is not prime.  Res64: 5DEA38ED007F6E5D  Time : 1151.0 sec.
user=vaughan
[2011-02-15 11:11:21]
2303*2^292816-1 is not prime.  Res64: EB807726860603AE  Time : 1148.0 sec.
user=vaughan
[2011-02-15 11:30:55]
2303*2^292836-1 is not prime.  Res64: F08BBA5BAFEB7BF4  Time : 1173.0 sec.
user=mdettweiler
[2011-02-15 11:48:25]
2303*2^292166-1 is not prime.  Res64: D3FA9ED3E043904C  Time : 29760.0 sec.
user=vaughan
[2011-02-15 11:51:18]
2303*2^292852-1 is not prime.  Res64: 8FA7FA1503BD5D59  Time : 1223.0 sec.
user=vaughan
[2011-02-15 12:10:27]
2303*2^292890-1 is not prime.  Res64: 808FD0F43632E244  Time : 1148.0 sec.
user=mdettweiler
[2011-02-15 12:18:46]
2303*2^292882-1 is not prime.  Res64: D4AA3190BB7793DA  Time : 1821.0 sec.
user=vaughan
[2011-02-15 12:29:43]
2303*2^292920-1 is not prime.  Res64: 22A70C48C7724FF0  Time : 1155.0 sec.
user=mdettweiler
[2011-02-15 12:47:41]
2303*2^292972-1 is not prime.  Res64: C42E085ECA8B0E20  Time : 1735.0 sec.
user=vaughan
[2011-02-15 12:48:52]
2303*2^292974-1 is not prime.  Res64: DF776142E9389C60  Time : 1148.0 sec.
user=vaughan
[2011-02-15 13:08:02]
2303*2^293036-1 is not prime.  Res64: 35F3E52EE9014DBD  Time : 1150.0 sec.
user=mdettweiler
[2011-02-15 13:16:31]
2303*2^293034-1 is not prime.  Res64: 7C928F6138DBF95C  Time : 1729.0 sec.
user=vaughan
[2011-02-15 13:27:17]
2303*2^293066-1 is not prime.  Res64: C1C10973EB18953D  Time : 1154.0 sec.
user=mdettweiler
[2011-02-15 13:45:21]
2303*2^293080-1 is not prime.  Res64: 41E217917B6F069A  Time : 1730.0 sec.
user=vaughan
[2011-02-15 13:46:27]
2303*2^293084-1 is not prime.  Res64: 25B32B51154E925D  Time : 1149.0 sec.
user=vaughan
[2011-02-15 14:05:37]
2303*2^293140-1 is not prime.  Res64: 58FAF71CD208BB32  Time : 1150.0 sec.
user=mdettweiler
[2011-02-15 14:14:15]
2303*2^293126-1 is not prime.  Res64: 242FD40CC0C1716A  Time : 1733.0 sec.
user=vaughan
[2011-02-15 14:25:10]
2303*2^293244-1 is not prime.  Res64: FBA6155970B92661  Time : 1172.0 sec.
user=mdettweiler
[2011-02-15 14:43:13]
2303*2^293330-1 is not prime.  Res64: 86F9CE4B1E826A06  Time : 1738.0 sec.
user=vaughan
[2011-02-15 14:44:21]
2303*2^293356-1 is not prime.  Res64: BFE376F9C7D2E2A6  Time : 1150.0 sec.
user=vaughan
[2011-02-15 15:03:32]
2303*2^293376-1 is not prime.  Res64: C11F6A2C86831064  Time : 1151.0 sec.
user=mdettweiler
[2011-02-15 15:12:16]
2303*2^293360-1 is not prime.  Res64: C23F57B2358894BE  Time : 1743.0 sec.
user=vaughan
[2011-02-15 15:22:50]
2303*2^293396-1 is not prime.  Res64: B1F2D8E660850541  Time : 1157.0 sec.
user=mdettweiler
[2011-02-15 15:41:15]
2303*2^293400-1 is not prime.  Res64: FFE95C557C48F9F6  Time : 1738.0 sec.
user=vaughan
[2011-02-15 15:42:01]
2303*2^293412-1 is not prime.  Res64: 93E8037B110FDA15  Time : 1150.0 sec.
user=vaughan
[2011-02-15 16:01:12]
2303*2^293426-1 is not prime.  Res64: 33CCD9AFA726B269  Time : 1151.0 sec.
user=mdettweiler
[2011-02-15 16:10:32]
2303*2^293422-1 is not prime.  Res64: 72D682CF0251FF82  Time : 1757.0 sec.
user=vaughan
[2011-02-15 16:20:27]
2303*2^293430-1 is not prime.  Res64: 0CD550E6E22D5D5A  Time : 1155.0 sec.
user=mdettweiler
[2011-02-15 16:39:27]
2303*2^293436-1 is not prime.  Res64: 5FA59A230082C939  Time : 1734.0 sec.
user=vaughan
[2011-02-15 16:39:38]
2303*2^293534-1 is not prime.  Res64: A91E69F6822970A8  Time : 1151.0 sec.
user=vaughan
[2011-02-15 16:58:49]
2303*2^293562-1 is not prime.  Res64: 0D202424264C436B  Time : 1151.0 sec.
user=mdettweiler
[2011-02-15 17:08:22]
2303*2^293550-1 is not prime.  Res64: 03BF5F66B0E5BFA5  Time : 1735.0 sec.
user=vaughan
[2011-02-15 17:18:04]
2303*2^293644-1 is not prime.  Res64: 5D77D81CF2495EB2  Time : 1154.0 sec.
user=vaughan
[2011-02-15 17:37:15]
2303*2^293664-1 is not prime.  Res64: 3E845F5FEC26A649  Time : 1151.0 sec.
user=mdettweiler
[2011-02-15 17:37:17]
2303*2^293662-1 is not prime.  Res64: 80A5DD57BDE8A5D0  Time : 1735.0 sec.
user=vaughan
[2011-02-15 17:56:28]
2303*2^293684-1 is not prime.  Res64: E8E629904234711D  Time : 1152.0 sec.
user=mdettweiler
[2011-02-15 18:06:13]
2303*2^293690-1 is not prime.  Res64: 75AD88736B709BC8  Time : 1736.0 sec.
user=vaughan
[2011-02-15 18:16:00]
2303*2^293696-1 is not prime.  Res64: 8248FF946B5E31AD  Time : 1171.0 sec.
user=mdettweiler
[2011-02-15 18:35:10]
2303*2^293712-1 is not prime.  Res64: 49D2CB46C2B4D5BA  Time : 1736.0 sec.
user=vaughan
[2011-02-15 18:35:18]
2303*2^293756-1 is not prime.  Res64: 60D0E83920E59F01  Time : 1157.0 sec.
user=vaughan
[2011-02-15 18:54:32]
2303*2^293850-1 is not prime.  Res64: E6641F76C4EE6B90  Time : 1154.0 sec.
user=mdettweiler
[2011-02-15 19:04:14]
2303*2^293800-1 is not prime.  Res64: CBE45D214CD3044E  Time : 1743.0 sec.
user=vaughan
[2011-02-15 19:13:51]
2303*2^293862-1 is not prime.  Res64: EA43F8E76AF143EE  Time : 1158.0 sec.
user=mdettweiler
[2011-02-15 19:33:11]
2303*2^293966-1 is not prime.  Res64: 3F86081827C50036  Time : 1737.0 sec.
user=vaughan
[2011-02-15 19:33:17]
2303*2^293970-1 is not prime.  Res64: 3FC91BFD2A27F5C0  Time : 1166.0 sec.
user=vaughan
[2011-02-15 19:52:32]
2303*2^294052-1 is not prime.  Res64: 8EEE69483254DF0D  Time : 1155.0 sec.
user=mdettweiler
[2011-02-15 20:03:04]
2303*2^294036-1 is not prime.  Res64: 195FA3D6986BED7E  Time : 1792.0 sec.
user=vaughan
[2011-02-15 20:11:48]
2303*2^294070-1 is not prime.  Res64: A5060A26843A895F  Time : 1155.0 sec.
user=vaughan
[2011-02-15 20:31:06]
2303*2^294116-1 is not prime.  Res64: C4C12EAE4F306C43  Time : 1157.0 sec.
user=mdettweiler
[2011-02-15 20:32:04]
2303*2^294114-1 is not prime.  Res64: 430F0FABC0FC3F78  Time : 1739.0 sec.
user=vaughan
[2011-02-15 20:50:22]
2303*2^294146-1 is not prime.  Res64: 8115B5C377403FC9  Time : 1155.0 sec.
user=mdettweiler
[2011-02-15 21:01:05]
2303*2^294170-1 is not prime.  Res64: E6E7B85C326D4888  Time : 1740.0 sec.
user=vaughan
[2011-02-15 21:09:38]
2303*2^294184-1 is not prime.  Res64: 7B544937AAA9BDC9  Time : 1156.0 sec.
user=vaughan
[2011-02-15 21:29:17]
2303*2^294270-1 is not prime.  Res64: 11207D0D9593E04A  Time : 1178.0 sec.
user=mdettweiler
[2011-02-15 21:30:03]
2303*2^294252-1 is not prime.  Res64: 9E7AE0887563509B  Time : 1738.0 sec.
user=vaughan
[2011-02-15 21:48:33]
2303*2^294276-1 is not prime.  Res64: BFC6BC4BE23D009B  Time : 1155.0 sec.
user=mdettweiler
[2011-02-15 21:59:03]
2303*2^294290-1 is not prime.  Res64: D478B87F7512F027  Time : 1740.0 sec.
user=vaughan
[2011-02-15 22:07:51]
2303*2^294304-1 is not prime.  Res64: 5484BA68E3E078B7  Time : 1157.0 sec.
user=vaughan
[2011-02-15 22:27:16]
2303*2^294350-1 is not prime.  Res64: 046F892BE6FF8B88  Time : 1164.0 sec.
user=mdettweiler
[2011-02-15 22:28:08]
2303*2^294326-1 is not prime.  Res64: 5DCB9FAE4F46DA10  Time : 1745.0 sec.
user=vaughan
[2011-02-15 22:46:34]
2303*2^294354-1 is not prime.  Res64: 0A474DE0A6112F6B  Time : 1157.0 sec.
user=mdettweiler
[2011-02-15 22:57:09]
2303*2^294366-1 is not prime.  Res64: C1C8DAF5ACD42F6A  Time : 1741.0 sec.
user=vaughan
[2011-02-15 23:05:52]
2303*2^294416-1 is not prime.  Res64: E1DF27505D07AC0E  Time : 1158.0 sec.
user=vaughan
[2011-02-15 23:25:12]
2303*2^294446-1 is not prime.  Res64: 24CAB79813BF1682  Time : 1159.0 sec.
user=mdettweiler
[2011-02-15 23:26:10]
2303*2^294430-1 is not prime.  Res64: 35A0000A6EADD844  Time : 1741.0 sec.
user=vaughan
[2011-02-15 23:44:31]
2303*2^294454-1 is not prime.  Res64: 3B81EB2471EFA57C  Time : 1158.0 sec.
user=mdettweiler
[2011-02-15 23:55:32]
2303*2^294510-1 is not prime.  Res64: 89D6C7DFF0646DC2  Time : 1762.0 sec.