user=kar_bon
[2011-08-20 00:05:23]
333*2^1395435-1 is not prime.  Res64: 7F99F126A31439BD  Time : 2092.0 sec.
user=kar_bon
[2011-08-20 00:15:00]
345*2^1395439-1 is not prime.  Res64: FC839E1CE4B4C7FD  Time : 2080.0 sec.
user=kar_bon
[2011-08-20 00:25:31]
327*2^1395440-1 is not prime.  Res64: B48EE0E501510F46  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 01:21:51]
321*2^1395442-1 is not prime.  Res64: 33E8531D9F72EAC3  Time : 4587.0 sec.
user=kar_bon
[2011-08-20 02:17:51]
327*2^1395444-1 is not prime.  Res64: 3596CA0D4E60E111  Time : 7370.0 sec.
user=kar_bon
[2011-08-20 02:26:55]
333*2^1395444-1 is not prime.  Res64: D9213100B2AF7676  Time : 7283.0 sec.
user=kar_bon
[2011-08-20 02:29:02]
321*2^1395445-1 is not prime.  Res64: 9349D9959BFBDC3D  Time : 4031.0 sec.
user=kar_bon
[2011-08-20 02:52:57]
339*2^1395448-1 is not prime.  Res64: A6BDAA926C6C31E4  Time : 2106.0 sec.
user=kar_bon
[2011-08-20 03:01:50]
327*2^1395458-1 is not prime.  Res64: E32381B42EA05112  Time : 2095.0 sec.
user=kar_bon
[2011-08-20 03:03:50]
345*2^1395462-1 is not prime.  Res64: 9390E5FDBC761BEF  Time : 2088.0 sec.
user=kar_bon
[2011-08-20 03:27:54]
333*2^1395464-1 is not prime.  Res64: 6FFD458B0FD0FFD0  Time : 2096.0 sec.
user=kar_bon
[2011-08-20 03:36:43]
321*2^1395465-1 is not prime.  Res64: 51B34872B08BA86E  Time : 2092.0 sec.
user=kar_bon
[2011-08-20 03:38:44]
321*2^1395473-1 is not prime.  Res64: 873419D364BAE2D9  Time : 2094.0 sec.
user=kar_bon
[2011-08-20 04:02:34]
333*2^1395474-1 is not prime.  Res64: 91A304D5F558BA27  Time : 2080.0 sec.
user=kar_bon
[2011-08-20 04:11:26]
315*2^1395477-1 is not prime.  Res64: 17513069F3422FE4  Time : 2082.0 sec.
user=kar_bon
[2011-08-20 04:13:38]
333*2^1395480-1 is not prime.  Res64: BC09ED5C40F275AD  Time : 2093.0 sec.
user=kar_bon
[2011-08-20 04:37:19]
327*2^1395482-1 is not prime.  Res64: 7A023E8E2C7A48AF  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 04:46:12]
345*2^1395484-1 is not prime.  Res64: 3D1C80CE99AA8A5A  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 04:48:20]
339*2^1395495-1 is not prime.  Res64: 663CD5E2E13D36AB  Time : 2081.0 sec.
user=kar_bon
[2011-08-20 05:12:03]
327*2^1395498-1 is not prime.  Res64: 417E8D9D871796C5  Time : 2083.0 sec.
user=kar_bon
[2011-08-20 05:21:03]
315*2^1395499-1 is not prime.  Res64: F99BEEFE5B12A6CD  Time : 2091.0 sec.
user=kar_bon
[2011-08-20 05:23:08]
339*2^1395501-1 is not prime.  Res64: 8CFE285A8B730CC3  Time : 2087.0 sec.
user=ototero
[2011-08-20 05:23:56]
333*2^1395387-1 is not prime.  Res64: FBE9F6FF59A0B5A8  Time : 30873.0 sec.
user=ototero
[2011-08-20 05:23:57]
315*2^1395389-1 is not prime.  Res64: D6EE5B630B89BF19  Time : 30874.0 sec.
user=ototero
[2011-08-20 05:23:57]
321*2^1395391-1 is not prime.  Res64: C5253CDC38CE2382  Time : 30873.0 sec.
user=ototero
[2011-08-20 05:23:57]
327*2^1395396-1 is not prime.  Res64: D0951BDF809F66F6  Time : 30873.0 sec.
user=ototero
[2011-08-20 05:23:57]
333*2^1395399-1 is not prime.  Res64: 275A5357E1CB5428  Time : 30873.0 sec.
user=ototero
[2011-08-20 05:23:57]
315*2^1395400-1 is not prime.  Res64: 5E913668C5A8608A  Time : 30872.0 sec.
user=ototero
[2011-08-20 05:23:57]
345*2^1395400-1 is not prime.  Res64: 6CBCEC969E5F79D5  Time : 30872.0 sec.
user=ototero
[2011-08-20 05:23:57]
345*2^1395402-1 is not prime.  Res64: 55978FA579D5A3B3  Time : 30872.0 sec.
user=ototero
[2011-08-20 05:23:58]
321*2^1395405-1 is not prime.  Res64: 2B88410A4E8353F1  Time : 30873.0 sec.
user=ototero
[2011-08-20 05:23:58]
315*2^1395406-1 is not prime.  Res64: 93AE3582AEF94AA4  Time : 30872.0 sec.
user=ototero
[2011-08-20 05:36:27]
327*2^1395365-1 is not prime.  Res64: 53621B051E25FF22  Time : 31845.0 sec.
user=ototero
[2011-08-20 05:36:29]
321*2^1395366-1 is not prime.  Res64: 0B9CC140762E7E63  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:29]
345*2^1395367-1 is not prime.  Res64: EAA9CED01872998B  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:29]
339*2^1395368-1 is not prime.  Res64: 31BA564AC027F3EA  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:30]
315*2^1395372-1 is not prime.  Res64: 05932F32DA93FC06  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:30]
345*2^1395376-1 is not prime.  Res64: 7B5166D6EAA3EFE9  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:30]
327*2^1395380-1 is not prime.  Res64: B2D28F5752A85352  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:30]
327*2^1395381-1 is not prime.  Res64: F48AA0FFD0785E34  Time : 31846.0 sec.
user=ototero
[2011-08-20 05:36:31]
339*2^1395383-1 is not prime.  Res64: 8B52CF63D7D80151  Time : 31847.0 sec.
user=ototero
[2011-08-20 05:36:31]
315*2^1395387-1 is not prime.  Res64: 5D9AC190155649CD  Time : 31847.0 sec.
user=kar_bon
[2011-08-20 05:46:41]
321*2^1395503-1 is not prime.  Res64: B92F881144CB5D67  Time : 2078.0 sec.
user=kar_bon
[2011-08-20 05:55:43]
339*2^1395503-1 is not prime.  Res64: F56CE8F1BAA5B57A  Time : 2079.0 sec.
user=kar_bon
[2011-08-20 05:57:58]
333*2^1395504-1 is not prime.  Res64: 042D54420843A0F4  Time : 2090.0 sec.
user=kar_bon
[2011-08-20 06:21:31]
327*2^1395588-1 is not prime.  Res64: F048FF9120948F4A  Time : 2090.0 sec.
user=kar_bon
[2011-08-20 06:30:30]
321*2^1395591-1 is not prime.  Res64: 672FCA243AB038CB  Time : 2086.0 sec.
user=kar_bon
[2011-08-20 06:32:46]
345*2^1395592-1 is not prime.  Res64: 7490B1AB66F81019  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 06:56:18]
327*2^1395593-1 is not prime.  Res64: 10FCD7C85FFA49EC  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 07:05:16]
339*2^1395593-1 is not prime.  Res64: 256B24AFC4788336  Time : 2086.0 sec.
user=kar_bon
[2011-08-20 07:07:30]
339*2^1395595-1 is not prime.  Res64: B2634090BFC9314C  Time : 2084.0 sec.
user=kar_bon
[2011-08-20 07:31:08]
333*2^1395600-1 is not prime.  Res64: A68F66F68C874346  Time : 2090.0 sec.
user=kar_bon
[2011-08-20 07:43:30]
321*2^1395601-1 is not prime.  Res64: 0CF3ECAF5F7EFE67  Time : 2294.0 sec.
user=kar_bon
[2011-08-20 07:45:45]
315*2^1395605-1 is not prime.  Res64: CB9B156427741B56  Time : 2295.0 sec.
user=kar_bon
[2011-08-20 08:18:09]
321*2^1395606-1 is not prime.  Res64: CD32862D904A6D4D  Time : 2820.0 sec.
user=kar_bon
[2011-08-20 08:30:22]
339*2^1395607-1 is not prime.  Res64: 1AF879D9F8BF7049  Time : 2811.0 sec.
user=kar_bon
[2011-08-20 08:30:38]
333*2^1395611-1 is not prime.  Res64: BFC058CA57A3FD63  Time : 2693.0 sec.
user=kar_bon
[2011-08-20 08:52:55]
321*2^1395614-1 is not prime.  Res64: B918CEC9EE84E861  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 09:05:03]
321*2^1395615-1 is not prime.  Res64: 765B785C374416C9  Time : 2081.0 sec.
user=kar_bon
[2011-08-20 09:05:20]
327*2^1395618-1 is not prime.  Res64: 637F73BD9CE1F8E9  Time : 2081.0 sec.
user=kar_bon
[2011-08-20 09:27:42]
327*2^1395624-1 is not prime.  Res64: C2739D4B44BE4B0B  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 09:39:50]
327*2^1395625-1 is not prime.  Res64: 15A1EA9B6BBAAD69  Time : 2086.0 sec.
user=kar_bon
[2011-08-20 09:40:02]
327*2^1395626-1 is not prime.  Res64: D3483B167C3E7D31  Time : 2082.0 sec.
user=kar_bon
[2011-08-20 10:02:27]
339*2^1395629-1 is not prime.  Res64: 12A7C0713199A750  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 10:14:37]
315*2^1395630-1 is not prime.  Res64: 997F2464C0E4FCF6  Time : 2086.0 sec.
user=kar_bon
[2011-08-20 10:14:46]
315*2^1395634-1 is not prime.  Res64: 66D9A594E49372EF  Time : 2084.0 sec.
user=kar_bon
[2011-08-20 10:37:21]
345*2^1395634-1 is not prime.  Res64: 0613DA054EE21FC8  Time : 2094.0 sec.
user=kar_bon
[2011-08-20 10:49:18]
315*2^1395639-1 is not prime.  Res64: 3F5F318E496A901A  Time : 2081.0 sec.
user=kar_bon
[2011-08-20 10:49:27]
339*2^1395639-1 is not prime.  Res64: CAA37C6DAE1E50E8  Time : 2080.0 sec.
user=kar_bon
[2011-08-20 11:12:03]
327*2^1395640-1 is not prime.  Res64: 331889101398DF41  Time : 2082.0 sec.
user=kar_bon
[2011-08-20 11:23:58]
339*2^1395641-1 is not prime.  Res64: 3DA32C84F9CCA966  Time : 2080.0 sec.
user=kar_bon
[2011-08-20 11:24:15]
321*2^1395646-1 is not prime.  Res64: B70A480B391FED9E  Time : 2088.0 sec.
user=kar_bon
[2011-08-20 11:46:48]
321*2^1395650-1 is not prime.  Res64: C527135DCCC56B8F  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 11:58:46]
345*2^1395651-1 is not prime.  Res64: 7DD701BD89892073  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 11:59:01]
321*2^1395654-1 is not prime.  Res64: 618843713F4EAB49  Time : 2085.0 sec.
user=kar_bon
[2011-08-20 12:21:31]
345*2^1395655-1 is not prime.  Res64: DB42E77DBB230BDC  Time : 2083.0 sec.
user=kar_bon
[2011-08-20 12:33:29]
315*2^1395666-1 is not prime.  Res64: 788EBED68B2F1676  Time : 2082.0 sec.
user=kar_bon
[2011-08-20 12:33:36]
315*2^1395669-1 is not prime.  Res64: 0816AEC9A9BB3A90  Time : 2074.0 sec.
user=kar_bon
[2011-08-20 12:56:14]
327*2^1395669-1 is not prime.  Res64: B122FF966A68499A  Time : 2082.0 sec.
user=kar_bon
[2011-08-20 13:08:11]
345*2^1395670-1 is not prime.  Res64: 33C3F5D7A23C8FB2  Time : 2081.0 sec.
user=kar_bon
[2011-08-20 13:08:16]
333*2^1395671-1 is not prime.  Res64: 437EB81FB9E36137  Time : 2080.0 sec.
user=kar_bon
[2011-08-20 13:30:57]
333*2^1395678-1 is not prime.  Res64: 491A13418289971C  Time : 2083.0 sec.
user=kar_bon
[2011-08-20 13:42:55]
339*2^1395679-1 is not prime.  Res64: 6694EB76212BD22E  Time : 2084.0 sec.
user=kar_bon
[2011-08-20 13:43:03]
345*2^1395679-1 is not prime.  Res64: A3B58133312E0920  Time : 2087.0 sec.
user=kar_bon
[2011-08-20 14:05:43]
321*2^1395681-1 is not prime.  Res64: 32CEB45704154826  Time : 2085.0 sec.
user=ototero
[2011-08-20 14:08:32]
327*2^1395505-1 is not prime.  Res64: EA82918DCCDA2BDD  Time : 31474.0 sec.
user=ototero
[2011-08-20 14:08:32]
321*2^1395511-1 is not prime.  Res64: 9DB2D7A55C74C402  Time : 31474.0 sec.
user=ototero
[2011-08-20 14:08:32]
327*2^1395521-1 is not prime.  Res64: 3AE14BCD9C164FCF  Time : 31473.0 sec.
user=ototero
[2011-08-20 14:08:32]
315*2^1395531-1 is not prime.  Res64: 4F02D3CC798B9923  Time : 31473.0 sec.
user=ototero
[2011-08-20 14:08:33]
321*2^1395533-1 is not prime.  Res64: 4547F64D7F9ECB3D  Time : 31474.0 sec.
user=ototero
[2011-08-20 14:08:33]
315*2^1395534-1 is not prime.  Res64: 222BC9BC8C675619  Time : 31473.0 sec.
user=ototero
[2011-08-20 14:08:33]
333*2^1395534-1 is not prime.  Res64: BAA491D2CB142CF2  Time : 31473.0 sec.
user=ototero
[2011-08-20 14:08:33]
315*2^1395535-1 is not prime.  Res64: 876A88C35B011685  Time : 31473.0 sec.
user=ototero
[2011-08-20 14:08:33]
339*2^1395541-1 is not prime.  Res64: 5D2F6AFC511A0860  Time : 31472.0 sec.
user=ototero
[2011-08-20 14:08:33]
327*2^1395544-1 is not prime.  Res64: DFE36000D6C713EA  Time : 31472.0 sec.
user=kar_bon
[2011-08-20 14:17:43]
339*2^1395681-1 is not prime.  Res64: B3895F3C0CAF6D27  Time : 2088.0 sec.
user=kar_bon
[2011-08-20 14:17:46]
345*2^1395684-1 is not prime.  Res64: 0325483E633CF0A8  Time : 2083.0 sec.
user=ototero
[2011-08-20 14:40:04]
345*2^1395547-1 is not prime.  Res64: 1EB8BD09F5CBEAFF  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:05]
315*2^1395549-1 is not prime.  Res64: 4D62673D55914840  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:05]
327*2^1395549-1 is not prime.  Res64: 335E980070D05650  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:06]
339*2^1395553-1 is not prime.  Res64: 94CD82146ABC3144  Time : 32614.0 sec.
user=ototero
[2011-08-20 14:40:06]
315*2^1395562-1 is not prime.  Res64: D82182D33D711971  Time : 32614.0 sec.
user=ototero
[2011-08-20 14:40:06]
333*2^1395566-1 is not prime.  Res64: BAF852A85B7B4850  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:06]
339*2^1395573-1 is not prime.  Res64: B426FC9CBD8FED01  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:07]
333*2^1395579-1 is not prime.  Res64: EE565FBDF0926C9A  Time : 32614.0 sec.
user=ototero
[2011-08-20 14:40:07]
345*2^1395579-1 is not prime.  Res64: B069282BFD97710D  Time : 32613.0 sec.
user=ototero
[2011-08-20 14:40:07]
327*2^1395581-1 is not prime.  Res64: 8C9685CC8A82AD46  Time : 32613.0 sec.
user=kar_bon
[2011-08-20 14:40:33]
315*2^1395691-1 is not prime.  Res64: 6750331E7CBB3CF8  Time : 2089.0 sec.
user=kar_bon
[2011-08-20 14:52:33]
327*2^1395721-1 is not prime.  Res64: DACEAE57606F19D9  Time : 2089.0 sec.
user=kar_bon
[2011-08-20 14:52:43]
333*2^1395728-1 is not prime.  Res64: 808A45AB1FD8E3FA  Time : 2096.0 sec.
user=kar_bon
[2011-08-20 15:15:17]
315*2^1395766-1 is not prime.  Res64: A38B500122DF68A8  Time : 2083.0 sec.
user=kar_bon
[2011-08-20 15:27:22]
315*2^1395768-1 is not prime.  Res64: 6AAC55A86DB3E1C2  Time : 2088.0 sec.
user=kar_bon
[2011-08-20 15:27:34]
327*2^1395768-1 is not prime.  Res64: 5F645B5FBD4E379A  Time : 2090.0 sec.
user=kar_bon
[2011-08-20 16:03:06]
321*2^1395774-1 is not prime.  Res64: D71DA62ACBA7F35F  Time : 2869.0 sec.
user=kar_bon
[2011-08-20 16:30:04]
333*2^1395774-1 is not prime.  Res64: 7757DF22D8928E84  Time : 3762.0 sec.
user=kar_bon
[2011-08-20 16:35:32]
327*2^1395776-1 is not prime.  Res64: 3D3338D85172C08D  Time : 4078.0 sec.
user=kar_bon
[2011-08-20 16:54:59]
345*2^1395294-1 is not prime.  Res64: 904544C54E8E1E14  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:54:59]
315*2^1394827-1 is not prime.  Res64: 4CEC29EB1347F795  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:54:59]
333*2^1395180-1 is not prime.  Res64: 771935CF903513A4  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:54:59]
333*2^1394858-1 is not prime.  Res64: 965EEFD1E1B18EEC  Time : 88649.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
333*2^1395296-1 is not prime.  Res64: B650738DE7E00B74  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
327*2^1395184-1 is not prime.  Res64: 3E0DBAB80C725942  Time : 88626.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
315*2^1394837-1 is not prime.  Res64: EA5B8A16FB1AD3F6  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
321*2^1394862-1 is not prime.  Res64: D5FEF7B3572A4464  Time : 88649.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
345*2^1395306-1 is not prime.  Res64: B2AFE48EBD168D48  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
345*2^1395186-1 is not prime.  Res64: 14DE2C807A9E43EE  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:00]
333*2^1394840-1 is not prime.  Res64: 44427C1DD24BB3EB  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
345*2^1395312-1 is not prime.  Res64: E7421764589B5DA8  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
321*2^1394870-1 is not prime.  Res64: F0C5A8EC0A9435FB  Time : 88650.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
333*2^1395191-1 is not prime.  Res64: 2B8DF8D01C2179A1  Time : 88626.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
339*2^1394841-1 is not prime.  Res64: BE8A74C5A9A2AF29  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
345*2^1395315-1 is not prime.  Res64: E1B1A3713D46EEF3  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
339*2^1394872-1 is not prime.  Res64: 10F5B946C6BD674F  Time : 88649.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
327*2^1395192-1 is not prime.  Res64: 60438C1C8A7E7B8D  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
315*2^1394845-1 is not prime.  Res64: F74FBE004BF5DCC1  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
315*2^1395319-1 is not prime.  Res64: B3DB4507B9EA5ADC  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
327*2^1394881-1 is not prime.  Res64: 8D9FE6C8DE92CE08  Time : 88649.0 sec.
user=kar_bon
[2011-08-20 16:55:01]
315*2^1395198-1 is not prime.  Res64: 46660F74B92EAF59  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
321*2^1394845-1 is not prime.  Res64: 60743E2CF11B0277  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
339*2^1395319-1 is not prime.  Res64: 20AD2A1589367DD1  Time : 88615.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
339*2^1394883-1 is not prime.  Res64: 17895903231D80C0  Time : 88650.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
327*2^1395201-1 is not prime.  Res64: 87D6E11204E337F9  Time : 88626.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
345*2^1394955-1 is not prime.  Res64: 64837A7309AB304E  Time : 88640.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
339*2^1395205-1 is not prime.  Res64: CBA58B506299FDA1  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
321*2^1395218-1 is not prime.  Res64: 10173763D0B2A924  Time : 88623.0 sec.
user=kar_bon
[2011-08-20 16:55:02]
327*2^1394856-1 is not prime.  Res64: 1595CAB3301979F2  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:03]
315*2^1394890-1 is not prime.  Res64: 062D318D652AE131  Time : 88650.0 sec.
user=kar_bon
[2011-08-20 16:55:03]
339*2^1395325-1 is not prime.  Res64: F400ACE37A38C4D0  Time : 88616.0 sec.
user=kar_bon
[2011-08-20 16:55:03]
327*2^1394961-1 is not prime.  Res64: F65B79FC24446FC5  Time : 88640.0 sec.
user=kar_bon
[2011-08-20 16:55:03]
315*2^1395207-1 is not prime.  Res64: 370D1D3379779498  Time : 88626.0 sec.
user=kar_bon
[2011-08-20 16:55:04]
333*2^1395219-1 is not prime.  Res64: C6B89B3C4BB5BD02  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:05]
333*2^1394978-1 is not prime.  Res64: F4937560E796729C  Time : 88640.0 sec.
user=kar_bon
[2011-08-20 16:55:05]
339*2^1394895-1 is not prime.  Res64: A67BEBD1467FBB7C  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:05]
327*2^1394858-1 is not prime.  Res64: 2C9203B2691622CA  Time : 88655.0 sec.
user=kar_bon
[2011-08-20 16:55:05]
327*2^1394969-1 is not prime.  Res64: A7562181E21644BB  Time : 88642.0 sec.
user=kar_bon
[2011-08-20 16:55:06]
321*2^1395327-1 is not prime.  Res64: 4E61BC3EA2A5C2F3  Time : 88619.0 sec.
user=kar_bon
[2011-08-20 16:55:06]
327*2^1395233-1 is not prime.  Res64: 3DE8F994662E40F4  Time : 88626.0 sec.
user=kar_bon
[2011-08-20 16:55:07]
339*2^1395208-1 is not prime.  Res64: 129A5D874B590375  Time : 88630.0 sec.
user=kar_bon
[2011-08-20 16:55:07]
315*2^1394989-1 is not prime.  Res64: 6703EB581629D048  Time : 88642.0 sec.
user=kar_bon
[2011-08-20 16:55:07]
327*2^1394972-1 is not prime.  Res64: A47D4EFA12A0AD83  Time : 88643.0 sec.
user=kar_bon
[2011-08-20 16:55:08]
327*2^1395093-1 is not prime.  Res64: 3A92C878293A4D69  Time : 88639.0 sec.
user=kar_bon
[2011-08-20 16:55:08]
315*2^1394859-1 is not prime.  Res64: 1E7E1F0E9308AD04  Time : 88657.0 sec.
user=kar_bon
[2011-08-20 16:55:08]
321*2^1394901-1 is not prime.  Res64: 5A948C114195DCB0  Time : 88655.0 sec.
user=kar_bon
[2011-08-20 16:55:08]
327*2^1395236-1 is not prime.  Res64: E9E6C8946CC10BB8  Time : 88628.0 sec.
user=kar_bon
[2011-08-20 16:55:10]
345*2^1395330-1 is not prime.  Res64: 0E83B6DA76F41080  Time : 88622.0 sec.
user=kar_bon
[2011-08-20 16:55:10]
315*2^1394974-1 is not prime.  Res64: 296A57E9715E82CD  Time : 88646.0 sec.
user=kar_bon
[2011-08-20 16:55:10]
339*2^1395209-1 is not prime.  Res64: 0E2F5220F39561A0  Time : 88632.0 sec.
user=kar_bon
[2011-08-20 16:55:10]
321*2^1395021-1 is not prime.  Res64: 71184FA3362465D3  Time : 88645.0 sec.
user=kar_bon
[2011-08-20 16:55:10]
321*2^1394863-1 is not prime.  Res64: CFB5024802BA18F4  Time : 88659.0 sec.
user=kar_bon
[2011-08-20 16:55:11]
345*2^1395102-1 is not prime.  Res64: 5504A754EAFE5777  Time : 88642.0 sec.
user=kar_bon
[2011-08-20 16:55:12]
327*2^1394906-1 is not prime.  Res64: 821BF0614684BADF  Time : 88658.0 sec.
user=kar_bon
[2011-08-20 16:55:12]
327*2^1395241-1 is not prime.  Res64: 19D546183D5D1868  Time : 88632.0 sec.
user=kar_bon
[2011-08-20 16:55:13]
315*2^1395026-1 is not prime.  Res64: 1CB0D06AD57AC6A4  Time : 88647.0 sec.
user=kar_bon
[2011-08-20 16:55:13]
339*2^1395331-1 is not prime.  Res64: D985AEA67654A154  Time : 88625.0 sec.
user=kar_bon
[2011-08-20 16:55:13]
333*2^1395210-1 is not prime.  Res64: 4E9B7B7EC465F588  Time : 88635.0 sec.
user=kar_bon
[2011-08-20 16:55:14]
315*2^1394975-1 is not prime.  Res64: C595C0D69F3A036F  Time : 88649.0 sec.
user=kar_bon
[2011-08-20 16:55:14]
333*2^1394870-1 is not prime.  Res64: 37A731420591CCF7  Time : 88663.0 sec.
user=kar_bon
[2011-08-20 16:55:14]
327*2^1395108-1 is not prime.  Res64: 28FC32DDF32A51B9  Time : 88644.0 sec.
user=kar_bon
[2011-08-20 16:55:15]
327*2^1394912-1 is not prime.  Res64: 4B1804C951F7F145  Time : 88661.0 sec.
user=kar_bon
[2011-08-20 16:55:16]
321*2^1395245-1 is not prime.  Res64: D3130817CFA0B5C1  Time : 88635.0 sec.
user=kar_bon
[2011-08-20 16:55:16]
333*2^1394988-1 is not prime.  Res64: CCD6D143006B5D4B  Time : 88651.0 sec.
user=kar_bon
[2011-08-20 16:55:16]
321*2^1395215-1 is not prime.  Res64: 86BAF76353BB7018  Time : 88637.0 sec.
user=kar_bon
[2011-08-20 16:55:16]
327*2^1395332-1 is not prime.  Res64: BF8A17CD94B44A33  Time : 88627.0 sec.
user=kar_bon
[2011-08-20 16:55:17]
333*2^1395026-1 is not prime.  Res64: 5CD0C332D06CB383  Time : 88651.0 sec.
user=kar_bon
[2011-08-20 16:55:17]
339*2^1395119-1 is not prime.  Res64: C1B46FC38FC0EC3A  Time : 88647.0 sec.
user=kar_bon
[2011-08-20 16:55:18]
333*2^1394874-1 is not prime.  Res64: 921A003FE99B87FB  Time : 88666.0 sec.
user=kar_bon
[2011-08-20 16:55:18]
315*2^1394915-1 is not prime.  Res64: 622A210F28A3AA86  Time : 88663.0 sec.
user=kar_bon
[2011-08-20 16:55:19]
315*2^1395254-1 is not prime.  Res64: 8F2FF45EAC0072B4  Time : 88638.0 sec.
user=kar_bon
[2011-08-20 16:55:19]
339*2^1394995-1 is not prime.  Res64: 93298BD54E4F145F  Time : 88654.0 sec.
user=kar_bon
[2011-08-20 16:55:19]
315*2^1395219-1 is not prime.  Res64: 11577C59A7B48958  Time : 88640.0 sec.
user=kar_bon
[2011-08-20 16:55:20]
327*2^1395333-1 is not prime.  Res64: 71B671FBEE44D446  Time : 88631.0 sec.
user=kar_bon
[2011-08-20 16:55:20]
327*2^1395033-1 is not prime.  Res64: EFD62A105E2EA108  Time : 88654.0 sec.
user=kar_bon
[2011-08-20 16:55:20]
315*2^1395125-1 is not prime.  Res64: B896DAD8A55AF3A3  Time : 88650.0 sec.
user=kar_bon
[2011-08-20 16:55:21]
339*2^1394881-1 is not prime.  Res64: CCCDC6FAD164E244  Time : 88669.0 sec.
user=kar_bon
[2011-08-20 16:55:22]
327*2^1395024-1 is not prime.  Res64: AC7AD7C7FA82713C  Time : 88656.0 sec.
user=kar_bon
[2011-08-20 16:55:22]
345*2^1394916-1 is not prime.  Res64: A4727E47E044F2BA  Time : 88667.0 sec.
user=kar_bon
[2011-08-20 16:55:23]
327*2^1395258-1 is not prime.  Res64: B85D4E61344DD946  Time : 88642.0 sec.
user=kar_bon
[2011-08-20 16:55:23]
321*2^1395233-1 is not prime.  Res64: CA5F377C1CC9853E  Time : 88644.0 sec.
user=kar_bon
[2011-08-20 16:55:23]
321*2^1395126-1 is not prime.  Res64: E491985B9FD8FC80  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:24]
315*2^1395339-1 is not prime.  Res64: F1F02A1BC6FCE6D0  Time : 88635.0 sec.
user=kar_bon
[2011-08-20 16:55:24]
315*2^1395030-1 is not prime.  Res64: F14E8DD6EAB89575  Time : 88658.0 sec.
user=kar_bon
[2011-08-20 16:55:24]
333*2^1395038-1 is not prime.  Res64: CAA9F5D8410D4627  Time : 88657.0 sec.
user=kar_bon
[2011-08-20 16:55:26]
321*2^1394885-1 is not prime.  Res64: 84901834BC548E46  Time : 88673.0 sec.
user=kar_bon
[2011-08-20 16:55:26]
327*2^1394922-1 is not prime.  Res64: C858606898C18B58  Time : 88671.0 sec.
user=kar_bon
[2011-08-20 16:55:26]
339*2^1395235-1 is not prime.  Res64: 631341F73790EA25  Time : 88646.0 sec.
user=kar_bon
[2011-08-20 16:55:26]
345*2^1395261-1 is not prime.  Res64: D5358BD3AD35341A  Time : 88644.0 sec.
user=kar_bon
[2011-08-20 16:55:27]
321*2^1395133-1 is not prime.  Res64: 8EF91E4281BF2FF2  Time : 88656.0 sec.
user=kar_bon
[2011-08-20 16:55:28]
327*2^1395345-1 is not prime.  Res64: 3C4FCC5B8420CE17  Time : 88638.0 sec.
user=kar_bon
[2011-08-20 16:55:28]
345*2^1395036-1 is not prime.  Res64: 2A7B6ACA22A60410  Time : 88662.0 sec.
user=kar_bon
[2011-08-20 16:55:28]
327*2^1395040-1 is not prime.  Res64: A0329FD13AFFFA9E  Time : 88661.0 sec.
user=kar_bon
[2011-08-20 16:55:29]
345*2^1394925-1 is not prime.  Res64: 024C11345C08A537  Time : 88672.0 sec.
user=kar_bon
[2011-08-20 16:55:29]
345*2^1394892-1 is not prime.  Res64: D964829DE47C906C  Time : 88676.0 sec.
user=kar_bon
[2011-08-20 16:55:30]
327*2^1395240-1 is not prime.  Res64: 8650EE1753158C43  Time : 88650.0 sec.
user=kar_bon
[2011-08-20 16:55:30]
321*2^1395263-1 is not prime.  Res64: 91F4C735E1C10043  Time : 88648.0 sec.
user=kar_bon
[2011-08-20 16:55:30]
333*2^1395147-1 is not prime.  Res64: B9AB177158A616E1  Time : 88659.0 sec.
user=kar_bon
[2011-08-20 16:55:31]
345*2^1394926-1 is not prime.  Res64: D791DE1852E8ED28  Time : 88674.0 sec.
user=kar_bon
[2011-08-20 16:55:31]
339*2^1395345-1 is not prime.  Res64: 8C16D31491B2EA7D  Time : 88641.0 sec.
user=kar_bon
[2011-08-20 16:55:31]
315*2^1395039-1 is not prime.  Res64: 05FF8EF3310A12BE  Time : 88664.0 sec.
user=kar_bon
[2011-08-20 16:55:32]
315*2^1395046-1 is not prime.  Res64: D4F3EEEF4C494B79  Time : 88664.0 sec.
user=kar_bon
[2011-08-20 16:55:32]
321*2^1394897-1 is not prime.  Res64: 162F96130F911DB6  Time : 88679.0 sec.
user=kar_bon
[2011-08-20 16:55:32]
333*2^1395243-1 is not prime.  Res64: 0C5CB3F4647EACDB  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:33]
339*2^1395152-1 is not prime.  Res64: 1358B7B7D9DDA554  Time : 88661.0 sec.
user=kar_bon
[2011-08-20 16:55:34]
333*2^1395264-1 is not prime.  Res64: 537B4068FB5AEB7A  Time : 88651.0 sec.
user=kar_bon
[2011-08-20 16:55:34]
315*2^1394927-1 is not prime.  Res64: A8B76E99684A381F  Time : 88677.0 sec.
user=kar_bon
[2011-08-20 16:55:35]
327*2^1395042-1 is not prime.  Res64: 05FF2B129C9CC56B  Time : 88668.0 sec.
user=kar_bon
[2011-08-20 16:55:35]
345*2^1395345-1 is not prime.  Res64: 946EBF345C5611B7  Time : 88644.0 sec.
user=kar_bon
[2011-08-20 16:55:35]
315*2^1395250-1 is not prime.  Res64: A5FCDE40FEDFEE75  Time : 88654.0 sec.
user=kar_bon
[2011-08-20 16:55:35]
333*2^1395054-1 is not prime.  Res64: 33CD5F826977575D  Time : 88667.0 sec.
user=kar_bon
[2011-08-20 16:55:36]
315*2^1394902-1 is not prime.  Res64: 9E8502AD20B597A2  Time : 88682.0 sec.
user=kar_bon
[2011-08-20 16:55:36]
315*2^1395162-1 is not prime.  Res64: 129C2C517F3D14ED  Time : 88664.0 sec.
user=kar_bon
[2011-08-20 16:55:37]
345*2^1395267-1 is not prime.  Res64: 45AE26C21C7143B0  Time : 88654.0 sec.
user=kar_bon
[2011-08-20 16:55:37]
321*2^1394930-1 is not prime.  Res64: 56215E0A505D9982  Time : 88679.0 sec.
user=kar_bon
[2011-08-20 16:55:38]
327*2^1395048-1 is not prime.  Res64: 833BE020B774C09B  Time : 88670.0 sec.
user=kar_bon
[2011-08-20 16:55:39]
315*2^1395061-1 is not prime.  Res64: 74FB97080541862E  Time : 88671.0 sec.
user=kar_bon
[2011-08-20 16:55:39]
327*2^1395256-1 is not prime.  Res64: F9022217026DEAC7  Time : 88658.0 sec.
user=kar_bon
[2011-08-20 16:55:39]
345*2^1395346-1 is not prime.  Res64: D213CE7F19B0D8E4  Time : 88648.0 sec.
user=kar_bon
[2011-08-20 16:55:40]
327*2^1395173-1 is not prime.  Res64: D04F0085CF9215F3  Time : 88667.0 sec.
user=kar_bon
[2011-08-20 16:55:40]
339*2^1394909-1 is not prime.  Res64: B1FE8F2ACDB77CBB  Time : 88686.0 sec.
user=kar_bon
[2011-08-20 16:55:40]
315*2^1395055-1 is not prime.  Res64: C986886AF86C98E2  Time : 88672.0 sec.
user=kar_bon
[2011-08-20 16:55:41]
339*2^1394935-1 is not prime.  Res64: 996208796798F4A0  Time : 88683.0 sec.
user=kar_bon
[2011-08-20 16:55:41]
339*2^1395271-1 is not prime.  Res64: 67D7256CEBC96E6B  Time : 88658.0 sec.
user=kar_bon
[2011-08-20 16:55:41]
327*2^1395261-1 is not prime.  Res64: 3968B74B1E3BB7F3  Time : 88659.0 sec.
user=kar_bon
[2011-08-20 16:55:42]
327*2^1395089-1 is not prime.  Res64: 3539857D1B607247  Time : 88673.0 sec.
user=kar_bon
[2011-08-20 16:55:43]
339*2^1395175-1 is not prime.  Res64: 1C4D4AB06549BD71  Time : 88670.0 sec.
user=kar_bon
[2011-08-20 16:55:43]
333*2^1395068-1 is not prime.  Res64: 379A93FAA13DB1FF  Time : 88675.0 sec.
user=kar_bon
[2011-08-20 16:55:43]
315*2^1395347-1 is not prime.  Res64: 3F2786EF940EF6F5  Time : 88652.0 sec.
user=kar_bon
[2011-08-20 16:55:44]
327*2^1394913-1 is not prime.  Res64: 8E6CA510F15ADFEA  Time : 88689.0 sec.
user=kar_bon
[2011-08-20 16:55:44]
327*2^1394945-1 is not prime.  Res64: 3C1F3B85FB465F35  Time : 88686.0 sec.
user=kar_bon
[2011-08-20 16:55:45]
327*2^1395273-1 is not prime.  Res64: EEBA3F524F2633DF  Time : 88661.0 sec.
user=kar_bon
[2011-08-20 16:55:46]
339*2^1395101-1 is not prime.  Res64: 5ECF56D04B3EC446  Time : 88677.0 sec.
user=kar_bon
[2011-08-20 16:55:46]
339*2^1395179-1 is not prime.  Res64: 6AC46C76DFC01751  Time : 88673.0 sec.
user=kar_bon
[2011-08-20 16:55:46]
339*2^1395089-1 is not prime.  Res64: 288BAF43FC2ABC60  Time : 88677.0 sec.
user=kar_bon
[2011-08-20 16:55:47]
315*2^1395350-1 is not prime.  Res64: EB338087E7A7924E  Time : 88655.0 sec.
user=kar_bon
[2011-08-20 16:55:47]
333*2^1394916-1 is not prime.  Res64: E0DD970FFA1CE417  Time : 88692.0 sec.
user=kar_bon
[2011-08-20 16:55:48]
321*2^1394950-1 is not prime.  Res64: 8DE403E7F6AFC3B3  Time : 88689.0 sec.
user=kar_bon
[2011-08-20 16:55:48]
327*2^1395180-1 is not prime.  Res64: 046A7E9B0E2171DE  Time : 88674.0 sec.
user=kar_bon
[2011-08-20 16:55:48]
327*2^1395280-1 is not prime.  Res64: 86A91429871167D7  Time : 88664.0 sec.
user=kar_bon
[2011-08-20 16:55:49]
345*2^1395106-1 is not prime.  Res64: 53C9E2D32A269945  Time : 88680.0 sec.
user=kar_bon
[2011-08-20 16:55:49]
315*2^1395102-1 is not prime.  Res64: 4E6C72BA4908B78B  Time : 88680.0 sec.
user=kar_bon
[2011-08-20 16:55:50]
315*2^1394918-1 is not prime.  Res64: 0874339B1398D371  Time : 88695.0 sec.
user=kar_bon
[2011-08-20 16:55:50]
333*2^1395350-1 is not prime.  Res64: 35DF76B374C02B37  Time : 88658.0 sec.
user=kar_bon
[2011-08-20 16:55:51]
333*2^1395183-1 is not prime.  Res64: 09186BCF1F7D385F  Time : 88677.0 sec.
user=kar_bon
[2011-08-20 16:55:51]
327*2^1395285-1 is not prime.  Res64: 6E5D9CC206990A51  Time : 88667.0 sec.
user=kar_bon
[2011-08-20 16:55:52]
333*2^1395107-1 is not prime.  Res64: 7BA0219C76B2D8F8  Time : 88683.0 sec.
user=kar_bon
[2011-08-20 16:55:52]
321*2^1395110-1 is not prime.  Res64: 5E02E30DD0C7FE62  Time : 88682.0 sec.
user=kar_bon
[2011-08-20 16:55:53]
339*2^1395185-1 is not prime.  Res64: BE4E662B2723AC76  Time : 88679.0 sec.
user=kar_bon
[2011-08-20 16:55:54]
339*2^1395295-1 is not prime.  Res64: CC49ECA1500047B1  Time : 88669.0 sec.
user=kar_bon
[2011-08-20 16:55:54]
315*2^1395118-1 is not prime.  Res64: FF5BDD4A42E475DC  Time : 88684.0 sec.
user=kar_bon
[2011-08-20 16:55:54]
315*2^1395187-1 is not prime.  Res64: DA9B560EE1AA9B5B  Time : 88679.0 sec.
user=kar_bon
[2011-08-20 16:55:54]
315*2^1395122-1 is not prime.  Res64: 9A0B038054B1730E  Time : 88684.0 sec.
user=kar_bon
[2011-08-20 16:55:55]
339*2^1395296-1 is not prime.  Res64: CB53C4A2A9A22E77  Time : 88670.0 sec.
user=kar_bon
[2011-08-20 16:55:55]
345*2^1395124-1 is not prime.  Res64: 91FB0CCEEF92D5FC  Time : 88685.0 sec.
user=kar_bon
[2011-08-20 16:55:55]
339*2^1395191-1 is not prime.  Res64: 03FAF06FAD21AC3E  Time : 88680.0 sec.
user=kar_bon
[2011-08-20 16:55:56]
339*2^1395125-1 is not prime.  Res64: D1E1AB4851C8F430  Time : 88685.0 sec.
user=kar_bon
[2011-08-20 16:55:56]
339*2^1395307-1 is not prime.  Res64: 91F8C18067F9F290  Time : 88671.0 sec.
user=kar_bon
[2011-08-20 16:55:57]
321*2^1395197-1 is not prime.  Res64: E20F22314065CBEA  Time : 88681.0 sec.
user=kar_bon
[2011-08-20 16:55:59]
327*2^1395129-1 is not prime.  Res64: 08D37C5E140D7CE7  Time : 88688.0 sec.
user=kar_bon
[2011-08-20 16:55:59]
339*2^1395200-1 is not prime.  Res64: CD1CF618FCA9E1FC  Time : 88683.0 sec.
user=kar_bon
[2011-08-20 16:55:59]
339*2^1395313-1 is not prime.  Res64: EE58291078BEC301  Time : 88673.0 sec.
user=kar_bon
[2011-08-20 16:56:00]
327*2^1395146-1 is not prime.  Res64: 59B407AF84CDC970  Time : 88689.0 sec.
user=kar_bon
[2011-08-20 16:56:00]
315*2^1395202-1 is not prime.  Res64: 947CEC6F4DA9100B  Time : 88684.0 sec.
user=kar_bon
[2011-08-20 16:56:00]
321*2^1395317-1 is not prime.  Res64: 2A12D08AEFB151A3  Time : 88674.0 sec.
user=kar_bon
[2011-08-20 16:56:00]
327*2^1395152-1 is not prime.  Res64: B0EFD3129B3E95FD  Time : 88688.0 sec.
user=kar_bon
[2011-08-20 16:56:00]
315*2^1395155-1 is not prime.  Res64: F40D3DCF4AD30365  Time : 88688.0 sec.
user=kar_bon
[2011-08-20 17:48:51]
327*2^1395778-1 is not prime.  Res64: EB99F7F2FF06B346  Time : 6344.0 sec.
user=kar_bon
[2011-08-20 18:14:32]
333*2^1395783-1 is not prime.  Res64: FAC7DE31605BBE6D  Time : 5939.0 sec.
user=kar_bon
[2011-08-20 18:14:42]
315*2^1395782-1 is not prime.  Res64: 5AE4CB35B8796204  Time : 6277.0 sec.
user=kar_bon
[2011-08-20 19:33:48]
339*2^1396241-1 is not prime.  Res64: AA9B841A5B786473  Time : 6296.0 sec.
user=kar_bon
[2011-08-20 19:51:07]
315*2^1396251-1 is not prime.  Res64: E8B53DCCD23C1772  Time : 5784.0 sec.
user=kar_bon
[2011-08-20 21:10:34]
345*2^1396251-1 is not prime.  Res64: 85F0A1659410AF1D  Time : 5806.0 sec.
user=kar_bon
[2011-08-20 21:22:04]
339*2^1396253-1 is not prime.  Res64: CA3460A6D723F826  Time : 5456.0 sec.
user=ototero
[2011-08-20 23:30:56]
345*2^1395691-1 is not prime.  Res64: 50F29C80A198D25A  Time : 33742.0 sec.
user=ototero
[2011-08-20 23:30:56]
321*2^1395695-1 is not prime.  Res64: C41EBCE9D21296EF  Time : 33742.0 sec.
user=ototero
[2011-08-20 23:30:56]
315*2^1395696-1 is not prime.  Res64: DB2C271D751D4B5E  Time : 33742.0 sec.
user=ototero
[2011-08-20 23:30:56]
345*2^1395700-1 is not prime.  Res64: 3D5D22148A7C9BEA  Time : 33741.0 sec.
user=ototero
[2011-08-20 23:30:56]
315*2^1395706-1 is not prime.  Res64: 356BA2A945AE6ED7  Time : 33741.0 sec.
user=ototero
[2011-08-20 23:30:57]
339*2^1395707-1 is not prime.  Res64: DB906670B66D5D66  Time : 33742.0 sec.
user=ototero
[2011-08-20 23:30:57]
333*2^1395710-1 is not prime.  Res64: 8FADAC670C592A64  Time : 33741.0 sec.
user=ototero
[2011-08-20 23:30:57]
315*2^1395711-1 is not prime.  Res64: 870C346105B7672D  Time : 33741.0 sec.
user=ototero
[2011-08-20 23:30:57]
333*2^1395714-1 is not prime.  Res64: F1AEDA6798995EE6  Time : 33741.0 sec.
user=ototero
[2011-08-20 23:30:57]
345*2^1395717-1 is not prime.  Res64: 595868252D5DAE86  Time : 33740.0 sec.