user=vaughan [2009-06-10 00:08:16] 345*2^879954-1 is not prime. Res64: 07686B46D53D3157 Time : 10119.0 sec. user=vaughan [2009-06-10 00:11:39] 315*2^879958-1 is not prime. Res64: 293A681E8D99E5A3 Time : 10121.0 sec. user=vaughan [2009-06-10 00:11:54] 321*2^879958-1 is not prime. Res64: 689FB945E9D94AF6 Time : 10123.0 sec. user=vaughan [2009-06-10 00:12:20] 333*2^879960-1 is not prime. Res64: FEC392C48C83DA23 Time : 10124.0 sec. user=vaughan [2009-06-10 00:25:08] 315*2^879964-1 is not prime. Res64: 6C55F504805564B5 Time : 10120.0 sec. user=vaughan [2009-06-10 00:28:32] 315*2^879966-1 is not prime. Res64: 60316F33F4E83EE1 Time : 10123.0 sec. user=vaughan [2009-06-10 00:28:48] 345*2^879967-1 is not prime. Res64: 5D10C5043E729B6C Time : 10126.0 sec. user=vaughan [2009-06-10 00:29:12] 327*2^879968-1 is not prime. Res64: 60B850BE41308769 Time : 10125.0 sec. user=vaughan [2009-06-10 00:42:03] 339*2^879968-1 is not prime. Res64: 293C73AECEDD5CDF Time : 10125.0 sec. user=vaughan [2009-06-10 00:45:26] 345*2^879969-1 is not prime. Res64: 8F3E25C685F6A56F Time : 10126.0 sec. user=vaughan [2009-06-10 00:45:43] 339*2^879973-1 is not prime. Res64: 430755925045D626 Time : 10130.0 sec. user=vaughan [2009-06-10 00:46:08] 321*2^879975-1 is not prime. Res64: 03F468DCC0655D54 Time : 10130.0 sec. user=vaughan [2009-06-10 00:58:55] 333*2^879975-1 is not prime. Res64: FC889BCED106C617 Time : 10126.0 sec. user=vaughan [2009-06-10 01:02:17] 315*2^879978-1 is not prime. Res64: 05D59DEF0519AD54 Time : 10126.0 sec. user=vaughan [2009-06-10 01:02:35] 327*2^879978-1 is not prime. Res64: 8289F27CECDF6690 Time : 10130.0 sec. user=vaughan [2009-06-10 01:03:00] 333*2^879980-1 is not prime. Res64: 5FCE5EAB5AE5CD81 Time : 10130.0 sec. user=vaughan [2009-06-10 01:15:50] 327*2^879985-1 is not prime. Res64: A06EAF9880745833 Time : 10130.0 sec. user=vaughan [2009-06-10 01:19:13] 333*2^879987-1 is not prime. Res64: D1FE42F2C7858059 Time : 10131.0 sec. user=vaughan [2009-06-10 01:19:30] 339*2^879991-1 is not prime. Res64: CAE37C187D240737 Time : 10134.0 sec. user=vaughan [2009-06-10 01:19:55] 345*2^879994-1 is not prime. Res64: B50ADCD7D7815F76 Time : 10134.0 sec. user=vaughan [2009-06-10 01:32:43] 315*2^879998-1 is not prime. Res64: 0D58E7DC0D10D148 Time : 10133.0 sec. user=vaughan [2009-06-10 01:36:05] 345*2^880000-1 is not prime. Res64: 4BA698C2372B5B04 Time : 10131.0 sec. user=vaughan [2009-06-10 01:36:24] 315*2^880006-1 is not prime. Res64: 56C9F2F8A4A4D13E Time : 10137.0 sec. user=vaughan [2009-06-10 01:36:47] 333*2^880008-1 is not prime. Res64: 7E86E11BDE4D42FF Time : 10135.0 sec. user=vaughan [2009-06-10 01:49:34] 339*2^880011-1 is not prime. Res64: C64A0398BC193280 Time : 10133.0 sec. user=vaughan [2009-06-10 01:52:58] 321*2^880014-1 is not prime. Res64: 88F2CC8C26777010 Time : 10133.0 sec. user=vaughan [2009-06-10 01:53:16] 321*2^880015-1 is not prime. Res64: 30D01904CF8C8100 Time : 10137.0 sec. user=vaughan [2009-06-10 01:53:40] 315*2^880020-1 is not prime. Res64: D9CF9B3C699CDF80 Time : 10137.0 sec. user=vaughan [2009-06-10 02:06:25] 339*2^880023-1 is not prime. Res64: 6E622B3A008F448E Time : 10133.0 sec. user=vaughan [2009-06-10 02:09:48] 339*2^880027-1 is not prime. Res64: B6A79EBBD265C6E0 Time : 10132.0 sec. user=vaughan [2009-06-10 02:10:07] 315*2^880030-1 is not prime. Res64: 0F7765244B43FB9F Time : 10137.0 sec. user=vaughan [2009-06-10 02:10:31] 339*2^880033-1 is not prime. Res64: 9A7EC121DD602DF9 Time : 10135.0 sec. user=vaughan [2009-06-10 02:23:17] 315*2^880035-1 is not prime. Res64: 8FBFF4C1A791885B Time : 10129.0 sec. user=vaughan [2009-06-10 02:26:40] 339*2^880041-1 is not prime. Res64: F5CB3D5E9A3EC6B4 Time : 10128.0 sec. user=vaughan [2009-06-10 02:26:59] 339*2^880043-1 is not prime. Res64: F5E213019B5F6EA7 Time : 10133.0 sec. user=vaughan [2009-06-10 02:27:23] 327*2^880044-1 is not prime. Res64: E3A3FB2E789E2131 Time : 10131.0 sec. user=vaughan [2009-06-10 02:40:18] 315*2^880045-1 is not prime. Res64: 1BCD0F88B8BBFBFC Time : 10138.0 sec. user=vaughan [2009-06-10 02:43:43] 321*2^880047-1 is not prime. Res64: 85A73145915C1C86 Time : 10139.0 sec. user=vaughan [2009-06-10 02:44:02] 327*2^880049-1 is not prime. Res64: AFF6D522C81388DA Time : 10143.0 sec. user=vaughan [2009-06-10 02:44:26] 315*2^880050-1 is not prime. Res64: 2D2079A9BD4CBA99 Time : 10142.0 sec. user=vaughan [2009-06-10 02:57:19] 333*2^880050-1 is not prime. Res64: BCE73D91032AD7C1 Time : 10144.0 sec. user=vaughan [2009-06-10 03:00:44] 345*2^880051-1 is not prime. Res64: 12E87060BCDA6A65 Time : 10145.0 sec. user=vaughan [2009-06-10 03:01:03] 339*2^880053-1 is not prime. Res64: 2E0DE99C8255AE31 Time : 10149.0 sec. user=vaughan [2009-06-10 03:01:27] 333*2^880059-1 is not prime. Res64: 27B5E48BA1BB0732 Time : 10147.0 sec. user=vaughan [2009-06-10 03:14:20] 345*2^880059-1 is not prime. Res64: 23A844EF37DA1BFF Time : 10152.0 sec. user=vaughan [2009-06-10 03:17:46] 327*2^880061-1 is not prime. Res64: 6E8B1481C24AE985 Time : 10155.0 sec. user=vaughan [2009-06-10 03:18:05] 339*2^880063-1 is not prime. Res64: A723E1C65E93A1D4 Time : 10158.0 sec. user=vaughan [2009-06-10 03:18:29] 333*2^880064-1 is not prime. Res64: E59D0C6EA187E5DD Time : 10157.0 sec. user=vaughan [2009-06-10 03:31:24] 315*2^880067-1 is not prime. Res64: B335D899F514644B Time : 10161.0 sec. user=vaughan [2009-06-10 03:34:46] 315*2^880068-1 is not prime. Res64: D5E6D2A851EC09AC Time : 10160.0 sec. user=vaughan [2009-06-10 03:35:06] 315*2^880069-1 is not prime. Res64: 279C35DA880A92A7 Time : 10163.0 sec. user=vaughan [2009-06-10 03:35:29] 315*2^880070-1 is not prime. Res64: AC1D24EFAE892B6E Time : 10162.0 sec. user=vaughan [2009-06-10 03:48:24] 345*2^880071-1 is not prime. Res64: FFC5C8DD232B3CD8 Time : 10170.0 sec. user=vaughan [2009-06-10 03:51:48] 321*2^880073-1 is not prime. Res64: E13F4058BD698780 Time : 10171.0 sec. user=vaughan [2009-06-10 03:52:08] 339*2^880081-1 is not prime. Res64: 213CDA20EA060093 Time : 10173.0 sec. user=vaughan [2009-06-10 03:52:31] 345*2^880084-1 is not prime. Res64: 38255353DC619632 Time : 10171.0 sec. user=vaughan [2009-06-10 04:05:24] 339*2^880091-1 is not prime. Res64: 95F1ECF608E2C24A Time : 10174.0 sec. user=vaughan [2009-06-10 04:08:48] 315*2^880096-1 is not prime. Res64: 477061C4A0050654 Time : 10175.0 sec. user=vaughan [2009-06-10 04:09:09] 327*2^880098-1 is not prime. Res64: 402AED4D1523FA6B Time : 10179.0 sec. user=vaughan [2009-06-10 04:09:32] 333*2^880103-1 is not prime. Res64: 65B81D0C3606612F Time : 10177.0 sec. user=vaughan [2009-06-10 04:22:27] 327*2^880106-1 is not prime. Res64: 970D3CD74CE7CB6D Time : 10185.0 sec. user=vaughan [2009-06-10 04:25:52] 321*2^880110-1 is not prime. Res64: 017884CCA7A6DABB Time : 10187.0 sec. user=vaughan [2009-06-10 04:26:12] 333*2^880110-1 is not prime. Res64: 8DCCE14F901F72B9 Time : 10188.0 sec. user=vaughan [2009-06-10 04:26:35] 327*2^880113-1 is not prime. Res64: 8392B34E3F31DB42 Time : 10188.0 sec. user=vaughan [2009-06-10 04:39:27] 321*2^880114-1 is not prime. Res64: 1C016EF5C4C5349D Time : 10193.0 sec. user=vaughan [2009-06-10 04:42:51] 339*2^880120-1 is not prime. Res64: 84F43329A68DB54A Time : 10193.0 sec. user=vaughan [2009-06-10 04:43:11] 345*2^880120-1 is not prime. Res64: F071C0F66D3FFBBD Time : 10195.0 sec. user=vaughan [2009-06-10 04:43:35] 315*2^880122-1 is not prime. Res64: 6DD1C8860A87559A Time : 10196.0 sec. user=vaughan [2009-06-10 04:56:29] 327*2^880122-1 is not prime. Res64: 9E5D91CD84478AF0 Time : 10204.0 sec. user=vaughan [2009-06-10 04:59:54] 321*2^880126-1 is not prime. Res64: D100BAADF8AB75E6 Time : 10206.0 sec. user=vaughan [2009-06-10 05:00:14] 345*2^880126-1 is not prime. Res64: 0DA47B53B00CC7A5 Time : 10207.0 sec. user=vaughan [2009-06-10 05:00:36] 315*2^880130-1 is not prime. Res64: DAE2B3EE7BEFBF5D Time : 10205.0 sec. user=vaughan [2009-06-10 05:13:29] 315*2^880131-1 is not prime. Res64: 032D8B55DF532222 Time : 10212.0 sec. user=vaughan [2009-06-10 05:16:54] 327*2^880133-1 is not prime. Res64: 4F1286C081939D02 Time : 10214.0 sec. user=vaughan [2009-06-10 05:17:14] 321*2^880137-1 is not prime. Res64: 282CDC0595E79BD2 Time : 10216.0 sec. user=vaughan [2009-06-10 05:17:37] 327*2^880138-1 is not prime. Res64: A5DEC1828254A4EB Time : 10214.0 sec. user=vaughan [2009-06-10 05:30:29] 321*2^880142-1 is not prime. Res64: F0D54867BE30A249 Time : 10211.0 sec. user=vaughan [2009-06-10 05:33:57] 345*2^880144-1 is not prime. Res64: 2E1D55F34B587854 Time : 10214.0 sec. user=vaughan [2009-06-10 05:34:17] 339*2^880149-1 is not prime. Res64: 77CC024C1E61B20E Time : 10215.0 sec. user=vaughan [2009-06-10 05:34:38] 345*2^880150-1 is not prime. Res64: 78C5356343F20266 Time : 10212.0 sec. user=vaughan [2009-06-10 05:47:31] 321*2^880153-1 is not prime. Res64: 9A642D5058DD4D22 Time : 10213.0 sec. user=vaughan [2009-06-10 05:50:57] 327*2^880156-1 is not prime. Res64: 59759E666EBFAD5E Time : 10214.0 sec. user=vaughan [2009-06-10 05:51:16] 315*2^880157-1 is not prime. Res64: 807728C4F01114FC Time : 10214.0 sec. user=vaughan [2009-06-10 05:51:39] 339*2^880159-1 is not prime. Res64: 74AA68E1CEC13564 Time : 10212.0 sec. user=vaughan [2009-06-10 06:04:32] 327*2^880161-1 is not prime. Res64: 667BA3B027B4C006 Time : 10212.0 sec. user=vaughan [2009-06-10 06:08:00] 339*2^880161-1 is not prime. Res64: 295AAC9E57BCA38F Time : 10214.0 sec. user=vaughan [2009-06-10 06:08:20] 333*2^880163-1 is not prime. Res64: 43B284DB564A1B01 Time : 10215.0 sec. user=vaughan [2009-06-10 06:08:41] 327*2^880164-1 is not prime. Res64: 5A00C39890111415 Time : 10212.0 sec. user=vaughan [2009-06-10 06:21:34] 315*2^880166-1 is not prime. Res64: C3E9B75B2F606AEE Time : 10210.0 sec. user=vaughan [2009-06-10 06:25:00] 327*2^880169-1 is not prime. Res64: EF96499485AE8916 Time : 10214.0 sec. user=vaughan [2009-06-10 06:25:20] 345*2^880171-1 is not prime. Res64: E1C5E35B1BC99EEA Time : 10215.0 sec. user=vaughan [2009-06-10 06:25:40] 315*2^880176-1 is not prime. Res64: 4F8C148F244F315E Time : 10211.0 sec. user=vaughan [2009-06-10 06:38:34] 315*2^880182-1 is not prime. Res64: C5723CC5B3C19847 Time : 10210.0 sec. user=vaughan [2009-06-10 06:41:59] 327*2^880185-1 is not prime. Res64: 672BECEB5F3F1CF2 Time : 10211.0 sec. user=vaughan [2009-06-10 06:42:20] 327*2^880186-1 is not prime. Res64: 3E480FA18058B587 Time : 10212.0 sec. user=vaughan [2009-06-10 06:42:41] 327*2^880188-1 is not prime. Res64: 8CEFEB1388530341 Time : 10210.0 sec. user=vaughan [2009-06-10 06:55:37] 315*2^880189-1 is not prime. Res64: EA094F4BE4544781 Time : 10213.0 sec. user=vaughan [2009-06-10 06:59:02] 321*2^880191-1 is not prime. Res64: 93BAD824F9C4A102 Time : 10214.0 sec. user=vaughan [2009-06-10 06:59:23] 333*2^880191-1 is not prime. Res64: B1A95CD31331B7A9 Time : 10215.0 sec. user=vaughan [2009-06-10 06:59:43] 327*2^880194-1 is not prime. Res64: 2DF601ECCB1E6AC9 Time : 10212.0 sec. user=vaughan [2009-06-10 07:12:36] 327*2^880208-1 is not prime. Res64: 992538CA4D1A7E3B Time : 10210.0 sec. user=vaughan [2009-06-10 07:16:02] 327*2^880209-1 is not prime. Res64: FB9C27B52A9CAEC9 Time : 10211.0 sec. user=vaughan [2009-06-10 07:16:24] 315*2^880214-1 is not prime. Res64: 8048B20FA3EBA4E8 Time : 10212.0 sec. user=vaughan [2009-06-10 07:16:44] 333*2^880214-1 is not prime. Res64: 3B00919913B42E78 Time : 10209.0 sec. user=vaughan [2009-06-10 07:29:40] 333*2^880215-1 is not prime. Res64: 77419422204CA3AD Time : 10213.0 sec. user=vaughan [2009-06-10 07:33:05] 339*2^880215-1 is not prime. Res64: 9941DC4D1494BAE5 Time : 10214.0 sec. user=vaughan [2009-06-10 07:33:26] 339*2^880217-1 is not prime. Res64: EBA8C58179822493 Time : 10215.0 sec. user=vaughan [2009-06-10 07:33:46] 315*2^880230-1 is not prime. Res64: 1B4EE40A4A8C99FA Time : 10212.0 sec. user=vaughan [2009-06-10 07:46:40] 315*2^880231-1 is not prime. Res64: D7BEC28F803296B3 Time : 10211.0 sec. user=vaughan [2009-06-10 07:50:05] 315*2^878814-1 is not prime. Res64: 4F5D2CE8214CB279 Time : 10211.0 sec. user=vaughan [2009-06-10 07:50:27] 339*2^880233-1 is not prime. Res64: FDC41EA2E972D1CA Time : 10213.0 sec. user=vaughan [2009-06-10 07:50:47] 315*2^880234-1 is not prime. Res64: A30AA67DA1739C29 Time : 10211.0 sec. user=vaughan [2009-06-10 08:03:44] 315*2^880247-1 is not prime. Res64: 5FAAED6AF29E764F Time : 10215.0 sec. user=vaughan [2009-06-10 08:07:06] 321*2^878817-1 is not prime. Res64: 49B5836032AC3AE8 Time : 10212.0 sec. user=vaughan [2009-06-10 08:07:31] 327*2^880248-1 is not prime. Res64: 8D57345274AD1FCD Time : 10217.0 sec. user=vaughan [2009-06-10 08:07:51] 333*2^880250-1 is not prime. Res64: 98FDA61C2105643F Time : 10214.0 sec. user=vaughan [2009-06-10 08:20:44] 321*2^880253-1 is not prime. Res64: 6A02ABBEF334935B Time : 10215.0 sec. user=vaughan [2009-06-10 08:24:04] 327*2^878825-1 is not prime. Res64: 9C749990806E7402 Time : 10207.0 sec. user=vaughan [2009-06-10 08:24:31] 327*2^880260-1 is not prime. Res64: AF43136D7852D8AA Time : 10215.0 sec. user=vaughan [2009-06-10 08:24:51] 315*2^880262-1 is not prime. Res64: 7B3142F56A6FEF63 Time : 10213.0 sec. user=vaughan [2009-06-10 08:37:48] 333*2^880263-1 is not prime. Res64: 8946EDA574F01585 Time : 10217.0 sec. user=vaughan [2009-06-10 08:41:05] 339*2^878835-1 is not prime. Res64: F22F17F0E59BBC1D Time : 10209.0 sec. user=vaughan [2009-06-10 08:41:34] 315*2^880266-1 is not prime. Res64: 3029BFAC22948E9B Time : 10218.0 sec. user=vaughan [2009-06-10 08:41:53] 315*2^880270-1 is not prime. Res64: 93087C02E4918107 Time : 10214.0 sec. user=vaughan [2009-06-10 08:54:47] 339*2^880271-1 is not prime. Res64: A54AFE5A94811D81 Time : 10215.0 sec. user=vaughan [2009-06-10 08:58:04] 333*2^878847-1 is not prime. Res64: EA5207254E5C7439 Time : 10205.0 sec. user=vaughan [2009-06-10 08:58:34] 315*2^880272-1 is not prime. Res64: 6A2479E4483B5483 Time : 10214.0 sec. user=vaughan [2009-06-10 08:58:53] 339*2^880273-1 is not prime. Res64: 51AF44EAC57EF728 Time : 10213.0 sec. user=vaughan [2009-06-10 09:11:50] 315*2^880284-1 is not prime. Res64: 358A56AEBDDAC1BB Time : 10216.0 sec. user=vaughan [2009-06-10 09:15:05] 315*2^878862-1 is not prime. Res64: AC562A38DC2DAE74 Time : 10206.0 sec. user=vaughan [2009-06-10 09:15:37] 315*2^880285-1 is not prime. Res64: 68377565CB6C22FE Time : 10217.0 sec. user=vaughan [2009-06-10 09:15:56] 327*2^880285-1 is not prime. Res64: 86D00A02EAE4FA7B Time : 10216.0 sec. user=vaughan [2009-06-10 09:28:51] 339*2^880289-1 is not prime. Res64: ABBE3B20F59CE0A4 Time : 10217.0 sec. user=vaughan [2009-06-10 09:32:04] 333*2^878894-1 is not prime. Res64: 25E88D509837276E Time : 10205.0 sec. user=vaughan [2009-06-10 09:32:37] 333*2^880290-1 is not prime. Res64: FB6E457B330D75B4 Time : 10218.0 sec. user=vaughan [2009-06-10 09:32:56] 315*2^880291-1 is not prime. Res64: 5B0439E4CD10086A Time : 10216.0 sec. user=vaughan [2009-06-10 09:45:51] 327*2^880300-1 is not prime. Res64: F72ED62E9C46FB98 Time : 10215.0 sec. user=vaughan [2009-06-10 09:49:05] 333*2^878903-1 is not prime. Res64: AE7322ACD0D6C50C Time : 10203.0 sec. user=vaughan [2009-06-10 09:49:40] 327*2^880305-1 is not prime. Res64: DA6777595084C627 Time : 10217.0 sec. user=vaughan [2009-06-10 09:49:59] 339*2^880305-1 is not prime. Res64: 6709DA3566A6E966 Time : 10216.0 sec. user=vaughan [2009-06-10 10:02:54] 333*2^880314-1 is not prime. Res64: F3DDE13F4BAEF393 Time : 10218.0 sec. user=vaughan [2009-06-10 10:06:03] 315*2^878914-1 is not prime. Res64: C643EE258E9F96D5 Time : 10201.0 sec. user=vaughan [2009-06-10 10:06:41] 327*2^880320-1 is not prime. Res64: C9D26AF5F7A9054E Time : 10217.0 sec. user=vaughan [2009-06-10 10:06:59] 333*2^880320-1 is not prime. Res64: 38A1D1534252ED09 Time : 10216.0 sec. user=vaughan [2009-06-10 10:19:54] 339*2^880325-1 is not prime. Res64: 0EFB953D8625AF7F Time : 10214.0 sec. user=vaughan [2009-06-10 10:23:02] 345*2^878916-1 is not prime. Res64: 79AE704429D6111C Time : 10197.0 sec. user=vaughan [2009-06-10 10:23:42] 339*2^878921-1 is not prime. Res64: 79B8A6C4FA069960 Time : 10216.0 sec. user=vaughan [2009-06-10 10:24:03] 345*2^880327-1 is not prime. Res64: 49E1D8AAF851A918 Time : 10217.0 sec. user=vaughan [2009-06-10 10:36:56] 327*2^878925-1 is not prime. Res64: E246B3984CDAEBDB Time : 10216.0 sec. user=vaughan [2009-06-10 10:40:04] 345*2^878926-1 is not prime. Res64: B22A2D080FE36FF3 Time : 10199.0 sec. user=vaughan [2009-06-10 10:40:42] 333*2^880328-1 is not prime. Res64: 5DE0290CA13F31A1 Time : 10215.0 sec. user=vaughan [2009-06-10 10:41:02] 321*2^880333-1 is not prime. Res64: 435B287AC510E930 Time : 10215.0 sec. user=vaughan [2009-06-10 10:53:54] 333*2^878934-1 is not prime. Res64: 47E57521EFD1189B Time : 10211.0 sec. user=vaughan [2009-06-10 10:57:01] 339*2^878935-1 is not prime. Res64: 65F5972947EF7FEB Time : 10195.0 sec. user=vaughan [2009-06-10 10:57:42] 321*2^880335-1 is not prime. Res64: D1C30DD571C561BA Time : 10212.0 sec. user=vaughan [2009-06-10 10:58:03] 345*2^880335-1 is not prime. Res64: F63095FB7841D05C Time : 10213.0 sec. user=vaughan [2009-06-10 11:10:56] 339*2^878945-1 is not prime. Res64: 3AEEA0D72D14F5C0 Time : 10212.0 sec. user=vaughan [2009-06-10 11:14:03] 321*2^878946-1 is not prime. Res64: 77773464DB1C9988 Time : 10199.0 sec. user=vaughan [2009-06-10 11:14:44] 315*2^880336-1 is not prime. Res64: 879891027173D95E Time : 10213.0 sec. user=vaughan [2009-06-10 11:15:06] 315*2^880338-1 is not prime. Res64: ECAB186C735716BF Time : 10215.0 sec. user=vaughan [2009-06-10 11:27:55] 345*2^878959-1 is not prime. Res64: 15E191F3F0CC6F73 Time : 10208.0 sec. user=vaughan [2009-06-10 11:31:02] 321*2^878965-1 is not prime. Res64: 965B3153E9EF373F Time : 10197.0 sec. user=vaughan [2009-06-10 11:31:45] 345*2^880339-1 is not prime. Res64: B2E1592B8EC48949 Time : 10212.0 sec. user=vaughan [2009-06-10 11:32:06] 315*2^880341-1 is not prime. Res64: 857D2F55D844FD68 Time : 10214.0 sec. user=vaughan [2009-06-10 11:44:57] 315*2^878974-1 is not prime. Res64: 55A24D98CF4A7D39 Time : 10210.0 sec. user=vaughan [2009-06-10 11:48:05] 333*2^878976-1 is not prime. Res64: C3B49CB22DBF56EF Time : 10201.0 sec. user=vaughan [2009-06-10 11:48:48] 321*2^880341-1 is not prime. Res64: CA96AB96486F470A Time : 10214.0 sec. user=vaughan [2009-06-10 11:49:10] 345*2^880341-1 is not prime. Res64: D1FD47DA3CBC8BFB Time : 10217.0 sec. user=vaughan [2009-06-10 12:01:56] 333*2^878979-1 is not prime. Res64: 5A13FA46C8F1DCA8 Time : 10206.0 sec. user=vaughan [2009-06-10 12:05:03] 333*2^878987-1 is not prime. Res64: B68018265393152B Time : 10198.0 sec. user=vaughan [2009-06-10 12:05:48] 321*2^880342-1 is not prime. Res64: 5A0F85A656012790 Time : 10211.0 sec. user=vaughan [2009-06-10 12:06:10] 339*2^880343-1 is not prime. Res64: 7A86035DA585852D Time : 10214.0 sec. user=vaughan [2009-06-10 12:18:56] 333*2^879003-1 is not prime. Res64: 86374EEC91FC7E71 Time : 10205.0 sec. user=vaughan [2009-06-10 12:22:04] 339*2^879007-1 is not prime. Res64: 74FD1E4EBABD41FA Time : 10201.0 sec. user=vaughan [2009-06-10 12:22:50] 333*2^880344-1 is not prime. Res64: FAE68BFC21E25473 Time : 10214.0 sec. user=vaughan [2009-06-10 12:23:13] 327*2^880346-1 is not prime. Res64: 4AEA61C207483B8B Time : 10217.0 sec. user=vaughan [2009-06-10 12:35:53] 321*2^879014-1 is not prime. Res64: FD13C6B271F080B9 Time : 10203.0 sec. user=vaughan [2009-06-10 12:39:00] 315*2^879015-1 is not prime. Res64: 0AD56FFFDA36CEB6 Time : 10195.0 sec. user=vaughan [2009-06-10 12:39:49] 315*2^880347-1 is not prime. Res64: AB3F9D95EB22A11E Time : 10209.0 sec. user=vaughan [2009-06-10 12:40:11] 345*2^880350-1 is not prime. Res64: 03FACB3BCA52E831 Time : 10212.0 sec. user=vaughan [2009-06-10 12:52:52] 315*2^879035-1 is not prime. Res64: C3931F444C19C0F0 Time : 10198.0 sec. user=vaughan [2009-06-10 12:55:59] 333*2^879039-1 is not prime. Res64: 241569A9AAA32838 Time : 10196.0 sec. user=vaughan [2009-06-10 12:56:49] 327*2^880352-1 is not prime. Res64: E49DF67363479A0A Time : 10208.0 sec. user=vaughan [2009-06-10 12:57:11] 315*2^880354-1 is not prime. Res64: C7CA2A204F1CA735 Time : 10212.0 sec. user=vaughan [2009-06-10 13:09:50] 321*2^879046-1 is not prime. Res64: 3816CB3754C4F93F Time : 10197.0 sec. user=vaughan [2009-06-10 13:12:58] 321*2^880354-1 is not prime. Res64: 6E38A316C282A90C Time : 10197.0 sec. user=vaughan [2009-06-10 13:13:49] 327*2^880356-1 is not prime. Res64: 1ABD77143CE24FA1 Time : 10208.0 sec. user=vaughan [2009-06-10 13:14:10] 333*2^880358-1 is not prime. Res64: 8C2CC305C90A14B6 Time : 10207.0 sec. user=vaughan [2009-06-10 13:26:50] 333*2^880367-1 is not prime. Res64: 268F887586153701 Time : 10195.0 sec. user=vaughan [2009-06-10 13:30:00] 339*2^880367-1 is not prime. Res64: 7EA0D668037F4814 Time : 10197.0 sec. user=vaughan [2009-06-10 13:30:50] 339*2^880371-1 is not prime. Res64: 632A53346FE62A4B Time : 10208.0 sec. user=vaughan [2009-06-10 13:31:12] 345*2^880371-1 is not prime. Res64: 36B56525C760E504 Time : 10211.0 sec. user=vaughan [2009-06-10 13:43:50] 315*2^880375-1 is not prime. Res64: 2188F034A47B808E Time : 10196.0 sec. user=vaughan [2009-06-10 13:46:59] 345*2^880375-1 is not prime. Res64: 65F5BDBF77739982 Time : 10198.0 sec. user=vaughan [2009-06-10 13:47:50] 321*2^880377-1 is not prime. Res64: 3A99CD2B52617F73 Time : 10209.0 sec. user=vaughan [2009-06-10 13:48:11] 339*2^880379-1 is not prime. Res64: 854D4FA1F8CA5D64 Time : 10208.0 sec. user=vaughan [2009-06-10 14:00:51] 327*2^880380-1 is not prime. Res64: E141B0206858131B Time : 10195.0 sec. user=vaughan [2009-06-10 14:04:01] 333*2^880380-1 is not prime. Res64: 5B2FBC2877F61F1C Time : 10198.0 sec. user=vaughan [2009-06-10 14:04:51] 321*2^880382-1 is not prime. Res64: 4C1099A7AC82A838 Time : 10207.0 sec. user=vaughan [2009-06-10 14:05:13] 327*2^880384-1 is not prime. Res64: A70B85DD28109076 Time : 10207.0 sec. user=vaughan [2009-06-10 14:17:50] 339*2^880385-1 is not prime. Res64: 749AFFFF52208211 Time : 10196.0 sec. user=vaughan [2009-06-10 14:21:00] 327*2^880386-1 is not prime. Res64: B429A04721911DB5 Time : 10198.0 sec. user=vaughan [2009-06-10 14:21:51] 327*2^880389-1 is not prime. Res64: BE145E64DEAD4330 Time : 10207.0 sec. user=vaughan [2009-06-10 14:22:13] 315*2^880402-1 is not prime. Res64: 8B398293B964B53E Time : 10207.0 sec. user=vaughan [2009-06-10 14:34:50] 315*2^880406-1 is not prime. Res64: 26888BF9ED37934C Time : 10194.0 sec. user=vaughan [2009-06-10 14:38:03] 315*2^880407-1 is not prime. Res64: F0DDF63F3D7DD719 Time : 10198.0 sec. user=vaughan [2009-06-10 14:38:53] 315*2^880408-1 is not prime. Res64: 194BEF47485A2949 Time : 10205.0 sec. user=vaughan [2009-06-10 14:39:16] 333*2^880410-1 is not prime. Res64: C4D7E6183AAFD7C1 Time : 10206.0 sec. user=vaughan [2009-06-10 14:51:53] 327*2^880413-1 is not prime. Res64: 0953429A95CA757E Time : 10198.0 sec. user=vaughan [2009-06-10 14:55:03] 321*2^880417-1 is not prime. Res64: 7C552601238D33F0 Time : 10200.0 sec. user=vaughan [2009-06-10 14:55:53] 333*2^880418-1 is not prime. Res64: FA0099DBCA40047F Time : 10205.0 sec. user=vaughan [2009-06-10 14:56:15] 345*2^880419-1 is not prime. Res64: 71D7D1102D0B0F03 Time : 10205.0 sec. user=vaughan [2009-06-10 15:08:53] 315*2^880420-1 is not prime. Res64: 5E80BB28C3684E40 Time : 10197.0 sec. user=vaughan [2009-06-10 15:12:03] 321*2^880421-1 is not prime. Res64: 44DDFF09F3FAA5E8 Time : 10200.0 sec. user=vaughan [2009-06-10 15:12:55] 321*2^880423-1 is not prime. Res64: 75CBC22A419701F1 Time : 10205.0 sec. user=vaughan [2009-06-10 15:13:18] 315*2^880430-1 is not prime. Res64: 446AA345DC98FFC2 Time : 10206.0 sec. user=vaughan [2009-06-10 15:25:56] 339*2^880431-1 is not prime. Res64: A601707A208D7A44 Time : 10203.0 sec. user=vaughan [2009-06-10 15:29:05] 321*2^880433-1 is not prime. Res64: 6DEFFAAB754A2567 Time : 10205.0 sec. user=vaughan [2009-06-10 15:29:56] 327*2^880434-1 is not prime. Res64: 2ECEE50494E81BFF Time : 10207.0 sec. user=vaughan [2009-06-10 15:30:19] 345*2^880437-1 is not prime. Res64: 3D9AC58CBDDD892B Time : 10208.0 sec. user=vaughan [2009-06-10 15:42:56] 315*2^880439-1 is not prime. Res64: FB58EADA7F439B1D Time : 10204.0 sec. user=vaughan [2009-06-10 15:46:05] 327*2^880441-1 is not prime. Res64: AEB66283E4E7C25C Time : 10206.0 sec. user=vaughan [2009-06-10 15:46:56] 345*2^880449-1 is not prime. Res64: 5AD2118EA10DB1F1 Time : 10207.0 sec. user=vaughan [2009-06-10 15:47:20] 321*2^880454-1 is not prime. Res64: C9C7CAB050C43DCE Time : 10209.0 sec. user=vaughan [2009-06-10 15:59:59] 315*2^880455-1 is not prime. Res64: 9D67B927279315FD Time : 10210.0 sec. user=vaughan [2009-06-10 16:03:09] 327*2^880456-1 is not prime. Res64: A415DC5B298E6297 Time : 10211.0 sec. user=vaughan [2009-06-10 16:04:01] 339*2^880457-1 is not prime. Res64: 20ACCC888ECC4E09 Time : 10212.0 sec. user=vaughan [2009-06-10 16:04:23] 327*2^880458-1 is not prime. Res64: 734EF7A4A7ABE396 Time : 10214.0 sec. user=vaughan [2009-06-10 16:17:01] 345*2^880461-1 is not prime. Res64: 515063F196CA5C90 Time : 10211.0 sec. user=vaughan [2009-06-10 16:20:10] 315*2^880462-1 is not prime. Res64: 9B493BC71096D1C3 Time : 10210.0 sec. user=vaughan [2009-06-10 16:21:01] 339*2^880463-1 is not prime. Res64: 4CBA69826C7F64AF Time : 10211.0 sec. user=vaughan [2009-06-10 16:21:25] 321*2^880470-1 is not prime. Res64: E681EFECD44D3C14 Time : 10214.0 sec. user=vaughan [2009-06-10 16:34:06] 315*2^880478-1 is not prime. Res64: 03092E0C75374813 Time : 10216.0 sec. user=vaughan [2009-06-10 16:37:13] 321*2^880481-1 is not prime. Res64: 622DEC2E29447301 Time : 10215.0 sec. user=vaughan [2009-06-10 16:38:06] 339*2^880483-1 is not prime. Res64: 821CCAD27F2125A7 Time : 10217.0 sec. user=vaughan [2009-06-10 16:38:29] 315*2^880486-1 is not prime. Res64: 7D03A050801559F5 Time : 10218.0 sec. user=vaughan [2009-06-10 16:51:06] 333*2^880487-1 is not prime. Res64: 6C0C6B82AD90BDB0 Time : 10216.0 sec. user=vaughan [2009-06-10 16:54:14] 333*2^880488-1 is not prime. Res64: A7940485A6FD775C Time : 10213.0 sec. user=vaughan [2009-06-10 16:55:06] 327*2^880492-1 is not prime. Res64: 93AFB294309A9D10 Time : 10215.0 sec. user=vaughan [2009-06-10 16:55:30] 339*2^880499-1 is not prime. Res64: DA092038B16CDC7E Time : 10217.0 sec. user=vaughan [2009-06-10 17:08:12] 339*2^880505-1 is not prime. Res64: FD01D0412A71D6C6 Time : 10222.0 sec. user=vaughan [2009-06-10 17:11:20] 315*2^880509-1 is not prime. Res64: 583469221C4318F3 Time : 10220.0 sec. user=vaughan [2009-06-10 17:12:12] 327*2^880509-1 is not prime. Res64: 00BEC0EECE99A226 Time : 10222.0 sec. user=vaughan [2009-06-10 17:12:35] 315*2^880510-1 is not prime. Res64: 404D8D36AB3D9994 Time : 10223.0 sec. user=vaughan [2009-06-10 17:25:14] 339*2^880511-1 is not prime. Res64: BEEC1E3E4098191B Time : 10224.0 sec. user=vaughan [2009-06-10 17:28:22] 315*2^880514-1 is not prime. Res64: 71773ECE6F957137 Time : 10219.0 sec. user=vaughan [2009-06-10 17:29:13] 333*2^880515-1 is not prime. Res64: 24AC5B9CF6B75768 Time : 10220.0 sec. user=vaughan [2009-06-10 17:29:36] 321*2^880517-1 is not prime. Res64: BCAC3438161AC6F5 Time : 10221.0 sec. user=vaughan [2009-06-10 17:42:18] 315*2^880518-1 is not prime. Res64: 94097BB6810F511C Time : 10226.0 sec. user=vaughan [2009-06-10 17:45:26] 339*2^880519-1 is not prime. Res64: EB74ABB278E3D4FC Time : 10224.0 sec. user=vaughan [2009-06-10 17:46:19] 321*2^880527-1 is not prime. Res64: 97054E54015B9428 Time : 10227.0 sec. user=vaughan [2009-06-10 17:46:41] 327*2^880529-1 is not prime. Res64: 1DCF6AB888746944 Time : 10226.0 sec. user=vaughan [2009-06-10 17:59:21] 321*2^880530-1 is not prime. Res64: 6C6F25EAD280D85E Time : 10228.0 sec. user=vaughan [2009-06-10 18:02:28] 327*2^880533-1 is not prime. Res64: 71E36E4A47F38650 Time : 10225.0 sec. user=vaughan [2009-06-10 18:03:20] 321*2^880534-1 is not prime. Res64: 708C5FB8E3CBF3A6 Time : 10225.0 sec. user=vaughan [2009-06-10 18:03:44] 345*2^880539-1 is not prime. Res64: A9B5B30AFA913ABD Time : 10226.0 sec. user=vaughan [2009-06-10 18:16:26] 345*2^880540-1 is not prime. Res64: A8167517FACBF61C Time : 10230.0 sec. user=vaughan [2009-06-10 18:19:33] 345*2^880545-1 is not prime. Res64: B8FC0C4B2706BC46 Time : 10228.0 sec. user=vaughan [2009-06-10 18:20:26] 327*2^880546-1 is not prime. Res64: E05DAFAB23595DA3 Time : 10231.0 sec. user=vaughan [2009-06-10 18:20:49] 315*2^880547-1 is not prime. Res64: 85E02375F30B5DF8 Time : 10231.0 sec. user=vaughan [2009-06-10 18:33:28] 327*2^880549-1 is not prime. Res64: 2FE17753996A9AD9 Time : 10232.0 sec. user=vaughan [2009-06-10 18:36:36] 315*2^880550-1 is not prime. Res64: C82E3A72F96E8554 Time : 10232.0 sec. user=vaughan [2009-06-10 18:37:28] 345*2^880552-1 is not prime. Res64: BE071A551C33A111 Time : 10232.0 sec. user=vaughan [2009-06-10 18:37:51] 345*2^880557-1 is not prime. Res64: 10D0DE272AF3F382 Time : 10232.0 sec. user=vaughan [2009-06-10 18:50:35] 327*2^880561-1 is not prime. Res64: B9AFDC7A9272E6CB Time : 10236.0 sec. user=vaughan [2009-06-10 18:53:41] 315*2^879155-1 is not prime. Res64: 76D0308B813A1820 Time : 10233.0 sec. user=vaughan [2009-06-10 18:54:34] 321*2^880562-1 is not prime. Res64: 6672481202CC0D3B Time : 10233.0 sec. user=vaughan [2009-06-10 18:54:56] 327*2^880562-1 is not prime. Res64: 5DAC1F097FCECD2C Time : 10233.0 sec. user=vaughan [2009-06-10 19:07:35] 321*2^879158-1 is not prime. Res64: 18D5469FA7BD4C89 Time : 10234.0 sec. user=vaughan [2009-06-10 19:10:43] 321*2^880565-1 is not prime. Res64: F14F8A991F2A13B9 Time : 10234.0 sec. user=vaughan [2009-06-10 19:11:37] 345*2^880566-1 is not prime. Res64: 94FD4E5262AD91F7 Time : 10236.0 sec. user=vaughan [2009-06-10 19:11:59] 315*2^880572-1 is not prime. Res64: 955C508128437A90 Time : 10234.0 sec. user=vaughan [2009-06-10 19:24:40] 321*2^879165-1 is not prime. Res64: 9C3C8B6A37683AEF Time : 10235.0 sec. user=vaughan [2009-06-10 19:27:48] 339*2^880573-1 is not prime. Res64: A2270ED470DCE7B0 Time : 10235.0 sec. user=vaughan [2009-06-10 19:28:43] 339*2^880577-1 is not prime. Res64: EF460B86EB61C17F Time : 10237.0 sec. user=vaughan [2009-06-10 19:29:05] 327*2^880578-1 is not prime. Res64: B7D5BDEC1249AD51 Time : 10236.0 sec. user=vaughan [2009-06-10 19:41:40] 321*2^879167-1 is not prime. Res64: BFD5FF92E8F4389A Time : 10234.0 sec. user=vaughan [2009-06-10 19:44:52] 333*2^880578-1 is not prime. Res64: 6A53100BF118DF03 Time : 10238.0 sec. user=vaughan [2009-06-10 19:45:46] 345*2^880579-1 is not prime. Res64: 7E211913CB1F717C Time : 10240.0 sec. user=vaughan [2009-06-10 19:46:08] 321*2^880583-1 is not prime. Res64: 8ECCCD34D7318E6F Time : 10239.0 sec. user=vaughan [2009-06-10 19:58:45] 315*2^879170-1 is not prime. Res64: C7C894F48212AA60 Time : 10233.0 sec. user=vaughan [2009-06-10 20:01:59] 327*2^880585-1 is not prime. Res64: B28778B556362ADF Time : 10239.0 sec. user=vaughan [2009-06-10 20:02:52] 315*2^880589-1 is not prime. Res64: 430FC13E1F1C3671 Time : 10240.0 sec. user=vaughan [2009-06-10 20:03:15] 321*2^880591-1 is not prime. Res64: F9A7CC7DB3780EA0 Time : 10241.0 sec. user=vaughan [2009-06-10 20:15:47] 315*2^879181-1 is not prime. Res64: 8762ADAA8F48CAEB Time : 10233.0 sec. user=vaughan [2009-06-10 20:19:02] 321*2^880594-1 is not prime. Res64: 0F3C29CFA83392BA Time : 10240.0 sec. user=vaughan [2009-06-10 20:19:56] 327*2^880596-1 is not prime. Res64: D94B6E600200B10A Time : 10243.0 sec. user=vaughan [2009-06-10 20:20:19] 315*2^880599-1 is not prime. Res64: 45CAD0B2A34BA7EE Time : 10243.0 sec. user=vaughan [2009-06-10 20:32:50] 327*2^879196-1 is not prime. Res64: F0BADCFD04C0D176 Time : 10232.0 sec. user=vaughan [2009-06-10 20:36:08] 315*2^880600-1 is not prime. Res64: BF4237A9E41AD06F Time : 10243.0 sec. user=vaughan [2009-06-10 20:37:02] 315*2^880607-1 is not prime. Res64: C725A94DB9B81547 Time : 10243.0 sec. user=vaughan [2009-06-10 20:37:25] 321*2^880607-1 is not prime. Res64: AC66A7026D50403F Time : 10244.0 sec. user=vaughan [2009-06-10 20:49:56] 315*2^880610-1 is not prime. Res64: FD8A64D668B0A91D Time : 10236.0 sec. user=vaughan [2009-06-10 20:53:11] 327*2^879201-1 is not prime. Res64: 2757D52815715436 Time : 10244.0 sec. user=vaughan [2009-06-10 20:54:07] 333*2^880611-1 is not prime. Res64: ABC988545F8C22EC Time : 10247.0 sec. user=vaughan [2009-06-10 20:54:30] 339*2^880611-1 is not prime. Res64: 6AEF9E2309E9136F Time : 10246.0 sec. user=vaughan [2009-06-10 21:07:00] 321*2^880613-1 is not prime. Res64: 9C14480BD1ED32C8 Time : 10234.0 sec. user=vaughan [2009-06-10 21:10:17] 339*2^879203-1 is not prime. Res64: 3B7895345B913539 Time : 10244.0 sec. user=vaughan [2009-06-10 21:11:14] 315*2^880614-1 is not prime. Res64: 5AF4F08F66EE2155 Time : 10248.0 sec. user=vaughan [2009-06-10 21:11:38] 339*2^880615-1 is not prime. Res64: 8E145CF524B7EF6E Time : 10250.0 sec. user=vaughan [2009-06-10 21:24:09] 327*2^880618-1 is not prime. Res64: 34CFEC4AD900575B Time : 10241.0 sec. user=vaughan [2009-06-10 21:27:20] 339*2^879209-1 is not prime. Res64: 91F9ECAD125976F0 Time : 10244.0 sec. user=vaughan [2009-06-10 21:28:19] 339*2^880619-1 is not prime. Res64: B64A5204871F6312 Time : 10251.0 sec. user=vaughan [2009-06-10 21:28:42] 327*2^880620-1 is not prime. Res64: 9089B3097D2229B6 Time : 10251.0 sec. user=vaughan [2009-06-10 21:41:13] 315*2^881010-1 is not prime. Res64: DCFE8C58F5BDD53C Time : 10238.0 sec. user=vaughan [2009-06-10 21:44:27] 321*2^881278-1 is not prime. Res64: D723F79FE6DA4608 Time : 10246.0 sec. user=vaughan [2009-06-10 21:45:27] 315*2^881279-1 is not prime. Res64: 2B77A03483272F59 Time : 10253.0 sec. user=vaughan [2009-06-10 21:45:50] 339*2^881279-1 is not prime. Res64: 64382ECC737C183F Time : 10254.0 sec. user=vaughan [2009-06-10 21:58:21] 327*2^881281-1 is not prime. Res64: F97890EF6A923C5A Time : 10247.0 sec. user=vaughan [2009-06-10 22:01:34] 333*2^881283-1 is not prime. Res64: 6C034AB82A444624 Time : 10252.0 sec. user=vaughan [2009-06-10 22:02:33] 327*2^881285-1 is not prime. Res64: 25C63060F3A4966A Time : 10256.0 sec. user=vaughan [2009-06-10 22:02:56] 339*2^881287-1 is not prime. Res64: 1D8E4B514D9101AD Time : 10257.0 sec. user=vaughan [2009-06-10 22:15:27] 345*2^881289-1 is not prime. Res64: 80AB09B07FC52F6E Time : 10248.0 sec. user=vaughan [2009-06-10 22:18:40] 339*2^881291-1 is not prime. Res64: F9CAE94E9563795D Time : 10252.0 sec. user=vaughan [2009-06-10 22:19:38] 339*2^881293-1 is not prime. Res64: 0B8915D447E3F591 Time : 10255.0 sec. user=vaughan [2009-06-10 22:20:00] 345*2^881296-1 is not prime. Res64: 3537CAE448727B59 Time : 10255.0 sec. user=vaughan [2009-06-10 22:32:35] 333*2^881300-1 is not prime. Res64: 617C89DD4C925AE5 Time : 10255.0 sec. user=vaughan [2009-06-10 22:35:48] 321*2^881303-1 is not prime. Res64: BA9F65F8E1858CB6 Time : 10257.0 sec. user=vaughan [2009-06-10 22:36:47] 333*2^881304-1 is not prime. Res64: C2AB004B36120229 Time : 10261.0 sec. user=vaughan [2009-06-10 22:37:08] 339*2^881309-1 is not prime. Res64: 4DE671E5A8F498BD Time : 10261.0 sec. user=vaughan [2009-06-10 22:49:41] 321*2^881311-1 is not prime. Res64: 1784FA92DF3F7A6F Time : 10256.0 sec. user=vaughan [2009-06-10 22:52:52] 327*2^881313-1 is not prime. Res64: BA9B4B400CBE0C9D Time : 10254.0 sec. user=vaughan [2009-06-10 22:53:53] 321*2^881314-1 is not prime. Res64: 205C2662CC7EBC61 Time : 10261.0 sec. user=vaughan [2009-06-10 22:54:13] 345*2^881319-1 is not prime. Res64: E4F8B91E87432AD3 Time : 10259.0 sec. user=vaughan [2009-06-10 23:06:49] 315*2^881320-1 is not prime. Res64: 45BCC3A712B0160F Time : 10263.0 sec. user=vaughan [2009-06-10 23:10:01] 345*2^881320-1 is not prime. Res64: CF29AFD8D44C6463 Time : 10260.0 sec. user=vaughan [2009-06-10 23:11:00] 327*2^881333-1 is not prime. Res64: 411B7A1F9ED5FE3A Time : 10265.0 sec. user=vaughan [2009-06-10 23:11:21] 321*2^881334-1 is not prime. Res64: F8A096505556769D Time : 10263.0 sec. user=vaughan [2009-06-10 23:23:54] 345*2^881335-1 is not prime. Res64: 6AD981E9273997B8 Time : 10264.0 sec. user=vaughan [2009-06-10 23:27:06] 315*2^881346-1 is not prime. Res64: B30BF912A7B0598B Time : 10258.0 sec. user=vaughan [2009-06-10 23:28:06] 333*2^881346-1 is not prime. Res64: 27A0135BD9685BE2 Time : 10264.0 sec. user=vaughan [2009-06-10 23:28:27] 339*2^881347-1 is not prime. Res64: 6D802AF16BFD62A4 Time : 10262.0 sec. user=vaughan [2009-06-10 23:41:01] 327*2^881348-1 is not prime. Res64: D582F5CCD24A6DE4 Time : 10265.0 sec. user=vaughan [2009-06-10 23:44:14] 327*2^881354-1 is not prime. Res64: 09019F46733ECC1C Time : 10263.0 sec. user=vaughan [2009-06-10 23:45:13] 333*2^881355-1 is not prime. Res64: 8304B3CC050011A7 Time : 10267.0 sec. user=vaughan [2009-06-10 23:45:34] 339*2^881359-1 is not prime. Res64: FC7C9E184CE9B33B Time : 10264.0 sec. user=vaughan [2009-06-10 23:58:08] 333*2^881363-1 is not prime. Res64: AFCED92C6F34F809 Time : 10268.0 sec.