user=mdettweiler
[2011-02-20 00:18:20]
2307*2^303378-1 is not prime.  Res64: 703F1AC459ECB6E5  Time : 1797.0 sec.
user=vaughan
[2011-02-20 00:18:35]
2307*2^303381-1 is not prime.  Res64: E3B1C37D6F84168C  Time : 1197.0 sec.
user=vaughan
[2011-02-20 00:38:27]
2307*2^303402-1 is not prime.  Res64: B70034AFDCFE1C8D  Time : 1191.0 sec.
user=mdettweiler
[2011-02-20 00:48:13]
2307*2^303392-1 is not prime.  Res64: 8751FCA5BF8392B2  Time : 1793.0 sec.
user=vaughan
[2011-02-20 00:58:18]
2307*2^303408-1 is not prime.  Res64: 93ECCD895D40BF8D  Time : 1191.0 sec.
user=vaughan
[2011-02-20 01:18:17]
2307*2^303450-1 is not prime.  Res64: AACD5589843ED1DB  Time : 1198.0 sec.
user=mdettweiler
[2011-02-20 01:18:27]
2307*2^303434-1 is not prime.  Res64: F29A987C7CE55E2E  Time : 1814.0 sec.
user=vaughan
[2011-02-20 01:38:07]
2307*2^303510-1 is not prime.  Res64: 2898564B17142D0E  Time : 1189.0 sec.
user=vaughan
[2011-02-20 01:58:00]
2307*2^303522-1 is not prime.  Res64: EA337F6C3BD0D0B0  Time : 1193.0 sec.
user=vaughan
[2011-02-20 02:17:56]
2307*2^303578-1 is not prime.  Res64: BB05341AE7EB8A6C  Time : 1196.0 sec.
user=mdettweiler
[2011-02-20 02:35:27]
2307*2^303512-1 is not prime.  Res64: 4B93355558A7315F  Time : 4619.0 sec.
user=vaughan
[2011-02-20 02:37:49]
2307*2^303593-1 is not prime.  Res64: F87D60AB306E4D6D  Time : 1193.0 sec.
user=vaughan
[2011-02-20 02:57:42]
2307*2^303605-1 is not prime.  Res64: E3A02AF557BFE434  Time : 1192.0 sec.
user=mdettweiler
[2011-02-20 03:05:21]
2307*2^303596-1 is not prime.  Res64: EC521EE7EBF41BE8  Time : 1794.0 sec.
user=vaughan
[2011-02-20 03:17:38]
2307*2^303606-1 is not prime.  Res64: 7C7E36BD4C9D3947  Time : 1195.0 sec.
user=mdettweiler
[2011-02-20 03:35:26]
2307*2^303626-1 is not prime.  Res64: 95B8576098CA5364  Time : 1805.0 sec.
user=vaughan
[2011-02-20 03:37:32]
2307*2^303641-1 is not prime.  Res64: 609427640D0494C2  Time : 1193.0 sec.
user=vaughan
[2011-02-20 03:57:26]
2307*2^303686-1 is not prime.  Res64: D4E1E1F06D06C381  Time : 1193.0 sec.
user=mdettweiler
[2011-02-20 04:05:19]
2307*2^303662-1 is not prime.  Res64: 6B397A76BBC38A7A  Time : 1793.0 sec.
user=vaughan
[2011-02-20 04:17:27]
2307*2^303738-1 is not prime.  Res64: 4A1C96719759535D  Time : 1201.0 sec.
user=mdettweiler
[2011-02-20 04:35:12]
2307*2^303756-1 is not prime.  Res64: 87D8A7B16A054966  Time : 1793.0 sec.
user=vaughan
[2011-02-20 04:37:21]
2307*2^303774-1 is not prime.  Res64: 76CF655F82B2B226  Time : 1194.0 sec.
user=vaughan
[2011-02-20 04:57:26]
2307*2^303788-1 is not prime.  Res64: AA20150FBBBFDE48  Time : 1204.0 sec.
user=mdettweiler
[2011-02-20 05:05:24]
2307*2^303786-1 is not prime.  Res64: 92C35AE2D264AEB6  Time : 1812.0 sec.
user=vaughan
[2011-02-20 05:17:31]
2307*2^303825-1 is not prime.  Res64: B51B71A82CCD06DD  Time : 1204.0 sec.
user=mdettweiler
[2011-02-20 05:35:18]
2307*2^303849-1 is not prime.  Res64: 40A81C714F003499  Time : 1793.0 sec.
user=vaughan
[2011-02-20 05:37:30]
2307*2^303866-1 is not prime.  Res64: 34E6E3E4A63CEDED  Time : 1198.0 sec.
user=vaughan
[2011-02-20 05:57:24]
2307*2^303929-1 is not prime.  Res64: B9FA4686D60CED69  Time : 1193.0 sec.
user=mdettweiler
[2011-02-20 06:06:28]
2307*2^303881-1 is not prime.  Res64: C8B214A0CB77528C  Time : 1870.0 sec.
user=vaughan
[2011-02-20 06:17:22]
2307*2^303953-1 is not prime.  Res64: BFF08B5F55F11432  Time : 1198.0 sec.
user=mdettweiler
[2011-02-20 06:36:21]
2307*2^303960-1 is not prime.  Res64: F5357FA19337FD85  Time : 1793.0 sec.
user=vaughan
[2011-02-20 06:37:19]
2307*2^303969-1 is not prime.  Res64: 1CCA5CEAB0C8B5A1  Time : 1197.0 sec.
user=vaughan
[2011-02-20 06:57:15]
2307*2^304029-1 is not prime.  Res64: FDD2B8FBFB113327  Time : 1196.0 sec.
user=mdettweiler
[2011-02-20 07:06:27]
2307*2^303984-1 is not prime.  Res64: 217B2358C8BAAA3C  Time : 1806.0 sec.
user=vaughan
[2011-02-20 07:17:16]
2307*2^304032-1 is not prime.  Res64: A9A3B6B2371404DE  Time : 1200.0 sec.
user=mdettweiler
[2011-02-20 07:36:26]
2307*2^304094-1 is not prime.  Res64: 18369A83B6ECFF82  Time : 1799.0 sec.
user=vaughan
[2011-02-20 07:37:13]
2307*2^304145-1 is not prime.  Res64: 8C9DFCEE3E254690  Time : 1196.0 sec.
user=vaughan
[2011-02-20 07:57:10]
2307*2^304182-1 is not prime.  Res64: 3A461B0AB25482B7  Time : 1197.0 sec.
user=mdettweiler
[2011-02-20 08:06:22]
2307*2^304148-1 is not prime.  Res64: 5BFC33C6E73F7EBF  Time : 1796.0 sec.
user=vaughan
[2011-02-20 08:17:15]
2307*2^304190-1 is not prime.  Res64: 719EEA535B5B0271  Time : 1205.0 sec.
user=mdettweiler
[2011-02-20 08:36:24]
2307*2^304194-1 is not prime.  Res64: B2F1400352B22CC3  Time : 1802.0 sec.
user=vaughan
[2011-02-20 08:37:11]
2307*2^304226-1 is not prime.  Res64: 89D2B2DA4EF60361  Time : 1196.0 sec.
user=vaughan
[2011-02-20 08:57:07]
2307*2^304262-1 is not prime.  Res64: E951A8441BC9F26D  Time : 1196.0 sec.
user=mdettweiler
[2011-02-20 09:06:41]
2307*2^304250-1 is not prime.  Res64: 243B884240C1F86C  Time : 1817.0 sec.
user=vaughan
[2011-02-20 09:17:05]
2307*2^304268-1 is not prime.  Res64: 157DF29FF1F132A0  Time : 1198.0 sec.
user=mdettweiler
[2011-02-20 09:36:37]
2307*2^304278-1 is not prime.  Res64: 4D591CE358818C79  Time : 1795.0 sec.
user=vaughan
[2011-02-20 09:37:02]
2307*2^304308-1 is not prime.  Res64: 564EA9ED374FC15D  Time : 1196.0 sec.
user=DocHopper
[2011-02-20 09:55:06]
2307*2^301590-1 is not prime.  Res64: B3553CBFFAC212C5  Time : 99194.0 sec.
user=DocHopper
[2011-02-20 09:55:51]
2307*2^301638-1 is not prime.  Res64: 8629BBA52060826E  Time : 99202.0 sec.
user=DocHopper
[2011-02-20 09:55:59]
2307*2^301602-1 is not prime.  Res64: D85D08B95378D20E  Time : 99220.0 sec.
user=DocHopper
[2011-02-20 09:56:04]
2307*2^301670-1 is not prime.  Res64: 659CEE8BFBEFA03D  Time : 99207.0 sec.
user=DocHopper
[2011-02-20 09:56:39]
2307*2^301685-1 is not prime.  Res64: 1E2F05DEE39ACD0B  Time : 99194.0 sec.
user=vaughan
[2011-02-20 09:56:57]
2307*2^304325-1 is not prime.  Res64: BCD107CD75DE0000  Time : 1195.0 sec.
user=DocHopper
[2011-02-20 09:57:22]
2307*2^301773-1 is not prime.  Res64: 6FBA6A26C9869B15  Time : 99193.0 sec.
user=DocHopper
[2011-02-20 09:57:30]
2307*2^301766-1 is not prime.  Res64: FEE6AE10ABDA813D  Time : 99213.0 sec.
user=DocHopper
[2011-02-20 09:57:35]
2307*2^301802-1 is not prime.  Res64: 4A51CE8F100CFCF4  Time : 99205.0 sec.
user=DocHopper
[2011-02-20 09:58:11]
2307*2^301806-1 is not prime.  Res64: 3DC11530E5E7E195  Time : 99193.0 sec.
user=DocHopper
[2011-02-20 09:58:59]
2307*2^301820-1 is not prime.  Res64: E5324B4020927938  Time : 99198.0 sec.
user=DocHopper
[2011-02-20 09:59:08]
2307*2^301829-1 is not prime.  Res64: 8E8FF5F9109B96D4  Time : 99202.0 sec.
user=DocHopper
[2011-02-20 09:59:09]
2307*2^301814-1 is not prime.  Res64: CDBA66B9DD1447D6  Time : 99213.0 sec.
user=DocHopper
[2011-02-20 09:59:49]
2307*2^301833-1 is not prime.  Res64: A711A9E7EA6F3346  Time : 99200.0 sec.
user=DocHopper
[2011-02-20 10:00:37]
2307*2^301860-1 is not prime.  Res64: 8123240F809383FD  Time : 99204.0 sec.
user=DocHopper
[2011-02-20 10:00:47]
2307*2^301868-1 is not prime.  Res64: 49C1BC6C869F62A0  Time : 99208.0 sec.
user=DocHopper
[2011-02-20 10:00:48]
2307*2^301841-1 is not prime.  Res64: 42CF3D33F95D96FA  Time : 99215.0 sec.
user=DocHopper
[2011-02-20 10:01:27]
2307*2^301908-1 is not prime.  Res64: 28506083F8340EE4  Time : 99205.0 sec.
user=DocHopper
[2011-02-20 10:02:13]
2307*2^301914-1 is not prime.  Res64: 8B9C790D60CB5DCB  Time : 99207.0 sec.
user=DocHopper
[2011-02-20 10:02:25]
2307*2^301962-1 is not prime.  Res64: 3763AFF451FE6FC2  Time : 99209.0 sec.
user=DocHopper
[2011-02-20 10:02:25]
2307*2^301916-1 is not prime.  Res64: 21558D969D49A513  Time : 99215.0 sec.
user=DocHopper
[2011-02-20 10:03:06]
2307*2^304350-1 is not prime.  Res64: 27BEC703FCC9B71F  Time : 480.0 sec.
user=DocHopper
[2011-02-20 10:03:50]
2307*2^304353-1 is not prime.  Res64: 54D2A8A8E5DB3420  Time : 479.0 sec.
user=DocHopper
[2011-02-20 10:04:04]
2307*2^304358-1 is not prime.  Res64: 261B9EE8D16A938A  Time : 485.0 sec.
user=DocHopper
[2011-02-20 10:04:05]
2307*2^304361-1 is not prime.  Res64: E992690076012E8F  Time : 481.0 sec.
user=DocHopper
[2011-02-20 10:04:45]
2307*2^304373-1 is not prime.  Res64: 16767E8B7DE42370  Time : 486.0 sec.
user=DocHopper
[2011-02-20 10:05:28]
2307*2^304398-1 is not prime.  Res64: A9E316A101EF08F9  Time : 486.0 sec.
user=DocHopper
[2011-02-20 10:05:43]
2307*2^304428-1 is not prime.  Res64: FF62C1FD4CDFFF67  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:05:44]
2307*2^304452-1 is not prime.  Res64: 2C10C875F821EF48  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:06:24]
2307*2^304482-1 is not prime.  Res64: 819ACAB5CA67A672  Time : 493.0 sec.
user=mdettweiler
[2011-02-20 10:06:35]
2307*2^304320-1 is not prime.  Res64: 85EBD1218A8EEB82  Time : 1795.0 sec.
user=DocHopper
[2011-02-20 10:07:06]
2307*2^304490-1 is not prime.  Res64: 0CF39B0E200B5824  Time : 487.0 sec.
user=DocHopper
[2011-02-20 10:07:22]
2307*2^304512-1 is not prime.  Res64: E148F73FE15C49C2  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:07:22]
2307*2^304506-1 is not prime.  Res64: DC0A82F625D610DE  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:08:01]
2307*2^304545-1 is not prime.  Res64: F9142A558D8869F9  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:08:47]
2307*2^304569-1 is not prime.  Res64: 02595872AF6521C0  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:09:01]
2307*2^304581-1 is not prime.  Res64: BF62643BC9089986  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:09:02]
2307*2^304598-1 is not prime.  Res64: FC3DF67964E98B22  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:09:40]
2307*2^304602-1 is not prime.  Res64: 1EED56633EB84F06  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:10:20]
2307*2^304634-1 is not prime.  Res64: 34E9D379A24D7096  Time : 487.0 sec.
user=DocHopper
[2011-02-20 10:11:04]
2307*2^304638-1 is not prime.  Res64: DFA8F21BBA0F4DC3  Time : 520.0 sec.
user=DocHopper
[2011-02-20 10:11:05]
2307*2^304644-1 is not prime.  Res64: 1C1850CBC24F8047  Time : 520.0 sec.
user=DocHopper
[2011-02-20 10:11:19]
2307*2^304682-1 is not prime.  Res64: 89A7492BF3852D71  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:11:58]
2307*2^304686-1 is not prime.  Res64: E24B7702F940A467  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:12:19]
2307*2^304713-1 is not prime.  Res64: 606F6D92AAB56912  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:12:19]
2307*2^304694-1 is not prime.  Res64: C0852110A35401A6  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:12:57]
2307*2^304722-1 is not prime.  Res64: 57929CF13B6452FC  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:13:36]
2307*2^304728-1 is not prime.  Res64: 017016F3AAFE9498  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:13:58]
2307*2^304760-1 is not prime.  Res64: 9D192629AD534102  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:13:59]
2307*2^304749-1 is not prime.  Res64: 83E99DE3393CC287  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:14:37]
2307*2^304802-1 is not prime.  Res64: FD2AB94943CA669C  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:15:14]
2307*2^304908-1 is not prime.  Res64: 8F3093935EC6FB1C  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:15:37]
2307*2^304950-1 is not prime.  Res64: D79972AA201E17F7  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:15:38]
2307*2^304941-1 is not prime.  Res64: 375BD1BE63AA3AD3  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:16:16]
2307*2^304998-1 is not prime.  Res64: 8FCCB0A4A7928D21  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:16:52]
2307*2^305012-1 is not prime.  Res64: D15DBCDFA5A7BE27  Time : 485.0 sec.
user=vaughan
[2011-02-20 10:17:16]
2307*2^304374-1 is not prime.  Res64: 6D685C08F2280238  Time : 1219.0 sec.
user=DocHopper
[2011-02-20 10:17:17]
2307*2^305066-1 is not prime.  Res64: 4429D5AAEA565BA5  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:17:18]
2307*2^305069-1 is not prime.  Res64: 9D405CCA7B81A8A8  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:17:56]
2307*2^305082-1 is not prime.  Res64: 128D831205CA6775  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:18:29]
2307*2^305090-1 is not prime.  Res64: D714DAEF689E247D  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:18:56]
2307*2^305114-1 is not prime.  Res64: 48B9184609C1C871  Time : 482.0 sec.
user=DocHopper
[2011-02-20 10:18:56]
2307*2^305124-1 is not prime.  Res64: B146E9BD8D9312A1  Time : 481.0 sec.
user=DocHopper
[2011-02-20 10:19:34]
2307*2^305126-1 is not prime.  Res64: C3538967E156898E  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:20:07]
2307*2^305141-1 is not prime.  Res64: F986FFB7665ABE2E  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:20:35]
2307*2^305142-1 is not prime.  Res64: 33910361E6ABCA3C  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:20:36]
2307*2^305156-1 is not prime.  Res64: 69386885A0057133  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:21:13]
2307*2^305165-1 is not prime.  Res64: 8AA8C802443DEF4D  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:21:45]
2307*2^305166-1 is not prime.  Res64: 0E6A3786892BB9D8  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:22:14]
2307*2^305253-1 is not prime.  Res64: 5D16C4AD7C483B11  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:22:15]
2307*2^305270-1 is not prime.  Res64: C0D17C238D3FEE89  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:22:52]
2307*2^305286-1 is not prime.  Res64: 2DC16E4B519003D9  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:23:22]
2307*2^305322-1 is not prime.  Res64: CA6F2516EA3100FB  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:23:54]
2307*2^305342-1 is not prime.  Res64: 2E26321D6161AF76  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:23:54]
2307*2^305370-1 is not prime.  Res64: CDD75883032E29EB  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:24:32]
2307*2^305382-1 is not prime.  Res64: D47097BEEA63E18D  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:25:00]
2307*2^305393-1 is not prime.  Res64: 414041815DB3864B  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:25:32]
2307*2^305429-1 is not prime.  Res64: 77FD7E8DF96ED757  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:25:33]
2307*2^305441-1 is not prime.  Res64: 7A313E1786A8969D  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:26:10]
2307*2^305442-1 is not prime.  Res64: 50BB4D12AF93AD7B  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:26:38]
2307*2^305465-1 is not prime.  Res64: 36F6E9D902F0B901  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:27:12]
2307*2^305478-1 is not prime.  Res64: 84552939611090B4  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:27:13]
2307*2^305489-1 is not prime.  Res64: C56E7698CF3455EE  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:27:49]
2307*2^305508-1 is not prime.  Res64: EEC282DA10709C8E  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:28:16]
2307*2^305526-1 is not prime.  Res64: AACC543BAF5FE764  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:28:46]
2307*2^305634-1 is not prime.  Res64: CBE0C89F3C7AF402  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:28:52]
2307*2^305625-1 is not prime.  Res64: 1211FA66C5C2CB1D  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:29:29]
2307*2^305642-1 is not prime.  Res64: FCEA2BF734FF313D  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:29:54]
2307*2^305648-1 is not prime.  Res64: DF2F3C896C4512AC  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:30:25]
2307*2^305660-1 is not prime.  Res64: 2C0045161A149F98  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:30:31]
2307*2^305658-1 is not prime.  Res64: 2B92ABCE7B151657  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:31:08]
2307*2^305661-1 is not prime.  Res64: 1D55BD43C0C3DF2B  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:31:32]
2307*2^305666-1 is not prime.  Res64: D354008959896725  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:32:05]
2307*2^305718-1 is not prime.  Res64: C8ABB7B0FB31240C  Time : 491.0 sec.
user=DocHopper
[2011-02-20 10:32:10]
2307*2^305684-1 is not prime.  Res64: 08CDBD248340934C  Time : 496.0 sec.
user=DocHopper
[2011-02-20 10:32:50]
2307*2^305730-1 is not prime.  Res64: C52A2694613F74A6  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:33:10]
2307*2^305750-1 is not prime.  Res64: 1FD6B81E95721E1A  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:33:45]
2307*2^305789-1 is not prime.  Res64: 8FB67D7DDED789D3  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:33:50]
2307*2^305768-1 is not prime.  Res64: 3DEB1EBE2400D610  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:34:25]
2307*2^305792-1 is not prime.  Res64: 2C41B79868FEB18E  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:34:48]
2307*2^305801-1 is not prime.  Res64: D80E8162E65C1B31  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:35:26]
2307*2^305850-1 is not prime.  Res64: AA326D1137332092  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:35:29]
2307*2^305810-1 is not prime.  Res64: 9D3A76D1AE3E91DC  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:36:03]
2307*2^305862-1 is not prime.  Res64: 49B827775B827E01  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:36:26]
2307*2^305864-1 is not prime.  Res64: A6EE199D780F62A4  Time : 490.0 sec.
user=mdettweiler
[2011-02-20 10:36:41]
2307*2^304902-1 is not prime.  Res64: 410B33BEC60E2CC4  Time : 1806.0 sec.
user=DocHopper
[2011-02-20 10:37:05]
2307*2^305888-1 is not prime.  Res64: 1133FC0ED8BEFE60  Time : 500.0 sec.
user=DocHopper
[2011-02-20 10:37:09]
2307*2^305933-1 is not prime.  Res64: 1487857FFD23DEB6  Time : 497.0 sec.
user=vaughan
[2011-02-20 10:37:18]
2307*2^305400-1 is not prime.  Res64: B194FFA412520AD4  Time : 1201.0 sec.
user=DocHopper
[2011-02-20 10:37:40]
2307*2^305942-1 is not prime.  Res64: 2EDF456FA3F74902  Time : 491.0 sec.
user=DocHopper
[2011-02-20 10:38:04]
2307*2^305948-1 is not prime.  Res64: B12D572009DF869E  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:38:45]
2307*2^305960-1 is not prime.  Res64: 39E96FA58B98F1F7  Time : 500.0 sec.
user=DocHopper
[2011-02-20 10:38:48]
2307*2^305973-1 is not prime.  Res64: 00041A4DDE6486B6  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:39:17]
2307*2^305993-1 is not prime.  Res64: 4EA3CAB571FE2479  Time : 489.0 sec.
user=DocHopper
[2011-02-20 10:39:40]
2307*2^306000-1 is not prime.  Res64: 0B3B4C38BB6BC68B  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:40:25]
2307*2^306018-1 is not prime.  Res64: 37B559F9A3D8A4BC  Time : 500.0 sec.
user=DocHopper
[2011-02-20 10:40:28]
2307*2^306021-1 is not prime.  Res64: 8774B10E4552AF59  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:40:51]
2307*2^306024-1 is not prime.  Res64: 1856AD2F8E4D11F1  Time : 481.0 sec.
user=DocHopper
[2011-02-20 10:41:17]
2307*2^306026-1 is not prime.  Res64: A4CF9BB413E759B4  Time : 487.0 sec.
user=DocHopper
[2011-02-20 10:42:04]
2307*2^306045-1 is not prime.  Res64: B54F80F4DEC0F5A0  Time : 499.0 sec.
user=DocHopper
[2011-02-20 10:42:07]
2307*2^306065-1 is not prime.  Res64: 4EBE9AE9D540D392  Time : 497.0 sec.
user=DocHopper
[2011-02-20 10:42:30]
2307*2^306074-1 is not prime.  Res64: 110C77BC9F3992A6  Time : 485.0 sec.
user=DocHopper
[2011-02-20 10:42:55]
2307*2^306084-1 is not prime.  Res64: 1E74B88167B3B096  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:43:41]
2307*2^306102-1 is not prime.  Res64: 2CAC923C6137DE16  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:43:47]
2307*2^306122-1 is not prime.  Res64: 2768C53931FB21CA  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:44:09]
2307*2^306134-1 is not prime.  Res64: 074FE1A095AF4A5F  Time : 486.0 sec.
user=DocHopper
[2011-02-20 10:44:34]
2307*2^306152-1 is not prime.  Res64: 58FA21C578DE1ACF  Time : 488.0 sec.
user=DocHopper
[2011-02-20 10:45:20]
2307*2^306209-1 is not prime.  Res64: 2DFD80DBD5FCE2B2  Time : 495.0 sec.
user=DocHopper
[2011-02-20 10:45:28]
2307*2^306225-1 is not prime.  Res64: 391F41E590248FE6  Time : 499.0 sec.
user=DocHopper
[2011-02-20 10:45:50]
2307*2^306258-1 is not prime.  Res64: 514F99977EF127B2  Time : 490.0 sec.
user=DocHopper
[2011-02-20 10:46:07]
2307*2^306269-1 is not prime.  Res64: 54483F95BF97BF23  Time : 483.0 sec.
user=DocHopper
[2011-02-20 10:46:59]
2307*2^306276-1 is not prime.  Res64: 0FBAB6A26BDE56CB  Time : 494.0 sec.
user=DocHopper
[2011-02-20 10:47:07]
2307*2^306281-1 is not prime.  Res64: 90C89A621C100768  Time : 499.0 sec.
user=DocHopper
[2011-02-20 10:47:29]
2307*2^306290-1 is not prime.  Res64: 3F1C62FB35E556D9  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:47:47]
2307*2^306324-1 is not prime.  Res64: AB537DAA14B3AFAF  Time : 487.0 sec.
user=DocHopper
[2011-02-20 10:48:38]
2307*2^306336-1 is not prime.  Res64: A698EB8CFF753CC0  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:48:46]
2307*2^306342-1 is not prime.  Res64: 4FACC3BD8505674E  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:49:09]
2307*2^306356-1 is not prime.  Res64: 49A2FDDA78F476BD  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:49:21]
2307*2^306389-1 is not prime.  Res64: BA6269487EE666A2  Time : 484.0 sec.
user=DocHopper
[2011-02-20 10:50:15]
2307*2^306401-1 is not prime.  Res64: 514F7CAD94A5AF22  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:50:26]
2307*2^306410-1 is not prime.  Res64: F334E4E8A1B6F6E6  Time : 499.0 sec.
user=DocHopper
[2011-02-20 10:50:42]
2307*2^306413-1 is not prime.  Res64: 651EB700EF72261B  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:50:53]
2307*2^306426-1 is not prime.  Res64: 9DCDBA98FE6BCA8B  Time : 478.0 sec.
user=DocHopper
[2011-02-20 10:51:54]
2307*2^306453-1 is not prime.  Res64: 8C2819F57EAE2CF1  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:52:06]
2307*2^306480-1 is not prime.  Res64: B4993B23EEACF7B3  Time : 500.0 sec.
user=DocHopper
[2011-02-20 10:52:21]
2307*2^306485-1 is not prime.  Res64: 67C176F08DC009F2  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:52:27]
2307*2^306518-1 is not prime.  Res64: A03F19032F8F142F  Time : 473.0 sec.
user=DocHopper
[2011-02-20 10:53:33]
2307*2^306548-1 is not prime.  Res64: BDCA53B0BB82308D  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:53:46]
2307*2^306561-1 is not prime.  Res64: AB0EC3E0299C950D  Time : 498.0 sec.
user=DocHopper
[2011-02-20 10:54:00]
2307*2^306594-1 is not prime.  Res64: DCE5E7C07AAF2AB4  Time : 473.0 sec.
user=DocHopper
[2011-02-20 10:54:01]
2307*2^306578-1 is not prime.  Res64: D5D8EE4DA0EB25E0  Time : 491.0 sec.
user=DocHopper
[2011-02-20 10:55:11]
2307*2^306608-1 is not prime.  Res64: A0C421D30341076B  Time : 492.0 sec.
user=DocHopper
[2011-02-20 10:55:26]
2307*2^306630-1 is not prime.  Res64: 03DEEDECE22567D3  Time : 499.0 sec.
user=DocHopper
[2011-02-20 10:55:34]
2307*2^306656-1 is not prime.  Res64: 356C73536EA2DB8F  Time : 467.0 sec.
user=DocHopper
[2011-02-20 10:55:36]
2307*2^306632-1 is not prime.  Res64: 2D35BA8272E7141F  Time : 487.0 sec.
user=DocHopper
[2011-02-20 10:56:49]
2307*2^306672-1 is not prime.  Res64: 51E8B1DA36C9734B  Time : 491.0 sec.
user=DocHopper
[2011-02-20 10:57:06]
2307*2^306689-1 is not prime.  Res64: B9A247F50F026E25  Time : 500.0 sec.
user=DocHopper
[2011-02-20 10:57:07]
2307*2^306714-1 is not prime.  Res64: 416194447B9E954E  Time : 466.0 sec.
user=DocHopper
[2011-02-20 10:57:10]
2307*2^306696-1 is not prime.  Res64: 6FBDFAA1A9A59FF0  Time : 481.0 sec.
user=vaughan
[2011-02-20 10:57:22]
2307*2^306234-1 is not prime.  Res64: 79F19DCE67E71AF6  Time : 1204.0 sec.
user=DocHopper
[2011-02-20 10:58:28]
2307*2^306716-1 is not prime.  Res64: 60A768C5C8FA8DD3  Time : 493.0 sec.
user=DocHopper
[2011-02-20 10:58:40]
2307*2^306741-1 is not prime.  Res64: 87A4159EFC86B5D2  Time : 467.0 sec.
user=DocHopper
[2011-02-20 10:58:43]
2307*2^306738-1 is not prime.  Res64: 6E553E60ADBAF2C5  Time : 481.0 sec.
user=DocHopper
[2011-02-20 10:58:47]
2307*2^306725-1 is not prime.  Res64: 3DE1469E80B40D61  Time : 501.0 sec.
user=DocHopper
[2011-02-20 11:00:06]
2307*2^306765-1 is not prime.  Res64: 2ECA1EA06C3475DB  Time : 492.0 sec.
user=DocHopper
[2011-02-20 11:00:13]
2307*2^306833-1 is not prime.  Res64: 82FEA5DE095A1453  Time : 466.0 sec.
user=DocHopper
[2011-02-20 11:00:17]
2307*2^306830-1 is not prime.  Res64: 9763607BD7B7139D  Time : 476.0 sec.
user=DocHopper
[2011-02-20 11:00:27]
2307*2^306788-1 is not prime.  Res64: 6C19CE7FA0DABA9E  Time : 501.0 sec.
user=DocHopper
[2011-02-20 11:01:45]
2307*2^306840-1 is not prime.  Res64: AC93AFD6E1A735E6  Time : 492.0 sec.
user=DocHopper
[2011-02-20 11:01:46]
2307*2^306858-1 is not prime.  Res64: 5318996BB41905C9  Time : 466.0 sec.
user=DocHopper
[2011-02-20 11:01:51]
2307*2^306869-1 is not prime.  Res64: A92BA75F23B5DAE7  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:02:07]
2307*2^306852-1 is not prime.  Res64: BF9249E94AE13B0D  Time : 501.0 sec.
user=DocHopper
[2011-02-20 11:03:20]
2307*2^306953-1 is not prime.  Res64: D81CF3379474A48A  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:03:23]
2307*2^306870-1 is not prime.  Res64: 067B7B32EBE9B8AD  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:03:25]
2307*2^306978-1 is not prime.  Res64: E4E56906D0510354  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:03:47]
2307*2^306921-1 is not prime.  Res64: 104C517D9A23CAD2  Time : 501.0 sec.
user=DocHopper
[2011-02-20 11:04:54]
2307*2^307085-1 is not prime.  Res64: 8CA3C264994BABDE  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:04:57]
2307*2^307092-1 is not prime.  Res64: 0EE5EE08E50EA5BD  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:05:01]
2307*2^307026-1 is not prime.  Res64: 8460155CA616F26E  Time : 492.0 sec.
user=DocHopper
[2011-02-20 11:05:28]
2307*2^307034-1 is not prime.  Res64: 9F1A808D01BCF69F  Time : 502.0 sec.
user=DocHopper
[2011-02-20 11:06:27]
2307*2^307110-1 is not prime.  Res64: 4993F32AEB0CD1AE  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:06:31]
2307*2^307152-1 is not prime.  Res64: 0FB8701960884CD8  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:06:40]
2307*2^307109-1 is not prime.  Res64: 18F4353882679F8D  Time : 492.0 sec.
user=mdettweiler
[2011-02-20 11:06:49]
2307*2^306156-1 is not prime.  Res64: C4D07B31A56B38F7  Time : 1807.0 sec.
user=DocHopper
[2011-02-20 11:07:09]
2307*2^307190-1 is not prime.  Res64: 4174C262E5246471  Time : 502.0 sec.
user=DocHopper
[2011-02-20 11:08:00]
2307*2^307286-1 is not prime.  Res64: AB111BD9CDB2E199  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:08:05]
2307*2^307289-1 is not prime.  Res64: F2D72C07A0C07C8A  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:08:19]
2307*2^307256-1 is not prime.  Res64: 5F84156D9B322553  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:08:49]
2307*2^307298-1 is not prime.  Res64: FE6250F2DA59103F  Time : 502.0 sec.
user=DocHopper
[2011-02-20 11:09:37]
2307*2^307313-1 is not prime.  Res64: 764F9F855E086531  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:09:38]
2307*2^307320-1 is not prime.  Res64: 2EF5C7E5BDAD8C7B  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:09:57]
2307*2^307302-1 is not prime.  Res64: 134D14022CFFCA72  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:10:29]
2307*2^307358-1 is not prime.  Res64: 639F7295FD11BDDA  Time : 502.0 sec.
user=DocHopper
[2011-02-20 11:11:08]
2307*2^307409-1 is not prime.  Res64: 7F599C115CCE1774  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:11:12]
2307*2^307413-1 is not prime.  Res64: 66BB580D53C2FC5E  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:11:36]
2307*2^307410-1 is not prime.  Res64: 1B1FD404F6BD4B00  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:12:10]
2307*2^307440-1 is not prime.  Res64: 655349D09ECD19FC  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:12:41]
2307*2^307461-1 is not prime.  Res64: 4E5594C3820AB147  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:12:46]
2307*2^307500-1 is not prime.  Res64: 653F486646D183E2  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:13:15]
2307*2^307529-1 is not prime.  Res64: A7FEEAF2087FBBC9  Time : 494.0 sec.
user=DocHopper
[2011-02-20 11:13:51]
2307*2^307556-1 is not prime.  Res64: 9552A762AEA564F2  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:14:15]
2307*2^307560-1 is not prime.  Res64: 804F0061EB03312F  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:14:19]
2307*2^307562-1 is not prime.  Res64: 60728995E94E870C  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:14:54]
2307*2^307566-1 is not prime.  Res64: 36B6C6831CBBDACE  Time : 494.0 sec.
user=DocHopper
[2011-02-20 11:15:32]
2307*2^307574-1 is not prime.  Res64: F764C8124D994200  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:15:48]
2307*2^307578-1 is not prime.  Res64: 73CC645425E0BEAC  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:15:53]
2307*2^307598-1 is not prime.  Res64: EC7D745CA10F8A55  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:16:32]
2307*2^307605-1 is not prime.  Res64: 5E8111CBEE971FE4  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:17:12]
2307*2^307629-1 is not prime.  Res64: 8BB22F9A7661ED03  Time : 504.0 sec.
user=DocHopper
[2011-02-20 11:17:23]
2307*2^307664-1 is not prime.  Res64: 33657D8903C410AD  Time : 466.0 sec.
user=DocHopper
[2011-02-20 11:17:27]
2307*2^307682-1 is not prime.  Res64: 4C48D2E393A46786  Time : 469.0 sec.
user=vaughan
[2011-02-20 11:17:36]
2307*2^307104-1 is not prime.  Res64: B6BAFC86E4516806  Time : 1213.0 sec.
user=DocHopper
[2011-02-20 11:18:06]
2307*2^307701-1 is not prime.  Res64: 68AAD22182730B60  Time : 489.0 sec.
user=DocHopper
[2011-02-20 11:18:52]
2307*2^307769-1 is not prime.  Res64: BB8F226904C95685  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:18:57]
2307*2^307773-1 is not prime.  Res64: BC5389A100355C39  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:19:00]
2307*2^307778-1 is not prime.  Res64: 08856F1745F61135  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:19:40]
2307*2^307782-1 is not prime.  Res64: D568C5B387C3CCE3  Time : 484.0 sec.
user=DocHopper
[2011-02-20 11:20:30]
2307*2^307805-1 is not prime.  Res64: 632DF0C3DDB446E3  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:20:33]
2307*2^307794-1 is not prime.  Res64: FBD046F08E0E54D7  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:20:34]
2307*2^307826-1 is not prime.  Res64: 025508751799A6EE  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:21:13]
2307*2^307844-1 is not prime.  Res64: BA5CF40407A3C06E  Time : 478.0 sec.
user=DocHopper
[2011-02-20 11:22:04]
2307*2^307866-1 is not prime.  Res64: D84209E121435C52  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:22:09]
2307*2^307881-1 is not prime.  Res64: 5E8BBD6AC45FB876  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:22:14]
2307*2^307845-1 is not prime.  Res64: E4A7811B429A006D  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:22:46]
2307*2^307908-1 is not prime.  Res64: 53703D03C01B0CF0  Time : 473.0 sec.
user=DocHopper
[2011-02-20 11:23:38]
2307*2^307934-1 is not prime.  Res64: 936EA3D402D50CA2  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:23:42]
2307*2^307949-1 is not prime.  Res64: 0E1C0B3C05FE5B14  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:23:55]
2307*2^307913-1 is not prime.  Res64: DF99D4C8AFF2625E  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:24:20]
2307*2^307953-1 is not prime.  Res64: 1AA29E425A8F71FA  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:25:11]
2307*2^307976-1 is not prime.  Res64: 4AE6D5D0479B5A62  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:25:17]
2307*2^307992-1 is not prime.  Res64: F764E1E0434ACA04  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:25:35]
2307*2^307965-1 is not prime.  Res64: DD20A66AC69AD8FE  Time : 503.0 sec.
user=DocHopper
[2011-02-20 11:25:53]
2307*2^308040-1 is not prime.  Res64: 79CE20B81D117C2B  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:26:45]
2307*2^308064-1 is not prime.  Res64: E239D0B13E16CEAC  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:26:51]
2307*2^308066-1 is not prime.  Res64: 44FF263223857DBE  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:27:17]
2307*2^308042-1 is not prime.  Res64: D8FC0BC244170AFD  Time : 505.0 sec.
user=DocHopper
[2011-02-20 11:27:27]
2307*2^308070-1 is not prime.  Res64: 4C29F67C45525A96  Time : 467.0 sec.
user=DocHopper
[2011-02-20 11:28:20]
2307*2^308073-1 is not prime.  Res64: A05B94EC4E452550  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:28:25]
2307*2^308102-1 is not prime.  Res64: 3847C183F3021C69  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:28:58]
2307*2^308100-1 is not prime.  Res64: 9B04E3232F146445  Time : 505.0 sec.
user=DocHopper
[2011-02-20 11:29:01]
2307*2^308118-1 is not prime.  Res64: CCD56653DDF88DA5  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:29:53]
2307*2^308133-1 is not prime.  Res64: F866537128640810  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:29:59]
2307*2^308142-1 is not prime.  Res64: F152490BE07D7E57  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:30:34]
2307*2^308145-1 is not prime.  Res64: 4FC5396B5875CCB6  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:30:39]
2307*2^308144-1 is not prime.  Res64: EFA376333C0B6AB2  Time : 505.0 sec.
user=DocHopper
[2011-02-20 11:31:27]
2307*2^308166-1 is not prime.  Res64: B4DC27F52370DA46  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:31:34]
2307*2^308178-1 is not prime.  Res64: 663F1EB3B78770D2  Time : 472.0 sec.
user=DocHopper
[2011-02-20 11:32:08]
2307*2^308225-1 is not prime.  Res64: 463E7AFBC7882013  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:32:19]
2307*2^308190-1 is not prime.  Res64: CA9D74A9BB9BD5FB  Time : 504.0 sec.
user=DocHopper
[2011-02-20 11:33:02]
2307*2^308226-1 is not prime.  Res64: 4E5A7869F1F2309B  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:33:08]
2307*2^308234-1 is not prime.  Res64: D33975708B47E6CF  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:33:42]
2307*2^308289-1 is not prime.  Res64: 0979536C12095086  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:34:01]
2307*2^308258-1 is not prime.  Res64: B8DCBB566DA09A1E  Time : 506.0 sec.
user=DocHopper
[2011-02-20 11:34:35]
2307*2^308300-1 is not prime.  Res64: B4C7D43679DB8A89  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:34:42]
2307*2^308312-1 is not prime.  Res64: AF47CB89B00F4FBA  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:35:15]
2307*2^308384-1 is not prime.  Res64: 92B31CFF71986D8B  Time : 468.0 sec.
user=DocHopper
[2011-02-20 11:35:35]
2307*2^308378-1 is not prime.  Res64: F6AD1C4C3C2FF849  Time : 498.0 sec.
user=DocHopper
[2011-02-20 11:36:09]
2307*2^308394-1 is not prime.  Res64: 43DA0FA28D0C2011  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:36:17]
2307*2^308406-1 is not prime.  Res64: 794018BA85F0965F  Time : 472.0 sec.
user=DocHopper
[2011-02-20 11:36:50]
2307*2^308424-1 is not prime.  Res64: 701DF55BA10F9AC7  Time : 469.0 sec.
user=mdettweiler
[2011-02-20 11:37:06]
2307*2^307568-1 is not prime.  Res64: 665E067C6783CAFF  Time : 1816.0 sec.
user=DocHopper
[2011-02-20 11:37:14]
2307*2^308421-1 is not prime.  Res64: C47EC7045368FC57  Time : 496.0 sec.
user=DocHopper
[2011-02-20 11:37:44]
2307*2^308454-1 is not prime.  Res64: F9B04091C9D42F76  Time : 471.0 sec.
user=vaughan
[2011-02-20 11:37:48]
2307*2^308025-1 is not prime.  Res64: 5F1E5E4FBEF4DA89  Time : 1211.0 sec.
user=DocHopper
[2011-02-20 11:37:50]
2307*2^308468-1 is not prime.  Res64: 4F490760D5C1D22E  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:38:24]
2307*2^308504-1 is not prime.  Res64: C9D77B6036EB5219  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:38:52]
2307*2^308534-1 is not prime.  Res64: 083451ED8BB13F5C  Time : 493.0 sec.
user=DocHopper
[2011-02-20 11:39:17]
2307*2^308538-1 is not prime.  Res64: BB21C1AF134625D1  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:39:24]
2307*2^308586-1 is not prime.  Res64: 839F61FD262D7578  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:39:57]
2307*2^308610-1 is not prime.  Res64: CF570255236BDBC7  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:40:26]
2307*2^308613-1 is not prime.  Res64: 00AB6946882889AB  Time : 487.0 sec.
user=DocHopper
[2011-02-20 11:40:52]
2307*2^308622-1 is not prime.  Res64: A0B191196E1BC3CC  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:40:58]
2307*2^308648-1 is not prime.  Res64: 780F3805AE124378  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:41:31]
2307*2^308673-1 is not prime.  Res64: F983E9B8A3C2E177  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:42:01]
2307*2^308688-1 is not prime.  Res64: 5383CE64673D3CAE  Time : 480.0 sec.
user=DocHopper
[2011-02-20 11:42:26]
2307*2^308693-1 is not prime.  Res64: 82A5CBA7CBD9238B  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:42:32]
2307*2^308702-1 is not prime.  Res64: DC2643B887D3A103  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:43:05]
2307*2^308714-1 is not prime.  Res64: D8A4B5839CE87CAC  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:43:34]
2307*2^308721-1 is not prime.  Res64: 50470AA60CC9BD3F  Time : 479.0 sec.
user=DocHopper
[2011-02-20 11:44:00]
2307*2^308729-1 is not prime.  Res64: 5528361A520115A0  Time : 471.0 sec.
user=DocHopper
[2011-02-20 11:44:06]
2307*2^308792-1 is not prime.  Res64: F0A4BE18886FBF70  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:44:39]
2307*2^308813-1 is not prime.  Res64: DEE3520D8878EFD3  Time : 469.0 sec.
user=DocHopper
[2011-02-20 11:45:08]
2307*2^308829-1 is not prime.  Res64: 452C4418132FA123  Time : 475.0 sec.
user=DocHopper
[2011-02-20 11:45:34]
2307*2^308844-1 is not prime.  Res64: 848EF7731F7B844A  Time : 470.0 sec.
user=DocHopper
[2011-02-20 11:46:07]
2307*2^308930-1 is not prime.  Res64: 698F4F8182970BA6  Time : 497.0 sec.
user=DocHopper
[2011-02-20 11:46:39]
2307*2^308940-1 is not prime.  Res64: BFAC2F6427D4F0DF  Time : 496.0 sec.
user=DocHopper
[2011-02-20 11:47:12]
2307*2^308984-1 is not prime.  Res64: BB3F5284C8E209D2  Time : 500.0 sec.
user=DocHopper
[2011-02-20 11:47:29]
2307*2^309002-1 is not prime.  Res64: 4DB0E7FDED7BD537  Time : 492.0 sec.
user=DocHopper
[2011-02-20 11:48:07]
2307*2^309029-1 is not prime.  Res64: 4ABA03C7F863B765  Time : 523.0 sec.
user=DocHopper
[2011-02-20 11:48:40]
2307*2^309030-1 is not prime.  Res64: 04ADF8B78A9821FD  Time : 523.0 sec.
user=DocHopper
[2011-02-20 11:49:05]
2307*2^309048-1 is not prime.  Res64: B207C61387950AFB  Time : 519.0 sec.
user=DocHopper
[2011-02-20 11:49:23]
2307*2^309054-1 is not prime.  Res64: 68848BF0E3F7755F  Time : 511.0 sec.
user=DocHopper
[2011-02-20 11:50:08]
2307*2^309056-1 is not prime.  Res64: 7469B394569DE11D  Time : 550.0 sec.
user=DocHopper
[2011-02-20 11:50:40]
2307*2^309078-1 is not prime.  Res64: F39A91EF29AD1756  Time : 549.0 sec.
user=DocHopper
[2011-02-20 11:51:00]
2307*2^309080-1 is not prime.  Res64: 84BAEBF73867543A  Time : 540.0 sec.
user=DocHopper
[2011-02-20 11:51:18]
2307*2^309114-1 is not prime.  Res64: A74CAC64A20B5083  Time : 532.0 sec.
user=DocHopper
[2011-02-20 11:52:08]
2307*2^309134-1 is not prime.  Res64: 9B18D64A19E3D2F1  Time : 576.0 sec.
user=DocHopper
[2011-02-20 11:52:41]
2307*2^309150-1 is not prime.  Res64: 4032BDAA2F66FDB1  Time : 577.0 sec.
user=DocHopper
[2011-02-20 11:52:54]
2307*2^309156-1 is not prime.  Res64: B58DF9F32CCF5848  Time : 560.0 sec.
user=DocHopper
[2011-02-20 11:53:12]
2307*2^309174-1 is not prime.  Res64: D95BDDC1FEABCEAF  Time : 552.0 sec.
user=DocHopper
[2011-02-20 11:54:09]
2307*2^309194-1 is not prime.  Res64: B4AA3B40823690DE  Time : 603.0 sec.
user=DocHopper
[2011-02-20 11:54:41]
2307*2^309198-1 is not prime.  Res64: 5EDB8265B0195DCB  Time : 602.0 sec.
user=DocHopper
[2011-02-20 11:55:10]
2307*2^309213-1 is not prime.  Res64: CB29BBE2D7EEFE2F  Time : 602.0 sec.
user=DocHopper
[2011-02-20 11:55:28]
2307*2^309225-1 is not prime.  Res64: 4127FDEE48DE0BD2  Time : 594.0 sec.
user=DocHopper
[2011-02-20 11:56:10]
2307*2^309245-1 is not prime.  Res64: 829055C0E629CA07  Time : 603.0 sec.
user=DocHopper
[2011-02-20 11:56:43]
2307*2^309318-1 is not prime.  Res64: 2602348098D09A93  Time : 571.0 sec.
user=DocHopper
[2011-02-20 11:56:43]
2307*2^309300-1 is not prime.  Res64: 9144EE9601502A67  Time : 604.0 sec.
user=DocHopper
[2011-02-20 11:57:04]
2307*2^309326-1 is not prime.  Res64: 783E6D21CA180D28  Time : 575.0 sec.
user=DocHopper
[2011-02-20 11:58:10]
2307*2^309342-1 is not prime.  Res64: D618E73C65F28744  Time : 603.0 sec.
user=DocHopper
[2011-02-20 11:58:37]
2307*2^309366-1 is not prime.  Res64: 2EEE762D63CBB3D2  Time : 572.0 sec.
user=DocHopper
[2011-02-20 11:58:43]
2307*2^309365-1 is not prime.  Res64: DC72D2335E237E4D  Time : 603.0 sec.
user=DocHopper
[2011-02-20 11:58:55]
2307*2^309392-1 is not prime.  Res64: D8F0B50691AC41CE  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:00:11]
2307*2^309398-1 is not prime.  Res64: 374DB89D5F92752A  Time : 603.0 sec.
user=DocHopper
[2011-02-20 12:00:32]
2307*2^309416-1 is not prime.  Res64: E629378AE307BC0E  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:00:44]
2307*2^309405-1 is not prime.  Res64: 88794B4A48766D6C  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:00:50]
2307*2^309432-1 is not prime.  Res64: 3B12859CAE7E26E8  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:02:12]
2307*2^309441-1 is not prime.  Res64: CFA17B79E9C4AC1F  Time : 604.0 sec.
user=vaughan
[2011-02-20 12:02:13]
2307*2^308900-1 is not prime.  Res64: 56974D42DC2E7CA3  Time : 1464.0 sec.
user=DocHopper
[2011-02-20 12:02:26]
2307*2^309458-1 is not prime.  Res64: 1C312D59183B0001  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:02:45]
2307*2^309474-1 is not prime.  Res64: 0CCB0B14EA4D4321  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:02:46]
2307*2^309444-1 is not prime.  Res64: 5C9AC1D0FB6B7974  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:04:13]
2307*2^309501-1 is not prime.  Res64: BC36D28A22F070F6  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:04:20]
2307*2^309570-1 is not prime.  Res64: 972F298C74B1D8D8  Time : 489.0 sec.
user=DocHopper
[2011-02-20 12:04:40]
2307*2^309524-1 is not prime.  Res64: DE49A013FFF89945  Time : 552.0 sec.
user=DocHopper
[2011-02-20 12:04:46]
2307*2^309510-1 is not prime.  Res64: 97FC4EA5B31CCF7D  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:06:13]
2307*2^309530-1 is not prime.  Res64: 9B5E686677EAB8BA  Time : 603.0 sec.
user=DocHopper
[2011-02-20 12:06:15]
2307*2^309585-1 is not prime.  Res64: 7CB7861366A032BC  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:06:34]
2307*2^309618-1 is not prime.  Res64: 2D5E915756945A1E  Time : 570.0 sec.
user=DocHopper
[2011-02-20 12:06:47]
2307*2^309590-1 is not prime.  Res64: F64F84C5688F5926  Time : 604.0 sec.
user=mdettweiler
[2011-02-20 12:07:33]
2307*2^308825-1 is not prime.  Res64: 06651C5B69F7DA3A  Time : 1827.0 sec.
user=DocHopper
[2011-02-20 12:08:09]
2307*2^309630-1 is not prime.  Res64: 6EC60B184859DBFD  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:08:13]
2307*2^309629-1 is not prime.  Res64: 4604365EE79B3AF8  Time : 603.0 sec.
user=DocHopper
[2011-02-20 12:08:28]
2307*2^309668-1 is not prime.  Res64: AB7C91A4A6F66479  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:08:47]
2307*2^309638-1 is not prime.  Res64: 3B9125F4523CBB61  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:10:04]
2307*2^309680-1 is not prime.  Res64: FE5DAFD288DE4BBD  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:10:15]
2307*2^309674-1 is not prime.  Res64: D920C9091D1BACD1  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:10:23]
2307*2^309702-1 is not prime.  Res64: 7CE4C5FBB2074441  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:10:48]
2307*2^309686-1 is not prime.  Res64: 7F505F17ECDECBEB  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:11:58]
2307*2^309758-1 is not prime.  Res64: 41BDE437F016591D  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:12:16]
2307*2^309726-1 is not prime.  Res64: 5DA77844D70C245C  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:12:18]
2307*2^309764-1 is not prime.  Res64: 4587919144E208F7  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:12:49]
2307*2^309765-1 is not prime.  Res64: 303D2DBE3699B624  Time : 603.0 sec.
user=DocHopper
[2011-02-20 12:13:53]
2307*2^309794-1 is not prime.  Res64: 2238713C3FC9DA15  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:14:12]
2307*2^309798-1 is not prime.  Res64: 3F21CFB0D71DC482  Time : 572.0 sec.
user=DocHopper
[2011-02-20 12:14:17]
2307*2^309792-1 is not prime.  Res64: C8929C158E0820CE  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:14:50]
2307*2^309858-1 is not prime.  Res64: CFF3E3E6EE1A1FC4  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:15:49]
2307*2^309884-1 is not prime.  Res64: 81A7CBEBEF0BB72E  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:16:07]
2307*2^309912-1 is not prime.  Res64: 6838A011743B686B  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:16:18]
2307*2^309869-1 is not prime.  Res64: B8A33E1C64E809D9  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:16:51]
2307*2^309932-1 is not prime.  Res64: B54361E25872C06D  Time : 604.0 sec.
user=DocHopper
[2011-02-20 12:17:43]
2307*2^309942-1 is not prime.  Res64: F590BFCF0CB5D469  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:18:02]
2307*2^309953-1 is not prime.  Res64: 05B587EA41E90679  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:18:19]
2307*2^309944-1 is not prime.  Res64: 7EC0F1B35FBD44DB  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:18:52]
2307*2^309990-1 is not prime.  Res64: 0C5E2C5715666687  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:19:37]
2307*2^310032-1 is not prime.  Res64: 7868CEF4F94D276B  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:19:57]
2307*2^310049-1 is not prime.  Res64: B5CEF334CA016D6A  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:20:20]
2307*2^310041-1 is not prime.  Res64: 2B91456FF5D36D87  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:20:54]
2307*2^310086-1 is not prime.  Res64: 50F1EBABFDD1AAED  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:21:33]
2307*2^310116-1 is not prime.  Res64: 01B9C262973B6C76  Time : 575.0 sec.
user=DocHopper
[2011-02-20 12:21:51]
2307*2^310134-1 is not prime.  Res64: B5B79FC0BBB46B23  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:22:21]
2307*2^310121-1 is not prime.  Res64: 6976100FEA60A1A8  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:22:55]
2307*2^310205-1 is not prime.  Res64: 888C29FE25A2B2AB  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:23:26]
2307*2^310224-1 is not prime.  Res64: 5BDA0C9E636AC686  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:23:46]
2307*2^310269-1 is not prime.  Res64: 5A6D185728D7F548  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:24:22]
2307*2^310284-1 is not prime.  Res64: EAAA2DF487DAB588  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:24:56]
2307*2^310296-1 is not prime.  Res64: CE3F470319B9C9F9  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:25:21]
2307*2^310301-1 is not prime.  Res64: FEAE12F6F8730A97  Time : 573.0 sec.
user=DocHopper
[2011-02-20 12:25:41]
2307*2^310344-1 is not prime.  Res64: FF105AA6542066C6  Time : 574.0 sec.
user=vaughan
[2011-02-20 12:25:58]
2307*2^309749-1 is not prime.  Res64: 0459D037C1CA2ADF  Time : 1424.0 sec.
user=DocHopper
[2011-02-20 12:26:23]
2307*2^310349-1 is not prime.  Res64: D441F66823ED0712  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:26:57]
2307*2^310361-1 is not prime.  Res64: 6ECDB368F30B8900  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:27:16]
2307*2^310394-1 is not prime.  Res64: 531134C72248F2E7  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:27:36]
2307*2^310401-1 is not prime.  Res64: 4E6331D9CF635AD3  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:28:25]
2307*2^310440-1 is not prime.  Res64: 8E38C17C2E3CB7B9  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:28:58]
2307*2^310454-1 is not prime.  Res64: 18F7D54F66F2CC87  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:29:18]
2307*2^310469-1 is not prime.  Res64: ECE8E0ECC48A622F  Time : 581.0 sec.
user=DocHopper
[2011-02-20 12:29:31]
2307*2^310470-1 is not prime.  Res64: FF1A886155662232  Time : 574.0 sec.
user=DocHopper
[2011-02-20 12:30:26]
2307*2^310472-1 is not prime.  Res64: B6CF0D4B19EC4BE9  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:30:59]
2307*2^310473-1 is not prime.  Res64: 52D6480FC97692DD  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:31:19]
2307*2^310508-1 is not prime.  Res64: C9ED033715878FB4  Time : 587.0 sec.
user=DocHopper
[2011-02-20 12:31:27]
2307*2^310545-1 is not prime.  Res64: B4123F6A83CE14D7  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:32:27]
2307*2^310550-1 is not prime.  Res64: E87F0D32BE77FFB1  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:33:01]
2307*2^310560-1 is not prime.  Res64: E5D00F080F62B43E  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:33:21]
2307*2^310574-1 is not prime.  Res64: 92F25E8989408DFC  Time : 595.0 sec.
user=DocHopper
[2011-02-20 12:33:21]
2307*2^310578-1 is not prime.  Res64: 7222C6BCAB995BD8  Time : 575.0 sec.
user=DocHopper
[2011-02-20 12:34:28]
2307*2^310581-1 is not prime.  Res64: 09B1315233C36EF3  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:35:02]
2307*2^310598-1 is not prime.  Res64: DBB4624B719EF2BE  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:35:16]
2307*2^310638-1 is not prime.  Res64: D57464B83367C9FC  Time : 575.0 sec.
user=DocHopper
[2011-02-20 12:35:22]
2307*2^310608-1 is not prime.  Res64: 548AFA66A580FD03  Time : 601.0 sec.
user=DocHopper
[2011-02-20 12:36:29]
2307*2^310676-1 is not prime.  Res64: 5E73485D4548E142  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:37:04]
2307*2^310689-1 is not prime.  Res64: 35B8C67BC10DB71A  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:37:12]
2307*2^310724-1 is not prime.  Res64: E0E38E1B251A0B76  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:37:23]
2307*2^310692-1 is not prime.  Res64: E88267755FB796AA  Time : 607.0 sec.
user=mdettweiler
[2011-02-20 12:38:06]
2307*2^309941-1 is not prime.  Res64: 88ED510DD95A379D  Time : 1833.0 sec.
user=DocHopper
[2011-02-20 12:38:30]
2307*2^310733-1 is not prime.  Res64: 4A1A4913E4BE811C  Time : 605.0 sec.
user=DocHopper
[2011-02-20 12:39:05]
2307*2^310745-1 is not prime.  Res64: 243F19C3793676E4  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:39:07]
2307*2^310766-1 is not prime.  Res64: 02983AB2F6107AEA  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:39:24]
2307*2^310760-1 is not prime.  Res64: 6536BD9CF7C403CB  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:40:32]
2307*2^310769-1 is not prime.  Res64: 9E97F15B2E051760  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:41:02]
2307*2^310845-1 is not prime.  Res64: 071AA03D2ED9F637  Time : 575.0 sec.
user=DocHopper
[2011-02-20 12:41:07]
2307*2^310802-1 is not prime.  Res64: 69F7BE9D42A7EE54  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:41:25]
2307*2^310830-1 is not prime.  Res64: B8B28E284974A1C5  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:42:33]
2307*2^310868-1 is not prime.  Res64: D3FC83E28CF5E852  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:42:57]
2307*2^310952-1 is not prime.  Res64: EA998A7FF84EC6B8  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:43:08]
2307*2^310878-1 is not prime.  Res64: E17B2689D6932EA6  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:43:27]
2307*2^310886-1 is not prime.  Res64: A252A7B034C6F4EB  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:44:34]
2307*2^310956-1 is not prime.  Res64: 65FECDF63806034D  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:44:53]
2307*2^310985-1 is not prime.  Res64: 3BD04BFC13952590  Time : 577.0 sec.
user=DocHopper
[2011-02-20 12:45:10]
2307*2^310980-1 is not prime.  Res64: 69EB958CBDB43DF9  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:45:28]
2307*2^311013-1 is not prime.  Res64: 0C7FAA3B179F1D90  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:46:36]
2307*2^311022-1 is not prime.  Res64: 6AE52AE2EDA5E9E0  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:46:48]
2307*2^311042-1 is not prime.  Res64: 4A51F13F9AB9FB84  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:47:12]
2307*2^311030-1 is not prime.  Res64: 2070AC73F8E055F9  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:47:29]
2307*2^311054-1 is not prime.  Res64: DDB1D922FEA0724F  Time : 606.0 sec.
user=DocHopper
[2011-02-20 12:48:37]
2307*2^311084-1 is not prime.  Res64: 552EB0CB64D1FCB4  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:48:43]
2307*2^311126-1 is not prime.  Res64: A1C309B7F47D59EF  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:49:13]
2307*2^311102-1 is not prime.  Res64: 94A8580CF341D1FE  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:49:30]
2307*2^311162-1 is not prime.  Res64: 3B0967B773FB2972  Time : 606.0 sec.
user=vaughan
[2011-02-20 12:49:45]
2307*2^310649-1 is not prime.  Res64: 7D4DADF816441A7A  Time : 1427.0 sec.
user=DocHopper
[2011-02-20 12:50:38]
2307*2^311178-1 is not prime.  Res64: 23066865C9DEA6E7  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:50:39]
2307*2^311168-1 is not prime.  Res64: 41BA589C523E42F4  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:51:15]
2307*2^311184-1 is not prime.  Res64: 904B0D8361BD52A3  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:51:32]
2307*2^311189-1 is not prime.  Res64: D8A48FA504F93238  Time : 607.0 sec.
user=DocHopper
[2011-02-20 12:52:33]
2307*2^311232-1 is not prime.  Res64: EEC4D5A26853ACF4  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:52:41]
2307*2^311226-1 is not prime.  Res64: 12C70313048A42DB  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:53:16]
2307*2^311252-1 is not prime.  Res64: B4A66C4BF19E233E  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:53:27]
2307*2^311262-1 is not prime.  Res64: 72110EFA449CC0BC  Time : 600.0 sec.
user=DocHopper
[2011-02-20 12:54:29]
2307*2^311288-1 is not prime.  Res64: 36D54F1E8DB7EE64  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:54:43]
2307*2^311286-1 is not prime.  Res64: F1B25CBA5DBE8148  Time : 609.0 sec.
user=DocHopper
[2011-02-20 12:55:18]
2307*2^311298-1 is not prime.  Res64: E349B14D665226F5  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:55:29]
2307*2^311330-1 is not prime.  Res64: 650C8B580C8C3A4B  Time : 601.0 sec.
user=DocHopper
[2011-02-20 12:56:24]
2307*2^311348-1 is not prime.  Res64: B7EB7FD205C79962  Time : 576.0 sec.
user=DocHopper
[2011-02-20 12:56:44]
2307*2^311340-1 is not prime.  Res64: 75D0B99C2F579D6F  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:57:20]
2307*2^311366-1 is not prime.  Res64: B0D9F47A5D7CE428  Time : 608.0 sec.
user=DocHopper
[2011-02-20 12:57:24]
2307*2^311432-1 is not prime.  Res64: 31DF02F3C259F722  Time : 595.0 sec.
user=DocHopper
[2011-02-20 12:58:20]
2307*2^311462-1 is not prime.  Res64: 275583E74A083FF2  Time : 577.0 sec.
user=DocHopper
[2011-02-20 12:58:46]
2307*2^311460-1 is not prime.  Res64: 2EDB94F407F6BBC2  Time : 609.0 sec.
user=DocHopper
[2011-02-20 12:59:24]
2307*2^311472-1 is not prime.  Res64: B3CE65A1004671D7  Time : 611.0 sec.
user=DocHopper
[2011-02-20 12:59:25]
2307*2^311481-1 is not prime.  Res64: 9F7C2DA8999134C9  Time : 595.0 sec.
user=DocHopper
[2011-02-20 13:00:14]
2307*2^311501-1 is not prime.  Res64: F2C9E0D4FCD96978  Time : 576.0 sec.
user=DocHopper
[2011-02-20 13:00:47]
2307*2^311520-1 is not prime.  Res64: 5EA1678D20A81045  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:01:21]
2307*2^311529-1 is not prime.  Res64: C4C54687FE496179  Time : 589.0 sec.
user=DocHopper
[2011-02-20 13:01:23]
2307*2^311526-1 is not prime.  Res64: A476999753EC93E8  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:02:11]
2307*2^311600-1 is not prime.  Res64: 0E6E01C50C097D3B  Time : 578.0 sec.
user=DocHopper
[2011-02-20 13:02:49]
2307*2^311609-1 is not prime.  Res64: 805A25A6212C2966  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:03:23]
2307*2^311633-1 is not prime.  Res64: 3B3E1A335431D5D1  Time : 596.0 sec.
user=DocHopper
[2011-02-20 13:03:26]
2307*2^311618-1 is not prime.  Res64: 393C5BA18E1EF393  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:04:06]
2307*2^311642-1 is not prime.  Res64: 347BD05BC1ED64E8  Time : 577.0 sec.
user=DocHopper
[2011-02-20 13:04:50]
2307*2^311660-1 is not prime.  Res64: 21101B271A581762  Time : 607.0 sec.
user=DocHopper
[2011-02-20 13:05:18]
2307*2^311670-1 is not prime.  Res64: C8B150F1CCA9879E  Time : 589.0 sec.
user=DocHopper
[2011-02-20 13:05:27]
2307*2^311669-1 is not prime.  Res64: B5A0D538FCCC6C80  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:06:01]
2307*2^311712-1 is not prime.  Res64: 598877CFD2CB915E  Time : 577.0 sec.
user=DocHopper
[2011-02-20 13:06:51]
2307*2^311714-1 is not prime.  Res64: 60E416A06AA3D72C  Time : 607.0 sec.
user=DocHopper
[2011-02-20 13:07:19]
2307*2^311766-1 is not prime.  Res64: B2018220288FEE1E  Time : 595.0 sec.
user=DocHopper
[2011-02-20 13:07:28]
2307*2^311750-1 is not prime.  Res64: A77E963A8A83E6FF  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:07:57]
2307*2^311802-1 is not prime.  Res64: F1CE33485CC4AB63  Time : 578.0 sec.
user=DocHopper
[2011-02-20 13:08:53]
2307*2^311822-1 is not prime.  Res64: A24D50999B31E4AC  Time : 607.0 sec.
user=mdettweiler
[2011-02-20 13:09:06]
2307*2^311058-1 is not prime.  Res64: D96983413EB2771E  Time : 1859.0 sec.
user=DocHopper
[2011-02-20 13:09:15]
2307*2^311849-1 is not prime.  Res64: 89F02FF9760CF880  Time : 590.0 sec.
user=DocHopper
[2011-02-20 13:09:30]
2307*2^311841-1 is not prime.  Res64: 38D14AB18BDFB300  Time : 606.0 sec.
user=DocHopper
[2011-02-20 13:09:58]
2307*2^311850-1 is not prime.  Res64: 204FB2C356F4CAF0  Time : 584.0 sec.
user=DocHopper
[2011-02-20 13:10:55]
2307*2^311858-1 is not prime.  Res64: E0BFE762928BCC7E  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:11:16]
2307*2^311864-1 is not prime.  Res64: 31C6D6A469EF69FD  Time : 595.0 sec.
user=DocHopper
[2011-02-20 13:11:32]
2307*2^311870-1 is not prime.  Res64: 6EFC0BBCCAE8D506  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:12:00]
2307*2^311882-1 is not prime.  Res64: 4874B72B2D7C5E23  Time : 590.0 sec.
user=DocHopper
[2011-02-20 13:12:56]
2307*2^311906-1 is not prime.  Res64: 1318A83728D5A37D  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:13:12]
2307*2^311925-1 is not prime.  Res64: 82EA8518A0C057FA  Time : 590.0 sec.
user=vaughan
[2011-02-20 13:13:33]
2307*2^311492-1 is not prime.  Res64: 74DBD82388462C0A  Time : 1427.0 sec.
user=DocHopper
[2011-02-20 13:13:35]
2307*2^311928-1 is not prime.  Res64: 38349B6A30B5ABB2  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:14:02]
2307*2^311934-1 is not prime.  Res64: 25807338383A108F  Time : 596.0 sec.
user=DocHopper
[2011-02-20 13:14:59]
2307*2^312008-1 is not prime.  Res64: 92945608A6965706  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:15:14]
2307*2^312050-1 is not prime.  Res64: EEE2621110897A0B  Time : 597.0 sec.
user=DocHopper
[2011-02-20 13:15:37]
2307*2^312104-1 is not prime.  Res64: DA703DFE7E729267  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:16:04]
2307*2^312110-1 is not prime.  Res64: 6DF3D3D749CF7759  Time : 603.0 sec.
user=DocHopper
[2011-02-20 13:17:01]
2307*2^312116-1 is not prime.  Res64: 15AD1FAD92C91A4E  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:17:09]
2307*2^312129-1 is not prime.  Res64: 92A243FEF1A77D78  Time : 590.0 sec.
user=DocHopper
[2011-02-20 13:17:38]
2307*2^312164-1 is not prime.  Res64: A53C0BE489F46EBA  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:18:07]
2307*2^312188-1 is not prime.  Res64: 63E9F22775179801  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:19:03]
2307*2^312209-1 is not prime.  Res64: 1A38B4534A79D2BE  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:19:12]
2307*2^312248-1 is not prime.  Res64: 14BC685F77F3F799  Time : 597.0 sec.
user=DocHopper
[2011-02-20 13:19:40]
2307*2^312254-1 is not prime.  Res64: 2CCB1124C804537A  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:20:08]
2307*2^312258-1 is not prime.  Res64: 6290C7A503F5D548  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:21:04]
2307*2^312282-1 is not prime.  Res64: 832CC4ACFB09A499  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:21:13]
2307*2^312294-1 is not prime.  Res64: 88D77C67AC8A9C66  Time : 597.0 sec.
user=DocHopper
[2011-02-20 13:21:42]
2307*2^312324-1 is not prime.  Res64: EBD1280D6619B41F  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:22:10]
2307*2^312341-1 is not prime.  Res64: C3288EAB84D20F17  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:23:06]
2307*2^312374-1 is not prime.  Res64: DC215052F775F4FE  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:23:15]
2307*2^312390-1 is not prime.  Res64: 88D09B23E9B376DE  Time : 603.0 sec.
user=DocHopper
[2011-02-20 13:23:43]
2307*2^312458-1 is not prime.  Res64: 2E818C108C2F9D5A  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:24:12]
2307*2^312485-1 is not prime.  Res64: B2405499D122518D  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:25:08]
2307*2^312509-1 is not prime.  Res64: 3F3431943684C9E2  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:25:17]
2307*2^312521-1 is not prime.  Res64: 38D65E43AE64E5FE  Time : 603.0 sec.
user=DocHopper
[2011-02-20 13:25:45]
2307*2^312528-1 is not prime.  Res64: 8339C070AF976B82  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:26:14]
2307*2^312558-1 is not prime.  Res64: 3F7125A4C2FBCC5C  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:27:10]
2307*2^312561-1 is not prime.  Res64: 847188F32A810E69  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:27:19]
2307*2^312570-1 is not prime.  Res64: C5F861BB584160DE  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:27:47]
2307*2^312582-1 is not prime.  Res64: 86409DF7F65FF57B  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:28:17]
2307*2^312593-1 is not prime.  Res64: 630C79AC7D4AB6D0  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:29:12]
2307*2^312624-1 is not prime.  Res64: 19454893C3F0ED96  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:29:21]
2307*2^312629-1 is not prime.  Res64: BF6B555FDDB9541E  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:29:49]
2307*2^312642-1 is not prime.  Res64: C779EA4160AAAA3C  Time : 609.0 sec.
user=DocHopper
[2011-02-20 13:30:19]
2307*2^312656-1 is not prime.  Res64: 5EEACBA2FC155F66  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:31:15]
2307*2^312666-1 is not prime.  Res64: 5C1FE8AEC79EBC0F  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:31:23]
2307*2^312669-1 is not prime.  Res64: 3490205A6A970286  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:31:54]
2307*2^312680-1 is not prime.  Res64: 3DEF600A1AA35686  Time : 613.0 sec.
user=DocHopper
[2011-02-20 13:32:21]
2307*2^312686-1 is not prime.  Res64: F9A23AEA85EEA97A  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:33:17]
2307*2^312692-1 is not prime.  Res64: 26237042E68C8F50  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:33:25]
2307*2^312716-1 is not prime.  Res64: CC507FA1FE21913C  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:33:54]
2307*2^312720-1 is not prime.  Res64: F2DD7E85EB019791  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:34:16]
2307*2^312725-1 is not prime.  Res64: 4CBD8DE61CC8FCCC  Time : 604.0 sec.
user=DocHopper
[2011-02-20 13:35:19]
2307*2^312726-1 is not prime.  Res64: 844784F01D9295E1  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:35:27]
2307*2^312738-1 is not prime.  Res64: DFB45280FD4781A2  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:35:56]
2307*2^312749-1 is not prime.  Res64: E069723C14512B73  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:36:12]
2307*2^312782-1 is not prime.  Res64: 50BD50132F7EA9A2  Time : 598.0 sec.
user=DocHopper
[2011-02-20 13:37:21]
2307*2^312804-1 is not prime.  Res64: 67ADFA48F1865F71  Time : 611.0 sec.
user=vaughan
[2011-02-20 13:37:28]
2307*2^312434-1 is not prime.  Res64: 7A7665FBCF7BDAC7  Time : 1435.0 sec.
user=DocHopper
[2011-02-20 13:37:29]
2307*2^312818-1 is not prime.  Res64: 3D8E2A99114BB41A  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:37:58]
2307*2^312822-1 is not prime.  Res64: FD587029C6634709  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:38:14]
2307*2^312834-1 is not prime.  Res64: BB039BADEFFDE23C  Time : 597.0 sec.
user=DocHopper
[2011-02-20 13:39:23]
2307*2^312836-1 is not prime.  Res64: E92924DF96346E12  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:39:31]
2307*2^312864-1 is not prime.  Res64: 1AAB09B21AE9C09B  Time : 610.0 sec.
user=mdettweiler
[2011-02-20 13:39:58]
2307*2^312234-1 is not prime.  Res64: 35B543497CF3F7E9  Time : 1852.0 sec.
user=DocHopper
[2011-02-20 13:40:00]
2307*2^312912-1 is not prime.  Res64: E6C03D023A0E9710  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:40:10]
2307*2^312944-1 is not prime.  Res64: 620D9CB48B529C77  Time : 591.0 sec.
user=DocHopper
[2011-02-20 13:41:25]
2307*2^312974-1 is not prime.  Res64: FB05E9235002EBBE  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:41:33]
2307*2^313013-1 is not prime.  Res64: 644CCF9826E39CC3  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:42:02]
2307*2^313026-1 is not prime.  Res64: EF2608B31ECAAFCE  Time : 608.0 sec.
user=DocHopper
[2011-02-20 13:42:06]
2307*2^313029-1 is not prime.  Res64: 7C9BC6C15DA21247  Time : 585.0 sec.
user=DocHopper
[2011-02-20 13:43:27]
2307*2^313040-1 is not prime.  Res64: A52A6F6BAFC3B6C7  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:43:35]
2307*2^313065-1 is not prime.  Res64: CB9C735CA5566CDC  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:44:02]
2307*2^313104-1 is not prime.  Res64: 29B65AC1BF05B292  Time : 586.0 sec.
user=DocHopper
[2011-02-20 13:44:04]
2307*2^313070-1 is not prime.  Res64: 3091E74CAF0650FE  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:45:30]
2307*2^313109-1 is not prime.  Res64: 31BF5FEA19DD6212  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:45:37]
2307*2^313136-1 is not prime.  Res64: 554B68BC50C5DE76  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:45:58]
2307*2^313184-1 is not prime.  Res64: AB93BD4E447D8DE3  Time : 586.0 sec.
user=DocHopper
[2011-02-20 13:46:06]
2307*2^313164-1 is not prime.  Res64: E79153B77698BFD6  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:47:32]
2307*2^313262-1 is not prime.  Res64: B19C16731E18F088  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:47:39]
2307*2^313292-1 is not prime.  Res64: 2DC879575C8C5494  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:48:00]
2307*2^313328-1 is not prime.  Res64: 42C1DAB14C9D02D0  Time : 586.0 sec.
user=DocHopper
[2011-02-20 13:48:08]
2307*2^313325-1 is not prime.  Res64: 44DE44B851902EDF  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:49:35]
2307*2^313358-1 is not prime.  Res64: 8EE7F6AFE7CBEEB3  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:49:41]
2307*2^313362-1 is not prime.  Res64: 1A0B95DDF4881DCB  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:49:56]
2307*2^313401-1 is not prime.  Res64: 3B620258483FD086  Time : 586.0 sec.
user=DocHopper
[2011-02-20 13:50:10]
2307*2^313398-1 is not prime.  Res64: 0D247FCB9BF6202D  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:51:37]
2307*2^313406-1 is not prime.  Res64: EFC6C1B96FDEC782  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:51:44]
2307*2^313422-1 is not prime.  Res64: C6A2BB50B94E80EF  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:51:52]
2307*2^313458-1 is not prime.  Res64: 435F26A0F578CEFF  Time : 586.0 sec.
user=DocHopper
[2011-02-20 13:52:12]
2307*2^313436-1 is not prime.  Res64: 299AAFD52DA3C40E  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:53:40]
2307*2^313469-1 is not prime.  Res64: 8089D4E5C39AEAE5  Time : 613.0 sec.
user=DocHopper
[2011-02-20 13:53:46]
2307*2^313472-1 is not prime.  Res64: ED9F59E5B4B2D3BA  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:53:54]
2307*2^313476-1 is not prime.  Res64: 4D63E06BFBBAAE0E  Time : 592.0 sec.
user=DocHopper
[2011-02-20 13:54:14]
2307*2^313494-1 is not prime.  Res64: AC2FB9826B57E021  Time : 610.0 sec.
user=DocHopper
[2011-02-20 13:55:42]
2307*2^313545-1 is not prime.  Res64: B78D454E58B5C050  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:55:49]
2307*2^313566-1 is not prime.  Res64: ACB23BE1EDDA83FD  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:55:57]
2307*2^313578-1 is not prime.  Res64: C33B916E26B7243A  Time : 599.0 sec.
user=DocHopper
[2011-02-20 13:56:17]
2307*2^313601-1 is not prime.  Res64: C847BC5B5C144BE1  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:57:44]
2307*2^313614-1 is not prime.  Res64: BE1EA83CF24B7218  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:57:51]
2307*2^313638-1 is not prime.  Res64: A49C10DF6FA13065  Time : 612.0 sec.
user=DocHopper
[2011-02-20 13:57:59]
2307*2^313644-1 is not prime.  Res64: A62B40504154B8AD  Time : 599.0 sec.
user=DocHopper
[2011-02-20 13:58:19]
2307*2^313710-1 is not prime.  Res64: 341904ADAFCD9937  Time : 611.0 sec.
user=DocHopper
[2011-02-20 13:59:47]
2307*2^313728-1 is not prime.  Res64: 617B43C11905AFDD  Time : 606.0 sec.
user=DocHopper
[2011-02-20 13:59:47]
2307*2^313721-1 is not prime.  Res64: 7328B2FA5DBB5B90  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:00:01]
2307*2^313734-1 is not prime.  Res64: 36F0E6E9BA9F020D  Time : 605.0 sec.
user=DocHopper
[2011-02-20 14:00:21]
2307*2^313748-1 is not prime.  Res64: 85752EC9C309292B  Time : 611.0 sec.
user=vaughan
[2011-02-20 14:01:25]
2307*2^313266-1 is not prime.  Res64: D679F0DD66D27725  Time : 1436.0 sec.
user=DocHopper
[2011-02-20 14:01:43]
2307*2^313758-1 is not prime.  Res64: 58BD2D4AB22368A8  Time : 600.0 sec.
user=DocHopper
[2011-02-20 14:01:50]
2307*2^313749-1 is not prime.  Res64: 38567E6D658D9541  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:02:04]
2307*2^313769-1 is not prime.  Res64: 997E2D92D3481241  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:02:24]
2307*2^313802-1 is not prime.  Res64: 820027796E3327D9  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:03:39]
2307*2^313850-1 is not prime.  Res64: 851A61410E986A78  Time : 593.0 sec.
user=DocHopper
[2011-02-20 14:03:52]
2307*2^313824-1 is not prime.  Res64: B8C4198BD68CDD91  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:04:00]
2307*2^313878-1 is not prime.  Res64: 1F439716065CCA69  Time : 606.0 sec.
user=DocHopper
[2011-02-20 14:04:26]
2307*2^313889-1 is not prime.  Res64: A7D7A5B7A04AFAE3  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:05:36]
2307*2^313949-1 is not prime.  Res64: D431D94941513FA0  Time : 587.0 sec.
user=DocHopper
[2011-02-20 14:05:55]
2307*2^313910-1 is not prime.  Res64: B09F484CC809C12E  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:05:56]
2307*2^313958-1 is not prime.  Res64: D2A33CDAE862F958  Time : 599.0 sec.
user=DocHopper
[2011-02-20 14:06:29]
2307*2^313973-1 is not prime.  Res64: 5D45261B13008189  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:07:31]
2307*2^313998-1 is not prime.  Res64: B892388480E8840E  Time : 580.0 sec.
user=DocHopper
[2011-02-20 14:07:52]
2307*2^314001-1 is not prime.  Res64: D851D1D3912198CA  Time : 593.0 sec.
user=DocHopper
[2011-02-20 14:07:57]
2307*2^313982-1 is not prime.  Res64: 33338A4255A2DA13  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:08:32]
2307*2^314028-1 is not prime.  Res64: 8513FFF113DEF133  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:09:28]
2307*2^314034-1 is not prime.  Res64: 0EF5D3F0F6F8945A  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:09:49]
2307*2^314052-1 is not prime.  Res64: D753006787D1AD94  Time : 588.0 sec.
user=DocHopper
[2011-02-20 14:10:00]
2307*2^314048-1 is not prime.  Res64: 20C17325EBF15F7A  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:10:34]
2307*2^314069-1 is not prime.  Res64: F2849776F4D5EB09  Time : 613.0 sec.
user=mdettweiler
[2011-02-20 14:10:49]
2307*2^313394-1 is not prime.  Res64: 7882307786927AA6  Time : 1851.0 sec.
user=DocHopper
[2011-02-20 14:11:24]
2307*2^314078-1 is not prime.  Res64: B96A4F9D2C8808B4  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:11:45]
2307*2^314084-1 is not prime.  Res64: BD34CB1CEE028341  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:12:02]
2307*2^314081-1 is not prime.  Res64: 5B6C19B6A022DB5A  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:12:37]
2307*2^314090-1 is not prime.  Res64: DCEF9B91423CEB56  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:13:20]
2307*2^314093-1 is not prime.  Res64: 4AB01EC8A4384774  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:13:41]
2307*2^314148-1 is not prime.  Res64: 30D52DD443CF1BA9  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:14:05]
2307*2^314144-1 is not prime.  Res64: B3A8440DD2A6EEA4  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:14:39]
2307*2^314186-1 is not prime.  Res64: 6A19C2A904F9F565  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:15:17]
2307*2^314213-1 is not prime.  Res64: FC402DD2F44CE757  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:15:37]
2307*2^314222-1 is not prime.  Res64: BD4900E2DCF21170  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:16:08]
2307*2^314216-1 is not prime.  Res64: 4E59CF2B7E63C62C  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:16:42]
2307*2^314244-1 is not prime.  Res64: 60CB07261A6B22EF  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:17:14]
2307*2^314262-1 is not prime.  Res64: D4BCA31F292E6A0D  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:17:34]
2307*2^314312-1 is not prime.  Res64: 85FB0C4E475BA2A1  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:18:11]
2307*2^314334-1 is not prime.  Res64: B8A5F4C53C03DB81  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:18:44]
2307*2^314340-1 is not prime.  Res64: D5B32D7657F75E15  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:19:10]
2307*2^314366-1 is not prime.  Res64: 2115D58135F6DC80  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:19:30]
2307*2^314369-1 is not prime.  Res64: DE29671535421023  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:20:14]
2307*2^314381-1 is not prime.  Res64: C34A41AE972232A0  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:20:47]
2307*2^314430-1 is not prime.  Res64: 4131E09AEB4AFFFF  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:21:15]
2307*2^314448-1 is not prime.  Res64: CEBA0E7F9E3E34CD  Time : 591.0 sec.
user=DocHopper
[2011-02-20 14:21:26]
2307*2^314466-1 is not prime.  Res64: F9CA9802FFA92244  Time : 581.0 sec.
user=DocHopper
[2011-02-20 14:22:16]
2307*2^314478-1 is not prime.  Res64: 2D023DEDA4F7CC68  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:22:50]
2307*2^314481-1 is not prime.  Res64: 002D793E1A360E84  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:23:17]
2307*2^314484-1 is not prime.  Res64: 39ACB51182AC0963  Time : 597.0 sec.
user=DocHopper
[2011-02-20 14:23:23]
2307*2^314504-1 is not prime.  Res64: 88CC99010B0EC970  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:24:19]
2307*2^314514-1 is not prime.  Res64: E5A7FC8D8F81C1CC  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:24:53]
2307*2^314534-1 is not prime.  Res64: 0A4F70315E1AEB30  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:25:14]
2307*2^314538-1 is not prime.  Res64: 3E2C399551B64377  Time : 597.0 sec.
user=DocHopper
[2011-02-20 14:25:19]
2307*2^314540-1 is not prime.  Res64: 5E07552A887E3C43  Time : 582.0 sec.
user=vaughan
[2011-02-20 14:25:30]
2307*2^314070-1 is not prime.  Res64: F93DEBC817119362  Time : 1444.0 sec.
user=DocHopper
[2011-02-20 14:26:22]
2307*2^314549-1 is not prime.  Res64: A5B79FF0A144E651  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:26:56]
2307*2^314588-1 is not prime.  Res64: AE8C12BDB7D016C7  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:27:10]
2307*2^314594-1 is not prime.  Res64: D39687768E4A7146  Time : 596.0 sec.
user=DocHopper
[2011-02-20 14:27:16]
2307*2^314610-1 is not prime.  Res64: D310261D58C01505  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:28:25]
2307*2^314658-1 is not prime.  Res64: 2AB1A8376C0507CC  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:28:58]
2307*2^314670-1 is not prime.  Res64: 25F83B03999B162D  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:29:06]
2307*2^314678-1 is not prime.  Res64: 7588122F3FDCE123  Time : 596.0 sec.
user=DocHopper
[2011-02-20 14:29:12]
2307*2^314696-1 is not prime.  Res64: BC3F9CD355C9BFD8  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:30:27]
2307*2^314700-1 is not prime.  Res64: AB1D6210AAA36DB5  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:31:01]
2307*2^314705-1 is not prime.  Res64: 61526ED993768F2A  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:31:03]
2307*2^314708-1 is not prime.  Res64: E4F15E5666B25FDA  Time : 588.0 sec.
user=DocHopper
[2011-02-20 14:31:09]
2307*2^314714-1 is not prime.  Res64: B4D3CC8A80EA823F  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:32:30]
2307*2^314729-1 is not prime.  Res64: 6DA34A5B0C22B611  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:32:59]
2307*2^314733-1 is not prime.  Res64: C577E5CF00ED66F1  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:33:04]
2307*2^314732-1 is not prime.  Res64: 390430A76173B3F3  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:33:11]
2307*2^314738-1 is not prime.  Res64: 66964C52A9A16BFC  Time : 588.0 sec.
user=DocHopper
[2011-02-20 14:34:33]
2307*2^314756-1 is not prime.  Res64: 0C9EE376141C19EB  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:34:56]
2307*2^314766-1 is not prime.  Res64: C2AD01280C523601  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:35:07]
2307*2^314760-1 is not prime.  Res64: 086E7B8C716C273E  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:35:08]
2307*2^314802-1 is not prime.  Res64: F9BBDE65CA6D5646  Time : 589.0 sec.
user=DocHopper
[2011-02-20 14:36:36]
2307*2^314816-1 is not prime.  Res64: 42077E4325AB8EAE  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:36:52]
2307*2^314838-1 is not prime.  Res64: 7E7D4AC688100D15  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:37:04]
2307*2^314841-1 is not prime.  Res64: B9D45040309CBE96  Time : 588.0 sec.
user=DocHopper
[2011-02-20 14:37:09]
2307*2^314829-1 is not prime.  Res64: 59503098F41FC82C  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:38:39]
2307*2^314892-1 is not prime.  Res64: 26981DA69C8DF912  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:38:49]
2307*2^314933-1 is not prime.  Res64: 3BD208E7FAB9FE6B  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:39:01]
2307*2^314949-1 is not prime.  Res64: EEEF3651A49386D5  Time : 589.0 sec.
user=DocHopper
[2011-02-20 14:39:12]
2307*2^314918-1 is not prime.  Res64: 05E727FAA289F4F6  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:40:42]
2307*2^314958-1 is not prime.  Res64: 1F5440EC83B5E8FB  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:40:45]
2307*2^314976-1 is not prime.  Res64: BC49095B558B9CE4  Time : 582.0 sec.
user=DocHopper
[2011-02-20 14:40:57]
2307*2^314984-1 is not prime.  Res64: 75FA63A891EFA324  Time : 588.0 sec.
user=DocHopper
[2011-02-20 14:41:15]
2307*2^314964-1 is not prime.  Res64: 06C3BE8220E15284  Time : 614.0 sec.
user=mdettweiler
[2011-02-20 14:41:49]
2307*2^314432-1 is not prime.  Res64: E18EF3F49868C68A  Time : 1860.0 sec.
user=DocHopper
[2011-02-20 14:42:42]
2307*2^315020-1 is not prime.  Res64: EAA370CE1C4C4DFB  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:42:45]
2307*2^315014-1 is not prime.  Res64: 7341FBD07BB891F1  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:42:54]
2307*2^315089-1 is not prime.  Res64: 08C8738F07F8D588  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:43:18]
2307*2^315030-1 is not prime.  Res64: 9A05A3A709A241CA  Time : 614.0 sec.
user=DocHopper
[2011-02-20 14:44:39]
2307*2^315122-1 is not prime.  Res64: 41014219D969F5AC  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:44:48]
2307*2^315110-1 is not prime.  Res64: C7B2349878440153  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:44:51]
2307*2^315168-1 is not prime.  Res64: D2AE6930EAE062DB  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:45:20]
2307*2^315162-1 is not prime.  Res64: DD94EA228B3E7F9E  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:46:36]
2307*2^315174-1 is not prime.  Res64: 1B7FCC47F366A387  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:46:47]
2307*2^315185-1 is not prime.  Res64: 45A6C34B1495B3FA  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:46:51]
2307*2^315173-1 is not prime.  Res64: BCF6E38B59A53FEF  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:47:17]
2307*2^315206-1 is not prime.  Res64: E4D9CBDFD47FE74F  Time : 608.0 sec.
user=DocHopper
[2011-02-20 14:48:32]
2307*2^315230-1 is not prime.  Res64: 44F786B9FB47005A  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:48:44]
2307*2^315240-1 is not prime.  Res64: B3E67604B27C13B5  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:48:54]
2307*2^315225-1 is not prime.  Res64: D53785A34DC73366  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:49:14]
2307*2^315245-1 is not prime.  Res64: 20DAF4099638D50A  Time : 602.0 sec.
user=vaughan
[2011-02-20 14:49:33]
2307*2^314814-1 is not prime.  Res64: 61B5BBC43869C4AE  Time : 1442.0 sec.
user=DocHopper
[2011-02-20 14:50:29]
2307*2^315270-1 is not prime.  Res64: 80933563A59C5B44  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:50:41]
2307*2^315278-1 is not prime.  Res64: 334655FE62F102A0  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:50:56]
2307*2^315266-1 is not prime.  Res64: 3794E7EC22024310  Time : 615.0 sec.
user=DocHopper
[2011-02-20 14:51:10]
2307*2^315281-1 is not prime.  Res64: EFEFAB80B02C613F  Time : 595.0 sec.
user=DocHopper
[2011-02-20 14:52:26]
2307*2^315333-1 is not prime.  Res64: 5641CDE59692EE88  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:52:38]
2307*2^315380-1 is not prime.  Res64: 1705F363F1A4404D  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:52:58]
2307*2^315369-1 is not prime.  Res64: D02BF97929D50A31  Time : 613.0 sec.
user=DocHopper
[2011-02-20 14:53:07]
2307*2^315410-1 is not prime.  Res64: 4BC31EC4130FC104  Time : 589.0 sec.
user=DocHopper
[2011-02-20 14:54:23]
2307*2^315414-1 is not prime.  Res64: 778AA7597713256D  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:54:34]
2307*2^315438-1 is not prime.  Res64: 7932CC8EBE4A9A76  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:55:00]
2307*2^315434-1 is not prime.  Res64: 9F07EF3439CF7485  Time : 612.0 sec.
user=DocHopper
[2011-02-20 14:55:04]
2307*2^315486-1 is not prime.  Res64: F2BBACF51B7471C9  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:56:23]
2307*2^315494-1 is not prime.  Res64: 747A485BD16DF581  Time : 587.0 sec.
user=DocHopper
[2011-02-20 14:56:31]
2307*2^315509-1 is not prime.  Res64: 782E7094FB3E4829  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:57:00]
2307*2^315518-1 is not prime.  Res64: F0139EDD0F5A6D1F  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:57:02]
2307*2^315510-1 is not prime.  Res64: ECA19D23DC91F489  Time : 611.0 sec.
user=DocHopper
[2011-02-20 14:58:17]
2307*2^315525-1 is not prime.  Res64: B3802386AC88DB4D  Time : 585.0 sec.
user=DocHopper
[2011-02-20 14:58:28]
2307*2^315536-1 is not prime.  Res64: 53C94770725BBE8D  Time : 584.0 sec.
user=DocHopper
[2011-02-20 14:58:57]
2307*2^315548-1 is not prime.  Res64: 0E7EDC14C129C5EE  Time : 583.0 sec.
user=DocHopper
[2011-02-20 14:59:04]
2307*2^315542-1 is not prime.  Res64: E1687FBCA6206A4B  Time : 610.0 sec.
user=mdettweiler
[2011-02-20 15:12:55]
2307*2^315320-1 is not prime.  Res64: 7412F397431587CA  Time : 1865.0 sec.
user=vaughan
[2011-02-20 15:13:40]
2307*2^315582-1 is not prime.  Res64: CE0913D003C9B68C  Time : 1446.0 sec.
user=vaughan
[2011-02-20 15:37:52]
2307*2^315921-1 is not prime.  Res64: B6EFE2AFFFFFA9FD  Time : 1451.0 sec.
user=mdettweiler
[2011-02-20 15:51:05]
2307*2^315918-1 is not prime.  Res64: 92082DB6B3EB8659  Time : 2289.0 sec.
user=vaughan
[2011-02-20 16:02:00]
2307*2^315932-1 is not prime.  Res64: 32A071EE7FDF73DF  Time : 1449.0 sec.
user=vaughan
[2011-02-20 16:26:14]
2307*2^316053-1 is not prime.  Res64: 84E9E587FA8567CF  Time : 1453.0 sec.
user=mdettweiler
[2011-02-20 16:29:12]
2307*2^316034-1 is not prime.  Res64: EBB06124A70AE96E  Time : 2286.0 sec.
user=vaughan
[2011-02-20 16:50:22]
2307*2^316056-1 is not prime.  Res64: D31B7EDF6759330A  Time : 1448.0 sec.
user=mdettweiler
[2011-02-20 17:07:41]
2307*2^316058-1 is not prime.  Res64: 1F6B44439201FE9D  Time : 2308.0 sec.
user=vaughan
[2011-02-20 17:14:31]
2307*2^316061-1 is not prime.  Res64: 4461FE9405D5461F  Time : 1448.0 sec.
user=vaughan
[2011-02-20 17:39:10]
2307*2^316094-1 is not prime.  Res64: 577142DF18D88F9F  Time : 1478.0 sec.
user=mdettweiler
[2011-02-20 17:45:48]
2307*2^316085-1 is not prime.  Res64: 5EB7F999C92D4590  Time : 2287.0 sec.
user=vaughan
[2011-02-20 18:03:18]
2307*2^316109-1 is not prime.  Res64: B2676E18FC6C1ECB  Time : 1448.0 sec.
user=mdettweiler
[2011-02-20 18:24:35]
2307*2^316160-1 is not prime.  Res64: 437813C4E19C090A  Time : 2326.0 sec.
user=vaughan
[2011-02-20 18:28:01]
2307*2^316164-1 is not prime.  Res64: 26F54D61B8361E5F  Time : 1482.0 sec.
user=vaughan
[2011-02-20 18:52:37]
2307*2^316182-1 is not prime.  Res64: 6CFD4189416CD612  Time : 1476.0 sec.
user=mdettweiler
[2011-02-20 19:02:46]
2307*2^316176-1 is not prime.  Res64: B02A28F4408D50FD  Time : 2291.0 sec.
user=vaughan
[2011-02-20 19:17:31]
2307*2^316190-1 is not prime.  Res64: 05FC113DF7472FA8  Time : 1493.0 sec.
user=mdettweiler
[2011-02-20 19:40:57]
2307*2^316212-1 is not prime.  Res64: 21B27433E63CA397  Time : 2290.0 sec.
user=vaughan
[2011-02-20 19:42:00]
2307*2^316214-1 is not prime.  Res64: C8E39892466428B2  Time : 1468.0 sec.
user=vaughan
[2011-02-20 20:06:16]
2307*2^316242-1 is not prime.  Res64: 510E544F715966A3  Time : 1455.0 sec.
user=mdettweiler
[2011-02-20 20:19:15]
2307*2^316226-1 is not prime.  Res64: F5765BE9FB6BF2DE  Time : 2297.0 sec.
user=vaughan
[2011-02-20 20:30:27]
2307*2^316272-1 is not prime.  Res64: 60C2022ABFCF416B  Time : 1450.0 sec.
user=vaughan
[2011-02-20 20:54:36]
2307*2^316289-1 is not prime.  Res64: F9A7A5FB0A3CE8D6  Time : 1448.0 sec.
user=mdettweiler
[2011-02-20 20:57:27]
2307*2^316278-1 is not prime.  Res64: 2E5FE4AC2292755A  Time : 2291.0 sec.
user=vaughan
[2011-02-20 21:19:09]
2307*2^316302-1 is not prime.  Res64: 143636E1ABC325F7  Time : 1472.0 sec.
user=mdettweiler
[2011-02-20 21:36:04]
2307*2^316332-1 is not prime.  Res64: FEEC29D3281C4741  Time : 2316.0 sec.
user=vaughan
[2011-02-20 21:43:19]
2307*2^316358-1 is not prime.  Res64: A728DF8E0A3EFDCC  Time : 1450.0 sec.
user=vaughan
[2011-02-20 22:07:29]
2307*2^316406-1 is not prime.  Res64: 27CDF9AA3BB589A4  Time : 1450.0 sec.
user=mdettweiler
[2011-02-20 22:14:17]
2307*2^316400-1 is not prime.  Res64: 48B08723EA438C7F  Time : 2292.0 sec.
user=DocHopper
[2011-02-20 22:23:36]
2307*2^315600-1 is not prime.  Res64: E14F3A16E2576167  Time : 27187.0 sec.
user=DocHopper
[2011-02-20 22:23:49]
2307*2^315602-1 is not prime.  Res64: 82CD1C55763CD7BC  Time : 27188.0 sec.
user=DocHopper
[2011-02-20 22:24:20]
2307*2^315626-1 is not prime.  Res64: 0B618D5D1637EC2B  Time : 27190.0 sec.
user=DocHopper
[2011-02-20 22:24:24]
2307*2^315608-1 is not prime.  Res64: 19B7A2645ED75B42  Time : 27208.0 sec.
user=DocHopper
[2011-02-20 22:25:35]
2307*2^315629-1 is not prime.  Res64: 652C7856E71CC9FD  Time : 27189.0 sec.
user=DocHopper
[2011-02-20 22:25:46]
2307*2^315653-1 is not prime.  Res64: 07FBE1799B91509C  Time : 27188.0 sec.
user=DocHopper
[2011-02-20 22:26:17]
2307*2^315684-1 is not prime.  Res64: ACD307EF444E9827  Time : 27190.0 sec.
user=DocHopper
[2011-02-20 22:26:22]
2307*2^315666-1 is not prime.  Res64: ACDAFDE8E0E5A68B  Time : 27204.0 sec.
user=DocHopper
[2011-02-20 22:27:39]
2307*2^315705-1 is not prime.  Res64: 3B9FD5195C43A69E  Time : 27196.0 sec.
user=DocHopper
[2011-02-20 22:27:43]
2307*2^315725-1 is not prime.  Res64: 14E625360F0AD78D  Time : 27189.0 sec.
user=DocHopper
[2011-02-20 22:28:14]
2307*2^315750-1 is not prime.  Res64: 9F3787BD42174AE1  Time : 27190.0 sec.
user=DocHopper
[2011-02-20 22:28:20]
2307*2^315734-1 is not prime.  Res64: C4A52F83B0BE7E24  Time : 27200.0 sec.
user=DocHopper
[2011-02-20 22:29:42]
2307*2^315813-1 is not prime.  Res64: B311CF11F1234D44  Time : 27191.0 sec.
user=DocHopper
[2011-02-20 22:29:44]
2307*2^315798-1 is not prime.  Res64: BBAAB508A1D01FC9  Time : 27201.0 sec.
user=DocHopper
[2011-02-20 22:30:18]
2307*2^315816-1 is not prime.  Res64: 97D51A5941A47763  Time : 27198.0 sec.
user=DocHopper
[2011-02-20 22:30:19]
2307*2^315854-1 is not prime.  Res64: 680FAEECC9BEFB67  Time : 27197.0 sec.
user=DocHopper
[2011-02-20 22:31:46]
2307*2^315869-1 is not prime.  Res64: 385C957F5F76B6EF  Time : 27198.0 sec.
user=DocHopper
[2011-02-20 22:31:47]
2307*2^315860-1 is not prime.  Res64: DB5F660A7F572436  Time : 27210.0 sec.
user=vaughan
[2011-02-20 22:32:04]
2307*2^316413-1 is not prime.  Res64: AF3484C955123C62  Time : 1474.0 sec.
user=DocHopper
[2011-02-20 22:32:15]
2307*2^315890-1 is not prime.  Res64: AF2BCD0203233973  Time : 27198.0 sec.
user=DocHopper
[2011-02-20 22:32:22]
2307*2^315914-1 is not prime.  Res64: 3B79F67E2DA023CB  Time : 27198.0 sec.
user=DocHopper
[2011-02-20 22:33:43]
2307*2^316448-1 is not prime.  Res64: 6B52ACDAD4021646  Time : 595.0 sec.
user=DocHopper
[2011-02-20 22:33:49]
2307*2^316445-1 is not prime.  Res64: F4EC14BC5193BAA0  Time : 613.0 sec.
user=DocHopper
[2011-02-20 22:34:12]
2307*2^316469-1 is not prime.  Res64: B01180FC20905B73  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:34:28]
2307*2^316544-1 is not prime.  Res64: B19C1E9204EBAF44  Time : 604.0 sec.
user=DocHopper
[2011-02-20 22:35:41]
2307*2^316580-1 is not prime.  Res64: B8C8FDA19D573B0C  Time : 596.0 sec.
user=DocHopper
[2011-02-20 22:35:52]
2307*2^316569-1 is not prime.  Res64: 400430D6EB1137A1  Time : 617.0 sec.
user=DocHopper
[2011-02-20 22:36:09]
2307*2^316589-1 is not prime.  Res64: 2B9C149B45B12127  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:36:32]
2307*2^316596-1 is not prime.  Res64: 963A60A20A9E996C  Time : 610.0 sec.
user=DocHopper
[2011-02-20 22:37:38]
2307*2^316626-1 is not prime.  Res64: F7A569843075C2D4  Time : 596.0 sec.
user=DocHopper
[2011-02-20 22:37:55]
2307*2^316610-1 is not prime.  Res64: DC74F721B383D069  Time : 616.0 sec.
user=DocHopper
[2011-02-20 22:38:06]
2307*2^316632-1 is not prime.  Res64: DC29EFFD9F79FF8B  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:38:37]
2307*2^316634-1 is not prime.  Res64: 21D9AB0C46443D5B  Time : 617.0 sec.
user=DocHopper
[2011-02-20 22:39:36]
2307*2^316640-1 is not prime.  Res64: 92906B20CDFD2316  Time : 595.0 sec.
user=DocHopper
[2011-02-20 22:39:57]
2307*2^316650-1 is not prime.  Res64: 74F09883D22F5A38  Time : 613.0 sec.
user=DocHopper
[2011-02-20 22:40:03]
2307*2^316670-1 is not prime.  Res64: 94AB790A0858DB56  Time : 585.0 sec.
user=DocHopper
[2011-02-20 22:40:41]
2307*2^316706-1 is not prime.  Res64: C146C5B274068DAA  Time : 622.0 sec.
user=DocHopper
[2011-02-20 22:41:33]
2307*2^316712-1 is not prime.  Res64: 130A13CD007B4C37  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:42:00]
2307*2^316713-1 is not prime.  Res64: 2301B410D8919A86  Time : 613.0 sec.
user=DocHopper
[2011-02-20 22:42:01]
2307*2^316748-1 is not prime.  Res64: 9629EB4D5CF824D4  Time : 586.0 sec.
user=DocHopper
[2011-02-20 22:42:45]
2307*2^316749-1 is not prime.  Res64: AF337A04D9BECDB3  Time : 623.0 sec.
user=DocHopper
[2011-02-20 22:43:30]
2307*2^316772-1 is not prime.  Res64: B85773C6BAD09079  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:44:03]
2307*2^316805-1 is not prime.  Res64: E3ABE2C047E71773  Time : 614.0 sec.
user=DocHopper
[2011-02-20 22:44:04]
2307*2^316850-1 is not prime.  Res64: 7D14259B9DEB4718  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:44:42]
2307*2^316908-1 is not prime.  Res64: A7431AA2C46A78DA  Time : 614.0 sec.
user=DocHopper
[2011-02-20 22:45:28]
2307*2^316916-1 is not prime.  Res64: E6D43ACAD94D460F  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:46:01]
2307*2^316929-1 is not prime.  Res64: 590F61C5816593F6  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:46:05]
2307*2^316926-1 is not prime.  Res64: B91C3C475DEC0316  Time : 613.0 sec.
user=DocHopper
[2011-02-20 22:46:40]
2307*2^316965-1 is not prime.  Res64: 6BF96A18A1A809B6  Time : 608.0 sec.
user=DocHopper
[2011-02-20 22:47:24]
2307*2^316974-1 is not prime.  Res64: 6703301969EEDA5B  Time : 586.0 sec.
user=DocHopper
[2011-02-20 22:47:59]
2307*2^316982-1 is not prime.  Res64: D418E5F200393518  Time : 593.0 sec.
user=DocHopper
[2011-02-20 22:48:06]
2307*2^316980-1 is not prime.  Res64: EE75C77F14341D61  Time : 611.0 sec.
user=DocHopper
[2011-02-20 22:48:37]
2307*2^317010-1 is not prime.  Res64: 25F54880DB115BD3  Time : 600.0 sec.
user=DocHopper
[2011-02-20 22:49:22]
2307*2^317042-1 is not prime.  Res64: EFA127404ABEF10F  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:49:56]
2307*2^317070-1 is not prime.  Res64: 25AB1AFF52F6FDA8  Time : 593.0 sec.
user=DocHopper
[2011-02-20 22:50:10]
2307*2^317069-1 is not prime.  Res64: 5DE53581399DFD09  Time : 613.0 sec.
user=DocHopper
[2011-02-20 22:50:35]
2307*2^317072-1 is not prime.  Res64: 524D5A9DEACF2285  Time : 594.0 sec.
user=DocHopper
[2011-02-20 22:51:19]
2307*2^317084-1 is not prime.  Res64: 118C24EC63F84B5A  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:51:53]
2307*2^317109-1 is not prime.  Res64: 9921C2A50C067EF8  Time : 592.0 sec.
user=DocHopper
[2011-02-20 22:52:15]
2307*2^317108-1 is not prime.  Res64: 9FBA7D52886E25A9  Time : 615.0 sec.
user=mdettweiler
[2011-02-20 22:52:26]
2307*2^316428-1 is not prime.  Res64: 6BB17A3F35D0634F  Time : 2289.0 sec.
user=DocHopper
[2011-02-20 22:52:32]
2307*2^317120-1 is not prime.  Res64: 6C17B1015E618E48  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:53:17]
2307*2^317126-1 is not prime.  Res64: 9E38C7A7506A71D7  Time : 588.0 sec.
user=DocHopper
[2011-02-20 22:53:51]
2307*2^317181-1 is not prime.  Res64: 1941D8D2263070B8  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:54:19]
2307*2^317172-1 is not prime.  Res64: ED2E82BCF6C7BA8D  Time : 616.0 sec.
user=DocHopper
[2011-02-20 22:54:29]
2307*2^317202-1 is not prime.  Res64: E00AFCB3B89E336B  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:55:14]
2307*2^317205-1 is not prime.  Res64: 176B8AE17C3370CB  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:55:48]
2307*2^317252-1 is not prime.  Res64: C7F7FD7B145DA4C2  Time : 587.0 sec.
user=vaughan
[2011-02-20 22:56:14]
2307*2^316722-1 is not prime.  Res64: 7B7171933245E9F6  Time : 1450.0 sec.
user=DocHopper
[2011-02-20 22:56:23]
2307*2^317256-1 is not prime.  Res64: 258D7BE0F200874A  Time : 618.0 sec.
user=DocHopper
[2011-02-20 22:56:27]
2307*2^317282-1 is not prime.  Res64: 45E4E0526112BF6E  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:57:12]
2307*2^317298-1 is not prime.  Res64: 06686FACBFB70EBA  Time : 588.0 sec.
user=DocHopper
[2011-02-20 22:57:46]
2307*2^317312-1 is not prime.  Res64: E8126B30EFB31A3B  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:58:25]
2307*2^317324-1 is not prime.  Res64: 9BC8B8CFDB114BDE  Time : 588.0 sec.
user=DocHopper
[2011-02-20 22:58:26]
2307*2^317316-1 is not prime.  Res64: 58D64CEBC9171124  Time : 620.0 sec.
user=DocHopper
[2011-02-20 22:59:09]
2307*2^317333-1 is not prime.  Res64: 429B3A4C42183405  Time : 587.0 sec.
user=DocHopper
[2011-02-20 22:59:43]
2307*2^317342-1 is not prime.  Res64: 57E64F1C113CC8A4  Time : 587.0 sec.
user=DocHopper
[2011-02-20 23:00:22]
2307*2^317400-1 is not prime.  Res64: CA695223CAA8D1F5  Time : 587.0 sec.
user=DocHopper
[2011-02-20 23:00:30]
2307*2^317372-1 is not prime.  Res64: C9BFAF722AB14C76  Time : 620.0 sec.
user=DocHopper
[2011-02-20 23:01:08]
2307*2^317405-1 is not prime.  Res64: 0E15F10124C89250  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:01:41]
2307*2^317408-1 is not prime.  Res64: 21970569C057850D  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:02:21]
2307*2^317424-1 is not prime.  Res64: B0AE91A7079AD8A8  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:02:34]
2307*2^317412-1 is not prime.  Res64: 985165FFCBC77DC5  Time : 620.0 sec.
user=DocHopper
[2011-02-20 23:03:05]
2307*2^317438-1 is not prime.  Res64: 611ED78223A8728D  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:03:38]
2307*2^317442-1 is not prime.  Res64: E030E0BBCFC38C07  Time : 587.0 sec.
user=DocHopper
[2011-02-20 23:04:18]
2307*2^317510-1 is not prime.  Res64: D1EF6BE08ADB9DF4  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:04:31]
2307*2^317498-1 is not prime.  Res64: 7F7BE4E03CD3C900  Time : 612.0 sec.
user=DocHopper
[2011-02-20 23:05:03]
2307*2^317526-1 is not prime.  Res64: 1A34402C45CBECCD  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:05:36]
2307*2^317538-1 is not prime.  Res64: DC96497ED8489B22  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:06:16]
2307*2^317624-1 is not prime.  Res64: EE093DDD6286DCC2  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:06:29]
2307*2^317604-1 is not prime.  Res64: 4AA3A67323FD0C40  Time : 606.0 sec.
user=DocHopper
[2011-02-20 23:07:01]
2307*2^317630-1 is not prime.  Res64: 0666B6D56D4F24BC  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:07:34]
2307*2^317634-1 is not prime.  Res64: B69450FAAF34718E  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:08:13]
2307*2^317640-1 is not prime.  Res64: F757C7E811DAAD2A  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:08:27]
2307*2^317648-1 is not prime.  Res64: 0AA5DAC764BFD023  Time : 601.0 sec.
user=DocHopper
[2011-02-20 23:08:59]
2307*2^317693-1 is not prime.  Res64: 88A8DECED4562988  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:09:32]
2307*2^317696-1 is not prime.  Res64: E4121E38FBF0EF2F  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:10:12]
2307*2^317706-1 is not prime.  Res64: C17B121633824F2D  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:10:24]
2307*2^317714-1 is not prime.  Res64: 5582700E60872880  Time : 594.0 sec.
user=DocHopper
[2011-02-20 23:10:56]
2307*2^317721-1 is not prime.  Res64: C3589DC0023C285D  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:11:29]
2307*2^317750-1 is not prime.  Res64: C9A02DF951B572EF  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:12:09]
2307*2^317772-1 is not prime.  Res64: 13407E11E37B1829  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:12:22]
2307*2^317802-1 is not prime.  Res64: 24E1EBC4A41D4E01  Time : 588.0 sec.
user=DocHopper
[2011-02-20 23:12:54]
2307*2^317804-1 is not prime.  Res64: CAF69A50AD0AA2FB  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:13:27]
2307*2^317825-1 is not prime.  Res64: 8B43C07ED89B2EFF  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:14:07]
2307*2^317844-1 is not prime.  Res64: E7307C6606DACB2D  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:14:20]
2307*2^317850-1 is not prime.  Res64: AE12F03592A3619B  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:14:52]
2307*2^317876-1 is not prime.  Res64: 06304B8D86190CA5  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:15:25]
2307*2^317888-1 is not prime.  Res64: 9A7E1CA23EEFD8F7  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:16:06]
2307*2^317894-1 is not prime.  Res64: 34C9A730B502BDA0  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:16:19]
2307*2^317898-1 is not prime.  Res64: 1D39C92E1984AB39  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:16:52]
2307*2^317910-1 is not prime.  Res64: A743BBE3AF97C321  Time : 592.0 sec.
user=DocHopper
[2011-02-20 23:17:23]
2307*2^317934-1 is not prime.  Res64: 648B897BDF53A13E  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:18:03]
2307*2^317942-1 is not prime.  Res64: 08AEF96E3F01E7ED  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:18:23]
2307*2^317958-1 is not prime.  Res64: 8F7C61C2904B41B5  Time : 596.0 sec.
user=DocHopper
[2011-02-20 23:18:50]
2307*2^317982-1 is not prime.  Res64: A9E33199E0FC28E4  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:19:21]
2307*2^318030-1 is not prime.  Res64: E88343A08BA5B1EB  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:20:01]
2307*2^318032-1 is not prime.  Res64: 1783E35966006F1E  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:20:27]
2307*2^318050-1 is not prime.  Res64: C2AFF09FBFE62B7E  Time : 603.0 sec.
user=vaughan
[2011-02-20 23:20:35]
2307*2^317565-1 is not prime.  Res64: 8B8BFD3023C3FC0D  Time : 1460.0 sec.
user=DocHopper
[2011-02-20 23:20:48]
2307*2^318054-1 is not prime.  Res64: 30F67BBDCBB3B088  Time : 592.0 sec.
user=DocHopper
[2011-02-20 23:21:18]
2307*2^318062-1 is not prime.  Res64: D184028DF494AE15  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:21:59]
2307*2^318069-1 is not prime.  Res64: 3057709D506FD31F  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:22:30]
2307*2^318078-1 is not prime.  Res64: A57082B48181C39B  Time : 608.0 sec.
user=DocHopper
[2011-02-20 23:22:45]
2307*2^318092-1 is not prime.  Res64: C64652E0F55279D5  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:23:16]
2307*2^318149-1 is not prime.  Res64: B066A24A9E0DA570  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:23:57]
2307*2^318174-1 is not prime.  Res64: B3384F582205B1E7  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:24:34]
2307*2^318176-1 is not prime.  Res64: A1B6C3D0B3780573  Time : 614.0 sec.
user=DocHopper
[2011-02-20 23:24:43]
2307*2^318194-1 is not prime.  Res64: DE94526847F7B9FE  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:25:14]
2307*2^318221-1 is not prime.  Res64: 6782B5CB0DE6B927  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:25:55]
2307*2^318242-1 is not prime.  Res64: D488863C0BCF6FF0  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:26:41]
2307*2^318258-1 is not prime.  Res64: B7C382856EE7D0A8  Time : 623.0 sec.
user=DocHopper
[2011-02-20 23:26:48]
2307*2^318264-1 is not prime.  Res64: 4054923208F76D1F  Time : 597.0 sec.
user=DocHopper
[2011-02-20 23:27:12]
2307*2^318270-1 is not prime.  Res64: C8033BCD129B8E53  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:27:53]
2307*2^318324-1 is not prime.  Res64: CC3047DFC3AF4394  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:28:42]
2307*2^318368-1 is not prime.  Res64: 4B029485DAA7CF23  Time : 620.0 sec.
user=DocHopper
[2011-02-20 23:28:52]
2307*2^318378-1 is not prime.  Res64: C6E6F4DB054B5EB0  Time : 603.0 sec.
user=DocHopper
[2011-02-20 23:29:10]
2307*2^318401-1 is not prime.  Res64: 884BB7A9FA343BAE  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:29:51]
2307*2^318420-1 is not prime.  Res64: 03421899013F4A3E  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:30:46]
2307*2^318426-1 is not prime.  Res64: C833BDFADBDBAAB7  Time : 619.0 sec.
user=mdettweiler
[2011-02-20 23:30:49]
2307*2^317418-1 is not prime.  Res64: 7304D4931B45390F  Time : 2303.0 sec.
user=DocHopper
[2011-02-20 23:30:52]
2307*2^318429-1 is not prime.  Res64: E3505255BABED1CF  Time : 605.0 sec.
user=DocHopper
[2011-02-20 23:31:08]
2307*2^318434-1 is not prime.  Res64: D3E364AC885EBF34  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:31:49]
2307*2^318474-1 is not prime.  Res64: 90B608C60940E4DB  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:32:50]
2307*2^318480-1 is not prime.  Res64: 24F96553BC85D9C2  Time : 605.0 sec.
user=DocHopper
[2011-02-20 23:32:50]
2307*2^318476-1 is not prime.  Res64: 710B173E44DC7E2F  Time : 620.0 sec.
user=DocHopper
[2011-02-20 23:33:06]
2307*2^318488-1 is not prime.  Res64: F728EB9B4B2D5DD2  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:33:47]
2307*2^318498-1 is not prime.  Res64: 488F3EC78F4FB47E  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:34:48]
2307*2^318513-1 is not prime.  Res64: 6968E6B477A3D25F  Time : 605.0 sec.
user=DocHopper
[2011-02-20 23:34:53]
2307*2^318504-1 is not prime.  Res64: 9047D5EE4E904F00  Time : 619.0 sec.
user=DocHopper
[2011-02-20 23:35:04]
2307*2^318516-1 is not prime.  Res64: C53564A7E0C1116E  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:35:44]
2307*2^318522-1 is not prime.  Res64: B2716ACA036892E3  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:36:46]
2307*2^318566-1 is not prime.  Res64: ED9A67748F541F6E  Time : 599.0 sec.
user=DocHopper
[2011-02-20 23:36:51]
2307*2^318545-1 is not prime.  Res64: 1A7DBE115DA55D9D  Time : 610.0 sec.
user=DocHopper
[2011-02-20 23:37:02]
2307*2^318582-1 is not prime.  Res64: 6CB16AE89649C6B4  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:37:42]
2307*2^318584-1 is not prime.  Res64: 316074757774E783  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:38:44]
2307*2^318590-1 is not prime.  Res64: F3793B651A9BD227  Time : 592.0 sec.
user=DocHopper
[2011-02-20 23:38:49]
2307*2^318585-1 is not prime.  Res64: 78F82337AF2A84FA  Time : 607.0 sec.
user=DocHopper
[2011-02-20 23:39:00]
2307*2^318609-1 is not prime.  Res64: DA85AE8E25BA08DE  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:39:40]
2307*2^318632-1 is not prime.  Res64: B775407CBB1DD736  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:40:42]
2307*2^318702-1 is not prime.  Res64: B039F247B20E69BF  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:40:47]
2307*2^318653-1 is not prime.  Res64: C9D6105953E0CFEE  Time : 601.0 sec.
user=DocHopper
[2011-02-20 23:40:58]
2307*2^318714-1 is not prime.  Res64: 29E388C6EC30CD9B  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:41:38]
2307*2^318725-1 is not prime.  Res64: B914CECCAA511047  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:42:40]
2307*2^318761-1 is not prime.  Res64: 997D2759CA62E643  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:42:46]
2307*2^318785-1 is not prime.  Res64: 2F62C12D85FD706C  Time : 596.0 sec.
user=DocHopper
[2011-02-20 23:42:56]
2307*2^318788-1 is not prime.  Res64: 6EBCDC823613B4AA  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:43:36]
2307*2^318794-1 is not prime.  Res64: B6A4EF13EBD095E6  Time : 589.0 sec.
user=DocHopper
[2011-02-20 23:44:38]
2307*2^318822-1 is not prime.  Res64: 98E8E416826BF1F9  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:44:44]
2307*2^318854-1 is not prime.  Res64: 64CE7916507825E3  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:44:54]
2307*2^318866-1 is not prime.  Res64: F59A4A6D2A582B72  Time : 590.0 sec.
user=vaughan
[2011-02-20 23:44:56]
2307*2^318428-1 is not prime.  Res64: F1E86A812B7A3032  Time : 1460.0 sec.
user=DocHopper
[2011-02-20 23:45:34]
2307*2^318872-1 is not prime.  Res64: 3B74849F77DA7AB6  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:46:36]
2307*2^318890-1 is not prime.  Res64: A51E3740D40CF135  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:46:49]
2307*2^318896-1 is not prime.  Res64: 4C05BAAD7E54BC18  Time : 598.0 sec.
user=DocHopper
[2011-02-20 23:46:52]
2307*2^318912-1 is not prime.  Res64: 1246D347F604415E  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:47:32]
2307*2^318942-1 is not prime.  Res64: 0E6D8C256C9A7F0D  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:48:35]
2307*2^318974-1 is not prime.  Res64: A0A2A6E619D1E581  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:48:50]
2307*2^318992-1 is not prime.  Res64: 90DA2B72429BACEB  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:48:53]
2307*2^318990-1 is not prime.  Res64: 8B8849F26D0D1A65  Time : 604.0 sec.
user=DocHopper
[2011-02-20 23:49:31]
2307*2^319005-1 is not prime.  Res64: 2497C736191A491B  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:50:33]
2307*2^319010-1 is not prime.  Res64: FA96BA7EC2360F94  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:50:48]
2307*2^319064-1 is not prime.  Res64: B3C92A3AF14F968E  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:50:58]
2307*2^319041-1 is not prime.  Res64: A8D0B7D42B46BE03  Time : 611.0 sec.
user=DocHopper
[2011-02-20 23:51:29]
2307*2^319076-1 is not prime.  Res64: 798FD87DED5AA8C8  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:52:31]
2307*2^319089-1 is not prime.  Res64: 25BF396205697CDF  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:52:46]
2307*2^319182-1 is not prime.  Res64: 5D87C56714D99205  Time : 590.0 sec.
user=DocHopper
[2011-02-20 23:53:04]
2307*2^319145-1 is not prime.  Res64: 8D11E203E3F16BD9  Time : 618.0 sec.
user=DocHopper
[2011-02-20 23:53:36]
2307*2^319194-1 is not prime.  Res64: 49B391B4C1E6CD86  Time : 600.0 sec.
user=DocHopper
[2011-02-20 23:54:30]
2307*2^319214-1 is not prime.  Res64: E9016E25097CDB07  Time : 592.0 sec.
user=DocHopper
[2011-02-20 23:54:45]
2307*2^319278-1 is not prime.  Res64: 943204A6FFC6C02F  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:55:09]
2307*2^319254-1 is not prime.  Res64: EF746F24BCFDDD97  Time : 625.0 sec.
user=DocHopper
[2011-02-20 23:55:34]
2307*2^319314-1 is not prime.  Res64: 61AC05D517DB3BDB  Time : 600.0 sec.
user=DocHopper
[2011-02-20 23:56:27]
2307*2^319338-1 is not prime.  Res64: 5D9609B6BF809D06  Time : 592.0 sec.
user=DocHopper
[2011-02-20 23:56:43]
2307*2^319374-1 is not prime.  Res64: 0A2709DAA0C4E277  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:57:14]
2307*2^319344-1 is not prime.  Res64: 748E44F62116FE61  Time : 625.0 sec.
user=DocHopper
[2011-02-20 23:57:33]
2307*2^319386-1 is not prime.  Res64: EE467750BD2F1559  Time : 601.0 sec.
user=DocHopper
[2011-02-20 23:58:25]
2307*2^319388-1 is not prime.  Res64: 41F22A4442BC4029  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:58:41]
2307*2^319400-1 is not prime.  Res64: FF814F0AA7BB822A  Time : 591.0 sec.
user=DocHopper
[2011-02-20 23:59:19]
2307*2^319410-1 is not prime.  Res64: E8776D195F746BAC  Time : 626.0 sec.
user=DocHopper
[2011-02-20 23:59:31]
2307*2^319424-1 is not prime.  Res64: E53D596540565D3A  Time : 600.0 sec.
user=DocHopper
[2011-02-21 00:00:24]
2307*2^319469-1 is not prime.  Res64: F85D23E7C01AAD6F  Time : 592.0 sec.
user=DocHopper
[2011-02-21 00:00:40]
2307*2^319502-1 is not prime.  Res64: 713EBD2E20B4B623  Time : 592.0 sec.