user=vaughan
[2011-02-13 00:05:23]
2303*2^286316-1 is not prime.  Res64: EF19431CAB9B1258  Time : 1128.0 sec.
user=vaughan
[2011-02-13 00:24:13]
2303*2^286334-1 is not prime.  Res64: 49415F35850E4B0B  Time : 1129.0 sec.
user=mdettweiler
[2011-02-13 00:27:50]
2303*2^286296-1 is not prime.  Res64: 6FB4B673EB56E025  Time : 4493.0 sec.
user=vaughan
[2011-02-13 00:42:59]
2303*2^286376-1 is not prime.  Res64: CB69214BC62179D8  Time : 1126.0 sec.
user=vaughan
[2011-02-13 01:01:47]
2303*2^286394-1 is not prime.  Res64: 19EF3724F274F948  Time : 1127.0 sec.
user=vaughan
[2011-02-13 01:20:40]
2303*2^286406-1 is not prime.  Res64: 5D11C10A61BB4CE0  Time : 1133.0 sec.
user=vaughan
[2011-02-13 01:39:28]
2303*2^286430-1 is not prime.  Res64: 154838E81F1A9DAE  Time : 1127.0 sec.
user=mdettweiler
[2011-02-13 01:45:15]
2303*2^286384-1 is not prime.  Res64: 10E6C9167D36437B  Time : 4645.0 sec.
user=vaughan
[2011-02-13 01:58:15]
2303*2^286452-1 is not prime.  Res64: 2C04D81A2011C6CC  Time : 1127.0 sec.
user=mdettweiler
[2011-02-13 02:13:32]
2303*2^286462-1 is not prime.  Res64: AC95F5AECC4C03D3  Time : 1696.0 sec.
user=vaughan
[2011-02-13 02:17:09]
2303*2^286466-1 is not prime.  Res64: A226E724E2154E3C  Time : 1133.0 sec.
user=vaughan
[2011-02-13 02:35:55]
2303*2^286534-1 is not prime.  Res64: EBC3733B40E19B40  Time : 1126.0 sec.
user=mdettweiler
[2011-02-13 02:41:48]
2303*2^286496-1 is not prime.  Res64: 041B17338EDDB7FE  Time : 1696.0 sec.
user=vaughan
[2011-02-13 02:54:42]
2303*2^286554-1 is not prime.  Res64: 1B8FA5B98FE3D1D7  Time : 1128.0 sec.
user=mdettweiler
[2011-02-13 03:10:21]
2303*2^286574-1 is not prime.  Res64: F32880403CECDDC0  Time : 1713.0 sec.
user=vaughan
[2011-02-13 03:13:30]
2303*2^286600-1 is not prime.  Res64: AE8587A119F65310  Time : 1127.0 sec.
user=vaughan
[2011-02-13 03:32:22]
2303*2^286636-1 is not prime.  Res64: F125320D1A848A5E  Time : 1131.0 sec.
user=mdettweiler
[2011-02-13 03:38:41]
2303*2^286614-1 is not prime.  Res64: EBA45B9CA8CD1C90  Time : 1700.0 sec.
user=vaughan
[2011-02-13 03:51:09]
2303*2^286644-1 is not prime.  Res64: 2695521E87834A43  Time : 1127.0 sec.
user=mdettweiler
[2011-02-13 04:06:56]
2303*2^286646-1 is not prime.  Res64: 7F279B80968B2D64  Time : 1695.0 sec.
user=vaughan
[2011-02-13 04:10:01]
2303*2^286686-1 is not prime.  Res64: 656F07356B4BA285  Time : 1131.0 sec.
user=vaughan
[2011-02-13 04:28:50]
2303*2^286694-1 is not prime.  Res64: C0E1FE6B72CFC62D  Time : 1129.0 sec.
user=mdettweiler
[2011-02-13 04:35:11]
2303*2^286692-1 is not prime.  Res64: 9647A539D5980141  Time : 1695.0 sec.
user=vaughan
[2011-02-13 04:47:39]
2303*2^286710-1 is not prime.  Res64: 6924001EF2BF524F  Time : 1128.0 sec.
user=mdettweiler
[2011-02-13 05:03:24]
2303*2^286716-1 is not prime.  Res64: BD05E60D68A1C148  Time : 1693.0 sec.
user=vaughan
[2011-02-13 05:06:33]
2303*2^286732-1 is not prime.  Res64: 4E9B8CCAB19C2A20  Time : 1134.0 sec.
user=vaughan
[2011-02-13 05:25:24]
2303*2^286752-1 is not prime.  Res64: 9750BC75E7D833FA  Time : 1131.0 sec.
user=mdettweiler
[2011-02-13 05:31:56]
2303*2^286750-1 is not prime.  Res64: 69AED23BBE9890C4  Time : 1712.0 sec.
user=vaughan
[2011-02-13 05:44:14]
2303*2^286764-1 is not prime.  Res64: 4F1A44599F18271E  Time : 1130.0 sec.
user=mdettweiler
[2011-02-13 06:01:26]
2303*2^286776-1 is not prime.  Res64: 1ADD3A0F371E4EA4  Time : 1770.0 sec.
user=vaughan
[2011-02-13 06:03:02]
2303*2^286800-1 is not prime.  Res64: E97C95535260308C  Time : 1128.0 sec.
user=vaughan
[2011-02-13 06:21:57]
2303*2^286834-1 is not prime.  Res64: 820E67B98B67AA84  Time : 1135.0 sec.
user=mdettweiler
[2011-02-13 06:29:41]
2303*2^286830-1 is not prime.  Res64: 0964C4D108C19148  Time : 1695.0 sec.
user=vaughan
[2011-02-13 06:40:46]
2303*2^286852-1 is not prime.  Res64: CF20DFB49AE8AFDD  Time : 1128.0 sec.
user=mdettweiler
[2011-02-13 06:58:18]
2303*2^286854-1 is not prime.  Res64: 1EA4C8B3AC736CDE  Time : 1717.0 sec.
user=vaughan
[2011-02-13 06:59:35]
2303*2^286860-1 is not prime.  Res64: 8F1C7D96F6E8DE09  Time : 1129.0 sec.
user=vaughan
[2011-02-13 07:18:31]
2303*2^286910-1 is not prime.  Res64: 358333BFD61AA06A  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 07:26:36]
2303*2^286902-1 is not prime.  Res64: 9D131B1F62CAEA3C  Time : 1698.0 sec.
user=vaughan
[2011-02-13 07:37:21]
2303*2^286912-1 is not prime.  Res64: 9B129DF5CD6A8AB8  Time : 1129.0 sec.
user=mdettweiler
[2011-02-13 07:54:53]
2303*2^286930-1 is not prime.  Res64: 20162F826CF01B73  Time : 1697.0 sec.
user=vaughan
[2011-02-13 07:56:12]
2303*2^286964-1 is not prime.  Res64: 99F0BDD2E089DD4C  Time : 1131.0 sec.
user=vaughan
[2011-02-13 08:15:14]
2303*2^287000-1 is not prime.  Res64: 50B13EC2DDD7A629  Time : 1141.0 sec.
user=mdettweiler
[2011-02-13 08:23:52]
2303*2^286966-1 is not prime.  Res64: E5D3E2E8F74407D3  Time : 1739.0 sec.
user=vaughan
[2011-02-13 08:34:19]
2303*2^287040-1 is not prime.  Res64: 97A7D3D609C5363E  Time : 1144.0 sec.
user=mdettweiler
[2011-02-13 08:52:14]
2303*2^287074-1 is not prime.  Res64: 539CCE600715A23A  Time : 1702.0 sec.
user=vaughan
[2011-02-13 08:53:08]
2303*2^287094-1 is not prime.  Res64: 956A9D9AFC388664  Time : 1129.0 sec.
user=vaughan
[2011-02-13 09:12:21]
2303*2^287140-1 is not prime.  Res64: 4DC531F8ECC62550  Time : 1152.0 sec.
user=mdettweiler
[2011-02-13 09:20:34]
2303*2^287112-1 is not prime.  Res64: 9E05A9C20D35FD02  Time : 1700.0 sec.
user=vaughan
[2011-02-13 09:31:24]
2303*2^287146-1 is not prime.  Res64: 681F45D5B6352B03  Time : 1137.0 sec.
user=mdettweiler
[2011-02-13 09:48:55]
2303*2^287150-1 is not prime.  Res64: 98B25704E35DB55A  Time : 1701.0 sec.
user=vaughan
[2011-02-13 09:50:15]
2303*2^287196-1 is not prime.  Res64: 8CE7BF5115E3CBFE  Time : 1130.0 sec.
user=vaughan
[2011-02-13 10:09:08]
2303*2^287254-1 is not prime.  Res64: 075EF7A348E32048  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 10:17:13]
2303*2^287220-1 is not prime.  Res64: D3F307FE67668B4C  Time : 1696.0 sec.
user=vaughan
[2011-02-13 10:28:01]
2303*2^287266-1 is not prime.  Res64: 211D444B5B05C617  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 10:45:32]
2303*2^287286-1 is not prime.  Res64: 4D5209EA1E60FAEF  Time : 1699.0 sec.
user=vaughan
[2011-02-13 10:46:53]
2303*2^287304-1 is not prime.  Res64: 17B38D54C749F781  Time : 1131.0 sec.
user=vaughan
[2011-02-13 11:05:44]
2303*2^287382-1 is not prime.  Res64: 77E574E32C5C1CFE  Time : 1130.0 sec.
user=mdettweiler
[2011-02-13 11:14:19]
2303*2^287344-1 is not prime.  Res64: 044912DA2528F47E  Time : 1726.0 sec.
user=vaughan
[2011-02-13 11:24:42]
2303*2^287434-1 is not prime.  Res64: 2A036D31783EC04F  Time : 1138.0 sec.
user=mdettweiler
[2011-02-13 11:42:39]
2303*2^287450-1 is not prime.  Res64: 7487D1D6BEB4532E  Time : 1699.0 sec.
user=vaughan
[2011-02-13 11:44:21]
2303*2^287460-1 is not prime.  Res64: D053870909ADA560  Time : 1179.0 sec.
user=vaughan
[2011-02-13 12:03:13]
2303*2^287514-1 is not prime.  Res64: 10D16C5B7C0AC583  Time : 1131.0 sec.
user=mdettweiler
[2011-02-13 12:10:59]
2303*2^287486-1 is not prime.  Res64: BD1F91F44526B374  Time : 1700.0 sec.
user=vaughan
[2011-02-13 12:22:09]
2303*2^287526-1 is not prime.  Res64: 7258C21773A3A603  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 12:39:23]
2303*2^287562-1 is not prime.  Res64: DD63335ECD94232E  Time : 1704.0 sec.
user=vaughan
[2011-02-13 12:41:01]
2303*2^287572-1 is not prime.  Res64: C89C7DB0B55C565B  Time : 1132.0 sec.
user=vaughan
[2011-02-13 12:59:54]
2303*2^287600-1 is not prime.  Res64: 55464E2393F6979A  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 13:07:38]
2303*2^287590-1 is not prime.  Res64: 5F9CCA839E023E94  Time : 1695.0 sec.
user=vaughan
[2011-02-13 13:18:50]
2303*2^287654-1 is not prime.  Res64: CFB2EA5EF0534449  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 13:35:58]
2303*2^287662-1 is not prime.  Res64: 2821ED9BFEBFDA01  Time : 1699.0 sec.
user=vaughan
[2011-02-13 13:37:41]
2303*2^287676-1 is not prime.  Res64: F01C4D1F98CC46FE  Time : 1130.0 sec.
user=vaughan
[2011-02-13 13:56:34]
2303*2^287704-1 is not prime.  Res64: C5F87E41F1E97323  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 14:04:16]
2303*2^287682-1 is not prime.  Res64: CE438DA0E98F3F36  Time : 1698.0 sec.
user=vaughan
[2011-02-13 14:15:31]
2303*2^287714-1 is not prime.  Res64: 1D506E26FF5B8588  Time : 1137.0 sec.
user=mdettweiler
[2011-02-13 14:32:44]
2303*2^287756-1 is not prime.  Res64: 4A72D298ACE03880  Time : 1707.0 sec.
user=vaughan
[2011-02-13 14:34:25]
2303*2^287814-1 is not prime.  Res64: 7DE5725E26E10A67  Time : 1134.0 sec.
user=vaughan
[2011-02-13 14:53:18]
2303*2^287874-1 is not prime.  Res64: B38D67F9275ECF3D  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 15:01:26]
2303*2^287820-1 is not prime.  Res64: 1142A144B2F4E0EA  Time : 1722.0 sec.
user=vaughan
[2011-02-13 15:12:13]
2303*2^287914-1 is not prime.  Res64: 628CD1DDCB7A7AF4  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 15:29:51]
2303*2^287916-1 is not prime.  Res64: 1284E2F66E61D033  Time : 1705.0 sec.
user=vaughan
[2011-02-13 15:31:27]
2303*2^287922-1 is not prime.  Res64: 20092026CC0DBCE6  Time : 1153.0 sec.
user=vaughan
[2011-02-13 15:50:20]
2303*2^287934-1 is not prime.  Res64: 9A739ADD24221BED  Time : 1132.0 sec.
user=mdettweiler
[2011-02-13 15:58:19]
2303*2^287930-1 is not prime.  Res64: 1634BCD2EA4B0BC9  Time : 1708.0 sec.
user=vaughan
[2011-02-13 16:09:16]
2303*2^287952-1 is not prime.  Res64: 01D25FABFB080FD5  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 16:26:45]
2303*2^287974-1 is not prime.  Res64: E980D96CA62471D1  Time : 1706.0 sec.
user=vaughan
[2011-02-13 16:28:19]
2303*2^288006-1 is not prime.  Res64: 3F01714903A23F06  Time : 1143.0 sec.
user=vaughan
[2011-02-13 16:47:14]
2303*2^288046-1 is not prime.  Res64: 51A80ABCEDB1D353  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 16:55:11]
2303*2^288044-1 is not prime.  Res64: CB69A59EB8230763  Time : 1706.0 sec.
user=vaughan
[2011-02-13 17:06:10]
2303*2^288054-1 is not prime.  Res64: 022B5A4834CDF8E6  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 17:23:36]
2303*2^288072-1 is not prime.  Res64: C521A03849D90AD4  Time : 1705.0 sec.
user=vaughan
[2011-02-13 17:25:07]
2303*2^288100-1 is not prime.  Res64: BD830F6A857386D0  Time : 1137.0 sec.
user=vaughan
[2011-02-13 17:44:01]
2303*2^288120-1 is not prime.  Res64: 8AC53F1F170F1E5F  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 17:52:08]
2303*2^288114-1 is not prime.  Res64: 0F55E9B24A98363D  Time : 1712.0 sec.
user=vaughan
[2011-02-13 18:02:56]
2303*2^288130-1 is not prime.  Res64: 6CEACF6EAC7885E1  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 18:20:33]
2303*2^288136-1 is not prime.  Res64: 219D49622BF6D9C0  Time : 1705.0 sec.
user=vaughan
[2011-02-13 18:21:55]
2303*2^288144-1 is not prime.  Res64: B55CEDEE7AAEA73A  Time : 1138.0 sec.
user=vaughan
[2011-02-13 18:40:49]
2303*2^288162-1 is not prime.  Res64: 2DED7DCB4E163871  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 18:48:59]
2303*2^288156-1 is not prime.  Res64: 6E0180E6DDF5A851  Time : 1705.0 sec.
user=vaughan
[2011-02-13 18:59:54]
2303*2^288194-1 is not prime.  Res64: 23482CCD02A50656  Time : 1145.0 sec.
user=mdettweiler
[2011-02-13 19:17:46]
2303*2^288226-1 is not prime.  Res64: 56B90145A0F5CFAE  Time : 1726.0 sec.
user=vaughan
[2011-02-13 19:18:57]
2303*2^288230-1 is not prime.  Res64: 16040D383CA2C1DB  Time : 1143.0 sec.
user=vaughan
[2011-02-13 19:37:52]
2303*2^288266-1 is not prime.  Res64: AE9A43416096CF9A  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 19:46:14]
2303*2^288240-1 is not prime.  Res64: CA09433D6DF896B8  Time : 1707.0 sec.
user=vaughan
[2011-02-13 19:56:47]
2303*2^288290-1 is not prime.  Res64: 651B0DFC06AAA77D  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 20:14:40]
2303*2^288382-1 is not prime.  Res64: 1782DE68BCECD229  Time : 1705.0 sec.
user=vaughan
[2011-02-13 20:15:45]
2303*2^288386-1 is not prime.  Res64: CB684D2FA0E3BA6C  Time : 1137.0 sec.
user=vaughan
[2011-02-13 20:34:40]
2303*2^288404-1 is not prime.  Res64: B812CFA014987279  Time : 1134.0 sec.
user=mdettweiler
[2011-02-13 20:43:05]
2303*2^288396-1 is not prime.  Res64: EC5CAD64E820807B  Time : 1704.0 sec.
user=vaughan
[2011-02-13 20:53:36]
2303*2^288454-1 is not prime.  Res64: D54F22133DC556F1  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 21:11:33]
2303*2^288472-1 is not prime.  Res64: 1C3FBB3327D887BF  Time : 1707.0 sec.
user=vaughan
[2011-02-13 21:12:34]
2303*2^288480-1 is not prime.  Res64: 69B340F900A3979D  Time : 1137.0 sec.
user=vaughan
[2011-02-13 21:31:38]
2303*2^288504-1 is not prime.  Res64: 04515EBCA82F63FE  Time : 1143.0 sec.
user=mdettweiler
[2011-02-13 21:40:06]
2303*2^288492-1 is not prime.  Res64: 75C0804F1DAAABE6  Time : 1713.0 sec.
user=vaughan
[2011-02-13 21:50:34]
2303*2^288506-1 is not prime.  Res64: D6D95BB1FB44924A  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 22:08:35]
2303*2^288526-1 is not prime.  Res64: 45A8AC971D7789EF  Time : 1709.0 sec.
user=vaughan
[2011-02-13 22:09:32]
2303*2^288536-1 is not prime.  Res64: 458D5C6575A86886  Time : 1138.0 sec.
user=vaughan
[2011-02-13 22:28:48]
2303*2^288582-1 is not prime.  Res64: 57D836AD05592488  Time : 1156.0 sec.
user=mdettweiler
[2011-02-13 22:37:08]
2303*2^288562-1 is not prime.  Res64: 903FDCE0201610E7  Time : 1711.0 sec.
user=vaughan
[2011-02-13 22:47:45]
2303*2^288590-1 is not prime.  Res64: 8E64A14D50425107  Time : 1136.0 sec.
user=mdettweiler
[2011-02-13 23:05:53]
2303*2^288594-1 is not prime.  Res64: 5B2112DF71FAEEE5  Time : 1725.0 sec.
user=vaughan
[2011-02-13 23:06:42]
2303*2^288614-1 is not prime.  Res64: BEFB13723A40BFEE  Time : 1137.0 sec.
user=vaughan
[2011-02-13 23:25:47]
2303*2^288716-1 is not prime.  Res64: 8B09136C1B630DAB  Time : 1144.0 sec.
user=mdettweiler
[2011-02-13 23:34:21]
2303*2^288652-1 is not prime.  Res64: DF86BC0B3A36DF41  Time : 1708.0 sec.
user=vaughan
[2011-02-13 23:44:47]
2303*2^288734-1 is not prime.  Res64: 254A8F71E52F0351  Time : 1139.0 sec.