user=vaughan
[2009-05-13 00:02:20]
339*2^808599-1 is not prime.  Res64: 173EC256E3668B2E  Time : 8177.0 sec.
user=mdettweiler
[2009-05-13 00:03:43]
339*2^808747-1 is not prime.  Res64: 6C3C1BE8EC8FA5B2  Time : 3941.0 sec.
user=mdettweiler
[2009-05-13 00:07:29]
315*2^808750-1 is not prime.  Res64: A106EF2F3B76E90C  Time : 3942.0 sec.
user=mdettweiler
[2009-05-13 00:07:52]
327*2^808754-1 is not prime.  Res64: A76BD31D45213E99  Time : 3934.0 sec.
user=vaughan
[2009-05-13 00:11:15]
321*2^817917-1 is not prime.  Res64: DF68FE420A7111A9  Time : 939.0 sec.
user=vaughan
[2009-05-13 00:11:28]
327*2^808620-1 is not prime.  Res64: F4A092B5EF59B587  Time : 8204.0 sec.
user=vaughan
[2009-05-13 00:12:10]
315*2^808608-1 is not prime.  Res64: F37683363FB89786  Time : 8430.0 sec.
user=mdettweiler
[2009-05-13 00:12:13]
339*2^808761-1 is not prime.  Res64: 40A57C9218F8C525  Time : 3936.0 sec.
user=vaughan
[2009-05-13 00:12:13]
327*2^817921-1 is not prime.  Res64: 89790A2A8E80913B  Time : 956.0 sec.
user=vaughan
[2009-05-13 00:12:31]
315*2^808626-1 is not prime.  Res64: D38CAF8C4554DF62  Time : 8168.0 sec.
user=vaughan
[2009-05-13 00:13:29]
333*2^817928-1 is not prime.  Res64: DADC189CDBDD435F  Time : 939.0 sec.
user=vaughan
[2009-05-13 00:15:58]
345*2^808632-1 is not prime.  Res64: 319B9DC9CC65ECE9  Time : 8178.0 sec.
user=mdettweiler
[2009-05-13 00:18:22]
333*2^817835-1 is not prime.  Res64: F1DA98D629325F63  Time : 4032.0 sec.
user=mdettweiler
[2009-05-13 00:20:48]
333*2^817836-1 is not prime.  Res64: F966111F0FBDC206  Time : 3952.0 sec.
user=mdettweiler
[2009-05-13 00:21:09]
339*2^817841-1 is not prime.  Res64: 1A3763AB4AF183E9  Time : 3945.0 sec.
user=vaughan
[2009-05-13 00:25:09]
315*2^808654-1 is not prime.  Res64: C579F75194CE359C  Time : 8205.0 sec.
user=mdettweiler
[2009-05-13 00:25:29]
345*2^817846-1 is not prime.  Res64: AD6C5A6AFB08B07C  Time : 3943.0 sec.
user=vaughan
[2009-05-13 00:26:06]
339*2^808663-1 is not prime.  Res64: F5BCD6B4B6CEB923  Time : 8165.0 sec.
user=vaughan
[2009-05-13 00:26:13]
339*2^808648-1 is not prime.  Res64: B5D18EE27C97E3AC  Time : 8430.0 sec.
user=vaughan
[2009-05-13 00:26:54]
315*2^817950-1 is not prime.  Res64: D7EA9BD1CB8E196E  Time : 939.0 sec.
user=vaughan
[2009-05-13 00:28:10]
345*2^817960-1 is not prime.  Res64: D825B9FF3AD07745  Time : 957.0 sec.
user=vaughan
[2009-05-13 00:29:08]
321*2^817966-1 is not prime.  Res64: B844469648EB08C1  Time : 939.0 sec.
user=vaughan
[2009-05-13 00:29:35]
333*2^808667-1 is not prime.  Res64: FF1CA862D49B8803  Time : 8178.0 sec.
user=mdettweiler
[2009-05-13 00:30:15]
315*2^817855-1 is not prime.  Res64: B7D20C57222EC1C1  Time : 3958.0 sec.
user=mdettweiler
[2009-05-13 00:34:04]
327*2^817861-1 is not prime.  Res64: 8DC8F2B3C94D296A  Time : 3958.0 sec.
user=mdettweiler
[2009-05-13 00:34:25]
321*2^817862-1 is not prime.  Res64: 6D498720316645C6  Time : 3953.0 sec.
user=vaughan
[2009-05-13 00:38:50]
339*2^808679-1 is not prime.  Res64: 23D98B6E59C7734D  Time : 8206.0 sec.
user=mdettweiler
[2009-05-13 00:38:52]
327*2^817881-1 is not prime.  Res64: F3FC9106D82746E5  Time : 3960.0 sec.
user=vaughan
[2009-05-13 00:39:43]
339*2^808693-1 is not prime.  Res64: FE1810931036E289  Time : 8166.0 sec.
user=vaughan
[2009-05-13 00:40:16]
339*2^808675-1 is not prime.  Res64: 281EED74730C7E18  Time : 8430.0 sec.
user=vaughan
[2009-05-13 00:42:33]
345*2^818002-1 is not prime.  Res64: 928F5665F17BA15D  Time : 939.0 sec.
user=vaughan
[2009-05-13 00:43:13]
339*2^808705-1 is not prime.  Res64: 99EA08DD34DEE10F  Time : 8177.0 sec.
user=mdettweiler
[2009-05-13 00:43:33]
327*2^817884-1 is not prime.  Res64: 7F274C8ACEB6C4CD  Time : 3966.0 sec.
user=vaughan
[2009-05-13 00:44:07]
339*2^818003-1 is not prime.  Res64: 924D7CB381C9427B  Time : 957.0 sec.
user=vaughan
[2009-05-13 00:44:48]
345*2^818004-1 is not prime.  Res64: CCB0115AECD7CD2B  Time : 940.0 sec.
user=mdettweiler
[2009-05-13 00:47:24]
345*2^817890-1 is not prime.  Res64: 06B2359E11C3756D  Time : 3970.0 sec.
user=mdettweiler
[2009-05-13 00:47:42]
315*2^817891-1 is not prime.  Res64: 6F14CBA5C7468AE0  Time : 3964.0 sec.
user=mdettweiler
[2009-05-13 00:52:20]
321*2^817902-1 is not prime.  Res64: A9DE20DAA95B742E  Time : 3981.0 sec.
user=vaughan
[2009-05-13 00:52:31]
339*2^808712-1 is not prime.  Res64: C83359200726B6B7  Time : 8204.0 sec.
user=vaughan
[2009-05-13 00:53:21]
315*2^808722-1 is not prime.  Res64: 5239CB460DE88F33  Time : 8168.0 sec.
user=vaughan
[2009-05-13 00:54:17]
333*2^808710-1 is not prime.  Res64: 4338A0DDD247C1D8  Time : 8428.0 sec.
user=mdettweiler
[2009-05-13 00:56:48]
345*2^817912-1 is not prime.  Res64: 7EAEF34E41FDF2EE  Time : 3974.0 sec.
user=vaughan
[2009-05-13 00:56:51]
333*2^808731-1 is not prime.  Res64: 08E40E71C7CDFD4D  Time : 8178.0 sec.
user=vaughan
[2009-05-13 00:58:12]
339*2^818021-1 is not prime.  Res64: F8F0896B717148C3  Time : 939.0 sec.
user=vaughan
[2009-05-13 01:00:03]
321*2^818025-1 is not prime.  Res64: 53DEF4ABA11A2485  Time : 957.0 sec.
user=vaughan
[2009-05-13 01:00:28]
327*2^818025-1 is not prime.  Res64: 95621CD40D2DB3A8  Time : 940.0 sec.
user=mdettweiler
[2009-05-13 01:00:40]
333*2^817914-1 is not prime.  Res64: EF10BCB62D286A0F  Time : 3977.0 sec.
user=mdettweiler
[2009-05-13 01:00:59]
345*2^817914-1 is not prime.  Res64: 2A7C92807979D827  Time : 3974.0 sec.
user=mdettweiler
[2009-05-13 01:05:37]
339*2^817939-1 is not prime.  Res64: 879DD01E835BA75F  Time : 3992.0 sec.
user=vaughan
[2009-05-13 01:06:11]
321*2^808735-1 is not prime.  Res64: B88913791D61939F  Time : 8203.0 sec.
user=vaughan
[2009-05-13 01:06:59]
345*2^808735-1 is not prime.  Res64: 47F929A40173B1C1  Time : 8168.0 sec.
user=vaughan
[2009-05-13 01:08:21]
327*2^808733-1 is not prime.  Res64: 488F12AC7B597D9A  Time : 8428.0 sec.
user=mdettweiler
[2009-05-13 01:10:04]
327*2^817944-1 is not prime.  Res64: 825256F4A9A60636  Time : 3981.0 sec.
user=vaughan
[2009-05-13 01:10:28]
345*2^808744-1 is not prime.  Res64: 3C955721C3F47789  Time : 8177.0 sec.
user=mdettweiler
[2009-05-13 01:14:01]
315*2^817949-1 is not prime.  Res64: D774614AAB68A888  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 01:14:17]
327*2^817949-1 is not prime.  Res64: 780EBAF0D851F99C  Time : 3985.0 sec.
user=vaughan
[2009-05-13 01:15:50]
345*2^818049-1 is not prime.  Res64: EC3447AE4F26153F  Time : 1058.0 sec.
user=vaughan
[2009-05-13 01:17:02]
339*2^818051-1 is not prime.  Res64: F3FF352191ABB38A  Time : 1019.0 sec.
user=vaughan
[2009-05-13 01:18:35]
339*2^818053-1 is not prime.  Res64: 1814A9D18963F588  Time : 1088.0 sec.
user=mdettweiler
[2009-05-13 01:18:57]
345*2^817962-1 is not prime.  Res64: E1153BA6EAD48DD5  Time : 4005.0 sec.
user=vaughan
[2009-05-13 01:19:51]
345*2^808755-1 is not prime.  Res64: 055E3AD4DCA035ED  Time : 8203.0 sec.
user=vaughan
[2009-05-13 01:20:36]
339*2^808759-1 is not prime.  Res64: 863601EA11428A78  Time : 8169.0 sec.
user=vaughan
[2009-05-13 01:22:23]
315*2^808754-1 is not prime.  Res64: F3E8FBAC51436A5F  Time : 8427.0 sec.
user=mdettweiler
[2009-05-13 01:23:22]
321*2^817977-1 is not prime.  Res64: E56CD71BC319071A  Time : 3900.0 sec.
user=vaughan
[2009-05-13 01:24:05]
327*2^808762-1 is not prime.  Res64: EEC61ABD26171378  Time : 8176.0 sec.
user=mdettweiler
[2009-05-13 01:27:17]
345*2^817980-1 is not prime.  Res64: 0D5A8CBDBFC974F3  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 01:27:34]
327*2^817984-1 is not prime.  Res64: 72778F77C50E56B4  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 01:32:14]
339*2^817997-1 is not prime.  Res64: 2903260826DB0CD6  Time : 4005.0 sec.
user=vaughan
[2009-05-13 01:33:41]
315*2^817845-1 is not prime.  Res64: B551C9137E764CEB  Time : 8213.0 sec.
user=vaughan
[2009-05-13 01:34:22]
327*2^817845-1 is not prime.  Res64: EBF303E856A20A93  Time : 8179.0 sec.
user=vaughan
[2009-05-13 01:36:36]
315*2^817842-1 is not prime.  Res64: ACDAE8085707B6F4  Time : 8437.0 sec.
user=mdettweiler
[2009-05-13 01:36:39]
321*2^818007-1 is not prime.  Res64: 117F8AEE3645261E  Time : 3984.0 sec.
user=vaughan
[2009-05-13 01:37:35]
339*2^818081-1 is not prime.  Res64: 3E9946FAB8B6341C  Time : 1305.0 sec.
user=vaughan
[2009-05-13 01:37:55]
321*2^817854-1 is not prime.  Res64: 9BF4D9D44A88E5B0  Time : 8188.0 sec.
user=vaughan
[2009-05-13 01:39:03]
321*2^818082-1 is not prime.  Res64: 8F4E5ECB1FB72764  Time : 1321.0 sec.
user=vaughan
[2009-05-13 01:40:30]
339*2^818083-1 is not prime.  Res64: 7F077097FB4697E0  Time : 1316.0 sec.
user=mdettweiler
[2009-05-13 01:40:34]
315*2^818010-1 is not prime.  Res64: 81741DADD0B5D549  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 01:40:50]
345*2^818011-1 is not prime.  Res64: 363EA07903CB4512  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 01:45:29]
327*2^818018-1 is not prime.  Res64: BCE8F0953D87B5F2  Time : 3997.0 sec.
user=vaughan
[2009-05-13 01:47:31]
333*2^817866-1 is not prime.  Res64: F00BE9FE4C2ED681  Time : 8224.0 sec.
user=vaughan
[2009-05-13 01:48:09]
327*2^817869-1 is not prime.  Res64: 11276553B95B7EC8  Time : 8189.0 sec.
user=mdettweiler
[2009-05-13 01:49:55]
333*2^818024-1 is not prime.  Res64: 729A1F30B5B4787B  Time : 3982.0 sec.
user=vaughan
[2009-05-13 01:50:46]
315*2^817866-1 is not prime.  Res64: 347C1DE57CFF72C1  Time : 8444.0 sec.
user=vaughan
[2009-05-13 01:51:42]
315*2^817884-1 is not prime.  Res64: 995ECEC08A119E46  Time : 8199.0 sec.
user=mdettweiler
[2009-05-13 01:53:53]
339*2^818031-1 is not prime.  Res64: 36E40DB621A91FDA  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 01:54:05]
327*2^818033-1 is not prime.  Res64: 6D0F0027C83BFB07  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 01:58:45]
327*2^818036-1 is not prime.  Res64: 6FD6EDB9F95F937E  Time : 3985.0 sec.
user=vaughan
[2009-05-13 02:01:20]
327*2^817898-1 is not prime.  Res64: 9712B5765AEC101F  Time : 8233.0 sec.
user=vaughan
[2009-05-13 02:01:57]
327*2^817901-1 is not prime.  Res64: 942289A2DEF73BE0  Time : 8201.0 sec.
user=mdettweiler
[2009-05-13 02:03:16]
339*2^818047-1 is not prime.  Res64: 0D89049C22AAED50  Time : 3988.0 sec.
user=vaughan
[2009-05-13 02:04:57]
315*2^817896-1 is not prime.  Res64: 98C5CEAA1BDF48F5  Time : 8453.0 sec.
user=vaughan
[2009-05-13 02:05:30]
315*2^817909-1 is not prime.  Res64: 69303B9A6719ABC8  Time : 8208.0 sec.
user=mdettweiler
[2009-05-13 02:07:19]
321*2^818055-1 is not prime.  Res64: 8163ECA49A39E612  Time : 3999.0 sec.
user=mdettweiler
[2009-05-13 02:07:30]
327*2^818058-1 is not prime.  Res64: 39A49969AA238106  Time : 3991.0 sec.
user=mdettweiler
[2009-05-13 02:12:23]
315*2^818059-1 is not prime.  Res64: E929BFD578BED28C  Time : 4007.0 sec.
user=mdettweiler
[2009-05-13 02:16:34]
315*2^818071-1 is not prime.  Res64: 05796CD3CDAFD212  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 02:21:05]
315*2^818080-1 is not prime.  Res64: 8BE663099FDC3BDB  Time : 4008.0 sec.
user=mdettweiler
[2009-05-13 02:21:57]
315*2^818074-1 is not prime.  Res64: 18210DEEBD84573E  Time : 4076.0 sec.
user=mdettweiler
[2009-05-13 02:25:41]
321*2^818086-1 is not prime.  Res64: 8702F60FA28BDD3D  Time : 4004.0 sec.
user=mdettweiler
[2009-05-13 02:29:50]
315*2^818100-1 is not prime.  Res64: C6E74ED61C797D47  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 02:33:47]
315*2^809947-1 is not prime.  Res64: 58D1F5363FF076D6  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 02:34:10]
339*2^818105-1 is not prime.  Res64: ED8730288046933E  Time : 3996.0 sec.
user=mdettweiler
[2009-05-13 02:38:57]
315*2^818109-1 is not prime.  Res64: 0FF315E62F7DC871  Time : 4004.0 sec.
user=mdettweiler
[2009-05-13 02:43:06]
327*2^818124-1 is not prime.  Res64: FBA01613A2235365  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 02:47:03]
333*2^818130-1 is not prime.  Res64: 4226A8C815DEE3D9  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 02:47:27]
315*2^818131-1 is not prime.  Res64: C974CC9841B9ED80  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 02:52:06]
339*2^809989-1 is not prime.  Res64: 5187941B6F9068A0  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 02:56:21]
315*2^818135-1 is not prime.  Res64: 3649C10D7FD665B0  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 03:00:21]
333*2^818136-1 is not prime.  Res64: 65EC4678A50E47EB  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 03:00:44]
321*2^818137-1 is not prime.  Res64: FD812E7FE55F9BB9  Time : 3999.0 sec.
user=vaughan
[2009-05-13 03:01:22]
327*2^817940-1 is not prime.  Res64: 930E9C1871D0159C  Time : 10742.0 sec.
user=vaughan
[2009-05-13 03:01:24]
345*2^817966-1 is not prime.  Res64: 0CCB385ED3510757  Time : 9927.0 sec.
user=vaughan
[2009-05-13 03:01:26]
327*2^818005-1 is not prime.  Res64: 4912A385F395D7BB  Time : 9111.0 sec.
user=vaughan
[2009-05-13 03:01:27]
321*2^818023-1 is not prime.  Res64: B1BCF6C34F697A91  Time : 8295.0 sec.
user=vaughan
[2009-05-13 03:01:47]
315*2^817930-1 is not prime.  Res64: 1EA2A6044EE3E3C0  Time : 11021.0 sec.
user=vaughan
[2009-05-13 03:01:48]
345*2^817959-1 is not prime.  Res64: 8902619C5CC9803D  Time : 10178.0 sec.
user=vaughan
[2009-05-13 03:01:48]
327*2^818001-1 is not prime.  Res64: CF3AA6FC4CD08869  Time : 9336.0 sec.
user=vaughan
[2009-05-13 03:01:56]
321*2^818021-1 is not prime.  Res64: 910426A508F2F5CA  Time : 8500.0 sec.
user=vaughan
[2009-05-13 03:02:03]
327*2^817922-1 is not prime.  Res64: DE65F45B3DD2B17B  Time : 11055.0 sec.
user=vaughan
[2009-05-13 03:02:03]
345*2^817951-1 is not prime.  Res64: E2740EB0DE152E1D  Time : 10236.0 sec.
user=vaughan
[2009-05-13 03:02:04]
321*2^817997-1 is not prime.  Res64: 26928BAFC7580C6E  Time : 9415.0 sec.
user=vaughan
[2009-05-13 03:02:04]
315*2^818014-1 is not prime.  Res64: 3A54E4EC61DE2979  Time : 8595.0 sec.
user=vaughan
[2009-05-13 03:02:16]
315*2^817939-1 is not prime.  Res64: 9DA65196415DF59A  Time : 11002.0 sec.
user=vaughan
[2009-05-13 03:02:16]
333*2^817964-1 is not prime.  Res64: C0C841B94528F29F  Time : 10185.0 sec.
user=vaughan
[2009-05-13 03:02:16]
345*2^817999-1 is not prime.  Res64: 93A130339B80F5FB  Time : 9370.0 sec.
user=vaughan
[2009-05-13 03:02:17]
327*2^818020-1 is not prime.  Res64: AE8F42F3CE2995D3  Time : 8555.0 sec.
user=mdettweiler
[2009-05-13 03:05:15]
315*2^810048-1 is not prime.  Res64: AC25CCE29353C820  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 03:09:38]
327*2^818140-1 is not prime.  Res64: C9247EE15FEBD67A  Time : 3982.0 sec.
user=vaughan
[2009-05-13 03:11:16]
321*2^818037-1 is not prime.  Res64: A3538492C5BE5D61  Time : 8325.0 sec.
user=vaughan
[2009-05-13 03:11:25]
321*2^818038-1 is not prime.  Res64: BBE0B9F2C3ACCBCF  Time : 8284.0 sec.
user=mdettweiler
[2009-05-13 03:13:38]
327*2^818153-1 is not prime.  Res64: 4F98EADDA7C368CB  Time : 3980.0 sec.
user=mdettweiler
[2009-05-13 03:13:59]
315*2^818155-1 is not prime.  Res64: BB9D2FAF01FAB631  Time : 3989.0 sec.
user=vaughan
[2009-05-13 03:14:30]
339*2^818048-1 is not prime.  Res64: 37964AB6726F6A94  Time : 8259.0 sec.
user=vaughan
[2009-05-13 03:16:12]
315*2^818047-1 is not prime.  Res64: 5EB8A9DE6D4D1077  Time : 8515.0 sec.
user=mdettweiler
[2009-05-13 03:18:24]
345*2^810094-1 is not prime.  Res64: E1D4EB0231F1119D  Time : 3961.0 sec.
user=mdettweiler
[2009-05-13 03:22:45]
333*2^810095-1 is not prime.  Res64: 9D2D849A403AC620  Time : 3971.0 sec.
user=vaughan
[2009-05-13 03:25:09]
339*2^818059-1 is not prime.  Res64: 557A3866163A1C88  Time : 8338.0 sec.
user=vaughan
[2009-05-13 03:25:13]
315*2^818062-1 is not prime.  Res64: F1CD918F2B6780B2  Time : 8295.0 sec.
user=mdettweiler
[2009-05-13 03:26:47]
333*2^810110-1 is not prime.  Res64: 5CF96635B1912AD3  Time : 3890.0 sec.
user=mdettweiler
[2009-05-13 03:27:08]
321*2^810118-1 is not prime.  Res64: 0FBC0049A0A0F9F0  Time : 3902.0 sec.
user=vaughan
[2009-05-13 03:28:17]
321*2^818071-1 is not prime.  Res64: D89541B95DF183C9  Time : 8269.0 sec.
user=vaughan
[2009-05-13 03:30:21]
327*2^818065-1 is not prime.  Res64: FA7B73BF15D62054  Time : 8521.0 sec.
user=mdettweiler
[2009-05-13 03:31:43]
315*2^818159-1 is not prime.  Res64: 55D896AB23E9AD1C  Time : 3962.0 sec.
user=mdettweiler
[2009-05-13 03:35:52]
315*2^810142-1 is not prime.  Res64: 1014BA3CDF5A448B  Time : 3962.0 sec.
user=vaughan
[2009-05-13 03:38:54]
315*2^818087-1 is not prime.  Res64: 0550F0C307DC1098  Time : 8343.0 sec.
user=vaughan
[2009-05-13 03:39:00]
339*2^818091-1 is not prime.  Res64: F40BE03326ADC1FA  Time : 8305.0 sec.
user=mdettweiler
[2009-05-13 03:39:54]
333*2^810156-1 is not prime.  Res64: B261DBD8795E3873  Time : 3967.0 sec.
user=mdettweiler
[2009-05-13 03:40:18]
321*2^810157-1 is not prime.  Res64: A9293B21807E595A  Time : 3968.0 sec.
user=mdettweiler
[2009-05-13 03:44:59]
327*2^818160-1 is not prime.  Res64: 7DF4EAB6A67015C8  Time : 3962.0 sec.
user=mdettweiler
[2009-05-13 03:49:08]
327*2^818161-1 is not prime.  Res64: 982EE1C616AAECD5  Time : 3962.0 sec.
user=mdettweiler
[2009-05-13 03:53:12]
333*2^818163-1 is not prime.  Res64: 72AD362B68255870  Time : 3969.0 sec.
user=mdettweiler
[2009-05-13 03:53:35]
345*2^818164-1 is not prime.  Res64: 077D799C40516FE3  Time : 3968.0 sec.
user=mdettweiler
[2009-05-13 03:58:15]
321*2^818165-1 is not prime.  Res64: 5C2D4316B94B0C2F  Time : 3969.0 sec.
user=mdettweiler
[2009-05-13 04:02:24]
333*2^818171-1 is not prime.  Res64: 9316C0EBDA93B179  Time : 3963.0 sec.
user=mdettweiler
[2009-05-13 04:06:30]
333*2^818174-1 is not prime.  Res64: E100CFF0E334CA16  Time : 3969.0 sec.
user=mdettweiler
[2009-05-13 04:06:51]
345*2^818176-1 is not prime.  Res64: 34E97505D7223345  Time : 3967.0 sec.
user=mdettweiler
[2009-05-13 04:11:30]
333*2^818244-1 is not prime.  Res64: C81322811DEC4BBD  Time : 3975.0 sec.
user=mdettweiler
[2009-05-13 04:15:41]
327*2^818245-1 is not prime.  Res64: B7131FB40453D21C  Time : 3963.0 sec.
user=mdettweiler
[2009-05-13 04:19:48]
345*2^818250-1 is not prime.  Res64: 08498CE85766E3EE  Time : 3970.0 sec.
user=mdettweiler
[2009-05-13 04:20:07]
345*2^818254-1 is not prime.  Res64: B98330DB62E46CCC  Time : 3968.0 sec.
user=vaughan
[2009-05-13 04:22:44]
321*2^818114-1 is not prime.  Res64: 403F262A16BFA3C9  Time : 10143.0 sec.
user=vaughan
[2009-05-13 04:22:45]
327*2^818104-1 is not prime.  Res64: 08ECA09B6E906E27  Time : 10720.0 sec.
user=vaughan
[2009-05-13 04:22:45]
339*2^809999-1 is not prime.  Res64: 44B79864D776AB2D  Time : 9314.0 sec.
user=vaughan
[2009-05-13 04:22:46]
315*2^818117-1 is not prime.  Res64: 185260E96C058E4F  Time : 10104.0 sec.
user=vaughan
[2009-05-13 04:22:46]
345*2^818124-1 is not prime.  Res64: 36E77641E422ACAA  Time : 9891.0 sec.
user=vaughan
[2009-05-13 04:22:47]
327*2^818133-1 is not prime.  Res64: DAB2B036726B6B02  Time : 9278.0 sec.
user=vaughan
[2009-05-13 04:22:47]
315*2^810010-1 is not prime.  Res64: 4E215185C2271976  Time : 9065.0 sec.
user=vaughan
[2009-05-13 04:22:52]
315*2^818098-1 is not prime.  Res64: 0E6CDD4517437EE2  Time : 10829.0 sec.
user=vaughan
[2009-05-13 04:22:53]
339*2^818120-1 is not prime.  Res64: C48499EB182DC2F4  Time : 9978.0 sec.
user=vaughan
[2009-05-13 04:22:53]
327*2^818136-1 is not prime.  Res64: 30F12D049E6338BC  Time : 9127.0 sec.
user=vaughan
[2009-05-13 04:23:28]
321*2^810065-1 is not prime.  Res64: 2287240E073046ED  Time : 8528.0 sec.
user=vaughan
[2009-05-13 04:23:36]
333*2^818139-1 is not prime.  Res64: 2D63D08322517FB8  Time : 8499.0 sec.
user=mdettweiler
[2009-05-13 04:24:47]
345*2^818256-1 is not prime.  Res64: 67A42EE9B5A9D9DF  Time : 3983.0 sec.
user=vaughan
[2009-05-13 04:26:43]
315*2^818151-1 is not prime.  Res64: 2BE0ACDEEA43A96C  Time : 8473.0 sec.
user=vaughan
[2009-05-13 04:28:03]
327*2^818146-1 is not prime.  Res64: CC068631B2DCFD9C  Time : 8586.0 sec.
user=mdettweiler
[2009-05-13 04:28:57]
315*2^818262-1 is not prime.  Res64: 7B2DAF7267779372  Time : 3972.0 sec.
user=mdettweiler
[2009-05-13 04:32:55]
321*2^810326-1 is not prime.  Res64: 24B1C854FDDDEECB  Time : 3968.0 sec.
user=mdettweiler
[2009-05-13 04:33:25]
315*2^818266-1 is not prime.  Res64: 6F8F1A1B5B4F3682  Time : 3977.0 sec.
user=vaughan
[2009-05-13 04:37:17]
315*2^818205-1 is not prime.  Res64: 0CC257DA77C9B4DE  Time : 5716.0 sec.
user=vaughan
[2009-05-13 04:37:24]
333*2^818216-1 is not prime.  Res64: 8AE60B3E25619686  Time : 5711.0 sec.
user=mdettweiler
[2009-05-13 04:38:02]
333*2^818270-1 is not prime.  Res64: 6136D689EB77B819  Time : 3979.0 sec.
user=vaughan
[2009-05-13 04:40:34]
339*2^818177-1 is not prime.  Res64: 8AED173BE6C0830B  Time : 5963.0 sec.
user=mdettweiler
[2009-05-13 04:42:06]
339*2^810345-1 is not prime.  Res64: 23051F5662043D7F  Time : 3974.0 sec.
user=vaughan
[2009-05-13 04:42:16]
345*2^818191-1 is not prime.  Res64: E9ABEE8DDEF185ED  Time : 6031.0 sec.
user=mdettweiler
[2009-05-13 04:46:05]
321*2^810358-1 is not prime.  Res64: A24F1ED2C82B1484  Time : 3971.0 sec.
user=mdettweiler
[2009-05-13 04:46:33]
327*2^810361-1 is not prime.  Res64: DA465F415FAB3BD8  Time : 3975.0 sec.
user=vaughan
[2009-05-13 04:51:06]
315*2^818207-1 is not prime.  Res64: A0D7EE0975809D22  Time : 6544.0 sec.
user=mdettweiler
[2009-05-13 04:51:11]
315*2^810365-1 is not prime.  Res64: 289789091FCCCE88  Time : 3972.0 sec.
user=vaughan
[2009-05-13 04:51:13]
333*2^818226-1 is not prime.  Res64: 2168B89A5992CB5D  Time : 6538.0 sec.
user=vaughan
[2009-05-13 04:54:24]
327*2^818181-1 is not prime.  Res64: 0FDBAF0AC1826CCF  Time : 6791.0 sec.
user=mdettweiler
[2009-05-13 04:55:14]
339*2^810365-1 is not prime.  Res64: B590C7815450454F  Time : 3966.0 sec.
user=vaughan
[2009-05-13 04:56:32]
327*2^818194-1 is not prime.  Res64: 59F0E094FF5E0D59  Time : 6886.0 sec.
user=mdettweiler
[2009-05-13 04:59:15]
315*2^810386-1 is not prime.  Res64: 84792865B7DD407A  Time : 3963.0 sec.
user=mdettweiler
[2009-05-13 04:59:50]
339*2^818273-1 is not prime.  Res64: 38CDA84EDCB75DDC  Time : 3975.0 sec.
user=mdettweiler
[2009-05-13 05:04:20]
321*2^810406-1 is not prime.  Res64: 8EDF79F0A4623723  Time : 3965.0 sec.
user=vaughan
[2009-05-13 05:04:55]
321*2^818214-1 is not prime.  Res64: A445E684F935AF10  Time : 7373.0 sec.
user=vaughan
[2009-05-13 05:04:56]
345*2^818235-1 is not prime.  Res64: DD34552400C10F64  Time : 7361.0 sec.
user=vaughan
[2009-05-13 05:08:13]
321*2^818183-1 is not prime.  Res64: 29B41C709E51394A  Time : 7617.0 sec.
user=mdettweiler
[2009-05-13 05:08:22]
321*2^810407-1 is not prime.  Res64: 3E522DA185BA39AC  Time : 3958.0 sec.
user=vaughan
[2009-05-13 05:10:45]
345*2^818196-1 is not prime.  Res64: 03E5C190E674CCAD  Time : 7738.0 sec.
user=mdettweiler
[2009-05-13 05:12:25]
333*2^810407-1 is not prime.  Res64: 6FC442BC4AD6B486  Time : 3955.0 sec.
user=mdettweiler
[2009-05-13 05:12:58]
327*2^810408-1 is not prime.  Res64: D9862E4509ED1236  Time : 3968.0 sec.
user=mdettweiler
[2009-05-13 05:17:29]
333*2^810411-1 is not prime.  Res64: 541525E872CABDA0  Time : 3959.0 sec.
user=vaughan
[2009-05-13 05:18:44]
339*2^818215-1 is not prime.  Res64: B824125547985549  Time : 8201.0 sec.
user=vaughan
[2009-05-13 05:18:44]
333*2^818238-1 is not prime.  Res64: 000EB36B9CB69A7A  Time : 8188.0 sec.
user=mdettweiler
[2009-05-13 05:21:32]
315*2^810415-1 is not prime.  Res64: A1CBEF95B7F689B4  Time : 3951.0 sec.
user=vaughan
[2009-05-13 05:22:02]
333*2^818184-1 is not prime.  Res64: 67D146AFA71CC3A4  Time : 8443.0 sec.
user=vaughan
[2009-05-13 05:24:58]
339*2^818203-1 is not prime.  Res64: D7B05F54846840C3  Time : 8582.0 sec.
user=mdettweiler
[2009-05-13 05:25:53]
327*2^810421-1 is not prime.  Res64: C1E5A6317D086DB0  Time : 3965.0 sec.
user=mdettweiler
[2009-05-13 05:26:07]
345*2^810465-1 is not prime.  Res64: 3E7EC6D16B0CE94A  Time : 3960.0 sec.
user=mdettweiler
[2009-05-13 05:30:47]
333*2^818304-1 is not prime.  Res64: 8950C9351E04CF88  Time : 3960.0 sec.
user=vaughan
[2009-05-13 05:32:31]
333*2^818250-1 is not prime.  Res64: C215B624E13F691E  Time : 8466.0 sec.
user=vaughan
[2009-05-13 05:32:32]
339*2^818245-1 is not prime.  Res64: DB5C735420AE2AD6  Time : 8477.0 sec.
user=mdettweiler
[2009-05-13 05:34:40]
315*2^810499-1 is not prime.  Res64: C1FD88E4074FFC66  Time : 3943.0 sec.
user=vaughan
[2009-05-13 05:35:50]
327*2^818256-1 is not prime.  Res64: 80173A504373537D  Time : 8480.0 sec.
user=mdettweiler
[2009-05-13 05:38:43]
339*2^810499-1 is not prime.  Res64: 3D2725E1EFBDBE3A  Time : 3948.0 sec.
user=vaughan
[2009-05-13 05:39:07]
333*2^818256-1 is not prime.  Res64: 0B867609F07705AB  Time : 8576.0 sec.
user=mdettweiler
[2009-05-13 05:39:16]
339*2^810501-1 is not prime.  Res64: AAFD84BF83797CEC  Time : 3951.0 sec.
user=mdettweiler
[2009-05-13 05:43:57]
327*2^810532-1 is not prime.  Res64: C86A0747C9A02137  Time : 3955.0 sec.
user=vaughan
[2009-05-13 05:46:10]
315*2^810326-1 is not prime.  Res64: 6E91F1532939DA5B  Time : 8458.0 sec.
user=vaughan
[2009-05-13 05:46:13]
321*2^810325-1 is not prime.  Res64: A9BBEEBACAFF9C43  Time : 8465.0 sec.
user=mdettweiler
[2009-05-13 05:47:59]
315*2^818310-1 is not prime.  Res64: 07139806D6203926  Time : 3953.0 sec.
user=vaughan
[2009-05-13 05:49:40]
345*2^818266-1 is not prime.  Res64: 4DA549347793BDEF  Time : 8483.0 sec.
user=mdettweiler
[2009-05-13 05:51:59]
345*2^818311-1 is not prime.  Res64: BD19AA044235233F  Time : 3954.0 sec.
user=mdettweiler
[2009-05-13 05:52:34]
315*2^818318-1 is not prime.  Res64: 80E76A801FBC690E  Time : 3961.0 sec.
user=vaughan
[2009-05-13 05:53:19]
327*2^818268-1 is not prime.  Res64: 14852AD8E2B5347D  Time : 8578.0 sec.
user=mdettweiler
[2009-05-13 05:57:14]
339*2^818321-1 is not prime.  Res64: 2C2E358307ABA784  Time : 3963.0 sec.
user=vaughan
[2009-05-13 05:59:50]
315*2^810350-1 is not prime.  Res64: 2B6B2916F3C2224D  Time : 8450.0 sec.
user=vaughan
[2009-05-13 05:59:54]
333*2^810347-1 is not prime.  Res64: BA6343E3E9BC9E84  Time : 8460.0 sec.
user=mdettweiler
[2009-05-13 06:01:16]
321*2^818333-1 is not prime.  Res64: FA43B466E6465A82  Time : 3962.0 sec.
user=vaughan
[2009-05-13 06:03:28]
339*2^818291-1 is not prime.  Res64: 085EC9EA2672A487  Time : 5979.0 sec.
user=mdettweiler
[2009-05-13 06:05:15]
327*2^818345-1 is not prime.  Res64: CD23FD96A62C541F  Time : 3960.0 sec.
user=mdettweiler
[2009-05-13 06:05:51]
321*2^818354-1 is not prime.  Res64: E445CDF503902A06  Time : 3961.0 sec.
user=vaughan
[2009-05-13 06:07:24]
333*2^810471-1 is not prime.  Res64: 968A4EE127173061  Time : 6275.0 sec.
user=mdettweiler
[2009-05-13 06:10:33]
327*2^818354-1 is not prime.  Res64: 5792C10534970294  Time : 3973.0 sec.
user=vaughan
[2009-05-13 06:13:39]
345*2^818289-1 is not prime.  Res64: 713E45D94A1B5C96  Time : 6605.0 sec.
user=vaughan
[2009-05-13 06:13:42]
315*2^818277-1 is not prime.  Res64: BFFFCDA76234BF2B  Time : 6615.0 sec.
user=mdettweiler
[2009-05-13 06:14:32]
315*2^818366-1 is not prime.  Res64: 71B5106141969673  Time : 3970.0 sec.
user=vaughan
[2009-05-13 06:17:17]
315*2^818299-1 is not prime.  Res64: D9EB24EF2BE96660  Time : 6804.0 sec.
user=mdettweiler
[2009-05-13 06:18:34]
339*2^818368-1 is not prime.  Res64: 6677E2A5A5AD09CB  Time : 3969.0 sec.
user=mdettweiler
[2009-05-13 06:19:08]
327*2^818369-1 is not prime.  Res64: 56968225BC94909D  Time : 3970.0 sec.
user=vaughan
[2009-05-13 06:21:36]
321*2^818274-1 is not prime.  Res64: 251CF16E84261E99  Time : 7126.0 sec.
user=mdettweiler
[2009-05-13 06:23:50]
321*2^818370-1 is not prime.  Res64: 30AB0F195593AF3F  Time : 3982.0 sec.
user=vaughan
[2009-05-13 06:27:24]
315*2^818290-1 is not prime.  Res64: 81631CDE7B1E129D  Time : 7429.0 sec.
user=vaughan
[2009-05-13 06:27:32]
327*2^818280-1 is not prime.  Res64: 2436F6389CBEFDAD  Time : 7445.0 sec.
user=mdettweiler
[2009-05-13 06:27:50]
333*2^818378-1 is not prime.  Res64: 7486C610F5218725  Time : 3978.0 sec.
user=vaughan
[2009-05-13 06:31:06]
327*2^818304-1 is not prime.  Res64: 2C4CDDB427992060  Time : 7632.0 sec.
user=mdettweiler
[2009-05-13 06:31:50]
315*2^818390-1 is not prime.  Res64: 79512B23B7B17A95  Time : 3896.0 sec.
user=mdettweiler
[2009-05-13 06:32:26]
327*2^818388-1 is not prime.  Res64: 7C850FE5D7C36945  Time : 3979.0 sec.
user=vaughan
[2009-05-13 06:35:49]
333*2^818274-1 is not prime.  Res64: 21C35BF2B16DA434  Time : 7978.0 sec.
user=mdettweiler
[2009-05-13 06:37:04]
345*2^818391-1 is not prime.  Res64: C7F65520606211B6  Time : 3978.0 sec.
user=mdettweiler
[2009-05-13 06:41:10]
333*2^818396-1 is not prime.  Res64: EA6781624080C1F2  Time : 3990.0 sec.
user=vaughan
[2009-05-13 06:41:13]
321*2^818290-1 is not prime.  Res64: 5AEC7A109FDC5D32  Time : 8257.0 sec.
user=vaughan
[2009-05-13 06:41:22]
327*2^818288-1 is not prime.  Res64: 320C6CD7E017D4A7  Time : 8274.0 sec.
user=vaughan
[2009-05-13 06:44:54]
327*2^818306-1 is not prime.  Res64: 62F2BF2BBFFCE477  Time : 8292.0 sec.
user=mdettweiler
[2009-05-13 06:45:08]
339*2^818401-1 is not prime.  Res64: D0DB702C61AA2F0D  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 06:45:40]
339*2^818407-1 is not prime.  Res64: 549D1AABD11D4449  Time : 3984.0 sec.
user=vaughan
[2009-05-13 06:50:02]
333*2^818307-1 is not prime.  Res64: 2E0ADC1AEE849D4D  Time : 8519.0 sec.
user=mdettweiler
[2009-05-13 06:50:20]
315*2^818415-1 is not prime.  Res64: 7EFCDB27E202FFDE  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 06:54:26]
315*2^818431-1 is not prime.  Res64: D51ADD12B61F384A  Time : 3987.0 sec.
user=vaughan
[2009-05-13 06:54:53]
315*2^810507-1 is not prime.  Res64: 2427B237AE4A39A9  Time : 8250.0 sec.
user=vaughan
[2009-05-13 06:55:04]
345*2^810501-1 is not prime.  Res64: B1980D70A1726D5D  Time : 8268.0 sec.
user=mdettweiler
[2009-05-13 06:58:27]
315*2^818434-1 is not prime.  Res64: FE8CEDDD1B7AAE89  Time : 3988.0 sec.
user=vaughan
[2009-05-13 06:58:35]
315*2^810539-1 is not prime.  Res64: 97E2B29354CC1D9C  Time : 8283.0 sec.
user=mdettweiler
[2009-05-13 06:58:57]
315*2^818435-1 is not prime.  Res64: A96776C6EF2FF6E1  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 07:03:37]
345*2^818439-1 is not prime.  Res64: F1BDB61D44D7A89F  Time : 3983.0 sec.
user=vaughan
[2009-05-13 07:04:15]
321*2^818310-1 is not prime.  Res64: C585EA55C5F7B10A  Time : 8519.0 sec.
user=mdettweiler
[2009-05-13 07:07:44]
327*2^818442-1 is not prime.  Res64: 6743A6456FDBD234  Time : 3989.0 sec.
user=vaughan
[2009-05-13 07:08:40]
315*2^818328-1 is not prime.  Res64: C8957FFC32A1A618  Time : 8248.0 sec.
user=vaughan
[2009-05-13 07:08:55]
321*2^818318-1 is not prime.  Res64: 22D7F7E624482509  Time : 8270.0 sec.
user=mdettweiler
[2009-05-13 07:11:44]
333*2^818450-1 is not prime.  Res64: D1663546E43574E1  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 07:12:13]
321*2^818453-1 is not prime.  Res64: A7558C3C23AA8E84  Time : 3982.0 sec.
user=vaughan
[2009-05-13 07:12:24]
315*2^818332-1 is not prime.  Res64: 4D44808CF27B3B8C  Time : 8280.0 sec.
user=mdettweiler
[2009-05-13 07:16:53]
345*2^818455-1 is not prime.  Res64: D6C3F038D98F5DC8  Time : 3980.0 sec.
user=vaughan
[2009-05-13 07:18:34]
327*2^818341-1 is not prime.  Res64: 600772D2B90FF0F1  Time : 8522.0 sec.
user=mdettweiler
[2009-05-13 07:21:01]
315*2^818460-1 is not prime.  Res64: 938902CD1CDF03B1  Time : 3989.0 sec.
user=vaughan
[2009-05-13 07:22:28]
345*2^818362-1 is not prime.  Res64: DF76AF19097E62C3  Time : 8252.0 sec.
user=vaughan
[2009-05-13 07:22:46]
327*2^818356-1 is not prime.  Res64: F48EB40BF16AD43A  Time : 8271.0 sec.
user=mdettweiler
[2009-05-13 07:25:01]
345*2^818464-1 is not prime.  Res64: BE087AA3EBE80F68  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 07:25:29]
321*2^818466-1 is not prime.  Res64: ABFAFC531AD869E9  Time : 3981.0 sec.
user=vaughan
[2009-05-13 07:26:13]
315*2^818365-1 is not prime.  Res64: 4E8F030CE3C74646  Time : 8280.0 sec.
user=mdettweiler
[2009-05-13 07:30:10]
327*2^818469-1 is not prime.  Res64: 18F2ED3CF666EECD  Time : 3981.0 sec.
user=vaughan
[2009-05-13 07:32:46]
321*2^818367-1 is not prime.  Res64: 99200DDC5DF8C858  Time : 8522.0 sec.
user=mdettweiler
[2009-05-13 07:34:20]
321*2^818481-1 is not prime.  Res64: 46C524EA2FA2BE2F  Time : 3991.0 sec.
user=vaughan
[2009-05-13 07:36:15]
339*2^818375-1 is not prime.  Res64: 75C0BDDA4CB5A074  Time : 8251.0 sec.
user=vaughan
[2009-05-13 07:36:38]
333*2^818370-1 is not prime.  Res64: A9D94D6C892AA20A  Time : 8275.0 sec.
user=mdettweiler
[2009-05-13 07:38:19]
345*2^818484-1 is not prime.  Res64: D32970CA2E4A185A  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 07:38:47]
339*2^818485-1 is not prime.  Res64: 2092D6638E22AC8B  Time : 3982.0 sec.
user=vaughan
[2009-05-13 07:40:00]
315*2^818379-1 is not prime.  Res64: 320C374A04AF33D3  Time : 8279.0 sec.
user=mdettweiler
[2009-05-13 07:43:27]
327*2^818489-1 is not prime.  Res64: BD9A6D195407157A  Time : 3983.0 sec.
user=vaughan
[2009-05-13 07:47:00]
345*2^818380-1 is not prime.  Res64: 2B2315925C337DE5  Time : 8522.0 sec.
user=mdettweiler
[2009-05-13 07:47:37]
315*2^818491-1 is not prime.  Res64: 3975E08B6335A7E9  Time : 3987.0 sec.
user=vaughan
[2009-05-13 07:50:04]
339*2^818393-1 is not prime.  Res64: 798315218F5F92C1  Time : 8253.0 sec.
user=vaughan
[2009-05-13 07:50:29]
315*2^818395-1 is not prime.  Res64: F3961165A25EA859  Time : 8277.0 sec.
user=mdettweiler
[2009-05-13 07:51:36]
315*2^818498-1 is not prime.  Res64: AA68EC8B63524BF0  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 07:52:02]
321*2^818498-1 is not prime.  Res64: D40C2AB990AA8346  Time : 3982.0 sec.
user=vaughan
[2009-05-13 07:53:50]
327*2^818401-1 is not prime.  Res64: AE382FC65111E86B  Time : 8280.0 sec.
user=mdettweiler
[2009-05-13 07:56:42]
321*2^818503-1 is not prime.  Res64: 38E75BA248846ABD  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 08:00:55]
345*2^818506-1 is not prime.  Res64: D290CDA4798BA754  Time : 3989.0 sec.
user=vaughan
[2009-05-13 08:01:21]
339*2^818405-1 is not prime.  Res64: 3D55B699D8AE4368  Time : 8535.0 sec.
user=vaughan
[2009-05-13 08:03:52]
345*2^818415-1 is not prime.  Res64: 25C988AF401D3242  Time : 8262.0 sec.
user=vaughan
[2009-05-13 08:04:24]
333*2^818423-1 is not prime.  Res64: 94554FD0DF7103BA  Time : 8291.0 sec.
user=mdettweiler
[2009-05-13 08:04:54]
339*2^818515-1 is not prime.  Res64: B3DEF2DA9CD2F884  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 08:05:17]
315*2^818518-1 is not prime.  Res64: 0E0C1657543E863B  Time : 3981.0 sec.
user=vaughan
[2009-05-13 08:07:44]
321*2^818431-1 is not prime.  Res64: C842AA1854CED14E  Time : 8284.0 sec.
user=mdettweiler
[2009-05-13 08:10:00]
321*2^818518-1 is not prime.  Res64: 0513422DF300A6FC  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 08:14:12]
321*2^818525-1 is not prime.  Res64: C6AC6642DC0C4E28  Time : 3988.0 sec.
user=vaughan
[2009-05-13 08:15:38]
327*2^818436-1 is not prime.  Res64: F7A43D86A5BCAC74  Time : 8540.0 sec.
user=vaughan
[2009-05-13 08:17:43]
339*2^818440-1 is not prime.  Res64: EA70BF0E57F8AF6F  Time : 8273.0 sec.
user=mdettweiler
[2009-05-13 08:18:10]
315*2^818535-1 is not prime.  Res64: C4742A8CC9844460  Time : 3986.0 sec.
user=vaughan
[2009-05-13 08:18:12]
315*2^818442-1 is not prime.  Res64: 66320016DA5C9FFA  Time : 8298.0 sec.
user=mdettweiler
[2009-05-13 08:18:34]
321*2^818535-1 is not prime.  Res64: 21EE2BAB345CD710  Time : 3981.0 sec.
user=vaughan
[2009-05-13 08:21:31]
333*2^818444-1 is not prime.  Res64: 946383D6D6ADE69B  Time : 8283.0 sec.
user=mdettweiler
[2009-05-13 08:23:14]
315*2^818542-1 is not prime.  Res64: 96560ED34AF7BE43  Time : 3981.0 sec.
user=mdettweiler
[2009-05-13 08:27:29]
339*2^818543-1 is not prime.  Res64: C64D9FFF2D969930  Time : 3989.0 sec.
user=vaughan
[2009-05-13 08:29:51]
321*2^818454-1 is not prime.  Res64: D3F7C0AF7A2CF982  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 08:31:27]
321*2^818550-1 is not prime.  Res64: A01A5ECECDA54B44  Time : 3986.0 sec.
user=vaughan
[2009-05-13 08:31:30]
333*2^818456-1 is not prime.  Res64: 0F6CBB3B2513E399  Time : 8271.0 sec.
user=mdettweiler
[2009-05-13 08:31:52]
339*2^818552-1 is not prime.  Res64: 55BBE7D2E41CDB0B  Time : 3983.0 sec.
user=vaughan
[2009-05-13 08:32:00]
315*2^818459-1 is not prime.  Res64: A501272ABB3A956F  Time : 8298.0 sec.
user=vaughan
[2009-05-13 08:35:19]
345*2^818460-1 is not prime.  Res64: 3D10395A9C5A8C57  Time : 8282.0 sec.
user=mdettweiler
[2009-05-13 08:36:32]
321*2^818557-1 is not prime.  Res64: 4FDE4AECBF1E7889  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 08:40:45]
315*2^818560-1 is not prime.  Res64: 334FF9C7E192A8D0  Time : 3985.0 sec.
user=vaughan
[2009-05-13 08:44:03]
315*2^818469-1 is not prime.  Res64: 9231D0B3167C4D22  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 08:44:44]
339*2^818565-1 is not prime.  Res64: EDE454DEE467185D  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 08:45:08]
327*2^818569-1 is not prime.  Res64: 2D9DCFDABB75BF90  Time : 3981.0 sec.
user=vaughan
[2009-05-13 08:45:19]
333*2^818475-1 is not prime.  Res64: DC8AAD408B111E98  Time : 8275.0 sec.
user=vaughan
[2009-05-13 08:45:50]
339*2^818475-1 is not prime.  Res64: 22735C514667363F  Time : 8299.0 sec.
user=vaughan
[2009-05-13 08:49:09]
327*2^818484-1 is not prime.  Res64: 20D8E6AF9498021B  Time : 8283.0 sec.
user=mdettweiler
[2009-05-13 08:49:48]
321*2^818574-1 is not prime.  Res64: 537CEE41FE213CC9  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 08:54:02]
333*2^818576-1 is not prime.  Res64: 805E17D1D13A1A85  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 08:58:03]
345*2^818592-1 is not prime.  Res64: CD766FF7AFB09A52  Time : 3987.0 sec.
user=vaughan
[2009-05-13 08:58:16]
315*2^818486-1 is not prime.  Res64: 0750B325265112A7  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 08:58:24]
333*2^818594-1 is not prime.  Res64: 1702DC9E71EBADD8  Time : 3982.0 sec.
user=vaughan
[2009-05-13 08:59:04]
339*2^818491-1 is not prime.  Res64: EE8F290108F2D9FE  Time : 8271.0 sec.
user=vaughan
[2009-05-13 08:59:42]
333*2^818495-1 is not prime.  Res64: 9CD1C793D4E10985  Time : 8301.0 sec.
user=vaughan
[2009-05-13 09:02:56]
315*2^818496-1 is not prime.  Res64: D0E5328A0D5AAA72  Time : 8282.0 sec.
user=mdettweiler
[2009-05-13 09:03:04]
333*2^818604-1 is not prime.  Res64: EA6D6A8388735BF2  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 09:07:18]
345*2^818604-1 is not prime.  Res64: 3F74283C145DB72D  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 09:11:20]
339*2^818627-1 is not prime.  Res64: EDD91492914D631B  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 09:11:42]
339*2^818629-1 is not prime.  Res64: FB55B08FD20373A9  Time : 3985.0 sec.
user=vaughan
[2009-05-13 09:12:32]
339*2^818499-1 is not prime.  Res64: E0757B9A5451E43D  Time : 8550.0 sec.
user=vaughan
[2009-05-13 09:12:58]
327*2^818513-1 is not prime.  Res64: 31CC3AD371B4364A  Time : 8286.0 sec.
user=vaughan
[2009-05-13 09:13:36]
339*2^818513-1 is not prime.  Res64: 36A5ED875AC83AE6  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 09:16:21]
315*2^818637-1 is not prime.  Res64: A0C318B416EA18DA  Time : 3982.0 sec.
user=vaughan
[2009-05-13 09:16:49]
345*2^818517-1 is not prime.  Res64: D95E2A5FF7D2D891  Time : 8295.0 sec.
user=mdettweiler
[2009-05-13 09:20:36]
327*2^818641-1 is not prime.  Res64: 583B5C7C52CAC967  Time : 3984.0 sec.
user=mdettweiler
[2009-05-13 09:24:37]
345*2^818646-1 is not prime.  Res64: 8FF1BCC59734382E  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 09:24:58]
315*2^818650-1 is not prime.  Res64: A19D57244A0547AD  Time : 3984.0 sec.
user=vaughan
[2009-05-13 09:26:45]
339*2^818525-1 is not prime.  Res64: A6547EC468BB0A39  Time : 8286.0 sec.
user=vaughan
[2009-05-13 09:26:48]
333*2^818523-1 is not prime.  Res64: EB429EB6F0DBE902  Time : 8553.0 sec.
user=vaughan
[2009-05-13 09:27:25]
321*2^818534-1 is not prime.  Res64: 0A7E4670B5564EE7  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 09:29:39]
321*2^818654-1 is not prime.  Res64: CAD94CC87FA4FD38  Time : 3985.0 sec.
user=vaughan
[2009-05-13 09:30:37]
333*2^818540-1 is not prime.  Res64: B0D06B89E1B5CF27  Time : 8294.0 sec.
user=mdettweiler
[2009-05-13 09:33:51]
315*2^818656-1 is not prime.  Res64: 62D197E52BD49F24  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 09:37:55]
327*2^818666-1 is not prime.  Res64: 7EECBBC069A0BC29  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 09:38:17]
333*2^818670-1 is not prime.  Res64: 2C61C691CE3BB770  Time : 3985.0 sec.
user=vaughan
[2009-05-13 09:40:34]
321*2^818546-1 is not prime.  Res64: 3FFA11AD43A492CF  Time : 8286.0 sec.
user=vaughan
[2009-05-13 09:41:06]
345*2^818542-1 is not prime.  Res64: C077CA2611D15022  Time : 8552.0 sec.
user=vaughan
[2009-05-13 09:41:17]
339*2^818549-1 is not prime.  Res64: 1F2DCFBBA1E90B01  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 09:42:54]
315*2^818678-1 is not prime.  Res64: 2F0A5A37D32D4DEB  Time : 3982.0 sec.
user=vaughan
[2009-05-13 09:44:31]
315*2^818554-1 is not prime.  Res64: CB5FF5E04A9469FD  Time : 8298.0 sec.
user=mdettweiler
[2009-05-13 09:47:10]
345*2^818680-1 is not prime.  Res64: CD72B3D34D51B10E  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 09:51:13]
333*2^818690-1 is not prime.  Res64: C250F7363D90892A  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 09:51:33]
339*2^818691-1 is not prime.  Res64: 8EF9628401568DB7  Time : 3985.0 sec.
user=vaughan
[2009-05-13 09:54:24]
315*2^818562-1 is not prime.  Res64: D216071A183875D5  Time : 8289.0 sec.
user=vaughan
[2009-05-13 09:55:10]
339*2^818563-1 is not prime.  Res64: E1C5A66D70A991FC  Time : 8312.0 sec.
user=vaughan
[2009-05-13 09:55:32]
315*2^818559-1 is not prime.  Res64: 6364DFF316D6A14C  Time : 8566.0 sec.
user=mdettweiler
[2009-05-13 09:56:12]
315*2^818702-1 is not prime.  Res64: F42CB5953047B4B5  Time : 3984.0 sec.
user=vaughan
[2009-05-13 09:58:25]
333*2^818571-1 is not prime.  Res64: B4944CE2204E0A15  Time : 8305.0 sec.
user=mdettweiler
[2009-05-13 10:00:26]
327*2^818705-1 is not prime.  Res64: E3A1D53CEE775C01  Time : 3984.0 sec.
user=mdettweiler
[2009-05-13 10:04:30]
315*2^818709-1 is not prime.  Res64: 12DA601012E1E9E1  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 10:04:48]
333*2^818714-1 is not prime.  Res64: 81B5B956B50F61A7  Time : 3984.0 sec.
user=vaughan
[2009-05-13 10:08:14]
321*2^818582-1 is not prime.  Res64: 0965A4318AD886CC  Time : 8290.0 sec.
user=vaughan
[2009-05-13 10:09:00]
333*2^818583-1 is not prime.  Res64: EEEBF8FFFB2691B8  Time : 8312.0 sec.
user=mdettweiler
[2009-05-13 10:09:30]
339*2^818723-1 is not prime.  Res64: EC90E8401E15C435  Time : 3986.0 sec.
user=vaughan
[2009-05-13 10:09:43]
345*2^818575-1 is not prime.  Res64: EF759F2092F0F83D  Time : 8564.0 sec.
user=vaughan
[2009-05-13 10:12:13]
315*2^818602-1 is not prime.  Res64: 0FF6AC5095F79069  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 10:13:43]
321*2^818725-1 is not prime.  Res64: 7D5AF089AD0A25E8  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 10:17:49]
315*2^818727-1 is not prime.  Res64: BD8D3D178E8F0220  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 10:18:04]
345*2^818730-1 is not prime.  Res64: 814FECBE86EFA6E4  Time : 3982.0 sec.
user=vaughan
[2009-05-13 10:22:03]
345*2^818614-1 is not prime.  Res64: 5489835C41D387CE  Time : 8291.0 sec.
user=mdettweiler
[2009-05-13 10:22:48]
327*2^818736-1 is not prime.  Res64: F435D44AF8913905  Time : 3987.0 sec.
user=vaughan
[2009-05-13 10:22:54]
333*2^818615-1 is not prime.  Res64: 4D9082F721E2E866  Time : 8310.0 sec.
user=vaughan
[2009-05-13 10:24:00]
339*2^818611-1 is not prime.  Res64: 9B776F4BADF464D2  Time : 8559.0 sec.
user=vaughan
[2009-05-13 10:26:07]
315*2^818634-1 is not prime.  Res64: D37EEB403A25F873  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 10:26:59]
345*2^818736-1 is not prime.  Res64: 7DDE8A9B819D182A  Time : 3983.0 sec.
user=mdettweiler
[2009-05-13 10:31:05]
327*2^818738-1 is not prime.  Res64: BEB0E0D784FB3CE5  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 10:31:21]
333*2^818738-1 is not prime.  Res64: C0D9E65B6448E05D  Time : 3983.0 sec.
user=vaughan
[2009-05-13 10:35:52]
333*2^818646-1 is not prime.  Res64: 6AB902E1F2C4718C  Time : 8290.0 sec.
user=mdettweiler
[2009-05-13 10:36:04]
321*2^818742-1 is not prime.  Res64: 39DF4E5C91978D24  Time : 3985.0 sec.
user=vaughan
[2009-05-13 10:36:44]
345*2^818647-1 is not prime.  Res64: ED2C560E60802598  Time : 8312.0 sec.
user=vaughan
[2009-05-13 10:38:14]
327*2^818644-1 is not prime.  Res64: EEEB9B1A85887DAA  Time : 8557.0 sec.
user=vaughan
[2009-05-13 10:39:54]
315*2^818654-1 is not prime.  Res64: 0601C2A4DA37378B  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 10:40:18]
315*2^818747-1 is not prime.  Res64: D0319E1C58B27735  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 10:44:25]
333*2^818748-1 is not prime.  Res64: 96FE5127C457C4C3  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 10:44:39]
333*2^818754-1 is not prime.  Res64: C6691D1AA2AA5747  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 10:49:19]
327*2^818768-1 is not prime.  Res64: D128C0964A28876A  Time : 3985.0 sec.
user=vaughan
[2009-05-13 10:49:39]
315*2^818670-1 is not prime.  Res64: C4FD54740BB3CB3C  Time : 8289.0 sec.
user=vaughan
[2009-05-13 10:50:34]
339*2^818671-1 is not prime.  Res64: 57E5B427C2FF688F  Time : 8314.0 sec.
user=vaughan
[2009-05-13 10:52:26]
333*2^818663-1 is not prime.  Res64: 38AD30FD963E5855  Time : 8555.0 sec.
user=mdettweiler
[2009-05-13 10:53:36]
315*2^818774-1 is not prime.  Res64: E19DCC8CD32827BA  Time : 3986.0 sec.
user=vaughan
[2009-05-13 10:53:44]
321*2^818674-1 is not prime.  Res64: DB765D9332AA71FE  Time : 8306.0 sec.
user=mdettweiler
[2009-05-13 10:57:43]
333*2^818774-1 is not prime.  Res64: 506A35B6FF785701  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 10:57:55]
327*2^818776-1 is not prime.  Res64: 62FD461B8DF30723  Time : 3982.0 sec.
user=mdettweiler
[2009-05-13 11:02:37]
315*2^818784-1 is not prime.  Res64: 5E09536D07BB973D  Time : 3985.0 sec.
user=vaughan
[2009-05-13 11:03:31]
321*2^818693-1 is not prime.  Res64: 55D47824FB286E57  Time : 8292.0 sec.
user=vaughan
[2009-05-13 11:04:27]
327*2^818698-1 is not prime.  Res64: DD79241C17EC297E  Time : 8318.0 sec.
user=vaughan
[2009-05-13 11:06:44]
339*2^818681-1 is not prime.  Res64: 7396F98B802D5503  Time : 8561.0 sec.
user=mdettweiler
[2009-05-13 11:06:54]
333*2^818795-1 is not prime.  Res64: D3DE232853C1F6C9  Time : 3988.0 sec.
user=vaughan
[2009-05-13 11:07:35]
315*2^818701-1 is not prime.  Res64: 129AE4621908731B  Time : 8306.0 sec.
user=mdettweiler
[2009-05-13 11:11:00]
327*2^818796-1 is not prime.  Res64: EE706984DF0B842D  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 11:11:13]
339*2^818797-1 is not prime.  Res64: D9A045F2475D6040  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 11:15:53]
345*2^818802-1 is not prime.  Res64: 1FC3F500630010C8  Time : 3983.0 sec.
user=vaughan
[2009-05-13 11:17:15]
345*2^818719-1 is not prime.  Res64: ABB44A0A019D1F18  Time : 8291.0 sec.
user=vaughan
[2009-05-13 11:18:18]
321*2^818722-1 is not prime.  Res64: 7C5F32A023F6E04D  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 11:20:11]
339*2^818807-1 is not prime.  Res64: 8583764C4C4E1DAD  Time : 3988.0 sec.
user=vaughan
[2009-05-13 11:20:57]
321*2^818710-1 is not prime.  Res64: 6A39203CF8B0404C  Time : 8561.0 sec.
user=vaughan
[2009-05-13 11:21:24]
333*2^818723-1 is not prime.  Res64: 83B5D14672128319  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 11:24:18]
315*2^818811-1 is not prime.  Res64: 84791B78AE15AAE8  Time : 3989.0 sec.
user=mdettweiler
[2009-05-13 11:24:30]
333*2^818811-1 is not prime.  Res64: 4E761D7C4E4E9DD0  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 11:29:12]
321*2^818813-1 is not prime.  Res64: 11591A6439176437  Time : 3984.0 sec.
user=vaughan
[2009-05-13 11:31:04]
315*2^818734-1 is not prime.  Res64: 9F58CE75A0EB240B  Time : 8286.0 sec.
user=vaughan
[2009-05-13 11:32:07]
339*2^818735-1 is not prime.  Res64: B56E07A87615F4A0  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 11:33:31]
345*2^818827-1 is not prime.  Res64: 463041917168F20F  Time : 3992.0 sec.
user=vaughan
[2009-05-13 11:35:10]
327*2^818732-1 is not prime.  Res64: FE6CB679D115B361  Time : 8559.0 sec.
user=vaughan
[2009-05-13 11:35:12]
333*2^818736-1 is not prime.  Res64: A1A62BA2B4BA66BC  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 11:37:36]
315*2^818834-1 is not prime.  Res64: 6A81E9E92EC39BCC  Time : 3991.0 sec.
user=mdettweiler
[2009-05-13 11:37:46]
315*2^818835-1 is not prime.  Res64: EADDA4AEEFE0362D  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 11:42:29]
333*2^818838-1 is not prime.  Res64: F0ABA0B1E8B03522  Time : 3985.0 sec.
user=vaughan
[2009-05-13 11:44:59]
345*2^818739-1 is not prime.  Res64: B80AD7DA1FBE1209  Time : 8294.0 sec.
user=vaughan
[2009-05-13 11:46:02]
339*2^818741-1 is not prime.  Res64: 293734ABE7AA4123  Time : 8317.0 sec.
user=mdettweiler
[2009-05-13 11:46:51]
345*2^818851-1 is not prime.  Res64: B7B85D56C096955B  Time : 3994.0 sec.
user=vaughan
[2009-05-13 11:49:11]
333*2^818744-1 is not prime.  Res64: 1DF35B83E9B8F2CC  Time : 8314.0 sec.
user=vaughan
[2009-05-13 11:49:31]
321*2^818741-1 is not prime.  Res64: 993FEEB54C221650  Time : 8564.0 sec.
user=mdettweiler
[2009-05-13 11:51:00]
315*2^818854-1 is not prime.  Res64: 59A52B263B9013F2  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 11:51:05]
321*2^818857-1 is not prime.  Res64: 6DAE74BD444E6094  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 11:55:45]
315*2^818868-1 is not prime.  Res64: 7C54EC01F618C487  Time : 3986.0 sec.
user=vaughan
[2009-05-13 11:58:45]
333*2^818756-1 is not prime.  Res64: CA3A87356B351E76  Time : 8292.0 sec.
user=vaughan
[2009-05-13 11:59:53]
333*2^818766-1 is not prime.  Res64: EF0BFDB9529A7080  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 12:00:07]
339*2^818871-1 is not prime.  Res64: D8B3B3AD02202BAD  Time : 3991.0 sec.
user=vaughan
[2009-05-13 12:03:01]
327*2^818772-1 is not prime.  Res64: 9C2F3D6659A298E3  Time : 8310.0 sec.
user=vaughan
[2009-05-13 12:03:43]
321*2^818766-1 is not prime.  Res64: 8709C14F916B1444  Time : 8557.0 sec.
user=mdettweiler
[2009-05-13 12:04:10]
345*2^818880-1 is not prime.  Res64: 60AF23F775470A89  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 12:04:21]
327*2^818882-1 is not prime.  Res64: E920FB59C1CBD038  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 12:09:04]
315*2^818884-1 is not prime.  Res64: 516EAE85A1495F0B  Time : 3987.0 sec.
user=vaughan
[2009-05-13 12:12:32]
327*2^818778-1 is not prime.  Res64: 5B43E2DE74DF36F9  Time : 8288.0 sec.
user=mdettweiler
[2009-05-13 12:13:31]
321*2^818901-1 is not prime.  Res64: EF11D0EFF4F903EA  Time : 3997.0 sec.
user=vaughan
[2009-05-13 12:13:42]
345*2^818782-1 is not prime.  Res64: 29FDA91C1A9136A4  Time : 8313.0 sec.
user=vaughan
[2009-05-13 12:16:55]
315*2^818791-1 is not prime.  Res64: 1557D957D4DBB1C0  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 12:17:37]
315*2^818909-1 is not prime.  Res64: 205E230FFB5CF0B3  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 12:17:51]
339*2^818911-1 is not prime.  Res64: C1F8C2084ED2A028  Time : 3998.0 sec.
user=vaughan
[2009-05-13 12:18:00]
333*2^818783-1 is not prime.  Res64: 412CDB23D1ECC533  Time : 8548.0 sec.
user=mdettweiler
[2009-05-13 12:22:43]
315*2^818914-1 is not prime.  Res64: 8CAF614DAF1B5790  Time : 4010.0 sec.
user=vaughan
[2009-05-13 12:26:22]
345*2^818800-1 is not prime.  Res64: 6FA746B96082FAD6  Time : 8289.0 sec.
user=mdettweiler
[2009-05-13 12:27:02]
333*2^818919-1 is not prime.  Res64: 9A6149746EE7A9D4  Time : 4012.0 sec.
user=vaughan
[2009-05-13 12:27:36]
321*2^818801-1 is not prime.  Res64: DBC9AECC92E687B2  Time : 8317.0 sec.
user=vaughan
[2009-05-13 12:30:44]
327*2^818805-1 is not prime.  Res64: 16C4D04A15BD2B1E  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 12:31:12]
327*2^818933-1 is not prime.  Res64: AA7A6C20D6F5E31F  Time : 4014.0 sec.
user=mdettweiler
[2009-05-13 12:31:25]
327*2^818938-1 is not prime.  Res64: BD207029A770A6D7  Time : 4015.0 sec.
user=vaughan
[2009-05-13 12:32:15]
315*2^818805-1 is not prime.  Res64: 3E5330C6757BFAAF  Time : 8552.0 sec.
user=mdettweiler
[2009-05-13 12:36:38]
345*2^818940-1 is not prime.  Res64: 9D72E56E3D9C1996  Time : 4046.0 sec.
user=vaughan
[2009-05-13 12:40:10]
327*2^818812-1 is not prime.  Res64: 7F1246E7507F7BD1  Time : 8287.0 sec.
user=mdettweiler
[2009-05-13 12:40:40]
339*2^818949-1 is not prime.  Res64: E883037A414F160D  Time : 4030.0 sec.
user=vaughan
[2009-05-13 12:41:25]
345*2^818814-1 is not prime.  Res64: 8352BB2CF9A92385  Time : 8312.0 sec.
user=vaughan
[2009-05-13 12:44:31]
339*2^818825-1 is not prime.  Res64: AA289D7A8CD3A50B  Time : 8304.0 sec.
user=mdettweiler
[2009-05-13 12:44:53]
333*2^818954-1 is not prime.  Res64: 0C560241BBEEB072  Time : 4037.0 sec.
user=mdettweiler
[2009-05-13 12:44:58]
327*2^818960-1 is not prime.  Res64: 53A54B06823CB5F4  Time : 4032.0 sec.
user=vaughan
[2009-05-13 12:46:29]
321*2^818822-1 is not prime.  Res64: 8F881D0CEC0166F5  Time : 8549.0 sec.
user=mdettweiler
[2009-05-13 12:50:10]
333*2^818963-1 is not prime.  Res64: 2C4C28DEAFC8F952  Time : 4062.0 sec.
user=vaughan
[2009-05-13 12:54:01]
339*2^818837-1 is not prime.  Res64: BE86534CC5345B45  Time : 8290.0 sec.
user=mdettweiler
[2009-05-13 12:54:04]
327*2^818976-1 is not prime.  Res64: 1212395557531BE1  Time : 4033.0 sec.
user=vaughan
[2009-05-13 12:55:19]
345*2^818844-1 is not prime.  Res64: 3E72A761C3101F58  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 12:58:14]
333*2^818978-1 is not prime.  Res64: 783082F2BE4ABFE9  Time : 4035.0 sec.
user=mdettweiler
[2009-05-13 12:58:19]
327*2^818981-1 is not prime.  Res64: D2FF506ED4630D38  Time : 4035.0 sec.
user=vaughan
[2009-05-13 12:58:24]
345*2^818847-1 is not prime.  Res64: CD8E18C0244CF87B  Time : 8310.0 sec.
user=vaughan
[2009-05-13 13:00:45]
339*2^818845-1 is not prime.  Res64: 75C60DE3B468E3B2  Time : 8551.0 sec.
user=mdettweiler
[2009-05-13 13:03:28]
333*2^818991-1 is not prime.  Res64: AE9DD269BB0DB7E3  Time : 4063.0 sec.
user=mdettweiler
[2009-05-13 13:07:20]
333*2^818996-1 is not prime.  Res64: A190BADD3626D743  Time : 4033.0 sec.
user=vaughan
[2009-05-13 13:07:50]
327*2^818868-1 is not prime.  Res64: D4EDFF434295BE18  Time : 8291.0 sec.
user=vaughan
[2009-05-13 13:09:09]
321*2^818870-1 is not prime.  Res64: CAB0CAD99AA5F024  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 13:11:30]
333*2^819003-1 is not prime.  Res64: 0EC626322722BFEF  Time : 4040.0 sec.
user=mdettweiler
[2009-05-13 13:11:37]
339*2^819011-1 is not prime.  Res64: 72F8212BC45DD028  Time : 4036.0 sec.
user=vaughan
[2009-05-13 13:12:12]
321*2^818877-1 is not prime.  Res64: B71A20ECE4A83639  Time : 8308.0 sec.
user=vaughan
[2009-05-13 13:15:00]
333*2^818870-1 is not prime.  Res64: E2F164B55879D41A  Time : 8554.0 sec.
user=mdettweiler
[2009-05-13 13:16:47]
339*2^819017-1 is not prime.  Res64: 7C6EEFC662935799  Time : 4064.0 sec.
user=mdettweiler
[2009-05-13 13:20:40]
321*2^819021-1 is not prime.  Res64: 69A00EF93FC7A10F  Time : 4029.0 sec.
user=vaughan
[2009-05-13 13:21:39]
333*2^818886-1 is not prime.  Res64: CED8AA561452003B  Time : 8289.0 sec.
user=vaughan
[2009-05-13 13:22:59]
333*2^818891-1 is not prime.  Res64: E33BB633716E6563  Time : 8312.0 sec.
user=mdettweiler
[2009-05-13 13:24:48]
315*2^819027-1 is not prime.  Res64: 8225C492ED7815B7  Time : 4031.0 sec.
user=mdettweiler
[2009-05-13 13:24:53]
333*2^819027-1 is not prime.  Res64: 7C6DDACC90E03F16  Time : 4022.0 sec.
user=vaughan
[2009-05-13 13:26:02]
327*2^818901-1 is not prime.  Res64: 2597398E6D29413B  Time : 8308.0 sec.
user=vaughan
[2009-05-13 13:29:11]
339*2^818891-1 is not prime.  Res64: DD8816FEEFA4D3CB  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 13:30:06]
315*2^819030-1 is not prime.  Res64: F87BD58FB5A8CB77  Time : 4043.0 sec.
user=mdettweiler
[2009-05-13 13:33:57]
315*2^819036-1 is not prime.  Res64: E1EE0D87294470C1  Time : 4015.0 sec.
user=vaughan
[2009-05-13 13:35:26]
345*2^818914-1 is not prime.  Res64: 25A6869818FFDA78  Time : 8291.0 sec.
user=vaughan
[2009-05-13 13:36:49]
333*2^818915-1 is not prime.  Res64: 3716E26F485FCC79  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 13:38:30]
327*2^819045-1 is not prime.  Res64: 9B1D149193DB6C3E  Time : 4039.0 sec.
user=mdettweiler
[2009-05-13 13:38:32]
315*2^819046-1 is not prime.  Res64: 0FD6967935A7B3FD  Time : 4027.0 sec.
user=vaughan
[2009-05-13 13:39:51]
327*2^818929-1 is not prime.  Res64: 71BB4E6D9C85D4E2  Time : 8307.0 sec.
user=vaughan
[2009-05-13 13:43:24]
321*2^818921-1 is not prime.  Res64: 2FCC4811D4BA5433  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 13:43:56]
339*2^819053-1 is not prime.  Res64: F5CA2D058132DA12  Time : 4038.0 sec.
user=mdettweiler
[2009-05-13 13:47:35]
315*2^819058-1 is not prime.  Res64: 2FA0FD296D26E617  Time : 4015.0 sec.
user=vaughan
[2009-05-13 13:49:16]
315*2^818941-1 is not prime.  Res64: 214108E332C7EE6E  Time : 8293.0 sec.
user=vaughan
[2009-05-13 13:50:41]
321*2^818942-1 is not prime.  Res64: 72CD62E593DBD797  Time : 8314.0 sec.
user=mdettweiler
[2009-05-13 13:52:01]
339*2^819061-1 is not prime.  Res64: 8B3D36B4DD9F27DD  Time : 4028.0 sec.
user=mdettweiler
[2009-05-13 13:52:04]
315*2^819062-1 is not prime.  Res64: FB68CA3B7C2075CB  Time : 4026.0 sec.
user=vaughan
[2009-05-13 13:53:42]
327*2^818952-1 is not prime.  Res64: 0EFBC236C3B8B882  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 13:57:25]
345*2^819067-1 is not prime.  Res64: 2A2A9D27A2D4CDCE  Time : 4035.0 sec.
user=vaughan
[2009-05-13 13:57:37]
333*2^818951-1 is not prime.  Res64: 98F37310CEF452B8  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 14:00:53]
345*2^819076-1 is not prime.  Res64: 9CD68F73B2213E6F  Time : 4009.0 sec.
user=vaughan
[2009-05-13 14:03:04]
315*2^818975-1 is not prime.  Res64: 196753167843D443  Time : 8286.0 sec.
user=vaughan
[2009-05-13 14:04:31]
315*2^818976-1 is not prime.  Res64: 145D0A23190A4694  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 14:05:18]
339*2^819077-1 is not prime.  Res64: F441A521E3DD82D1  Time : 4024.0 sec.
user=mdettweiler
[2009-05-13 14:05:21]
327*2^819082-1 is not prime.  Res64: 2EB9BB8281BE9B5F  Time : 4022.0 sec.
user=vaughan
[2009-05-13 14:07:30]
333*2^818976-1 is not prime.  Res64: 970B8958D357D7A7  Time : 8300.0 sec.
user=mdettweiler
[2009-05-13 14:10:43]
345*2^819087-1 is not prime.  Res64: 1747572AE8EE5EB4  Time : 4035.0 sec.
user=vaughan
[2009-05-13 14:11:51]
321*2^818978-1 is not prime.  Res64: 5E0112D67C16B482  Time : 8540.0 sec.
user=mdettweiler
[2009-05-13 14:14:10]
345*2^819094-1 is not prime.  Res64: C0B898901E580C6F  Time : 4010.0 sec.
user=vaughan
[2009-05-13 14:17:00]
327*2^818993-1 is not prime.  Res64: 3AA8962384E84EFF  Time : 8295.0 sec.
user=vaughan
[2009-05-13 14:18:28]
339*2^818995-1 is not prime.  Res64: F58BC49A1EC98215  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 14:18:33]
327*2^819098-1 is not prime.  Res64: CCCE48D08DB3EA2D  Time : 4023.0 sec.
user=mdettweiler
[2009-05-13 14:18:37]
345*2^819100-1 is not prime.  Res64: 32A3F6722423DE45  Time : 4020.0 sec.
user=vaughan
[2009-05-13 14:21:23]
315*2^818997-1 is not prime.  Res64: 495DA2AD80310634  Time : 8302.0 sec.
user=mdettweiler
[2009-05-13 14:24:03]
345*2^819106-1 is not prime.  Res64: 36B4EB0F0A18B42D  Time : 4036.0 sec.
user=vaughan
[2009-05-13 14:26:09]
321*2^819001-1 is not prime.  Res64: 567323689E0D4912  Time : 8547.0 sec.
user=mdettweiler
[2009-05-13 14:27:27]
315*2^819108-1 is not prime.  Res64: C59ED5457DEFBE14  Time : 4007.0 sec.
user=vaughan
[2009-05-13 14:30:46]
333*2^819018-1 is not prime.  Res64: 470BC96894D5F935  Time : 8294.0 sec.
user=mdettweiler
[2009-05-13 14:31:52]
327*2^819114-1 is not prime.  Res64: 4093F4D35B076E8C  Time : 4024.0 sec.
user=mdettweiler
[2009-05-13 14:31:55]
345*2^819114-1 is not prime.  Res64: 020584503ED32B88  Time : 4022.0 sec.
user=vaughan
[2009-05-13 14:32:23]
321*2^819023-1 is not prime.  Res64: 11A8F799BB63FD66  Time : 8321.0 sec.
user=vaughan
[2009-05-13 14:35:17]
345*2^819024-1 is not prime.  Res64: 245F2B913D8F61AE  Time : 8302.0 sec.
user=mdettweiler
[2009-05-13 14:37:20]
345*2^819117-1 is not prime.  Res64: F0A1577579217F1B  Time : 4034.0 sec.
user=vaughan
[2009-05-13 14:40:22]
315*2^819028-1 is not prime.  Res64: C3D7CFDB7F188513  Time : 8542.0 sec.
user=mdettweiler
[2009-05-13 14:40:46]
327*2^819120-1 is not prime.  Res64: 52AE79978F930375  Time : 4009.0 sec.
user=vaughan
[2009-05-13 14:44:34]
339*2^819033-1 is not prime.  Res64: D8B82B0E31593E8A  Time : 8292.0 sec.
user=mdettweiler
[2009-05-13 14:45:15]
339*2^819135-1 is not prime.  Res64: 7F96E2CCB80B549C  Time : 4003.0 sec.
user=mdettweiler
[2009-05-13 14:45:18]
315*2^819130-1 is not prime.  Res64: 941E1CEC2C0E14B1  Time : 4008.0 sec.
user=vaughan
[2009-05-13 14:46:12]
345*2^819036-1 is not prime.  Res64: F983BFFC5D741E58  Time : 8316.0 sec.
user=vaughan
[2009-05-13 14:49:06]
333*2^819039-1 is not prime.  Res64: 305F374108AE26FE  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 14:50:50]
327*2^819141-1 is not prime.  Res64: 92F53D832BB345D8  Time : 4014.0 sec.
user=mdettweiler
[2009-05-13 14:54:21]
321*2^819142-1 is not prime.  Res64: 7A5741A76414D8C3  Time : 4006.0 sec.
user=vaughan
[2009-05-13 14:54:39]
315*2^819051-1 is not prime.  Res64: 21BAD7D40679BB11  Time : 8544.0 sec.
user=vaughan
[2009-05-13 14:58:24]
315*2^819054-1 is not prime.  Res64: 165A8F3990703B44  Time : 8294.0 sec.
user=mdettweiler
[2009-05-13 14:58:38]
321*2^819150-1 is not prime.  Res64: 7D4B2FC398FDDEB5  Time : 3994.0 sec.
user=mdettweiler
[2009-05-13 14:58:41]
327*2^819148-1 is not prime.  Res64: 371E7D4F77EE948C  Time : 4000.0 sec.
user=vaughan
[2009-05-13 15:00:07]
327*2^819058-1 is not prime.  Res64: F9E8D7284EEE0B3E  Time : 8322.0 sec.
user=vaughan
[2009-05-13 15:03:00]
339*2^819059-1 is not prime.  Res64: 56DE8566243C621A  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 15:04:14]
327*2^819153-1 is not prime.  Res64: CC0E82A3A364321D  Time : 4009.0 sec.
user=mdettweiler
[2009-05-13 15:07:44]
339*2^819161-1 is not prime.  Res64: A81100A0AA063418  Time : 4011.0 sec.
user=vaughan
[2009-05-13 15:08:53]
327*2^819064-1 is not prime.  Res64: 6136F4AD81D64F9E  Time : 8544.0 sec.
user=mdettweiler
[2009-05-13 15:12:01]
339*2^819173-1 is not prime.  Res64: 58D205B766710B43  Time : 4000.0 sec.
user=mdettweiler
[2009-05-13 15:12:11]
345*2^819172-1 is not prime.  Res64: BE80EABE0D6655C1  Time : 4013.0 sec.
user=vaughan
[2009-05-13 15:12:14]
315*2^819069-1 is not prime.  Res64: EBA3F4C7419C8572  Time : 8293.0 sec.
user=vaughan
[2009-05-13 15:13:59]
321*2^819077-1 is not prime.  Res64: 50A5811EE72AE237  Time : 8320.0 sec.
user=vaughan
[2009-05-13 15:16:49]
315*2^819085-1 is not prime.  Res64: 47C45413DB4DAB65  Time : 8305.0 sec.
user=mdettweiler
[2009-05-13 15:17:36]
315*2^819178-1 is not prime.  Res64: F16E6DDBCFB80324  Time : 4013.0 sec.
user=mdettweiler
[2009-05-13 15:21:04]
321*2^819182-1 is not prime.  Res64: 09EB82500ACDA5E8  Time : 4014.0 sec.
user=vaughan
[2009-05-13 15:23:06]
315*2^819087-1 is not prime.  Res64: F6CF9749A0A5C8FF  Time : 8541.0 sec.
user=mdettweiler
[2009-05-13 15:25:19]
327*2^819188-1 is not prime.  Res64: 3666912438FFCD54  Time : 4002.0 sec.
user=mdettweiler
[2009-05-13 15:25:29]
339*2^819187-1 is not prime.  Res64: D218281E07E3A8A1  Time : 4016.0 sec.
user=vaughan
[2009-05-13 15:26:02]
339*2^819095-1 is not prime.  Res64: A1A42A79E75F0C42  Time : 8293.0 sec.
user=vaughan
[2009-05-13 15:27:49]
321*2^819097-1 is not prime.  Res64: CF24780265E9DC74  Time : 8320.0 sec.
user=vaughan
[2009-05-13 15:30:41]
327*2^819101-1 is not prime.  Res64: D7F9172687E23CD8  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 15:30:52]
315*2^819195-1 is not prime.  Res64: 83175D66DF86B48C  Time : 4009.0 sec.
user=mdettweiler
[2009-05-13 15:34:20]
339*2^819197-1 is not prime.  Res64: 339893F6623B1269  Time : 4013.0 sec.
user=vaughan
[2009-05-13 15:37:29]
321*2^819102-1 is not prime.  Res64: D553AD091138D7BB  Time : 8550.0 sec.
user=mdettweiler
[2009-05-13 15:38:36]
315*2^819216-1 is not prime.  Res64: AAE996321E691276  Time : 4002.0 sec.
user=mdettweiler
[2009-05-13 15:38:49]
327*2^819209-1 is not prime.  Res64: F6B997852DE2D70E  Time : 4017.0 sec.
user=vaughan
[2009-05-13 15:39:53]
321*2^819110-1 is not prime.  Res64: 63F904264FEE7E99  Time : 8295.0 sec.
user=vaughan
[2009-05-13 15:41:46]
333*2^819111-1 is not prime.  Res64: C5889C26F0907179  Time : 8327.0 sec.
user=mdettweiler
[2009-05-13 15:44:10]
345*2^819222-1 is not prime.  Res64: 5DE6EEC0BD4C1277  Time : 4010.0 sec.
user=vaughan
[2009-05-13 15:44:34]
315*2^819115-1 is not prime.  Res64: 65EEE25FFE5328A0  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 15:47:37]
333*2^819231-1 is not prime.  Res64: C707A6EADC155102  Time : 4011.0 sec.
user=vaughan
[2009-05-13 15:51:42]
333*2^819116-1 is not prime.  Res64: CD5A8AED90310CFE  Time : 8551.0 sec.
user=mdettweiler
[2009-05-13 15:51:55]
327*2^819236-1 is not prime.  Res64: 007291677411658D  Time : 4000.0 sec.
user=mdettweiler
[2009-05-13 15:52:07]
315*2^819239-1 is not prime.  Res64: CFE760499E1DAF93  Time : 4009.0 sec.
user=vaughan
[2009-05-13 15:53:41]
345*2^819120-1 is not prime.  Res64: 109A5413E3849EE3  Time : 8295.0 sec.
user=vaughan
[2009-05-13 15:55:36]
315*2^819127-1 is not prime.  Res64: 372AD079319E46D1  Time : 8327.0 sec.
user=mdettweiler
[2009-05-13 15:57:30]
315*2^819245-1 is not prime.  Res64: D2BDCABE14711A17  Time : 4000.0 sec.
user=vaughan
[2009-05-13 15:58:24]
345*2^819136-1 is not prime.  Res64: A4338CFE05F5392F  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 16:00:54]
321*2^819245-1 is not prime.  Res64: 963AF79F7B9A79BD  Time : 3993.0 sec.
user=mdettweiler
[2009-05-13 16:05:14]
315*2^819250-1 is not prime.  Res64: 6F4D0B0F946D9A3B  Time : 3996.0 sec.
user=mdettweiler
[2009-05-13 16:05:23]
321*2^819250-1 is not prime.  Res64: B647E4838C93BDD5  Time : 4002.0 sec.
user=vaughan
[2009-05-13 16:06:01]
315*2^819141-1 is not prime.  Res64: 957AAFE0B7853103  Time : 8557.0 sec.
user=vaughan
[2009-05-13 16:07:29]
339*2^819143-1 is not prime.  Res64: 8F364EAED0642F24  Time : 8294.0 sec.
user=vaughan
[2009-05-13 16:09:28]
315*2^819148-1 is not prime.  Res64: 17A7F62E74E0B00B  Time : 8327.0 sec.
user=mdettweiler
[2009-05-13 16:10:47]
321*2^819253-1 is not prime.  Res64: 2CA0418F899627E1  Time : 3993.0 sec.
user=vaughan
[2009-05-13 16:12:15]
327*2^819152-1 is not prime.  Res64: 67AFD2B67501625F  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 16:14:12]
339*2^819253-1 is not prime.  Res64: 17690FA194689351  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 16:18:29]
321*2^819255-1 is not prime.  Res64: 1FCD48E0261B45B0  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 16:18:43]
333*2^819255-1 is not prime.  Res64: 8E9B0CBBE45F0AA8  Time : 3992.0 sec.
user=vaughan
[2009-05-13 16:20:09]
339*2^819155-1 is not prime.  Res64: 7FF159363747A7A5  Time : 8552.0 sec.
user=vaughan
[2009-05-13 16:21:17]
315*2^819167-1 is not prime.  Res64: F50895981789AB22  Time : 8293.0 sec.
user=vaughan
[2009-05-13 16:23:19]
315*2^819171-1 is not prime.  Res64: D6FB8D2DEC599BEE  Time : 8328.0 sec.
user=mdettweiler
[2009-05-13 16:24:05]
321*2^819281-1 is not prime.  Res64: 9764333E7DCFBEEF  Time : 3989.0 sec.
user=vaughan
[2009-05-13 16:26:05]
315*2^819174-1 is not prime.  Res64: 62226504E5966027  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 16:27:31]
321*2^819282-1 is not prime.  Res64: E054A9ADE50005DB  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 16:31:44]
321*2^819286-1 is not prime.  Res64: 87277E99B5460031  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 16:32:02]
333*2^819288-1 is not prime.  Res64: FC856E933E8CB256  Time : 3993.0 sec.
user=vaughan
[2009-05-13 16:34:32]
327*2^819180-1 is not prime.  Res64: FC7BF3388C3FE503  Time : 8561.0 sec.
user=vaughan
[2009-05-13 16:35:08]
339*2^819185-1 is not prime.  Res64: CA7D55CC8D5E2956  Time : 8289.0 sec.
user=vaughan
[2009-05-13 16:37:14]
333*2^819186-1 is not prime.  Res64: 98F9F81F9A7896DA  Time : 8327.0 sec.
user=mdettweiler
[2009-05-13 16:37:24]
339*2^819301-1 is not prime.  Res64: 33CC36B9AF4C6FEB  Time : 3992.0 sec.
user=vaughan
[2009-05-13 16:39:57]
327*2^819192-1 is not prime.  Res64: 79BD3A2DCAA1EDF9  Time : 8314.0 sec.
user=mdettweiler
[2009-05-13 16:40:48]
321*2^819302-1 is not prime.  Res64: 404377E1D881CEE8  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 16:45:02]
339*2^819305-1 is not prime.  Res64: A6AB2F192269AF71  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 16:45:23]
327*2^819306-1 is not prime.  Res64: DB055E826333AFFB  Time : 3995.0 sec.
user=vaughan
[2009-05-13 16:48:50]
315*2^819196-1 is not prime.  Res64: 8EA721738A9AC56C  Time : 8561.0 sec.
user=vaughan
[2009-05-13 16:48:56]
321*2^819205-1 is not prime.  Res64: A6B34FB598FFA932  Time : 8290.0 sec.
user=mdettweiler
[2009-05-13 16:50:43]
345*2^819315-1 is not prime.  Res64: 5046D0E7D3451999  Time : 3993.0 sec.
user=vaughan
[2009-05-13 16:51:09]
333*2^819218-1 is not prime.  Res64: C13D405ABB4F3F2E  Time : 8327.0 sec.
user=vaughan
[2009-05-13 16:53:46]
321*2^819222-1 is not prime.  Res64: AA83C9BE23E36982  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 16:54:04]
333*2^819318-1 is not prime.  Res64: F44F33D04947D5E3  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 16:58:20]
315*2^819322-1 is not prime.  Res64: 9377CC403FE47D97  Time : 3985.0 sec.
user=mdettweiler
[2009-05-13 16:58:41]
333*2^819324-1 is not prime.  Res64: 6E4E3F84056D07F5  Time : 3994.0 sec.
user=vaughan
[2009-05-13 17:02:44]
315*2^819235-1 is not prime.  Res64: B1983F08A2F58122  Time : 8290.0 sec.
user=vaughan
[2009-05-13 17:03:03]
321*2^819225-1 is not prime.  Res64: B60D442D8FB07CD5  Time : 8562.0 sec.
user=mdettweiler
[2009-05-13 17:03:59]
339*2^819329-1 is not prime.  Res64: 03DE7AD2C7D9D283  Time : 3989.0 sec.
user=vaughan
[2009-05-13 17:05:04]
327*2^819240-1 is not prime.  Res64: 6F97BF9925CF689F  Time : 8332.0 sec.
user=mdettweiler
[2009-05-13 17:07:22]
345*2^819330-1 is not prime.  Res64: 3B654FDA04D56B98  Time : 3988.0 sec.
user=vaughan
[2009-05-13 17:07:40]
345*2^819240-1 is not prime.  Res64: 1507654E5528F350  Time : 8314.0 sec.
user=mdettweiler
[2009-05-13 17:11:39]
339*2^819331-1 is not prime.  Res64: FBDA556D24D6F89D  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 17:12:00]
327*2^819336-1 is not prime.  Res64: 43C08C90449DD18D  Time : 3997.0 sec.
user=vaughan
[2009-05-13 17:16:36]
315*2^819246-1 is not prime.  Res64: D161CB5DE0152B91  Time : 8293.0 sec.
user=mdettweiler
[2009-05-13 17:17:17]
339*2^819355-1 is not prime.  Res64: 0F8F720E70EA1E12  Time : 3990.0 sec.
user=vaughan
[2009-05-13 17:17:24]
339*2^819245-1 is not prime.  Res64: 56A8A255CD613456  Time : 8565.0 sec.
user=vaughan
[2009-05-13 17:18:56]
315*2^819252-1 is not prime.  Res64: 5A11A3FCC4248851  Time : 8330.0 sec.
user=mdettweiler
[2009-05-13 17:20:39]
315*2^819360-1 is not prime.  Res64: 79C0F96B653087AA  Time : 3987.0 sec.
user=vaughan
[2009-05-13 17:21:34]
327*2^819252-1 is not prime.  Res64: C3FB44E0E83C7BBC  Time : 8314.0 sec.
user=mdettweiler
[2009-05-13 17:24:55]
333*2^819360-1 is not prime.  Res64: D5A08432F7F262D9  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 17:25:19]
327*2^819362-1 is not prime.  Res64: 7B726CF5F8526742  Time : 3996.0 sec.
user=vaughan
[2009-05-13 17:30:26]
345*2^819255-1 is not prime.  Res64: FB5ADDAD2A89B773  Time : 8293.0 sec.
user=mdettweiler
[2009-05-13 17:30:37]
345*2^819372-1 is not prime.  Res64: 4423E0053ACD0935  Time : 3992.0 sec.
user=vaughan
[2009-05-13 17:31:37]
321*2^819254-1 is not prime.  Res64: B679DBF8C147C452  Time : 8565.0 sec.
user=vaughan
[2009-05-13 17:32:47]
339*2^819257-1 is not prime.  Res64: 098C9DD4018BC111  Time : 8329.0 sec.
user=mdettweiler
[2009-05-13 17:33:56]
321*2^819390-1 is not prime.  Res64: 63CEE7871A53C08B  Time : 3985.0 sec.
user=vaughan
[2009-05-13 17:35:26]
321*2^819266-1 is not prime.  Res64: 2C060FBCB275BD3D  Time : 8317.0 sec.
user=mdettweiler
[2009-05-13 17:38:16]
315*2^819399-1 is not prime.  Res64: 16193662E02C8E58  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 17:38:39]
333*2^819399-1 is not prime.  Res64: 96F5A78D7E2B3E9D  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 17:43:54]
339*2^819416-1 is not prime.  Res64: FDCB0BF0DB3CF7C9  Time : 3990.0 sec.
user=vaughan
[2009-05-13 17:44:18]
327*2^819298-1 is not prime.  Res64: 8065529E509568D2  Time : 8297.0 sec.
user=vaughan
[2009-05-13 17:45:54]
339*2^819283-1 is not prime.  Res64: 325456B0DFBA6217  Time : 8568.0 sec.
user=vaughan
[2009-05-13 17:46:42]
339*2^819299-1 is not prime.  Res64: 8874F19754840A26  Time : 8333.0 sec.
user=mdettweiler
[2009-05-13 17:47:17]
339*2^819421-1 is not prime.  Res64: 3526C081D5FC7D85  Time : 3989.0 sec.
user=vaughan
[2009-05-13 17:49:14]
327*2^819300-1 is not prime.  Res64: AFCB13837C0C8778  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 17:51:34]
327*2^819424-1 is not prime.  Res64: 044975409169F324  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 17:51:55]
315*2^819426-1 is not prime.  Res64: B7F5A36158453531  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 17:57:14]
345*2^819430-1 is not prime.  Res64: 01AEF8C09A0548DD  Time : 3992.0 sec.
user=vaughan
[2009-05-13 17:58:09]
339*2^819311-1 is not prime.  Res64: 34A631E773898179  Time : 8296.0 sec.
user=vaughan
[2009-05-13 18:00:10]
339*2^819303-1 is not prime.  Res64: 793139DADADB9804  Time : 8561.0 sec.
user=mdettweiler
[2009-05-13 18:00:32]
345*2^819436-1 is not prime.  Res64: E93C660CCD97B1A4  Time : 3988.0 sec.
user=vaughan
[2009-05-13 18:00:42]
327*2^819312-1 is not prime.  Res64: 418C2916FC0A4423  Time : 8337.0 sec.
user=vaughan
[2009-05-13 18:03:09]
321*2^819317-1 is not prime.  Res64: 07F2CC9AE1D1D28B  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 18:04:51]
339*2^819439-1 is not prime.  Res64: 3333C772594F1942  Time : 3991.0 sec.
user=mdettweiler
[2009-05-13 18:05:13]
333*2^819440-1 is not prime.  Res64: 9D160E0965BE81F7  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 18:10:32]
345*2^819441-1 is not prime.  Res64: 6EB11549B0E6277F  Time : 3993.0 sec.
user=vaughan
[2009-05-13 18:11:58]
321*2^819325-1 is not prime.  Res64: 5160FBA0AAEE5087  Time : 8297.0 sec.
user=mdettweiler
[2009-05-13 18:13:54]
333*2^819450-1 is not prime.  Res64: 77E95F2DFB6077B4  Time : 3992.0 sec.
user=vaughan
[2009-05-13 18:14:24]
339*2^819321-1 is not prime.  Res64: 8E2243A299585244  Time : 8562.0 sec.
user=vaughan
[2009-05-13 18:14:33]
327*2^819329-1 is not prime.  Res64: AAE20FD0E04B701A  Time : 8337.0 sec.
user=vaughan
[2009-05-13 18:16:57]
321*2^819330-1 is not prime.  Res64: 4A5C701B1038A88E  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 18:18:06]
339*2^819453-1 is not prime.  Res64: 99D660B9C42D06E2  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 18:18:31]
321*2^819454-1 is not prime.  Res64: B9C3C7C3A9B735FB  Time : 3991.0 sec.
user=mdettweiler
[2009-05-13 18:23:52]
321*2^819470-1 is not prime.  Res64: 7A5540B6E86107F2  Time : 3995.0 sec.
user=vaughan
[2009-05-13 18:25:47]
315*2^819346-1 is not prime.  Res64: 836918C2004E77ED  Time : 8299.0 sec.
user=mdettweiler
[2009-05-13 18:27:11]
321*2^819473-1 is not prime.  Res64: 0C9FC545D5B6A12C  Time : 3992.0 sec.
user=vaughan
[2009-05-13 18:28:24]
327*2^819346-1 is not prime.  Res64: 2E946B76B4B75C58  Time : 8336.0 sec.
user=vaughan
[2009-05-13 18:28:37]
333*2^819336-1 is not prime.  Res64: 262CACDEF25D510A  Time : 8556.0 sec.
user=vaughan
[2009-05-13 18:30:47]
315*2^819357-1 is not prime.  Res64: CB8A713B58133838  Time : 8312.0 sec.
user=mdettweiler
[2009-05-13 18:31:25]
315*2^819475-1 is not prime.  Res64: 88781B4BB120AB91  Time : 3990.0 sec.
user=mdettweiler
[2009-05-13 18:31:51]
339*2^819475-1 is not prime.  Res64: 175C7FD4FBCCFFB0  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 18:37:09]
339*2^819493-1 is not prime.  Res64: 997CA10A248CE55C  Time : 3992.0 sec.
user=vaughan
[2009-05-13 18:39:40]
345*2^819369-1 is not prime.  Res64: 0E1BE62A13FC7127  Time : 8303.0 sec.
user=mdettweiler
[2009-05-13 18:40:30]
333*2^819500-1 is not prime.  Res64: 41F0B1FE8FAC0D64  Time : 3994.0 sec.
user=vaughan
[2009-05-13 18:42:19]
345*2^819370-1 is not prime.  Res64: C82A93AB94D8C517  Time : 8340.0 sec.
user=vaughan
[2009-05-13 18:42:54]
327*2^819364-1 is not prime.  Res64: BDCF891C37D36890  Time : 8565.0 sec.
user=vaughan
[2009-05-13 18:44:40]
333*2^819386-1 is not prime.  Res64: E0EA817520AD4229  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 18:44:42]
321*2^819502-1 is not prime.  Res64: 6A9E18DC57F3672D  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 18:45:10]
321*2^819505-1 is not prime.  Res64: 32F5880BC4C8D880  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 18:50:28]
339*2^819505-1 is not prime.  Res64: 0899FFB8011FACDD  Time : 3995.0 sec.
user=vaughan
[2009-05-13 18:53:32]
339*2^819411-1 is not prime.  Res64: 909F10853EE74DE1  Time : 8304.0 sec.
user=mdettweiler
[2009-05-13 18:53:46]
339*2^819512-1 is not prime.  Res64: 347E91250C15AA35  Time : 3990.0 sec.
user=vaughan
[2009-05-13 18:56:14]
333*2^819416-1 is not prime.  Res64: 340A6B99FBBE2E52  Time : 8341.0 sec.
user=vaughan
[2009-05-13 18:57:22]
327*2^819408-1 is not prime.  Res64: 5A412FB97522AF26  Time : 8571.0 sec.
user=mdettweiler
[2009-05-13 18:58:01]
333*2^819515-1 is not prime.  Res64: F2F4DA03D7E74C6F  Time : 3988.0 sec.
user=mdettweiler
[2009-05-13 18:58:29]
339*2^819521-1 is not prime.  Res64: CF6E198609496CED  Time : 3994.0 sec.
user=vaughan
[2009-05-13 18:58:32]
327*2^819418-1 is not prime.  Res64: C18BC20E6FB0D871  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 19:03:46]
327*2^819525-1 is not prime.  Res64: 8F82738C6BC43092  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 19:07:04]
327*2^819536-1 is not prime.  Res64: 3D8F58B45BF70817  Time : 3992.0 sec.
user=vaughan
[2009-05-13 19:07:23]
339*2^819427-1 is not prime.  Res64: 698DF005D6971DB9  Time : 8307.0 sec.
user=vaughan
[2009-05-13 19:10:05]
339*2^819431-1 is not prime.  Res64: CAD2AC5EA248D835  Time : 8337.0 sec.
user=mdettweiler
[2009-05-13 19:11:21]
315*2^819542-1 is not prime.  Res64: C3D312D5B2C9233E  Time : 3990.0 sec.
user=vaughan
[2009-05-13 19:11:35]
315*2^819427-1 is not prime.  Res64: 34F5D197DF273607  Time : 8565.0 sec.
user=mdettweiler
[2009-05-13 19:11:46]
333*2^819546-1 is not prime.  Res64: 3E108E08BD4A84F9  Time : 3993.0 sec.
user=vaughan
[2009-05-13 19:12:23]
327*2^819436-1 is not prime.  Res64: 9AC5B60EF6782FCC  Time : 8318.0 sec.
user=mdettweiler
[2009-05-13 19:17:06]
327*2^819549-1 is not prime.  Res64: 90D90FA55252BB1E  Time : 3994.0 sec.
user=mdettweiler
[2009-05-13 19:20:22]
333*2^819564-1 is not prime.  Res64: 6863769D99BEE387  Time : 3988.0 sec.
user=vaughan
[2009-05-13 19:21:13]
321*2^819441-1 is not prime.  Res64: C45A9E69543F38B2  Time : 8309.0 sec.
user=vaughan
[2009-05-13 19:23:55]
333*2^819447-1 is not prime.  Res64: 20F6D9CAEA2A104D  Time : 8333.0 sec.
user=mdettweiler
[2009-05-13 19:24:38]
333*2^819587-1 is not prime.  Res64: 324ABCC056E9BA9C  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 19:25:06]
333*2^819588-1 is not prime.  Res64: 7F529E09AD436035  Time : 3995.0 sec.
user=vaughan
[2009-05-13 19:25:48]
327*2^819441-1 is not prime.  Res64: 075810F29DF2DD5E  Time : 8565.0 sec.
user=vaughan
[2009-05-13 19:26:13]
327*2^819453-1 is not prime.  Res64: CE10AC5EAE5800A2  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 19:30:29]
315*2^819591-1 is not prime.  Res64: A3AE82473BCC2140  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 19:33:40]
339*2^819599-1 is not prime.  Res64: C577EF740DCE7BB5  Time : 3989.0 sec.
user=vaughan
[2009-05-13 19:35:02]
327*2^819468-1 is not prime.  Res64: C030D90C0AF1016C  Time : 8306.0 sec.
user=vaughan
[2009-05-13 19:37:46]
345*2^819471-1 is not prime.  Res64: 763D81A9E127300B  Time : 8330.0 sec.
user=mdettweiler
[2009-05-13 19:37:57]
339*2^819611-1 is not prime.  Res64: 2578669F0E62D417  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 19:38:25]
321*2^819614-1 is not prime.  Res64: FCF6F145E654991B  Time : 3994.0 sec.
user=vaughan
[2009-05-13 19:40:02]
333*2^819470-1 is not prime.  Res64: 4D1A185F49D3A260  Time : 8559.0 sec.
user=vaughan
[2009-05-13 19:40:03]
345*2^819474-1 is not prime.  Res64: FDB6B326A05C58B6  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 19:43:48]
339*2^819617-1 is not prime.  Res64: 1200644EB79968D7  Time : 3999.0 sec.
user=mdettweiler
[2009-05-13 19:46:59]
315*2^819630-1 is not prime.  Res64: 38C72D490BE4B293  Time : 3989.0 sec.
user=vaughan
[2009-05-13 19:48:54]
327*2^819489-1 is not prime.  Res64: 7217A6800FD43F28  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 19:51:15]
321*2^819647-1 is not prime.  Res64: 6016E2343065FD4E  Time : 3993.0 sec.
user=vaughan
[2009-05-13 19:51:42]
327*2^819498-1 is not prime.  Res64: BAC593FA34EC18E6  Time : 8335.0 sec.
user=mdettweiler
[2009-05-13 19:51:42]
327*2^819649-1 is not prime.  Res64: E7D2EF8CC7C4B380  Time : 3993.0 sec.
user=vaughan
[2009-05-13 19:53:59]
315*2^819501-1 is not prime.  Res64: CE36F24782A98D2C  Time : 8313.0 sec.
user=vaughan
[2009-05-13 19:54:27]
339*2^819497-1 is not prime.  Res64: B5E435AB3CEF84AC  Time : 8571.0 sec.
user=mdettweiler
[2009-05-13 19:57:05]
333*2^819651-1 is not prime.  Res64: 298C90C2658E681F  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 20:00:16]
333*2^819654-1 is not prime.  Res64: D0C91F5EA870D034  Time : 3990.0 sec.
user=vaughan
[2009-05-13 20:02:42]
315*2^819508-1 is not prime.  Res64: B2FBE5ADBBAC4ABD  Time : 8305.0 sec.
user=mdettweiler
[2009-05-13 20:04:33]
333*2^819660-1 is not prime.  Res64: A6512AF470CF1909  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 20:05:03]
315*2^819664-1 is not prime.  Res64: 0CA1496869DF0D3E  Time : 3994.0 sec.
user=vaughan
[2009-05-13 20:05:33]
339*2^819509-1 is not prime.  Res64: 85894087A491B64D  Time : 8331.0 sec.
user=vaughan
[2009-05-13 20:07:48]
315*2^819515-1 is not prime.  Res64: F867C0F537228052  Time : 8314.0 sec.
user=vaughan
[2009-05-13 20:08:40]
327*2^819509-1 is not prime.  Res64: AAB0FC51D13F82DD  Time : 8566.0 sec.
user=mdettweiler
[2009-05-13 20:10:23]
345*2^819676-1 is not prime.  Res64: F75AB74759D1AA0E  Time : 3997.0 sec.
user=mdettweiler
[2009-05-13 20:13:34]
333*2^819678-1 is not prime.  Res64: 74DA36C0C3478CC2  Time : 3990.0 sec.
user=vaughan
[2009-05-13 20:16:31]
333*2^819528-1 is not prime.  Res64: E83A0C83F74BF6A0  Time : 8302.0 sec.
user=mdettweiler
[2009-05-13 20:17:54]
327*2^819681-1 is not prime.  Res64: E9DA5DB2F2A82DBD  Time : 3993.0 sec.
user=mdettweiler
[2009-05-13 20:18:22]
315*2^819686-1 is not prime.  Res64: F03848180DC2D7E6  Time : 3996.0 sec.
user=vaughan
[2009-05-13 20:19:26]
345*2^819537-1 is not prime.  Res64: 95540917044E1BCE  Time : 8324.0 sec.
user=vaughan
[2009-05-13 20:21:38]
327*2^819540-1 is not prime.  Res64: D93F4E4A6234AA6E  Time : 8310.0 sec.
user=vaughan
[2009-05-13 20:22:56]
315*2^819534-1 is not prime.  Res64: 8CE0B205DC0D4CCA  Time : 8566.0 sec.
user=mdettweiler
[2009-05-13 20:23:38]
315*2^819695-1 is not prime.  Res64: 1ED97567ADEE859E  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 20:26:52]
339*2^819695-1 is not prime.  Res64: A29926CC577AEF91  Time : 3990.0 sec.
user=vaughan
[2009-05-13 20:30:19]
315*2^819552-1 is not prime.  Res64: 2E2347847E8BFF75  Time : 8301.0 sec.
user=mdettweiler
[2009-05-13 20:31:10]
315*2^819700-1 is not prime.  Res64: E7B52835A663B710  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 20:31:42]
315*2^819702-1 is not prime.  Res64: 47A48574EAB416FE  Time : 3996.0 sec.
user=vaughan
[2009-05-13 20:33:17]
339*2^819581-1 is not prime.  Res64: 0EE7BD6EF5253F17  Time : 8324.0 sec.
user=vaughan
[2009-05-13 20:35:27]
345*2^819582-1 is not prime.  Res64: 048139485191FF33  Time : 8310.0 sec.
user=mdettweiler
[2009-05-13 20:36:58]
315*2^819717-1 is not prime.  Res64: 1C39A5F72C66B4A8  Time : 3989.0 sec.
user=vaughan
[2009-05-13 20:37:11]
345*2^819570-1 is not prime.  Res64: 753AE2D2EA7A7B9A  Time : 8568.0 sec.
user=mdettweiler
[2009-05-13 20:40:07]
345*2^819720-1 is not prime.  Res64: CF6B0E9B1CFF2EE0  Time : 3987.0 sec.
user=vaughan
[2009-05-13 20:44:08]
333*2^819591-1 is not prime.  Res64: 4D8C7A28CB4FE25A  Time : 8301.0 sec.
user=mdettweiler
[2009-05-13 20:44:29]
345*2^819727-1 is not prime.  Res64: 6731BB30B4CB8B15  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 20:46:23]
333*2^819728-1 is not prime.  Res64: 2214FD81F86CB8CE  Time : 4078.0 sec.
user=vaughan
[2009-05-13 20:47:09]
345*2^819600-1 is not prime.  Res64: A73FA0696F20BC3E  Time : 8325.0 sec.
user=vaughan
[2009-05-13 20:49:17]
339*2^819601-1 is not prime.  Res64: F594195A0A5AA598  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 20:50:17]
327*2^819744-1 is not prime.  Res64: DF8264BB5D8B7828  Time : 3989.0 sec.
user=vaughan
[2009-05-13 20:51:26]
327*2^819601-1 is not prime.  Res64: 463564CB727ECC02  Time : 8570.0 sec.
user=mdettweiler
[2009-05-13 20:53:26]
321*2^819751-1 is not prime.  Res64: D6D35DF026837953  Time : 3987.0 sec.
user=mdettweiler
[2009-05-13 20:57:46]
321*2^819762-1 is not prime.  Res64: C4D5E43C842375F3  Time : 3992.0 sec.
user=vaughan
[2009-05-13 20:57:57]
333*2^819624-1 is not prime.  Res64: 40D5EC9794FB2287  Time : 8297.0 sec.
user=mdettweiler
[2009-05-13 20:58:20]
345*2^819766-1 is not prime.  Res64: B99D1DE39424B5AE  Time : 3998.0 sec.
user=vaughan
[2009-05-13 21:01:01]
333*2^819630-1 is not prime.  Res64: 6DA6E017BB4D2F8D  Time : 8323.0 sec.
user=vaughan
[2009-05-13 21:03:08]
339*2^819640-1 is not prime.  Res64: 7AD52442B91FE4B0  Time : 8308.0 sec.
user=mdettweiler
[2009-05-13 21:03:37]
333*2^819770-1 is not prime.  Res64: 35EB0DA75D59E9B8  Time : 3992.0 sec.
user=vaughan
[2009-05-13 21:05:42]
327*2^819632-1 is not prime.  Res64: 4EB491C8EF09C49D  Time : 8568.0 sec.
user=mdettweiler
[2009-05-13 21:06:42]
339*2^819771-1 is not prime.  Res64: 472E33632BB663CD  Time : 3986.0 sec.
user=mdettweiler
[2009-05-13 21:11:05]
321*2^819778-1 is not prime.  Res64: 93985D848A2B57EB  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 21:11:38]
327*2^819778-1 is not prime.  Res64: 6AEFD2A9831B35ED  Time : 3995.0 sec.
user=vaughan
[2009-05-13 21:11:44]
321*2^819653-1 is not prime.  Res64: 2427D2266BD82894  Time : 8292.0 sec.
user=vaughan
[2009-05-13 21:14:54]
321*2^819655-1 is not prime.  Res64: 4CE1F507FF17866A  Time : 8321.0 sec.
user=mdettweiler
[2009-05-13 21:16:53]
327*2^819789-1 is not prime.  Res64: 93118715EBA92717  Time : 3990.0 sec.
user=vaughan
[2009-05-13 21:17:01]
345*2^819675-1 is not prime.  Res64: DD35DD621C8B138A  Time : 8309.0 sec.
user=mdettweiler
[2009-05-13 21:19:59]
321*2^819791-1 is not prime.  Res64: 5BC150BB645F0177  Time : 3985.0 sec.
user=vaughan
[2009-05-13 21:20:01]
327*2^819658-1 is not prime.  Res64: CB406B07A28A6B7D  Time : 8559.0 sec.
user=mdettweiler
[2009-05-13 21:24:26]
333*2^819794-1 is not prime.  Res64: 2827BAEFB33AFFAF  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 21:24:54]
315*2^819795-1 is not prime.  Res64: 99B5BA7E48F4689C  Time : 3992.0 sec.
user=vaughan
[2009-05-13 21:25:35]
339*2^819679-1 is not prime.  Res64: 0AE8D065722FB16C  Time : 8292.0 sec.
user=vaughan
[2009-05-13 21:28:47]
333*2^819680-1 is not prime.  Res64: 1DC4AD053FB664AE  Time : 8322.0 sec.
user=mdettweiler
[2009-05-13 21:30:11]
321*2^819805-1 is not prime.  Res64: 4CFB7F669951F9D9  Time : 3993.0 sec.
user=vaughan
[2009-05-13 21:30:51]
339*2^819689-1 is not prime.  Res64: 7401DC39921BBBC4  Time : 8308.0 sec.
user=mdettweiler
[2009-05-13 21:33:19]
315*2^819808-1 is not prime.  Res64: 4D0A9FDFF7842634  Time : 3988.0 sec.
user=vaughan
[2009-05-13 21:34:14]
345*2^819682-1 is not prime.  Res64: 7B54E550D4ECD51B  Time : 8560.0 sec.
user=mdettweiler
[2009-05-13 21:37:45]
339*2^819809-1 is not prime.  Res64: B1B178B7AB18772F  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 21:38:14]
327*2^819813-1 is not prime.  Res64: 9288A35D6187AFF9  Time : 3993.0 sec.
user=vaughan
[2009-05-13 21:39:35]
327*2^819696-1 is not prime.  Res64: C6CB64C8D32F340E  Time : 8303.0 sec.
user=vaughan
[2009-05-13 21:42:46]
315*2^819698-1 is not prime.  Res64: 75644AA0C20B47D5  Time : 8331.0 sec.
user=mdettweiler
[2009-05-13 21:43:29]
345*2^819819-1 is not prime.  Res64: AAB7D866FA82EFE8  Time : 3991.0 sec.
user=vaughan
[2009-05-13 21:44:44]
339*2^819711-1 is not prime.  Res64: 947E79FA47B0EA71  Time : 8312.0 sec.
user=mdettweiler
[2009-05-13 21:46:38]
321*2^819826-1 is not prime.  Res64: 41BCC8D59E3417A7  Time : 3991.0 sec.
user=vaughan
[2009-05-13 21:48:35]
327*2^819708-1 is not prime.  Res64: 1B1B062EC5B7508C  Time : 8567.0 sec.
user=mdettweiler
[2009-05-13 21:51:03]
339*2^819827-1 is not prime.  Res64: 5251710503D2123B  Time : 3994.0 sec.
user=mdettweiler
[2009-05-13 21:51:28]
321*2^819830-1 is not prime.  Res64: 6AD8CCE2CC227A40  Time : 3905.0 sec.
user=vaughan
[2009-05-13 21:53:28]
345*2^819724-1 is not prime.  Res64: 67293F8FA0B1EBDD  Time : 8306.0 sec.
user=vaughan
[2009-05-13 21:56:45]
315*2^819725-1 is not prime.  Res64: ABF5CA77901B0035  Time : 8339.0 sec.
user=mdettweiler
[2009-05-13 21:56:50]
345*2^819850-1 is not prime.  Res64: 81198064BA4FBDF8  Time : 3993.0 sec.
user=vaughan
[2009-05-13 21:58:41]
321*2^819742-1 is not prime.  Res64: BA35AFBEBDCC8335  Time : 8318.0 sec.
user=mdettweiler
[2009-05-13 21:59:59]
327*2^819856-1 is not prime.  Res64: 7640D04A43381EE3  Time : 3993.0 sec.
user=vaughan
[2009-05-13 22:02:52]
339*2^819737-1 is not prime.  Res64: F663F88A4E78D614  Time : 8570.0 sec.
user=mdettweiler
[2009-05-13 22:04:21]
327*2^819858-1 is not prime.  Res64: C5F6CBCAC5FF152F  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 22:04:46]
315*2^819864-1 is not prime.  Res64: 3CB14E5E4ACB4A9E  Time : 3987.0 sec.
user=vaughan
[2009-05-13 22:07:18]
333*2^819756-1 is not prime.  Res64: 8DC629990ABC101E  Time : 8304.0 sec.
user=mdettweiler
[2009-05-13 22:10:07]
345*2^819886-1 is not prime.  Res64: 7BA94DC9242EBF46  Time : 3990.0 sec.
user=vaughan
[2009-05-13 22:10:38]
321*2^819766-1 is not prime.  Res64: EC4615F0D83F3242  Time : 8336.0 sec.
user=vaughan
[2009-05-13 22:12:30]
321*2^819767-1 is not prime.  Res64: 29323F25635BB34C  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 22:13:17]
339*2^819889-1 is not prime.  Res64: 99C7DDCD34915517  Time : 3995.0 sec.
user=vaughan
[2009-05-13 22:17:07]
333*2^819767-1 is not prime.  Res64: D9EE2A87CB49D85D  Time : 8561.0 sec.
user=mdettweiler
[2009-05-13 22:17:40]
333*2^819890-1 is not prime.  Res64: 29E81ED3932E6AC1  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 22:18:06]
315*2^819902-1 is not prime.  Res64: 59AD62A2C150A567  Time : 3988.0 sec.
user=vaughan
[2009-05-13 22:21:08]
315*2^819775-1 is not prime.  Res64: D9022EF401897EEA  Time : 8307.0 sec.
user=mdettweiler
[2009-05-13 22:23:28]
321*2^819910-1 is not prime.  Res64: 562894F7220F0F6D  Time : 3995.0 sec.
user=vaughan
[2009-05-13 22:24:32]
327*2^819785-1 is not prime.  Res64: A19FC8D31E069778  Time : 8340.0 sec.
user=vaughan
[2009-05-13 22:26:23]
339*2^819785-1 is not prime.  Res64: 740D0DBEDDDDD6B7  Time : 8315.0 sec.
user=mdettweiler
[2009-05-13 22:26:34]
333*2^819914-1 is not prime.  Res64: 2022CB48A8421B2E  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 22:30:58]
315*2^819917-1 is not prime.  Res64: 8869DA6F51970209  Time : 3992.0 sec.
user=vaughan
[2009-05-13 22:31:21]
333*2^819788-1 is not prime.  Res64: 584E136CC17767B8  Time : 8561.0 sec.
user=mdettweiler
[2009-05-13 22:31:24]
321*2^819922-1 is not prime.  Res64: 9F6E8140BEF22B3E  Time : 3990.0 sec.
user=vaughan
[2009-05-13 22:34:57]
321*2^819794-1 is not prime.  Res64: F451139865DD98AB  Time : 8306.0 sec.
user=mdettweiler
[2009-05-13 22:36:43]
315*2^819950-1 is not prime.  Res64: 05933B6CA2103463  Time : 3992.0 sec.
user=vaughan
[2009-05-13 22:38:24]
339*2^819795-1 is not prime.  Res64: 650B4933FCE69BD6  Time : 8338.0 sec.
user=mdettweiler
[2009-05-13 22:39:53]
345*2^819951-1 is not prime.  Res64: 9631BC5FB3C3BA67  Time : 3994.0 sec.
user=vaughan
[2009-05-13 22:40:14]
333*2^819798-1 is not prime.  Res64: 7852D41EF090A895  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 22:44:18]
327*2^819953-1 is not prime.  Res64: 1B6880690055258E  Time : 3993.0 sec.
user=mdettweiler
[2009-05-13 22:44:44]
315*2^819954-1 is not prime.  Res64: 0B07348BD70C4CEE  Time : 3990.0 sec.
user=vaughan
[2009-05-13 22:45:41]
321*2^819801-1 is not prime.  Res64: DB185643CFE6E1A2  Time : 8565.0 sec.
user=vaughan
[2009-05-13 22:48:52]
339*2^819808-1 is not prime.  Res64: 6A270EA029551E71  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 22:50:01]
345*2^819957-1 is not prime.  Res64: 7C7861F07E1F1A22  Time : 3992.0 sec.
user=vaughan
[2009-05-13 22:52:22]
315*2^819814-1 is not prime.  Res64: 001710C32AAF70C4  Time : 8345.0 sec.
user=mdettweiler
[2009-05-13 22:53:14]
339*2^819963-1 is not prime.  Res64: 43448BFBAE336036  Time : 3996.0 sec.
user=vaughan
[2009-05-13 22:54:09]
333*2^819815-1 is not prime.  Res64: F34CC89BA379FD99  Time : 8322.0 sec.
user=mdettweiler
[2009-05-13 22:57:36]
327*2^819965-1 is not prime.  Res64: 67819B623235FAA6  Time : 3993.0 sec.
user=mdettweiler
[2009-05-13 22:58:02]
327*2^819969-1 is not prime.  Res64: 8368EC2BB98F213B  Time : 3994.0 sec.
user=vaughan
[2009-05-13 22:59:59]
327*2^819820-1 is not prime.  Res64: 351BCFDC1C56D7E9  Time : 8568.0 sec.
user=vaughan
[2009-05-13 23:02:40]
315*2^819827-1 is not prime.  Res64: C8195D9C01188D6A  Time : 8313.0 sec.
user=mdettweiler
[2009-05-13 23:03:19]
333*2^819974-1 is not prime.  Res64: B3DC9418C4191A9E  Time : 3989.0 sec.
user=vaughan
[2009-05-13 23:06:13]
327*2^819849-1 is not prime.  Res64: E8ED9356E7193746  Time : 8344.0 sec.
user=mdettweiler
[2009-05-13 23:06:32]
315*2^819981-1 is not prime.  Res64: C4CBC6F52AB9A554  Time : 3993.0 sec.
user=vaughan
[2009-05-13 23:07:58]
339*2^819849-1 is not prime.  Res64: 1A1062558B41E085  Time : 8321.0 sec.
user=mdettweiler
[2009-05-13 23:10:56]
327*2^819981-1 is not prime.  Res64: 00FD0A52B47543E8  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 23:11:21]
315*2^819982-1 is not prime.  Res64: 3208D8967800E35F  Time : 3996.0 sec.
user=vaughan
[2009-05-13 23:14:12]
333*2^819851-1 is not prime.  Res64: 6B75315CBC0C53E6  Time : 8566.0 sec.
user=vaughan
[2009-05-13 23:16:33]
327*2^819861-1 is not prime.  Res64: E450B1EEB154C874  Time : 8316.0 sec.
user=mdettweiler
[2009-05-13 23:16:39]
339*2^819983-1 is not prime.  Res64: 38F533BEB9498F95  Time : 3992.0 sec.
user=mdettweiler
[2009-05-13 23:19:48]
327*2^819986-1 is not prime.  Res64: 91D73B998F94CEE5  Time : 3991.0 sec.
user=vaughan
[2009-05-13 23:20:10]
327*2^819868-1 is not prime.  Res64: A383885FF30C371B  Time : 8349.0 sec.
user=vaughan
[2009-05-13 23:21:51]
321*2^819885-1 is not prime.  Res64: 6EFC423C4611A5C0  Time : 8324.0 sec.
user=mdettweiler
[2009-05-13 23:24:14]
321*2^819991-1 is not prime.  Res64: FB2A1CBB46142DDC  Time : 3995.0 sec.
user=mdettweiler
[2009-05-13 23:24:39]
345*2^820000-1 is not prime.  Res64: 919383226DA64600  Time : 3993.0 sec.
user=vaughan
[2009-05-13 23:28:27]
321*2^819887-1 is not prime.  Res64: B65EDFF5A79ABD61  Time : 8566.0 sec.
user=mdettweiler
[2009-05-13 23:29:59]
345*2^820006-1 is not prime.  Res64: 62B52287DD87952D  Time : 3992.0 sec.
user=vaughan
[2009-05-13 23:30:22]
315*2^819907-1 is not prime.  Res64: 071BD4352426D008  Time : 8318.0 sec.
user=mdettweiler
[2009-05-13 23:33:07]
339*2^820015-1 is not prime.  Res64: 6CB2B008FDA64704  Time : 3993.0 sec.
user=vaughan
[2009-05-13 23:34:02]
315*2^819910-1 is not prime.  Res64: 6C860E07305E0F4E  Time : 8348.0 sec.
user=vaughan
[2009-05-13 23:35:47]
321*2^819911-1 is not prime.  Res64: 6855C10556BED490  Time : 8326.0 sec.
user=mdettweiler
[2009-05-13 23:37:36]
327*2^820018-1 is not prime.  Res64: E7E8F7D339F41F13  Time : 3998.0 sec.
user=mdettweiler
[2009-05-13 23:37:57]
327*2^820021-1 is not prime.  Res64: 16CE95380D0AAF1D  Time : 3993.0 sec.
user=vaughan
[2009-05-13 23:43:06]
345*2^819916-1 is not prime.  Res64: 79B45870205F059A  Time : 8585.0 sec.
user=mdettweiler
[2009-05-13 23:43:16]
345*2^820024-1 is not prime.  Res64: 4728EEDBE570C44D  Time : 3993.0 sec.
user=vaughan
[2009-05-13 23:44:13]
339*2^819931-1 is not prime.  Res64: CBB8CA2FCA625799  Time : 8318.0 sec.
user=mdettweiler
[2009-05-13 23:46:23]
315*2^820030-1 is not prime.  Res64: 78F4D7BFCF848E88  Time : 3990.0 sec.
user=vaughan
[2009-05-13 23:47:55]
315*2^819946-1 is not prime.  Res64: AEE715B9C5F5EBE3  Time : 8348.0 sec.
user=vaughan
[2009-05-13 23:49:35]
339*2^819951-1 is not prime.  Res64: BE668679BAD8C697  Time : 8325.0 sec.
user=mdettweiler
[2009-05-13 23:50:54]
339*2^820045-1 is not prime.  Res64: B01E7C38857402C5  Time : 3996.0 sec.
user=mdettweiler
[2009-05-13 23:51:18]
321*2^820047-1 is not prime.  Res64: D5A05730B9EFF9AB  Time : 3994.0 sec.
user=mdettweiler
[2009-05-13 23:56:33]
327*2^820056-1 is not prime.  Res64: A131DB93DE1BDA05  Time : 3992.0 sec.
user=vaughan
[2009-05-13 23:57:06]
315*2^819952-1 is not prime.  Res64: C6543E0F8ABB2E78  Time : 8572.0 sec.
user=vaughan
[2009-05-13 23:58:06]
333*2^819954-1 is not prime.  Res64: 212F482C13DA5EB8  Time : 8311.0 sec.
user=mdettweiler
[2009-05-13 23:59:44]
321*2^820062-1 is not prime.  Res64: 7603D0A90BD22E6C  Time : 3990.0 sec.