user=vaughan
[2011-11-08 00:01:05]
465*2^1047056-1 is not prime.  Res64: 51E9D503AE4DAC2E  Time : 1307.0 sec.
user=vaughan
[2011-11-08 00:05:24]
525*2^1047054-1 is not prime.  Res64: 29A43333E92B0A22  Time : 2809.0 sec.
user=vaughan
[2011-11-08 00:06:38]
551*2^1047054-1 is not prime.  Res64: 48F94F87F5C09E61  Time : 2287.0 sec.
user=vaughan
[2011-11-08 00:09:03]
407*2^1047056-1 is not prime.  Res64: E9CAD4FB81F1D90B  Time : 2034.0 sec.
user=vaughan
[2011-11-08 00:10:37]
555*2^1047055-1 is not prime.  Res64: 89C9439FF2E60DBF  Time : 2204.0 sec.
user=vaughan
[2011-11-08 00:14:52]
539*2^1047056-1 is not prime.  Res64: 8B1AF8ABB5B9BD1F  Time : 1859.0 sec.
user=vaughan
[2011-11-08 00:15:51]
531*2^1047057-1 is not prime.  Res64: F33F175985985679  Time : 1859.0 sec.
user=vaughan
[2011-11-08 00:16:04]
579*2^1047057-1 is not prime.  Res64: CEBAE8FAE9CAD2B2  Time : 1373.0 sec.
user=vaughan
[2011-11-08 00:17:17]
511*2^1047057-1 is not prime.  Res64: F89F1992ECC07CD5  Time : 1975.0 sec.
user=vaughan
[2011-11-08 00:22:52]
437*2^1047058-1 is not prime.  Res64: D85F1EFD98268126  Time : 1307.0 sec.
user=vaughan
[2011-11-08 00:30:57]
571*2^1047057-1 is not prime.  Res64: D4118B3225F9C4FF  Time : 2618.0 sec.
user=vaughan
[2011-11-08 00:36:38]
413*2^1047058-1 is not prime.  Res64: 0365BE9A905623B0  Time : 2526.0 sec.
user=vaughan
[2011-11-08 00:38:58]
505*2^1047061-1 is not prime.  Res64: 689A6BB93F6C7F1F  Time : 1374.0 sec.
user=vaughan
[2011-11-08 00:42:50]
501*2^1047059-1 is not prime.  Res64: ABFF3125AC947DCD  Time : 2028.0 sec.
user=vaughan
[2011-11-08 00:44:42]
531*2^1047061-1 is not prime.  Res64: FAC866B9EFC0AA66  Time : 1310.0 sec.
user=vaughan
[2011-11-08 00:44:45]
463*2^1047059-1 is not prime.  Res64: 20A52FDB8EB22B71  Time : 2288.0 sec.
user=vaughan
[2011-11-08 00:45:41]
455*2^1047060-1 is not prime.  Res64: 2C658AEFD8CE8C59  Time : 1849.0 sec.
user=vaughan
[2011-11-08 00:46:32]
549*2^1047060-1 is not prime.  Res64: 2AEAFA3326B92488  Time : 1842.0 sec.
user=vaughan
[2011-11-08 00:47:15]
505*2^1047059-1 is not prime.  Res64: 253DD2D853C7305B  Time : 2198.0 sec.
user=vaughan
[2011-11-08 00:48:48]
443*2^1047058-1 is not prime.  Res64: 9DD22B64AC627B43  Time : 2605.0 sec.
user=vaughan
[2011-11-08 00:50:10]
507*2^1047061-1 is not prime.  Res64: 5A3563BA92F0A289  Time : 1974.0 sec.
user=kar_bon
[2011-11-08 00:56:04]
573*2^1047018-1 is not prime.  Res64: 16E2E340CFCFEE33  Time : 61546.0 sec.
user=vaughan
[2011-11-08 01:01:51]
453*2^1047062-1 is not prime.  Res64: 96972223078E5CDC  Time : 1373.0 sec.
user=vaughan
[2011-11-08 01:06:28]
551*2^1047062-1 is not prime.  Res64: C61399884A4CC368  Time : 1306.0 sec.
user=vaughan
[2011-11-08 01:14:37]
549*2^1047061-1 is not prime.  Res64: A61AF73B1478C10C  Time : 2620.0 sec.
user=vaughan
[2011-11-08 01:16:11]
577*2^1047061-1 is not prime.  Res64: 0ACB6D99D714F2FF  Time : 2373.0 sec.
user=vaughan
[2011-11-08 01:16:26]
587*2^1047062-1 is not prime.  Res64: 1948FFAF2090AFBC  Time : 1845.0 sec.
user=vaughan
[2011-11-08 01:16:34]
507*2^1047062-1 is not prime.  Res64: 89C3537134317CE3  Time : 2025.0 sec.
user=vaughan
[2011-11-08 01:17:11]
591*2^1047062-1 is not prime.  Res64: C5F4AAE8C394153F  Time : 1839.0 sec.
user=kar_bon
[2011-11-08 01:17:21]
489*2^1047065-1 is not prime.  Res64: F628ABCD6403AD2C  Time : 1276.0 sec.
user=vaughan
[2011-11-08 01:22:46]
581*2^1047062-1 is not prime.  Res64: A83BFC299C83A74A  Time : 2282.0 sec.
user=vaughan
[2011-11-08 01:23:13]
487*2^1047065-1 is not prime.  Res64: E4CC3ADCA4A048D1  Time : 1983.0 sec.
user=vaughan
[2011-11-08 01:23:50]
485*2^1047064-1 is not prime.  Res64: B4CEF2A85F929FEE  Time : 2196.0 sec.
user=vaughan
[2011-11-08 01:24:46]
547*2^1047065-1 is not prime.  Res64: F582FA73C1E0104E  Time : 1376.0 sec.
user=vaughan
[2011-11-08 01:28:09]
565*2^1047065-1 is not prime.  Res64: E998494C20EC95D7  Time : 1301.0 sec.
user=vaughan
[2011-11-08 01:29:38]
481*2^1047065-1 is not prime.  Res64: D44B26BA577FEFCE  Time : 2450.0 sec.
user=kar_bon
[2011-11-08 01:38:16]
479*2^1047068-1 is not prime.  Res64: FB63D0674F79F6D3  Time : 1255.0 sec.
user=vaughan
[2011-11-08 01:47:00]
597*2^1047069-1 is not prime.  Res64: 0EA96AC0D4E2037A  Time : 1334.0 sec.
user=vaughan
[2011-11-08 01:47:07]
463*2^1047067-1 is not prime.  Res64: EFC1091104CCC944  Time : 1841.0 sec.
user=vaughan
[2011-11-08 01:47:44]
519*2^1047067-1 is not prime.  Res64: CB6F9176CF93AB0C  Time : 1833.0 sec.
user=vaughan
[2011-11-08 01:50:18]
465*2^1047067-1 is not prime.  Res64: 92DAE8BFC256EDC7  Time : 2024.0 sec.
user=vaughan
[2011-11-08 01:50:33]
461*2^1047070-1 is not prime.  Res64: A7FD787FBDFFEF61  Time : 1345.0 sec.
user=vaughan
[2011-11-08 01:54:42]
513*2^1047066-1 is not prime.  Res64: F826BB0E7FEDF8C2  Time : 2311.0 sec.
user=vaughan
[2011-11-08 01:56:31]
481*2^1047069-1 is not prime.  Res64: CEBB869FD7B864CF  Time : 1998.0 sec.
user=vaughan
[2011-11-08 01:58:15]
473*2^1047066-1 is not prime.  Res64: 353086DDE9538BF4  Time : 2619.0 sec.
user=kar_bon
[2011-11-08 01:59:17]
409*2^1047071-1 is not prime.  Res64: 6BC86D4C4B339C9E  Time : 1260.0 sec.
user=vaughan
[2011-11-08 02:00:27]
565*2^1047069-1 is not prime.  Res64: 6172ECBDFF7EBCAF  Time : 2197.0 sec.
user=vaughan
[2011-11-08 02:00:55]
457*2^1047069-1 is not prime.  Res64: 7570D8F4419DB84E  Time : 2289.0 sec.
user=vaughan
[2011-11-08 02:08:50]
441*2^1047071-1 is not prime.  Res64: FA9373AD241DA483  Time : 1310.0 sec.
user=vaughan
[2011-11-08 02:09:32]
483*2^1047070-1 is not prime.  Res64: 9F76E5491B485083  Time : 2394.0 sec.
user=vaughan
[2011-11-08 02:13:32]
505*2^1047071-1 is not prime.  Res64: 73F051CF0B793E60  Time : 1379.0 sec.
user=vaughan
[2011-11-08 02:17:58]
445*2^1047071-1 is not prime.  Res64: 6F17EED96588BEA2  Time : 1852.0 sec.
user=vaughan
[2011-11-08 02:18:19]
453*2^1047071-1 is not prime.  Res64: 4327BEDDFF28807D  Time : 1835.0 sec.
user=kar_bon
[2011-11-08 02:20:12]
555*2^1047073-1 is not prime.  Res64: 4DE5FF11FBDB070F  Time : 1255.0 sec.
user=vaughan
[2011-11-08 02:23:30]
459*2^1047071-1 is not prime.  Res64: ADD5818E331D503B  Time : 1992.0 sec.
user=vaughan
[2011-11-08 02:29:37]
479*2^1047072-1 is not prime.  Res64: 7F3E70987E52F7F6  Time : 1986.0 sec.
user=vaughan
[2011-11-08 02:30:37]
551*2^1047074-1 is not prime.  Res64: DE9974E7A2391898  Time : 1307.0 sec.
user=vaughan
[2011-11-08 02:33:28]
407*2^1047074-1 is not prime.  Res64: 098B9EF1614A2BBB  Time : 1981.0 sec.
user=vaughan
[2011-11-08 02:33:50]
419*2^1047072-1 is not prime.  Res64: 3C3A6DBD049413E7  Time : 2348.0 sec.
user=vaughan
[2011-11-08 02:34:43]
497*2^1047074-1 is not prime.  Res64: 7B9A212CB43D16E5  Time : 2028.0 sec.
user=vaughan
[2011-11-08 02:36:24]
585*2^1047074-1 is not prime.  Res64: 67A5E506C0A6E970  Time : 1372.0 sec.
user=kar_bon
[2011-11-08 02:41:11]
569*2^1047076-1 is not prime.  Res64: 4A888389C82D232F  Time : 1258.0 sec.
user=vaughan
[2011-11-08 02:41:56]
537*2^1047072-1 is not prime.  Res64: 5E632CF0B03C8059  Time : 2621.0 sec.
user=vaughan
[2011-11-08 02:48:56]
469*2^1047075-1 is not prime.  Res64: 4C5CF7FCF95B84F8  Time : 1858.0 sec.
user=vaughan
[2011-11-08 02:48:59]
513*2^1047075-1 is not prime.  Res64: 64AF554D9555B792  Time : 1840.0 sec.
user=vaughan
[2011-11-08 02:50:36]
563*2^1047074-1 is not prime.  Res64: 790BFCABDBB8B756  Time : 2465.0 sec.
user=vaughan
[2011-11-08 02:52:19]
559*2^1047077-1 is not prime.  Res64: B9BAD75CD4A0C12A  Time : 1302.0 sec.
user=vaughan
[2011-11-08 02:56:11]
573*2^1047076-1 is not prime.  Res64: B24146E817FFC677  Time : 1961.0 sec.
user=vaughan
[2011-11-08 02:59:18]
411*2^1047079-1 is not prime.  Res64: 7819CA0B46A5F57C  Time : 1374.0 sec.
user=kar_bon
[2011-11-08 03:02:04]
451*2^1047079-1 is not prime.  Res64: 5D6B6E8B12A8C77D  Time : 1253.0 sec.
user=vaughan
[2011-11-08 03:03:37]
597*2^1047076-1 is not prime.  Res64: BC0FBAF0E77281E6  Time : 2041.0 sec.
user=vaughan
[2011-11-08 03:05:34]
405*2^1047078-1 is not prime.  Res64: D266EAED8B916A26  Time : 1926.0 sec.
user=vaughan
[2011-11-08 03:07:24]
567*2^1047078-1 is not prime.  Res64: 4AA64E843605976A  Time : 1962.0 sec.
user=vaughan
[2011-11-08 03:13:26]
417*2^1047078-1 is not prime.  Res64: 463AECFD98F46BBA  Time : 2378.0 sec.
user=vaughan
[2011-11-08 03:14:00]
405*2^1047081-1 is not prime.  Res64: DE38E1A2B69B2704  Time : 1302.0 sec.
user=vaughan
[2011-11-08 03:19:41]
567*2^1047080-1 is not prime.  Res64: 2457033F3F7ACD65  Time : 1842.0 sec.
user=vaughan
[2011-11-08 03:19:48]
525*2^1047080-1 is not prime.  Res64: 4EE14E2ADCC4E9AC  Time : 1852.0 sec.
user=vaughan
[2011-11-08 03:22:18]
499*2^1047081-1 is not prime.  Res64: C4A88C4EB96F0C8C  Time : 1380.0 sec.
user=kar_bon
[2011-11-08 03:23:00]
549*2^1047081-1 is not prime.  Res64: 9551157AC88728D1  Time : 1255.0 sec.
user=vaughan
[2011-11-08 03:25:32]
467*2^1047080-1 is not prime.  Res64: 2D4C5CC762C8D482  Time : 2616.0 sec.
user=vaughan
[2011-11-08 03:28:16]
471*2^1047081-1 is not prime.  Res64: C5DA471069A18710  Time : 1926.0 sec.
user=vaughan
[2011-11-08 03:33:46]
593*2^1047080-1 is not prime.  Res64: 5AA7109F4972673E  Time : 2591.0 sec.
user=vaughan
[2011-11-08 03:35:42]
411*2^1047083-1 is not prime.  Res64: DEB1218622352FE4  Time : 1303.0 sec.
user=vaughan
[2011-11-08 03:37:39]
591*2^1047081-1 is not prime.  Res64: FBBA1B7B529131C0  Time : 2042.0 sec.
user=vaughan
[2011-11-08 03:38:15]
471*2^1047082-1 is not prime.  Res64: 9DAF19242B7EB94F  Time : 1961.0 sec.
user=vaughan
[2011-11-08 03:40:00]
495*2^1047082-1 is not prime.  Res64: D0C547922B59925A  Time : 1956.0 sec.
user=kar_bon
[2011-11-08 03:43:57]
429*2^1047085-1 is not prime.  Res64: 20492FDF57EE6A88  Time : 1257.0 sec.
user=vaughan
[2011-11-08 03:45:15]
453*2^1047084-1 is not prime.  Res64: E2FACB6F8EA9EF68  Time : 1377.0 sec.
user=vaughan
[2011-11-08 03:50:49]
589*2^1047083-1 is not prime.  Res64: 3A343958FF6E91AB  Time : 1868.0 sec.
user=vaughan
[2011-11-08 03:51:13]
447*2^1047084-1 is not prime.  Res64: FE3A78FAC5F8AB51  Time : 1885.0 sec.
user=vaughan
[2011-11-08 03:57:28]
417*2^1047086-1 is not prime.  Res64: B83A5E144D8E23EE  Time : 1307.0 sec.
user=vaughan
[2011-11-08 03:57:36]
497*2^1047082-1 is not prime.  Res64: BCBB4DA6E797BA8C  Time : 2650.0 sec.
user=vaughan
[2011-11-08 04:00:35]
595*2^1047085-1 is not prime.  Res64: 7CFB75A4EDC32E8F  Time : 1940.0 sec.
user=kar_bon
[2011-11-08 04:04:51]
489*2^1047087-1 is not prime.  Res64: D1EDB4209A9F3012  Time : 1254.0 sec.
user=vaughan
[2011-11-08 04:08:15]
435*2^1047088-1 is not prime.  Res64: FB46033A57BCAE1B  Time : 1380.0 sec.
user=vaughan
[2011-11-08 04:09:10]
577*2^1047085-1 is not prime.  Res64: F38F96DE271A2305  Time : 2618.0 sec.
user=vaughan
[2011-11-08 04:10:13]
409*2^1047087-1 is not prime.  Res64: 8BEB4CF5F1ADDA5B  Time : 1919.0 sec.
user=vaughan
[2011-11-08 04:11:41]
561*2^1047086-1 is not prime.  Res64: C7831D9F68B285AF  Time : 2043.0 sec.
user=vaughan
[2011-11-08 04:12:42]
471*2^1047087-1 is not prime.  Res64: E57CDE29F4403D89  Time : 1962.0 sec.
user=vaughan
[2011-11-08 04:19:08]
511*2^1047089-1 is not prime.  Res64: 3BE4DA2EE769CF2C  Time : 1301.0 sec.
user=vaughan
[2011-11-08 04:22:03]
549*2^1047088-1 is not prime.  Res64: 65A2DBF42248C392  Time : 1874.0 sec.
user=vaughan
[2011-11-08 04:22:44]
435*2^1047089-1 is not prime.  Res64: DC8CB6B2D2C57437  Time : 1891.0 sec.
user=vaughan
[2011-11-08 04:24:42]
597*2^1047085-1 is not prime.  Res64: 2BB595A85EECB7E8  Time : 3057.0 sec.
user=kar_bon
[2011-11-08 04:25:42]
421*2^1047091-1 is not prime.  Res64: EBA97557703D7B2C  Time : 1251.0 sec.
user=vaughan
[2011-11-08 04:31:11]
433*2^1047091-1 is not prime.  Res64: 6C52E8A7FED78466  Time : 1376.0 sec.
user=vaughan
[2011-11-08 04:33:04]
465*2^1047090-1 is not prime.  Res64: 5F09586E369D565E  Time : 1949.0 sec.
user=vaughan
[2011-11-08 04:40:52]
585*2^1047092-1 is not prime.  Res64: 2B06584BDB147D43  Time : 1304.0 sec.
user=vaughan
[2011-11-08 04:42:14]
499*2^1047091-1 is not prime.  Res64: 1C5A9D85827F282F  Time : 1922.0 sec.
user=vaughan
[2011-11-08 04:45:14]
405*2^1047090-1 is not prime.  Res64: 8ACF0F7306087F06  Time : 2858.0 sec.
user=vaughan
[2011-11-08 04:45:36]
459*2^1047092-1 is not prime.  Res64: 86EBDEF636995D14  Time : 1975.0 sec.
user=vaughan
[2011-11-08 04:45:36]
531*2^1047091-1 is not prime.  Res64: 620AEFD1B695AC35  Time : 2036.0 sec.
user=kar_bon
[2011-11-08 04:46:37]
453*2^1047094-1 is not prime.  Res64: B27DF39FFEB982D5  Time : 1255.0 sec.
user=vaughan
[2011-11-08 04:53:10]
489*2^1047091-1 is not prime.  Res64: 74709B4EF303C283  Time : 2640.0 sec.
user=vaughan
[2011-11-08 04:53:30]
587*2^1047092-1 is not prime.  Res64: 958F3FF61998F58B  Time : 1887.0 sec.
user=vaughan
[2011-11-08 04:54:08]
483*2^1047094-1 is not prime.  Res64: 0C32E148F4E48AFF  Time : 1377.0 sec.
user=vaughan
[2011-11-08 04:54:18]
585*2^1047093-1 is not prime.  Res64: A6C371AC82E95187  Time : 1895.0 sec.
user=vaughan
[2011-11-08 05:02:35]
575*2^1047094-1 is not prime.  Res64: D9453AE765E3BF6C  Time : 1304.0 sec.
user=vaughan
[2011-11-08 05:05:13]
545*2^1047094-1 is not prime.  Res64: 39FA3C939BE27C79  Time : 1930.0 sec.
user=kar_bon
[2011-11-08 05:07:28]
471*2^1047097-1 is not prime.  Res64: 6314AF9E354769CD  Time : 1251.0 sec.
user=vaughan
[2011-11-08 05:14:22]
465*2^1047096-1 is not prime.  Res64: CE53083702E390C8  Time : 1929.0 sec.
user=vaughan
[2011-11-08 05:16:59]
405*2^1047098-1 is not prime.  Res64: FABD33C79CF4EFDF  Time : 1372.0 sec.
user=vaughan
[2011-11-08 05:17:39]
435*2^1047094-1 is not prime.  Res64: 3BDC1D0B305753DE  Time : 3177.0 sec.
user=vaughan
[2011-11-08 05:18:23]
405*2^1047097-1 is not prime.  Res64: E324AEED1A2A0342  Time : 1967.0 sec.
user=vaughan
[2011-11-08 05:19:44]
429*2^1047097-1 is not prime.  Res64: 52B025676BC5ABFB  Time : 2048.0 sec.
user=vaughan
[2011-11-08 05:24:23]
495*2^1047098-1 is not prime.  Res64: 205F8A5FEAD25C51  Time : 1309.0 sec.
user=vaughan
[2011-11-08 05:24:46]
595*2^1047097-1 is not prime.  Res64: 07DA8ABD852F5466  Time : 1876.0 sec.
user=vaughan
[2011-11-08 05:25:51]
425*2^1047098-1 is not prime.  Res64: FD13C2E632C403DB  Time : 1893.0 sec.
user=kar_bon
[2011-11-08 05:28:23]
403*2^1047099-1 is not prime.  Res64: EA83EDC197226273  Time : 1255.0 sec.
user=vaughan
[2011-11-08 05:32:39]
567*2^1047096-1 is not prime.  Res64: C94CD00A60448891  Time : 2846.0 sec.
user=vaughan
[2011-11-08 05:36:47]
555*2^1047097-1 is not prime.  Res64: 00AF7CBBB56EAB5C  Time : 2617.0 sec.
user=vaughan
[2011-11-08 05:37:24]
501*2^1047098-1 is not prime.  Res64: 7D7E6659DA3B3947  Time : 1931.0 sec.
user=vaughan
[2011-11-08 05:39:34]
493*2^1047099-1 is not prime.  Res64: 8DD227C63DDFBF21  Time : 1355.0 sec.
user=vaughan
[2011-11-08 05:46:19]
537*2^1047100-1 is not prime.  Res64: 425A51B4421EF772  Time : 1317.0 sec.
user=vaughan
[2011-11-08 05:46:30]
445*2^1047099-1 is not prime.  Res64: 05F5DEC20187584E  Time : 1928.0 sec.
user=kar_bon
[2011-11-08 05:49:23]
525*2^1047101-1 is not prime.  Res64: 7607FFF564389E4A  Time : 1259.0 sec.
user=vaughan
[2011-11-08 05:50:58]
523*2^1047099-1 is not prime.  Res64: 560BFB5A72A8961E  Time : 1955.0 sec.
user=vaughan
[2011-11-08 05:54:03]
573*2^1047099-1 is not prime.  Res64: 430DC1D6F15B0FEB  Time : 2059.0 sec.
user=vaughan
[2011-11-08 05:56:02]
417*2^1047101-1 is not prime.  Res64: F76AFD57B176B1A9  Time : 1876.0 sec.
user=vaughan
[2011-11-08 05:57:21]
439*2^1047101-1 is not prime.  Res64: C397A58364D010EA  Time : 1890.0 sec.
user=vaughan
[2011-11-08 06:01:53]
463*2^1047103-1 is not prime.  Res64: 62995CA3923ED4C8  Time : 1339.0 sec.
user=vaughan
[2011-11-08 06:08:35]
523*2^1047103-1 is not prime.  Res64: 3661708E3CC84323  Time : 1336.0 sec.
user=vaughan
[2011-11-08 06:09:24]
537*2^1047102-1 is not prime.  Res64: B3F85097014A07A7  Time : 1920.0 sec.
user=kar_bon
[2011-11-08 06:10:21]
483*2^1047104-1 is not prime.  Res64: D044FD0339E49881  Time : 1257.0 sec.
user=vaughan
[2011-11-08 06:10:40]
511*2^1047099-1 is not prime.  Res64: 920CAEB016BCE765  Time : 3181.0 sec.
user=vaughan
[2011-11-08 06:18:22]
583*2^1047103-1 is not prime.  Res64: C404E4698D1522E1  Time : 1912.0 sec.
user=vaughan
[2011-11-08 06:20:26]
513*2^1047102-1 is not prime.  Res64: 05AE8E33258F4BAB  Time : 2619.0 sec.
user=vaughan
[2011-11-08 06:20:36]
485*2^1047102-1 is not prime.  Res64: 03980193789275ED  Time : 2877.0 sec.
user=vaughan
[2011-11-08 06:23:27]
495*2^1047104-1 is not prime.  Res64: B130EE8A242CEA57  Time : 1949.0 sec.
user=vaughan
[2011-11-08 06:24:21]
511*2^1047107-1 is not prime.  Res64: 8BBFB07F8F6D18FA  Time : 1348.0 sec.
user=vaughan
[2011-11-08 06:27:12]
597*2^1047105-1 is not prime.  Res64: 6983D9CCF508315D  Time : 1871.0 sec.
user=vaughan
[2011-11-08 06:27:42]
555*2^1047105-1 is not prime.  Res64: 923B79B910999583  Time : 2019.0 sec.
user=vaughan
[2011-11-08 06:28:55]
567*2^1047106-1 is not prime.  Res64: DBF3DF75C0E0FE49  Time : 1895.0 sec.
user=vaughan
[2011-11-08 06:30:46]
411*2^1047109-1 is not prime.  Res64: 7598943D82029481  Time : 1331.0 sec.
user=kar_bon
[2011-11-08 06:31:20]
525*2^1047109-1 is not prime.  Res64: CD69AB801A32A4E7  Time : 1259.0 sec.
user=vaughan
[2011-11-08 06:41:09]
415*2^1047109-1 is not prime.  Res64: EADED90CC9790651  Time : 1906.0 sec.
user=vaughan
[2011-11-08 06:46:48]
503*2^1047110-1 is not prime.  Res64: 24DBAB1E912915A6  Time : 1347.0 sec.
user=vaughan
[2011-11-08 06:50:23]
423*2^1047110-1 is not prime.  Res64: 412901B7E799CF3C  Time : 1921.0 sec.
user=kar_bon
[2011-11-08 06:52:20]
429*2^1047111-1 is not prime.  Res64: 7545C0B585CF55BD  Time : 1260.0 sec.
user=vaughan
[2011-11-08 06:53:20]
405*2^1047111-1 is not prime.  Res64: 4FE8DCD3C4C0C2AC  Time : 1354.0 sec.
user=vaughan
[2011-11-08 06:56:37]
473*2^1047110-1 is not prime.  Res64: D07A475A54CD2AE0  Time : 1990.0 sec.
user=vaughan
[2011-11-08 06:58:29]
563*2^1047110-1 is not prime.  Res64: E3DF8693082C35BF  Time : 1878.0 sec.
user=vaughan
[2011-11-08 07:00:13]
575*2^1047110-1 is not prime.  Res64: C9A2E45D258D65BD  Time : 1952.0 sec.
user=vaughan
[2011-11-08 07:00:30]
593*2^1047110-1 is not prime.  Res64: 97EED5FA1D6C798D  Time : 1895.0 sec.
user=vaughan
[2011-11-08 07:01:24]
595*2^1047109-1 is not prime.  Res64: F34991382C35377B  Time : 3044.0 sec.
user=vaughan
[2011-11-08 07:04:02]
461*2^1047110-1 is not prime.  Res64: 9F6A075912052E92  Time : 2616.0 sec.
user=vaughan
[2011-11-08 07:06:15]
467*2^1047110-1 is not prime.  Res64: 56AEDE3DFA2484FF  Time : 2739.0 sec.
user=vaughan
[2011-11-08 07:09:13]
565*2^1047111-1 is not prime.  Res64: E8B79D6F24BABE89  Time : 1346.0 sec.
user=kar_bon
[2011-11-08 07:13:20]
447*2^1047112-1 is not prime.  Res64: 26EE9AC73E62484E  Time : 1260.0 sec.
user=vaughan
[2011-11-08 07:13:21]
459*2^1047111-1 is not prime.  Res64: FDABE86A69361190  Time : 1933.0 sec.
user=kar_bon
[2011-11-08 07:34:20]
587*2^1047114-1 is not prime.  Res64: 24692A58E980F6CC  Time : 1260.0 sec.
user=vaughan
[2011-11-08 07:47:38]
525*2^1047114-1 is not prime.  Res64: 5076D53932B61864  Time : 2617.0 sec.
user=kar_bon
[2011-11-08 07:55:15]
417*2^1047116-1 is not prime.  Res64: D1E3118A69B0C9F8  Time : 1255.0 sec.
user=kar_bon
[2011-11-08 08:16:09]
477*2^1047116-1 is not prime.  Res64: 97736C3F2012F19A  Time : 1254.0 sec.
user=vaughan
[2011-11-08 08:31:10]
425*2^1047116-1 is not prime.  Res64: 8AFA26D94517872C  Time : 2613.0 sec.
user=kar_bon
[2011-11-08 08:37:07]
593*2^1047116-1 is not prime.  Res64: 662AA4C7548D152A  Time : 1258.0 sec.
user=kar_bon
[2011-11-08 08:58:04]
471*2^1047117-1 is not prime.  Res64: 80FD733A4F745CAB  Time : 1257.0 sec.
user=vaughan
[2011-11-08 09:14:43]
465*2^1047117-1 is not prime.  Res64: 6B0668BDEC7A31F0  Time : 2613.0 sec.
user=kar_bon
[2011-11-08 09:19:02]
531*2^1047117-1 is not prime.  Res64: 216CE82F6996599E  Time : 1257.0 sec.
user=kar_bon
[2011-11-08 09:40:02]
581*2^1047118-1 is not prime.  Res64: D157816C36FF4194  Time : 1260.0 sec.
user=vaughan
[2011-11-08 09:58:16]
401*2^1047118-1 is not prime.  Res64: 153202B768881B0F  Time : 2613.0 sec.
user=kar_bon
[2011-11-08 10:00:58]
597*2^1047118-1 is not prime.  Res64: 9DC6EE33629EA5DB  Time : 1256.0 sec.
user=kar_bon
[2011-11-08 10:21:55]
563*2^1047120-1 is not prime.  Res64: E4395F48202FE55E  Time : 1256.0 sec.
user=vaughan
[2011-11-08 10:41:48]
435*2^1047119-1 is not prime.  Res64: F95BBD6BFF409FC3  Time : 2612.0 sec.
user=kar_bon
[2011-11-08 10:42:54]
597*2^1047120-1 is not prime.  Res64: ABB9CBD1F3F9D2BF  Time : 1259.0 sec.
user=kar_bon
[2011-11-08 11:03:48]
495*2^1047121-1 is not prime.  Res64: F94F99210FA47BA0  Time : 1254.0 sec.
user=kar_bon
[2011-11-08 11:24:51]
507*2^1047121-1 is not prime.  Res64: 8C4AE3E5D3C85FB2  Time : 1263.0 sec.
user=vaughan
[2011-11-08 11:25:20]
415*2^1047121-1 is not prime.  Res64: 41132652E76272F9  Time : 2612.0 sec.
user=kar_bon
[2011-11-08 11:45:45]
537*2^1047121-1 is not prime.  Res64: 9874F89B5DA6592D  Time : 1254.0 sec.
user=vaughan
[2011-11-08 12:08:52]
477*2^1047122-1 is not prime.  Res64: CE962914D0198B4A  Time : 2612.0 sec.
user=vaughan
[2011-11-08 12:52:25]
433*2^1047123-1 is not prime.  Res64: 96AC9FE1675B6FB8  Time : 2613.0 sec.
user=vaughan
[2011-11-08 13:35:58]
445*2^1047123-1 is not prime.  Res64: 6BA9F4DCAE0A6E2F  Time : 2613.0 sec.
user=vaughan
[2011-11-08 14:19:31]
523*2^1047123-1 is not prime.  Res64: CB62917951DD5855  Time : 2614.0 sec.
user=vaughan
[2011-11-08 15:03:08]
541*2^1047123-1 is not prime.  Res64: 2FE88F11AE250ABF  Time : 2617.0 sec.
user=vaughan
[2011-11-08 15:46:41]
573*2^1047123-1 is not prime.  Res64: 451E3BC2CBDF724B  Time : 2613.0 sec.
user=vaughan
[2011-11-08 16:30:14]
453*2^1047124-1 is not prime.  Res64: BCB194EF3C6591D7  Time : 2613.0 sec.
user=vaughan
[2011-11-08 17:13:51]
533*2^1047124-1 is not prime.  Res64: 2FA5426DAC2309B4  Time : 2617.0 sec.
user=vaughan
[2011-11-08 17:57:27]
549*2^1047124-1 is not prime.  Res64: F3DFEDD99CD110DF  Time : 2617.0 sec.
user=vaughan
[2011-11-08 18:31:26]
411*2^1047113-1 is not prime.  Res64: 6E324BE8CA27EF1E  Time : 41581.0 sec.
user=vaughan
[2011-11-08 18:33:26]
489*2^1047113-1 is not prime.  Res64: 6ADF0317300EFCCA  Time : 41576.0 sec.
user=vaughan
[2011-11-08 18:41:03]
447*2^1047125-1 is not prime.  Res64: 5A6A19D6BB5C6B7C  Time : 2616.0 sec.
user=vaughan
[2011-11-08 18:55:35]
527*2^1047114-1 is not prime.  Res64: 96186E0F30A30A3F  Time : 42560.0 sec.
user=vaughan
[2011-11-08 18:56:31]
413*2^1047114-1 is not prime.  Res64: 68CC2FB2DEA3BBC5  Time : 42908.0 sec.
user=vaughan
[2011-11-08 19:07:14]
459*2^1047125-1 is not prime.  Res64: 1AF519A1A8D4B6D1  Time : 2148.0 sec.
user=vaughan
[2011-11-08 19:08:45]
511*2^1047125-1 is not prime.  Res64: 387FDC6B8B208BA4  Time : 2119.0 sec.
user=vaughan
[2011-11-08 19:24:40]
405*2^1047126-1 is not prime.  Res64: 883C873206BE6174  Time : 2617.0 sec.
user=vaughan
[2011-11-08 19:38:14]
443*2^1047126-1 is not prime.  Res64: BFC455B963A3A74E  Time : 2559.0 sec.
user=vaughan
[2011-11-08 19:39:31]
581*2^1047126-1 is not prime.  Res64: F1FA6C0C9B836E63  Time : 1937.0 sec.
user=vaughan
[2011-11-08 19:40:47]
421*2^1047127-1 is not prime.  Res64: 1D7F56BBC0E834E4  Time : 1922.0 sec.
user=vaughan
[2011-11-08 19:41:50]
447*2^1047126-1 is not prime.  Res64: 28518522594D5B19  Time : 2719.0 sec.
user=vaughan
[2011-11-08 20:08:16]
465*2^1047127-1 is not prime.  Res64: F3CAC774A08A8054  Time : 2617.0 sec.
user=vaughan
[2011-11-08 20:11:15]
511*2^1047127-1 is not prime.  Res64: 34A7D3C0E4F9B36E  Time : 1905.0 sec.
user=vaughan
[2011-11-08 20:12:19]
531*2^1047127-1 is not prime.  Res64: 46636496E8959065  Time : 1892.0 sec.
user=vaughan
[2011-11-08 20:16:19]
483*2^1047127-1 is not prime.  Res64: CC2A968E0B3B2BF1  Time : 2286.0 sec.
user=vaughan
[2011-11-08 20:21:16]
405*2^1047128-1 is not prime.  Res64: 4C5E1E448C491714  Time : 2367.0 sec.
user=vaughan
[2011-11-08 20:42:54]
449*2^1047128-1 is not prime.  Res64: DAD6FC8452E644FA  Time : 1900.0 sec.
user=vaughan
[2011-11-08 20:43:38]
503*2^1047128-1 is not prime.  Res64: CF9EABB5915EBC93  Time : 1879.0 sec.
user=vaughan
[2011-11-08 20:51:53]
437*2^1047128-1 is not prime.  Res64: 62D3E8D747C8DADC  Time : 2617.0 sec.
user=vaughan
[2011-11-08 20:53:37]
507*2^1047128-1 is not prime.  Res64: 2C820454AA7F7936  Time : 2238.0 sec.
user=vaughan
[2011-11-08 20:59:32]
427*2^1047129-1 is not prime.  Res64: D74340C319D5CF2E  Time : 2296.0 sec.
user=vaughan
[2011-11-08 21:14:24]
439*2^1047129-1 is not prime.  Res64: 4779780F31990D94  Time : 1890.0 sec.
user=vaughan
[2011-11-08 21:14:45]
481*2^1047129-1 is not prime.  Res64: 14CC37114194DD9E  Time : 1868.0 sec.
user=vaughan
[2011-11-08 21:30:35]
471*2^1047130-1 is not prime.  Res64: 06C84A26DAFB51A1  Time : 2218.0 sec.
user=vaughan
[2011-11-08 21:35:31]
555*2^1047129-1 is not prime.  Res64: F5783B66E897BEA4  Time : 2619.0 sec.
user=vaughan
[2011-11-08 21:38:03]
567*2^1047130-1 is not prime.  Res64: 78E52685EB696B9B  Time : 2311.0 sec.
user=vaughan
[2011-11-08 21:46:04]
433*2^1047131-1 is not prime.  Res64: 500759DFCB21DB7D  Time : 1900.0 sec.
user=vaughan
[2011-11-08 21:46:18]
459*2^1047131-1 is not prime.  Res64: FF77F1F8A0694AB6  Time : 1893.0 sec.
user=vaughan
[2011-11-08 22:11:29]
453*2^1047132-1 is not prime.  Res64: 89D83005DBF9BADA  Time : 2454.0 sec.
user=vaughan
[2011-11-08 22:18:18]
541*2^1047133-1 is not prime.  Res64: 97161C6CE30820E2  Time : 1920.0 sec.
user=vaughan
[2011-11-08 22:18:27]
525*2^1047133-1 is not prime.  Res64: BBF7ED8242DB751E  Time : 1944.0 sec.
user=vaughan
[2011-11-08 22:19:08]
489*2^1047132-1 is not prime.  Res64: FC159C58D9B87BFC  Time : 2618.0 sec.
user=vaughan
[2011-11-08 22:21:47]
555*2^1047132-1 is not prime.  Res64: 485BA5474C3ADCDF  Time : 2624.0 sec.
user=vaughan
[2011-11-08 22:50:28]
483*2^1047134-1 is not prime.  Res64: 1BC3805699675D4E  Time : 1930.0 sec.
user=vaughan
[2011-11-08 22:50:34]
585*2^1047134-1 is not prime.  Res64: D41F72BF839B5907  Time : 1927.0 sec.
user=vaughan
[2011-11-08 22:54:28]
453*2^1047134-1 is not prime.  Res64: EE59E5F4AB6BD561  Time : 2580.0 sec.
user=vaughan
[2011-11-08 23:02:45]
593*2^1047134-1 is not prime.  Res64: EB1E0AC20BDFA04C  Time : 2618.0 sec.
user=vaughan
[2011-11-08 23:09:07]
451*2^1047135-1 is not prime.  Res64: E1D676CD6094467B  Time : 2840.0 sec.
user=vaughan
[2011-11-08 23:22:31]
475*2^1047135-1 is not prime.  Res64: C449AF08950286D6  Time : 1923.0 sec.
user=vaughan
[2011-11-08 23:22:46]
543*2^1047135-1 is not prime.  Res64: 4BDFED12E5170938  Time : 1933.0 sec.
user=vaughan
[2011-11-08 23:38:08]
583*2^1047135-1 is not prime.  Res64: 2ACD4E3FEE1C0860  Time : 2620.0 sec.
user=vaughan
[2011-11-08 23:46:22]
591*2^1047135-1 is not prime.  Res64: 6C37E13F49429F86  Time : 2617.0 sec.
user=vaughan
[2011-11-08 23:54:41]
435*2^1047136-1 is not prime.  Res64: 3C91A9406AC5BB87  Time : 1930.0 sec.
user=vaughan
[2011-11-08 23:54:58]
447*2^1047136-1 is not prime.  Res64: 4E9BCDAE8DA9DFB7  Time : 1933.0 sec.
user=vaughan
[2011-11-08 23:56:50]
429*2^1047136-1 is not prime.  Res64: CB87620D06512DDD  Time : 2863.0 sec.