user=vaughan
[2011-02-10 00:16:12]
2303*2^278694-1 is not prime.  Res64: DF06EAA85B022F90  Time : 1100.0 sec.
user=mdettweiler
[2011-02-10 00:20:58]
2303*2^278684-1 is not prime.  Res64: B0F254C7D39842A5  Time : 1654.0 sec.
user=vaughan
[2011-02-10 00:34:37]
2303*2^278716-1 is not prime.  Res64: FC74DBC9C0DE65A7  Time : 1104.0 sec.
user=mdettweiler
[2011-02-10 00:48:30]
2303*2^278722-1 is not prime.  Res64: 70999FF3658D7D87  Time : 1652.0 sec.
user=vaughan
[2011-02-10 00:52:57]
2303*2^278742-1 is not prime.  Res64: B698B73EA21A4566  Time : 1099.0 sec.
user=vaughan
[2011-02-10 01:11:15]
2303*2^278770-1 is not prime.  Res64: 165013B32B406EEA  Time : 1097.0 sec.
user=mdettweiler
[2011-02-10 01:16:02]
2303*2^278756-1 is not prime.  Res64: 679483D980D36160  Time : 1652.0 sec.
user=vaughan
[2011-02-10 01:29:32]
2303*2^278772-1 is not prime.  Res64: 10D68ED631792E04  Time : 1096.0 sec.
user=vaughan
[2011-02-10 01:47:50]
2303*2^278866-1 is not prime.  Res64: 5E367BFACE39C5B9  Time : 1098.0 sec.
user=vaughan
[2011-02-10 02:06:07]
2303*2^278880-1 is not prime.  Res64: 5AFA3AB14D888D25  Time : 1096.0 sec.
user=vaughan
[2011-02-10 02:24:25]
2303*2^278906-1 is not prime.  Res64: 1891C7D6C127591C  Time : 1097.0 sec.
user=vaughan
[2011-02-10 02:42:45]
2303*2^278964-1 is not prime.  Res64: 6FC151F40C7F6A7D  Time : 1099.0 sec.
user=mdettweiler
[2011-02-10 02:52:16]
2303*2^278844-1 is not prime.  Res64: 76163D34F60C0E9A  Time : 5774.0 sec.
user=vaughan
[2011-02-10 03:01:06]
2303*2^278982-1 is not prime.  Res64: 6513D8994BD50023  Time : 1100.0 sec.
user=vaughan
[2011-02-10 03:19:26]
2303*2^279054-1 is not prime.  Res64: 8E9F62E96796B54A  Time : 1099.0 sec.
user=mdettweiler
[2011-02-10 03:20:23]
2303*2^279004-1 is not prime.  Res64: 54AE74306025EE98  Time : 1687.0 sec.
user=vaughan
[2011-02-10 03:37:50]
2303*2^279066-1 is not prime.  Res64: F18146A7F57EAAE3  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 03:48:00]
2303*2^279076-1 is not prime.  Res64: C8B51BEBA989C4D4  Time : 1657.0 sec.
user=vaughan
[2011-02-10 03:56:08]
2303*2^279102-1 is not prime.  Res64: D89EC1980EBB70E9  Time : 1098.0 sec.
user=vaughan
[2011-02-10 04:14:29]
2303*2^279144-1 is not prime.  Res64: 0C36C4F6C00FBD77  Time : 1100.0 sec.
user=mdettweiler
[2011-02-10 04:15:31]
2303*2^279132-1 is not prime.  Res64: CC82E30E34CEC515  Time : 1650.0 sec.
user=vaughan
[2011-02-10 04:32:50]
2303*2^279174-1 is not prime.  Res64: A8C363935DB35B8D  Time : 1100.0 sec.
user=mdettweiler
[2011-02-10 04:43:01]
2303*2^279206-1 is not prime.  Res64: 7D6AC91DC535EC97  Time : 1650.0 sec.
user=vaughan
[2011-02-10 04:51:08]
2303*2^279274-1 is not prime.  Res64: 91596A487AB979AF  Time : 1098.0 sec.
user=vaughan
[2011-02-10 05:09:26]
2303*2^279284-1 is not prime.  Res64: A36267E24C62DD5F  Time : 1097.0 sec.
user=mdettweiler
[2011-02-10 05:10:32]
2303*2^279280-1 is not prime.  Res64: 892FE0EA9C0C0062  Time : 1651.0 sec.
user=vaughan
[2011-02-10 05:27:47]
2303*2^279292-1 is not prime.  Res64: EEBBF070B775374B  Time : 1100.0 sec.
user=mdettweiler
[2011-02-10 05:39:21]
2303*2^279294-1 is not prime.  Res64: 27228DF814C6B4C5  Time : 1729.0 sec.
user=vaughan
[2011-02-10 05:46:09]
2303*2^279306-1 is not prime.  Res64: 8D909EBFA9DEE2CD  Time : 1101.0 sec.
user=vaughan
[2011-02-10 06:04:27]
2303*2^279316-1 is not prime.  Res64: 5077CB46C3149100  Time : 1097.0 sec.
user=mdettweiler
[2011-02-10 06:07:07]
2303*2^279314-1 is not prime.  Res64: 5521DE92EB1BE0F8  Time : 1666.0 sec.
user=vaughan
[2011-02-10 06:22:47]
2303*2^279366-1 is not prime.  Res64: 80B218DEF73F18E5  Time : 1099.0 sec.
user=mdettweiler
[2011-02-10 06:34:38]
2303*2^279374-1 is not prime.  Res64: 6C7CD9072C0698BC  Time : 1651.0 sec.
user=vaughan
[2011-02-10 06:41:10]
2303*2^279406-1 is not prime.  Res64: FE2919F0CD7E14F5  Time : 1102.0 sec.
user=vaughan
[2011-02-10 06:59:29]
2303*2^279442-1 is not prime.  Res64: A2BEA092F73EF009  Time : 1098.0 sec.
user=mdettweiler
[2011-02-10 07:02:17]
2303*2^279432-1 is not prime.  Res64: B8A0F3825E3B3686  Time : 1659.0 sec.
user=vaughan
[2011-02-10 07:17:57]
2303*2^279456-1 is not prime.  Res64: DE8AE25F6B60E084  Time : 1107.0 sec.
user=mdettweiler
[2011-02-10 07:29:47]
2303*2^279462-1 is not prime.  Res64: 4A82E840335800D5  Time : 1650.0 sec.
user=vaughan
[2011-02-10 07:36:54]
2303*2^279472-1 is not prime.  Res64: 62276766F4A084D3  Time : 1136.0 sec.
user=mdettweiler
[2011-02-10 07:57:21]
2303*2^279490-1 is not prime.  Res64: 668B10E1D9C9A23C  Time : 1654.0 sec.
user=vaughan
[2011-02-10 07:57:43]
2303*2^279492-1 is not prime.  Res64: 0C9FC1EB9647AF00  Time : 1249.0 sec.
user=vaughan
[2011-02-10 08:16:08]
2303*2^279510-1 is not prime.  Res64: 7E0B404F67B68714  Time : 1104.0 sec.
user=mdettweiler
[2011-02-10 08:25:56]
2303*2^279496-1 is not prime.  Res64: 5349FD181A06EC07  Time : 1715.0 sec.
user=vaughan
[2011-02-10 08:34:36]
2303*2^279514-1 is not prime.  Res64: 0FA72ECC8EBF1C05  Time : 1108.0 sec.
user=vaughan
[2011-02-10 08:53:00]
2303*2^279540-1 is not prime.  Res64: D7DC8C2FF5CA40E4  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 08:53:31]
2303*2^279526-1 is not prime.  Res64: FA078F42C89E48CB  Time : 1655.0 sec.
user=vaughan
[2011-02-10 09:11:21]
2303*2^279580-1 is not prime.  Res64: E443660E5E81FBCA  Time : 1100.0 sec.
user=mdettweiler
[2011-02-10 09:21:01]
2303*2^279604-1 is not prime.  Res64: 8AB811E5B1477FE8  Time : 1650.0 sec.
user=vaughan
[2011-02-10 09:29:43]
2303*2^279620-1 is not prime.  Res64: EE7A8E27976B50DC  Time : 1101.0 sec.
user=vaughan
[2011-02-10 09:48:10]
2303*2^279652-1 is not prime.  Res64: 993B7BC62294775C  Time : 1107.0 sec.
user=mdettweiler
[2011-02-10 09:48:46]
2303*2^279622-1 is not prime.  Res64: 01ED4AF648A81625  Time : 1665.0 sec.
user=vaughan
[2011-02-10 10:06:32]
2303*2^279674-1 is not prime.  Res64: F5A966921767154E  Time : 1101.0 sec.
user=mdettweiler
[2011-02-10 10:16:35]
2303*2^279686-1 is not prime.  Res64: 4A5DBE9A7EF3B583  Time : 1668.0 sec.
user=vaughan
[2011-02-10 10:24:54]
2303*2^279690-1 is not prime.  Res64: E4E02A8140E3E8FB  Time : 1102.0 sec.
user=vaughan
[2011-02-10 10:43:20]
2303*2^279732-1 is not prime.  Res64: 4690266541451B9C  Time : 1106.0 sec.
user=mdettweiler
[2011-02-10 10:44:06]
2303*2^279696-1 is not prime.  Res64: 0223A7641B96C47C  Time : 1651.0 sec.
user=vaughan
[2011-02-10 11:01:45]
2303*2^279746-1 is not prime.  Res64: 513EA132B42647E5  Time : 1104.0 sec.
user=mdettweiler
[2011-02-10 11:11:39]
2303*2^279756-1 is not prime.  Res64: 52FD45EE03754BA0  Time : 1653.0 sec.
user=vaughan
[2011-02-10 11:20:08]
2303*2^279764-1 is not prime.  Res64: 7584BD42C05E5353  Time : 1102.0 sec.
user=vaughan
[2011-02-10 11:38:36]
2303*2^279882-1 is not prime.  Res64: 8A8E618C66B4C315  Time : 1107.0 sec.
user=mdettweiler
[2011-02-10 11:39:12]
2303*2^279822-1 is not prime.  Res64: BF463CAC9F33B001  Time : 1653.0 sec.
user=vaughan
[2011-02-10 11:58:10]
2303*2^279906-1 is not prime.  Res64: E2A7F88DFB623C1F  Time : 1173.0 sec.
user=mdettweiler
[2011-02-10 12:06:49]
2303*2^279944-1 is not prime.  Res64: 61A00E958B8843DC  Time : 1656.0 sec.
user=vaughan
[2011-02-10 12:16:35]
2303*2^279974-1 is not prime.  Res64: 854D5AB0DDBAFFC8  Time : 1105.0 sec.
user=mdettweiler
[2011-02-10 12:34:20]
2303*2^279984-1 is not prime.  Res64: 9BA16A9AE3B1762D  Time : 1651.0 sec.
user=vaughan
[2011-02-10 12:35:04]
2303*2^280010-1 is not prime.  Res64: D13D1FB25F70061B  Time : 1108.0 sec.
user=vaughan
[2011-02-10 12:53:28]
2303*2^280056-1 is not prime.  Res64: 45D738A7405FDDA9  Time : 1104.0 sec.
user=mdettweiler
[2011-02-10 13:02:02]
2303*2^280014-1 is not prime.  Res64: 236DBB5FCFB30D9C  Time : 1662.0 sec.
user=vaughan
[2011-02-10 13:11:51]
2303*2^280164-1 is not prime.  Res64: F2D49CEC2B0D530E  Time : 1102.0 sec.
user=mdettweiler
[2011-02-10 13:29:40]
2303*2^280236-1 is not prime.  Res64: 83F61C30EBC1A9CE  Time : 1658.0 sec.
user=vaughan
[2011-02-10 13:30:21]
2303*2^280252-1 is not prime.  Res64: E5ADADC7A07A3A7F  Time : 1109.0 sec.
user=vaughan
[2011-02-10 13:48:52]
2303*2^280264-1 is not prime.  Res64: 9BF01B7A94BFB85E  Time : 1111.0 sec.
user=mdettweiler
[2011-02-10 13:57:20]
2303*2^280254-1 is not prime.  Res64: DE79EDA98DC11A6F  Time : 1659.0 sec.
user=vaughan
[2011-02-10 14:07:18]
2303*2^280266-1 is not prime.  Res64: A0F48F4E3399ACC5  Time : 1106.0 sec.
user=mdettweiler
[2011-02-10 14:25:17]
2303*2^280284-1 is not prime.  Res64: FDB29B9E834FCA9B  Time : 1677.0 sec.
user=vaughan
[2011-02-10 14:25:48]
2303*2^280296-1 is not prime.  Res64: 0E609831CE93B77C  Time : 1109.0 sec.
user=vaughan
[2011-02-10 14:44:19]
2303*2^280336-1 is not prime.  Res64: 7425BFAA89AB2644  Time : 1110.0 sec.
user=mdettweiler
[2011-02-10 14:52:54]
2303*2^280304-1 is not prime.  Res64: 0E7EB301EF63395B  Time : 1657.0 sec.
user=vaughan
[2011-02-10 15:02:48]
2303*2^280346-1 is not prime.  Res64: 36CEE04709DB28B7  Time : 1108.0 sec.
user=mdettweiler
[2011-02-10 15:20:33]
2303*2^280362-1 is not prime.  Res64: FE00CC84D520B6FB  Time : 1658.0 sec.
user=vaughan
[2011-02-10 15:21:19]
2303*2^280400-1 is not prime.  Res64: 2AFF5408073B1C4B  Time : 1110.0 sec.
user=vaughan
[2011-02-10 15:39:52]
2303*2^280446-1 is not prime.  Res64: B2CAC717FB599B48  Time : 1112.0 sec.
user=mdettweiler
[2011-02-10 15:48:20]
2303*2^280414-1 is not prime.  Res64: 02D104C318906E64  Time : 1667.0 sec.
user=vaughan
[2011-02-10 15:58:23]
2303*2^280476-1 is not prime.  Res64: A08B58E9B12E5C4E  Time : 1111.0 sec.
user=mdettweiler
[2011-02-10 16:15:57]
2303*2^280480-1 is not prime.  Res64: 5184657245FEEC75  Time : 1656.0 sec.
user=vaughan
[2011-02-10 16:16:51]
2303*2^280486-1 is not prime.  Res64: 0B526770D824211A  Time : 1108.0 sec.
user=vaughan
[2011-02-10 16:35:42]
2303*2^280504-1 is not prime.  Res64: 3C8F09C4A09F7CD4  Time : 1131.0 sec.
user=mdettweiler
[2011-02-10 16:43:55]
2303*2^280500-1 is not prime.  Res64: 93039CD6002B419A  Time : 1677.0 sec.
user=vaughan
[2011-02-10 16:54:12]
2303*2^280516-1 is not prime.  Res64: 30C0E1FE1050C847  Time : 1109.0 sec.
user=mdettweiler
[2011-02-10 17:11:37]
2303*2^280522-1 is not prime.  Res64: EFA95CA492DE563F  Time : 1662.0 sec.
user=vaughan
[2011-02-10 17:12:46]
2303*2^280534-1 is not prime.  Res64: 313A2450FBD00E0F  Time : 1113.0 sec.
user=vaughan
[2011-02-10 17:31:25]
2303*2^280560-1 is not prime.  Res64: 7570D3D7E5687FA6  Time : 1118.0 sec.
user=mdettweiler
[2011-02-10 17:39:16]
2303*2^280552-1 is not prime.  Res64: 66051530A9A3F749  Time : 1659.0 sec.
user=vaughan
[2011-02-10 17:49:56]
2303*2^280566-1 is not prime.  Res64: D9B1BED6130D4E70  Time : 1110.0 sec.
user=mdettweiler
[2011-02-10 18:06:58]
2303*2^280612-1 is not prime.  Res64: C323E134BDB91370  Time : 1662.0 sec.
user=vaughan
[2011-02-10 18:08:23]
2303*2^280620-1 is not prime.  Res64: 17BEB7BF246FEBC1  Time : 1106.0 sec.
user=vaughan
[2011-02-10 18:26:46]
2303*2^280680-1 is not prime.  Res64: 6695C01D244AB5FD  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 18:34:58]
2303*2^280626-1 is not prime.  Res64: 42E9058BA3629025  Time : 1680.0 sec.
user=vaughan
[2011-02-10 18:45:10]
2303*2^280716-1 is not prime.  Res64: BA3C1416EFC51D9B  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 19:02:35]
2303*2^280736-1 is not prime.  Res64: C74BD513829DCB27  Time : 1658.0 sec.
user=vaughan
[2011-02-10 19:03:35]
2303*2^280774-1 is not prime.  Res64: E9BEECBF4B079ACD  Time : 1105.0 sec.
user=vaughan
[2011-02-10 19:22:00]
2303*2^280790-1 is not prime.  Res64: B178C8FD8638E337  Time : 1104.0 sec.
user=mdettweiler
[2011-02-10 19:30:23]
2303*2^280786-1 is not prime.  Res64: 0C35E4B3CB8562E1  Time : 1667.0 sec.
user=vaughan
[2011-02-10 19:40:44]
2303*2^280804-1 is not prime.  Res64: 18A2A592D8C817EB  Time : 1123.0 sec.
user=mdettweiler
[2011-02-10 19:58:08]
2303*2^280810-1 is not prime.  Res64: 78896D7C4D496E4A  Time : 1664.0 sec.
user=vaughan
[2011-02-10 19:59:07]
2303*2^280836-1 is not prime.  Res64: 865895A97BE63DFF  Time : 1102.0 sec.
user=vaughan
[2011-02-10 20:17:33]
2303*2^280904-1 is not prime.  Res64: 733C27B712CD3081  Time : 1105.0 sec.
user=mdettweiler
[2011-02-10 20:25:40]
2303*2^280850-1 is not prime.  Res64: 38E312975AF4BCB4  Time : 1652.0 sec.
user=vaughan
[2011-02-10 20:36:04]
2303*2^280912-1 is not prime.  Res64: 5082E39B1AF81740  Time : 1110.0 sec.
user=mdettweiler
[2011-02-10 20:53:21]
2303*2^280946-1 is not prime.  Res64: 495338093075C59B  Time : 1660.0 sec.
user=vaughan
[2011-02-10 20:54:37]
2303*2^280970-1 is not prime.  Res64: 59CB7E2975D2E598  Time : 1112.0 sec.
user=vaughan
[2011-02-10 21:13:01]
2303*2^280990-1 is not prime.  Res64: 93B36C09025DAE30  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 21:21:02]
2303*2^280980-1 is not prime.  Res64: FD8F6B2CEF3DC5CA  Time : 1661.0 sec.
user=vaughan
[2011-02-10 21:31:24]
2303*2^281002-1 is not prime.  Res64: 9787EEB67F7331EB  Time : 1102.0 sec.
user=mdettweiler
[2011-02-10 21:48:43]
2303*2^281056-1 is not prime.  Res64: AD6FEEE063F27E15  Time : 1661.0 sec.
user=vaughan
[2011-02-10 21:49:50]
2303*2^281060-1 is not prime.  Res64: 069012BE375392BF  Time : 1106.0 sec.
user=vaughan
[2011-02-10 22:08:16]
2303*2^281134-1 is not prime.  Res64: B28E90B67502690F  Time : 1106.0 sec.
user=mdettweiler
[2011-02-10 22:17:00]
2303*2^281120-1 is not prime.  Res64: D4B7760D641121B3  Time : 1697.0 sec.
user=vaughan
[2011-02-10 22:26:42]
2303*2^281146-1 is not prime.  Res64: CE3106CF02B81AA6  Time : 1106.0 sec.
user=mdettweiler
[2011-02-10 22:44:51]
2303*2^281156-1 is not prime.  Res64: CE6A133FB4B48AB3  Time : 1671.0 sec.
user=vaughan
[2011-02-10 22:45:07]
2303*2^281160-1 is not prime.  Res64: 66BFF7514D499159  Time : 1104.0 sec.
user=vaughan
[2011-02-10 23:03:31]
2303*2^281242-1 is not prime.  Res64: DD10BB4778605305  Time : 1103.0 sec.
user=mdettweiler
[2011-02-10 23:12:33]
2303*2^281214-1 is not prime.  Res64: C82A7FB1A4F744CE  Time : 1661.0 sec.
user=vaughan
[2011-02-10 23:21:58]
2303*2^281274-1 is not prime.  Res64: DEB5612DE7C02541  Time : 1106.0 sec.
user=mdettweiler
[2011-02-10 23:40:19]
2303*2^281354-1 is not prime.  Res64: 40D7E942172CE02C  Time : 1666.0 sec.
user=vaughan
[2011-02-10 23:40:44]
2303*2^281364-1 is not prime.  Res64: BDE513FDF7BD6B4F  Time : 1126.0 sec.
user=vaughan
[2011-02-10 23:59:12]
2303*2^281422-1 is not prime.  Res64: 3F7F4B40A10AD379  Time : 1107.0 sec.