user=kar_bon
[2011-08-03 00:32:09]
345*2^1382727-1 is not prime.  Res64: 9F0B3A59439B545B  Time : 8867.0 sec.
user=kar_bon
[2011-08-03 00:42:57]
333*2^1382724-1 is not prime.  Res64: 7FF99285AB55BC3D  Time : 10050.0 sec.
user=kar_bon
[2011-08-03 00:46:20]
315*2^1382728-1 is not prime.  Res64: BEA4E6015646C8D9  Time : 9048.0 sec.
user=kar_bon
[2011-08-03 00:58:19]
345*2^1382739-1 is not prime.  Res64: 2DB0DA059A0F3FFF  Time : 2434.0 sec.
user=kar_bon
[2011-08-03 01:11:49]
321*2^1382741-1 is not prime.  Res64: 45507A55C7A98854  Time : 2379.0 sec.
user=kar_bon
[2011-08-03 01:21:26]
315*2^1382742-1 is not prime.  Res64: 88EA4DEE6698DD5B  Time : 2309.0 sec.
user=kar_bon
[2011-08-03 01:25:46]
339*2^1382743-1 is not prime.  Res64: 3A3CD2AE3231A257  Time : 2365.0 sec.
user=kar_bon
[2011-08-03 01:36:16]
321*2^1382745-1 is not prime.  Res64: 9225AAE53A59FCE3  Time : 2277.0 sec.
user=kar_bon
[2011-08-03 01:48:03]
345*2^1382745-1 is not prime.  Res64: 501791A21162BF63  Time : 2174.0 sec.
user=kar_bon
[2011-08-03 01:56:05]
315*2^1382749-1 is not prime.  Res64: F11AAB16311E4CC2  Time : 2078.0 sec.
user=kar_bon
[2011-08-03 02:00:05]
333*2^1382751-1 is not prime.  Res64: 8347252031DB388F  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 02:10:53]
327*2^1382752-1 is not prime.  Res64: 2723491B11E123F1  Time : 2077.0 sec.
user=kar_bon
[2011-08-03 02:22:23]
315*2^1382754-1 is not prime.  Res64: C21AF5259674AD13  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 02:30:20]
333*2^1382754-1 is not prime.  Res64: 551AF8DAC7E18436  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 02:34:19]
321*2^1382757-1 is not prime.  Res64: 0B60C0218FD1CF2C  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 02:45:06]
315*2^1382759-1 is not prime.  Res64: CEA5218A443EFEB1  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 02:56:41]
327*2^1382768-1 is not prime.  Res64: 4CB53366D7DF5AF2  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 03:04:40]
321*2^1382774-1 is not prime.  Res64: 971A67FD730AE782  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 03:08:36]
333*2^1382778-1 is not prime.  Res64: F8F1885644FA2FB3  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 03:19:25]
315*2^1382779-1 is not prime.  Res64: EA7B4D811EE6CC93  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 03:30:59]
339*2^1382779-1 is not prime.  Res64: 1344545600A12E6F  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 03:39:02]
333*2^1382784-1 is not prime.  Res64: 03B02897C2830598  Time : 2063.0 sec.
user=kar_bon
[2011-08-03 03:42:51]
315*2^1382786-1 is not prime.  Res64: EB743458D3E26586  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 03:53:44]
327*2^1382788-1 is not prime.  Res64: 1E7CE8439A588356  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 04:05:17]
339*2^1382789-1 is not prime.  Res64: 0A21EC2A518C537B  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 04:13:25]
327*2^1382793-1 is not prime.  Res64: 77E3A708E475BC48  Time : 2062.0 sec.
user=kar_bon
[2011-08-03 04:17:09]
339*2^1382795-1 is not prime.  Res64: F6C5D2CFD7FFA138  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 04:27:59]
339*2^1382815-1 is not prime.  Res64: F2E4F96CE39D74A3  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 04:39:32]
327*2^1382818-1 is not prime.  Res64: 1AE7A697890705BB  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 04:47:43]
333*2^1382820-1 is not prime.  Res64: 4786C1F9A7B9B5C9  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 04:51:24]
315*2^1382822-1 is not prime.  Res64: BBCA709D19FF4DDF  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 05:02:11]
333*2^1382826-1 is not prime.  Res64: 31FE5D500EF34F33  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 05:13:51]
327*2^1382829-1 is not prime.  Res64: 644172AF577D329F  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 05:21:59]
333*2^1382834-1 is not prime.  Res64: 3AAE5DB56DAEC642  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 05:25:48]
339*2^1382835-1 is not prime.  Res64: 3E45B914445D8202  Time : 2063.0 sec.
user=kar_bon
[2011-08-03 05:36:29]
339*2^1382837-1 is not prime.  Res64: FCD6C1728D7AB803  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 05:48:03]
321*2^1382845-1 is not prime.  Res64: 542585C7205CB280  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 05:56:16]
321*2^1382846-1 is not prime.  Res64: 332EDF8584E9047F  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 06:00:06]
315*2^1382854-1 is not prime.  Res64: EF31ED08AD064D1B  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 06:10:46]
315*2^1382859-1 is not prime.  Res64: 99BDB93C5F3A6B26  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 06:22:25]
315*2^1382860-1 is not prime.  Res64: ABF33DAB5CEFF140  Time : 2062.0 sec.
user=kar_bon
[2011-08-03 06:30:36]
345*2^1382860-1 is not prime.  Res64: 15273718A47CAA17  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 06:34:17]
315*2^1382871-1 is not prime.  Res64: C1C4B61D5E34D038  Time : 2051.0 sec.
user=kar_bon
[2011-08-03 06:45:09]
327*2^1382873-1 is not prime.  Res64: 2ED11DB42166561E  Time : 2063.0 sec.
user=kar_bon
[2011-08-03 06:56:37]
315*2^1382880-1 is not prime.  Res64: 1456D16FAAF35611  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 07:04:52]
321*2^1382882-1 is not prime.  Res64: 1D4CCFB23BED0F4F  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 07:08:38]
339*2^1382883-1 is not prime.  Res64: BFB52F109EA83EA1  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 07:19:24]
333*2^1382886-1 is not prime.  Res64: 26B45C64BC2BBD51  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 07:30:53]
339*2^1382887-1 is not prime.  Res64: B4B373B3D17EF88D  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 07:39:07]
339*2^1382893-1 is not prime.  Res64: F3C18B9E3593C50C  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 07:43:03]
315*2^1382896-1 is not prime.  Res64: C408BBD69BE23D11  Time : 2065.0 sec.
user=kar_bon
[2011-08-03 07:53:37]
315*2^1382898-1 is not prime.  Res64: 35C9A70FC77DF5B6  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 08:05:17]
345*2^1382899-1 is not prime.  Res64: 14984C57C2589CAB  Time : 2064.0 sec.
user=kar_bon
[2011-08-03 08:13:22]
339*2^1382901-1 is not prime.  Res64: B0653C99DC2256A1  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 08:17:18]
321*2^1382902-1 is not prime.  Res64: F7EEA5142073F5D4  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 08:27:56]
345*2^1382902-1 is not prime.  Res64: A2AF58939B172A51  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 08:39:36]
327*2^1382905-1 is not prime.  Res64: 841F8D56F8078918  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 08:47:35]
315*2^1382909-1 is not prime.  Res64: 4C8FEBA8B0E99512  Time : 2053.0 sec.
user=kar_bon
[2011-08-03 08:51:40]
339*2^1382915-1 is not prime.  Res64: 1F1F3BA2FF027867  Time : 2061.0 sec.
user=kar_bon
[2011-08-03 09:02:12]
333*2^1382916-1 is not prime.  Res64: 6E94632EC3EFC382  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 09:13:48]
345*2^1382919-1 is not prime.  Res64: 0FF57D6D069C780D  Time : 2051.0 sec.
user=kar_bon
[2011-08-03 09:21:47]
315*2^1382922-1 is not prime.  Res64: A6D21D8173DA8BEC  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 09:25:52]
327*2^1382922-1 is not prime.  Res64: 5ACC7B5718441FEC  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 09:37:32]
339*2^1382923-1 is not prime.  Res64: F5134189F8FDAD40  Time : 2119.0 sec.
user=kar_bon
[2011-08-03 09:52:00]
345*2^1382925-1 is not prime.  Res64: 8254D025E0EE7EB8  Time : 2291.0 sec.
user=kar_bon
[2011-08-03 10:00:59]
315*2^1382926-1 is not prime.  Res64: 4277E4EB0389290D  Time : 2351.0 sec.
user=kar_bon
[2011-08-03 10:06:23]
339*2^1382929-1 is not prime.  Res64: 311B71E2D14868A0  Time : 2431.0 sec.
user=kar_bon
[2011-08-03 10:22:24]
315*2^1382930-1 is not prime.  Res64: 7578B05A00BAEA59  Time : 2692.0 sec.
user=kar_bon
[2011-08-03 10:36:53]
345*2^1382932-1 is not prime.  Res64: 3E410DE0FBFEF3A6  Time : 2692.0 sec.
user=kar_bon
[2011-08-03 10:40:47]
321*2^1382934-1 is not prime.  Res64: 563F481A1B3C4CAB  Time : 2388.0 sec.
user=kar_bon
[2011-08-03 10:45:42]
333*2^1382934-1 is not prime.  Res64: 5B0BFEC3BBDDE8D7  Time : 2358.0 sec.
user=kar_bon
[2011-08-03 10:57:57]
321*2^1382935-1 is not prime.  Res64: 62A7C2DE3AE45E80  Time : 2133.0 sec.
user=kar_bon
[2011-08-03 11:11:06]
321*2^1382941-1 is not prime.  Res64: 223137A2637E5F86  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 11:15:02]
327*2^1382946-1 is not prime.  Res64: D85479B48C7DE28D  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 11:19:58]
345*2^1382946-1 is not prime.  Res64: FD7E44BA5668CF1D  Time : 2055.0 sec.
user=kar_bon
[2011-08-03 11:32:15]
315*2^1382950-1 is not prime.  Res64: AC52735AD2752ED4  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 11:45:31]
321*2^1382951-1 is not prime.  Res64: EFAEB930BA64DD1A  Time : 2064.0 sec.
user=kar_bon
[2011-08-03 11:49:21]
327*2^1382954-1 is not prime.  Res64: 597BD26A6EF73326  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 11:54:36]
339*2^1382955-1 is not prime.  Res64: 83A778B1A587C67D  Time : 2077.0 sec.
user=kar_bon
[2011-08-03 12:06:33]
345*2^1382955-1 is not prime.  Res64: A3BCDC9B19150013  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 12:19:43]
315*2^1382957-1 is not prime.  Res64: C6539D2ACCA99BF9  Time : 2052.0 sec.
user=kar_bon
[2011-08-03 12:23:35]
327*2^1382965-1 is not prime.  Res64: A9724B32E8B1EA8C  Time : 2053.0 sec.
user=kar_bon
[2011-08-03 12:28:50]
333*2^1382970-1 is not prime.  Res64: 9B1AAC3F2563713B  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 12:40:52]
345*2^1382974-1 is not prime.  Res64: 24A21475D36F9BAF  Time : 2059.0 sec.
user=kar_bon
[2011-08-03 12:54:08]
315*2^1382976-1 is not prime.  Res64: F98310576CA30773  Time : 2064.0 sec.
user=kar_bon
[2011-08-03 12:57:53]
327*2^1382986-1 is not prime.  Res64: 92F9B60FDC90F0E6  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 13:03:07]
315*2^1382989-1 is not prime.  Res64: 7191A9CD9F2DFBDA  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 13:15:08]
327*2^1382989-1 is not prime.  Res64: 493BD92E43A12601  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 14:00:57]
339*2^1382989-1 is not prime.  Res64: 506B090A20A6BAA3  Time : 4009.0 sec.
user=kar_bon
[2011-08-03 14:07:04]
333*2^1382990-1 is not prime.  Res64: 399775B0C5BF7D81  Time : 4151.0 sec.
user=kar_bon
[2011-08-03 14:14:45]
327*2^1382996-1 is not prime.  Res64: A03D954F244212CD  Time : 4297.0 sec.
user=kar_bon
[2011-08-03 14:31:15]
333*2^1383003-1 is not prime.  Res64: 3E3EA67D83FD6DC6  Time : 4566.0 sec.
user=kar_bon
[2011-08-03 15:21:11]
321*2^1383005-1 is not prime.  Res64: A74C36B1EF225A90  Time : 4814.0 sec.
user=kar_bon
[2011-08-03 15:26:53]
339*2^1383005-1 is not prime.  Res64: D9C3FA1B1C2DA0E5  Time : 4789.0 sec.
user=kar_bon
[2011-08-03 15:32:46]
345*2^1383007-1 is not prime.  Res64: 1722B7DE893F3718  Time : 4681.0 sec.
user=kar_bon
[2011-08-03 16:26:33]
327*2^1383008-1 is not prime.  Res64: C9450857EFF5BC13  Time : 6918.0 sec.
user=kar_bon
[2011-08-03 16:45:31]
327*2^1383009-1 is not prime.  Res64: B5162A6B8892C9AE  Time : 5059.0 sec.
user=kar_bon
[2011-08-03 16:53:26]
327*2^1383012-1 is not prime.  Res64: C41858A5606A117D  Time : 5192.0 sec.
user=kar_bon
[2011-08-03 17:00:06]
321*2^1383014-1 is not prime.  Res64: 6F5113091C117F91  Time : 5240.0 sec.
user=kar_bon
[2011-08-03 17:48:29]
339*2^1383015-1 is not prime.  Res64: 2E4D47E6C4C64239  Time : 4915.0 sec.
user=kar_bon
[2011-08-03 18:34:31]
327*2^1382274-1 is not prime.  Res64: 21A546E6801B4855  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:31]
321*2^1382278-1 is not prime.  Res64: 27FF5E67C0163AE1  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:32]
327*2^1382281-1 is not prime.  Res64: 0179CA0646B5BA03  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:32]
321*2^1382286-1 is not prime.  Res64: 1847174D69AD799E  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:33]
321*2^1382287-1 is not prime.  Res64: CCCBB427BE0C9F04  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:34]
333*2^1382288-1 is not prime.  Res64: 2C3FB3CBF88AF987  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:34]
315*2^1382290-1 is not prime.  Res64: 8C2C37A34BD8E50A  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:35]
339*2^1382297-1 is not prime.  Res64: C11CF36033747C77  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:35]
327*2^1382300-1 is not prime.  Res64: BAE2DCA99A9909B5  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:36]
333*2^1382300-1 is not prime.  Res64: 3D4591846E621FBA  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:36]
345*2^1382302-1 is not prime.  Res64: 35C06CD2B3861948  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:37]
333*2^1382303-1 is not prime.  Res64: FAC1BF3C7F0D5704  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:37]
315*2^1382309-1 is not prime.  Res64: 398E5AA34A0A29D5  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:38]
315*2^1382310-1 is not prime.  Res64: 73EAA824CD220B31  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:39]
333*2^1382315-1 is not prime.  Res64: 868DF9B941278F9B  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:39]
315*2^1382318-1 is not prime.  Res64: 2363494AF203FC93  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:39]
327*2^1382320-1 is not prime.  Res64: 25708CAED38DB163  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:40]
345*2^1382320-1 is not prime.  Res64: 2E736F18F8A6EDF2  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:40]
327*2^1382333-1 is not prime.  Res64: A4E4CC97FF160EF6  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:40]
327*2^1382322-1 is not prime.  Res64: AF1AFD18DDBAF2D1  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:40]
345*2^1382334-1 is not prime.  Res64: 2EEDB38924CDB51E  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:41]
321*2^1382327-1 is not prime.  Res64: 5AFA1AD5B24F4256  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:41]
339*2^1382335-1 is not prime.  Res64: DA1A46224AB6078D  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:42]
333*2^1382328-1 is not prime.  Res64: 756F36307EFFBCC9  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:42]
345*2^1382337-1 is not prime.  Res64: 5045A47C0848D20E  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:43]
339*2^1382339-1 is not prime.  Res64: 21DDCDE17C4528F1  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:44]
327*2^1382341-1 is not prime.  Res64: E95FDC2B11212B3C  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:45]
345*2^1382344-1 is not prime.  Res64: 1BFB3519E5E5BFEC  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:45]
315*2^1382349-1 is not prime.  Res64: 51AF21AF5226D8BE  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:45]
327*2^1382349-1 is not prime.  Res64: FD4AC99E93B3135F  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:46]
321*2^1382350-1 is not prime.  Res64: C30053274B4D9CC9  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:46]
315*2^1382354-1 is not prime.  Res64: FD3FF93401EAB431  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:47]
339*2^1382357-1 is not prime.  Res64: EEDABF25D2516AC5  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:47]
315*2^1382362-1 is not prime.  Res64: F6B057CD5006C487  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:48]
321*2^1382370-1 is not prime.  Res64: 54A38390D78E76A3  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:49]
345*2^1382370-1 is not prime.  Res64: F16D9CE417513509  Time : 87130.0 sec.
user=kar_bon
[2011-08-03 18:34:49]
327*2^1382372-1 is not prime.  Res64: 654D781F6CFC3822  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:49]
321*2^1382381-1 is not prime.  Res64: 14495B9A778BC366  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:49]
345*2^1382394-1 is not prime.  Res64: 0B39A0C73CCE88DC  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:50]
333*2^1382384-1 is not prime.  Res64: AE2FFD4534C0310D  Time : 87130.0 sec.
user=kar_bon
[2011-08-03 18:34:50]
345*2^1382404-1 is not prime.  Res64: DA69F9B5AFC9BD6F  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:50]
339*2^1382385-1 is not prime.  Res64: 3856EE88DE371745  Time : 87129.0 sec.
user=kar_bon
[2011-08-03 18:34:50]
345*2^1382410-1 is not prime.  Res64: C97884D96DEC02FD  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:34:51]
327*2^1382389-1 is not prime.  Res64: 83CA4427715F2239  Time : 87130.0 sec.
user=kar_bon
[2011-08-03 18:34:51]
315*2^1382419-1 is not prime.  Res64: 3F400D9E0CC6B8E4  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:52]
339*2^1382393-1 is not prime.  Res64: E6903ADA47B139AB  Time : 87131.0 sec.
user=kar_bon
[2011-08-03 18:34:52]
333*2^1382420-1 is not prime.  Res64: A0ED9C633D8FA058  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:53]
333*2^1382427-1 is not prime.  Res64: D8D56D04CEAFE614  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:53]
321*2^1382430-1 is not prime.  Res64: 1DFF2F525746C0B1  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:34:54]
345*2^1382431-1 is not prime.  Res64: 997E95F92172DC48  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:54]
339*2^1382439-1 is not prime.  Res64: 15C5965F9B0425CC  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:55]
315*2^1382440-1 is not prime.  Res64: 04AF69D8E7F31BFD  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:55]
327*2^1382440-1 is not prime.  Res64: 7FABCD70CFA50795  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:56]
345*2^1382440-1 is not prime.  Res64: 9031CE91C148A783  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:56]
315*2^1382445-1 is not prime.  Res64: A7097284BAFD9CD6  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:56]
333*2^1382454-1 is not prime.  Res64: E5ED520BBCF00164  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:57]
345*2^1382455-1 is not prime.  Res64: 62850F4E93AF69CE  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:57]
315*2^1382458-1 is not prime.  Res64: BA5BD3CCD2863FAA  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:58]
327*2^1382461-1 is not prime.  Res64: EB0B86E178C97550  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:58]
315*2^1382462-1 is not prime.  Res64: 85EB782CFDD01B13  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:34:59]
315*2^1382464-1 is not prime.  Res64: E4FC88CAC3C9837D  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:59]
339*2^1382467-1 is not prime.  Res64: 07E6D917DC1B1890  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:34:59]
327*2^1382481-1 is not prime.  Res64: D9D486D171454B5F  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:00]
315*2^1382470-1 is not prime.  Res64: 75A2FF3D4B50B55A  Time : 87128.0 sec.
user=kar_bon
[2011-08-03 18:35:00]
315*2^1382482-1 is not prime.  Res64: 4D756D3A35414809  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:00]
321*2^1382482-1 is not prime.  Res64: 3E039A86356BD52F  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:01]
339*2^1382491-1 is not prime.  Res64: 2162F4F62D1AF0E7  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:01]
321*2^1382495-1 is not prime.  Res64: 6DC1A94DC9FCFD12  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:02]
327*2^1382498-1 is not prime.  Res64: 3BA68807127D15A8  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:03]
333*2^1382498-1 is not prime.  Res64: 1F66943D5E50E953  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:03]
345*2^1382499-1 is not prime.  Res64: 6A59CA4382B89DB9  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:04]
345*2^1382506-1 is not prime.  Res64: 2F2B8318F2CDD0C9  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:05]
315*2^1382508-1 is not prime.  Res64: 44F041C1BD2C8A74  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:05]
339*2^1382509-1 is not prime.  Res64: A71CAFFB459DAFF6  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:06]
315*2^1382517-1 is not prime.  Res64: 422A52F0D312F9E2  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:06]
327*2^1382521-1 is not prime.  Res64: F2089B8F81B2D2F3  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:06]
339*2^1382529-1 is not prime.  Res64: 748BB72CD4CCEAE0  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:07]
321*2^1382533-1 is not prime.  Res64: 9881BDFA15E2E437  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:07]
315*2^1382534-1 is not prime.  Res64: 3372996E820F159E  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:08]
327*2^1382536-1 is not prime.  Res64: 74DA67BFF4EE90EF  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:08]
339*2^1382536-1 is not prime.  Res64: 173373E83E6ECE88  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:08]
315*2^1382539-1 is not prime.  Res64: F4ECC27A04810DBF  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:09]
321*2^1382541-1 is not prime.  Res64: F9F10E4423FCEDD0  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:10]
339*2^1382541-1 is not prime.  Res64: 818134C3CD61E352  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:11]
327*2^1382544-1 is not prime.  Res64: ADD0C931613ACEC7  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:11]
327*2^1382545-1 is not prime.  Res64: 4033CA7C255F997B  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:11]
327*2^1382546-1 is not prime.  Res64: 19786A78D9666695  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:12]
345*2^1382547-1 is not prime.  Res64: 3DE706CDEAA76296  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:12]
315*2^1382548-1 is not prime.  Res64: 1CC51223B83B6E05  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:13]
339*2^1382549-1 is not prime.  Res64: 297AAD367CEF9206  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:14]
339*2^1382551-1 is not prime.  Res64: 8100C5086803F3E6  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:14]
339*2^1382552-1 is not prime.  Res64: 214AA9F697E81443  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:15]
321*2^1382557-1 is not prime.  Res64: 322CF5C0D148B1D3  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:15]
339*2^1382557-1 is not prime.  Res64: 2858D83798B51DB9  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:16]
315*2^1382559-1 is not prime.  Res64: 3843992C1E75E8E6  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:16]
333*2^1382559-1 is not prime.  Res64: AC282006A03DE018  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:16]
345*2^1382559-1 is not prime.  Res64: 37D22C931486FAA0  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:17]
315*2^1382560-1 is not prime.  Res64: 8D46BE40E73EC522  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:17]
339*2^1382567-1 is not prime.  Res64: A158A5B05FB60961  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:18]
315*2^1382571-1 is not prime.  Res64: C457A13E3DF46BC9  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:19]
339*2^1382573-1 is not prime.  Res64: D75715080FA1FDCC  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:35:19]
321*2^1382578-1 is not prime.  Res64: B6F6C9AA6D9B4212  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:35:19]
315*2^1382580-1 is not prime.  Res64: 5F05619D7EA8BE8D  Time : 87126.0 sec.
user=kar_bon
[2011-08-03 18:35:20]
339*2^1382581-1 is not prime.  Res64: E7B13BF3D0AA5109  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:35:20]
345*2^1382587-1 is not prime.  Res64: 49BFD4C98C942C9C  Time : 87122.0 sec.
user=kar_bon
[2011-08-03 18:35:20]
327*2^1382585-1 is not prime.  Res64: 507B68AD3B4DF8CA  Time : 87127.0 sec.
user=kar_bon
[2011-08-03 18:35:20]
339*2^1382593-1 is not prime.  Res64: C248E5608F92CDE1  Time : 87122.0 sec.
user=kar_bon
[2011-08-03 18:35:21]
321*2^1382594-1 is not prime.  Res64: C687AC596CEE1950  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:21]
333*2^1382604-1 is not prime.  Res64: 898D6B7CB0AEE01C  Time : 87122.0 sec.
user=kar_bon
[2011-08-03 18:35:22]
345*2^1382610-1 is not prime.  Res64: 87D027BB950F3F50  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:23]
327*2^1382613-1 is not prime.  Res64: 499CA4539A2DEA28  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:23]
339*2^1382613-1 is not prime.  Res64: 6F7840C358A34D09  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:24]
315*2^1382614-1 is not prime.  Res64: EBF15DD6C5E8D8E0  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:24]
333*2^1382615-1 is not prime.  Res64: 7B806EF499B3EC0C  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:25]
321*2^1382622-1 is not prime.  Res64: 5E874F65169282F9  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:25]
333*2^1382624-1 is not prime.  Res64: 269B5721D142F554  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:26]
345*2^1382625-1 is not prime.  Res64: 3C98F6DE28648DF7  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:26]
327*2^1382626-1 is not prime.  Res64: 4F0089E48BE8FD4A  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:27]
321*2^1382630-1 is not prime.  Res64: F5CC058EB773F82A  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:28]
339*2^1382631-1 is not prime.  Res64: 750DBEB3D265531F  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:28]
327*2^1382633-1 is not prime.  Res64: 4B206FE3672CAAAD  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:28]
321*2^1382647-1 is not prime.  Res64: 1D7268A22D9AEF61  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:29]
327*2^1382652-1 is not prime.  Res64: 795CBDFDD342558B  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:29]
345*2^1382662-1 is not prime.  Res64: 33F4DEEFE9976679  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:29]
321*2^1382654-1 is not prime.  Res64: B33B0324372B49A9  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:29]
327*2^1382666-1 is not prime.  Res64: 2E14E8DB8401432B  Time : 87122.0 sec.
user=kar_bon
[2011-08-03 18:35:30]
315*2^1382661-1 is not prime.  Res64: E46BDB281F70A135  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:30]
327*2^1382672-1 is not prime.  Res64: FE42F4CA8F1C4C8D  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:30]
315*2^1382662-1 is not prime.  Res64: DA112E6AEE5501D4  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:31]
327*2^1382673-1 is not prime.  Res64: 44075413DFD2ADC9  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:31]
315*2^1382675-1 is not prime.  Res64: 9518353A2281EFF9  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:32]
327*2^1382676-1 is not prime.  Res64: 4965A32F3B147EB5  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:32]
333*2^1382678-1 is not prime.  Res64: 46D7338EA5553874  Time : 87123.0 sec.
user=kar_bon
[2011-08-03 18:35:33]
315*2^1382679-1 is not prime.  Res64: 807D5C683642CE2C  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:34]
333*2^1382679-1 is not prime.  Res64: 71A0BFD634E7D04B  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:34]
315*2^1382686-1 is not prime.  Res64: 2B8194357DC691DD  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:34]
339*2^1382689-1 is not prime.  Res64: C002089B7897C08E  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:35]
315*2^1382690-1 is not prime.  Res64: BAC2EC5D9F65E194  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:35]
339*2^1382696-1 is not prime.  Res64: 08806BBEDA6A1196  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:36]
315*2^1382698-1 is not prime.  Res64: 34898C02E0CFA9C7  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:36]
315*2^1382702-1 is not prime.  Res64: 61FD31422888BCE2  Time : 87124.0 sec.
user=kar_bon
[2011-08-03 18:35:37]
321*2^1382702-1 is not prime.  Res64: CCF73D3F20F15844  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:37]
339*2^1382703-1 is not prime.  Res64: DD03EC50D6C5E02F  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:38]
327*2^1382708-1 is not prime.  Res64: 7F3BA4E104DC7F64  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:38]
315*2^1382710-1 is not prime.  Res64: 06FDD3ED2321F128  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:38]
321*2^1382711-1 is not prime.  Res64: 11371C744A158784  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:38]
315*2^1382219-1 is not prime.  Res64: 744679B855D135E4  Time : 87204.0 sec.
user=kar_bon
[2011-08-03 18:35:39]
339*2^1382711-1 is not prime.  Res64: 3724EA8585028DEA  Time : 87125.0 sec.
user=kar_bon
[2011-08-03 18:35:39]
315*2^1382224-1 is not prime.  Res64: D83027F08BEE3549  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:39]
333*2^1382231-1 is not prime.  Res64: F3515E5CDF139FE6  Time : 87204.0 sec.
user=kar_bon
[2011-08-03 18:35:40]
339*2^1382231-1 is not prime.  Res64: EA236F5C1D870AA2  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:40]
345*2^1382235-1 is not prime.  Res64: BD2C8B0ADBE607AF  Time : 87204.0 sec.
user=kar_bon
[2011-08-03 18:35:41]
315*2^1382236-1 is not prime.  Res64: C1AF9D13B0EAA550  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:41]
315*2^1382239-1 is not prime.  Res64: F973A48A43CE67F0  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:42]
333*2^1382240-1 is not prime.  Res64: CBE6B7D338AAD7D0  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:42]
315*2^1382242-1 is not prime.  Res64: BCE1C4251F0364C3  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:42]
327*2^1382244-1 is not prime.  Res64: 12C8E0C32BF3F293  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:43]
327*2^1382248-1 is not prime.  Res64: 97B9B12C78C1EED6  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:43]
339*2^1382248-1 is not prime.  Res64: 22CC14008CBB62F4  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:44]
333*2^1382250-1 is not prime.  Res64: 5C7646D610B51F1C  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:44]
339*2^1382253-1 is not prime.  Res64: 76717D6425472661  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:44]
345*2^1382254-1 is not prime.  Res64: F1C0ADB7F106B0E2  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:45]
345*2^1382256-1 is not prime.  Res64: CECF4B1189A8990F  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:45]
345*2^1382260-1 is not prime.  Res64: F3AD47C5E06C4EE7  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:46]
321*2^1382262-1 is not prime.  Res64: 567D513D2939BF71  Time : 87206.0 sec.
user=kar_bon
[2011-08-03 18:35:46]
327*2^1382266-1 is not prime.  Res64: B9C0D49B53441458  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:47]
321*2^1382270-1 is not prime.  Res64: 45D3648508302CA1  Time : 87206.0 sec.
user=kar_bon
[2011-08-03 18:35:47]
339*2^1382271-1 is not prime.  Res64: DC9CF107B538D414  Time : 87205.0 sec.
user=kar_bon
[2011-08-03 18:35:59]
333*2^1383023-1 is not prime.  Res64: 75FCFC1B6618F7A1  Time : 6628.0 sec.
user=kar_bon
[2011-08-03 19:10:54]
321*2^1383025-1 is not prime.  Res64: EAE5BA8F974CC0E5  Time : 8248.0 sec.
user=kar_bon
[2011-08-03 20:17:11]
339*2^1383025-1 is not prime.  Res64: DA04430753EA8416  Time : 11824.0 sec.
user=kar_bon
[2011-08-03 20:37:13]
339*2^1383029-1 is not prime.  Res64: E93EB3BE42B21481  Time : 10123.0 sec.
user=kar_bon
[2011-08-03 20:48:49]
339*2^1383569-1 is not prime.  Res64: 30737C33B68AC9BF  Time : 7969.0 sec.
user=kar_bon
[2011-08-03 20:52:42]
333*2^1383570-1 is not prime.  Res64: E6756A3945F195A5  Time : 6107.0 sec.
user=kar_bon
[2011-08-03 20:59:23]
345*2^1383570-1 is not prime.  Res64: C32F05B1605F8D52  Time : 2532.0 sec.
user=kar_bon
[2011-08-03 21:11:30]
321*2^1383577-1 is not prime.  Res64: CC8DB501B0F41663  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 21:23:05]
327*2^1383578-1 is not prime.  Res64: 8B73D70828E2A4C6  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 21:27:00]
315*2^1383579-1 is not prime.  Res64: B348A136A021E187  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 21:33:46]
327*2^1383580-1 is not prime.  Res64: 7B236A338AE735DA  Time : 2063.0 sec.
user=kar_bon
[2011-08-03 21:45:57]
345*2^1383580-1 is not prime.  Res64: 0E03BE60860DD2B8  Time : 2066.0 sec.
user=kar_bon
[2011-08-03 21:57:26]
315*2^1383588-1 is not prime.  Res64: 00AD95541EAE1278  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 22:01:26]
339*2^1383589-1 is not prime.  Res64: 8997F4D263CFEE3B  Time : 2066.0 sec.
user=kar_bon
[2011-08-03 22:08:00]
333*2^1383591-1 is not prime.  Res64: 45CF07878D0BF48E  Time : 2054.0 sec.
user=kar_bon
[2011-08-03 22:20:15]
327*2^1383593-1 is not prime.  Res64: 630536784F0EF045  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 22:31:47]
315*2^1383595-1 is not prime.  Res64: 91ED2380EE9FDB8A  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 22:35:49]
339*2^1383599-1 is not prime.  Res64: D1375A81F30F1110  Time : 2062.0 sec.
user=kar_bon
[2011-08-03 22:42:26]
339*2^1383603-1 is not prime.  Res64: 5D58249DE7583F7F  Time : 2065.0 sec.
user=kar_bon
[2011-08-03 22:54:33]
321*2^1383606-1 is not prime.  Res64: B308C978F9B56418  Time : 2058.0 sec.
user=kar_bon
[2011-08-03 23:06:04]
345*2^1383615-1 is not prime.  Res64: 9B6E1CC8821F66C5  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 23:10:10]
345*2^1383619-1 is not prime.  Res64: EE641C3F11E00220  Time : 2061.0 sec.
user=kar_bon
[2011-08-03 23:16:43]
327*2^1383629-1 is not prime.  Res64: 7C577C102889914C  Time : 2057.0 sec.
user=kar_bon
[2011-08-03 23:28:53]
321*2^1383630-1 is not prime.  Res64: 957BB239D53B4621  Time : 2060.0 sec.
user=kar_bon
[2011-08-03 23:40:21]
339*2^1383631-1 is not prime.  Res64: FFDB715FAB802DB2  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 23:44:27]
345*2^1383631-1 is not prime.  Res64: A83932C7A32BCB9A  Time : 2056.0 sec.
user=kar_bon
[2011-08-03 23:51:00]
327*2^1383632-1 is not prime.  Res64: 30D62E19AF00067A  Time : 2056.0 sec.