user=gd_barnes
[10/06/08 07:02:48]
257*2^868110-1 is not prime.  Res64: 704BF9E9CDEDF9FE  Time : 4494.0 sec.
user=henryzz
[10/06/08 07:04:13]
293*2^825680-1 is not prime.  Res64: FCE7C1D07E87DF74  Time : 4137.0 sec.
user=gd_barnes
[10/06/08 07:12:09]
241*2^914313-1 is not prime.  Res64: 986BE2F2E917678F  Time : 2603.0 sec.
user=gd_barnes
[10/06/08 07:12:18]
175*2^928397-1 is not prime.  Res64: 1B0AB4C5B3E25615  Time : 2639.0 sec.
user=tnerual
[10/06/08 07:16:18]
293*2^875860-1 is not prime.  Res64: D175632D06832668  Time : 6965.0 sec.
user=henryzz
[10/06/08 07:20:21]
271*2^915179-1 is not prime.  Res64: 574AEEEB5F408593  Time : 4250.0 sec.
user=mdettweiler
[10/06/08 07:21:16]
115*2^944531-1 is not prime.  Res64: 6B3DE51DD3BCD68E  Time : 15082.0 sec.
user=tnerual
[10/06/08 07:29:14]
257*2^855306-1 is not prime.  Res64: BA50BB072B43B8A3  Time : 5842.0 sec.
user=McDuck
[10/06/08 07:31:28]
257*2^899782-1 is not prime.  Res64: 666764E99D561CC4  Time : 15243.0 sec.
user=henryzz
[10/06/08 07:34:34]
265*2^915511-1 is not prime.  Res64: 55FE74386720E495  Time : 4258.0 sec.
user=mdettweiler
[10/06/08 07:44:48]
265*2^857257-1 is not prime.  Res64: D030996F396E512B  Time : 14935.0 sec.
user=henryzz
[10/06/08 07:48:26]
265*2^892855-1 is not prime.  Res64: 05596397E477298B  Time : 4246.0 sec.
user=gd_barnes
[10/06/08 07:53:58]
241*2^889031-1 is not prime.  Res64: 6749571FBD62608B  Time : 2509.0 sec.
user=gd_barnes
[10/06/08 07:54:04]
265*2^888643-1 is not prime.  Res64: 83D5B077D7696885  Time : 2506.0 sec.
user=henryzz
[10/06/08 08:01:50]
257*2^850536-1 is not prime.  Res64: 2D1FE39A8723714B  Time : 4228.0 sec.
user=gd_barnes
[10/06/08 08:06:36]
241*2^821721-1 is not prime.  Res64: 7FB01BDFE4B1DD38  Time : 4323.0 sec.
user=mdettweiler
[10/06/08 08:07:10]
257*2^820914-1 is not prime.  Res64: E38A4924C0E43954  Time : 14736.0 sec.
user=tnerual
[10/06/08 08:12:06]
271*2^870001-1 is not prime.  Res64: 21E1D2BA4EF146EE  Time : 5527.0 sec.
user=gd_barnes
[10/06/08 08:12:28]
265*2^820615-1 is not prime.  Res64: 66F8A27B44D172F1  Time : 4180.0 sec.
user=henryzz
[10/06/08 08:16:41]
215*2^920548-1 is not prime.  Res64: 3F90BA7CF4301305  Time : 4348.0 sec.
user=McDuck
[10/06/08 08:17:21]
271*2^816019-1 is not prime.  Res64: CE6C0DD16748B995  Time : 14789.0 sec.
user=tnerual
[10/06/08 08:26:53]
215*2^921528-1 is not prime.  Res64: D46E66588B309290  Time : 7841.0 sec.
user=mdettweiler
[10/06/08 08:29:31]
265*2^819463-1 is not prime.  Res64: D701B728D3B85411  Time : 14639.0 sec.
user=henryzz
[10/06/08 08:29:47]
265*2^827265-1 is not prime.  Res64: 5CA618A4FE780A12  Time : 4167.0 sec.
user=gd_barnes
[10/06/08 08:32:50]
241*2^818511-1 is not prime.  Res64: 55C9E6D9F2565EF1  Time : 2332.0 sec.
user=gd_barnes
[10/06/08 08:37:51]
199*2^923929-1 is not prime.  Res64: 41916B2E50E43762  Time : 2627.0 sec.
user=henryzz
[10/06/08 08:44:08]
241*2^899741-1 is not prime.  Res64: 67C2BEA96BAB59B8  Time : 4174.0 sec.
user=mdettweiler
[10/06/08 08:52:11]
265*2^829893-1 is not prime.  Res64: BB25A14464E694F4  Time : 14521.0 sec.
user=tnerual
[10/06/08 08:56:57]
271*2^925451-1 is not prime.  Res64: 4201F2B6E992C331  Time : 5263.0 sec.
user=henryzz
[10/06/08 08:58:10]
265*2^880735-1 is not prime.  Res64: 93B8EA88E73D7F92  Time : 4184.0 sec.
user=McDuck
[10/06/08 09:05:22]
265*2^851023-1 is not prime.  Res64: 95E6EF22C5CF1D47  Time : 14516.0 sec.
user=henryzz
[10/06/08 09:12:47]
241*2^888751-1 is not prime.  Res64: 318616609E7F929F  Time : 4257.0 sec.
user=mdettweiler
[10/06/08 09:15:45]
265*2^824083-1 is not prime.  Res64: 719FCE8F0605E0AC  Time : 14463.0 sec.
user=gd_barnes
[10/06/08 09:16:27]
199*2^924715-1 is not prime.  Res64: 035B6F9D27855A76  Time : 2617.0 sec.
user=gd_barnes
[10/06/08 09:18:55]
257*2^870666-1 is not prime.  Res64: 8261DE3654316A3A  Time : 2464.0 sec.
user=gd_barnes
[10/06/08 09:22:05]
271*2^842959-1 is not prime.  Res64: D1D6183E36522919  Time : 4529.0 sec.
user=henryzz
[10/06/08 09:26:25]
257*2^883900-1 is not prime.  Res64: B8E176727A1E2B8E  Time : 4184.0 sec.
user=gd_barnes
[10/06/08 09:36:48]
115*2^948373-1 is not prime.  Res64: CA374A85AF2FF5C5  Time : 5060.0 sec.
user=mdettweiler
[10/06/08 09:37:58]
271*2^814015-1 is not prime.  Res64: EAB6EAE97CEF3FDC  Time : 14192.0 sec.
user=tnerual
[10/06/08 09:38:21]
265*2^869269-1 is not prime.  Res64: 4101BD755AC093DE  Time : 5176.0 sec.
user=henryzz
[10/06/08 09:39:31]
265*2^852697-1 is not prime.  Res64: 1A3254D6950F8FED  Time : 4184.0 sec.
user=tnerual
[10/06/08 09:43:57]
271*2^894839-1 is not prime.  Res64: FB6ED99B2C2EFE98  Time : 8859.0 sec.
user=henryzz
[10/06/08 09:53:29]
293*2^917698-1 is not prime.  Res64: 6CFA18FAAD083043  Time : 4161.0 sec.
user=McDuck
[10/06/08 09:55:16]
241*2^886811-1 is not prime.  Res64: 6094B55471398234  Time : 14457.0 sec.
user=gd_barnes
[10/06/08 09:55:18]
241*2^823439-1 is not prime.  Res64: 77F1A6A85AF46E97  Time : 2331.0 sec.
user=mdettweiler
[10/06/08 10:00:31]
271*2^826665-1 is not prime.  Res64: EDD3BDF9F97EB5CB  Time : 14171.0 sec.
user=gd_barnes
[10/06/08 10:01:40]
293*2^906338-1 is not prime.  Res64: F4CB6A2D2292FE07  Time : 2565.0 sec.
user=henryzz
[10/06/08 10:07:06]
293*2^893130-1 is not prime.  Res64: 1BC086AF33B09DB6  Time : 4136.0 sec.
user=henryzz
[10/06/08 10:19:29]
257*2^817770-1 is not prime.  Res64: 83793D93C0D2A7C1  Time : 4002.0 sec.
user=tnerual
[10/06/08 10:24:50]
241*2^900507-1 is not prime.  Res64: 29F5620F09269CB2  Time : 5273.0 sec.
user=mdettweiler
[10/06/08 10:25:26]
265*2^914071-1 is not prime.  Res64: 9B60EE21BCD070BA  Time : 14121.0 sec.
user=henryzz
[10/06/08 10:32:06]
257*2^831426-1 is not prime.  Res64: 2BBFA12A5EE34CA7  Time : 3941.0 sec.
user=gd_barnes
[10/06/08 10:34:16]
257*2^819310-1 is not prime.  Res64: 3097D4758CD989ED  Time : 4331.0 sec.
user=gd_barnes
[10/06/08 10:39:27]
149*2^939292-1 is not prime.  Res64: 6E8926009560192F  Time : 2649.0 sec.
user=McDuck
[10/06/08 10:43:41]
293*2^860730-1 is not prime.  Res64: 50E2F4C8860C9BFF  Time : 14575.0 sec.
user=tnerual
[10/06/08 10:44:13]
293*2^877376-1 is not prime.  Res64: 822B4163A6D889A4  Time : 8240.0 sec.
user=gd_barnes
[10/06/08 10:44:23]
257*2^907390-1 is not prime.  Res64: 831228F92CC04118  Time : 2564.0 sec.
user=henryzz
[10/06/08 10:44:47]
257*2^837992-1 is not prime.  Res64: A931BAF39D0FE0F2  Time : 3916.0 sec.
user=mdettweiler
[10/06/08 10:49:59]
271*2^897117-1 is not prime.  Res64: 8B7816C9A4B474FF  Time : 14085.0 sec.
user=gd_barnes
[10/06/08 10:53:32]
239*2^866164-1 is not prime.  Res64: 5845F265657D63E7  Time : 4604.0 sec.
user=henryzz
[10/06/08 10:57:17]
241*2^826511-1 is not prime.  Res64: 5C56EF88D40007BB  Time : 3829.0 sec.
user=tnerual
[10/06/08 11:05:20]
293*2^867644-1 is not prime.  Res64: B61A35C8FD6A381E  Time : 5219.0 sec.
user=henryzz
[10/06/08 11:10:13]
241*2^827031-1 is not prime.  Res64: 76C39217AF7C191F  Time : 3787.0 sec.
user=mdettweiler
[10/06/08 11:13:50]
265*2^876619-1 is not prime.  Res64: E0C30C56017BD5B3  Time : 13954.0 sec.
user=gd_barnes
[10/06/08 11:22:53]
293*2^910064-1 is not prime.  Res64: 1BA226545C3EF542  Time : 2606.0 sec.
user=gd_barnes
[10/06/08 11:28:36]
271*2^925915-1 is not prime.  Res64: DFFEE6B12E6FBEF1  Time : 2653.0 sec.
user=henryzz
[10/06/08 11:29:27]
199*2^925079-1 is not prime.  Res64: B73D444EB6FC9FB0  Time : 4198.0 sec.
user=McDuck
[10/06/08 11:33:05]
293*2^876868-1 is not prime.  Res64: 352746FFCC916539  Time : 14498.0 sec.
user=mdettweiler
[10/06/08 11:38:54]
215*2^921160-1 is not prime.  Res64: 18114C33B9A3F516  Time : 14047.0 sec.
user=tnerual
[10/06/08 11:46:26]
265*2^857743-1 is not prime.  Res64: AC38A5AF821E2E97  Time : 4896.0 sec.
user=henryzz
[10/06/08 11:48:40]
115*2^947959-1 is not prime.  Res64: 42AAA9321C96DFEF  Time : 4594.0 sec.
user=gd_barnes
[10/06/08 11:50:56]
293*2^858242-1 is not prime.  Res64: 0B5C394B34A7E561  Time : 4600.0 sec.
user=tnerual
[10/06/08 11:59:36]
175*2^931751-1 is not prime.  Res64: 8D335DFD753A6B4D  Time : 8139.0 sec.
user=mdettweiler
[10/06/08 12:02:16]
257*2^859552-1 is not prime.  Res64: C8D3539363248B6C  Time : 14106.0 sec.
user=henryzz
[10/06/08 12:05:42]
265*2^865717-1 is not prime.  Res64: 1043A385DB5AD6BF  Time : 4855.0 sec.
user=gd_barnes
[10/06/08 12:06:31]
215*2^922982-1 is not prime.  Res64: EA0AF8628BD7D1D0  Time : 2618.0 sec.
user=gd_barnes
[10/06/08 12:10:28]
257*2^886300-1 is not prime.  Res64: 10ADD2FC99761727  Time : 2512.0 sec.
user=gd_barnes
[10/06/08 12:12:36]
265*2^888475-1 is not prime.  Res64: 5948022B2DBBBCB3  Time : 4744.0 sec.
user=McDuck
[10/06/08 12:20:18]
293*2^837812-1 is not prime.  Res64: BD9373493FD4000E  Time : 14577.0 sec.
user=henryzz
[10/06/08 12:23:44]
199*2^928353-1 is not prime.  Res64: 825DEE7AAF6891F1  Time : 5187.0 sec.
user=mdettweiler
[10/06/08 12:25:04]
265*2^829931-1 is not prime.  Res64: D3B76DFFF6849E0D  Time : 14133.0 sec.
user=tnerual
[10/06/08 12:26:01]
241*2^814601-1 is not prime.  Res64: 7E7906BC1F1C561A  Time : 4842.0 sec.
user=henryzz
[10/06/08 12:38:17]
241*2^889233-1 is not prime.  Res64: 9644539EF0EC42E4  Time : 5284.0 sec.
user=gd_barnes
[10/06/08 12:50:11]
229*2^923923-1 is not prime.  Res64: BBD9B57BF13EFB67  Time : 2620.0 sec.
user=mdettweiler
[10/06/08 12:50:13]
257*2^927132-1 is not prime.  Res64: 8F16548DD7185050  Time : 14282.0 sec.
user=gd_barnes
[10/06/08 12:52:19]
241*2^885389-1 is not prime.  Res64: 736D8A37D7DCC06E  Time : 2511.0 sec.
user=henryzz
[10/06/08 12:53:23]
265*2^918547-1 is not prime.  Res64: 1056A95392C54A76  Time : 5036.0 sec.
user=tnerual
[10/06/08 13:00:24]
265*2^816097-1 is not prime.  Res64: 92B41A71486FF444  Time : 8171.0 sec.
user=gd_barnes
[10/06/08 13:06:37]
257*2^836670-1 is not prime.  Res64: 2685ACF2A2382071  Time : 4541.0 sec.
user=henryzz
[10/06/08 13:06:46]
257*2^847976-1 is not prime.  Res64: 94FF90129B263C3F  Time : 4686.0 sec.
user=McDuck
[10/06/08 13:13:26]
215*2^924362-1 is not prime.  Res64: C49D5B485589D65A  Time : 14884.0 sec.
user=mdettweiler
[10/06/08 13:15:41]
175*2^933051-1 is not prime.  Res64: 4BD2823A94337CC3  Time : 14397.0 sec.
user=tnerual
[10/06/08 13:15:44]
271*2^891897-1 is not prime.  Res64: 4DBE558138120563  Time : 5358.0 sec.
user=gd_barnes
[10/06/08 13:33:32]
293*2^906850-1 is not prime.  Res64: 71EBC0FCF72F6C99  Time : 2601.0 sec.
user=gd_barnes
[10/06/08 13:35:45]
227*2^923884-1 is not prime.  Res64: A6061D98B0B6137F  Time : 4989.0 sec.
user=gd_barnes
[10/06/08 13:36:04]
293*2^915320-1 is not prime.  Res64: FCF5CFADC6C1BD5C  Time : 2625.0 sec.
user=mdettweiler
[10/06/08 13:39:07]
265*2^859727-1 is not prime.  Res64: 6EE003C899530881  Time : 14470.0 sec.
user=tnerual
[10/06/08 13:56:22]
293*2^860712-1 is not prime.  Res64: 3C4C70AC824E9838  Time : 5421.0 sec.
user=mdettweiler
[10/06/08 14:02:20]
265*2^850705-1 is not prime.  Res64: 24435878A4D2658A  Time : 14510.0 sec.
user=McDuck
[10/06/08 14:05:27]
257*2^922336-1 is not prime.  Res64: 15890E55DD65BB45  Time : 15011.0 sec.
user=gd_barnes
[10/06/08 14:14:55]
293*2^810392-1 is not prime.  Res64: D1310AD2712EB620  Time : 2331.0 sec.
user=gd_barnes
[10/06/08 14:18:24]
175*2^936083-1 is not prime.  Res64: 6582158BE9B3D15C  Time : 2692.0 sec.
user=mdettweiler
[10/06/08 14:28:48]
239*2^874364-1 is not prime.  Res64: A8B11A720B9B07EA  Time : 14602.0 sec.
user=gd_barnes
[10/06/08 14:30:19]
227*2^924458-1 is not prime.  Res64: 94BDC12B30F27692  Time : 5022.0 sec.
user=tnerual
[10/06/08 14:30:23]
293*2^885754-1 is not prime.  Res64: F228B710E748C531  Time : 9047.0 sec.
user=tnerual
[10/06/08 14:39:29]
293*2^916216-1 is not prime.  Res64: D16A7B438A5D71F3  Time : 5025.0 sec.
user=gd_barnes
[10/06/08 14:49:12]
265*2^838319-1 is not prime.  Res64: BC8E1768216DE7C1  Time : 4407.0 sec.
user=mdettweiler
[10/06/08 14:52:17]
265*2^888043-1 is not prime.  Res64: 64741A23EDA83E04  Time : 14538.0 sec.
user=McDuck
[10/06/08 14:55:17]
257*2^885030-1 is not prime.  Res64: A18875300472800E  Time : 15096.0 sec.
user=gd_barnes
[10/06/08 14:56:35]
257*2^847184-1 is not prime.  Res64: 91DBBC17A1B900E8  Time : 2500.0 sec.
user=gd_barnes
[10/06/08 15:00:19]
293*2^922994-1 is not prime.  Res64: AADDE37B090F25F3  Time : 2515.0 sec.
user=mdettweiler
[10/06/08 15:21:49]
115*2^948651-1 is not prime.  Res64: E7E8692A6FD6FAD7  Time : 14879.0 sec.
user=tnerual
[10/06/08 15:23:04]
229*2^926811-1 is not prime.  Res64: B68B41C63C425F13  Time : 5202.0 sec.
user=McDuck
[10/06/08 15:47:16]
215*2^924598-1 is not prime.  Res64: B4BA104477D242E7  Time : 15252.0 sec.
user=mdettweiler
[10/06/08 15:48:02]
293*2^875370-1 is not prime.  Res64: B2A820D63CC2CF14  Time : 14948.0 sec.
user=gd_barnes
[10/06/08 15:51:59]
199*2^931449-1 is not prime.  Res64: 0820C8DB70A19183  Time : 4900.0 sec.
user=tnerual
[10/06/08 16:00:26]
293*2^826922-1 is not prime.  Res64: 25B8E464F13E82E6  Time : 10802.0 sec.
user=tnerual
[10/06/08 16:05:39]
265*2^904739-1 is not prime.  Res64: 03AEF597772DC0D0  Time : 5170.0 sec.
user=mdettweiler
[10/06/08 16:13:47]
293*2^868506-1 is not prime.  Res64: 90CF8F7A841DF095  Time : 15091.0 sec.
user=McDuck
[10/06/08 16:33:32]
293*2^821172-1 is not prime.  Res64: C8511AE99A4707D2  Time : 15195.0 sec.
user=mdettweiler
[10/06/08 16:41:04]
265*2^923171-1 is not prime.  Res64: 9CCB66AD2D725869  Time : 15360.0 sec.
user=tnerual
[10/06/08 16:45:29]
257*2^849934-1 is not prime.  Res64: 4091FD8DD822F9E7  Time : 4945.0 sec.
user=mdettweiler
[10/06/08 17:07:12]
257*2^885880-1 is not prime.  Res64: 0D92EF9B50567B18  Time : 15419.0 sec.
user=McDuck
[10/06/08 17:24:53]
293*2^913474-1 is not prime.  Res64: 10521ADB6D42094F  Time : 15087.0 sec.
user=tnerual
[10/06/08 17:25:40]
271*2^854869-1 is not prime.  Res64: C84C63675D686FC6  Time : 4801.0 sec.
user=mdettweiler
[10/06/08 17:30:15]
271*2^827427-1 is not prime.  Res64: D67E628A46F3CA69  Time : 15274.0 sec.
user=tnerual
[10/06/08 17:35:08]
265*2^873175-1 is not prime.  Res64: 8BAF0716E95234D3  Time : 11085.0 sec.
user=mdettweiler
[10/06/08 17:53:51]
271*2^859547-1 is not prime.  Res64: A4005A864C627709  Time : 15284.0 sec.
user=tnerual
[10/06/08 18:06:14]
271*2^862591-1 is not prime.  Res64: D31F1F7F066ABF63  Time : 4845.0 sec.
user=McDuck
[10/06/08 18:12:14]
241*2^839933-1 is not prime.  Res64: 65D3DCB29EAFC8EE  Time : 14808.0 sec.
user=mdettweiler
[10/06/08 18:17:25]
241*2^850301-1 is not prime.  Res64: CFD0FC28DA403D51  Time : 15305.0 sec.
user=mdettweiler
[10/06/08 18:41:16]
293*2^818522-1 is not prime.  Res64: BFE78B48EC42DD06  Time : 15149.0 sec.
user=tnerual
[10/06/08 18:46:03]
271*2^860699-1 is not prime.  Res64: 2BAB43621104401E  Time : 9937.0 sec.
user=tnerual
[10/06/08 18:47:38]
265*2^883637-1 is not prime.  Res64: E752B57BA7AD0FE6  Time : 4918.0 sec.
user=McDuck
[10/06/08 18:59:20]
241*2^825777-1 is not prime.  Res64: C8CAD178995F03C7  Time : 14643.0 sec.
user=mdettweiler
[10/06/08 19:04:34]
293*2^824928-1 is not prime.  Res64: 57E84DB91EF60574  Time : 15138.0 sec.
user=tnerual
[10/06/08 19:28:45]
241*2^887307-1 is not prime.  Res64: 31F6F66ACDFA78A9  Time : 4952.0 sec.
user=mdettweiler
[10/06/08 19:31:40]
265*2^926351-1 is not prime.  Res64: 7626A37949724908  Time : 14991.0 sec.
user=tnerual
[10/06/08 19:44:58]
257*2^830412-1 is not prime.  Res64: F5804971210796F4  Time : 7790.0 sec.
user=McDuck
[10/06/08 19:51:43]
229*2^927137-1 is not prime.  Res64: 31AB810201DA5EAD  Time : 14667.0 sec.
user=mdettweiler
[10/06/08 19:56:41]
271*2^883439-1 is not prime.  Res64: 9A34F9879B9C22F8  Time : 14919.0 sec.
user=tnerual
[10/06/08 20:10:17]
293*2^893522-1 is not prime.  Res64: 36C2CF5F8A12A773  Time : 4960.0 sec.
user=mdettweiler
[10/06/08 20:21:22]
293*2^868658-1 is not prime.  Res64: 8396CC431E8F9226  Time : 14855.0 sec.
user=McDuck
[10/06/08 20:42:00]
241*2^892479-1 is not prime.  Res64: 52BF157339304957  Time : 14908.0 sec.
user=tnerual
[10/06/08 20:46:34]
239*2^864604-1 is not prime.  Res64: FC549C0F0116087A  Time : 7231.0 sec.
user=mdettweiler
[10/06/08 20:47:47]
265*2^913847-1 is not prime.  Res64: 0E2A3FB9615A827A  Time : 14803.0 sec.
user=tnerual
[10/06/08 20:54:02]
149*2^945420-1 is not prime.  Res64: 20B9A2E6962C05FE  Time : 5117.0 sec.
user=mdettweiler
[10/06/08 21:10:43]
257*2^824264-1 is not prime.  Res64: 2D106BE9FF55DB50  Time : 14611.0 sec.
user=McDuck
[10/06/08 21:34:22]
215*2^930858-1 is not prime.  Res64: 2A349E98418DC376  Time : 14969.0 sec.
user=mdettweiler
[10/06/08 21:35:35]
271*2^872667-1 is not prime.  Res64: D45ACC4CEBA3850F  Time : 14721.0 sec.
user=tnerual
[10/06/08 21:38:07]
185*2^937578-1 is not prime.  Res64: 215B1AA3EA80263D  Time : 5271.0 sec.
user=tnerual
[10/06/08 21:55:08]
257*2^850524-1 is not prime.  Res64: 796277D2E7E6AE9D  Time : 7810.0 sec.
user=tnerual
[10/06/08 22:19:47]
293*2^845612-1 is not prime.  Res64: 751AFDC4D3A0E3BE  Time : 5145.0 sec.
user=McDuck
[10/06/08 22:21:40]
265*2^839769-1 is not prime.  Res64: 1121FB05B461FE70  Time : 14966.0 sec.
user=tnerual
[10/06/08 23:03:26]
257*2^819624-1 is not prime.  Res64: AA18972BE516919A  Time : 8212.0 sec.
user=McDuck
[10/06/08 23:11:19]
271*2^880271-1 is not prime.  Res64: DC1EB0AADEAD24D9  Time : 15119.0 sec.
user=tnerual
[10/06/08 23:12:10]
175*2^940691-1 is not prime.  Res64: 667F428AEA758B5D  Time : 5643.0 sec.
user=henryzz
[10/06/08 23:13:51]
239*2^897532-1 is not prime.  Res64: D31CC0DD81FBE94F  Time : 40089.0 sec.
user=henryzz
[10/06/08 23:27:53]
293*2^904778-1 is not prime.  Res64: 6DE167A19DEE93D2  Time : 39849.0 sec.
user=tnerual
[10/06/08 23:59:46]
257*2^836566-1 is not prime.  Res64: 13DA2CEA5A942B2B  Time : 5999.0 sec.
user=McDuck
[10/07/08 00:03:30]
241*2^928599-1 is not prime.  Res64: D6C551FFF5CC95E3  Time : 15107.0 sec.
user=tnerual
[10/07/08 00:10:23]
271*2^849355-1 is not prime.  Res64: FF30827B5AEF5140  Time : 8116.0 sec.
user=McDuck
[10/07/08 00:49:24]
241*2^815337-1 is not prime.  Res64: F8CCDB39812B2866  Time : 14844.0 sec.
user=tnerual
[10/07/08 00:53:02]
185*2^936132-1 is not prime.  Res64: 36B5388B31904FDB  Time : 6053.0 sec.
user=tnerual
[10/07/08 01:15:31]
265*2^823423-1 is not prime.  Res64: E3C7830EC7D27F1B  Time : 7926.0 sec.
user=McDuck
[10/07/08 01:36:01]
257*2^826356-1 is not prime.  Res64: D599435DBE9AD6D8  Time : 14500.0 sec.
user=tnerual
[10/07/08 01:45:46]
257*2^927982-1 is not prime.  Res64: 180A0E2399B02D7C  Time : 6360.0 sec.
user=McDuck
[10/07/08 02:26:00]
239*2^886700-1 is not prime.  Res64: 57D85B99984A8CB3  Time : 14661.0 sec.
user=tnerual
[10/07/08 02:29:08]
199*2^934591-1 is not prime.  Res64: 5CD5397737C88AD2  Time : 8325.0 sec.
user=tnerual
[10/07/08 02:38:14]
265*2^920555-1 is not prime.  Res64: 25116800BCDC9ABB  Time : 6312.0 sec.
user=McDuck
[10/07/08 03:13:57]
257*2^853764-1 is not prime.  Res64: 1ACF90F640F5D73D  Time : 14558.0 sec.
user=tnerual
[10/07/08 03:30:37]
239*2^919196-1 is not prime.  Res64: A562E2FB018C5B64  Time : 6291.0 sec.
user=tnerual
[10/07/08 03:39:00]
257*2^875722-1 is not prime.  Res64: 0855239490952A9E  Time : 8609.0 sec.
user=McDuck
[10/07/08 03:59:33]
271*2^810455-1 is not prime.  Res64: 146087FBE3BE3D58  Time : 14163.0 sec.
user=tnerual
[10/07/08 04:22:25]
271*2^915547-1 is not prime.  Res64: 9879F3DB2FBCF283  Time : 6251.0 sec.
user=tnerual
[10/07/08 04:32:49]
239*2^892324-1 is not prime.  Res64: EA954862B630E37A  Time : 7421.0 sec.
user=McDuck
[10/07/08 04:46:09]
293*2^826112-1 is not prime.  Res64: 83FB4E4A707E57E2  Time : 14205.0 sec.
user=tnerual
[10/07/08 05:09:59]
239*2^848476-1 is not prime.  Res64: AF10C6CB1C7D079B  Time : 5963.0 sec.
user=tnerual
[10/07/08 05:21:01]
265*2^823381-1 is not prime.  Res64: CC8773CEB79D094C  Time : 6121.0 sec.
user=McDuck
[10/07/08 05:33:59]
271*2^850267-1 is not prime.  Res64: EF21AFEE5FF4E8E5  Time : 14278.0 sec.
user=tnerual
[10/07/08 05:59:33]
241*2^887231-1 is not prime.  Res64: 8D9316DA8E56DA0F  Time : 5828.0 sec.
user=tnerual
[10/07/08 06:11:37]
271*2^871017-1 is not prime.  Res64: 5D7C5317C01A00D5  Time : 5928.0 sec.
user=McDuck
[10/07/08 06:24:44]
257*2^902344-1 is not prime.  Res64: 5A0AC7B1B96C0736  Time : 14324.0 sec.
user=tnerual
[10/07/08 06:49:04]
265*2^888805-1 is not prime.  Res64: 86FA9961FD9C354B  Time : 5945.0 sec.