user=mdettweiler
[2011-02-12 00:21:44]
2303*2^283580-1 is not prime.  Res64: 6DC50AA167CFD4E8  Time : 1677.0 sec.
user=mdettweiler
[2011-02-12 00:49:42]
2303*2^283584-1 is not prime.  Res64: A00BCC8FDBF845EF  Time : 1677.0 sec.
user=mdettweiler
[2011-02-12 01:17:36]
2303*2^283602-1 is not prime.  Res64: E49288895425A33E  Time : 1674.0 sec.
user=vaughan
[2011-02-12 01:30:38]
2303*2^283130-1 is not prime.  Res64: 528431BD84A6D5D5  Time : 31453.0 sec.
user=mdettweiler
[2011-02-12 01:45:33]
2303*2^283612-1 is not prime.  Res64: C2EA9EE4AF4A8193  Time : 1677.0 sec.
user=vaughan
[2011-02-12 01:53:22]
2303*2^283636-1 is not prime.  Res64: 90EC20A53477BACC  Time : 1363.0 sec.
user=vaughan
[2011-02-12 02:11:57]
2303*2^283666-1 is not prime.  Res64: 8492C9B128EE129A  Time : 1114.0 sec.
user=mdettweiler
[2011-02-12 02:13:29]
2303*2^283662-1 is not prime.  Res64: AE19CA0B6D005D9C  Time : 1676.0 sec.
user=vaughan
[2011-02-12 02:30:32]
2303*2^283686-1 is not prime.  Res64: 29B60806219B15CC  Time : 1115.0 sec.
user=mdettweiler
[2011-02-12 02:41:47]
2303*2^283694-1 is not prime.  Res64: ABCD9858E3982F44  Time : 1698.0 sec.
user=vaughan
[2011-02-12 02:49:06]
2303*2^283702-1 is not prime.  Res64: A9469CFD7D5359E3  Time : 1113.0 sec.
user=vaughan
[2011-02-12 03:07:39]
2303*2^283734-1 is not prime.  Res64: 2E7B0DBF2D4D2D0A  Time : 1113.0 sec.
user=vaughan
[2011-02-12 03:26:33]
2303*2^283740-1 is not prime.  Res64: 1F03FEC19808CCFA  Time : 1133.0 sec.
user=vaughan
[2011-02-12 03:45:06]
2303*2^283762-1 is not prime.  Res64: 7FA80C26A2390599  Time : 1113.0 sec.
user=mdettweiler
[2011-02-12 03:56:35]
2303*2^283720-1 is not prime.  Res64: 5567D279CC987D8C  Time : 4487.0 sec.
user=vaughan
[2011-02-12 04:03:41]
2303*2^283780-1 is not prime.  Res64: 0CAA308F8FEC93A1  Time : 1114.0 sec.
user=vaughan
[2011-02-12 04:22:22]
2303*2^283830-1 is not prime.  Res64: C5CBE0ECF18AA5C5  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 04:24:32]
2303*2^283794-1 is not prime.  Res64: 9B3A36906E44EDCB  Time : 1677.0 sec.
user=vaughan
[2011-02-12 04:40:56]
2303*2^283850-1 is not prime.  Res64: ADE8E79E48AAAECE  Time : 1114.0 sec.
user=mdettweiler
[2011-02-12 04:52:31]
2303*2^283852-1 is not prime.  Res64: F26ECD7EAAB2CF4E  Time : 1679.0 sec.
user=vaughan
[2011-02-12 04:59:31]
2303*2^283866-1 is not prime.  Res64: 18EA0A7337F5E098  Time : 1114.0 sec.
user=vaughan
[2011-02-12 05:18:07]
2303*2^283914-1 is not prime.  Res64: 18B714D523C114C5  Time : 1116.0 sec.
user=mdettweiler
[2011-02-12 05:20:27]
2303*2^283896-1 is not prime.  Res64: C8DED27AE15986F2  Time : 1676.0 sec.
user=vaughan
[2011-02-12 05:36:41]
2303*2^283926-1 is not prime.  Res64: CA21EB2435973E4D  Time : 1114.0 sec.
user=mdettweiler
[2011-02-12 05:49:47]
2303*2^283956-1 is not prime.  Res64: 211F4A332319D349  Time : 1760.0 sec.
user=vaughan
[2011-02-12 05:55:16]
2303*2^283972-1 is not prime.  Res64: B9C6BB085EAC82EB  Time : 1114.0 sec.
user=vaughan
[2011-02-12 06:13:51]
2303*2^284052-1 is not prime.  Res64: 75025695A6E47E88  Time : 1115.0 sec.
user=mdettweiler
[2011-02-12 06:17:43]
2303*2^284036-1 is not prime.  Res64: E2913B7F703B5E3D  Time : 1676.0 sec.
user=vaughan
[2011-02-12 06:32:31]
2303*2^284086-1 is not prime.  Res64: 361FC4D737062835  Time : 1119.0 sec.
user=mdettweiler
[2011-02-12 06:46:03]
2303*2^284120-1 is not prime.  Res64: 6488CB0A1DD1232A  Time : 1700.0 sec.
user=vaughan
[2011-02-12 06:51:05]
2303*2^284142-1 is not prime.  Res64: 59F770296D3CC06D  Time : 1114.0 sec.
user=vaughan
[2011-02-12 07:09:55]
2303*2^284180-1 is not prime.  Res64: 5788C6983E6D54D7  Time : 1130.0 sec.
user=mdettweiler
[2011-02-12 07:14:00]
2303*2^284152-1 is not prime.  Res64: 1BDA890FAFFCC637  Time : 1677.0 sec.
user=vaughan
[2011-02-12 07:28:33]
2303*2^284194-1 is not prime.  Res64: 7BD90A98995E2BDA  Time : 1118.0 sec.
user=mdettweiler
[2011-02-12 07:41:59]
2303*2^284256-1 is not prime.  Res64: 08F37E416D9D1584  Time : 1679.0 sec.
user=vaughan
[2011-02-12 07:50:06]
2303*2^284260-1 is not prime.  Res64: 231C81E2ED6DF100  Time : 1293.0 sec.
user=vaughan
[2011-02-12 08:08:51]
2303*2^284300-1 is not prime.  Res64: 402D7A9EFCBA6C00  Time : 1124.0 sec.
user=mdettweiler
[2011-02-12 08:10:00]
2303*2^284292-1 is not prime.  Res64: E844D84177972085  Time : 1681.0 sec.
user=vaughan
[2011-02-12 08:27:33]
2303*2^284314-1 is not prime.  Res64: 9C0D20B37D4AFA9A  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 08:38:25]
2303*2^284360-1 is not prime.  Res64: 23F5529165157A83  Time : 1704.0 sec.
user=vaughan
[2011-02-12 08:46:09]
2303*2^284374-1 is not prime.  Res64: 09A87B087145AB37  Time : 1115.0 sec.
user=vaughan
[2011-02-12 09:04:46]
2303*2^284404-1 is not prime.  Res64: 901CD1CBB465273B  Time : 1117.0 sec.
user=mdettweiler
[2011-02-12 09:06:23]
2303*2^284376-1 is not prime.  Res64: 3AEBF0811F17D501  Time : 1678.0 sec.
user=vaughan
[2011-02-12 09:23:25]
2303*2^284436-1 is not prime.  Res64: 1F3741A0D9DA46A4  Time : 1118.0 sec.
user=mdettweiler
[2011-02-12 09:34:25]
2303*2^284466-1 is not prime.  Res64: DDD84D8114BA308B  Time : 1682.0 sec.
user=vaughan
[2011-02-12 09:42:01]
2303*2^284476-1 is not prime.  Res64: B27D371A1D165856  Time : 1116.0 sec.
user=vaughan
[2011-02-12 10:00:37]
2303*2^284494-1 is not prime.  Res64: 4ECBE3F9C86DCC49  Time : 1115.0 sec.
user=mdettweiler
[2011-02-12 10:02:23]
2303*2^284490-1 is not prime.  Res64: E2999CDC475A12CC  Time : 1678.0 sec.
user=vaughan
[2011-02-12 10:19:34]
2303*2^284504-1 is not prime.  Res64: D3430933F4EAA6D8  Time : 1137.0 sec.
user=mdettweiler
[2011-02-12 10:30:22]
2303*2^284554-1 is not prime.  Res64: 66C40B6463BD0A60  Time : 1678.0 sec.
user=vaughan
[2011-02-12 10:38:12]
2303*2^284572-1 is not prime.  Res64: E349770419B0EB52  Time : 1118.0 sec.
user=vaughan
[2011-02-12 10:56:54]
2303*2^284700-1 is not prime.  Res64: 98EA144ACC381B36  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 10:58:43]
2303*2^284674-1 is not prime.  Res64: A9B0662BD00E0CF7  Time : 1701.0 sec.
user=vaughan
[2011-02-12 11:15:41]
2303*2^284712-1 is not prime.  Res64: 535BAA21F1116AF1  Time : 1127.0 sec.
user=mdettweiler
[2011-02-12 11:26:44]
2303*2^284742-1 is not prime.  Res64: CC939338FA9DF57F  Time : 1681.0 sec.
user=vaughan
[2011-02-12 11:34:21]
2303*2^284752-1 is not prime.  Res64: A8B9C5CB9376F1CA  Time : 1120.0 sec.
user=vaughan
[2011-02-12 11:54:00]
2303*2^284790-1 is not prime.  Res64: A7ACF9E5217CE8F0  Time : 1178.0 sec.
user=mdettweiler
[2011-02-12 11:55:02]
2303*2^284766-1 is not prime.  Res64: D53A8442F276ECAA  Time : 1698.0 sec.
user=vaughan
[2011-02-12 12:12:40]
2303*2^284800-1 is not prime.  Res64: F59455857974AEC1  Time : 1119.0 sec.
user=mdettweiler
[2011-02-12 12:23:09]
2303*2^284810-1 is not prime.  Res64: D1580DF8B2625623  Time : 1686.0 sec.
user=vaughan
[2011-02-12 12:31:22]
2303*2^284834-1 is not prime.  Res64: 6357A58F22DEB83C  Time : 1122.0 sec.
user=vaughan
[2011-02-12 12:50:03]
2303*2^284934-1 is not prime.  Res64: 8669EF773CC2AF2F  Time : 1120.0 sec.
user=mdettweiler
[2011-02-12 12:51:15]
2303*2^284872-1 is not prime.  Res64: A9A4E21A8F0016BB  Time : 1685.0 sec.
user=vaughan
[2011-02-12 13:08:43]
2303*2^284944-1 is not prime.  Res64: 6606AD22D757FACB  Time : 1120.0 sec.
user=mdettweiler
[2011-02-12 13:19:49]
2303*2^284950-1 is not prime.  Res64: A033B8C0FBCA50B6  Time : 1714.0 sec.
user=vaughan
[2011-02-12 13:27:27]
2303*2^284970-1 is not prime.  Res64: 2ACD53B29012DAB7  Time : 1124.0 sec.
user=vaughan
[2011-02-12 13:46:08]
2303*2^285016-1 is not prime.  Res64: 7D620BA2DCFF0231  Time : 1120.0 sec.
user=mdettweiler
[2011-02-12 13:47:56]
2303*2^285014-1 is not prime.  Res64: 4455C564EDB07A31  Time : 1686.0 sec.
user=vaughan
[2011-02-12 14:04:48]
2303*2^285066-1 is not prime.  Res64: 9CDE4AE6DC36EBDE  Time : 1120.0 sec.
user=mdettweiler
[2011-02-12 14:16:02]
2303*2^285074-1 is not prime.  Res64: A41AB9BC9979FE41  Time : 1686.0 sec.
user=vaughan
[2011-02-12 14:23:30]
2303*2^285106-1 is not prime.  Res64: 1ED8FB988BD93D52  Time : 1121.0 sec.
user=vaughan
[2011-02-12 14:42:10]
2303*2^285146-1 is not prime.  Res64: A848041E733FCB9F  Time : 1120.0 sec.
user=mdettweiler
[2011-02-12 14:44:38]
2303*2^285126-1 is not prime.  Res64: AFBD94FFAA817DBE  Time : 1715.0 sec.
user=vaughan
[2011-02-12 15:00:50]
2303*2^285150-1 is not prime.  Res64: 994E9AB2877A708C  Time : 1119.0 sec.
user=mdettweiler
[2011-02-12 15:12:46]
2303*2^285162-1 is not prime.  Res64: BE19CAF0A285DF3F  Time : 1687.0 sec.
user=vaughan
[2011-02-12 15:19:34]
2303*2^285202-1 is not prime.  Res64: D909A2866B3FB7B2  Time : 1123.0 sec.
user=vaughan
[2011-02-12 15:38:15]
2303*2^285236-1 is not prime.  Res64: A2E64C16C46B2BD2  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 15:40:58]
2303*2^285230-1 is not prime.  Res64: 51EDC34F19AD71B1  Time : 1691.0 sec.
user=vaughan
[2011-02-12 15:56:56]
2303*2^285274-1 is not prime.  Res64: 1762945A5B906916  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 16:09:10]
2303*2^285282-1 is not prime.  Res64: CE5AAA8AF532944D  Time : 1692.0 sec.
user=vaughan
[2011-02-12 16:16:03]
2303*2^285286-1 is not prime.  Res64: DE399A764F2FC2BA  Time : 1147.0 sec.
user=vaughan
[2011-02-12 16:34:46]
2303*2^285294-1 is not prime.  Res64: 89C6255C8FFC1BD4  Time : 1122.0 sec.
user=mdettweiler
[2011-02-12 16:37:22]
2303*2^285292-1 is not prime.  Res64: 8CD0E195AE65AEC6  Time : 1691.0 sec.
user=vaughan
[2011-02-12 16:53:26]
2303*2^285296-1 is not prime.  Res64: D64EC70E5C581DA8  Time : 1119.0 sec.
user=mdettweiler
[2011-02-12 17:05:31]
2303*2^285322-1 is not prime.  Res64: 53AE011E0C1E00CA  Time : 1689.0 sec.
user=vaughan
[2011-02-12 17:12:09]
2303*2^285340-1 is not prime.  Res64: 21120F89B1385970  Time : 1122.0 sec.
user=vaughan
[2011-02-12 17:30:59]
2303*2^285346-1 is not prime.  Res64: 6C459D22D566635F  Time : 1130.0 sec.
user=mdettweiler
[2011-02-12 17:33:38]
2303*2^285342-1 is not prime.  Res64: 6B048883AB60ADB9  Time : 1686.0 sec.
user=vaughan
[2011-02-12 17:49:41]
2303*2^285380-1 is not prime.  Res64: 1E3C5C4FFB6A34C0  Time : 1121.0 sec.
user=mdettweiler
[2011-02-12 18:01:55]
2303*2^285382-1 is not prime.  Res64: 48F9605FE30EC7AB  Time : 1696.0 sec.
user=vaughan
[2011-02-12 18:08:23]
2303*2^285416-1 is not prime.  Res64: B1BC549701F219AA  Time : 1121.0 sec.
user=vaughan
[2011-02-12 18:27:08]
2303*2^285450-1 is not prime.  Res64: 16A032D262100ACC  Time : 1124.0 sec.
user=mdettweiler
[2011-02-12 18:30:06]
2303*2^285436-1 is not prime.  Res64: 64F1F9B531F4213E  Time : 1691.0 sec.
user=vaughan
[2011-02-12 18:45:54]
2303*2^285492-1 is not prime.  Res64: 311431FB7A6CB976  Time : 1125.0 sec.
user=mdettweiler
[2011-02-12 18:58:37]
2303*2^285526-1 is not prime.  Res64: 47D2B3505C509810  Time : 1711.0 sec.
user=vaughan
[2011-02-12 19:04:38]
2303*2^285534-1 is not prime.  Res64: 5BF3BBB14F717579  Time : 1124.0 sec.
user=vaughan
[2011-02-12 19:23:24]
2303*2^285562-1 is not prime.  Res64: C8F86EAF430BDC99  Time : 1125.0 sec.
user=mdettweiler
[2011-02-12 19:26:47]
2303*2^285554-1 is not prime.  Res64: 19197CDACAF4E159  Time : 1689.0 sec.
user=vaughan
[2011-02-12 19:42:07]
2303*2^285580-1 is not prime.  Res64: 088617C64FE0C604  Time : 1122.0 sec.
user=mdettweiler
[2011-02-12 19:54:58]
2303*2^285584-1 is not prime.  Res64: F72E992416E34C5D  Time : 1690.0 sec.
user=vaughan
[2011-02-12 20:00:50]
2303*2^285654-1 is not prime.  Res64: C346E8D19992A2B9  Time : 1123.0 sec.
user=vaughan
[2011-02-12 20:19:37]
2303*2^285690-1 is not prime.  Res64: 960CEA9DB27EA334  Time : 1126.0 sec.
user=mdettweiler
[2011-02-12 20:23:11]
2303*2^285670-1 is not prime.  Res64: 19AA8904CA2C74D0  Time : 1692.0 sec.
user=vaughan
[2011-02-12 20:38:20]
2303*2^285700-1 is not prime.  Res64: F03BE62D5340E377  Time : 1123.0 sec.
user=mdettweiler
[2011-02-12 20:51:23]
2303*2^285744-1 is not prime.  Res64: 3816842B880A95E8  Time : 1691.0 sec.
user=vaughan
[2011-02-12 20:57:04]
2303*2^285826-1 is not prime.  Res64: 1A711260D4867867  Time : 1124.0 sec.
user=vaughan
[2011-02-12 21:15:51]
2303*2^285862-1 is not prime.  Res64: D76645C977064157  Time : 1127.0 sec.
user=mdettweiler
[2011-02-12 21:19:37]
2303*2^285844-1 is not prime.  Res64: E83399F1B7C4EC43  Time : 1693.0 sec.
user=vaughan
[2011-02-12 21:34:34]
2303*2^285870-1 is not prime.  Res64: 816B7847DC8A8C3A  Time : 1123.0 sec.
user=mdettweiler
[2011-02-12 21:47:58]
2303*2^285884-1 is not prime.  Res64: 935A1A55F29CBEBC  Time : 1701.0 sec.
user=vaughan
[2011-02-12 21:53:19]
2303*2^285894-1 is not prime.  Res64: 9698DC064AAAA71D  Time : 1124.0 sec.
user=vaughan
[2011-02-12 22:12:04]
2303*2^286020-1 is not prime.  Res64: 654D2E791E939A2F  Time : 1124.0 sec.
user=mdettweiler
[2011-02-12 22:16:11]
2303*2^285916-1 is not prime.  Res64: 3565241565D26C5D  Time : 1694.0 sec.
user=vaughan
[2011-02-12 22:31:13]
2303*2^286116-1 is not prime.  Res64: D9B664D7EA247EA9  Time : 1148.0 sec.
user=mdettweiler
[2011-02-12 22:44:44]
2303*2^286120-1 is not prime.  Res64: DBF880D1E16FF98C  Time : 1712.0 sec.
user=vaughan
[2011-02-12 22:49:57]
2303*2^286164-1 is not prime.  Res64: A511819356A05FA5  Time : 1124.0 sec.
user=vaughan
[2011-02-12 23:08:54]
2303*2^286246-1 is not prime.  Res64: C3A6151BA91990E9  Time : 1136.0 sec.
user=mdettweiler
[2011-02-12 23:12:57]
2303*2^286222-1 is not prime.  Res64: 14B4EC19F28F0DA0  Time : 1693.0 sec.
user=vaughan
[2011-02-12 23:27:48]
2303*2^286250-1 is not prime.  Res64: 230C108246425D3A  Time : 1133.0 sec.
user=vaughan
[2011-02-12 23:46:35]
2303*2^286314-1 is not prime.  Res64: 3968676C7132AD13  Time : 1127.0 sec.