user=mdettweiler
[2009-05-09 00:01:12]
333*2^804999-1 is not prime.  Res64: E223D5049F72EDA4  Time : 3929.0 sec.
user=vaughan
[2009-05-09 00:04:03]
315*2^804847-1 is not prime.  Res64: 06F761DD871DAF5C  Time : 8305.0 sec.
user=vaughan
[2009-05-09 00:04:12]
315*2^804854-1 is not prime.  Res64: 1C0F971FB26E3AB5  Time : 8186.0 sec.
user=mdettweiler
[2009-05-09 00:04:59]
315*2^805005-1 is not prime.  Res64: 7A2D134417AD379A  Time : 3917.0 sec.
user=vaughan
[2009-05-09 00:05:50]
315*2^805127-1 is not prime.  Res64: 371E7023F695EF29  Time : 937.0 sec.
user=vaughan
[2009-05-09 00:05:53]
321*2^805133-1 is not prime.  Res64: 9370A2F76ABFE15F  Time : 915.0 sec.
user=kar_bon
[2009-05-09 00:06:37]
321*2^804818-1 is not prime.  Res64: E3E1010F7645349E  Time : 9001.0 sec.
user=mdettweiler
[2009-05-09 00:09:43]
315*2^805014-1 is not prime.  Res64: C7F085D0370AD635  Time : 3905.0 sec.
user=vaughan
[2009-05-09 00:12:34]
315*2^804869-1 is not prime.  Res64: 45A6236C0A545536  Time : 8152.0 sec.
user=vaughan
[2009-05-09 00:12:52]
339*2^805143-1 is not prime.  Res64: E0E6FA781886805B  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 00:13:47]
339*2^805023-1 is not prime.  Res64: FDB7682D6127E020  Time : 3908.0 sec.
user=mdettweiler
[2009-05-09 00:14:14]
345*2^805035-1 is not prime.  Res64: 17D8C8D1DEED3A69  Time : 3907.0 sec.
user=vaughan
[2009-05-09 00:14:24]
339*2^804871-1 is not prime.  Res64: A5CC39C7E6A91060  Time : 8240.0 sec.
user=vaughan
[2009-05-09 00:17:51]
333*2^804878-1 is not prime.  Res64: B5E5502BAF4708AF  Time : 8187.0 sec.
user=vaughan
[2009-05-09 00:17:53]
327*2^804873-1 is not prime.  Res64: FD257C46AAA3B65A  Time : 8304.0 sec.
user=mdettweiler
[2009-05-09 00:18:01]
345*2^805039-1 is not prime.  Res64: F63810E1BADB16E1  Time : 3913.0 sec.
user=vaughan
[2009-05-09 00:21:08]
321*2^805177-1 is not prime.  Res64: C5EDA13B9AD49802  Time : 915.0 sec.
user=vaughan
[2009-05-09 00:21:28]
345*2^805176-1 is not prime.  Res64: 31A4C676D1258035  Time : 938.0 sec.
user=kar_bon
[2009-05-09 00:21:37]
315*2^804859-1 is not prime.  Res64: 716DC1C6AE8399D0  Time : 9004.0 sec.
user=mdettweiler
[2009-05-09 00:22:45]
327*2^805040-1 is not prime.  Res64: 23AD33735BD98FC9  Time : 3907.0 sec.
user=vaughan
[2009-05-09 00:26:09]
333*2^804890-1 is not prime.  Res64: 9090CB366845FEE5  Time : 8151.0 sec.
user=mdettweiler
[2009-05-09 00:26:51]
339*2^805059-1 is not prime.  Res64: 716E05AFACA6D7D4  Time : 3913.0 sec.
user=mdettweiler
[2009-05-09 00:27:14]
315*2^805060-1 is not prime.  Res64: A0B55C92B2BFD3A3  Time : 3905.0 sec.
user=vaughan
[2009-05-09 00:28:10]
345*2^804894-1 is not prime.  Res64: E150F35AD818F019  Time : 8244.0 sec.
user=vaughan
[2009-05-09 00:28:31]
327*2^805188-1 is not prime.  Res64: 694037843041EBDB  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 00:31:04]
339*2^805072-1 is not prime.  Res64: 7AABB3DFB78D2344  Time : 3913.0 sec.
user=vaughan
[2009-05-09 00:31:30]
321*2^804911-1 is not prime.  Res64: 72A1633C5FE08A43  Time : 8186.0 sec.
user=vaughan
[2009-05-09 00:31:42]
315*2^804898-1 is not prime.  Res64: 06D2AEF9EC969923  Time : 8302.0 sec.
user=mdettweiler
[2009-05-09 00:35:47]
327*2^805074-1 is not prime.  Res64: F35E3CEC87414F12  Time : 3908.0 sec.
user=vaughan
[2009-05-09 00:36:23]
315*2^805205-1 is not prime.  Res64: A075E99DDFFEDCC2  Time : 915.0 sec.
user=kar_bon
[2009-05-09 00:36:38]
321*2^804885-1 is not prime.  Res64: 42B127BFE699A245  Time : 9005.0 sec.
user=vaughan
[2009-05-09 00:37:05]
327*2^805205-1 is not prime.  Res64: 6BCFE3C4583E5918  Time : 938.0 sec.
user=vaughan
[2009-05-09 00:39:45]
327*2^804938-1 is not prime.  Res64: 6F5C68AE6FAEA118  Time : 8153.0 sec.
user=mdettweiler
[2009-05-09 00:39:54]
321*2^805087-1 is not prime.  Res64: AD0D90AF33FCAFEC  Time : 3912.0 sec.
user=mdettweiler
[2009-05-09 00:40:17]
345*2^805089-1 is not prime.  Res64: 0F5231AAE1350AB4  Time : 3907.0 sec.
user=vaughan
[2009-05-09 00:41:53]
315*2^804939-1 is not prime.  Res64: 4FEF3A376E992975  Time : 8241.0 sec.
user=mdettweiler
[2009-05-09 00:44:05]
339*2^805105-1 is not prime.  Res64: B830230DB9B44881  Time : 3911.0 sec.
user=vaughan
[2009-05-09 00:44:11]
345*2^805222-1 is not prime.  Res64: F29EABE1C6613C61  Time : 940.0 sec.
user=vaughan
[2009-05-09 00:45:07]
327*2^804946-1 is not prime.  Res64: 6D4E186F760EFA57  Time : 8186.0 sec.
user=vaughan
[2009-05-09 00:45:31]
321*2^804941-1 is not prime.  Res64: 3103696BA9970CA8  Time : 8301.0 sec.
user=mdettweiler
[2009-05-09 00:48:48]
315*2^805109-1 is not prime.  Res64: 92B68498B8804C18  Time : 3907.0 sec.
user=kar_bon
[2009-05-09 00:51:38]
339*2^804919-1 is not prime.  Res64: FFC58DCF59F30ED5  Time : 9004.0 sec.
user=vaughan
[2009-05-09 00:51:40]
339*2^805239-1 is not prime.  Res64: 75F2BE75D1AAA186  Time : 917.0 sec.
user=vaughan
[2009-05-09 00:52:42]
315*2^805250-1 is not prime.  Res64: 5AA4C968A9932572  Time : 937.0 sec.
user=mdettweiler
[2009-05-09 00:52:57]
333*2^805119-1 is not prime.  Res64: 223F5F2FCC5D0D0F  Time : 3915.0 sec.
user=mdettweiler
[2009-05-09 00:53:17]
321*2^805122-1 is not prime.  Res64: 20DDB2E0E6086380  Time : 3907.0 sec.
user=vaughan
[2009-05-09 00:53:20]
339*2^804953-1 is not prime.  Res64: 206270C5E3D892CE  Time : 8152.0 sec.
user=vaughan
[2009-05-09 00:55:36]
333*2^804954-1 is not prime.  Res64: E4A621D9EE1A2148  Time : 8242.0 sec.
user=mdettweiler
[2009-05-09 00:57:07]
315*2^805139-1 is not prime.  Res64: B87C8710995DDEF3  Time : 3910.0 sec.
user=vaughan
[2009-05-09 00:58:45]
339*2^804967-1 is not prime.  Res64: D492A3FDCAF37E71  Time : 8184.0 sec.
user=vaughan
[2009-05-09 00:59:22]
315*2^804958-1 is not prime.  Res64: 7AEE13F04D200AA6  Time : 8301.0 sec.
user=vaughan
[2009-05-09 00:59:51]
315*2^805270-1 is not prime.  Res64: 24803BD5ECC3BCD6  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 01:01:51]
315*2^805142-1 is not prime.  Res64: E824EFD07380F8B7  Time : 3911.0 sec.
user=mdettweiler
[2009-05-09 01:05:58]
327*2^805161-1 is not prime.  Res64: EA606CD31558692B  Time : 3908.0 sec.
user=mdettweiler
[2009-05-09 01:06:35]
315*2^805162-1 is not prime.  Res64: B47FE3F1FA6B5859  Time : 3923.0 sec.
user=kar_bon
[2009-05-09 01:06:38]
327*2^804952-1 is not prime.  Res64: 20B84CB29BD9AE34  Time : 9004.0 sec.
user=vaughan
[2009-05-09 01:06:56]
321*2^805282-1 is not prime.  Res64: 88BE0B362D03ACD9  Time : 916.0 sec.
user=vaughan
[2009-05-09 01:06:56]
321*2^804982-1 is not prime.  Res64: E073D254B38253B8  Time : 8154.0 sec.
user=vaughan
[2009-05-09 01:08:20]
333*2^805296-1 is not prime.  Res64: FF296E6D7963D475  Time : 938.0 sec.
user=vaughan
[2009-05-09 01:09:21]
327*2^804985-1 is not prime.  Res64: D6690DA8F9BF5EE6  Time : 8244.0 sec.
user=mdettweiler
[2009-05-09 01:10:11]
345*2^805171-1 is not prime.  Res64: 2E46D9E0B81D5243  Time : 3912.0 sec.
user=vaughan
[2009-05-09 01:12:24]
327*2^805002-1 is not prime.  Res64: 07FB57F983439125  Time : 8184.0 sec.
user=vaughan
[2009-05-09 01:13:12]
333*2^804986-1 is not prime.  Res64: 5A156E969537CCDC  Time : 8300.0 sec.
user=mdettweiler
[2009-05-09 01:14:54]
333*2^805187-1 is not prime.  Res64: 231248CE52171B51  Time : 3911.0 sec.
user=vaughan
[2009-05-09 01:15:31]
327*2^805314-1 is not prime.  Res64: D1D627EA173170B3  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 01:19:00]
321*2^805190-1 is not prime.  Res64: E8CA16377A597DC2  Time : 3913.0 sec.
user=mdettweiler
[2009-05-09 01:19:37]
345*2^805191-1 is not prime.  Res64: 437B2067AA840F2D  Time : 3923.0 sec.
user=vaughan
[2009-05-09 01:20:32]
333*2^805014-1 is not prime.  Res64: 105AD0F47C4D090F  Time : 8153.0 sec.
user=kar_bon
[2009-05-09 01:21:40]
333*2^804983-1 is not prime.  Res64: 52401871AAB59E9A  Time : 9006.0 sec.
user=vaughan
[2009-05-09 01:22:12]
333*2^805335-1 is not prime.  Res64: 386B959138862D25  Time : 917.0 sec.
user=vaughan
[2009-05-09 01:23:04]
345*2^805017-1 is not prime.  Res64: FE8AC5D7EB9ECB8E  Time : 8241.0 sec.
user=mdettweiler
[2009-05-09 01:23:14]
315*2^805204-1 is not prime.  Res64: 77D9F9881F7A80C2  Time : 3913.0 sec.
user=vaughan
[2009-05-09 01:23:57]
327*2^805338-1 is not prime.  Res64: 6DAF3C9A1AD3D030  Time : 937.0 sec.
user=vaughan
[2009-05-09 01:26:04]
315*2^805036-1 is not prime.  Res64: 0234A5B4F45CFC04  Time : 8185.0 sec.
user=vaughan
[2009-05-09 01:27:03]
333*2^805026-1 is not prime.  Res64: BEB9D80EBC9EB9A3  Time : 8301.0 sec.
user=mdettweiler
[2009-05-09 01:28:00]
327*2^805212-1 is not prime.  Res64: CF5B111DF9EB5498  Time : 3915.0 sec.
user=vaughan
[2009-05-09 01:31:11]
345*2^805354-1 is not prime.  Res64: 695EB1D2266030A2  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 01:32:04]
339*2^805217-1 is not prime.  Res64: 2B374BCEDFA85A9F  Time : 3913.0 sec.
user=mdettweiler
[2009-05-09 01:32:38]
339*2^805219-1 is not prime.  Res64: E3F4345EAA04F3A0  Time : 3924.0 sec.
user=vaughan
[2009-05-09 01:34:08]
345*2^805044-1 is not prime.  Res64: BFA94FB118DF533F  Time : 8155.0 sec.
user=mdettweiler
[2009-05-09 01:36:15]
327*2^805224-1 is not prime.  Res64: 8C84405814A8037C  Time : 3911.0 sec.
user=kar_bon
[2009-05-09 01:36:40]
327*2^805018-1 is not prime.  Res64: 102E3A437B29A9F3  Time : 9005.0 sec.
user=vaughan
[2009-05-09 01:36:47]
315*2^805047-1 is not prime.  Res64: C070C962D208BAEB  Time : 8240.0 sec.
user=vaughan
[2009-05-09 01:37:28]
327*2^805381-1 is not prime.  Res64: E38AE448DF04143B  Time : 917.0 sec.
user=vaughan
[2009-05-09 01:39:35]
315*2^805395-1 is not prime.  Res64: 5951CB4E4CA6DE9C  Time : 938.0 sec.
user=vaughan
[2009-05-09 01:39:42]
321*2^805065-1 is not prime.  Res64: 207B75C618329F0A  Time : 8186.0 sec.
user=vaughan
[2009-05-09 01:40:54]
339*2^805063-1 is not prime.  Res64: 88B91D601FE4AE03  Time : 8303.0 sec.
user=mdettweiler
[2009-05-09 01:41:03]
315*2^805238-1 is not prime.  Res64: 8D3BBEF6F4AC4872  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 01:45:04]
315*2^805259-1 is not prime.  Res64: BD1A830D483F3A84  Time : 3910.0 sec.
user=mdettweiler
[2009-05-09 01:45:39]
315*2^805261-1 is not prime.  Res64: 1D867019B4383CC2  Time : 3923.0 sec.
user=vaughan
[2009-05-09 01:46:51]
315*2^805410-1 is not prime.  Res64: B9AF43C651CB17E6  Time : 940.0 sec.
user=vaughan
[2009-05-09 01:47:43]
333*2^805074-1 is not prime.  Res64: FDB93CF7D6C7DC34  Time : 8155.0 sec.
user=mdettweiler
[2009-05-09 01:49:18]
315*2^805266-1 is not prime.  Res64: C0E296BEA8FBA3AE  Time : 3913.0 sec.
user=vaughan
[2009-05-09 01:50:31]
327*2^805080-1 is not prime.  Res64: A14E95F224302C4B  Time : 8238.0 sec.
user=vaughan
[2009-05-09 01:52:43]
327*2^805432-1 is not prime.  Res64: 9FF5118447A6ABDF  Time : 916.0 sec.
user=vaughan
[2009-05-09 01:53:19]
339*2^805103-1 is not prime.  Res64: 1D57C6F9815D0B9D  Time : 8183.0 sec.
user=mdettweiler
[2009-05-09 01:54:07]
339*2^805279-1 is not prime.  Res64: DB7602AE3F728FC8  Time : 3919.0 sec.
user=vaughan
[2009-05-09 01:54:44]
327*2^805096-1 is not prime.  Res64: 45FC911AB8A53A28  Time : 8302.0 sec.
user=vaughan
[2009-05-09 01:55:12]
327*2^805434-1 is not prime.  Res64: E477F4F5A75406CF  Time : 937.0 sec.
user=mdettweiler
[2009-05-09 01:58:04]
321*2^805297-1 is not prime.  Res64: B82E93CCA0D0EFDB  Time : 3907.0 sec.
user=mdettweiler
[2009-05-09 01:58:41]
345*2^805299-1 is not prime.  Res64: 338C7A39E1862E5F  Time : 3924.0 sec.
user=vaughan
[2009-05-09 02:01:19]
333*2^805116-1 is not prime.  Res64: 3036F180D4B50534  Time : 8156.0 sec.
user=mdettweiler
[2009-05-09 02:02:21]
339*2^805309-1 is not prime.  Res64: ADC9CFEB9E09C5B6  Time : 3914.0 sec.
user=vaughan
[2009-05-09 02:02:32]
333*2^805448-1 is not prime.  Res64: 271832AE00BBA947  Time : 941.0 sec.
user=vaughan
[2009-05-09 02:04:14]
315*2^805118-1 is not prime.  Res64: 0F0FF05785DFC3C7  Time : 8238.0 sec.
user=vaughan
[2009-05-09 02:06:56]
315*2^805131-1 is not prime.  Res64: A00626B252FCEC27  Time : 8182.0 sec.
user=mdettweiler
[2009-05-09 02:07:08]
315*2^805319-1 is not prime.  Res64: A23812369C5B4057  Time : 3918.0 sec.
user=vaughan
[2009-05-09 02:07:59]
345*2^805461-1 is not prime.  Res64: A3A0878F1CE9E945  Time : 916.0 sec.
user=vaughan
[2009-05-09 02:08:34]
345*2^805122-1 is not prime.  Res64: AF969D2D7E141BF0  Time : 8303.0 sec.
user=kar_bon
[2009-05-09 02:10:43]
315*2^805059-1 is not prime.  Res64: 6E085B0DFDBA9EB3  Time : 10147.0 sec.
user=vaughan
[2009-05-09 02:10:50]
333*2^805475-1 is not prime.  Res64: 882EF7E0BD615769  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 02:11:09]
321*2^805325-1 is not prime.  Res64: 7D3094A9F5D5BFFB  Time : 3911.0 sec.
user=mdettweiler
[2009-05-09 02:11:42]
333*2^805328-1 is not prime.  Res64: 8C530DE104C8FA02  Time : 3907.0 sec.
user=vaughan
[2009-05-09 02:14:55]
339*2^805145-1 is not prime.  Res64: 444A1FD2F3F272E2  Time : 8156.0 sec.
user=mdettweiler
[2009-05-09 02:15:23]
315*2^805346-1 is not prime.  Res64: 476C129702FC4D1F  Time : 3912.0 sec.
user=vaughan
[2009-05-09 02:17:58]
327*2^805154-1 is not prime.  Res64: C1E46638D38C1DF8  Time : 8237.0 sec.
user=vaughan
[2009-05-09 02:18:13]
345*2^805486-1 is not prime.  Res64: B560250665103A5A  Time : 941.0 sec.
user=vaughan
[2009-05-09 02:20:36]
315*2^805167-1 is not prime.  Res64: EC6E226BFD675BBB  Time : 8185.0 sec.
user=mdettweiler
[2009-05-09 02:21:35]
315*2^805349-1 is not prime.  Res64: B88740E59114144D  Time : 4001.0 sec.
user=vaughan
[2009-05-09 02:22:25]
327*2^805162-1 is not prime.  Res64: CCDAF203CE882F76  Time : 8302.0 sec.
user=vaughan
[2009-05-09 02:23:14]
345*2^805495-1 is not prime.  Res64: A3F4361302643804  Time : 915.0 sec.
user=mdettweiler
[2009-05-09 02:24:10]
321*2^805366-1 is not prime.  Res64: 70CB42FCCC1B6BD4  Time : 3910.0 sec.
user=mdettweiler
[2009-05-09 02:24:45]
333*2^805367-1 is not prime.  Res64: 29841F6298843E36  Time : 3908.0 sec.
user=vaughan
[2009-05-09 02:26:27]
345*2^805507-1 is not prime.  Res64: 507E9F0593453274  Time : 937.0 sec.
user=mdettweiler
[2009-05-09 02:28:26]
315*2^805390-1 is not prime.  Res64: 5960DF8DE54EEE96  Time : 3912.0 sec.
user=vaughan
[2009-05-09 02:28:30]
315*2^805188-1 is not prime.  Res64: 3E1D235CBA28DF62  Time : 8157.0 sec.
user=kar_bon
[2009-05-09 02:30:20]
345*2^801994-1 is not prime.  Res64: BF22E9CE495B0AE1  Time : 68475.0 sec.
user=kar_bon
[2009-05-09 02:31:42]
327*2^805100-1 is not prime.  Res64: EDB6E453F847025A  Time : 10506.0 sec.
user=vaughan
[2009-05-09 02:31:42]
345*2^805197-1 is not prime.  Res64: 63A54624707CC13D  Time : 8238.0 sec.
user=kar_bon
[2009-05-09 02:32:21]
327*2^794241-1 is not prime.  Res64: 48781CC52886CE8A  Time : 223420.0 sec.
user=mdettweiler
[2009-05-09 02:33:12]
315*2^805406-1 is not prime.  Res64: A49A68283F11CD61  Time : 3912.0 sec.
user=vaughan
[2009-05-09 02:33:53]
327*2^805521-1 is not prime.  Res64: CD39274215FD1FF8  Time : 941.0 sec.
user=vaughan
[2009-05-09 02:34:14]
327*2^805200-1 is not prime.  Res64: 95AF624D9CC75F1F  Time : 8183.0 sec.
user=kar_bon
[2009-05-09 02:35:42]
333*2^798816-1 is not prime.  Res64: A8FEF39F0B1F8409  Time : 133565.0 sec.
user=vaughan
[2009-05-09 02:36:17]
339*2^805203-1 is not prime.  Res64: 499B5A3897A0B7D3  Time : 8305.0 sec.
user=mdettweiler
[2009-05-09 02:37:14]
321*2^805410-1 is not prime.  Res64: AFE1FA08EFBC09E2  Time : 3910.0 sec.
user=mdettweiler
[2009-05-09 02:37:47]
321*2^805414-1 is not prime.  Res64: F49DC8D9EAFE17EC  Time : 3909.0 sec.
user=vaughan
[2009-05-09 02:38:30]
339*2^805533-1 is not prime.  Res64: ACAFD6E3FCFE3C4D  Time : 916.0 sec.
user=mdettweiler
[2009-05-09 02:41:29]
333*2^805424-1 is not prime.  Res64: 8868C0799019D122  Time : 3914.0 sec.
user=vaughan
[2009-05-09 02:42:05]
333*2^805538-1 is not prime.  Res64: 724B80CF02B3D266  Time : 938.0 sec.
user=vaughan
[2009-05-09 02:42:05]
345*2^805215-1 is not prime.  Res64: 5CD57FE1CBC772C2  Time : 8156.0 sec.
user=vaughan
[2009-05-09 02:45:25]
321*2^805222-1 is not prime.  Res64: C13B3B8F39BA486D  Time : 8236.0 sec.
user=mdettweiler
[2009-05-09 02:46:15]
327*2^805442-1 is not prime.  Res64: E8EA8E06ADE0639A  Time : 3912.0 sec.
user=vaughan
[2009-05-09 02:47:53]
315*2^805230-1 is not prime.  Res64: 1A9942A137DB5110  Time : 8183.0 sec.
user=vaughan
[2009-05-09 02:49:33]
339*2^805549-1 is not prime.  Res64: 0538E67D69F56B77  Time : 940.0 sec.
user=kar_bon
[2009-05-09 02:50:02]
321*2^802057-1 is not prime.  Res64: ABB20FAACB62D150  Time : 68295.0 sec.
user=vaughan
[2009-05-09 02:50:09]
327*2^805232-1 is not prime.  Res64: 5E3B2A5F71E77FC9  Time : 8307.0 sec.
user=mdettweiler
[2009-05-09 02:50:15]
321*2^805446-1 is not prime.  Res64: CA932A966D6087DD  Time : 3911.0 sec.
user=mdettweiler
[2009-05-09 02:50:49]
339*2^805447-1 is not prime.  Res64: 5D263C068C41CD8D  Time : 3910.0 sec.
user=kar_bon
[2009-05-09 02:51:49]
321*2^798845-1 is not prime.  Res64: 2A0363B9662CD81F  Time : 133568.0 sec.
user=vaughan
[2009-05-09 02:53:47]
315*2^805555-1 is not prime.  Res64: 050C9F4E7AB0EBCE  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 02:54:31]
339*2^805451-1 is not prime.  Res64: DD8A887C481E2831  Time : 3913.0 sec.
user=kar_bon
[2009-05-09 02:55:17]
327*2^805133-1 is not prime.  Res64: 8857910196A57691  Time : 11021.0 sec.
user=kar_bon
[2009-05-09 02:55:30]
315*2^794270-1 is not prime.  Res64: 7542D1592C910A2F  Time : 223813.0 sec.
user=vaughan
[2009-05-09 02:55:41]
327*2^805258-1 is not prime.  Res64: 09729E441742EDD0  Time : 8157.0 sec.
user=vaughan
[2009-05-09 02:57:42]
333*2^805560-1 is not prime.  Res64: C1D28F58CBA1E2AE  Time : 937.0 sec.
user=vaughan
[2009-05-09 02:59:10]
327*2^805265-1 is not prime.  Res64: 9B36A71DCDD4D1B0  Time : 8237.0 sec.
user=mdettweiler
[2009-05-09 02:59:17]
333*2^805470-1 is not prime.  Res64: 9CD1E6229F567DB1  Time : 3910.0 sec.
user=vaughan
[2009-05-09 03:01:31]
321*2^805273-1 is not prime.  Res64: 9E59F4C04EB3A882  Time : 8184.0 sec.
user=mdettweiler
[2009-05-09 03:03:17]
333*2^805476-1 is not prime.  Res64: 2764A5B239723E2E  Time : 3913.0 sec.
user=mdettweiler
[2009-05-09 03:03:50]
321*2^805481-1 is not prime.  Res64: 2B16B98813AB9D59  Time : 3909.0 sec.
user=vaughan
[2009-05-09 03:03:59]
315*2^805278-1 is not prime.  Res64: 5BE0D1FE31FE8509  Time : 8308.0 sec.
user=vaughan
[2009-05-09 03:05:13]
315*2^805579-1 is not prime.  Res64: 4D1B5DC40A382EF8  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 03:07:34]
339*2^805481-1 is not prime.  Res64: 4C20222BF32D9E78  Time : 3913.0 sec.
user=kar_bon
[2009-05-09 03:08:01]
321*2^798871-1 is not prime.  Res64: 82DC4C8329D704C4  Time : 133585.0 sec.
user=vaughan
[2009-05-09 03:09:03]
333*2^805586-1 is not prime.  Res64: 0B43E7E5E2619481  Time : 916.0 sec.
user=vaughan
[2009-05-09 03:09:17]
321*2^805305-1 is not prime.  Res64: C2A4FD97EE0B8060  Time : 8157.0 sec.
user=kar_bon
[2009-05-09 03:09:32]
321*2^802097-1 is not prime.  Res64: BCF45354DD89FC78  Time : 68089.0 sec.
user=mdettweiler
[2009-05-09 03:12:21]
315*2^805492-1 is not prime.  Res64: 81E3E5878C134BBE  Time : 3913.0 sec.
user=vaughan
[2009-05-09 03:12:54]
339*2^805305-1 is not prime.  Res64: 923C091E6FC757D4  Time : 8238.0 sec.
user=vaughan
[2009-05-09 03:13:21]
333*2^805599-1 is not prime.  Res64: 85EC308C301DDC12  Time : 939.0 sec.
user=vaughan
[2009-05-09 03:15:11]
315*2^805311-1 is not prime.  Res64: A21675880250BE37  Time : 8187.0 sec.
user=mdettweiler
[2009-05-09 03:16:18]
315*2^805510-1 is not prime.  Res64: ADBFDF16D7630B7F  Time : 3909.0 sec.
user=mdettweiler
[2009-05-09 03:16:53]
333*2^805511-1 is not prime.  Res64: C014826CCC7786F9  Time : 3911.0 sec.
user=vaughan
[2009-05-09 03:17:51]
345*2^805312-1 is not prime.  Res64: F850ED6049C84BC9  Time : 8309.0 sec.
user=kar_bon
[2009-05-09 03:19:09]
315*2^794315-1 is not prime.  Res64: CDD779783C50BD11  Time : 224235.0 sec.
user=kar_bon
[2009-05-09 03:19:21]
345*2^805186-1 is not prime.  Res64: 5641075FA35DDFBE  Time : 11565.0 sec.
user=mdettweiler
[2009-05-09 03:20:36]
333*2^805514-1 is not prime.  Res64: 1C8399C905563E25  Time : 3913.0 sec.
user=vaughan
[2009-05-09 03:20:54]
345*2^805612-1 is not prime.  Res64: CE28AFBE211584F1  Time : 941.0 sec.
user=vaughan
[2009-05-09 03:22:54]
339*2^805337-1 is not prime.  Res64: 2346AAD611D73E21  Time : 8158.0 sec.
user=kar_bon
[2009-05-09 03:24:06]
339*2^798943-1 is not prime.  Res64: 59FF0CC7D6DBF403  Time : 132646.0 sec.
user=vaughan
[2009-05-09 03:24:19]
315*2^805618-1 is not prime.  Res64: 78526AEDD9D736D3  Time : 916.0 sec.
user=mdettweiler
[2009-05-09 03:25:23]
321*2^805525-1 is not prime.  Res64: BDB527C73FF3BA38  Time : 3828.0 sec.
user=vaughan
[2009-05-09 03:26:39]
339*2^805341-1 is not prime.  Res64: 6E9A57C8E10C142A  Time : 8238.0 sec.
user=vaughan
[2009-05-09 03:28:49]
327*2^805346-1 is not prime.  Res64: 9C6D82FEE59ED458  Time : 8185.0 sec.
user=vaughan
[2009-05-09 03:28:58]
321*2^805622-1 is not prime.  Res64: EFC8ACDC7DDB0EDB  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 03:29:24]
315*2^805534-1 is not prime.  Res64: 721250C85076958D  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 03:29:46]
321*2^802167-1 is not prime.  Res64: 94AA2741E143053E  Time : 67901.0 sec.
user=mdettweiler
[2009-05-09 03:29:55]
321*2^805538-1 is not prime.  Res64: 27E0266E99836284  Time : 3910.0 sec.
user=vaughan
[2009-05-09 03:31:42]
327*2^805348-1 is not prime.  Res64: 8D60D6D38FF77F04  Time : 8310.0 sec.
user=mdettweiler
[2009-05-09 03:33:39]
333*2^805539-1 is not prime.  Res64: CAD7E7C0434D0E1F  Time : 3913.0 sec.
user=vaughan
[2009-05-09 03:36:29]
339*2^805367-1 is not prime.  Res64: C236ACFBBBEF994B  Time : 8157.0 sec.
user=vaughan
[2009-05-09 03:36:34]
321*2^805645-1 is not prime.  Res64: 79797323027A33D8  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 03:38:26]
327*2^805549-1 is not prime.  Res64: 3E52B0A35410FC44  Time : 3914.0 sec.
user=vaughan
[2009-05-09 03:39:36]
327*2^805648-1 is not prime.  Res64: 0BCEEB98EC539DDD  Time : 917.0 sec.
user=kar_bon
[2009-05-09 03:40:19]
315*2^798958-1 is not prime.  Res64: F4F990CAE0D1BCF4  Time : 133618.0 sec.
user=vaughan
[2009-05-09 03:40:22]
345*2^805386-1 is not prime.  Res64: 702A357568884C74  Time : 8238.0 sec.
user=mdettweiler
[2009-05-09 03:42:26]
345*2^805552-1 is not prime.  Res64: CADDA82DDB5A2F27  Time : 3912.0 sec.
user=vaughan
[2009-05-09 03:42:27]
333*2^805400-1 is not prime.  Res64: D0C288867676C358  Time : 8183.0 sec.
user=kar_bon
[2009-05-09 03:42:35]
339*2^794351-1 is not prime.  Res64: 151390BA5F540E40  Time : 224649.0 sec.
user=mdettweiler
[2009-05-09 03:42:56]
333*2^805554-1 is not prime.  Res64: A3735E60DA27B194  Time : 3909.0 sec.
user=kar_bon
[2009-05-09 03:43:09]
345*2^805207-1 is not prime.  Res64: 5F1FB22D1ABD4788  Time : 12092.0 sec.
user=vaughan
[2009-05-09 03:44:36]
315*2^805654-1 is not prime.  Res64: 8EC8B3786A716881  Time : 938.0 sec.
user=vaughan
[2009-05-09 03:45:33]
345*2^805404-1 is not prime.  Res64: 99636C299F9EDF91  Time : 8310.0 sec.
user=mdettweiler
[2009-05-09 03:46:41]
315*2^805558-1 is not prime.  Res64: 7CA94BE22794BF36  Time : 3912.0 sec.
user=kar_bon
[2009-05-09 03:49:35]
339*2^802215-1 is not prime.  Res64: C585A0A963A4C8F0  Time : 67680.0 sec.
user=vaughan
[2009-05-09 03:50:06]
339*2^805421-1 is not prime.  Res64: B3433515ADAF2D4F  Time : 8159.0 sec.
user=mdettweiler
[2009-05-09 03:51:29]
321*2^805577-1 is not prime.  Res64: C92774FE27945FDC  Time : 3914.0 sec.
user=vaughan
[2009-05-09 03:52:16]
339*2^805679-1 is not prime.  Res64: AA66DD10099E421A  Time : 942.0 sec.
user=vaughan
[2009-05-09 03:54:08]
333*2^805428-1 is not prime.  Res64: 31D008C1E28C719D  Time : 8242.0 sec.
user=vaughan
[2009-05-09 03:54:51]
327*2^805681-1 is not prime.  Res64: 15E5409F374F8EC5  Time : 916.0 sec.
user=mdettweiler
[2009-05-09 03:55:29]
327*2^805584-1 is not prime.  Res64: EB90223AFD2F0CBE  Time : 3914.0 sec.
user=mdettweiler
[2009-05-09 03:55:57]
315*2^805586-1 is not prime.  Res64: B77AB1C431A0D7BD  Time : 3908.0 sec.
user=vaughan
[2009-05-09 03:56:07]
339*2^805435-1 is not prime.  Res64: 96E816725038A7BB  Time : 8185.0 sec.
user=kar_bon
[2009-05-09 03:56:32]
333*2^798990-1 is not prime.  Res64: 70B5E95338E9B126  Time : 133636.0 sec.
user=vaughan
[2009-05-09 03:59:23]
315*2^805442-1 is not prime.  Res64: DEC5552F4155BA36  Time : 8309.0 sec.
user=mdettweiler
[2009-05-09 03:59:45]
345*2^805587-1 is not prime.  Res64: D2E8A052C491F214  Time : 3914.0 sec.
user=vaughan
[2009-05-09 04:00:15]
315*2^805711-1 is not prime.  Res64: 57C0A576A9E247AD  Time : 939.0 sec.
user=vaughan
[2009-05-09 04:03:42]
315*2^805450-1 is not prime.  Res64: 9F60E8C0A4E66793  Time : 8159.0 sec.
user=mdettweiler
[2009-05-09 04:04:32]
321*2^805602-1 is not prime.  Res64: C007A1EDF8E5AB42  Time : 3915.0 sec.
user=kar_bon
[2009-05-09 04:06:09]
345*2^794380-1 is not prime.  Res64: 77E373BFAB858009  Time : 225066.0 sec.
user=kar_bon
[2009-05-09 04:07:08]
339*2^805249-1 is not prime.  Res64: 35BEBA7075056661  Time : 12630.0 sec.
user=vaughan
[2009-05-09 04:07:52]
339*2^805461-1 is not prime.  Res64: 9824BF4CEA93921C  Time : 8241.0 sec.
user=vaughan
[2009-05-09 04:07:56]
333*2^805730-1 is not prime.  Res64: 4335540B550A6F19  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 04:08:29]
333*2^805607-1 is not prime.  Res64: ABEDC6C1BCC90FAD  Time : 3912.0 sec.
user=mdettweiler
[2009-05-09 04:08:58]
315*2^805608-1 is not prime.  Res64: 25A01E599608E2C5  Time : 3908.0 sec.
user=kar_bon
[2009-05-09 04:09:27]
327*2^802269-1 is not prime.  Res64: 6335672E25758F39  Time : 67496.0 sec.
user=vaughan
[2009-05-09 04:09:47]
333*2^805464-1 is not prime.  Res64: 1B008F9885854DEE  Time : 8189.0 sec.
user=vaughan
[2009-05-09 04:10:08]
339*2^805733-1 is not prime.  Res64: D40CF06FBF271520  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 04:12:48]
345*2^805615-1 is not prime.  Res64: 7145D491AE1546F2  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 04:12:50]
333*2^799026-1 is not prime.  Res64: D5DE62EC720AD39F  Time : 133670.0 sec.
user=vaughan
[2009-05-09 04:13:15]
339*2^805471-1 is not prime.  Res64: DD0FAD4997BA370F  Time : 8311.0 sec.
user=vaughan
[2009-05-09 04:15:52]
333*2^805754-1 is not prime.  Res64: 235CBBBDD2D6587D  Time : 937.0 sec.
user=vaughan
[2009-05-09 04:17:19]
327*2^805481-1 is not prime.  Res64: 7F53487DA68FB32D  Time : 8161.0 sec.
user=mdettweiler
[2009-05-09 04:17:38]
315*2^805621-1 is not prime.  Res64: DD9DAD7F7C99779D  Time : 3917.0 sec.
user=mdettweiler
[2009-05-09 04:21:30]
345*2^805629-1 is not prime.  Res64: A68EDFE16F06A154  Time : 3912.0 sec.
user=vaughan
[2009-05-09 04:21:37]
327*2^805488-1 is not prime.  Res64: 765BABFB8B2382B0  Time : 8243.0 sec.
user=mdettweiler
[2009-05-09 04:21:59]
321*2^805630-1 is not prime.  Res64: D263A57C7AF8272A  Time : 3906.0 sec.
user=vaughan
[2009-05-09 04:23:26]
333*2^805488-1 is not prime.  Res64: DCC41886027EC831  Time : 8190.0 sec.
user=vaughan
[2009-05-09 04:23:37]
333*2^805770-1 is not prime.  Res64: C39AD80E56268863  Time : 941.0 sec.
user=vaughan
[2009-05-09 04:25:24]
327*2^805778-1 is not prime.  Res64: D527A2FEECE977BD  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 04:25:52]
333*2^805644-1 is not prime.  Res64: 639016F7E9D9F595  Time : 3916.0 sec.
user=vaughan
[2009-05-09 04:27:05]
315*2^805499-1 is not prime.  Res64: 42ADDDAB6EE9ACD3  Time : 8311.0 sec.
user=kar_bon
[2009-05-09 04:28:52]
333*2^799043-1 is not prime.  Res64: FAEB93DDFCC37FE2  Time : 133685.0 sec.
user=kar_bon
[2009-05-09 04:29:07]
339*2^802331-1 is not prime.  Res64: 191962C9788E3A5B  Time : 67288.0 sec.
user=kar_bon
[2009-05-09 04:29:45]
321*2^794407-1 is not prime.  Res64: 8DA21E5F509B6594  Time : 225494.0 sec.
user=mdettweiler
[2009-05-09 04:30:38]
315*2^805651-1 is not prime.  Res64: 557180BBACB259A2  Time : 3915.0 sec.
user=vaughan
[2009-05-09 04:30:54]
321*2^805513-1 is not prime.  Res64: 40920A86BB7D9737  Time : 8159.0 sec.
user=kar_bon
[2009-05-09 04:31:04]
345*2^805279-1 is not prime.  Res64: 901054C0A2F741B3  Time : 13166.0 sec.
user=vaughan
[2009-05-09 04:31:31]
321*2^805785-1 is not prime.  Res64: DEFCBA5CD472704E  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 04:34:33]
315*2^805655-1 is not prime.  Res64: 90B1B800B69E15A5  Time : 3909.0 sec.
user=mdettweiler
[2009-05-09 04:35:01]
339*2^805667-1 is not prime.  Res64: 51E96F2DBB3F8054  Time : 3906.0 sec.
user=vaughan
[2009-05-09 04:35:22]
345*2^805519-1 is not prime.  Res64: E2D2750FA7EF43CE  Time : 8244.0 sec.
user=vaughan
[2009-05-09 04:37:04]
315*2^805522-1 is not prime.  Res64: BBC0F3E81F3D445F  Time : 8189.0 sec.
user=mdettweiler
[2009-05-09 04:38:55]
339*2^805673-1 is not prime.  Res64: 615196DB454FAF44  Time : 3917.0 sec.
user=vaughan
[2009-05-09 04:39:17]
345*2^805807-1 is not prime.  Res64: EB0B236DF4054B7F  Time : 941.0 sec.
user=vaughan
[2009-05-09 04:40:40]
327*2^805808-1 is not prime.  Res64: 0F2DE4139AB79F4B  Time : 917.0 sec.
user=vaughan
[2009-05-09 04:40:58]
327*2^805532-1 is not prime.  Res64: 5B05B5A4FEFF4923  Time : 8314.0 sec.
user=mdettweiler
[2009-05-09 04:43:41]
321*2^805681-1 is not prime.  Res64: 5362999FDF0174BB  Time : 3915.0 sec.
user=vaughan
[2009-05-09 04:44:30]
345*2^805539-1 is not prime.  Res64: 94940E13A51C392D  Time : 8161.0 sec.
user=kar_bon
[2009-05-09 04:45:23]
339*2^799071-1 is not prime.  Res64: F905F5577D4EBA22  Time : 133735.0 sec.
user=vaughan
[2009-05-09 04:47:09]
327*2^805829-1 is not prime.  Res64: 8755C2FAA93E96CD  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 04:47:34]
333*2^805686-1 is not prime.  Res64: D8B7597B267A65A6  Time : 3908.0 sec.
user=mdettweiler
[2009-05-09 04:48:02]
327*2^805705-1 is not prime.  Res64: 360002FAFF3ED580  Time : 3906.0 sec.
user=kar_bon
[2009-05-09 04:48:05]
321*2^802381-1 is not prime.  Res64: 38B71ABF66F75527  Time : 67050.0 sec.
user=vaughan
[2009-05-09 04:49:05]
315*2^805547-1 is not prime.  Res64: 3D05783CB5C10DF0  Time : 8243.0 sec.
user=vaughan
[2009-05-09 04:50:43]
315*2^805550-1 is not prime.  Res64: 69574250439A1AD2  Time : 8189.0 sec.
user=mdettweiler
[2009-05-09 04:51:58]
333*2^805719-1 is not prime.  Res64: 3DC0AA07282CA50D  Time : 3918.0 sec.
user=kar_bon
[2009-05-09 04:53:30]
315*2^794434-1 is not prime.  Res64: D28F00A03CD599BB  Time : 225909.0 sec.
user=vaughan
[2009-05-09 04:54:51]
339*2^805551-1 is not prime.  Res64: F48F9B16B52B188A  Time : 8314.0 sec.
user=vaughan
[2009-05-09 04:54:58]
333*2^805850-1 is not prime.  Res64: 7F8AF358924BB29C  Time : 941.0 sec.
user=kar_bon
[2009-05-09 04:55:20]
315*2^805330-1 is not prime.  Res64: 5F985F4EE15E4761  Time : 13722.0 sec.
user=vaughan
[2009-05-09 04:55:56]
327*2^805856-1 is not prime.  Res64: 9BB902ED13F9D638  Time : 916.0 sec.
user=mdettweiler
[2009-05-09 04:56:43]
345*2^805726-1 is not prime.  Res64: F24E9058EB432F60  Time : 3914.0 sec.
user=vaughan
[2009-05-09 04:58:07]
345*2^805564-1 is not prime.  Res64: C693DAC3292310D3  Time : 8162.0 sec.
user=mdettweiler
[2009-05-09 05:00:35]
315*2^805734-1 is not prime.  Res64: 676241FD9C1ADC46  Time : 3907.0 sec.
user=mdettweiler
[2009-05-09 05:01:05]
315*2^805741-1 is not prime.  Res64: FA536F3F09F6C4B1  Time : 3908.0 sec.
user=kar_bon
[2009-05-09 05:02:33]
315*2^799092-1 is not prime.  Res64: E1FD3D8D84020E88  Time : 133806.0 sec.
user=vaughan
[2009-05-09 05:02:46]
321*2^805575-1 is not prime.  Res64: 2C2B34BBD6AADB77  Time : 8241.0 sec.
user=vaughan
[2009-05-09 05:02:48]
321*2^805862-1 is not prime.  Res64: 32E87073CA393A8C  Time : 939.0 sec.
user=vaughan
[2009-05-09 05:04:21]
333*2^805578-1 is not prime.  Res64: 4B65427D01641526  Time : 8188.0 sec.
user=mdettweiler
[2009-05-09 05:05:01]
345*2^805752-1 is not prime.  Res64: 2EDEFABA83CBFD99  Time : 3916.0 sec.
user=kar_bon
[2009-05-09 05:06:13]
339*2^802435-1 is not prime.  Res64: A75D6DA745F9F148  Time : 66753.0 sec.
user=vaughan
[2009-05-09 05:08:46]
345*2^805582-1 is not prime.  Res64: D07947308ACBAB32  Time : 8317.0 sec.
user=mdettweiler
[2009-05-09 05:09:46]
339*2^805759-1 is not prime.  Res64: 77EC8D58B4C1DBD0  Time : 3914.0 sec.
user=vaughan
[2009-05-09 05:10:38]
327*2^805898-1 is not prime.  Res64: 62005760DFA27BC8  Time : 941.0 sec.
user=vaughan
[2009-05-09 05:11:12]
345*2^805912-1 is not prime.  Res64: 165B51DC85B883DF  Time : 916.0 sec.
user=vaughan
[2009-05-09 05:11:42]
345*2^805590-1 is not prime.  Res64: 35779482CFA8D03D  Time : 8161.0 sec.
user=mdettweiler
[2009-05-09 05:13:37]
315*2^805771-1 is not prime.  Res64: C52FA47A52D76EB8  Time : 3908.0 sec.
user=mdettweiler
[2009-05-09 05:14:06]
339*2^805771-1 is not prime.  Res64: 8233441A32AC7ED1  Time : 3908.0 sec.
user=vaughan
[2009-05-09 05:16:27]
339*2^805600-1 is not prime.  Res64: 90522B8BADAF295D  Time : 8237.0 sec.
user=kar_bon
[2009-05-09 05:17:19]
315*2^794477-1 is not prime.  Res64: 5FA1034F5DFEC5F8  Time : 226334.0 sec.
user=vaughan
[2009-05-09 05:17:59]
345*2^805606-1 is not prime.  Res64: 394E028DFE625EDB  Time : 8188.0 sec.
user=mdettweiler
[2009-05-09 05:18:05]
327*2^805780-1 is not prime.  Res64: E84FE09EEFC08C53  Time : 3917.0 sec.
user=vaughan
[2009-05-09 05:18:26]
321*2^805927-1 is not prime.  Res64: 5AA7C5270D9284C6  Time : 939.0 sec.
user=kar_bon
[2009-05-09 05:19:31]
333*2^805374-1 is not prime.  Res64: A1DC5F6EBF965816  Time : 14272.0 sec.
user=kar_bon
[2009-05-09 05:20:03]
333*2^805551-1 is not prime.  Res64: C90BE5B6CE50FAB3  Time : 9861.0 sec.
user=vaughan
[2009-05-09 05:22:39]
339*2^805611-1 is not prime.  Res64: 37997F4060701393  Time : 8320.0 sec.
user=mdettweiler
[2009-05-09 05:22:48]
339*2^805787-1 is not prime.  Res64: 44A2E04710BBCED4  Time : 3910.0 sec.
user=kar_bon
[2009-05-09 05:24:17]
333*2^802494-1 is not prime.  Res64: DF94E399171B0916  Time : 66449.0 sec.
user=vaughan
[2009-05-09 05:25:20]
315*2^805619-1 is not prime.  Res64: EEF036FCF34C46A9  Time : 8163.0 sec.
user=vaughan
[2009-05-09 05:26:19]
345*2^805941-1 is not prime.  Res64: 88E73EBE8D13AB87  Time : 941.0 sec.
user=vaughan
[2009-05-09 05:26:28]
345*2^805947-1 is not prime.  Res64: C5C38646DE34A6D2  Time : 916.0 sec.
user=mdettweiler
[2009-05-09 05:26:39]
345*2^805791-1 is not prime.  Res64: B9B62B071E183825  Time : 3909.0 sec.
user=mdettweiler
[2009-05-09 05:27:09]
339*2^805799-1 is not prime.  Res64: 2D09A7BBFD89FA42  Time : 3910.0 sec.
user=vaughan
[2009-05-09 05:30:08]
315*2^805622-1 is not prime.  Res64: 3C3345B6AA4A40BC  Time : 8234.0 sec.
user=mdettweiler
[2009-05-09 05:31:09]
333*2^805808-1 is not prime.  Res64: D688175E4A4DBB01  Time : 3917.0 sec.
user=vaughan
[2009-05-09 05:31:39]
327*2^805629-1 is not prime.  Res64: FD8EC240081AFC57  Time : 8188.0 sec.
user=vaughan
[2009-05-09 05:34:04]
327*2^805989-1 is not prime.  Res64: 018463561959B9C5  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 05:35:50]
327*2^805816-1 is not prime.  Res64: 56B5FD1CBA1D8383  Time : 3912.0 sec.
user=vaughan
[2009-05-09 05:36:33]
339*2^805631-1 is not prime.  Res64: 6C49D44890EB658E  Time : 8322.0 sec.
user=kar_bon
[2009-05-09 05:38:15]
321*2^805586-1 is not prime.  Res64: 1D742559D229F115  Time : 9987.0 sec.
user=vaughan
[2009-05-09 05:38:57]
315*2^805646-1 is not prime.  Res64: 0E2DBDB1742743E3  Time : 8164.0 sec.
user=mdettweiler
[2009-05-09 05:39:43]
339*2^805843-1 is not prime.  Res64: 4735397DE4CBF7DD  Time : 3910.0 sec.
user=mdettweiler
[2009-05-09 05:40:10]
321*2^805845-1 is not prime.  Res64: E6371E9F04C64328  Time : 3909.0 sec.
user=kar_bon
[2009-05-09 05:40:50]
315*2^794502-1 is not prime.  Res64: 0053017885CED71C  Time : 226748.0 sec.
user=vaughan
[2009-05-09 05:41:46]
339*2^806015-1 is not prime.  Res64: 5E786A711A8C796A  Time : 918.0 sec.
user=vaughan
[2009-05-09 05:41:59]
315*2^806014-1 is not prime.  Res64: E853786794899E15  Time : 941.0 sec.
user=kar_bon
[2009-05-09 05:42:30]
345*2^805545-1 is not prime.  Res64: BEA8D540AA6283E7  Time : 11530.0 sec.
user=kar_bon
[2009-05-09 05:43:20]
333*2^805427-1 is not prime.  Res64: 822C0C92DECCDD06  Time : 14800.0 sec.
user=vaughan
[2009-05-09 05:43:51]
327*2^805652-1 is not prime.  Res64: 3FBEF98A4B553EE8  Time : 8232.0 sec.
user=mdettweiler
[2009-05-09 05:44:14]
339*2^805847-1 is not prime.  Res64: AEBB3EA9817C98F6  Time : 3920.0 sec.
user=vaughan
[2009-05-09 05:45:19]
327*2^805653-1 is not prime.  Res64: A0CF1B9F701A1966  Time : 8190.0 sec.
user=mdettweiler
[2009-05-09 05:48:51]
315*2^805860-1 is not prime.  Res64: 66526E1E343B7CDE  Time : 3910.0 sec.
user=vaughan
[2009-05-09 05:49:43]
339*2^806029-1 is not prime.  Res64: 6B9D70601E4DFABA  Time : 939.0 sec.
user=vaughan
[2009-05-09 05:50:25]
333*2^805670-1 is not prime.  Res64: B978A7FBE4E333BC  Time : 8323.0 sec.
user=vaughan
[2009-05-09 05:52:32]
315*2^805675-1 is not prime.  Res64: 0A972FB4C0076D48  Time : 8163.0 sec.
user=mdettweiler
[2009-05-09 05:52:43]
345*2^805864-1 is not prime.  Res64: 33E2AF693F9A321A  Time : 3909.0 sec.
user=mdettweiler
[2009-05-09 05:53:14]
333*2^805868-1 is not prime.  Res64: E981303E76EB3460  Time : 3912.0 sec.
user=vaughan
[2009-05-09 05:57:03]
339*2^806045-1 is not prime.  Res64: 6A5F59FF8D802451  Time : 918.0 sec.
user=mdettweiler
[2009-05-09 05:57:17]
345*2^805884-1 is not prime.  Res64: 62964E2ADDF88EE7  Time : 3919.0 sec.
user=vaughan
[2009-05-09 05:57:35]
345*2^805684-1 is not prime.  Res64: AAF1E303BC517C7E  Time : 8233.0 sec.
user=vaughan
[2009-05-09 05:57:39]
321*2^806046-1 is not prime.  Res64: 9A38BAD87B1C8265  Time : 940.0 sec.
user=vaughan
[2009-05-09 05:58:58]
327*2^805700-1 is not prime.  Res64: C2EF988262BB9614  Time : 8191.0 sec.
user=kar_bon
[2009-05-09 06:01:44]
327*2^805581-1 is not prime.  Res64: 4768A264B96641B4  Time : 11502.0 sec.
user=mdettweiler
[2009-05-09 06:01:53]
315*2^805914-1 is not prime.  Res64: FAC847C5506FA2FA  Time : 3910.0 sec.
user=vaughan
[2009-05-09 06:04:16]
321*2^805711-1 is not prime.  Res64: 171E9B4F8B17297C  Time : 8324.0 sec.
user=kar_bon
[2009-05-09 06:04:50]
339*2^794535-1 is not prime.  Res64: 413C7D224D01E4EC  Time : 227188.0 sec.
user=vaughan
[2009-05-09 06:05:21]
339*2^806069-1 is not prime.  Res64: 5C0249F85FE3F0FC  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 06:05:47]
321*2^805921-1 is not prime.  Res64: E8398CA000EFEF3F  Time : 3912.0 sec.
user=vaughan
[2009-05-09 06:06:09]
339*2^805723-1 is not prime.  Res64: EA3FF375E28DFADA  Time : 8164.0 sec.
user=mdettweiler
[2009-05-09 06:06:16]
333*2^805923-1 is not prime.  Res64: CA8826FC7BF43A0A  Time : 3912.0 sec.
user=mdettweiler
[2009-05-09 06:10:20]
321*2^805933-1 is not prime.  Res64: EB4DEF784A258DD6  Time : 3919.0 sec.
user=vaughan
[2009-05-09 06:11:18]
321*2^805733-1 is not prime.  Res64: 0794215D79491D21  Time : 8230.0 sec.
user=vaughan
[2009-05-09 06:12:19]
339*2^806081-1 is not prime.  Res64: 05E83B8F49D2A114  Time : 916.0 sec.
user=vaughan
[2009-05-09 06:12:37]
327*2^805745-1 is not prime.  Res64: 4E1887108D73D420  Time : 8191.0 sec.
user=vaughan
[2009-05-09 06:13:20]
327*2^806085-1 is not prime.  Res64: F91F8609A3D67BEF  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 06:14:55]
315*2^805941-1 is not prime.  Res64: 26E5E774802B228F  Time : 3909.0 sec.
user=vaughan
[2009-05-09 06:18:08]
315*2^805750-1 is not prime.  Res64: 9ACBDFE8289F5EFF  Time : 8325.0 sec.
user=mdettweiler
[2009-05-09 06:18:49]
321*2^805954-1 is not prime.  Res64: 92123C6A21A521BB  Time : 3912.0 sec.
user=mdettweiler
[2009-05-09 06:19:20]
315*2^805965-1 is not prime.  Res64: 428E3E79DF2A7D2E  Time : 3914.0 sec.
user=vaughan
[2009-05-09 06:19:46]
315*2^805759-1 is not prime.  Res64: 8155DCDD42507CAB  Time : 8164.0 sec.
user=vaughan
[2009-05-09 06:21:00]
345*2^806107-1 is not prime.  Res64: 58BBFBB9BE35A566  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 06:23:24]
339*2^805985-1 is not prime.  Res64: 45A67DB676AB31E8  Time : 3919.0 sec.
user=vaughan
[2009-05-09 06:25:03]
321*2^805766-1 is not prime.  Res64: 5D823E01962F64CE  Time : 8231.0 sec.
user=vaughan
[2009-05-09 06:26:16]
321*2^805774-1 is not prime.  Res64: 8E826DCC01080746  Time : 8189.0 sec.
user=vaughan
[2009-05-09 06:27:36]
315*2^806130-1 is not prime.  Res64: 2D1708F0308D7796  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 06:27:56]
333*2^805998-1 is not prime.  Res64: DAE79B78F27D73B6  Time : 3908.0 sec.
user=vaughan
[2009-05-09 06:29:01]
339*2^806135-1 is not prime.  Res64: 412B33E32D503458  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 06:31:52]
321*2^806021-1 is not prime.  Res64: 77065F0259D79FEC  Time : 3913.0 sec.
user=vaughan
[2009-05-09 06:32:00]
339*2^805783-1 is not prime.  Res64: A6BD076F5B7E2010  Time : 8325.0 sec.
user=mdettweiler
[2009-05-09 06:32:22]
321*2^806022-1 is not prime.  Res64: B7D050945B0270B8  Time : 3913.0 sec.
user=vaughan
[2009-05-09 06:33:22]
315*2^805787-1 is not prime.  Res64: 688A19897B417859  Time : 8163.0 sec.
user=mdettweiler
[2009-05-09 06:36:28]
327*2^806025-1 is not prime.  Res64: CE83AB0C1B1375AF  Time : 3919.0 sec.
user=vaughan
[2009-05-09 06:36:37]
333*2^806147-1 is not prime.  Res64: AA579DD413156C3C  Time : 937.0 sec.
user=vaughan
[2009-05-09 06:38:47]
327*2^805794-1 is not prime.  Res64: AC96F02B81FCC2E6  Time : 8230.0 sec.
user=vaughan
[2009-05-09 06:39:58]
315*2^805805-1 is not prime.  Res64: 79C135D666352AD1  Time : 8193.0 sec.
user=mdettweiler
[2009-05-09 06:40:59]
333*2^806030-1 is not prime.  Res64: 3D2F0C7D0DAAEB06  Time : 3909.0 sec.
user=vaughan
[2009-05-09 06:42:53]
327*2^806153-1 is not prime.  Res64: 042F585146C031F1  Time : 917.0 sec.
user=vaughan
[2009-05-09 06:44:41]
315*2^806166-1 is not prime.  Res64: 32BAA0F8DE17B3DB  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 06:44:54]
345*2^806034-1 is not prime.  Res64: FFB7914D8FED85EC  Time : 3911.0 sec.
user=mdettweiler
[2009-05-09 06:45:24]
315*2^806038-1 is not prime.  Res64: 0763FDA0D4C81CA0  Time : 3914.0 sec.
user=vaughan
[2009-05-09 06:45:51]
339*2^805808-1 is not prime.  Res64: 280F5C1B9BD0EBD7  Time : 8326.0 sec.
user=vaughan
[2009-05-09 06:46:58]
315*2^805818-1 is not prime.  Res64: 0B1A1E98061E8CEC  Time : 8164.0 sec.
user=mdettweiler
[2009-05-09 06:49:32]
315*2^806058-1 is not prime.  Res64: 486F9B6489F21D0C  Time : 3918.0 sec.
user=vaughan
[2009-05-09 06:52:17]
333*2^806190-1 is not prime.  Res64: 4A24BF3C6AAEA776  Time : 940.0 sec.
user=vaughan
[2009-05-09 06:52:31]
315*2^805846-1 is not prime.  Res64: DDFCFB92CBDDCDB5  Time : 8229.0 sec.
user=kar_bon
[2009-05-09 06:53:20]
315*2^805549-1 is not prime.  Res64: 894E21FB3E524640  Time : 15659.0 sec.
user=kar_bon
[2009-05-09 06:53:21]
321*2^805590-1 is not prime.  Res64: E31EE59AB3A592AE  Time : 14271.0 sec.
user=vaughan
[2009-05-09 06:53:37]
315*2^805847-1 is not prime.  Res64: 8C3BAED9A6166BBF  Time : 8193.0 sec.
user=mdettweiler
[2009-05-09 06:54:01]
315*2^806069-1 is not prime.  Res64: F91E8F77BA67658C  Time : 3910.0 sec.
user=kar_bon
[2009-05-09 06:56:39]
333*2^805503-1 is not prime.  Res64: BB9CCD5E48D30B06  Time : 17156.0 sec.
user=kar_bon
[2009-05-09 06:56:39]
327*2^805548-1 is not prime.  Res64: 69E40E6ADD18A1D3  Time : 15897.0 sec.
user=kar_bon
[2009-05-09 06:56:39]
315*2^805589-1 is not prime.  Res64: 437E5BFF3B04DE60  Time : 14483.0 sec.
user=mdettweiler
[2009-05-09 06:57:58]
327*2^806080-1 is not prime.  Res64: B0A38A9AF59E0FF8  Time : 3915.0 sec.
user=kar_bon
[2009-05-09 06:58:06]
339*2^805619-1 is not prime.  Res64: C21EFCC759AE7988  Time : 13715.0 sec.
user=kar_bon
[2009-05-09 06:58:06]
321*2^805665-1 is not prime.  Res64: 003E9F1CC7977722  Time : 12500.0 sec.
user=kar_bon
[2009-05-09 06:58:06]
315*2^805720-1 is not prime.  Res64: E9DF157A34D94C5B  Time : 11311.0 sec.
user=vaughan
[2009-05-09 06:58:10]
327*2^806194-1 is not prime.  Res64: C9FAD9E2FB40898C  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 06:58:27]
345*2^806080-1 is not prime.  Res64: D168985F46F096D5  Time : 3913.0 sec.
user=vaughan
[2009-05-09 06:59:44]
339*2^805859-1 is not prime.  Res64: FE810F8D557C08B1  Time : 8327.0 sec.
user=vaughan
[2009-05-09 07:00:23]
339*2^806195-1 is not prime.  Res64: 8CA4E481C6E570B9  Time : 942.0 sec.
user=vaughan
[2009-05-09 07:00:34]
333*2^805860-1 is not prime.  Res64: 3E97921E8DD118CE  Time : 8164.0 sec.
user=kar_bon
[2009-05-09 07:01:30]
327*2^805616-1 is not prime.  Res64: 6735FF46E170B7CA  Time : 14009.0 sec.
user=kar_bon
[2009-05-09 07:01:30]
321*2^805646-1 is not prime.  Res64: 868DD4F2C2E92AA0  Time : 13044.0 sec.
user=kar_bon
[2009-05-09 07:01:30]
339*2^805681-1 is not prime.  Res64: 432FC3BE07AAB33F  Time : 12071.0 sec.
user=kar_bon
[2009-05-09 07:01:31]
327*2^805748-1 is not prime.  Res64: 89001E1D1D063091  Time : 11100.0 sec.
user=kar_bon
[2009-05-09 07:01:31]
345*2^805782-1 is not prime.  Res64: 7AFA72F1A83C9C15  Time : 10121.0 sec.
user=mdettweiler
[2009-05-09 07:02:37]
333*2^806084-1 is not prime.  Res64: FF7F6A2E69A6F4D8  Time : 3920.0 sec.
user=vaughan
[2009-05-09 07:06:17]
339*2^805875-1 is not prime.  Res64: 877705B3132010E8  Time : 8232.0 sec.
user=mdettweiler
[2009-05-09 07:07:03]
339*2^806099-1 is not prime.  Res64: 2A28A7E8B4AA1C83  Time : 3910.0 sec.
user=vaughan
[2009-05-09 07:07:17]
315*2^805877-1 is not prime.  Res64: 9CA4A09A648FB58C  Time : 8194.0 sec.
user=vaughan
[2009-05-09 07:07:55]
321*2^806213-1 is not prime.  Res64: DD5BDF2CDFAB3F75  Time : 938.0 sec.
user=mdettweiler
[2009-05-09 07:11:00]
345*2^806109-1 is not prime.  Res64: E12DA9F8BBB472C8  Time : 3913.0 sec.
user=mdettweiler
[2009-05-09 07:11:29]
333*2^806118-1 is not prime.  Res64: 271779A4BDB0A43F  Time : 3913.0 sec.
user=vaughan
[2009-05-09 07:13:26]
339*2^806245-1 is not prime.  Res64: AF980B58262EF6AC  Time : 916.0 sec.
user=vaughan
[2009-05-09 07:13:35]
333*2^805887-1 is not prime.  Res64: D98390C89E8A4362  Time : 8324.0 sec.
user=vaughan
[2009-05-09 07:14:10]
339*2^805915-1 is not prime.  Res64: 81142EC5963B6CFF  Time : 8163.0 sec.
user=mdettweiler
[2009-05-09 07:15:39]
345*2^806122-1 is not prime.  Res64: B1CD0BFE0470ABD0  Time : 3919.0 sec.
user=vaughan
[2009-05-09 07:16:03]
333*2^806258-1 is not prime.  Res64: 110ECB7C999547C3  Time : 941.0 sec.
user=kar_bon
[2009-05-09 07:16:43]
345*2^805771-1 is not prime.  Res64: 28FB41FF2567BBD1  Time : 11237.0 sec.
user=kar_bon
[2009-05-09 07:17:14]
339*2^805635-1 is not prime.  Res64: 5F633CB0129DCD37  Time : 14285.0 sec.
user=kar_bon
[2009-05-09 07:18:57]
339*2^805809-1 is not prime.  Res64: C7A40A836F53CBE2  Time : 10205.0 sec.
user=vaughan
[2009-05-09 07:20:02]
345*2^805926-1 is not prime.  Res64: E385A34F1BD2A874  Time : 8236.0 sec.
user=mdettweiler
[2009-05-09 07:20:04]
327*2^806136-1 is not prime.  Res64: CF3A2DBEB2E370F0  Time : 3909.0 sec.
user=kar_bon
[2009-05-09 07:20:30]
327*2^805636-1 is not prime.  Res64: 23ED589A8FB7E1AB  Time : 14470.0 sec.
user=vaughan
[2009-05-09 07:20:56]
339*2^805931-1 is not prime.  Res64: 476975F279912DE9  Time : 8195.0 sec.
user=vaughan
[2009-05-09 07:23:34]
339*2^806283-1 is not prime.  Res64: A4E37DF3BB0FFD21  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 07:24:07]
333*2^806139-1 is not prime.  Res64: 45F5B59670469D5D  Time : 3918.0 sec.
user=mdettweiler
[2009-05-09 07:24:31]
345*2^806139-1 is not prime.  Res64: 5F4CA193AA35920B  Time : 3911.0 sec.
user=vaughan
[2009-05-09 07:27:28]
345*2^805936-1 is not prime.  Res64: 8EC2B1A222FBDF05  Time : 8322.0 sec.
user=vaughan
[2009-05-09 07:27:47]
315*2^805954-1 is not prime.  Res64: ED94A007F7E996A9  Time : 8165.0 sec.
user=vaughan
[2009-05-09 07:28:43]
315*2^806286-1 is not prime.  Res64: 3998A5C755678C5F  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 07:28:45]
315*2^806151-1 is not prime.  Res64: CB402D534E4BC070  Time : 3921.0 sec.
user=vaughan
[2009-05-09 07:31:44]
345*2^806299-1 is not prime.  Res64: BA03182F8C466180  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 07:33:07]
315*2^806159-1 is not prime.  Res64: E65FE64FCB5FCB69  Time : 3911.0 sec.
user=vaughan
[2009-05-09 07:33:47]
345*2^805971-1 is not prime.  Res64: 3C98F6AFF7B4C096  Time : 8241.0 sec.
user=vaughan
[2009-05-09 07:34:36]
321*2^805982-1 is not prime.  Res64: C16D547752193175  Time : 8197.0 sec.
user=kar_bon
[2009-05-09 07:35:01]
327*2^805812-1 is not prime.  Res64: B03C92257904CA12  Time : 11155.0 sec.
user=kar_bon
[2009-05-09 07:36:05]
345*2^805860-1 is not prime.  Res64: 4C15CCC471376BAC  Time : 10242.0 sec.
user=mdettweiler
[2009-05-09 07:37:08]
345*2^806167-1 is not prime.  Res64: F2DA7576738C32E3  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 07:37:33]
321*2^806182-1 is not prime.  Res64: 176B680FC6819FB9  Time : 3911.0 sec.
user=vaughan
[2009-05-09 07:39:13]
327*2^806336-1 is not prime.  Res64: 887870CC4E03BAA5  Time : 939.0 sec.
user=vaughan
[2009-05-09 07:41:17]
315*2^805995-1 is not prime.  Res64: 357BA48D162BC095  Time : 8318.0 sec.
user=vaughan
[2009-05-09 07:41:23]
327*2^806008-1 is not prime.  Res64: 3720C41DB267B1A9  Time : 8163.0 sec.
user=kar_bon
[2009-05-09 07:41:44]
333*2^805704-1 is not prime.  Res64: 4167129310AFE5AF  Time : 14349.0 sec.
user=mdettweiler
[2009-05-09 07:41:49]
333*2^806187-1 is not prime.  Res64: 5C319DC402770117  Time : 3921.0 sec.
user=vaughan
[2009-05-09 07:44:01]
339*2^806349-1 is not prime.  Res64: D5291E75D4761D85  Time : 918.0 sec.
user=kar_bon
[2009-05-09 07:45:08]
315*2^805708-1 is not prime.  Res64: A4E0C5937804BD13  Time : 14520.0 sec.
user=mdettweiler
[2009-05-09 07:46:11]
327*2^806193-1 is not prime.  Res64: C3702AC3AB2F3BC1  Time : 3912.0 sec.
user=vaughan
[2009-05-09 07:47:25]
345*2^806356-1 is not prime.  Res64: 48EDD40349C7D71E  Time : 941.0 sec.
user=vaughan
[2009-05-09 07:47:32]
339*2^806023-1 is not prime.  Res64: FE7E7FED6D2DA980  Time : 8245.0 sec.
user=vaughan
[2009-05-09 07:48:15]
315*2^806027-1 is not prime.  Res64: 3372A84CDDF6F1F4  Time : 8197.0 sec.
user=mdettweiler
[2009-05-09 07:50:11]
345*2^806200-1 is not prime.  Res64: BC612B4B67E318DB  Time : 3917.0 sec.
user=mdettweiler
[2009-05-09 07:50:34]
327*2^806202-1 is not prime.  Res64: 18DC53B06B938236  Time : 3910.0 sec.
user=kar_bon
[2009-05-09 07:53:07]
315*2^805874-1 is not prime.  Res64: 9EC36B5D53560B2B  Time : 11102.0 sec.
user=kar_bon
[2009-05-09 07:53:15]
315*2^805925-1 is not prime.  Res64: 01AB3E17669A4627  Time : 10242.0 sec.
user=vaughan
[2009-05-09 07:54:52]
327*2^806376-1 is not prime.  Res64: D3AADEF1D7564EDA  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 07:54:55]
333*2^806211-1 is not prime.  Res64: 83B4CA5EA1FDA50D  Time : 3923.0 sec.
user=vaughan
[2009-05-09 07:54:59]
321*2^806033-1 is not prime.  Res64: 6E0E21E02B1792DE  Time : 8163.0 sec.
user=vaughan
[2009-05-09 07:55:09]
315*2^806031-1 is not prime.  Res64: 32372A397B41C859  Time : 8316.0 sec.
user=mdettweiler
[2009-05-09 07:59:13]
315*2^806232-1 is not prime.  Res64: B8EAF9223093EC7E  Time : 3912.0 sec.
user=vaughan
[2009-05-09 07:59:17]
339*2^806391-1 is not prime.  Res64: C183D9A46837C7D3  Time : 917.0 sec.
user=vaughan
[2009-05-09 08:01:17]
339*2^806053-1 is not prime.  Res64: 02DDA77B1ECA0512  Time : 8246.0 sec.
user=vaughan
[2009-05-09 08:01:54]
327*2^806058-1 is not prime.  Res64: 393C710C12E17445  Time : 8195.0 sec.
user=vaughan
[2009-05-09 08:03:07]
339*2^806401-1 is not prime.  Res64: 2C3F1A5FBA6CC2B7  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 08:03:14]
327*2^806241-1 is not prime.  Res64: B6C7B734971B7E75  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 08:03:38]
315*2^806246-1 is not prime.  Res64: 4531106CF5840570  Time : 3911.0 sec.
user=kar_bon
[2009-05-09 08:06:03]
327*2^805761-1 is not prime.  Res64: 194FE705C825AECA  Time : 14395.0 sec.
user=mdettweiler
[2009-05-09 08:07:57]
315*2^806277-1 is not prime.  Res64: E46DEE793C95C0DA  Time : 3920.0 sec.
user=vaughan
[2009-05-09 08:08:36]
333*2^806078-1 is not prime.  Res64: EF60512D00F7FF80  Time : 8164.0 sec.
user=vaughan
[2009-05-09 08:09:00]
321*2^806071-1 is not prime.  Res64: 8774BD71E47F22D4  Time : 8316.0 sec.
user=kar_bon
[2009-05-09 08:09:27]
333*2^805763-1 is not prime.  Res64: 92CF54A2835696E0  Time : 14539.0 sec.
user=kar_bon
[2009-05-09 08:09:44]
327*2^805994-1 is not prime.  Res64: 00C30BBBF4A9EDB4  Time : 10181.0 sec.
user=vaughan
[2009-05-09 08:10:30]
315*2^806427-1 is not prime.  Res64: 760AA505F46ACDDD  Time : 939.0 sec.
user=kar_bon
[2009-05-09 08:12:14]
321*2^805934-1 is not prime.  Res64: 09B8A8CBC95997F8  Time : 11161.0 sec.
user=mdettweiler
[2009-05-09 08:12:17]
321*2^806278-1 is not prime.  Res64: 44612A606A65520F  Time : 3914.0 sec.
user=vaughan
[2009-05-09 08:14:34]
333*2^806435-1 is not prime.  Res64: 82563936E9991D7C  Time : 917.0 sec.
user=vaughan
[2009-05-09 08:15:02]
321*2^806085-1 is not prime.  Res64: 3440D206F5C9E601  Time : 8248.0 sec.
user=vaughan
[2009-05-09 08:15:34]
321*2^806098-1 is not prime.  Res64: 380A029B841DBDD6  Time : 8196.0 sec.
user=mdettweiler
[2009-05-09 08:16:16]
327*2^806284-1 is not prime.  Res64: 8370B25EBCC3516A  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 08:16:39]
321*2^806285-1 is not prime.  Res64: A12929A38A05496F  Time : 3910.0 sec.
user=vaughan
[2009-05-09 08:18:49]
327*2^806442-1 is not prime.  Res64: 4604FE6EF7226CFD  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 08:21:02]
315*2^806290-1 is not prime.  Res64: 2D4A483777B49CB7  Time : 3923.0 sec.
user=vaughan
[2009-05-09 08:22:11]
339*2^806111-1 is not prime.  Res64: AE185F48618E875C  Time : 8163.0 sec.
user=vaughan
[2009-05-09 08:22:51]
327*2^806105-1 is not prime.  Res64: 37116B37F92B165B  Time : 8315.0 sec.
user=mdettweiler
[2009-05-09 08:25:20]
315*2^806306-1 is not prime.  Res64: E1271773859D431E  Time : 3916.0 sec.
user=vaughan
[2009-05-09 08:26:10]
333*2^806463-1 is not prime.  Res64: 9214E12899E7CBBA  Time : 940.0 sec.
user=kar_bon
[2009-05-09 08:26:14]
327*2^806032-1 is not prime.  Res64: AB623557D932C682  Time : 10079.0 sec.
user=vaughan
[2009-05-09 08:28:48]
333*2^806126-1 is not prime.  Res64: 99523C938F14997D  Time : 8250.0 sec.
user=vaughan
[2009-05-09 08:29:13]
345*2^806130-1 is not prime.  Res64: 935A41F9A8883CE4  Time : 8196.0 sec.
user=mdettweiler
[2009-05-09 08:29:19]
333*2^806336-1 is not prime.  Res64: 7DA7196F2189571C  Time : 3912.0 sec.
user=mdettweiler
[2009-05-09 08:29:41]
333*2^806343-1 is not prime.  Res64: DA6C0D4E45690545  Time : 3911.0 sec.
user=vaughan
[2009-05-09 08:29:51]
327*2^806469-1 is not prime.  Res64: 8835629A3841F2E2  Time : 917.0 sec.
user=kar_bon
[2009-05-09 08:30:04]
345*2^805815-1 is not prime.  Res64: D0D5B8E2F658C6D0  Time : 14420.0 sec.
user=kar_bon
[2009-05-09 08:31:24]
315*2^806004-1 is not prime.  Res64: A65AA6359C830FC1  Time : 11227.0 sec.
user=kar_bon
[2009-05-09 08:33:40]
315*2^805821-1 is not prime.  Res64: FF7C6D8965CE5CE4  Time : 14556.0 sec.
user=mdettweiler
[2009-05-09 08:34:06]
327*2^806356-1 is not prime.  Res64: 8C9919343F543AB2  Time : 3921.0 sec.
user=vaughan
[2009-05-09 08:34:31]
339*2^806495-1 is not prime.  Res64: 6ED2D4386194048D  Time : 943.0 sec.
user=vaughan
[2009-05-09 08:35:48]
321*2^806146-1 is not prime.  Res64: E165847DDA671F55  Time : 8162.0 sec.
user=vaughan
[2009-05-09 08:36:43]
345*2^806136-1 is not prime.  Res64: 6A620D39CED10E5F  Time : 8315.0 sec.
user=mdettweiler
[2009-05-09 08:38:23]
339*2^806359-1 is not prime.  Res64: 6ED09D8EC6AB1FB3  Time : 3916.0 sec.
user=vaughan
[2009-05-09 08:41:49]
327*2^806505-1 is not prime.  Res64: 374874D68980E1AF  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 08:42:22]
345*2^806374-1 is not prime.  Res64: 65AD47F6DA2EF192  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 08:42:35]
321*2^806262-1 is not prime.  Res64: 8FCD5F3F000092E6  Time : 6067.0 sec.
user=vaughan
[2009-05-09 08:42:36]
339*2^806151-1 is not prime.  Res64: 77BFC4D7B59ADAD1  Time : 8254.0 sec.
user=mdettweiler
[2009-05-09 08:42:45]
315*2^806375-1 is not prime.  Res64: A6DCDD003FBE7C89  Time : 3912.0 sec.
user=vaughan
[2009-05-09 08:42:54]
345*2^806152-1 is not prime.  Res64: 02705B4847734CA3  Time : 8198.0 sec.
user=vaughan
[2009-05-09 08:45:09]
327*2^806516-1 is not prime.  Res64: 27B0A20B843F29E2  Time : 918.0 sec.
user=mdettweiler
[2009-05-09 08:47:09]
321*2^806391-1 is not prime.  Res64: FECC328B6A14CD32  Time : 3920.0 sec.
user=vaughan
[2009-05-09 08:49:25]
327*2^806185-1 is not prime.  Res64: 964781D074814DC8  Time : 8164.0 sec.
user=kar_bon
[2009-05-09 08:50:02]
315*2^806047-1 is not prime.  Res64: 7C40942041811CF9  Time : 11253.0 sec.
user=vaughan
[2009-05-09 08:50:13]
339*2^806536-1 is not prime.  Res64: 8CFAB6631AF3C824  Time : 943.0 sec.
user=vaughan
[2009-05-09 08:50:34]
339*2^806176-1 is not prime.  Res64: 526AA2D4B777B692  Time : 8314.0 sec.
user=mdettweiler
[2009-05-09 08:51:28]
315*2^806398-1 is not prime.  Res64: 455A9AAAD88C9AB2  Time : 3917.0 sec.
user=kar_bon
[2009-05-09 08:54:42]
333*2^805886-1 is not prime.  Res64: 86DE9C5FB6B9858B  Time : 14472.0 sec.
user=mdettweiler
[2009-05-09 08:55:25]
315*2^806418-1 is not prime.  Res64: F31470C75C25B1DD  Time : 3914.0 sec.
user=mdettweiler
[2009-05-09 08:55:48]
315*2^806419-1 is not prime.  Res64: 7C96C61DFB30424C  Time : 3914.0 sec.
user=vaughan
[2009-05-09 08:56:21]
345*2^806191-1 is not prime.  Res64: C24090629BB8FEBF  Time : 8254.0 sec.
user=vaughan
[2009-05-09 08:56:31]
327*2^806192-1 is not prime.  Res64: A03343AC873127D4  Time : 8194.0 sec.
user=vaughan
[2009-05-09 08:57:27]
333*2^806550-1 is not prime.  Res64: E326C8D11C562D52  Time : 939.0 sec.
user=kar_bon
[2009-05-09 08:58:25]
333*2^805908-1 is not prime.  Res64: 8D3BEF4BF399F933  Time : 14585.0 sec.
user=kar_bon
[2009-05-09 08:59:00]
327*2^806266-1 is not prime.  Res64: A7DA36C76AD499AE  Time : 7051.0 sec.
user=mdettweiler
[2009-05-09 09:00:11]
339*2^806429-1 is not prime.  Res64: BC4A94A0B4A4574B  Time : 3916.0 sec.
user=vaughan
[2009-05-09 09:00:25]
339*2^806561-1 is not prime.  Res64: 671F080C5261A706  Time : 917.0 sec.
user=vaughan
[2009-05-09 09:03:02]
333*2^806208-1 is not prime.  Res64: 8971A3A7692D38A3  Time : 8164.0 sec.
user=vaughan
[2009-05-09 09:04:27]
339*2^806205-1 is not prime.  Res64: 7BE0F1471580DFAE  Time : 8316.0 sec.
user=mdettweiler
[2009-05-09 09:04:31]
315*2^806435-1 is not prime.  Res64: 953D5404AC2FDBAB  Time : 3918.0 sec.
user=vaughan
[2009-05-09 09:05:55]
327*2^806569-1 is not prime.  Res64: D8580E471C39BCE9  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 09:08:30]
333*2^806444-1 is not prime.  Res64: AE90BE5D1D114F40  Time : 3916.0 sec.
user=kar_bon
[2009-05-09 09:08:34]
327*2^806098-1 is not prime.  Res64: 92D533758C37583A  Time : 11210.0 sec.
user=mdettweiler
[2009-05-09 09:08:50]
321*2^806445-1 is not prime.  Res64: A661C1899928E19E  Time : 3912.0 sec.
user=vaughan
[2009-05-09 09:10:11]
345*2^806224-1 is not prime.  Res64: 672B13FF5D5709F6  Time : 8194.0 sec.
user=vaughan
[2009-05-09 09:10:11]
315*2^806214-1 is not prime.  Res64: C43641401075D560  Time : 8260.0 sec.
user=vaughan
[2009-05-09 09:13:06]
327*2^806580-1 is not prime.  Res64: 8CC4BE886DEF108F  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 09:13:14]
327*2^806449-1 is not prime.  Res64: CA221BD45DA0A119  Time : 3917.0 sec.
user=kar_bon
[2009-05-09 09:15:24]
321*2^806274-1 is not prime.  Res64: F08A26889B7EA857  Time : 8035.0 sec.
user=vaughan
[2009-05-09 09:15:42]
315*2^806595-1 is not prime.  Res64: AA562A511A0AF3E5  Time : 917.0 sec.
user=vaughan
[2009-05-09 09:16:36]
339*2^806259-1 is not prime.  Res64: F5F223D1C0E3B93F  Time : 8163.0 sec.
user=mdettweiler
[2009-05-09 09:17:36]
315*2^806469-1 is not prime.  Res64: 75AA5428D1151830  Time : 3919.0 sec.
user=vaughan
[2009-05-09 09:18:17]
315*2^806255-1 is not prime.  Res64: BB4762BC5097AA04  Time : 8313.0 sec.
user=kar_bon
[2009-05-09 09:19:11]
321*2^805974-1 is not prime.  Res64: 324E9D610ED20F95  Time : 14512.0 sec.
user=mdettweiler
[2009-05-09 09:21:31]
315*2^806490-1 is not prime.  Res64: 7F6A122EB0093BB1  Time : 3915.0 sec.
user=vaughan
[2009-05-09 09:21:37]
339*2^806608-1 is not prime.  Res64: 9460AC9D01558A50  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 09:21:53]
315*2^806491-1 is not prime.  Res64: 55BF0448EEB8736D  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 09:23:17]
333*2^805991-1 is not prime.  Res64: B5347A728EC8AA3D  Time : 14627.0 sec.
user=vaughan
[2009-05-09 09:23:50]
327*2^806281-1 is not prime.  Res64: 1552E70FD2455CFE  Time : 8194.0 sec.
user=vaughan
[2009-05-09 09:23:55]
315*2^806278-1 is not prime.  Res64: 082C708FFB4E9980  Time : 8259.0 sec.
user=mdettweiler
[2009-05-09 09:26:16]
333*2^806498-1 is not prime.  Res64: 65567FCD36D71E93  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 09:27:16]
339*2^806241-1 is not prime.  Res64: 6F1DB5E7A2C8244F  Time : 8951.0 sec.
user=vaughan
[2009-05-09 09:28:45]
321*2^806621-1 is not prime.  Res64: E3EB1FDCF339B84A  Time : 939.0 sec.
user=vaughan
[2009-05-09 09:30:13]
327*2^806288-1 is not prime.  Res64: 02CEB70CCC036EE2  Time : 8163.0 sec.
user=mdettweiler
[2009-05-09 09:30:40]
333*2^806504-1 is not prime.  Res64: 305B5A7971C9B166  Time : 3920.0 sec.
user=vaughan
[2009-05-09 09:31:00]
315*2^806631-1 is not prime.  Res64: 78356413A438E496  Time : 918.0 sec.
user=kar_bon
[2009-05-09 09:31:48]
333*2^806274-1 is not prime.  Res64: 026F862DBC325BB2  Time : 9019.0 sec.
user=vaughan
[2009-05-09 09:32:08]
345*2^806286-1 is not prime.  Res64: C46802C5F3B0E6E4  Time : 8313.0 sec.
user=mdettweiler
[2009-05-09 09:34:37]
321*2^806514-1 is not prime.  Res64: F100A0594B0E898D  Time : 3918.0 sec.
user=mdettweiler
[2009-05-09 09:34:55]
339*2^806515-1 is not prime.  Res64: 624BAB0AC27E5BED  Time : 3914.0 sec.
user=vaughan
[2009-05-09 09:37:19]
327*2^806641-1 is not prime.  Res64: 3D86C569C89621F9  Time : 942.0 sec.
user=vaughan
[2009-05-09 09:37:29]
339*2^806325-1 is not prime.  Res64: 69EBE4D2E1CCEF28  Time : 8193.0 sec.
user=vaughan
[2009-05-09 09:37:40]
327*2^806305-1 is not prime.  Res64: C5A5B3015B519A49  Time : 8258.0 sec.
user=mdettweiler
[2009-05-09 09:39:21]
339*2^806529-1 is not prime.  Res64: 895B94EFE931D43B  Time : 3915.0 sec.
user=kar_bon
[2009-05-09 09:43:36]
327*2^806044-1 is not prime.  Res64: 580684F112776D6F  Time : 14567.0 sec.
user=mdettweiler
[2009-05-09 09:43:43]
339*2^806543-1 is not prime.  Res64: 0F5B3BDE532D5CCE  Time : 3920.0 sec.
user=vaughan
[2009-05-09 09:43:50]
333*2^806348-1 is not prime.  Res64: A82054A41EF48E66  Time : 8164.0 sec.
user=vaughan
[2009-05-09 09:44:24]
315*2^806662-1 is not prime.  Res64: 71A5BB2E7C9C9EC7  Time : 939.0 sec.
user=vaughan
[2009-05-09 09:46:00]
327*2^806345-1 is not prime.  Res64: FEF8A4FD2F9E8A75  Time : 8313.0 sec.
user=kar_bon
[2009-05-09 09:46:05]
327*2^806242-1 is not prime.  Res64: 7ABB38255AC8F721  Time : 10080.0 sec.
user=vaughan
[2009-05-09 09:46:17]
327*2^806674-1 is not prime.  Res64: E8528D1014723F1A  Time : 917.0 sec.
user=mdettweiler
[2009-05-09 09:47:39]
315*2^806555-1 is not prime.  Res64: 004781F88AEC04C5  Time : 3917.0 sec.
user=kar_bon
[2009-05-09 09:47:52]
321*2^806050-1 is not prime.  Res64: E514918814654601  Time : 14673.0 sec.
user=mdettweiler
[2009-05-09 09:47:59]
333*2^806558-1 is not prime.  Res64: 4A00AEB65D52CE80  Time : 3914.0 sec.
user=kar_bon
[2009-05-09 09:48:11]
327*2^806276-1 is not prime.  Res64: 8B08DFA1CDF1799B  Time : 10001.0 sec.
user=vaughan
[2009-05-09 09:51:08]
345*2^806367-1 is not prime.  Res64: D1720B728043D88B  Time : 8192.0 sec.
user=vaughan
[2009-05-09 09:51:27]
339*2^806365-1 is not prime.  Res64: D3F56C6D7F9D24EC  Time : 8261.0 sec.
user=mdettweiler
[2009-05-09 09:52:25]
315*2^806566-1 is not prime.  Res64: E52BDFA537D93E47  Time : 3916.0 sec.
user=vaughan
[2009-05-09 09:53:01]
321*2^806690-1 is not prime.  Res64: 386742E120CA5795  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 09:56:46]
339*2^806571-1 is not prime.  Res64: B97923B6911188E7  Time : 3918.0 sec.
user=vaughan
[2009-05-09 09:57:27]
339*2^806387-1 is not prime.  Res64: CE0FB92B8111B2B0  Time : 8164.0 sec.
user=vaughan
[2009-05-09 09:59:51]
315*2^806387-1 is not prime.  Res64: CB596E0B4A9F3881  Time : 8314.0 sec.
user=vaughan
[2009-05-09 10:00:03]
339*2^806705-1 is not prime.  Res64: D12777EE4EA0C7E4  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 10:00:42]
345*2^806574-1 is not prime.  Res64: A2387D50AA793ED0  Time : 3917.0 sec.
user=mdettweiler
[2009-05-09 10:01:00]
339*2^806575-1 is not prime.  Res64: 375E586866E50163  Time : 3912.0 sec.
user=vaughan
[2009-05-09 10:01:34]
315*2^806709-1 is not prime.  Res64: 92FAFBABA390BFDB  Time : 917.0 sec.
user=kar_bon
[2009-05-09 10:04:32]
339*2^806243-1 is not prime.  Res64: DF5BB03D0F9352F0  Time : 11186.0 sec.
user=kar_bon
[2009-05-09 10:04:44]
321*2^806305-1 is not prime.  Res64: 4C06AB958C48E54B  Time : 9947.0 sec.
user=vaughan
[2009-05-09 10:04:47]
339*2^806417-1 is not prime.  Res64: 5B5372560147FB79  Time : 8192.0 sec.
user=vaughan
[2009-05-09 10:05:12]
339*2^806408-1 is not prime.  Res64: 4785B809FFC2FA68  Time : 8260.0 sec.
user=mdettweiler
[2009-05-09 10:05:29]
345*2^806592-1 is not prime.  Res64: C76889FDE57D4480  Time : 3918.0 sec.
user=kar_bon
[2009-05-09 10:08:42]
315*2^806107-1 is not prime.  Res64: A801463E3EE2569A  Time : 14632.0 sec.
user=vaughan
[2009-05-09 10:08:43]
339*2^806729-1 is not prime.  Res64: 3144AEF2C1B2C7F4  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 10:09:51]
327*2^806605-1 is not prime.  Res64: 17B46DF9FB3A7E34  Time : 3920.0 sec.
user=vaughan
[2009-05-09 10:11:05]
321*2^806431-1 is not prime.  Res64: 1B567426075A9AC3  Time : 8166.0 sec.
user=kar_bon
[2009-05-09 10:13:38]
321*2^806233-1 is not prime.  Res64: 2BD5030F7F74FAEE  Time : 11820.0 sec.
user=vaughan
[2009-05-09 10:13:43]
345*2^806434-1 is not prime.  Res64: BD741DB180B250F7  Time : 8314.0 sec.
user=mdettweiler
[2009-05-09 10:13:44]
327*2^806609-1 is not prime.  Res64: FC042C2E0BB8B8B6  Time : 3914.0 sec.
user=mdettweiler
[2009-05-09 10:14:03]
339*2^806613-1 is not prime.  Res64: 5F9216E5F6B3DA53  Time : 3914.0 sec.
user=vaughan
[2009-05-09 10:15:42]
315*2^806751-1 is not prime.  Res64: 328089F613E8EE3B  Time : 939.0 sec.
user=vaughan
[2009-05-09 10:16:52]
315*2^806760-1 is not prime.  Res64: D30A5369414FE567  Time : 918.0 sec.
user=vaughan
[2009-05-09 10:18:27]
345*2^806440-1 is not prime.  Res64: 2E0B60649B3C773A  Time : 8193.0 sec.
user=mdettweiler
[2009-05-09 10:18:32]
321*2^806622-1 is not prime.  Res64: 1C7B4379D6734D27  Time : 3919.0 sec.
user=vaughan
[2009-05-09 10:18:58]
327*2^806440-1 is not prime.  Res64: 16E088BD7423078A  Time : 8261.0 sec.
user=kar_bon
[2009-05-09 10:21:58]
327*2^806301-1 is not prime.  Res64: ED9436DC3B109FB3  Time : 11115.0 sec.
user=kar_bon
[2009-05-09 10:22:13]
315*2^806374-1 is not prime.  Res64: 5548E12D8BBB40F0  Time : 9968.0 sec.
user=mdettweiler
[2009-05-09 10:22:54]
327*2^806634-1 is not prime.  Res64: 4724195E11F95D7C  Time : 3918.0 sec.
user=vaughan
[2009-05-09 10:24:25]
345*2^806782-1 is not prime.  Res64: CBD8260E4048CF23  Time : 942.0 sec.
user=vaughan
[2009-05-09 10:24:42]
345*2^806451-1 is not prime.  Res64: 957C759D6C6F0C0D  Time : 8166.0 sec.
user=mdettweiler
[2009-05-09 10:26:48]
315*2^806639-1 is not prime.  Res64: 5EB7B96CEFC8F102  Time : 3917.0 sec.
user=mdettweiler
[2009-05-09 10:27:06]
315*2^806647-1 is not prime.  Res64: 3D1948E991989408  Time : 3913.0 sec.
user=vaughan
[2009-05-09 10:27:37]
345*2^806452-1 is not prime.  Res64: 8E747B32E61DCDB7  Time : 8318.0 sec.
user=vaughan
[2009-05-09 10:31:22]
327*2^806808-1 is not prime.  Res64: ABF8458FAB2BC9A4  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 10:31:36]
345*2^806656-1 is not prime.  Res64: 9D023AB264491F76  Time : 3920.0 sec.
user=vaughan
[2009-05-09 10:32:07]
321*2^806473-1 is not prime.  Res64: 820CCD39DDDA0B08  Time : 8194.0 sec.
user=vaughan
[2009-05-09 10:32:10]
327*2^806809-1 is not prime.  Res64: DC7D2C000874D9E1  Time : 919.0 sec.
user=vaughan
[2009-05-09 10:32:44]
345*2^806472-1 is not prime.  Res64: 59D04D68840274E0  Time : 8263.0 sec.
user=kar_bon
[2009-05-09 10:33:43]
333*2^806214-1 is not prime.  Res64: CC63E6F0737E478F  Time : 13223.0 sec.
user=mdettweiler
[2009-05-09 10:35:59]
327*2^806673-1 is not prime.  Res64: 27ABA09AACC9DE3A  Time : 3919.0 sec.
user=kar_bon
[2009-05-09 10:38:16]
345*2^806236-1 is not prime.  Res64: 2830BA4711822C04  Time : 13298.0 sec.
user=vaughan
[2009-05-09 10:38:20]
315*2^806500-1 is not prime.  Res64: 83E456E8AECBF1C2  Time : 8169.0 sec.
user=kar_bon
[2009-05-09 10:39:19]
333*2^806426-1 is not prime.  Res64: E6D558ED76DD4304  Time : 9964.0 sec.
user=mdettweiler
[2009-05-09 10:39:50]
345*2^806685-1 is not prime.  Res64: DE29BD8C339333C8  Time : 3913.0 sec.
user=vaughan
[2009-05-09 10:40:06]
327*2^806826-1 is not prime.  Res64: 9DD008A790EF46EF  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 10:40:07]
321*2^806686-1 is not prime.  Res64: 2163CB661A3EEC73  Time : 3912.0 sec.
user=vaughan
[2009-05-09 10:41:28]
315*2^806502-1 is not prime.  Res64: 1B63AA37AAFB11B7  Time : 8317.0 sec.
user=kar_bon
[2009-05-09 10:41:58]
339*2^806371-1 is not prime.  Res64: 9ADF1FE1E87B2D57  Time : 11217.0 sec.
user=mdettweiler
[2009-05-09 10:44:39]
315*2^806699-1 is not prime.  Res64: B69EB9811F65EF31  Time : 3918.0 sec.
user=vaughan
[2009-05-09 10:45:48]
327*2^806508-1 is not prime.  Res64: 3F35470D49FFCF6E  Time : 8195.0 sec.
user=vaughan
[2009-05-09 10:46:30]
339*2^806507-1 is not prime.  Res64: 1A3EC1DC8850E74D  Time : 8262.0 sec.
user=vaughan
[2009-05-09 10:47:01]
321*2^806837-1 is not prime.  Res64: AE110257B4B5EAC8  Time : 940.0 sec.
user=vaughan
[2009-05-09 10:47:28]
345*2^806847-1 is not prime.  Res64: AEDC6C6EFC3A45A5  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 10:49:00]
327*2^806701-1 is not prime.  Res64: F28B531FC54A3614  Time : 3917.0 sec.
user=vaughan
[2009-05-09 10:51:57]
315*2^806539-1 is not prime.  Res64: 383ED77255D41AA3  Time : 8169.0 sec.
user=mdettweiler
[2009-05-09 10:52:55]
327*2^806712-1 is not prime.  Res64: D3DF87B8F603AD39  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 10:53:11]
339*2^806721-1 is not prime.  Res64: 13C695FBF188E246  Time : 3913.0 sec.
user=vaughan
[2009-05-09 10:55:21]
321*2^806543-1 is not prime.  Res64: 3A0CC0BE5D7F2D77  Time : 8319.0 sec.
user=kar_bon
[2009-05-09 10:55:50]
315*2^806459-1 is not prime.  Res64: 82F34E9C4FA18DBD  Time : 9966.0 sec.
user=vaughan
[2009-05-09 10:55:51]
321*2^806881-1 is not prime.  Res64: 9845BD1198C7A615  Time : 945.0 sec.
user=kar_bon
[2009-05-09 10:57:42]
321*2^806221-1 is not prime.  Res64: 49B0BE11CB44A6A9  Time : 14662.0 sec.
user=mdettweiler
[2009-05-09 10:57:44]
321*2^806726-1 is not prime.  Res64: 4D715DB5D77CE485  Time : 3919.0 sec.
user=vaughan
[2009-05-09 10:59:28]
315*2^806559-1 is not prime.  Res64: 4A86CC8E49B0FBBD  Time : 8195.0 sec.
user=vaughan
[2009-05-09 11:00:16]
321*2^806557-1 is not prime.  Res64: 7EDA907B25077387  Time : 8261.0 sec.
user=kar_bon
[2009-05-09 11:01:47]
327*2^806421-1 is not prime.  Res64: 12D83B9B88FC4307  Time : 11320.0 sec.
user=mdettweiler
[2009-05-09 11:02:05]
321*2^806737-1 is not prime.  Res64: 6A1AE2DE457F2BA8  Time : 3919.0 sec.
user=kar_bon
[2009-05-09 11:02:31]
315*2^806238-1 is not prime.  Res64: 9D3C472527E18DA9  Time : 14752.0 sec.
user=vaughan
[2009-05-09 11:02:39]
333*2^806898-1 is not prime.  Res64: E3F34BBA08203698  Time : 939.0 sec.
user=vaughan
[2009-05-09 11:02:46]
315*2^806907-1 is not prime.  Res64: 9104205E716A129D  Time : 919.0 sec.
user=vaughan
[2009-05-09 11:05:33]
321*2^806566-1 is not prime.  Res64: 7C7A02CC9E1ABA45  Time : 8168.0 sec.
user=mdettweiler
[2009-05-09 11:05:57]
321*2^806753-1 is not prime.  Res64: 069A4887E055B066  Time : 3915.0 sec.
user=mdettweiler
[2009-05-09 11:06:14]
333*2^806754-1 is not prime.  Res64: BC3F206B7ACA9D52  Time : 3914.0 sec.
user=vaughan
[2009-05-09 11:09:11]
333*2^806570-1 is not prime.  Res64: BEF6A944F1875C2F  Time : 8317.0 sec.
user=mdettweiler
[2009-05-09 11:10:47]
345*2^806772-1 is not prime.  Res64: B7DDE214CA9B0E0A  Time : 3918.0 sec.
user=vaughan
[2009-05-09 11:11:32]
345*2^806925-1 is not prime.  Res64: 87BE66BFB84DFE40  Time : 941.0 sec.
user=kar_bon
[2009-05-09 11:12:37]
315*2^806507-1 is not prime.  Res64: C6A1DD3B8BFDEC1D  Time : 9983.0 sec.
user=vaughan
[2009-05-09 11:13:09]
321*2^806577-1 is not prime.  Res64: 355A2B11D189C7E4  Time : 8198.0 sec.
user=vaughan
[2009-05-09 11:14:03]
345*2^806575-1 is not prime.  Res64: 88395808B40EC944  Time : 8262.0 sec.
user=mdettweiler
[2009-05-09 11:15:08]
327*2^806784-1 is not prime.  Res64: 13B9054BAC0C310B  Time : 3917.0 sec.
user=vaughan
[2009-05-09 11:18:03]
345*2^806940-1 is not prime.  Res64: 908CE6D26124F5B6  Time : 917.0 sec.
user=vaughan
[2009-05-09 11:18:18]
333*2^806940-1 is not prime.  Res64: F7C86F85279E2201  Time : 939.0 sec.
user=mdettweiler
[2009-05-09 11:19:01]
339*2^806799-1 is not prime.  Res64: 3404ECE94F4872E2  Time : 3917.0 sec.
user=vaughan
[2009-05-09 11:19:10]
339*2^806595-1 is not prime.  Res64: 0499ED70254EEDBD  Time : 8169.0 sec.
user=mdettweiler
[2009-05-09 11:19:16]
315*2^806805-1 is not prime.  Res64: C102519F9FA32304  Time : 3913.0 sec.
user=kar_bon
[2009-05-09 11:21:41]
333*2^806466-1 is not prime.  Res64: A4B228F66EEAF68A  Time : 11367.0 sec.
user=kar_bon
[2009-05-09 11:21:54]
315*2^806302-1 is not prime.  Res64: 04FDF624933CAF30  Time : 14681.0 sec.
user=vaughan
[2009-05-09 11:23:03]
339*2^806597-1 is not prime.  Res64: C2040697C40D32E3  Time : 8316.0 sec.
user=mdettweiler
[2009-05-09 11:23:51]
345*2^806815-1 is not prime.  Res64: 91A8074F45EFACC4  Time : 3919.0 sec.
user=kar_bon
[2009-05-09 11:26:23]
321*2^806322-1 is not prime.  Res64: E207B9761ABB765F  Time : 14753.0 sec.
user=vaughan
[2009-05-09 11:26:47]
321*2^806614-1 is not prime.  Res64: 4EDBE3FAD49458E5  Time : 8197.0 sec.
user=vaughan
[2009-05-09 11:27:14]
339*2^806951-1 is not prime.  Res64: CBBEDBEA86A57BAE  Time : 942.0 sec.
user=vaughan
[2009-05-09 11:27:49]
333*2^806615-1 is not prime.  Res64: E03A4D99758C97FE  Time : 8258.0 sec.
user=mdettweiler
[2009-05-09 11:28:13]
315*2^806826-1 is not prime.  Res64: D3AB9D4EF35DC8BD  Time : 3919.0 sec.
user=kar_bon
[2009-05-09 11:29:24]
327*2^806556-1 is not prime.  Res64: 8A4AD74B9D46FE5F  Time : 10009.0 sec.
user=mdettweiler
[2009-05-09 11:32:04]
327*2^806832-1 is not prime.  Res64: 023B4863DED019AC  Time : 3916.0 sec.
user=mdettweiler
[2009-05-09 11:32:19]
339*2^806833-1 is not prime.  Res64: 8561DB27D15F67B1  Time : 3913.0 sec.
user=vaughan
[2009-05-09 11:32:48]
339*2^806633-1 is not prime.  Res64: B796BD6E7E2FF29B  Time : 8172.0 sec.
user=vaughan
[2009-05-09 11:33:20]
339*2^806969-1 is not prime.  Res64: 776D99DB39D5AFF4  Time : 917.0 sec.
user=vaughan
[2009-05-09 11:33:58]
315*2^806970-1 is not prime.  Res64: 855D734AAD81050B  Time : 940.0 sec.
user=vaughan
[2009-05-09 11:36:56]
345*2^806634-1 is not prime.  Res64: EC1BDB6FD73E9F59  Time : 8320.0 sec.
user=mdettweiler
[2009-05-09 11:36:56]
327*2^806844-1 is not prime.  Res64: 940B2CA1A3DCDBB2  Time : 3920.0 sec.
user=vaughan
[2009-05-09 11:40:27]
345*2^806650-1 is not prime.  Res64: 4941771B6DA17058  Time : 8197.0 sec.
user=mdettweiler
[2009-05-09 11:41:16]
339*2^806859-1 is not prime.  Res64: E1871F23DBF8DCB1  Time : 3917.0 sec.
user=vaughan
[2009-05-09 11:41:36]
321*2^806655-1 is not prime.  Res64: 438FF418F4C18A96  Time : 8261.0 sec.
user=kar_bon
[2009-05-09 11:41:49]
321*2^806526-1 is not prime.  Res64: D6041FE239CFA5E2  Time : 11426.0 sec.
user=vaughan
[2009-05-09 11:42:56]
327*2^806993-1 is not prime.  Res64: E060DB530833E515  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 11:45:07]
321*2^806878-1 is not prime.  Res64: D128875265CFB292  Time : 3917.0 sec.
user=mdettweiler
[2009-05-09 11:45:22]
339*2^806881-1 is not prime.  Res64: 93ACC715E160CBAB  Time : 3915.0 sec.
user=kar_bon
[2009-05-09 11:45:44]
327*2^806388-1 is not prime.  Res64: C235732B89F19700  Time : 14640.0 sec.
user=kar_bon
[2009-05-09 11:45:52]
315*2^806584-1 is not prime.  Res64: AC5544C0A021306E  Time : 10012.0 sec.
user=vaughan
[2009-05-09 11:46:25]
327*2^806664-1 is not prime.  Res64: 012B09E4E31FC028  Time : 8173.0 sec.
user=vaughan
[2009-05-09 11:48:38]
345*2^807015-1 is not prime.  Res64: A330A5FE9B890B81  Time : 918.0 sec.
user=vaughan
[2009-05-09 11:49:37]
339*2^807017-1 is not prime.  Res64: 89F4E5ECC2367A12  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 11:50:00]
339*2^806891-1 is not prime.  Res64: 7DFE610DDE6C0FF7  Time : 3921.0 sec.
user=kar_bon
[2009-05-09 11:50:20]
345*2^806395-1 is not prime.  Res64: A4CDECE56579493A  Time : 14712.0 sec.
user=vaughan
[2009-05-09 11:50:48]
339*2^806681-1 is not prime.  Res64: FB2F07F9F76B8BFB  Time : 8320.0 sec.
user=vaughan
[2009-05-09 11:54:09]
321*2^806694-1 is not prime.  Res64: 889776148124E26F  Time : 8200.0 sec.
user=mdettweiler
[2009-05-09 11:54:19]
345*2^806907-1 is not prime.  Res64: EF9AEEA54F759319  Time : 3919.0 sec.
user=vaughan
[2009-05-09 11:55:22]
315*2^806695-1 is not prime.  Res64: 0746D32E0F85BBFE  Time : 8262.0 sec.
user=mdettweiler
[2009-05-09 11:58:10]
315*2^806911-1 is not prime.  Res64: E7084B896D8D1F7D  Time : 3915.0 sec.
user=mdettweiler
[2009-05-09 11:58:26]
327*2^806913-1 is not prime.  Res64: 4F5E2E1E9BC0E2F0  Time : 3915.0 sec.
user=vaughan
[2009-05-09 11:58:38]
345*2^807034-1 is not prime.  Res64: F8D4F2C591BB9B2F  Time : 943.0 sec.
user=vaughan
[2009-05-09 12:00:03]
339*2^806701-1 is not prime.  Res64: 2C4B268BD1475469  Time : 8173.0 sec.
user=kar_bon
[2009-05-09 12:02:14]
333*2^806627-1 is not prime.  Res64: EAEFE1A16CB2E5C5  Time : 10010.0 sec.
user=kar_bon
[2009-05-09 12:02:29]
345*2^806566-1 is not prime.  Res64: D1856D977F81F815  Time : 11547.0 sec.
user=mdettweiler
[2009-05-09 12:03:03]
321*2^806927-1 is not prime.  Res64: FD49269FF767E757  Time : 3919.0 sec.
user=vaughan
[2009-05-09 12:03:55]
315*2^807052-1 is not prime.  Res64: 1E4061B9A516F85A  Time : 917.0 sec.
user=vaughan
[2009-05-09 12:04:40]
321*2^806706-1 is not prime.  Res64: 04F0B0ED92774A7E  Time : 8321.0 sec.
user=vaughan
[2009-05-09 12:05:17]
321*2^807055-1 is not prime.  Res64: A2EC027BE812D374  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 12:07:22]
315*2^806935-1 is not prime.  Res64: BA0E8AFF8B4AD625  Time : 3917.0 sec.
user=vaughan
[2009-05-09 12:07:48]
345*2^806724-1 is not prime.  Res64: 20D2CA18ADEF8D77  Time : 8200.0 sec.
user=vaughan
[2009-05-09 12:09:08]
315*2^806726-1 is not prime.  Res64: FD336444297E0C36  Time : 8262.0 sec.
user=kar_bon
[2009-05-09 12:09:13]
327*2^806448-1 is not prime.  Res64: C278D21D2B96086E  Time : 14590.0 sec.
user=mdettweiler
[2009-05-09 12:11:15]
339*2^806941-1 is not prime.  Res64: 08816A907629F309  Time : 3918.0 sec.
user=mdettweiler
[2009-05-09 12:11:29]
321*2^806946-1 is not prime.  Res64: 7385EEBC7E0FB30D  Time : 3915.0 sec.
user=vaughan
[2009-05-09 12:13:42]
327*2^806741-1 is not prime.  Res64: A7BFD4CD7BCFC1F4  Time : 8175.0 sec.
user=kar_bon
[2009-05-09 12:14:00]
321*2^806454-1 is not prime.  Res64: E91D65D16F068BD8  Time : 14673.0 sec.
user=vaughan
[2009-05-09 12:14:21]
339*2^807083-1 is not prime.  Res64: 8D3D9958A9D7CA8C  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 12:16:08]
321*2^806950-1 is not prime.  Res64: 4067ACE857FA1486  Time : 3921.0 sec.
user=kar_bon
[2009-05-09 12:18:32]
327*2^806681-1 is not prime.  Res64: 7A2C8DDAC23D46D7  Time : 10004.0 sec.
user=vaughan
[2009-05-09 12:18:33]
339*2^806741-1 is not prime.  Res64: AE255A2FC5B07191  Time : 8322.0 sec.
user=vaughan
[2009-05-09 12:19:14]
345*2^807096-1 is not prime.  Res64: C41D362950E1FC16  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 12:20:30]
327*2^806968-1 is not prime.  Res64: AB791B31909BF396  Time : 3922.0 sec.
user=vaughan
[2009-05-09 12:20:57]
345*2^807105-1 is not prime.  Res64: 643E01A983C28827  Time : 940.0 sec.
user=vaughan
[2009-05-09 12:21:28]
339*2^806765-1 is not prime.  Res64: BE71205CE4E0EF82  Time : 8201.0 sec.
user=vaughan
[2009-05-09 12:22:52]
327*2^806768-1 is not prime.  Res64: 3B4DC61B368B5CA8  Time : 8260.0 sec.
user=kar_bon
[2009-05-09 12:23:25]
315*2^806610-1 is not prime.  Res64: 5925080BF90841EA  Time : 11691.0 sec.
user=mdettweiler
[2009-05-09 12:24:28]
339*2^806973-1 is not prime.  Res64: FE9E3ED94AEB5091  Time : 3928.0 sec.
user=mdettweiler
[2009-05-09 12:24:38]
327*2^806978-1 is not prime.  Res64: CC171C44AF80703A  Time : 3922.0 sec.
user=vaughan
[2009-05-09 12:27:19]
315*2^806788-1 is not prime.  Res64: EFDB39951453E73A  Time : 8174.0 sec.
user=mdettweiler
[2009-05-09 12:29:21]
315*2^806986-1 is not prime.  Res64: B66743E8967291EA  Time : 3930.0 sec.
user=vaughan
[2009-05-09 12:30:04]
345*2^807124-1 is not prime.  Res64: 9FB5F59324B99675  Time : 943.0 sec.
user=vaughan
[2009-05-09 12:32:26]
327*2^806793-1 is not prime.  Res64: 1C7EAAA59FCB2939  Time : 8323.0 sec.
user=kar_bon
[2009-05-09 12:32:42]
345*2^806524-1 is not prime.  Res64: 8CCB97462E5600F6  Time : 14559.0 sec.
user=mdettweiler
[2009-05-09 12:33:36]
321*2^807001-1 is not prime.  Res64: F76DE9C091588511  Time : 3923.0 sec.
user=vaughan
[2009-05-09 12:34:32]
333*2^807128-1 is not prime.  Res64: ED0E8B89610382A6  Time : 919.0 sec.
user=kar_bon
[2009-05-09 12:34:55]
327*2^806724-1 is not prime.  Res64: 955BD97A7E00CE9C  Time : 10004.0 sec.
user=vaughan
[2009-05-09 12:35:08]
321*2^806813-1 is not prime.  Res64: 9E414FDFD619C37A  Time : 8201.0 sec.
user=vaughan
[2009-05-09 12:36:36]
339*2^807131-1 is not prime.  Res64: 16734D066DF8513B  Time : 940.0 sec.
user=vaughan
[2009-05-09 12:36:37]
327*2^806818-1 is not prime.  Res64: 78D018604EC3AD13  Time : 8260.0 sec.
user=kar_bon
[2009-05-09 12:37:22]
321*2^806527-1 is not prime.  Res64: 38B1B0B7DD36899B  Time : 14622.0 sec.
user=mdettweiler
[2009-05-09 12:37:33]
339*2^807007-1 is not prime.  Res64: 1E833ED94571EA92  Time : 3929.0 sec.
user=mdettweiler
[2009-05-09 12:37:43]
345*2^807010-1 is not prime.  Res64: 7F6CC9AF70DBFE51  Time : 3924.0 sec.
user=vaughan
[2009-05-09 12:40:56]
333*2^806828-1 is not prime.  Res64: 6F308B616E77F515  Time : 8174.0 sec.
user=mdettweiler
[2009-05-09 12:42:27]
315*2^807024-1 is not prime.  Res64: 41B5B2FF82F01472  Time : 3931.0 sec.
user=kar_bon
[2009-05-09 12:44:23]
327*2^806658-1 is not prime.  Res64: EF0A444FF5EB56C0  Time : 11827.0 sec.
user=vaughan
[2009-05-09 12:45:47]
345*2^807154-1 is not prime.  Res64: DC144222019DF69E  Time : 943.0 sec.
user=vaughan
[2009-05-09 12:46:18]
327*2^806836-1 is not prime.  Res64: B3D4469752C9127F  Time : 8321.0 sec.
user=mdettweiler
[2009-05-09 12:46:40]
327*2^807029-1 is not prime.  Res64: 63170C1447EB237D  Time : 3924.0 sec.
user=vaughan
[2009-05-09 12:48:48]
321*2^806846-1 is not prime.  Res64: 0EB627D638C3EE59  Time : 8201.0 sec.
user=vaughan
[2009-05-09 12:49:50]
333*2^807186-1 is not prime.  Res64: 4325840F84116E02  Time : 918.0 sec.
user=vaughan
[2009-05-09 12:50:22]
333*2^806856-1 is not prime.  Res64: 9DA1DFE3992D718C  Time : 8258.0 sec.
user=mdettweiler
[2009-05-09 12:50:38]
321*2^807037-1 is not prime.  Res64: D33363F838098588  Time : 3931.0 sec.
user=mdettweiler
[2009-05-09 12:50:47]
315*2^807042-1 is not prime.  Res64: CF1ADA78D8C2749D  Time : 3925.0 sec.
user=kar_bon
[2009-05-09 12:51:32]
321*2^806765-1 is not prime.  Res64: 4F2A3B8232916E46  Time : 10008.0 sec.
user=vaughan
[2009-05-09 12:52:16]
315*2^807206-1 is not prime.  Res64: F126926C8D35AC2C  Time : 940.0 sec.
user=vaughan
[2009-05-09 12:54:34]
345*2^806871-1 is not prime.  Res64: E10D87C171D9EF8E  Time : 8174.0 sec.
user=mdettweiler
[2009-05-09 12:55:32]
321*2^807058-1 is not prime.  Res64: A7F2E1E386AD0724  Time : 3932.0 sec.
user=kar_bon
[2009-05-09 12:55:51]
321*2^806574-1 is not prime.  Res64: D2CBD005423E68BB  Time : 14469.0 sec.
user=mdettweiler
[2009-05-09 12:59:49]
321*2^807073-1 is not prime.  Res64: D9424E8F00346D7F  Time : 3930.0 sec.
user=vaughan
[2009-05-09 13:00:10]
315*2^806882-1 is not prime.  Res64: FF4B3837400B3A5D  Time : 8322.0 sec.
user=kar_bon
[2009-05-09 13:00:42]
345*2^806580-1 is not prime.  Res64: 84DEC6B0A84055A8  Time : 14538.0 sec.
user=vaughan
[2009-05-09 13:01:29]
327*2^807218-1 is not prime.  Res64: 6837A8D69571307F  Time : 943.0 sec.
user=vaughan
[2009-05-09 13:02:29]
321*2^806893-1 is not prime.  Res64: 6796CD57FC9BB0D0  Time : 8201.0 sec.
user=mdettweiler
[2009-05-09 13:03:42]
339*2^807081-1 is not prime.  Res64: B745A7CD563CF42E  Time : 3932.0 sec.
user=mdettweiler
[2009-05-09 13:03:55]
345*2^807082-1 is not prime.  Res64: E27FF9D29A19B291  Time : 3929.0 sec.
user=vaughan
[2009-05-09 13:04:08]
339*2^806893-1 is not prime.  Res64: B6D9AD7C4A839BA5  Time : 8259.0 sec.
user=vaughan
[2009-05-09 13:05:09]
321*2^807230-1 is not prime.  Res64: B64A17F00F809BE0  Time : 919.0 sec.
user=kar_bon
[2009-05-09 13:05:32]
327*2^806708-1 is not prime.  Res64: C044C2BFFB6F0DF2  Time : 11967.0 sec.
user=kar_bon
[2009-05-09 13:07:55]
327*2^806825-1 is not prime.  Res64: 593975CA51B627B5  Time : 9942.0 sec.
user=vaughan
[2009-05-09 13:07:56]
345*2^807256-1 is not prime.  Res64: 692E39D166B1977A  Time : 940.0 sec.
user=vaughan
[2009-05-09 13:08:10]
333*2^806910-1 is not prime.  Res64: 46B80F0E64484EA8  Time : 8173.0 sec.
user=mdettweiler
[2009-05-09 13:08:40]
339*2^807095-1 is not prime.  Res64: E61CEE27BC4FFC61  Time : 3937.0 sec.
user=mdettweiler
[2009-05-09 13:12:52]
333*2^807107-1 is not prime.  Res64: FDCE8A423AD44F5B  Time : 3930.0 sec.
user=vaughan
[2009-05-09 13:14:04]
333*2^806918-1 is not prime.  Res64: 6C32ACB81B9FEDBD  Time : 8324.0 sec.
user=vaughan
[2009-05-09 13:16:09]
333*2^806928-1 is not prime.  Res64: F590EE6110B63B20  Time : 8202.0 sec.
user=mdettweiler
[2009-05-09 13:16:48]
315*2^807115-1 is not prime.  Res64: 52B6E3CA20F6F660  Time : 3933.0 sec.
user=mdettweiler
[2009-05-09 13:17:01]
327*2^807120-1 is not prime.  Res64: 2C25CFBBBD6C119B  Time : 3932.0 sec.
user=vaughan
[2009-05-09 13:17:12]
339*2^807271-1 is not prime.  Res64: 959CBC23FD7DFF76  Time : 943.0 sec.
user=vaughan
[2009-05-09 13:17:53]
315*2^806930-1 is not prime.  Res64: 1DA1A341DB88239E  Time : 8257.0 sec.
user=kar_bon
[2009-05-09 13:19:19]
321*2^806637-1 is not prime.  Res64: B3F32E266B82AD95  Time : 14408.0 sec.
user=vaughan
[2009-05-09 13:20:27]
315*2^807298-1 is not prime.  Res64: 844A81B235F61A09  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 13:21:45]
321*2^807125-1 is not prime.  Res64: 5D468D57A146986C  Time : 3937.0 sec.
user=vaughan
[2009-05-09 13:21:48]
327*2^806941-1 is not prime.  Res64: 76DED00D9436368E  Time : 8175.0 sec.
user=vaughan
[2009-05-09 13:23:36]
315*2^807304-1 is not prime.  Res64: 64DE9E46D2265831  Time : 940.0 sec.
user=kar_bon
[2009-05-09 13:24:09]
339*2^806647-1 is not prime.  Res64: 8277EAC1A2513025  Time : 14452.0 sec.
user=kar_bon
[2009-05-09 13:25:18]
315*2^806872-1 is not prime.  Res64: E51C19D90DC603C9  Time : 9960.0 sec.
user=mdettweiler
[2009-05-09 13:25:56]
345*2^807129-1 is not prime.  Res64: 53BC96E8B9C9943D  Time : 3926.0 sec.
user=kar_bon
[2009-05-09 13:26:07]
339*2^806763-1 is not prime.  Res64: CA200A90BF15C6DF  Time : 12095.0 sec.
user=vaughan
[2009-05-09 13:27:57]
315*2^806950-1 is not prime.  Res64: 107A6EF01CCC9548  Time : 8326.0 sec.
user=vaughan
[2009-05-09 13:29:51]
333*2^806963-1 is not prime.  Res64: AC245E7B6484B330  Time : 8203.0 sec.
user=mdettweiler
[2009-05-09 13:29:54]
339*2^807149-1 is not prime.  Res64: CF1287D19FE88588  Time : 3926.0 sec.
user=mdettweiler
[2009-05-09 13:30:05]
315*2^807150-1 is not prime.  Res64: AEC7E647D5E6C892  Time : 3927.0 sec.
user=vaughan
[2009-05-09 13:31:38]
315*2^806966-1 is not prime.  Res64: 906DE6D8E0CF2E91  Time : 8255.0 sec.
user=vaughan
[2009-05-09 13:32:55]
315*2^807335-1 is not prime.  Res64: A2D3E23F71E195D2  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 13:34:51]
321*2^807154-1 is not prime.  Res64: ABCD4964FAFC4894  Time : 3930.0 sec.
user=vaughan
[2009-05-09 13:35:26]
315*2^806976-1 is not prime.  Res64: 802F28BA89994360  Time : 8176.0 sec.
user=vaughan
[2009-05-09 13:35:45]
327*2^807346-1 is not prime.  Res64: 4329266B6A46D137  Time : 918.0 sec.
user=mdettweiler
[2009-05-09 13:39:00]
321*2^807174-1 is not prime.  Res64: 6EF308DA23AB232F  Time : 3924.0 sec.
user=vaughan
[2009-05-09 13:39:16]
339*2^807353-1 is not prime.  Res64: A4223B28A712CAF9  Time : 940.0 sec.
user=vaughan
[2009-05-09 13:41:48]
327*2^806981-1 is not prime.  Res64: B72878C2063B15B0  Time : 8325.0 sec.
user=mdettweiler
[2009-05-09 13:42:59]
345*2^807214-1 is not prime.  Res64: DC81F9CE1D43AEA3  Time : 3926.0 sec.
user=mdettweiler
[2009-05-09 13:43:11]
321*2^807215-1 is not prime.  Res64: F62133EF329AE8CC  Time : 3928.0 sec.
user=vaughan
[2009-05-09 13:43:30]
345*2^806992-1 is not prime.  Res64: 5C15EF60C60D1BA7  Time : 8203.0 sec.
user=vaughan
[2009-05-09 13:45:23]
339*2^806999-1 is not prime.  Res64: 4B9668735A18C19F  Time : 8254.0 sec.
user=mdettweiler
[2009-05-09 13:47:54]
339*2^807215-1 is not prime.  Res64: F63069037257EA2F  Time : 3927.0 sec.
user=vaughan
[2009-05-09 13:48:38]
333*2^807380-1 is not prime.  Res64: F29F196ACEDA97F7  Time : 943.0 sec.
user=vaughan
[2009-05-09 13:49:04]
321*2^807013-1 is not prime.  Res64: FFC2E3D5688D60BC  Time : 8177.0 sec.
user=vaughan
[2009-05-09 13:51:04]
321*2^807391-1 is not prime.  Res64: 23A87DF1105F5176  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 13:52:07]
315*2^807226-1 is not prime.  Res64: 029C62A201C5AC3B  Time : 3927.0 sec.
user=vaughan
[2009-05-09 13:54:56]
333*2^807396-1 is not prime.  Res64: A811B818EC76958D  Time : 941.0 sec.
user=vaughan
[2009-05-09 13:55:41]
327*2^807021-1 is not prime.  Res64: 9611D55687ADA01A  Time : 8326.0 sec.
user=mdettweiler
[2009-05-09 13:56:03]
327*2^807234-1 is not prime.  Res64: 4691B1ADC010BABE  Time : 3925.0 sec.
user=mdettweiler
[2009-05-09 13:56:17]
327*2^807242-1 is not prime.  Res64: 32386DE00F897DF5  Time : 3930.0 sec.
user=vaughan
[2009-05-09 13:57:12]
327*2^807024-1 is not prime.  Res64: 59498B5A36E39E55  Time : 8205.0 sec.
user=vaughan
[2009-05-09 13:59:10]
321*2^807030-1 is not prime.  Res64: 6271DD05243FF709  Time : 8255.0 sec.
user=mdettweiler
[2009-05-09 14:01:00]
339*2^807259-1 is not prime.  Res64: 1FC934B7DBE5E5A0  Time : 3928.0 sec.
user=vaughan
[2009-05-09 14:02:42]
345*2^807046-1 is not prime.  Res64: A0E63B76A8B3F499  Time : 8177.0 sec.
user=vaughan
[2009-05-09 14:04:22]
315*2^807412-1 is not prime.  Res64: 0A266DEC2FCD0FD7  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 14:05:10]
345*2^807261-1 is not prime.  Res64: E45DE5DDE44CEA97  Time : 3922.0 sec.
user=vaughan
[2009-05-09 14:06:23]
315*2^807422-1 is not prime.  Res64: DAC8B689799CA535  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 14:09:07]
339*2^807277-1 is not prime.  Res64: D610ADB18FDBCFDE  Time : 3926.0 sec.
user=mdettweiler
[2009-05-09 14:09:24]
321*2^807282-1 is not prime.  Res64: 5CD5543D90DBE697  Time : 3929.0 sec.
user=vaughan
[2009-05-09 14:09:34]
315*2^807067-1 is not prime.  Res64: 28D19B1D9B0FD4EB  Time : 8326.0 sec.
user=vaughan
[2009-05-09 14:10:36]
333*2^807426-1 is not prime.  Res64: BE6C56A90FADBB5F  Time : 940.0 sec.
user=vaughan
[2009-05-09 14:10:51]
315*2^807069-1 is not prime.  Res64: C66153F3F8C476F8  Time : 8203.0 sec.
user=kar_bon
[2009-05-09 14:11:07]
339*2^806715-1 is not prime.  Res64: E5C7FD56168E7DD8  Time : 15795.0 sec.
user=kar_bon
[2009-05-09 14:11:07]
339*2^806789-1 is not prime.  Res64: 7897C6402D389E81  Time : 14249.0 sec.
user=vaughan
[2009-05-09 14:12:54]
339*2^807075-1 is not prime.  Res64: 47D46D30C50739CD  Time : 8252.0 sec.
user=mdettweiler
[2009-05-09 14:14:03]
327*2^807306-1 is not prime.  Res64: BF504D3ECEFC4B5A  Time : 3923.0 sec.
user=vaughan
[2009-05-09 14:16:21]
315*2^807086-1 is not prime.  Res64: 8FEE9EA76999C22A  Time : 8178.0 sec.
user=mdettweiler
[2009-05-09 14:18:14]
315*2^807310-1 is not prime.  Res64: C62728E79DDBEF44  Time : 3922.0 sec.
user=kar_bon
[2009-05-09 14:19:39]
345*2^806824-1 is not prime.  Res64: AA6C52E02CC8270D  Time : 14261.0 sec.
user=kar_bon
[2009-05-09 14:19:39]
315*2^806886-1 is not prime.  Res64: 0820776F76AE051E  Time : 13061.0 sec.
user=kar_bon
[2009-05-09 14:19:39]
345*2^806931-1 is not prime.  Res64: 125F90272D4F0745  Time : 11873.0 sec.
user=vaughan
[2009-05-09 14:20:04]
333*2^807446-1 is not prime.  Res64: E797FEAD8FEF4C6B  Time : 943.0 sec.
user=kar_bon
[2009-05-09 14:20:07]
339*2^806920-1 is not prime.  Res64: 0B2A495F5D151ADE  Time : 12257.0 sec.
user=kar_bon
[2009-05-09 14:20:07]
315*2^806952-1 is not prime.  Res64: 34F2BC30472DD70A  Time : 11250.0 sec.
user=kar_bon
[2009-05-09 14:20:07]
321*2^807006-1 is not prime.  Res64: 191A91DC16617950  Time : 10243.0 sec.
user=vaughan
[2009-05-09 14:21:41]
315*2^807459-1 is not prime.  Res64: B8C8A3A6F832B68A  Time : 918.0 sec.
user=mdettweiler
[2009-05-09 14:22:12]
327*2^807333-1 is not prime.  Res64: 44F659EC152A6A81  Time : 3924.0 sec.
user=mdettweiler
[2009-05-09 14:22:30]
345*2^807334-1 is not prime.  Res64: 857A78646487B141  Time : 3929.0 sec.
user=vaughan
[2009-05-09 14:23:30]
321*2^807103-1 is not prime.  Res64: 5E372C4723A74B2E  Time : 8331.0 sec.
user=vaughan
[2009-05-09 14:24:33]
327*2^807108-1 is not prime.  Res64: D331E0FBC5CD6758  Time : 8205.0 sec.
user=vaughan
[2009-05-09 14:26:17]
345*2^807471-1 is not prime.  Res64: 377AB5A0265572BA  Time : 941.0 sec.
user=vaughan
[2009-05-09 14:26:37]
333*2^807111-1 is not prime.  Res64: 1546A5652D6AAB5A  Time : 8250.0 sec.
user=mdettweiler
[2009-05-09 14:27:09]
315*2^807348-1 is not prime.  Res64: CE1DEEC4D5A4704C  Time : 3924.0 sec.
user=kar_bon
[2009-05-09 14:29:51]
315*2^806700-1 is not prime.  Res64: 36E63F3FEF91F56B  Time : 17175.0 sec.
user=kar_bon
[2009-05-09 14:29:52]
327*2^806781-1 is not prime.  Res64: 713AF3797C3659AE  Time : 15671.0 sec.
user=kar_bon
[2009-05-09 14:29:52]
333*2^806859-1 is not prime.  Res64: F633D5C03010D868  Time : 14169.0 sec.
user=vaughan
[2009-05-09 14:29:56]
321*2^807121-1 is not prime.  Res64: 81C05CF755E79FE1  Time : 8175.0 sec.
user=mdettweiler
[2009-05-09 14:31:19]
315*2^807366-1 is not prime.  Res64: BC3E8CA3ED076E3C  Time : 3923.0 sec.
user=kar_bon
[2009-05-09 14:35:00]
327*2^806869-1 is not prime.  Res64: C346A3A38B3D0C7B  Time : 14205.0 sec.
user=mdettweiler
[2009-05-09 14:35:16]
333*2^807374-1 is not prime.  Res64: E50C050734420C63  Time : 3922.0 sec.
user=mdettweiler
[2009-05-09 14:35:36]
345*2^807376-1 is not prime.  Res64: 7CB541787EB892C7  Time : 3931.0 sec.
user=vaughan
[2009-05-09 14:35:48]
327*2^807500-1 is not prime.  Res64: A457CD2986E31040  Time : 944.0 sec.
user=kar_bon
[2009-05-09 14:36:45]
321*2^807045-1 is not prime.  Res64: C9796224B72FD983  Time : 10253.0 sec.
user=vaughan
[2009-05-09 14:37:00]
345*2^807504-1 is not prime.  Res64: 9424EFA5B1B7D0AE  Time : 919.0 sec.
user=vaughan
[2009-05-09 14:37:26]
345*2^807127-1 is not prime.  Res64: 3ACDD0E9DA06998B  Time : 8333.0 sec.
user=vaughan
[2009-05-09 14:38:13]
321*2^807135-1 is not prime.  Res64: A2DCE2F4A6EC2C42  Time : 8206.0 sec.
user=kar_bon
[2009-05-09 14:39:03]
345*2^806979-1 is not prime.  Res64: 93BBEE8B53EAC87B  Time : 11842.0 sec.
user=mdettweiler
[2009-05-09 14:40:17]
345*2^807382-1 is not prime.  Res64: 8D4339B64CDA88D2  Time : 3926.0 sec.
user=vaughan
[2009-05-09 14:40:20]
321*2^807137-1 is not prime.  Res64: CC2ACC528D65CA39  Time : 8248.0 sec.
user=vaughan
[2009-05-09 14:41:57]
339*2^807515-1 is not prime.  Res64: DC5E896B7889D3B9  Time : 941.0 sec.
user=vaughan
[2009-05-09 14:43:34]
315*2^807151-1 is not prime.  Res64: A5BC9B9F582C7647  Time : 8175.0 sec.
user=mdettweiler
[2009-05-09 14:44:24]
321*2^807394-1 is not prime.  Res64: 523E66CFA874844F  Time : 3924.0 sec.
user=mdettweiler
[2009-05-09 14:48:20]
327*2^807401-1 is not prime.  Res64: 22D2092DA7201646  Time : 3921.0 sec.
user=mdettweiler
[2009-05-09 14:48:42]
345*2^807402-1 is not prime.  Res64: 643E1C5158138BD6  Time : 3931.0 sec.
user=vaughan
[2009-05-09 14:51:23]
339*2^807163-1 is not prime.  Res64: 9C7618A2F459D79E  Time : 8337.0 sec.
user=vaughan
[2009-05-09 14:51:30]
327*2^807562-1 is not prime.  Res64: 979A28576DCD6387  Time : 943.0 sec.
user=vaughan
[2009-05-09 14:51:52]
327*2^807192-1 is not prime.  Res64: 1DE3FFDAEEA2AC72  Time : 8204.0 sec.
user=vaughan
[2009-05-09 14:52:18]
315*2^807566-1 is not prime.  Res64: DF36518700B7C590  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 14:53:22]
315*2^807408-1 is not prime.  Res64: 1D9C0BDDF7E2A551  Time : 3929.0 sec.
user=kar_bon
[2009-05-09 14:53:29]
339*2^807089-1 is not prime.  Res64: 61A264B2A96387C1  Time : 10276.0 sec.
user=kar_bon
[2009-05-09 14:53:33]
315*2^806926-1 is not prime.  Res64: 9AAE1D6950FA1D12  Time : 14151.0 sec.
user=vaughan
[2009-05-09 14:54:02]
321*2^807207-1 is not prime.  Res64: BCBF017F12EC0004  Time : 8246.0 sec.
user=vaughan
[2009-05-09 14:57:12]
333*2^807215-1 is not prime.  Res64: 4693C6C0114FF47E  Time : 8176.0 sec.
user=mdettweiler
[2009-05-09 14:57:27]
321*2^807422-1 is not prime.  Res64: D6CF36D0F6BABEC4  Time : 3920.0 sec.
user=vaughan
[2009-05-09 14:57:37]
333*2^807576-1 is not prime.  Res64: 86EF3B75CF8BBC5B  Time : 940.0 sec.
user=kar_bon
[2009-05-09 14:58:48]
321*2^806935-1 is not prime.  Res64: F2A34A9FC347D67D  Time : 14178.0 sec.
user=kar_bon
[2009-05-09 14:58:57]
339*2^807031-1 is not prime.  Res64: 17B532F7078D4F5E  Time : 11828.0 sec.
user=mdettweiler
[2009-05-09 15:01:24]
345*2^807430-1 is not prime.  Res64: 7224E6107FFC1C5B  Time : 3921.0 sec.
user=mdettweiler
[2009-05-09 15:01:48]
345*2^807432-1 is not prime.  Res64: A832AD5EEA7F9D34  Time : 3931.0 sec.
user=vaughan
[2009-05-09 15:05:18]
339*2^807221-1 is not prime.  Res64: 1A7C3CD95C1EB9B6  Time : 8341.0 sec.
user=vaughan
[2009-05-09 15:05:31]
339*2^807227-1 is not prime.  Res64: A5B966128D7DCA46  Time : 8204.0 sec.
user=mdettweiler
[2009-05-09 15:06:28]
321*2^807441-1 is not prime.  Res64: C50B18183B5E659D  Time : 3928.0 sec.
user=vaughan
[2009-05-09 15:07:13]
339*2^807589-1 is not prime.  Res64: 806CB65F79B45269  Time : 943.0 sec.
user=vaughan
[2009-05-09 15:07:36]
321*2^807597-1 is not prime.  Res64: C25EAC55380D76DB  Time : 918.0 sec.
user=vaughan
[2009-05-09 15:07:45]
321*2^807234-1 is not prime.  Res64: 608A4D84FBE66134  Time : 8244.0 sec.
user=mdettweiler
[2009-05-09 15:10:33]
321*2^807458-1 is not prime.  Res64: A2C349FED778B9F2  Time : 3923.0 sec.
user=vaughan
[2009-05-09 15:10:49]
315*2^807259-1 is not prime.  Res64: B38687D7A62070EE  Time : 8175.0 sec.
user=kar_bon
[2009-05-09 15:11:06]
345*2^807126-1 is not prime.  Res64: 89B4E29CA5BADB32  Time : 10354.0 sec.
user=vaughan
[2009-05-09 15:13:18]
345*2^807619-1 is not prime.  Res64: 0AE272F2F0F102E3  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 15:14:31]
327*2^807466-1 is not prime.  Res64: 616B505327DA3C19  Time : 3924.0 sec.
user=mdettweiler
[2009-05-09 15:14:52]
315*2^807470-1 is not prime.  Res64: 845C99012F93331F  Time : 3928.0 sec.
user=vaughan
[2009-05-09 15:19:12]
321*2^807277-1 is not prime.  Res64: 814A4470811AFE9B  Time : 8203.0 sec.
user=vaughan
[2009-05-09 15:19:15]
345*2^807262-1 is not prime.  Res64: 0E78E7B1586A5ADA  Time : 8345.0 sec.
user=mdettweiler
[2009-05-09 15:19:32]
333*2^807480-1 is not prime.  Res64: 192686377D5207CD  Time : 3929.0 sec.
user=kar_bon
[2009-05-09 15:19:46]
315*2^806980-1 is not prime.  Res64: 7A2693C204A0C59A  Time : 14272.0 sec.
user=vaughan
[2009-05-09 15:21:27]
339*2^807295-1 is not prime.  Res64: 7DD51B4C43B6115E  Time : 8240.0 sec.
user=vaughan
[2009-05-09 15:22:54]
315*2^807636-1 is not prime.  Res64: 76D097631BFE53F6  Time : 918.0 sec.
user=vaughan
[2009-05-09 15:22:55]
315*2^807635-1 is not prime.  Res64: 2CA0EC37B6E9F2CC  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 15:23:38]
327*2^807485-1 is not prime.  Res64: B31ACF47F9AA1305  Time : 3924.0 sec.
user=vaughan
[2009-05-09 15:24:26]
321*2^807305-1 is not prime.  Res64: 567A0E2B876925F8  Time : 8176.0 sec.
user=kar_bon
[2009-05-09 15:25:58]
333*2^806988-1 is not prime.  Res64: 2879C4BF005EB768  Time : 14375.0 sec.
user=mdettweiler
[2009-05-09 15:27:36]
327*2^807506-1 is not prime.  Res64: 617268611E20BB80  Time : 3924.0 sec.
user=mdettweiler
[2009-05-09 15:27:55]
321*2^807511-1 is not prime.  Res64: 9DF540E87564030A  Time : 3925.0 sec.
user=kar_bon
[2009-05-09 15:28:41]
315*2^807192-1 is not prime.  Res64: 07E47E3F16FB1043  Time : 10426.0 sec.
user=vaughan
[2009-05-09 15:28:58]
327*2^807641-1 is not prime.  Res64: EFED657BDF2DD431  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 15:32:38]
315*2^807520-1 is not prime.  Res64: 291629CA665D531E  Time : 3929.0 sec.
user=vaughan
[2009-05-09 15:32:51]
345*2^807330-1 is not prime.  Res64: 4BCC400F7068E5F8  Time : 8202.0 sec.
user=vaughan
[2009-05-09 15:33:12]
321*2^807313-1 is not prime.  Res64: 8DF80AF52F59F1BC  Time : 8348.0 sec.
user=vaughan
[2009-05-09 15:35:10]
321*2^807342-1 is not prime.  Res64: 680B91B170ABB15D  Time : 8237.0 sec.
user=mdettweiler
[2009-05-09 15:36:43]
333*2^807531-1 is not prime.  Res64: 35B53011BE12D309  Time : 3924.0 sec.
user=vaughan
[2009-05-09 15:38:03]
339*2^807351-1 is not prime.  Res64: 84CA2B7588365ACA  Time : 8175.0 sec.
user=vaughan
[2009-05-09 15:38:13]
339*2^807661-1 is not prime.  Res64: 33CF364D2CA24935  Time : 919.0 sec.
user=vaughan
[2009-05-09 15:38:38]
315*2^807669-1 is not prime.  Res64: 0CEC647408D84D48  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 15:40:41]
339*2^807541-1 is not prime.  Res64: 72860A9E6E050FB2  Time : 3925.0 sec.
user=mdettweiler
[2009-05-09 15:41:00]
315*2^807554-1 is not prime.  Res64: FDFE2CB68671C758  Time : 3924.0 sec.
user=vaughan
[2009-05-09 15:44:39]
345*2^807690-1 is not prime.  Res64: 577B91DB7063F715  Time : 941.0 sec.
user=kar_bon
[2009-05-09 15:45:36]
315*2^807045-1 is not prime.  Res64: B8BE37B54D4B2C38  Time : 14392.0 sec.
user=mdettweiler
[2009-05-09 15:45:43]
321*2^807574-1 is not prime.  Res64: 0D8A48218D70770F  Time : 3926.0 sec.
user=kar_bon
[2009-05-09 15:46:13]
339*2^807248-1 is not prime.  Res64: 0B4932EB623C1C19  Time : 10481.0 sec.
user=vaughan
[2009-05-09 15:46:31]
327*2^807369-1 is not prime.  Res64: 03B89D8A7D98AE44  Time : 8201.0 sec.
user=vaughan
[2009-05-09 15:47:08]
321*2^807367-1 is not prime.  Res64: 31F4264EB31B4AB4  Time : 8351.0 sec.
user=vaughan
[2009-05-09 15:48:52]
333*2^807378-1 is not prime.  Res64: EEC37BE335970DDE  Time : 8235.0 sec.
user=mdettweiler
[2009-05-09 15:49:49]
333*2^807584-1 is not prime.  Res64: F3E3C657AAE56C07  Time : 3925.0 sec.
user=vaughan
[2009-05-09 15:51:40]
315*2^807389-1 is not prime.  Res64: A329E971CB390CA0  Time : 8174.0 sec.
user=kar_bon
[2009-05-09 15:51:43]
315*2^807059-1 is not prime.  Res64: 6F5B3420D9609329  Time : 14483.0 sec.
user=vaughan
[2009-05-09 15:53:31]
333*2^807707-1 is not prime.  Res64: E6E8280FDCEC1852  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 15:53:47]
339*2^807587-1 is not prime.  Res64: 1C78783A3CF7D30E  Time : 3927.0 sec.
user=mdettweiler
[2009-05-09 15:54:03]
327*2^807588-1 is not prime.  Res64: 9E1020761AEB9656  Time : 3922.0 sec.
user=vaughan
[2009-05-09 15:54:20]
315*2^807712-1 is not prime.  Res64: 2513321AFCDC77DD  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 15:58:49]
315*2^807600-1 is not prime.  Res64: DC6A5A8EEC08A767  Time : 3927.0 sec.
user=vaughan
[2009-05-09 16:00:11]
315*2^807405-1 is not prime.  Res64: F7ADD866E5723D70  Time : 8201.0 sec.
user=vaughan
[2009-05-09 16:00:20]
333*2^807723-1 is not prime.  Res64: D67E9EB5C5B4F13A  Time : 941.0 sec.
user=vaughan
[2009-05-09 16:01:05]
339*2^807399-1 is not prime.  Res64: D9A230244A1E1844  Time : 8357.0 sec.
user=vaughan
[2009-05-09 16:02:35]
333*2^807407-1 is not prime.  Res64: D8BF3D030935DE3D  Time : 8232.0 sec.
user=mdettweiler
[2009-05-09 16:02:54]
339*2^807615-1 is not prime.  Res64: 71580CBE7AD8F84E  Time : 3927.0 sec.
user=kar_bon
[2009-05-09 16:04:33]
321*2^807302-1 is not prime.  Res64: C81A75D6075D83C2  Time : 10598.0 sec.
user=vaughan
[2009-05-09 16:05:18]
321*2^807413-1 is not prime.  Res64: 79594D629A367BBB  Time : 8174.0 sec.
user=mdettweiler
[2009-05-09 16:06:49]
333*2^807624-1 is not prime.  Res64: 390A65741AA7784F  Time : 3925.0 sec.
user=mdettweiler
[2009-05-09 16:07:08]
345*2^807630-1 is not prime.  Res64: F7C7ADF4FD48CFAD  Time : 3920.0 sec.
user=vaughan
[2009-05-09 16:08:49]
339*2^807765-1 is not prime.  Res64: 323EEEC16463647B  Time : 918.0 sec.
user=vaughan
[2009-05-09 16:10:03]
339*2^807771-1 is not prime.  Res64: 2C34BA8C1C0AD826  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 16:11:53]
321*2^807634-1 is not prime.  Res64: 54CF5DCF7711CC8E  Time : 3925.0 sec.
user=kar_bon
[2009-05-09 16:12:05]
321*2^807113-1 is not prime.  Res64: EEB5D5C078D8970E  Time : 14573.0 sec.
user=vaughan
[2009-05-09 16:13:52]
327*2^807434-1 is not prime.  Res64: 19BCE843EC1515E4  Time : 8200.0 sec.
user=vaughan
[2009-05-09 16:15:03]
339*2^807429-1 is not prime.  Res64: A16F2B12FC4A098E  Time : 8362.0 sec.
user=vaughan
[2009-05-09 16:15:59]
315*2^807779-1 is not prime.  Res64: 07DF3C48DF3C60C5  Time : 940.0 sec.
user=mdettweiler
[2009-05-09 16:16:08]
333*2^807639-1 is not prime.  Res64: 476CFAE66572DA0E  Time : 3935.0 sec.
user=vaughan
[2009-05-09 16:16:19]
315*2^807437-1 is not prime.  Res64: 318EB35271332F76  Time : 8230.0 sec.
user=kar_bon
[2009-05-09 16:18:20]
327*2^807121-1 is not prime.  Res64: 0C80548F84D5DC5F  Time : 14661.0 sec.
user=vaughan
[2009-05-09 16:18:54]
327*2^807441-1 is not prime.  Res64: 4A7EA8CA859C803F  Time : 8173.0 sec.
user=mdettweiler
[2009-05-09 16:19:56]
315*2^807646-1 is not prime.  Res64: 167C642A37AA3CDE  Time : 3925.0 sec.
user=mdettweiler
[2009-05-09 16:20:14]
321*2^807646-1 is not prime.  Res64: 70B586068B6A9CCE  Time : 3922.0 sec.
user=kar_bon
[2009-05-09 16:22:23]
315*2^807359-1 is not prime.  Res64: 6A0FF93D7450F250  Time : 10663.0 sec.
user=vaughan
[2009-05-09 16:24:08]
339*2^807795-1 is not prime.  Res64: 6068113A611D818B  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 16:25:07]
321*2^807654-1 is not prime.  Res64: 0D6B196FC550D13E  Time : 3935.0 sec.
user=vaughan
[2009-05-09 16:25:46]
315*2^807798-1 is not prime.  Res64: A3B9B00B459191AE  Time : 943.0 sec.
user=vaughan
[2009-05-09 16:27:32]
315*2^807472-1 is not prime.  Res64: BD063BC25616C3D4  Time : 8201.0 sec.
user=vaughan
[2009-05-09 16:29:00]
333*2^807470-1 is not prime.  Res64: 6096BCD2027C1AC5  Time : 8366.0 sec.
user=mdettweiler
[2009-05-09 16:29:13]
327*2^807674-1 is not prime.  Res64: 6E3FCF341FCEED74  Time : 3935.0 sec.
user=vaughan
[2009-05-09 16:30:00]
315*2^807479-1 is not prime.  Res64: 34E33877E149E6FC  Time : 8226.0 sec.
user=vaughan
[2009-05-09 16:31:40]
321*2^807817-1 is not prime.  Res64: 2C1ACD52C57157D9  Time : 941.0 sec.
user=vaughan
[2009-05-09 16:32:31]
345*2^807484-1 is not prime.  Res64: D3B59C02E2783131  Time : 8171.0 sec.
user=mdettweiler
[2009-05-09 16:32:59]
327*2^807684-1 is not prime.  Res64: 96CCC1445EC8634B  Time : 3923.0 sec.
user=mdettweiler
[2009-05-09 16:33:19]
333*2^807687-1 is not prime.  Res64: 1CCE6177C2D1C66C  Time : 3924.0 sec.
user=kar_bon
[2009-05-09 16:35:10]
315*2^807167-1 is not prime.  Res64: BAD4695020277098  Time : 14548.0 sec.
user=mdettweiler
[2009-05-09 16:38:13]
339*2^807691-1 is not prime.  Res64: 282024F364144A1D  Time : 3935.0 sec.
user=vaughan
[2009-05-09 16:39:26]
345*2^807849-1 is not prime.  Res64: E5DCA3FF4798486C  Time : 918.0 sec.
user=vaughan
[2009-05-09 16:41:12]
339*2^807513-1 is not prime.  Res64: EC1CEE558E6B664E  Time : 8199.0 sec.
user=kar_bon
[2009-05-09 16:41:21]
339*2^807209-1 is not prime.  Res64: 4279D83EA73EDDE5  Time : 14639.0 sec.
user=kar_bon
[2009-05-09 16:41:26]
315*2^807501-1 is not prime.  Res64: 5D20BDBD75B8FB46  Time : 8480.0 sec.
user=vaughan
[2009-05-09 16:41:29]
315*2^807852-1 is not prime.  Res64: 1E680C370595011D  Time : 944.0 sec.
user=mdettweiler
[2009-05-09 16:42:18]
321*2^807697-1 is not prime.  Res64: C446E00419CE01F9  Time : 3935.0 sec.
user=vaughan
[2009-05-09 16:42:55]
327*2^807513-1 is not prime.  Res64: 666DFB2F8D0C9D26  Time : 8365.0 sec.
user=vaughan
[2009-05-09 16:43:44]
345*2^807519-1 is not prime.  Res64: A01BC038898CCD8B  Time : 8227.0 sec.
user=mdettweiler
[2009-05-09 16:46:04]
339*2^807712-1 is not prime.  Res64: BBA26CAFF8CA800B  Time : 3923.0 sec.
user=vaughan
[2009-05-09 16:46:09]
339*2^807527-1 is not prime.  Res64: A9084708A0313117  Time : 8173.0 sec.
user=mdettweiler
[2009-05-09 16:46:24]
339*2^807713-1 is not prime.  Res64: DE92F320103E7C65  Time : 3924.0 sec.
user=vaughan
[2009-05-09 16:47:21]
321*2^807870-1 is not prime.  Res64: 5B0AEFA1E25777F7  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 16:51:19]
321*2^807725-1 is not prime.  Res64: D9EFAB0E542A1B73  Time : 3936.0 sec.
user=vaughan
[2009-05-09 16:54:46]
339*2^807899-1 is not prime.  Res64: D85A18CF17DBF8B9  Time : 920.0 sec.
user=vaughan
[2009-05-09 16:54:52]
339*2^807569-1 is not prime.  Res64: 3C309E1C39E6CFF0  Time : 8200.0 sec.
user=mdettweiler
[2009-05-09 16:55:23]
333*2^807747-1 is not prime.  Res64: 7D9A86987BDF063C  Time : 3934.0 sec.
user=vaughan
[2009-05-09 16:56:49]
321*2^807567-1 is not prime.  Res64: D35F16FAA52ADAB5  Time : 8363.0 sec.
user=vaughan
[2009-05-09 16:57:13]
315*2^807906-1 is not prime.  Res64: 6C58F3D751875A6C  Time : 944.0 sec.
user=vaughan
[2009-05-09 16:57:30]
327*2^807576-1 is not prime.  Res64: FF56544900D35D0C  Time : 8231.0 sec.
user=mdettweiler
[2009-05-09 16:59:11]
321*2^807766-1 is not prime.  Res64: 64F11DC8A382382D  Time : 3924.0 sec.
user=mdettweiler
[2009-05-09 16:59:30]
321*2^807767-1 is not prime.  Res64: A0D248FF845107CF  Time : 3927.0 sec.
user=kar_bon
[2009-05-09 16:59:33]
333*2^807260-1 is not prime.  Res64: 15563A52289840A3  Time : 14622.0 sec.
user=vaughan
[2009-05-09 16:59:46]
315*2^807580-1 is not prime.  Res64: D06C8369E5D8235B  Time : 8172.0 sec.
user=vaughan
[2009-05-09 17:03:02]
339*2^807917-1 is not prime.  Res64: 7A1B23FC599FEEDB  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 17:04:27]
327*2^807772-1 is not prime.  Res64: 0BC3190854591593  Time : 3938.0 sec.
user=kar_bon
[2009-05-09 17:04:31]
321*2^807503-1 is not prime.  Res64: B5FCDA6A39EAE090  Time : 9865.0 sec.
user=kar_bon
[2009-05-09 17:06:14]
333*2^807270-1 is not prime.  Res64: 65FEE64CEF385E5B  Time : 14732.0 sec.
user=vaughan
[2009-05-09 17:08:32]
315*2^807590-1 is not prime.  Res64: 15DF29EA4C06B8FE  Time : 8200.0 sec.
user=mdettweiler
[2009-05-09 17:08:32]
315*2^807782-1 is not prime.  Res64: 4E8B00AAB92EB522  Time : 3938.0 sec.
user=vaughan
[2009-05-09 17:10:05]
339*2^807919-1 is not prime.  Res64: 9018684033CA6F14  Time : 919.0 sec.
user=vaughan
[2009-05-09 17:10:40]
327*2^807589-1 is not prime.  Res64: 4288862F3A14BCB8  Time : 8357.0 sec.
user=vaughan
[2009-05-09 17:11:16]
339*2^807609-1 is not prime.  Res64: 081686A51B8571AD  Time : 8234.0 sec.
user=mdettweiler
[2009-05-09 17:12:18]
327*2^807789-1 is not prime.  Res64: 67A39A7986AF82CF  Time : 3929.0 sec.
user=mdettweiler
[2009-05-09 17:12:36]
345*2^807789-1 is not prime.  Res64: 701481CEFDDBC844  Time : 3928.0 sec.
user=vaughan
[2009-05-09 17:12:56]
333*2^807930-1 is not prime.  Res64: C429D1844F201C5B  Time : 944.0 sec.
user=vaughan
[2009-05-09 17:13:24]
321*2^807613-1 is not prime.  Res64: B3DA67FA86FD9154  Time : 8172.0 sec.
user=mdettweiler
[2009-05-09 17:17:37]
315*2^807804-1 is not prime.  Res64: 9B31925BEAA6907E  Time : 3944.0 sec.
user=vaughan
[2009-05-09 17:18:43]
321*2^807945-1 is not prime.  Res64: E282F7371292CF80  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 17:21:39]
315*2^807819-1 is not prime.  Res64: 0F55F200628BE2F3  Time : 3931.0 sec.
user=vaughan
[2009-05-09 17:22:13]
327*2^807633-1 is not prime.  Res64: CE00E7F608A95ECB  Time : 8202.0 sec.
user=kar_bon
[2009-05-09 17:23:06]
339*2^807343-1 is not prime.  Res64: CA7E450B3E428B2E  Time : 14627.0 sec.
user=vaughan
[2009-05-09 17:24:34]
339*2^807632-1 is not prime.  Res64: D4FE9957DAD767F5  Time : 8356.0 sec.
user=vaughan
[2009-05-09 17:25:01]
321*2^807638-1 is not prime.  Res64: A3FDDF26B416096A  Time : 8236.0 sec.
user=vaughan
[2009-05-09 17:25:23]
333*2^807960-1 is not prime.  Res64: BC1692377DADF6DE  Time : 918.0 sec.
user=vaughan
[2009-05-09 17:27:01]
345*2^807639-1 is not prime.  Res64: 560F1EBECC0216B2  Time : 8172.0 sec.
user=mdettweiler
[2009-05-09 17:27:31]
327*2^807842-1 is not prime.  Res64: AB1690C3A9157625  Time : 4037.0 sec.
user=mdettweiler
[2009-05-09 17:27:50]
345*2^807840-1 is not prime.  Res64: 19DE3CE612B1E1FE  Time : 4074.0 sec.
user=kar_bon
[2009-05-09 17:28:39]
327*2^807504-1 is not prime.  Res64: 47D8EF33487CDBD5  Time : 11312.0 sec.
user=vaughan
[2009-05-09 17:28:40]
339*2^807979-1 is not prime.  Res64: 2DB3175744B662CE  Time : 944.0 sec.
user=kar_bon
[2009-05-09 17:30:17]
315*2^807355-1 is not prime.  Res64: EFCA36C3F515BF41  Time : 14771.0 sec.
user=mdettweiler
[2009-05-09 17:32:49]
345*2^807850-1 is not prime.  Res64: 453827413AE062AA  Time : 4062.0 sec.
user=vaughan
[2009-05-09 17:34:23]
327*2^807984-1 is not prime.  Res64: A7DAB51AAA434531  Time : 941.0 sec.
user=vaughan
[2009-05-09 17:35:53]
339*2^807649-1 is not prime.  Res64: AD22D6930BD3A32D  Time : 8202.0 sec.
user=mdettweiler
[2009-05-09 17:37:08]
345*2^807861-1 is not prime.  Res64: EED328135E1CDB56  Time : 4075.0 sec.
user=vaughan
[2009-05-09 17:38:28]
315*2^807654-1 is not prime.  Res64: 52F8F2D9223DCDDA  Time : 8353.0 sec.
user=vaughan
[2009-05-09 17:38:48]
315*2^807659-1 is not prime.  Res64: 60B5B7B86E148868  Time : 8241.0 sec.
user=vaughan
[2009-05-09 17:40:38]
315*2^807675-1 is not prime.  Res64: AD03642678FF6543  Time : 8173.0 sec.
user=vaughan
[2009-05-09 17:40:42]
345*2^807990-1 is not prime.  Res64: E599BEBCB35E67DC  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 17:41:13]
321*2^807887-1 is not prime.  Res64: 59F5B8091F8EAEB5  Time : 4074.0 sec.
user=mdettweiler
[2009-05-09 17:41:36]
327*2^807882-1 is not prime.  Res64: B93D3270E231E05F  Time : 4117.0 sec.
user=vaughan
[2009-05-09 17:44:24]
345*2^808006-1 is not prime.  Res64: 913E66D542E7D9F4  Time : 944.0 sec.
user=kar_bon
[2009-05-09 17:46:22]
339*2^807521-1 is not prime.  Res64: 650D45C7F4805476  Time : 11791.0 sec.
user=mdettweiler
[2009-05-09 17:46:30]
327*2^807898-1 is not prime.  Res64: B2FAEC9BA548B820  Time : 4097.0 sec.
user=kar_bon
[2009-05-09 17:49:23]
321*2^807565-1 is not prime.  Res64: 548615FFE6856CD0  Time : 11558.0 sec.
user=vaughan
[2009-05-09 17:49:34]
315*2^807695-1 is not prime.  Res64: 0EF2D5849E43C52C  Time : 8203.0 sec.
user=vaughan
[2009-05-09 17:50:04]
333*2^808023-1 is not prime.  Res64: 2994E8EADFD5578C  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 17:50:55]
327*2^807906-1 is not prime.  Res64: 1E69EF094C7B9BD8  Time : 4117.0 sec.
user=vaughan
[2009-05-09 17:52:21]
327*2^807696-1 is not prime.  Res64: 3F13B1DE6713223E  Time : 8349.0 sec.
user=vaughan
[2009-05-09 17:52:34]
333*2^807696-1 is not prime.  Res64: AC2FA70E5EF9DFF1  Time : 8245.0 sec.
user=kar_bon
[2009-05-09 17:53:35]
327*2^807473-1 is not prime.  Res64: 440D8937ADE34562  Time : 13349.0 sec.
user=vaughan
[2009-05-09 17:54:17]
315*2^807698-1 is not prime.  Res64: 66B23942EA3BF4F7  Time : 8174.0 sec.
user=mdettweiler
[2009-05-09 17:55:24]
345*2^807915-1 is not prime.  Res64: E6092241F29BFC2D  Time : 4140.0 sec.
user=mdettweiler
[2009-05-09 17:55:27]
315*2^807912-1 is not prime.  Res64: 386A84503D1B6648  Time : 4163.0 sec.
user=vaughan
[2009-05-09 17:56:01]
333*2^808040-1 is not prime.  Res64: AEC82253448A4FBB  Time : 919.0 sec.
user=vaughan
[2009-05-09 18:00:08]
315*2^808047-1 is not prime.  Res64: D24774220EE233BE  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 18:00:54]
333*2^807918-1 is not prime.  Res64: 235C1902516CE453  Time : 4176.0 sec.
user=vaughan
[2009-05-09 18:03:15]
321*2^807730-1 is not prime.  Res64: 18F5D72CFDC83CAD  Time : 8204.0 sec.
user=mdettweiler
[2009-05-09 18:05:28]
339*2^807923-1 is not prime.  Res64: CF21590B06144459  Time : 4206.0 sec.
user=vaughan
[2009-05-09 18:05:45]
345*2^808060-1 is not prime.  Res64: 49AB1DE74D9813C0  Time : 941.0 sec.
user=vaughan
[2009-05-09 18:06:13]
339*2^807735-1 is not prime.  Res64: 4C553A7FBB4A4085  Time : 8345.0 sec.
user=vaughan
[2009-05-09 18:06:21]
327*2^807736-1 is not prime.  Res64: C8AE1B615E3C98BB  Time : 8250.0 sec.
user=vaughan
[2009-05-09 18:07:55]
315*2^807754-1 is not prime.  Res64: 76F35D4F31363418  Time : 8175.0 sec.
user=kar_bon
[2009-05-09 18:08:48]
339*2^807603-1 is not prime.  Res64: 26050B9FAD1B84FA  Time : 11719.0 sec.
user=kar_bon
[2009-05-09 18:08:53]
339*2^807523-1 is not prime.  Res64: E0354BC2AFC34AA5  Time : 13142.0 sec.
user=mdettweiler
[2009-05-09 18:09:17]
339*2^807939-1 is not prime.  Res64: 15D2C571B13A91C2  Time : 4187.0 sec.
user=mdettweiler
[2009-05-09 18:09:56]
327*2^807938-1 is not prime.  Res64: 42C77B737A511D84  Time : 4245.0 sec.
user=vaughan
[2009-05-09 18:11:21]
327*2^808089-1 is not prime.  Res64: 3AB2E615481DDF37  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 18:14:31]
345*2^807945-1 is not prime.  Res64: 919BAFE2D50C3A6C  Time : 4204.0 sec.
user=vaughan
[2009-05-09 18:15:52]
339*2^808099-1 is not prime.  Res64: 06C03DF24C216A3B  Time : 944.0 sec.
user=kar_bon
[2009-05-09 18:16:26]
315*2^807475-1 is not prime.  Res64: 9B7E834A2CFB5EC0  Time : 14720.0 sec.
user=vaughan
[2009-05-09 18:16:57]
321*2^807775-1 is not prime.  Res64: 7C652BFD208CFB0F  Time : 8206.0 sec.
user=mdettweiler
[2009-05-09 18:19:30]
327*2^807956-1 is not prime.  Res64: BAF9AE4E00A69390  Time : 4258.0 sec.
user=vaughan
[2009-05-09 18:20:07]
321*2^807781-1 is not prime.  Res64: FC7F1C0C89683FB7  Time : 8252.0 sec.
user=vaughan
[2009-05-09 18:20:07]
345*2^807780-1 is not prime.  Res64: F5AB64466B9123D0  Time : 8342.0 sec.
user=vaughan
[2009-05-09 18:21:25]
315*2^808115-1 is not prime.  Res64: 4FEAA618A0A6D68B  Time : 941.0 sec.
user=vaughan
[2009-05-09 18:21:33]
315*2^807786-1 is not prime.  Res64: BED4FF7C9F74C257  Time : 8176.0 sec.
user=mdettweiler
[2009-05-09 18:22:59]
321*2^807975-1 is not prime.  Res64: 3822F5BDB69D4C1F  Time : 4223.0 sec.
user=mdettweiler
[2009-05-09 18:23:45]
333*2^807971-1 is not prime.  Res64: D6043D58EFD64C12  Time : 4287.0 sec.
user=kar_bon
[2009-05-09 18:25:15]
345*2^800146-1 is not prime.  Res64: D7F87FBC2BF058F5  Time : 152911.0 sec.
user=kar_bon
[2009-05-09 18:25:16]
321*2^800150-1 is not prime.  Res64: D70FF4E1F6EBB449  Time : 152912.0 sec.
user=kar_bon
[2009-05-09 18:25:18]
339*2^800155-1 is not prime.  Res64: 6304B371DDF60540  Time : 152913.0 sec.
user=kar_bon
[2009-05-09 18:25:19]
327*2^800156-1 is not prime.  Res64: 9937724A212875C7  Time : 152914.0 sec.
user=kar_bon
[2009-05-09 18:25:19]
321*2^800158-1 is not prime.  Res64: 7DCD98CF5B5D4438  Time : 152913.0 sec.
user=kar_bon
[2009-05-09 18:25:20]
315*2^800159-1 is not prime.  Res64: 8B167E65B1625623  Time : 152914.0 sec.
user=kar_bon
[2009-05-09 18:25:20]
327*2^803145-1 is not prime.  Res64: CF62F752AE315FE9  Time : 94763.0 sec.
user=kar_bon
[2009-05-09 18:25:21]
345*2^803145-1 is not prime.  Res64: 29DB2EFB87DA6553  Time : 94764.0 sec.
user=kar_bon
[2009-05-09 18:25:21]
315*2^803152-1 is not prime.  Res64: AC65F7E9233311D8  Time : 94764.0 sec.
user=kar_bon
[2009-05-09 18:25:53]
327*2^800281-1 is not prime.  Res64: 96BDDC27B9A04DA6  Time : 152898.0 sec.
user=kar_bon
[2009-05-09 18:25:54]
327*2^800282-1 is not prime.  Res64: B90C296CE163C5BF  Time : 152898.0 sec.
user=kar_bon
[2009-05-09 18:25:55]
327*2^800285-1 is not prime.  Res64: CA82CC0C82F35173  Time : 152899.0 sec.
user=kar_bon
[2009-05-09 18:25:56]
345*2^800287-1 is not prime.  Res64: 91E401EE83F01A0C  Time : 152899.0 sec.
user=kar_bon
[2009-05-09 18:25:57]
315*2^800292-1 is not prime.  Res64: 4C4F2E35E7EF5EA0  Time : 152900.0 sec.
user=kar_bon
[2009-05-09 18:25:57]
327*2^800292-1 is not prime.  Res64: B3CC3490F2D9EDEC  Time : 152900.0 sec.
user=kar_bon
[2009-05-09 18:25:58]
321*2^800293-1 is not prime.  Res64: 66E875CA89E794BD  Time : 152900.0 sec.
user=kar_bon
[2009-05-09 18:25:59]
339*2^803271-1 is not prime.  Res64: A5009586A32814C9  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:26:00]
327*2^803273-1 is not prime.  Res64: 938440A6CBF643DC  Time : 94736.0 sec.
user=kar_bon
[2009-05-09 18:26:01]
345*2^803274-1 is not prime.  Res64: 2A60A298AF8651A1  Time : 94736.0 sec.
user=kar_bon
[2009-05-09 18:26:01]
315*2^803279-1 is not prime.  Res64: 737E121B21369BE3  Time : 94736.0 sec.
user=kar_bon
[2009-05-09 18:26:02]
339*2^803281-1 is not prime.  Res64: ADDFF69266363EC4  Time : 94736.0 sec.
user=kar_bon
[2009-05-09 18:26:03]
333*2^803283-1 is not prime.  Res64: B6D9975BF359071A  Time : 94737.0 sec.
user=kar_bon
[2009-05-09 18:26:04]
315*2^803284-1 is not prime.  Res64: 9A7BDA6F3114C3E2  Time : 94738.0 sec.
user=kar_bon
[2009-05-09 18:26:04]
339*2^803285-1 is not prime.  Res64: F2F7F743049BD5F0  Time : 94737.0 sec.
user=kar_bon
[2009-05-09 18:26:05]
327*2^803292-1 is not prime.  Res64: DBF5AAA3592A8136  Time : 94738.0 sec.
user=kar_bon
[2009-05-09 18:26:06]
339*2^803293-1 is not prime.  Res64: B8374E8FA9DCD17F  Time : 94739.0 sec.
user=kar_bon
[2009-05-09 18:26:07]
315*2^803295-1 is not prime.  Res64: AE8E8D75CDD75D4B  Time : 94739.0 sec.
user=kar_bon
[2009-05-09 18:26:08]
345*2^803296-1 is not prime.  Res64: DA6F47838A3EFE54  Time : 94740.0 sec.
user=kar_bon
[2009-05-09 18:26:09]
327*2^803298-1 is not prime.  Res64: 44EE98FDD3E719ED  Time : 94740.0 sec.
user=kar_bon
[2009-05-09 18:26:10]
333*2^803298-1 is not prime.  Res64: 9D4C6DD400750AF7  Time : 94741.0 sec.
user=kar_bon
[2009-05-09 18:26:11]
321*2^803301-1 is not prime.  Res64: D379C77D95575250  Time : 94742.0 sec.
user=kar_bon
[2009-05-09 18:26:12]
327*2^803304-1 is not prime.  Res64: F18CBBA45C70D697  Time : 94742.0 sec.
user=kar_bon
[2009-05-09 18:26:13]
315*2^803308-1 is not prime.  Res64: A4496677A469E95D  Time : 94743.0 sec.
user=kar_bon
[2009-05-09 18:26:14]
315*2^803309-1 is not prime.  Res64: 1DA6C754DF34BABF  Time : 94743.0 sec.
user=kar_bon
[2009-05-09 18:26:15]
321*2^803314-1 is not prime.  Res64: F525A72322E27E76  Time : 94744.0 sec.
user=kar_bon
[2009-05-09 18:26:16]
345*2^803316-1 is not prime.  Res64: E90742857EFE6FAD  Time : 94745.0 sec.
user=kar_bon
[2009-05-09 18:26:16]
315*2^803318-1 is not prime.  Res64: 58E0DF3A827AB477  Time : 94744.0 sec.
user=kar_bon
[2009-05-09 18:26:17]
339*2^803320-1 is not prime.  Res64: 8B87888446AC5A90  Time : 94745.0 sec.
user=kar_bon
[2009-05-09 18:26:18]
327*2^803322-1 is not prime.  Res64: D2C364C335FC47ED  Time : 94745.0 sec.
user=kar_bon
[2009-05-09 18:26:18]
339*2^803325-1 is not prime.  Res64: C0A549E44CCEEB79  Time : 94745.0 sec.
user=vaughan
[2009-05-09 18:26:39]
321*2^808130-1 is not prime.  Res64: ED482D5E14189E9C  Time : 919.0 sec.
user=kar_bon
[2009-05-09 18:26:40]
345*2^800362-1 is not prime.  Res64: CC9453334CD4B44B  Time : 152873.0 sec.
user=kar_bon
[2009-05-09 18:26:41]
333*2^800364-1 is not prime.  Res64: AED3599FFA5238CD  Time : 152873.0 sec.
user=kar_bon
[2009-05-09 18:26:42]
339*2^800365-1 is not prime.  Res64: C92DC84C25E1D45E  Time : 152874.0 sec.
user=kar_bon
[2009-05-09 18:26:42]
321*2^800370-1 is not prime.  Res64: 754E0506CC323DA1  Time : 152873.0 sec.
user=kar_bon
[2009-05-09 18:26:43]
327*2^800373-1 is not prime.  Res64: 60CAE268296EA72B  Time : 152874.0 sec.
user=kar_bon
[2009-05-09 18:26:44]
321*2^800375-1 is not prime.  Res64: 7BC851D56134D8C3  Time : 152875.0 sec.
user=kar_bon
[2009-05-09 18:26:44]
333*2^800379-1 is not prime.  Res64: 7B795E28A08D74FB  Time : 152874.0 sec.
user=kar_bon
[2009-05-09 18:26:45]
333*2^803390-1 is not prime.  Res64: C1BA9667DDC66754  Time : 94731.0 sec.
user=kar_bon
[2009-05-09 18:26:45]
339*2^803392-1 is not prime.  Res64: EC366B876E5AFA00  Time : 94731.0 sec.
user=kar_bon
[2009-05-09 18:26:46]
339*2^803393-1 is not prime.  Res64: 36E833ADED4C15AA  Time : 94731.0 sec.
user=kar_bon
[2009-05-09 18:26:46]
315*2^803397-1 is not prime.  Res64: FBE070EE5A2E91CD  Time : 94731.0 sec.
user=kar_bon
[2009-05-09 18:26:47]
345*2^803397-1 is not prime.  Res64: 671AA0ED9F008EEE  Time : 94732.0 sec.
user=kar_bon
[2009-05-09 18:26:48]
321*2^803401-1 is not prime.  Res64: 6F2109DDFEE23B7E  Time : 94732.0 sec.
user=kar_bon
[2009-05-09 18:26:48]
315*2^803410-1 is not prime.  Res64: 73A75B659E295CF9  Time : 94732.0 sec.
user=kar_bon
[2009-05-09 18:26:49]
345*2^803412-1 is not prime.  Res64: BFF76751A19CD07A  Time : 94733.0 sec.
user=kar_bon
[2009-05-09 18:26:49]
321*2^803413-1 is not prime.  Res64: 1544D2A1F9E187B2  Time : 94732.0 sec.
user=kar_bon
[2009-05-09 18:26:50]
321*2^803421-1 is not prime.  Res64: 88770BE7D69C22BB  Time : 94733.0 sec.
user=kar_bon
[2009-05-09 18:26:50]
327*2^803421-1 is not prime.  Res64: 7FBAEBFF608C432C  Time : 94732.0 sec.
user=kar_bon
[2009-05-09 18:26:51]
345*2^803424-1 is not prime.  Res64: 727E8865C31B2A67  Time : 94733.0 sec.
user=kar_bon
[2009-05-09 18:26:52]
321*2^803425-1 is not prime.  Res64: 33229D4C05613E86  Time : 94734.0 sec.
user=kar_bon
[2009-05-09 18:26:52]
339*2^803429-1 is not prime.  Res64: 67088243B99299D5  Time : 94733.0 sec.
user=kar_bon
[2009-05-09 18:26:53]
315*2^803430-1 is not prime.  Res64: 6803C41F743BAB54  Time : 94734.0 sec.
user=kar_bon
[2009-05-09 18:26:53]
339*2^803431-1 is not prime.  Res64: 3CB3E592B6252826  Time : 94733.0 sec.
user=kar_bon
[2009-05-09 18:26:54]
327*2^803433-1 is not prime.  Res64: 68733B3087AE2919  Time : 94734.0 sec.
user=kar_bon
[2009-05-09 18:26:54]
327*2^803434-1 is not prime.  Res64: 770039620B21B5D3  Time : 94734.0 sec.
user=kar_bon
[2009-05-09 18:26:55]
327*2^803436-1 is not prime.  Res64: EE76E70D1A8706BA  Time : 94734.0 sec.
user=kar_bon
[2009-05-09 18:26:56]
315*2^803438-1 is not prime.  Res64: 79CC37B902F05C27  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:26:56]
345*2^803439-1 is not prime.  Res64: 37262927D46C62A8  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:26:57]
339*2^803440-1 is not prime.  Res64: 506FF0ECBA6DFD00  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:26:57]
339*2^803441-1 is not prime.  Res64: A688F53F4957C980  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:26:58]
327*2^803442-1 is not prime.  Res64: D098C9080C96A45B  Time : 94735.0 sec.
user=kar_bon
[2009-05-09 18:27:30]
345*2^800481-1 is not prime.  Res64: 766D9E231D2F2776  Time : 152872.0 sec.
user=kar_bon
[2009-05-09 18:27:31]
339*2^800483-1 is not prime.  Res64: EA469074945348BC  Time : 152873.0 sec.
user=kar_bon
[2009-05-09 18:27:32]
315*2^800490-1 is not prime.  Res64: B1FC8E50B942DDBD  Time : 152873.0 sec.
user=kar_bon
[2009-05-09 18:27:33]
345*2^800490-1 is not prime.  Res64: 79AF7D1CF38FEF12  Time : 152874.0 sec.
user=kar_bon
[2009-05-09 18:27:34]
315*2^800491-1 is not prime.  Res64: E990479E9948F749  Time : 152875.0 sec.
user=kar_bon
[2009-05-09 18:27:35]
321*2^800498-1 is not prime.  Res64: 95F27C4CB8E159BF  Time : 152875.0 sec.
user=kar_bon
[2009-05-09 18:27:36]
345*2^800502-1 is not prime.  Res64: B2E25973E3AF1887  Time : 152876.0 sec.
user=kar_bon
[2009-05-09 18:27:37]
345*2^803500-1 is not prime.  Res64: 5ECF06EEC26771A6  Time : 94721.0 sec.
user=kar_bon
[2009-05-09 18:27:38]
321*2^803506-1 is not prime.  Res64: 8A501FD93C3DDB26  Time : 94722.0 sec.
user=kar_bon
[2009-05-09 18:27:39]
333*2^803510-1 is not prime.  Res64: 071ECF8F08FE5D00  Time : 94723.0 sec.
user=kar_bon
[2009-05-09 18:27:40]
315*2^803511-1 is not prime.  Res64: F4426A69123E66CD  Time : 94723.0 sec.
user=kar_bon
[2009-05-09 18:27:41]
327*2^803512-1 is not prime.  Res64: 3336AF252A491885  Time : 94724.0 sec.
user=kar_bon
[2009-05-09 18:27:42]
339*2^803513-1 is not prime.  Res64: D20468FA65513F83  Time : 94724.0 sec.
user=kar_bon
[2009-05-09 18:27:43]
345*2^803515-1 is not prime.  Res64: F9A363EB9B6CECD9  Time : 94725.0 sec.
user=kar_bon
[2009-05-09 18:27:44]
321*2^803522-1 is not prime.  Res64: 6891EDA812073421  Time : 94726.0 sec.
user=kar_bon
[2009-05-09 18:27:44]
327*2^803524-1 is not prime.  Res64: B45FBF605189B7F5  Time : 94725.0 sec.
user=kar_bon
[2009-05-09 18:27:45]
327*2^803525-1 is not prime.  Res64: 866FB9CB850C5339  Time : 94726.0 sec.
user=kar_bon
[2009-05-09 18:27:46]
339*2^803528-1 is not prime.  Res64: 006C69EF01300E49  Time : 94727.0 sec.
user=kar_bon
[2009-05-09 18:27:46]
315*2^803532-1 is not prime.  Res64: 1989BFA2FB5E3258  Time : 94726.0 sec.
user=kar_bon
[2009-05-09 18:27:47]
315*2^803534-1 is not prime.  Res64: 282304E94EF3B828  Time : 94727.0 sec.
user=kar_bon
[2009-05-09 18:27:48]
315*2^803542-1 is not prime.  Res64: 9E148B74F5B8B17B  Time : 94727.0 sec.
user=kar_bon
[2009-05-09 18:27:49]
321*2^803542-1 is not prime.  Res64: A2FE3C93D89F809B  Time : 94728.0 sec.
user=kar_bon
[2009-05-09 18:27:50]
339*2^803549-1 is not prime.  Res64: 168D7A98AAE596A3  Time : 94729.0 sec.
user=kar_bon
[2009-05-09 18:27:50]
321*2^803551-1 is not prime.  Res64: C9CE26F01D7CFABA  Time : 94728.0 sec.
user=kar_bon
[2009-05-09 18:27:51]
339*2^803553-1 is not prime.  Res64: 0DD04A4BAF4E9E64  Time : 94729.0 sec.
user=kar_bon
[2009-05-09 18:27:52]
339*2^803555-1 is not prime.  Res64: 4CBE2BB87DFC25E0  Time : 94729.0 sec.
user=kar_bon
[2009-05-09 18:27:52]
345*2^803556-1 is not prime.  Res64: D070C35E6B895F58  Time : 94729.0 sec.
user=kar_bon
[2009-05-09 18:27:53]
339*2^803559-1 is not prime.  Res64: 459EF9190E631A8C  Time : 94730.0 sec.
user=kar_bon
[2009-05-09 18:27:54]
315*2^803560-1 is not prime.  Res64: 782DCEF04E4CFB10  Time : 94730.0 sec.
user=kar_bon
[2009-05-09 18:27:54]
327*2^803560-1 is not prime.  Res64: 83D422833618242A  Time : 94730.0 sec.
user=kar_bon
[2009-05-09 18:27:55]
327*2^803561-1 is not prime.  Res64: AB627DCA0D2CF750  Time : 94730.0 sec.
user=mdettweiler
[2009-05-09 18:28:04]
315*2^807982-1 is not prime.  Res64: BA9D9734AF284089  Time : 4227.0 sec.
user=kar_bon
[2009-05-09 18:28:16]
321*2^800591-1 is not prime.  Res64: F304258EFCFB78A7  Time : 152854.0 sec.
user=kar_bon
[2009-05-09 18:28:17]
339*2^800591-1 is not prime.  Res64: E55F0C982FC14330  Time : 152854.0 sec.
user=kar_bon
[2009-05-09 18:28:18]
333*2^800594-1 is not prime.  Res64: 1A6A66376A3E83FE  Time : 152855.0 sec.
user=kar_bon
[2009-05-09 18:28:19]
333*2^800595-1 is not prime.  Res64: CC7FCB2050BAB76D  Time : 152856.0 sec.
user=kar_bon
[2009-05-09 18:28:20]
345*2^800595-1 is not prime.  Res64: F3C4E63F41399C59  Time : 152856.0 sec.
user=kar_bon
[2009-05-09 18:28:21]
321*2^800605-1 is not prime.  Res64: 1FAC3F0D109176B8  Time : 152857.0 sec.
user=kar_bon
[2009-05-09 18:28:22]
345*2^800611-1 is not prime.  Res64: 225EB8FFED461DED  Time : 152857.0 sec.
user=kar_bon
[2009-05-09 18:28:23]
321*2^803634-1 is not prime.  Res64: 449EFAB8BCA34E2B  Time : 94704.0 sec.
user=kar_bon
[2009-05-09 18:28:24]
345*2^803634-1 is not prime.  Res64: 4480DEE7C7515BE9  Time : 94705.0 sec.
user=kar_bon
[2009-05-09 18:28:24]
315*2^803639-1 is not prime.  Res64: 0F3CA6D5E3D96020  Time : 94705.0 sec.
user=kar_bon
[2009-05-09 18:28:25]
339*2^803639-1 is not prime.  Res64: 9B51042C7E41E916  Time : 94705.0 sec.
user=kar_bon
[2009-05-09 18:28:26]
345*2^803640-1 is not prime.  Res64: BD368317423742EB  Time : 94706.0 sec.
user=kar_bon
[2009-05-09 18:28:26]
339*2^803643-1 is not prime.  Res64: B7A553151B370968  Time : 94705.0 sec.
user=kar_bon
[2009-05-09 18:28:27]
321*2^803645-1 is not prime.  Res64: A226D1C8024AF6DD  Time : 94706.0 sec.
user=kar_bon
[2009-05-09 18:28:28]
339*2^803645-1 is not prime.  Res64: C075083856639078  Time : 94707.0 sec.
user=kar_bon
[2009-05-09 18:28:29]
315*2^803646-1 is not prime.  Res64: F0517028F6C08CAB  Time : 94707.0 sec.
user=kar_bon
[2009-05-09 18:28:30]
315*2^803647-1 is not prime.  Res64: BFF9359BF2FA2646  Time : 94708.0 sec.
user=kar_bon
[2009-05-09 18:28:30]
327*2^803648-1 is not prime.  Res64: A76882AB492C54F5  Time : 94707.0 sec.
user=kar_bon
[2009-05-09 18:28:31]
315*2^803654-1 is not prime.  Res64: D19FF6DFD837D261  Time : 94708.0 sec.
user=kar_bon
[2009-05-09 18:28:32]
327*2^803658-1 is not prime.  Res64: 042C4A722F2A68AD  Time : 94709.0 sec.
user=kar_bon
[2009-05-09 18:28:33]
345*2^803659-1 is not prime.  Res64: 7A666227BA0FFE09  Time : 94709.0 sec.
user=kar_bon
[2009-05-09 18:28:34]
327*2^803664-1 is not prime.  Res64: 937472A7C987CDA3  Time : 94710.0 sec.
user=kar_bon
[2009-05-09 18:28:35]
339*2^803665-1 is not prime.  Res64: 83BB958906F3EB5E  Time : 94710.0 sec.
user=kar_bon
[2009-05-09 18:28:35]
321*2^803666-1 is not prime.  Res64: 39B98A7C0F1891AD  Time : 94710.0 sec.
user=kar_bon
[2009-05-09 18:28:36]
327*2^803666-1 is not prime.  Res64: 45EDCCF536BF09EA  Time : 94711.0 sec.
user=kar_bon
[2009-05-09 18:28:37]
339*2^803672-1 is not prime.  Res64: FF4B339657F0BA36  Time : 94711.0 sec.
user=kar_bon
[2009-05-09 18:28:37]
327*2^803673-1 is not prime.  Res64: 1648BC2B1B40443C  Time : 94711.0 sec.
user=kar_bon
[2009-05-09 18:28:38]
327*2^803674-1 is not prime.  Res64: 788152A0CAA13295  Time : 94711.0 sec.
user=kar_bon
[2009-05-09 18:28:39]
315*2^803675-1 is not prime.  Res64: 5230B3C1BD3DF696  Time : 94712.0 sec.
user=kar_bon
[2009-05-09 18:28:40]
345*2^803679-1 is not prime.  Res64: 519F4106DB370E6A  Time : 94713.0 sec.
user=kar_bon
[2009-05-09 18:28:41]
321*2^803681-1 is not prime.  Res64: 6AD122D8036DF32E  Time : 94713.0 sec.
user=kar_bon
[2009-05-09 18:29:02]
333*2^800727-1 is not prime.  Res64: F58685E41B4A41F1  Time : 152833.0 sec.
user=kar_bon
[2009-05-09 18:29:02]
315*2^807640-1 is not prime.  Res64: 168CFCAE0FA9B8CB  Time : 11876.0 sec.
user=kar_bon
[2009-05-09 18:29:03]
321*2^800734-1 is not prime.  Res64: 964D6B7D40C3CBC7  Time : 152833.0 sec.
user=kar_bon
[2009-05-09 18:29:04]
345*2^800734-1 is not prime.  Res64: E35899F051C9FCB6  Time : 152834.0 sec.
user=kar_bon
[2009-05-09 18:29:04]
315*2^800735-1 is not prime.  Res64: 47CE0F37909D683B  Time : 152833.0 sec.
user=kar_bon
[2009-05-09 18:29:05]
321*2^800735-1 is not prime.  Res64: D2E04683D3087112  Time : 152834.0 sec.
user=kar_bon
[2009-05-09 18:29:06]
327*2^800738-1 is not prime.  Res64: 28EF134EB88312DF  Time : 152835.0 sec.
user=kar_bon
[2009-05-09 18:29:06]
333*2^800738-1 is not prime.  Res64: 5EAA5BEB10817E03  Time : 152834.0 sec.
user=kar_bon
[2009-05-09 18:29:07]
345*2^803724-1 is not prime.  Res64: A77237F2A5924E11  Time : 94695.0 sec.
user=kar_bon
[2009-05-09 18:29:07]
345*2^803727-1 is not prime.  Res64: 194AC992E6CF5382  Time : 94694.0 sec.
user=kar_bon
[2009-05-09 18:29:08]
315*2^803730-1 is not prime.  Res64: D135E13E22C5319B  Time : 94695.0 sec.
user=kar_bon
[2009-05-09 18:29:09]
315*2^803731-1 is not prime.  Res64: 82E69AAFC28AE1D4  Time : 94695.0 sec.
user=kar_bon
[2009-05-09 18:29:10]
321*2^803734-1 is not prime.  Res64: A865A7B40360FB1E  Time : 94696.0 sec.
user=kar_bon
[2009-05-09 18:29:10]
315*2^803735-1 is not prime.  Res64: 9D836380CABE149C  Time : 94696.0 sec.
user=kar_bon
[2009-05-09 18:29:11]
345*2^803739-1 is not prime.  Res64: 35B4A5B39FF32B44  Time : 94696.0 sec.
user=kar_bon
[2009-05-09 18:29:12]
327*2^803740-1 is not prime.  Res64: 02614FE9EDE9309E  Time : 94697.0 sec.
user=kar_bon
[2009-05-09 18:29:13]
339*2^803741-1 is not prime.  Res64: 66BF2D7EF3A3F8F0  Time : 94698.0 sec.
user=kar_bon
[2009-05-09 18:29:14]
321*2^803745-1 is not prime.  Res64: F4EA3B548CCE8A8C  Time : 94698.0 sec.
user=kar_bon
[2009-05-09 18:29:15]
315*2^803746-1 is not prime.  Res64: 29878617DE2F8366  Time : 94699.0 sec.
user=kar_bon
[2009-05-09 18:29:16]
315*2^803747-1 is not prime.  Res64: 1657F644ACCB86FC  Time : 94699.0 sec.
user=kar_bon
[2009-05-09 18:29:17]
321*2^803751-1 is not prime.  Res64: E86178E152ABE3CC  Time : 94700.0 sec.
user=kar_bon
[2009-05-09 18:29:18]
339*2^803752-1 is not prime.  Res64: E2EC2209CA4A7C60  Time : 94701.0 sec.
user=kar_bon
[2009-05-09 18:29:19]
327*2^803754-1 is not prime.  Res64: 7CB82FD7AEA5B4E2  Time : 94701.0 sec.
user=kar_bon
[2009-05-09 18:29:20]
345*2^803760-1 is not prime.  Res64: EB788E2DE313ABF8  Time : 94702.0 sec.
user=kar_bon
[2009-05-09 18:29:21]
315*2^803762-1 is not prime.  Res64: 288FBB5B52F2FB9F  Time : 94702.0 sec.
user=kar_bon
[2009-05-09 18:29:22]
315*2^803765-1 is not prime.  Res64: 6676F551768403B5  Time : 94703.0 sec.
user=kar_bon
[2009-05-09 18:29:22]
315*2^803767-1 is not prime.  Res64: 31FDE25871B4FAAF  Time : 94703.0 sec.
user=kar_bon
[2009-05-09 18:29:23]
339*2^803767-1 is not prime.  Res64: D4802AF88E8CADA9  Time : 94703.0 sec.
user=kar_bon
[2009-05-09 18:29:24]
345*2^803770-1 is not prime.  Res64: 6A1E06FF26A56DA3  Time : 94704.0 sec.
user=kar_bon
[2009-05-09 18:29:24]
327*2^803772-1 is not prime.  Res64: 6A3E921FF543990B  Time : 94703.0 sec.
user=kar_bon
[2009-05-09 18:29:25]
321*2^803773-1 is not prime.  Res64: 802677828EB9517E  Time : 94704.0 sec.
user=kar_bon
[2009-05-09 18:29:48]
321*2^800813-1 is not prime.  Res64: AEA6E1B92FD28351  Time : 152819.0 sec.
user=kar_bon
[2009-05-09 18:29:49]
327*2^800813-1 is not prime.  Res64: 965D5158687D4BCF  Time : 152820.0 sec.
user=kar_bon
[2009-05-09 18:29:50]
333*2^800814-1 is not prime.  Res64: EA91EE0C0EA31284  Time : 152821.0 sec.
user=kar_bon
[2009-05-09 18:29:51]
315*2^800820-1 is not prime.  Res64: 62461599D87911B8  Time : 152821.0 sec.
user=kar_bon
[2009-05-09 18:29:52]
345*2^800824-1 is not prime.  Res64: E278CB03300B2C12  Time : 152822.0 sec.
user=kar_bon
[2009-05-09 18:29:53]
333*2^800828-1 is not prime.  Res64: B644F7120288E737  Time : 152822.0 sec.
user=kar_bon
[2009-05-09 18:29:53]
345*2^800830-1 is not prime.  Res64: 3A339D0F93CFA3B6  Time : 152822.0 sec.
user=kar_bon
[2009-05-09 18:29:54]
339*2^800831-1 is not prime.  Res64: C91089FEB6024C39  Time : 152823.0 sec.
user=kar_bon
[2009-05-09 18:29:55]
339*2^800833-1 is not prime.  Res64: EFEF0ECAF8F26CEC  Time : 152823.0 sec.
user=kar_bon
[2009-05-09 18:29:56]
333*2^800834-1 is not prime.  Res64: E40DA31853854CB5  Time : 152824.0 sec.
user=kar_bon
[2009-05-09 18:29:57]
315*2^800838-1 is not prime.  Res64: 45EA1DB3DB55438D  Time : 152824.0 sec.
user=kar_bon
[2009-05-09 18:29:57]
315*2^800850-1 is not prime.  Res64: 3E47554BBBEE0B4C  Time : 152824.0 sec.
user=kar_bon
[2009-05-09 18:29:58]
315*2^800854-1 is not prime.  Res64: 0C8051DDA2D63776  Time : 152825.0 sec.
user=kar_bon
[2009-05-09 18:29:59]
327*2^800858-1 is not prime.  Res64: D755457C500DD319  Time : 152825.0 sec.
user=kar_bon
[2009-05-09 18:30:00]
315*2^803842-1 is not prime.  Res64: F0BA49BAFCFCEBB1  Time : 94693.0 sec.
user=kar_bon
[2009-05-09 18:30:01]
315*2^803847-1 is not prime.  Res64: BC15E98533C27DD0  Time : 94694.0 sec.
user=kar_bon
[2009-05-09 18:30:01]
345*2^803854-1 is not prime.  Res64: 82C822189CBDE790  Time : 94694.0 sec.
user=kar_bon
[2009-05-09 18:30:02]
315*2^803856-1 is not prime.  Res64: 188B3E6ACCB75ABD  Time : 94694.0 sec.
user=kar_bon
[2009-05-09 18:30:03]
315*2^803858-1 is not prime.  Res64: 8F76A8E44F17D555  Time : 94695.0 sec.
user=kar_bon
[2009-05-09 18:30:04]
339*2^803861-1 is not prime.  Res64: 2F8DBA5A17E35EA6  Time : 94695.0 sec.
user=kar_bon
[2009-05-09 18:30:05]
339*2^803863-1 is not prime.  Res64: CB4221C0D620E731  Time : 94696.0 sec.
user=kar_bon
[2009-05-09 18:30:06]
333*2^803864-1 is not prime.  Res64: F56EBF0A157CF0B7  Time : 94697.0 sec.
user=kar_bon
[2009-05-09 18:30:07]
315*2^803866-1 is not prime.  Res64: EFD5D569F03212D9  Time : 94697.0 sec.
user=kar_bon
[2009-05-09 18:30:08]
315*2^803870-1 is not prime.  Res64: DA960237EBE9B389  Time : 94698.0 sec.
user=kar_bon
[2009-05-09 18:30:09]
315*2^803871-1 is not prime.  Res64: 87F4D3B15F5678BF  Time : 94698.0 sec.
user=kar_bon
[2009-05-09 18:30:10]
339*2^803871-1 is not prime.  Res64: AF6220BDD0C7BE50  Time : 94699.0 sec.
user=kar_bon
[2009-05-09 18:30:11]
339*2^803872-1 is not prime.  Res64: C6394A78BAB281A4  Time : 94700.0 sec.
user=kar_bon
[2009-05-09 18:30:12]
327*2^803876-1 is not prime.  Res64: 44BA82D30EB8F824  Time : 94700.0 sec.
user=kar_bon
[2009-05-09 18:30:13]
327*2^803881-1 is not prime.  Res64: AA40188005D682AE  Time : 94701.0 sec.
user=kar_bon
[2009-05-09 18:30:14]
345*2^803887-1 is not prime.  Res64: FBC28CAB4B040AAE  Time : 94701.0 sec.
user=kar_bon
[2009-05-09 18:30:14]
345*2^803901-1 is not prime.  Res64: 6420F08D37AE88F7  Time : 94701.0 sec.
user=vaughan
[2009-05-09 18:30:36]
339*2^807808-1 is not prime.  Res64: EC962EF573E359DB  Time : 8205.0 sec.
user=kar_bon
[2009-05-09 18:30:40]
321*2^800903-1 is not prime.  Res64: 20085498C69140EA  Time : 152817.0 sec.
user=kar_bon
[2009-05-09 18:30:40]
339*2^800903-1 is not prime.  Res64: 0BA68D04F2B24057  Time : 152816.0 sec.
user=kar_bon
[2009-05-09 18:30:41]
345*2^800904-1 is not prime.  Res64: 921E78FED04306AE  Time : 152817.0 sec.
user=kar_bon
[2009-05-09 18:30:42]
315*2^800909-1 is not prime.  Res64: 28823AE124CEA50C  Time : 152818.0 sec.
user=kar_bon
[2009-05-09 18:30:43]
315*2^800910-1 is not prime.  Res64: C29E97561C8719CE  Time : 152818.0 sec.
user=kar_bon
[2009-05-09 18:30:44]
327*2^800914-1 is not prime.  Res64: 59BBD1BCBEA8169B  Time : 152819.0 sec.
user=kar_bon
[2009-05-09 18:30:44]
345*2^800914-1 is not prime.  Res64: 0533A0560A0D0084  Time : 152819.0 sec.
user=kar_bon
[2009-05-09 18:30:45]
339*2^800919-1 is not prime.  Res64: 5718DDAFC1E69997  Time : 152819.0 sec.
user=kar_bon
[2009-05-09 18:30:46]
339*2^800923-1 is not prime.  Res64: 3C55981D078CC59F  Time : 152820.0 sec.
user=kar_bon
[2009-05-09 18:30:46]
333*2^800924-1 is not prime.  Res64: 5747F0AA290C27F3  Time : 152819.0 sec.
user=kar_bon
[2009-05-09 18:30:47]
321*2^800926-1 is not prime.  Res64: 07E4ED856CEB9790  Time : 152820.0 sec.
user=kar_bon
[2009-05-09 18:30:48]
327*2^800929-1 is not prime.  Res64: AA56B889EA490C13  Time : 152821.0 sec.
user=kar_bon
[2009-05-09 18:30:48]
339*2^800929-1 is not prime.  Res64: 1BAA90F0D8535E49  Time : 152820.0 sec.
user=kar_bon
[2009-05-09 18:30:49]
321*2^800937-1 is not prime.  Res64: 9A7E08759DDCDDA4  Time : 152821.0 sec.
user=kar_bon
[2009-05-09 18:30:50]
321*2^800941-1 is not prime.  Res64: CE63270878C1B599  Time : 152821.0 sec.
user=kar_bon
[2009-05-09 18:30:51]
327*2^800941-1 is not prime.  Res64: BBB7017CE1A7F623  Time : 152822.0 sec.
user=kar_bon
[2009-05-09 18:30:52]
321*2^800942-1 is not prime.  Res64: 43774C70CB44925E  Time : 152823.0 sec.
user=kar_bon
[2009-05-09 18:30:52]
333*2^800943-1 is not prime.  Res64: C1DE7A00998F2DCE  Time : 152822.0 sec.
user=kar_bon
[2009-05-09 18:30:53]
315*2^800946-1 is not prime.  Res64: 0C5728D60942C127  Time : 152823.0 sec.
user=kar_bon
[2009-05-09 18:30:54]
315*2^800947-1 is not prime.  Res64: 13FBE8E6CBC06530  Time : 152823.0 sec.
user=kar_bon
[2009-05-09 18:30:55]
327*2^800948-1 is not prime.  Res64: 9C49B2BB56F49E50  Time : 152824.0 sec.
user=kar_bon
[2009-05-09 18:30:56]
327*2^800952-1 is not prime.  Res64: FC341D24FF2CDB4B  Time : 152825.0 sec.
user=kar_bon
[2009-05-09 18:30:57]
315*2^800955-1 is not prime.  Res64: 0B719E04672E1CDD  Time : 152825.0 sec.
user=kar_bon
[2009-05-09 18:30:57]
345*2^800955-1 is not prime.  Res64: 358193BC09189311  Time : 152825.0 sec.
user=kar_bon
[2009-05-09 18:30:58]
315*2^800958-1 is not prime.  Res64: 399F117EC90E8227  Time : 152826.0 sec.
user=kar_bon
[2009-05-09 18:30:59]
333*2^800958-1 is not prime.  Res64: 5702D90B5BE7AD3F  Time : 152826.0 sec.
user=kar_bon
[2009-05-09 18:30:59]
327*2^800961-1 is not prime.  Res64: F7D573346BB5F2F3  Time : 152826.0 sec.
user=kar_bon
[2009-05-09 18:31:00]
315*2^803956-1 is not prime.  Res64: 919685CC219D6563  Time : 94709.0 sec.
user=kar_bon
[2009-05-09 18:31:01]
321*2^803965-1 is not prime.  Res64: 1B6A3082D46CD8E8  Time : 94710.0 sec.
user=kar_bon
[2009-05-09 18:31:02]
315*2^803971-1 is not prime.  Res64: 56085091DC28D849  Time : 94710.0 sec.
user=vaughan
[2009-05-09 18:31:35]
339*2^808133-1 is not prime.  Res64: 9403499668F12084  Time : 943.0 sec.
user=kar_bon
[2009-05-09 18:31:41]
321*2^807525-1 is not prime.  Res64: 80B7D2832FACE25C  Time : 14510.0 sec.
user=mdettweiler
[2009-05-09 18:33:05]
345*2^807984-1 is not prime.  Res64: DE0E5FD3A391BC6D  Time : 4286.0 sec.
user=vaughan
[2009-05-09 18:33:53]
333*2^807824-1 is not prime.  Res64: 0CD3545E76436A4C  Time : 8255.0 sec.
user=vaughan
[2009-05-09 18:34:00]
327*2^807809-1 is not prime.  Res64: E7A70544CB155A89  Time : 8338.0 sec.
user=vaughan
[2009-05-09 18:35:12]
345*2^807831-1 is not prime.  Res64: 419EC76C9B1F9587  Time : 8178.0 sec.
user=vaughan
[2009-05-09 18:37:06]
327*2^808154-1 is not prime.  Res64: ED21C0B6BD3D47E8  Time : 941.0 sec.
user=mdettweiler
[2009-05-09 18:37:24]
315*2^807998-1 is not prime.  Res64: 87FACACC6C75E6C1  Time : 4193.0 sec.
user=mdettweiler
[2009-05-09 18:37:25]
315*2^808002-1 is not prime.  Res64: 5DFE80748EAE735A  Time : 4175.0 sec.
user=kar_bon
[2009-05-09 18:39:10]
321*2^807533-1 is not prime.  Res64: F81DF1259ECCB18A  Time : 14650.0 sec.
user=vaughan
[2009-05-09 18:41:58]
333*2^808359-1 is not prime.  Res64: 7BCF9082C55AC55E  Time : 919.0 sec.
user=mdettweiler
[2009-05-09 18:43:23]
339*2^808021-1 is not prime.  Res64: EFFEC98419B6A094  Time : 4234.0 sec.
user=vaughan
[2009-05-09 18:44:16]
345*2^807855-1 is not prime.  Res64: EA4A88C4FFA9C8BB  Time : 8204.0 sec.
user=mdettweiler
[2009-05-09 18:46:39]
339*2^808025-1 is not prime.  Res64: C25D8A7BB96B89A9  Time : 4171.0 sec.
user=vaughan
[2009-05-09 18:47:20]
339*2^808769-1 is not prime.  Res64: D6259E8C407D883A  Time : 945.0 sec.
user=vaughan
[2009-05-09 18:47:40]
327*2^807869-1 is not prime.  Res64: 371CF51017A00285  Time : 8260.0 sec.
user=vaughan
[2009-05-09 18:47:55]
339*2^807861-1 is not prime.  Res64: 636B148A549C951E  Time : 8335.0 sec.
user=kar_bon
[2009-05-09 18:48:41]
339*2^807688-1 is not prime.  Res64: AEAB58AD00C5836B  Time : 12000.0 sec.
user=vaughan
[2009-05-09 18:48:49]
339*2^807879-1 is not prime.  Res64: 2282C80B4C3492A6  Time : 8178.0 sec.
user=mdettweiler
[2009-05-09 18:51:14]
327*2^808041-1 is not prime.  Res64: 4B8AC85C2E1B77F1  Time : 4202.0 sec.
user=mdettweiler
[2009-05-09 18:51:16]
333*2^808043-1 is not prime.  Res64: D84458BD3FC41429  Time : 4181.0 sec.
user=vaughan
[2009-05-09 18:52:48]
327*2^808781-1 is not prime.  Res64: 9D26CFB49E154522  Time : 942.0 sec.
user=kar_bon
[2009-05-09 18:53:47]
339*2^807605-1 is not prime.  Res64: A86B47552C442F8B  Time : 14414.0 sec.
user=mdettweiler
[2009-05-09 18:55:45]
321*2^808054-1 is not prime.  Res64: F06E4793F86A0B32  Time : 4155.0 sec.
user=vaughan
[2009-05-09 18:57:18]
327*2^808800-1 is not prime.  Res64: 35D325402C41284F  Time : 920.0 sec.
user=vaughan
[2009-05-09 18:57:57]
321*2^807901-1 is not prime.  Res64: 3646D48701422491  Time : 8205.0 sec.
user=mdettweiler
[2009-05-09 19:00:31]
339*2^808061-1 is not prime.  Res64: 5BC5886E7A69D9CE  Time : 4176.0 sec.
user=kar_bon
[2009-05-09 19:01:06]
345*2^807622-1 is not prime.  Res64: 6C2EAE17FD6A59CE  Time : 14538.0 sec.
user=vaughan
[2009-05-09 19:01:27]
315*2^807909-1 is not prime.  Res64: 0EBF2CE9E3AAF6D1  Time : 8263.0 sec.
user=vaughan
[2009-05-09 19:01:47]
339*2^807907-1 is not prime.  Res64: FA510974262E4190  Time : 8332.0 sec.
user=vaughan
[2009-05-09 19:02:28]
333*2^807914-1 is not prime.  Res64: D8B1639C9B3F2A19  Time : 8180.0 sec.
user=vaughan
[2009-05-09 19:03:05]
315*2^808816-1 is not prime.  Res64: FC26C1979B7D36F9  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 19:04:51]
315*2^808082-1 is not prime.  Res64: 097D89937C1714E6  Time : 4167.0 sec.
user=mdettweiler
[2009-05-09 19:04:58]
345*2^808084-1 is not prime.  Res64: 479150A1A5353879  Time : 4171.0 sec.
user=vaughan
[2009-05-09 19:08:30]
327*2^808832-1 is not prime.  Res64: 37F9A6D5B846C674  Time : 943.0 sec.
user=kar_bon
[2009-05-09 19:08:59]
315*2^807730-1 is not prime.  Res64: BECDA08D89C863A5  Time : 12167.0 sec.
user=mdettweiler
[2009-05-09 19:10:00]
315*2^808101-1 is not prime.  Res64: 478CCA5C3B06F7C5  Time : 4146.0 sec.
user=vaughan
[2009-05-09 19:11:37]
321*2^807922-1 is not prime.  Res64: 9BBB33132D9B7417  Time : 8205.0 sec.
user=vaughan
[2009-05-09 19:12:38]
315*2^808840-1 is not prime.  Res64: 7C451D8089BEB262  Time : 921.0 sec.
user=mdettweiler
[2009-05-09 19:14:27]
327*2^808113-1 is not prime.  Res64: 8C6FCDB250076073  Time : 4140.0 sec.
user=vaughan
[2009-05-09 19:15:13]
327*2^807933-1 is not prime.  Res64: AC39C1A173947AC6  Time : 8263.0 sec.
user=vaughan
[2009-05-09 19:15:42]
327*2^807925-1 is not prime.  Res64: 4C6138676249BAD7  Time : 8333.0 sec.
user=vaughan
[2009-05-09 19:16:05]
321*2^807942-1 is not prime.  Res64: 03D5B3E0D4F3010F  Time : 8179.0 sec.
user=kar_bon
[2009-05-09 19:16:27]
333*2^807656-1 is not prime.  Res64: 0A3F7C9CA02FF180  Time : 14201.0 sec.
user=mdettweiler
[2009-05-09 19:18:41]
333*2^808124-1 is not prime.  Res64: 6A0182A47871B532  Time : 4164.0 sec.
user=vaughan
[2009-05-09 19:18:49]
315*2^808866-1 is not prime.  Res64: A5A1B65016097360  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 19:18:58]
327*2^808129-1 is not prime.  Res64: 463A3264497DBC79  Time : 4142.0 sec.
user=kar_bon
[2009-05-09 19:21:43]
315*2^807677-1 is not prime.  Res64: 09AA3A3691B02744  Time : 14146.0 sec.
user=mdettweiler
[2009-05-09 19:23:54]
339*2^808131-1 is not prime.  Res64: 9704864AC61A6B75  Time : 4163.0 sec.
user=vaughan
[2009-05-09 19:24:11]
321*2^808871-1 is not prime.  Res64: E7BF390E4B342632  Time : 942.0 sec.
user=vaughan
[2009-05-09 19:25:18]
333*2^807954-1 is not prime.  Res64: E811B00E94404238  Time : 8207.0 sec.
user=vaughan
[2009-05-09 19:27:58]
327*2^808885-1 is not prime.  Res64: 62E419AB5B4DD433  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 19:28:12]
321*2^808145-1 is not prime.  Res64: 5BA39373078395AB  Time : 4122.0 sec.
user=vaughan
[2009-05-09 19:29:01]
315*2^807970-1 is not prime.  Res64: AF9C1C4D34E43AD6  Time : 8265.0 sec.
user=vaughan
[2009-05-09 19:29:36]
315*2^807964-1 is not prime.  Res64: 011F664F1ABABD99  Time : 8336.0 sec.
user=vaughan
[2009-05-09 19:29:44]
315*2^807981-1 is not prime.  Res64: D08A79AF4062493D  Time : 8181.0 sec.
user=kar_bon
[2009-05-09 19:29:44]
333*2^807783-1 is not prime.  Res64: A07E366EDF4E55F8  Time : 12311.0 sec.
user=mdettweiler
[2009-05-09 19:32:33]
339*2^808159-1 is not prime.  Res64: C8FD6F273E2C823D  Time : 4174.0 sec.
user=mdettweiler
[2009-05-09 19:32:55]
315*2^808162-1 is not prime.  Res64: 0143726B4B116488  Time : 4150.0 sec.
user=vaughan
[2009-05-09 19:34:34]
339*2^808903-1 is not prime.  Res64: 5D2A358E2A19B4CE  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 19:37:52]
321*2^808447-1 is not prime.  Res64: 9FA90F0C13124C13  Time : 4188.0 sec.
user=kar_bon
[2009-05-09 19:38:58]
327*2^807724-1 is not prime.  Res64: 8EF2BCDFF82FE7FD  Time : 14002.0 sec.
user=vaughan
[2009-05-09 19:38:58]
327*2^807986-1 is not prime.  Res64: 8BC549A270D06B9C  Time : 8205.0 sec.
user=vaughan
[2009-05-09 19:39:52]
339*2^808909-1 is not prime.  Res64: 93273C7ECBB0A3E1  Time : 941.0 sec.
user=kar_bon
[2009-05-09 19:42:11]
327*2^807760-1 is not prime.  Res64: 2625DA1D4F6E97C2  Time : 13828.0 sec.
user=mdettweiler
[2009-05-09 19:42:14]
333*2^808776-1 is not prime.  Res64: 33F7A12C1463D7EB  Time : 4149.0 sec.
user=vaughan
[2009-05-09 19:42:46]
321*2^807990-1 is not prime.  Res64: E0849750924F4FE8  Time : 8265.0 sec.
user=vaughan
[2009-05-09 19:43:18]
327*2^808916-1 is not prime.  Res64: 517927C52DC898E6  Time : 920.0 sec.
user=vaughan
[2009-05-09 19:43:23]
345*2^807991-1 is not prime.  Res64: 6673A55DD5631697  Time : 8182.0 sec.
user=vaughan
[2009-05-09 19:43:31]
315*2^807987-1 is not prime.  Res64: EBB5E96A895D1325  Time : 8337.0 sec.
user=mdettweiler
[2009-05-09 19:46:48]
327*2^808785-1 is not prime.  Res64: A8074CE8E3B6875C  Time : 4163.0 sec.
user=mdettweiler
[2009-05-09 19:47:13]
333*2^808784-1 is not prime.  Res64: 81ADF01CF450806D  Time : 4189.0 sec.
user=kar_bon
[2009-05-09 19:50:17]
339*2^807845-1 is not prime.  Res64: F469A01E8A207B51  Time : 12474.0 sec.
user=vaughan
[2009-05-09 19:50:19]
321*2^808934-1 is not prime.  Res64: 2043F71F3600E58F  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 19:52:01]
321*2^808801-1 is not prime.  Res64: 5DA0C22C66A71121  Time : 4057.0 sec.
user=vaughan
[2009-05-09 19:52:37]
315*2^808024-1 is not prime.  Res64: 2EE48746E852C638  Time : 8205.0 sec.
user=vaughan
[2009-05-09 19:55:34]
315*2^808942-1 is not prime.  Res64: 2A491F9A092CB304  Time : 942.0 sec.
user=vaughan
[2009-05-09 19:56:34]
321*2^808033-1 is not prime.  Res64: 4EBD7D5EC9E9B14D  Time : 8266.0 sec.
user=vaughan
[2009-05-09 19:57:01]
339*2^808033-1 is not prime.  Res64: 85D7A1B5D9FBEAF0  Time : 8183.0 sec.
user=mdettweiler
[2009-05-09 19:57:09]
315*2^808810-1 is not prime.  Res64: 26FC6393DDB8EBA9  Time : 4230.0 sec.
user=vaughan
[2009-05-09 19:57:24]
339*2^808027-1 is not prime.  Res64: 176C1D53CB136D40  Time : 8337.0 sec.
user=vaughan
[2009-05-09 19:58:39]
321*2^808962-1 is not prime.  Res64: 3EA236C675318CD9  Time : 921.0 sec.
user=mdettweiler
[2009-05-09 20:00:49]
333*2^808830-1 is not prime.  Res64: 83FA35077868CEC7  Time : 4173.0 sec.
user=kar_bon
[2009-05-09 20:01:17]
333*2^807807-1 is not prime.  Res64: 9A3A5C505E9CD7E0  Time : 13752.0 sec.
user=mdettweiler
[2009-05-09 20:01:53]
321*2^808830-1 is not prime.  Res64: E19F81A3844F888A  Time : 4239.0 sec.
user=kar_bon
[2009-05-09 20:02:14]
339*2^807825-1 is not prime.  Res64: B0B288CB4EC17B72  Time : 13434.0 sec.
user=vaughan
[2009-05-09 20:06:03]
315*2^808972-1 is not prime.  Res64: B24023A0D8E590DA  Time : 944.0 sec.
user=mdettweiler
[2009-05-09 20:06:18]
339*2^808839-1 is not prime.  Res64: 67EAC73BAE5403B1  Time : 4233.0 sec.
user=vaughan
[2009-05-09 20:06:19]
339*2^808059-1 is not prime.  Res64: 29A7B30A885A8767  Time : 8205.0 sec.
user=kar_bon
[2009-05-09 20:09:19]
315*2^807904-1 is not prime.  Res64: 58A6B52796DAE3C2  Time : 12473.0 sec.
user=vaughan
[2009-05-09 20:10:19]
315*2^808068-1 is not prime.  Res64: DEEADDBBD4082E3C  Time : 8265.0 sec.
user=vaughan
[2009-05-09 20:10:39]
321*2^808070-1 is not prime.  Res64: 006CAD0FB2F080A8  Time : 8183.0 sec.
user=vaughan
[2009-05-09 20:11:16]
321*2^808978-1 is not prime.  Res64: 9FD9A78EBDC718DC  Time : 943.0 sec.
user=vaughan
[2009-05-09 20:11:18]
345*2^808065-1 is not prime.  Res64: C9FA1BB9956C68CD  Time : 8337.0 sec.
user=mdettweiler
[2009-05-09 20:11:20]
345*2^808852-1 is not prime.  Res64: 65EE8EF1BB45FC8A  Time : 4249.0 sec.
user=kar_bon
[2009-05-09 20:12:34]
321*2^807094-1 is not prime.  Res64: CEBE7646B7D58B28  Time : 29405.0 sec.
user=vaughan
[2009-05-09 20:13:59]
321*2^808993-1 is not prime.  Res64: 4ECCFBB8CA4DF4CC  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 20:14:32]
345*2^808870-1 is not prime.  Res64: C6DC3AFE266701FC  Time : 4174.0 sec.
user=mdettweiler
[2009-05-09 20:15:55]
345*2^808869-1 is not prime.  Res64: D128DC8E185FA01F  Time : 4264.0 sec.
user=vaughan
[2009-05-09 20:19:59]
327*2^808112-1 is not prime.  Res64: D082C09E72EB772D  Time : 8204.0 sec.
user=kar_bon
[2009-05-09 20:20:25]
339*2^807901-1 is not prime.  Res64: AC68CA4DCEAAA098  Time : 13145.0 sec.
user=mdettweiler
[2009-05-09 20:20:39]
321*2^808877-1 is not prime.  Res64: A4A610F837EC62EF  Time : 4239.0 sec.
user=vaughan
[2009-05-09 20:21:48]
345*2^809010-1 is not prime.  Res64: 499384FDD7FA0A52  Time : 945.0 sec.
user=kar_bon
[2009-05-09 20:22:45]
327*2^807888-1 is not prime.  Res64: 6C41BAA208BC82E4  Time : 13655.0 sec.
user=vaughan
[2009-05-09 20:24:06]
339*2^808115-1 is not prime.  Res64: 3DCE7B59156D9FAE  Time : 8266.0 sec.
user=vaughan
[2009-05-09 20:24:19]
315*2^808119-1 is not prime.  Res64: 95F84349674CE1FA  Time : 8184.0 sec.
user=mdettweiler
[2009-05-09 20:24:56]
333*2^808886-1 is not prime.  Res64: 3143E750A6158CC4  Time : 4230.0 sec.
user=vaughan
[2009-05-09 20:25:12]
333*2^808115-1 is not prime.  Res64: 002A808446459863  Time : 8340.0 sec.
user=vaughan
[2009-05-09 20:26:58]
315*2^809020-1 is not prime.  Res64: 0362B51A59FF18FC  Time : 942.0 sec.
user=kar_bon
[2009-05-09 20:27:38]
315*2^807947-1 is not prime.  Res64: D81CB90E02768B56  Time : 12188.0 sec.
user=mdettweiler
[2009-05-09 20:28:18]
345*2^808905-1 is not prime.  Res64: 832094E7F07E5639  Time : 4160.0 sec.
user=vaughan
[2009-05-09 20:29:18]
321*2^809030-1 is not prime.  Res64: 1A53ACA0C1EE2465  Time : 920.0 sec.
user=kar_bon
[2009-05-09 20:30:19]
345*2^807141-1 is not prime.  Res64: 9B825E58412C17C3  Time : 29214.0 sec.
user=mdettweiler
[2009-05-09 20:30:24]
315*2^808902-1 is not prime.  Res64: 672C6F579E990C72  Time : 4303.0 sec.
user=vaughan
[2009-05-09 20:33:39]
315*2^808142-1 is not prime.  Res64: 7B2CD859427B6908  Time : 8203.0 sec.
user=mdettweiler
[2009-05-09 20:34:39]
315*2^808907-1 is not prime.  Res64: E3A1FDD67A0A88A5  Time : 4245.0 sec.
user=vaughan
[2009-05-09 20:37:32]
315*2^809054-1 is not prime.  Res64: 5817772DD986A390  Time : 945.0 sec.
user=vaughan
[2009-05-09 20:37:54]
321*2^808150-1 is not prime.  Res64: 76FD9C2DC2EBECAD  Time : 8268.0 sec.
user=vaughan
[2009-05-09 20:37:58]
315*2^808158-1 is not prime.  Res64: 59F8A2311EBFC8B0  Time : 8185.0 sec.
user=kar_bon
[2009-05-09 20:38:36]
339*2^807951-1 is not prime.  Res64: 140F7284396D64CE  Time : 12742.0 sec.
user=mdettweiler
[2009-05-09 20:38:51]
315*2^808919-1 is not prime.  Res64: 33A2DDC22CC39745  Time : 4239.0 sec.
user=vaughan
[2009-05-09 20:39:05]
339*2^808151-1 is not prime.  Res64: 6C0FF7A9EA7B25D4  Time : 8338.0 sec.
user=mdettweiler
[2009-05-09 20:42:21]
315*2^808934-1 is not prime.  Res64: 5756B1466C2B057E  Time : 4166.0 sec.
user=vaughan
[2009-05-09 20:42:40]
327*2^809068-1 is not prime.  Res64: AD29C4AFD32005F2  Time : 942.0 sec.
user=kar_bon
[2009-05-09 20:44:11]
327*2^807940-1 is not prime.  Res64: DD92E55769941478  Time : 13478.0 sec.
user=mdettweiler
[2009-05-09 20:44:32]
321*2^808933-1 is not prime.  Res64: A65D2401D82FB33B  Time : 4319.0 sec.
user=vaughan
[2009-05-09 20:44:38]
321*2^809071-1 is not prime.  Res64: 949E2884B06D50C4  Time : 920.0 sec.
user=kar_bon
[2009-05-09 20:46:08]
327*2^808005-1 is not prime.  Res64: 0DBA9984AC8A0715  Time : 11849.0 sec.
user=vaughan
[2009-05-09 20:47:20]
333*2^808748-1 is not prime.  Res64: 4A51CEE998244176  Time : 8204.0 sec.
user=kar_bon
[2009-05-09 20:47:47]
333*2^807216-1 is not prime.  Res64: EFC54A8FD175859F  Time : 29004.0 sec.
user=mdettweiler
[2009-05-09 20:48:31]
327*2^808940-1 is not prime.  Res64: B5E18DF4C6A360F7  Time : 4239.0 sec.
user=vaughan
[2009-05-09 20:51:38]
321*2^808781-1 is not prime.  Res64: D1DD1A676CF92B1C  Time : 8187.0 sec.
user=vaughan
[2009-05-09 20:51:40]
327*2^808778-1 is not prime.  Res64: 4DBF99EB54FDE191  Time : 8267.0 sec.
user=vaughan
[2009-05-09 20:52:59]
333*2^808778-1 is not prime.  Res64: C8694EE2973BB013  Time : 8339.0 sec.
user=vaughan
[2009-05-09 20:53:17]
315*2^809086-1 is not prime.  Res64: D978A0B14445DBB2  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 20:53:37]
315*2^808949-1 is not prime.  Res64: 2C09BB4C65F1AC61  Time : 4283.0 sec.
user=mdettweiler
[2009-05-09 20:56:25]
315*2^808967-1 is not prime.  Res64: F82FD40BB2234795  Time : 4177.0 sec.
user=kar_bon
[2009-05-09 20:56:45]
315*2^808018-1 is not prime.  Res64: 955A3C4D7F31F341  Time : 12388.0 sec.
user=vaughan
[2009-05-09 20:58:21]
321*2^809121-1 is not prime.  Res64: 0D9B850D6A002596  Time : 941.0 sec.
user=vaughan
[2009-05-09 20:59:58]
327*2^809129-1 is not prime.  Res64: 5D8C281FA24E2079  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 21:00:08]
321*2^808967-1 is not prime.  Res64: E0B3DB672023E0BB  Time : 4375.0 sec.
user=vaughan
[2009-05-09 21:01:01]
333*2^808800-1 is not prime.  Res64: FDD4481766408E7F  Time : 8205.0 sec.
user=mdettweiler
[2009-05-09 21:02:23]
333*2^808974-1 is not prime.  Res64: F683479DCD0E55B5  Time : 4222.0 sec.
user=kar_bon
[2009-05-09 21:04:22]
321*2^808057-1 is not prime.  Res64: 9FCA0A8D2AE8F1FA  Time : 11699.0 sec.
user=vaughan
[2009-05-09 21:05:17]
315*2^808824-1 is not prime.  Res64: 4EB389E4D7A4464F  Time : 8188.0 sec.
user=vaughan
[2009-05-09 21:05:28]
327*2^808820-1 is not prime.  Res64: 4706467071CFC267  Time : 8269.0 sec.
user=kar_bon
[2009-05-09 21:05:29]
327*2^807300-1 is not prime.  Res64: 6211F1D9125F7BB4  Time : 28798.0 sec.
user=kar_bon
[2009-05-09 21:05:42]
333*2^807986-1 is not prime.  Res64: 3B34734B301549B0  Time : 13356.0 sec.
user=vaughan
[2009-05-09 21:06:53]
333*2^808820-1 is not prime.  Res64: A5568B0228FE3A53  Time : 8339.0 sec.
user=mdettweiler
[2009-05-09 21:07:34]
327*2^808989-1 is not prime.  Res64: CBB5737B0A785F1C  Time : 4226.0 sec.
user=vaughan
[2009-05-09 21:09:01]
327*2^809164-1 is not prime.  Res64: D62C7F7CF7E5EF5E  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 21:10:09]
315*2^809004-1 is not prime.  Res64: 23296087CDB4D7AD  Time : 4161.0 sec.
user=mdettweiler
[2009-05-09 21:13:56]
321*2^809007-1 is not prime.  Res64: AEE81DD76BECA052  Time : 4323.0 sec.
user=vaughan
[2009-05-09 21:14:03]
315*2^809170-1 is not prime.  Res64: BA2087370990D934  Time : 942.0 sec.
user=vaughan
[2009-05-09 21:14:43]
333*2^808844-1 is not prime.  Res64: CEC7CC47166CE0E4  Time : 8206.0 sec.
user=kar_bon
[2009-05-09 21:14:56]
315*2^808069-1 is not prime.  Res64: 5C31B5E359179445  Time : 12081.0 sec.
user=vaughan
[2009-05-09 21:15:18]
345*2^809170-1 is not prime.  Res64: 8A042E9509C7A6FE  Time : 921.0 sec.
user=mdettweiler
[2009-05-09 21:15:55]
315*2^809011-1 is not prime.  Res64: 68339D299A8C3E73  Time : 4177.0 sec.
user=vaughan
[2009-05-09 21:19:20]
333*2^808854-1 is not prime.  Res64: 5EA1B13DAF9014CB  Time : 8273.0 sec.
user=vaughan
[2009-05-09 21:19:21]
333*2^808863-1 is not prime.  Res64: 396CF5EBD1012976  Time : 8213.0 sec.
user=vaughan
[2009-05-09 21:20:47]
315*2^808861-1 is not prime.  Res64: 4D7D02B84BDD11F2  Time : 8340.0 sec.
user=mdettweiler
[2009-05-09 21:20:51]
321*2^809026-1 is not prime.  Res64: CDCAE84E232FD255  Time : 4171.0 sec.
user=kar_bon
[2009-05-09 21:22:45]
339*2^808120-1 is not prime.  Res64: 0265182FB95715C4  Time : 11637.0 sec.
user=kar_bon
[2009-05-09 21:23:06]
339*2^807487-1 is not prime.  Res64: 15E859C3C780477C  Time : 25409.0 sec.
user=mdettweiler
[2009-05-09 21:23:23]
333*2^809030-1 is not prime.  Res64: 5BC50BC044BEB5C9  Time : 4131.0 sec.
user=vaughan
[2009-05-09 21:24:46]
339*2^809191-1 is not prime.  Res64: 07D3902A482EEB68  Time : 945.0 sec.
user=mdettweiler
[2009-05-09 21:27:04]
327*2^809033-1 is not prime.  Res64: A47490716CC6E7A1  Time : 4269.0 sec.
user=kar_bon
[2009-05-09 21:27:15]
321*2^808050-1 is not prime.  Res64: 687AE303CFC7BA05  Time : 13253.0 sec.
user=vaughan
[2009-05-09 21:28:23]
333*2^808878-1 is not prime.  Res64: 627D06DFEEA06953  Time : 8206.0 sec.
user=mdettweiler
[2009-05-09 21:29:09]
345*2^809049-1 is not prime.  Res64: 973C741951E85573  Time : 4110.0 sec.
user=vaughan
[2009-05-09 21:29:45]
327*2^809200-1 is not prime.  Res64: 73CFD3C3E39B234C  Time : 942.0 sec.
user=vaughan
[2009-05-09 21:30:38]
333*2^809204-1 is not prime.  Res64: 28CA822C3E289BCF  Time : 920.0 sec.
user=vaughan
[2009-05-09 21:32:36]
327*2^808893-1 is not prime.  Res64: C71DB67AB6432178  Time : 8191.0 sec.
user=vaughan
[2009-05-09 21:33:03]
315*2^808891-1 is not prime.  Res64: CE1EB4B19183F98C  Time : 8270.0 sec.
user=kar_bon
[2009-05-09 21:33:22]
333*2^808134-1 is not prime.  Res64: E54554C32B119785  Time : 11816.0 sec.
user=mdettweiler
[2009-05-09 21:33:55]
321*2^809065-1 is not prime.  Res64: B95C36F5DCD83975  Time : 4139.0 sec.
user=vaughan
[2009-05-09 21:34:42]
339*2^808891-1 is not prime.  Res64: E228A094336C0435  Time : 8340.0 sec.
user=mdettweiler
[2009-05-09 21:36:30]
345*2^809070-1 is not prime.  Res64: 41BCE49088192055  Time : 4092.0 sec.
user=kar_bon
[2009-05-09 21:39:47]
333*2^807488-1 is not prime.  Res64: 04618EC710B99304  Time : 26409.0 sec.
user=mdettweiler
[2009-05-09 21:40:14]
327*2^809074-1 is not prime.  Res64: 55BD50E79DAD4609  Time : 4190.0 sec.
user=vaughan
[2009-05-09 21:40:31]
327*2^809234-1 is not prime.  Res64: D42B02095220D688  Time : 945.0 sec.
user=kar_bon
[2009-05-09 21:41:18]
333*2^808614-1 is not prime.  Res64: 00B78FAB1513A6E6  Time : 11536.0 sec.
user=vaughan
[2009-05-09 21:42:05]
345*2^808911-1 is not prime.  Res64: DFB0EFF786157815  Time : 8208.0 sec.
user=mdettweiler
[2009-05-09 21:42:18]
345*2^809080-1 is not prime.  Res64: 285E9EDC40A743FF  Time : 4059.0 sec.
user=vaughan
[2009-05-09 21:45:27]
327*2^809248-1 is not prime.  Res64: 5FF96CD660B8387C  Time : 942.0 sec.
user=vaughan
[2009-05-09 21:45:59]
339*2^809248-1 is not prime.  Res64: 03DD07BF6131D9B5  Time : 921.0 sec.
user=vaughan
[2009-05-09 21:46:16]
327*2^808929-1 is not prime.  Res64: E1BCF71C6D123923  Time : 8192.0 sec.
user=vaughan
[2009-05-09 21:46:51]
333*2^808923-1 is not prime.  Res64: 0B8724A34DD3359B  Time : 8271.0 sec.
user=mdettweiler
[2009-05-09 21:47:03]
345*2^809104-1 is not prime.  Res64: D19529520A742238  Time : 4092.0 sec.
user=vaughan
[2009-05-09 21:48:36]
327*2^808924-1 is not prime.  Res64: FC2821C43600B803  Time : 8341.0 sec.
user=kar_bon
[2009-05-09 21:49:01]
339*2^808123-1 is not prime.  Res64: BE7852BE9F97B46B  Time : 13208.0 sec.
user=mdettweiler
[2009-05-09 21:51:04]
339*2^809119-1 is not prime.  Res64: 96F20B604BE0A4B7  Time : 4123.0 sec.
user=kar_bon
[2009-05-09 21:51:53]
345*2^808785-1 is not prime.  Res64: 296D366312684184  Time : 11563.0 sec.
user=mdettweiler
[2009-05-09 21:53:22]
333*2^809127-1 is not prime.  Res64: E8CB69FB9AEF44A4  Time : 4130.0 sec.
user=mdettweiler
[2009-05-09 21:55:24]
315*2^809149-1 is not prime.  Res64: A8FDD7ACEFE74AFB  Time : 4013.0 sec.
user=vaughan
[2009-05-09 21:55:46]
321*2^808941-1 is not prime.  Res64: 88D82EB5C02D103B  Time : 8208.0 sec.
user=vaughan
[2009-05-09 21:56:16]
321*2^809282-1 is not prime.  Res64: F9AC0DBA9DD6D8D4  Time : 945.0 sec.
user=kar_bon
[2009-05-09 21:56:45]
321*2^807490-1 is not prime.  Res64: DE126D9BCC1A687F  Time : 27427.0 sec.
user=kar_bon
[2009-05-09 21:59:48]
315*2^808822-1 is not prime.  Res64: 0267ED02D3D86E58  Time : 11467.0 sec.
user=vaughan
[2009-05-09 21:59:59]
333*2^808964-1 is not prime.  Res64: 6AD61586CF3E07DA  Time : 8197.0 sec.
user=mdettweiler
[2009-05-09 22:00:11]
315*2^809166-1 is not prime.  Res64: 3DD483F953A4FD49  Time : 3994.0 sec.
user=vaughan
[2009-05-09 22:00:37]
339*2^808955-1 is not prime.  Res64: 7BF835689D4750CF  Time : 8271.0 sec.
user=vaughan
[2009-05-09 22:01:09]
321*2^809297-1 is not prime.  Res64: 121E087370D46790  Time : 943.0 sec.
user=vaughan
[2009-05-09 22:01:19]
315*2^809298-1 is not prime.  Res64: F681E8B9F3BEF259  Time : 921.0 sec.
user=vaughan
[2009-05-09 22:02:31]
345*2^808966-1 is not prime.  Res64: A9712B5288588C43  Time : 8340.0 sec.
user=mdettweiler
[2009-05-09 22:02:49]
321*2^809166-1 is not prime.  Res64: F863A8F585D2D316  Time : 3984.0 sec.
user=mdettweiler
[2009-05-09 22:06:29]
321*2^809173-1 is not prime.  Res64: B72E1954700CBFD8  Time : 3982.0 sec.
user=mdettweiler
[2009-05-09 22:08:30]
327*2^809178-1 is not prime.  Res64: CFAF6043A928A52D  Time : 3967.0 sec.
user=vaughan
[2009-05-09 22:09:26]
327*2^808976-1 is not prime.  Res64: 25DF01DCDC1D839E  Time : 8209.0 sec.
user=kar_bon
[2009-05-09 22:10:20]
321*2^808854-1 is not prime.  Res64: 2FCB193EA2B45BB4  Time : 11354.0 sec.
user=kar_bon
[2009-05-09 22:10:39]
315*2^808774-1 is not prime.  Res64: CAE7F9B9225BA826  Time : 13138.0 sec.
user=vaughan
[2009-05-09 22:12:01]
339*2^809320-1 is not prime.  Res64: BA787E0546BE7FB5  Time : 946.0 sec.
user=mdettweiler
[2009-05-09 22:13:17]
315*2^809187-1 is not prime.  Res64: 4570FA5AA5DB6799  Time : 3943.0 sec.
user=vaughan
[2009-05-09 22:13:36]
327*2^808984-1 is not prime.  Res64: 2D53F622FB283D03  Time : 8195.0 sec.
user=kar_bon
[2009-05-09 22:13:38]
315*2^807499-1 is not prime.  Res64: 02E1B50111BE5E60  Time : 28439.0 sec.
user=vaughan
[2009-05-09 22:14:26]
339*2^808983-1 is not prime.  Res64: F7F5C089405994E0  Time : 8273.0 sec.
user=mdettweiler
[2009-05-09 22:15:56]
345*2^809191-1 is not prime.  Res64: 1F3789352000A309  Time : 3948.0 sec.
user=vaughan
[2009-05-09 22:16:28]
315*2^808990-1 is not prime.  Res64: 4C531218D809D2C4  Time : 8344.0 sec.
user=vaughan
[2009-05-09 22:16:40]
339*2^809336-1 is not prime.  Res64: B92A159678C4DC6F  Time : 922.0 sec.
user=vaughan
[2009-05-09 22:16:53]
339*2^809335-1 is not prime.  Res64: BE5F198E4F91C023  Time : 944.0 sec.
user=kar_bon
[2009-05-09 22:18:27]
333*2^808874-1 is not prime.  Res64: 7CA75CC4F7E402E4  Time : 11368.0 sec.
user=mdettweiler
[2009-05-09 22:19:36]
333*2^809198-1 is not prime.  Res64: 7CBA4CC0EDBCDE32  Time : 3940.0 sec.
user=mdettweiler
[2009-05-09 22:21:39]
315*2^809205-1 is not prime.  Res64: 59E55EE778B11C38  Time : 3945.0 sec.
user=vaughan
[2009-05-09 22:23:08]
327*2^809012-1 is not prime.  Res64: 3F79BB423AC9723C  Time : 8210.0 sec.
user=mdettweiler
[2009-05-09 22:26:22]
315*2^809218-1 is not prime.  Res64: 6B663D209BA8B28B  Time : 3931.0 sec.
user=vaughan
[2009-05-09 22:27:14]
339*2^809019-1 is not prime.  Res64: E105C7B12F46E129  Time : 8195.0 sec.
user=vaughan
[2009-05-09 22:27:45]
315*2^809362-1 is not prime.  Res64: C4D38F6086290FEF  Time : 945.0 sec.
user=vaughan
[2009-05-09 22:28:13]
345*2^809016-1 is not prime.  Res64: 71C68A39652E03E0  Time : 8275.0 sec.
user=kar_bon
[2009-05-09 22:28:48]
315*2^808906-1 is not prime.  Res64: 762A906B95A4904B  Time : 11225.0 sec.
user=mdettweiler
[2009-05-09 22:29:03]
321*2^809225-1 is not prime.  Res64: BC86418577A3E4B3  Time : 3940.0 sec.
user=vaughan
[2009-05-09 22:30:21]
327*2^809025-1 is not prime.  Res64: FED1676DF43FE0BB  Time : 8343.0 sec.
user=kar_bon
[2009-05-09 22:30:27]
327*2^807572-1 is not prime.  Res64: 9A006EE7692CFF18  Time : 28284.0 sec.
user=vaughan
[2009-05-09 22:32:02]
345*2^809386-1 is not prime.  Res64: B0EC0453A89A9CCA  Time : 922.0 sec.
user=kar_bon
[2009-05-09 22:32:20]
339*2^808837-1 is not prime.  Res64: F89D5AB939CA270F  Time : 13114.0 sec.
user=vaughan
[2009-05-09 22:32:34]
321*2^809390-1 is not prime.  Res64: 52D3DB577DC68FC1  Time : 942.0 sec.
user=mdettweiler
[2009-05-09 22:32:42]
321*2^809237-1 is not prime.  Res64: 7287B85954B13A66  Time : 3938.0 sec.
user=mdettweiler
[2009-05-09 22:34:46]
345*2^809247-1 is not prime.  Res64: 864C36A926AD027D  Time : 3937.0 sec.
user=vaughan
[2009-05-09 22:36:50]
327*2^809042-1 is not prime.  Res64: 61C7F97824290D13  Time : 8212.0 sec.
user=kar_bon
[2009-05-09 22:37:01]
339*2^808931-1 is not prime.  Res64: 6CB66ACD5A5AB3DA  Time : 11237.0 sec.
user=mdettweiler
[2009-05-09 22:39:28]
321*2^809262-1 is not prime.  Res64: 69B6E7A5B8518818  Time : 3933.0 sec.
user=vaughan
[2009-05-09 22:40:53]
327*2^809061-1 is not prime.  Res64: 8FBAFFBA716ACB56  Time : 8194.0 sec.
user=vaughan
[2009-05-09 22:42:01]
345*2^809055-1 is not prime.  Res64: 6242C59F607282FF  Time : 8275.0 sec.
user=mdettweiler
[2009-05-09 22:42:12]
339*2^809271-1 is not prime.  Res64: B88223AECC0423E1  Time : 3942.0 sec.
user=vaughan
[2009-05-09 22:43:30]
339*2^809405-1 is not prime.  Res64: 24BD4F257AECE82B  Time : 945.0 sec.
user=vaughan
[2009-05-09 22:44:15]
315*2^809067-1 is not prime.  Res64: A2C2481B6A76A01B  Time : 8344.0 sec.
user=mdettweiler
[2009-05-09 22:45:49]
327*2^809280-1 is not prime.  Res64: 1652C703B0168AA9  Time : 3935.0 sec.
user=kar_bon
[2009-05-09 22:47:14]
333*2^808944-1 is not prime.  Res64: 53C813C8BFBDAC9F  Time : 11103.0 sec.
user=vaughan
[2009-05-09 22:47:22]
315*2^809422-1 is not prime.  Res64: 1A44612A6A69DC8B  Time : 921.0 sec.
user=kar_bon
[2009-05-09 22:47:28]
333*2^807623-1 is not prime.  Res64: D0CFADE9FB7FAEED  Time : 28111.0 sec.
user=mdettweiler
[2009-05-09 22:47:54]
339*2^809295-1 is not prime.  Res64: 816190FEB5815BFE  Time : 3937.0 sec.
user=vaughan
[2009-05-09 22:48:17]
327*2^809424-1 is not prime.  Res64: 492E75290538C12D  Time : 943.0 sec.
user=vaughan
[2009-05-09 22:50:31]
333*2^809078-1 is not prime.  Res64: 49E57F3E30FBEFBA  Time : 8213.0 sec.
user=mdettweiler
[2009-05-09 22:52:36]
321*2^809302-1 is not prime.  Res64: EE7E483A3FDD99C4  Time : 3933.0 sec.
user=kar_bon
[2009-05-09 22:54:02]
339*2^808901-1 is not prime.  Res64: F34B141D4A52390E  Time : 13055.0 sec.
user=vaughan
[2009-05-09 22:54:33]
327*2^809088-1 is not prime.  Res64: 9EBEAFA51E259701  Time : 8195.0 sec.
user=mdettweiler
[2009-05-09 22:55:19]
345*2^809314-1 is not prime.  Res64: D90E114BD813D64A  Time : 3855.0 sec.
user=kar_bon
[2009-05-09 22:55:34]
315*2^808971-1 is not prime.  Res64: 0A5D3B2F7487F976  Time : 11118.0 sec.
user=vaughan
[2009-05-09 22:55:48]
333*2^809087-1 is not prime.  Res64: FD846DC2762038E0  Time : 8275.0 sec.
user=vaughan
[2009-05-09 22:58:10]
327*2^809109-1 is not prime.  Res64: 3532B7EA1C3A7066  Time : 8345.0 sec.
user=mdettweiler
[2009-05-09 22:58:58]
321*2^809318-1 is not prime.  Res64: 4FE54DC78D3926E8  Time : 3936.0 sec.
user=vaughan
[2009-05-09 22:59:16]
339*2^809435-1 is not prime.  Res64: 1702BD73ACDF9B72  Time : 946.0 sec.
user=mdettweiler
[2009-05-09 23:01:03]
315*2^809319-1 is not prime.  Res64: 81159E9D692D2CFB  Time : 3939.0 sec.
user=vaughan
[2009-05-09 23:02:43]
345*2^809439-1 is not prime.  Res64: 09CE2E378EED0C11  Time : 921.0 sec.
user=vaughan
[2009-05-09 23:03:59]
339*2^809443-1 is not prime.  Res64: D9DBC94FCE212754  Time : 943.0 sec.
user=vaughan
[2009-05-09 23:04:12]
321*2^809135-1 is not prime.  Res64: EF423032428C63B4  Time : 8212.0 sec.
user=kar_bon
[2009-05-09 23:04:24]
339*2^809027-1 is not prime.  Res64: 637F71EF137B3F32  Time : 10310.0 sec.
user=kar_bon
[2009-05-09 23:05:36]
345*2^809007-1 is not prime.  Res64: 8137D5615B261ED4  Time : 11003.0 sec.
user=mdettweiler
[2009-05-09 23:05:44]
333*2^809331-1 is not prime.  Res64: 1B9DAE3C53443D2C  Time : 3934.0 sec.
user=vaughan
[2009-05-09 23:08:12]
315*2^809151-1 is not prime.  Res64: A43D9F30906C9920  Time : 8194.0 sec.
user=mdettweiler
[2009-05-09 23:08:26]
327*2^809338-1 is not prime.  Res64: 54A89B5FDF36B864  Time : 3937.0 sec.
user=vaughan
[2009-05-09 23:09:36]
315*2^809154-1 is not prime.  Res64: 162BC8CA845E67F7  Time : 8276.0 sec.
user=mdettweiler
[2009-05-09 23:12:03]
315*2^809339-1 is not prime.  Res64: 915D463A18E31860  Time : 3934.0 sec.
user=vaughan
[2009-05-09 23:12:05]
321*2^809158-1 is not prime.  Res64: C5A7B36C1E70F234  Time : 8346.0 sec.
user=mdettweiler
[2009-05-09 23:14:11]
315*2^809342-1 is not prime.  Res64: 0EA8F13B0AF60299  Time : 3941.0 sec.
user=kar_bon
[2009-05-09 23:14:12]
327*2^809013-1 is not prime.  Res64: 5A6FD6E0CF8BAE7A  Time : 11094.0 sec.
user=vaughan
[2009-05-09 23:15:00]
345*2^809476-1 is not prime.  Res64: 275D17136095E489  Time : 945.0 sec.
user=kar_bon
[2009-05-09 23:15:52]
345*2^808941-1 is not prime.  Res64: CE24A5DA8AE45B02  Time : 13014.0 sec.
user=vaughan
[2009-05-09 23:17:55]
321*2^809174-1 is not prime.  Res64: E8CAA0532B938FA9  Time : 8214.0 sec.
user=vaughan
[2009-05-09 23:18:03]
321*2^809485-1 is not prime.  Res64: F009D0E7CB6DD8DF  Time : 921.0 sec.
user=mdettweiler
[2009-05-09 23:18:52]
321*2^809362-1 is not prime.  Res64: D0FCE5118E37A920  Time : 3935.0 sec.
user=vaughan
[2009-05-09 23:19:41]
339*2^809485-1 is not prime.  Res64: 907645185BD7DD16  Time : 942.0 sec.
user=kar_bon
[2009-05-09 23:21:06]
327*2^809073-1 is not prime.  Res64: 61E21E3BD78BF1F4  Time : 10247.0 sec.
user=mdettweiler
[2009-05-09 23:21:32]
315*2^809368-1 is not prime.  Res64: DB3ED967C5463425  Time : 3936.0 sec.
user=vaughan
[2009-05-09 23:21:52]
315*2^809179-1 is not prime.  Res64: D242699BDC1A95EF  Time : 8195.0 sec.
user=vaughan
[2009-05-09 23:23:23]
333*2^809180-1 is not prime.  Res64: 9F94CFDCDEA9DE5B  Time : 8275.0 sec.
user=kar_bon
[2009-05-09 23:24:08]
315*2^809045-1 is not prime.  Res64: 821DA2DC96A545B9  Time : 11023.0 sec.
user=mdettweiler
[2009-05-09 23:25:11]
339*2^809395-1 is not prime.  Res64: FD3E9EA61457CC22  Time : 3935.0 sec.
user=vaughan
[2009-05-09 23:26:02]
321*2^809186-1 is not prime.  Res64: 65F92FED24512F7B  Time : 8350.0 sec.
user=mdettweiler
[2009-05-09 23:27:18]
327*2^809396-1 is not prime.  Res64: F4C190EBF771AD80  Time : 3939.0 sec.
user=vaughan
[2009-05-09 23:30:46]
315*2^809524-1 is not prime.  Res64: 6D955DF6700FE40D  Time : 946.0 sec.
user=vaughan
[2009-05-09 23:31:37]
339*2^809201-1 is not prime.  Res64: 6D0BED80A6E76120  Time : 8215.0 sec.
user=mdettweiler
[2009-05-09 23:32:00]
327*2^809401-1 is not prime.  Res64: 0A06718F489C9C8B  Time : 3938.0 sec.
user=kar_bon
[2009-05-09 23:32:59]
327*2^809069-1 is not prime.  Res64: 31C336C397F3AE2C  Time : 11121.0 sec.
user=vaughan
[2009-05-09 23:33:23]
333*2^809534-1 is not prime.  Res64: 79D8B21139CAEBE5  Time : 920.0 sec.
user=mdettweiler
[2009-05-09 23:34:43]
333*2^809415-1 is not prime.  Res64: F3AB2B8AA334E558  Time : 3940.0 sec.
user=vaughan
[2009-05-09 23:35:24]
327*2^809540-1 is not prime.  Res64: 56321A4813E8129A  Time : 943.0 sec.
user=vaughan
[2009-05-09 23:35:31]
333*2^809210-1 is not prime.  Res64: E8C87AA99CFE0F00  Time : 8171.0 sec.
user=vaughan
[2009-05-09 23:37:11]
327*2^809208-1 is not prime.  Res64: FDA1E2D8E6DF9625  Time : 8272.0 sec.
user=kar_bon
[2009-05-09 23:37:31]
321*2^809006-1 is not prime.  Res64: 392B4C646F1C5A17  Time : 12975.0 sec.
user=kar_bon
[2009-05-09 23:37:48]
339*2^809147-1 is not prime.  Res64: 40215269AE70F73C  Time : 10202.0 sec.
user=mdettweiler
[2009-05-09 23:38:17]
315*2^809427-1 is not prime.  Res64: 4AD83B2FD33CF883  Time : 3935.0 sec.
user=vaughan
[2009-05-09 23:40:16]
333*2^809211-1 is not prime.  Res64: 07FB4A342B4DADF6  Time : 8369.0 sec.
user=mdettweiler
[2009-05-09 23:40:25]
333*2^809430-1 is not prime.  Res64: A9322916F1B23F02  Time : 3939.0 sec.
user=kar_bon
[2009-05-09 23:42:40]
327*2^809092-1 is not prime.  Res64: 072290665A2FFAAE  Time : 11044.0 sec.
user=mdettweiler
[2009-05-09 23:45:08]
327*2^809433-1 is not prime.  Res64: 4325F0344CA2B7F2  Time : 3940.0 sec.
user=vaughan
[2009-05-09 23:45:19]
339*2^809239-1 is not prime.  Res64: 557BEF4B35A5B5FC  Time : 8216.0 sec.
user=vaughan
[2009-05-09 23:46:32]
333*2^809574-1 is not prime.  Res64: 13D2D4F64186CF8B  Time : 946.0 sec.
user=mdettweiler
[2009-05-09 23:47:48]
333*2^809435-1 is not prime.  Res64: 8AF4A1CD6FFA5285  Time : 3936.0 sec.
user=vaughan
[2009-05-09 23:48:44]
345*2^809586-1 is not prime.  Res64: C745AA545EED51B9  Time : 921.0 sec.
user=vaughan
[2009-05-09 23:49:11]
339*2^809249-1 is not prime.  Res64: FE4DA9178F4A8257  Time : 8195.0 sec.
user=vaughan
[2009-05-09 23:50:57]
315*2^809256-1 is not prime.  Res64: 60FA11701F827982  Time : 8274.0 sec.
user=vaughan
[2009-05-09 23:51:06]
315*2^809590-1 is not prime.  Res64: 9F0390BBB45F25CD  Time : 943.0 sec.
user=mdettweiler
[2009-05-09 23:51:28]
339*2^809437-1 is not prime.  Res64: AC62154757A3715F  Time : 3939.0 sec.
user=kar_bon
[2009-05-09 23:51:40]
339*2^809133-1 is not prime.  Res64: 882B6FA58484471C  Time : 11132.0 sec.
user=vaughan
[2009-05-09 23:53:52]
339*2^809267-1 is not prime.  Res64: B309F835D3C17F97  Time : 8350.0 sec.
user=kar_bon
[2009-05-09 23:54:26]
327*2^809184-1 is not prime.  Res64: 79CD7B7B581AAA0F  Time : 10137.0 sec.
user=mdettweiler
[2009-05-09 23:55:03]
321*2^809442-1 is not prime.  Res64: 40812D2D4D246E40  Time : 4029.0 sec.
user=mdettweiler
[2009-05-09 23:58:17]
321*2^809446-1 is not prime.  Res64: 886835C882F1478F  Time : 3941.0 sec.
user=vaughan
[2009-05-09 23:59:01]
339*2^809285-1 is not prime.  Res64: 97E77E2AE9A35B61  Time : 8216.0 sec.
user=kar_bon
[2009-05-09 23:59:19]
315*2^809055-1 is not prime.  Res64: 95E751A3915D27E2  Time : 12994.0 sec.
user=mdettweiler
[2009-05-10 00:00:56]
321*2^809454-1 is not prime.  Res64: 42FD16C177248D48  Time : 3937.0 sec.