user=vaughan
[2011-11-10 00:03:10]
457*2^1047237-1 is not prime.  Res64: C6AEC63CA24DBD43  Time : 1995.0 sec.
user=vaughan
[2011-11-10 00:03:23]
587*2^1047236-1 is not prime.  Res64: 5E84CE538E51DDC7  Time : 2617.0 sec.
user=vaughan
[2011-11-10 00:11:40]
475*2^1047237-1 is not prime.  Res64: CD6DF804FE33103F  Time : 1998.0 sec.
user=vaughan
[2011-11-10 00:14:38]
511*2^1047237-1 is not prime.  Res64: A7AFDE9D260E88CC  Time : 1971.0 sec.
user=vaughan
[2011-11-10 00:15:41]
529*2^1047237-1 is not prime.  Res64: EFF4726707D24F0C  Time : 1967.0 sec.
user=vaughan
[2011-11-10 00:18:18]
401*2^1047238-1 is not prime.  Res64: 28ECA52CAC60E073  Time : 1962.0 sec.
user=vaughan
[2011-11-10 00:30:00]
505*2^1047239-1 is not prime.  Res64: D7A5FF4467B306B8  Time : 1876.0 sec.
user=kar_bon
[2011-11-10 00:31:58]
585*2^1047192-1 is not prime.  Res64: 27F8EAE7FA933625  Time : 46573.0 sec.
user=vaughan
[2011-11-10 00:35:43]
453*2^1047238-1 is not prime.  Res64: B0D7752A43C09E1D  Time : 2766.0 sec.
user=vaughan
[2011-11-10 00:35:56]
455*2^1047240-1 is not prime.  Res64: 85255B71822BF783  Time : 1966.0 sec.
user=vaughan
[2011-11-10 00:37:22]
527*2^1047238-1 is not prime.  Res64: 29DAB71CC039E648  Time : 2793.0 sec.
user=vaughan
[2011-11-10 00:44:17]
537*2^1047240-1 is not prime.  Res64: E3F6F8E0D573A86B  Time : 1958.0 sec.
user=vaughan
[2011-11-10 00:46:24]
557*2^1047240-1 is not prime.  Res64: 2A3CAC2076A8FF4C  Time : 1906.0 sec.
user=vaughan
[2011-11-10 00:47:01]
467*2^1047240-1 is not prime.  Res64: 2F227D7434A78989  Time : 2618.0 sec.
user=vaughan
[2011-11-10 00:48:19]
569*2^1047240-1 is not prime.  Res64: 0DBFA3A1B87D002B  Time : 1958.0 sec.
user=vaughan
[2011-11-10 00:50:02]
587*2^1047240-1 is not prime.  Res64: 4DFBC321A710B869  Time : 1904.0 sec.
user=kar_bon
[2011-11-10 00:52:50]
517*2^1047241-1 is not prime.  Res64: E19D3C33D83B9936  Time : 1252.0 sec.
user=vaughan
[2011-11-10 01:00:35]
597*2^1047240-1 is not prime.  Res64: F2FA2FCC0DF57614  Time : 1835.0 sec.
user=vaughan
[2011-11-10 01:07:02]
577*2^1047241-1 is not prime.  Res64: 9BDD852EEC4ECA10  Time : 1866.0 sec.
user=kar_bon
[2011-11-10 01:13:54]
453*2^1047244-1 is not prime.  Res64: ABCFDA7B1867E272  Time : 1263.0 sec.
user=vaughan
[2011-11-10 01:16:27]
489*2^1047243-1 is not prime.  Res64: 5E0B8427801E5A68  Time : 1931.0 sec.
user=vaughan
[2011-11-10 01:17:36]
493*2^1047243-1 is not prime.  Res64: 89C50309F3A2F3F9  Time : 1872.0 sec.
user=vaughan
[2011-11-10 01:21:06]
573*2^1047243-1 is not prime.  Res64: 8CCC9620F2571BEE  Time : 1967.0 sec.
user=vaughan
[2011-11-10 01:21:25]
435*2^1047244-1 is not prime.  Res64: DEAC8124C685510F  Time : 1883.0 sec.
user=vaughan
[2011-11-10 01:22:12]
433*2^1047243-1 is not prime.  Res64: 07925AEFC9B071DA  Time : 2690.0 sec.
user=vaughan
[2011-11-10 01:22:41]
555*2^1047241-1 is not prime.  Res64: 7C8FE8300EF15589  Time : 2818.0 sec.
user=vaughan
[2011-11-10 01:30:37]
523*2^1047243-1 is not prime.  Res64: 5A0367D972B73D02  Time : 2617.0 sec.
user=vaughan
[2011-11-10 01:31:11]
545*2^1047244-1 is not prime.  Res64: 921F02E630C6C28A  Time : 1836.0 sec.
user=kar_bon
[2011-11-10 01:35:07]
519*2^1047245-1 is not prime.  Res64: 7BE80EA638E9F59C  Time : 1273.0 sec.
user=vaughan
[2011-11-10 01:38:10]
567*2^1047244-1 is not prime.  Res64: 47009599171F3410  Time : 1868.0 sec.
user=vaughan
[2011-11-10 01:48:43]
591*2^1047245-1 is not prime.  Res64: F717781B3C8977C2  Time : 1936.0 sec.
user=vaughan
[2011-11-10 01:48:49]
411*2^1047246-1 is not prime.  Res64: C9A7F2D0346614DF  Time : 1873.0 sec.
user=vaughan
[2011-11-10 01:52:50]
495*2^1047246-1 is not prime.  Res64: 4C23B25A8CF1680E  Time : 1886.0 sec.
user=vaughan
[2011-11-10 01:53:57]
447*2^1047246-1 is not prime.  Res64: 9F623DA372604C3E  Time : 1971.0 sec.
user=kar_bon
[2011-11-10 01:56:00]
429*2^1047247-1 is not prime.  Res64: A7C4FA77042085B8  Time : 1253.0 sec.
user=vaughan
[2011-11-10 02:01:58]
585*2^1047246-1 is not prime.  Res64: 172C9D804BF8D1A4  Time : 1848.0 sec.
user=vaughan
[2011-11-10 02:06:04]
507*2^1047246-1 is not prime.  Res64: 1098C55AA6E7CE80  Time : 2632.0 sec.
user=vaughan
[2011-11-10 02:09:49]
451*2^1047247-1 is not prime.  Res64: CBEC909F2FCAF2D8  Time : 1899.0 sec.
user=vaughan
[2011-11-10 02:10:18]
513*2^1047246-1 is not prime.  Res64: C39A64EF46F2AC7E  Time : 2857.0 sec.
user=vaughan
[2011-11-10 02:14:14]
567*2^1047246-1 is not prime.  Res64: 2D3E3164B631C64A  Time : 2617.0 sec.
user=kar_bon
[2011-11-10 02:16:56]
509*2^1047248-1 is not prime.  Res64: 8DB904DFED68059C  Time : 1256.0 sec.
user=vaughan
[2011-11-10 02:20:47]
519*2^1047247-1 is not prime.  Res64: 173BAC468E028A14  Time : 1919.0 sec.
user=vaughan
[2011-11-10 02:20:54]
453*2^1047247-1 is not prime.  Res64: 4A3A6B7864C86264  Time : 1931.0 sec.
user=vaughan
[2011-11-10 02:25:30]
559*2^1047247-1 is not prime.  Res64: 8F8B7D226FE2B997  Time : 1960.0 sec.
user=vaughan
[2011-11-10 02:26:51]
437*2^1047248-1 is not prime.  Res64: 74731181F3EBC909  Time : 1974.0 sec.
user=vaughan
[2011-11-10 02:33:53]
563*2^1047248-1 is not prime.  Res64: 56831CE6F5C9F9DB  Time : 1916.0 sec.
user=kar_bon
[2011-11-10 02:37:49]
421*2^1047251-1 is not prime.  Res64: 3AC75BEA9A05EB0F  Time : 1252.0 sec.
user=vaughan
[2011-11-10 02:41:57]
559*2^1047249-1 is not prime.  Res64: 1AC46FE443AE6721  Time : 1928.0 sec.
user=vaughan
[2011-11-10 02:52:55]
433*2^1047251-1 is not prime.  Res64: 94700DFDC4196069  Time : 1928.0 sec.
user=vaughan
[2011-11-10 02:53:29]
413*2^1047252-1 is not prime.  Res64: 148AB5193D2F37BF  Time : 1955.0 sec.
user=vaughan
[2011-11-10 02:56:29]
525*2^1047249-1 is not prime.  Res64: 120422D6087473A8  Time : 3025.0 sec.
user=vaughan
[2011-11-10 02:57:51]
495*2^1047250-1 is not prime.  Res64: 7FF81803BA6A52BE  Time : 2617.0 sec.
user=vaughan
[2011-11-10 02:58:28]
419*2^1047252-1 is not prime.  Res64: 1966F0AEDC42FA0E  Time : 1978.0 sec.
user=kar_bon
[2011-11-10 02:58:40]
489*2^1047253-1 is not prime.  Res64: BB9E8DB12E9A872E  Time : 1250.0 sec.
user=vaughan
[2011-11-10 03:00:38]
569*2^1047252-1 is not prime.  Res64: 614B7A35AE5EB650  Time : 2027.0 sec.
user=vaughan
[2011-11-10 03:05:52]
429*2^1047253-1 is not prime.  Res64: 367D53FF0D8DEC91  Time : 1920.0 sec.
user=vaughan
[2011-11-10 03:05:59]
571*2^1047249-1 is not prime.  Res64: F78667D04E14C547  Time : 3342.0 sec.
user=vaughan
[2011-11-10 03:14:03]
525*2^1047253-1 is not prime.  Res64: 50629A6B2032AA4C  Time : 1926.0 sec.
user=kar_bon
[2011-11-10 03:19:39]
521*2^1047254-1 is not prime.  Res64: 90201259A1EAE9E8  Time : 1259.0 sec.
user=vaughan
[2011-11-10 03:25:02]
561*2^1047253-1 is not prime.  Res64: 88ED6E3DEF163AA6  Time : 1927.0 sec.
user=vaughan
[2011-11-10 03:26:14]
591*2^1047253-1 is not prime.  Res64: F2DE93D725039E1E  Time : 1965.0 sec.
user=vaughan
[2011-11-10 03:31:34]
501*2^1047254-1 is not prime.  Res64: A463EB8E2576ECF9  Time : 1986.0 sec.
user=vaughan
[2011-11-10 03:34:26]
533*2^1047254-1 is not prime.  Res64: 3662B1FD48D083E0  Time : 2028.0 sec.
user=vaughan
[2011-11-10 03:37:50]
573*2^1047254-1 is not prime.  Res64: 3E67C895CAF816BC  Time : 1918.0 sec.
user=kar_bon
[2011-11-10 03:40:24]
511*2^1047255-1 is not prime.  Res64: DA37A4F5A28B7B10  Time : 1245.0 sec.
user=vaughan
[2011-11-10 03:41:31]
461*2^1047254-1 is not prime.  Res64: 3B7012FE370CC980  Time : 2620.0 sec.
user=vaughan
[2011-11-10 03:46:05]
501*2^1047255-1 is not prime.  Res64: 0CD2AB351408A278  Time : 1922.0 sec.
user=vaughan
[2011-11-10 03:53:08]
437*2^1047254-1 is not prime.  Res64: 8CE6F2AE0BE6A0B2  Time : 3399.0 sec.
user=vaughan
[2011-11-10 03:57:09]
543*2^1047255-1 is not prime.  Res64: E329DAC3A31F62BF  Time : 1927.0 sec.
user=vaughan
[2011-11-10 03:59:07]
405*2^1047256-1 is not prime.  Res64: D1B6194C2A74BB29  Time : 1973.0 sec.
user=kar_bon
[2011-11-10 04:01:20]
519*2^1047256-1 is not prime.  Res64: 77793A18F6AF3F16  Time : 1256.0 sec.
user=vaughan
[2011-11-10 04:04:38]
483*2^1047256-1 is not prime.  Res64: 82D748298CEA3C49  Time : 1984.0 sec.
user=vaughan
[2011-11-10 04:06:02]
433*2^1047255-1 is not prime.  Res64: 15AE9B959BA5B344  Time : 3603.0 sec.
user=vaughan
[2011-11-10 04:08:21]
485*2^1047256-1 is not prime.  Res64: 96DFBBB22202B04E  Time : 2035.0 sec.
user=vaughan
[2011-11-10 04:09:50]
507*2^1047256-1 is not prime.  Res64: ED2EEBEDF1823E59  Time : 1920.0 sec.
user=vaughan
[2011-11-10 04:18:11]
559*2^1047257-1 is not prime.  Res64: 9327EDE8B5670C98  Time : 1926.0 sec.
user=kar_bon
[2011-11-10 04:22:16]
525*2^1047258-1 is not prime.  Res64: AD44BC3A3E119418  Time : 1256.0 sec.
user=vaughan
[2011-11-10 04:25:08]
527*2^1047256-1 is not prime.  Res64: 238CFBC596C1BF09  Time : 2618.0 sec.
user=vaughan
[2011-11-10 04:29:15]
465*2^1047258-1 is not prime.  Res64: BE5CF4187E25F178  Time : 1926.0 sec.
user=vaughan
[2011-11-10 04:31:58]
503*2^1047258-1 is not prime.  Res64: 76EF483A6CCD7C92  Time : 1972.0 sec.
user=vaughan
[2011-11-10 04:37:47]
411*2^1047259-1 is not prime.  Res64: A0A8DCB32741A8BD  Time : 1989.0 sec.
user=vaughan
[2011-11-10 04:41:52]
489*2^1047259-1 is not prime.  Res64: 8EF1C9DAB7E0A2E4  Time : 1922.0 sec.
user=vaughan
[2011-11-10 04:41:58]
441*2^1047259-1 is not prime.  Res64: CF8146EE8B88B0DF  Time : 2017.0 sec.
user=kar_bon
[2011-11-10 04:43:13]
525*2^1047260-1 is not prime.  Res64: C6334CF83213AC38  Time : 1257.0 sec.
user=vaughan
[2011-11-10 04:50:06]
577*2^1047257-1 is not prime.  Res64: 92D7502CC506514D  Time : 3418.0 sec.
user=vaughan
[2011-11-10 04:50:07]
477*2^1047260-1 is not prime.  Res64: 58A790DA148CF04F  Time : 1917.0 sec.
user=vaughan
[2011-11-10 05:01:23]
539*2^1047260-1 is not prime.  Res64: 0B8CB5847632BDA9  Time : 1928.0 sec.
user=kar_bon
[2011-11-10 05:04:11]
549*2^1047261-1 is not prime.  Res64: AA8337F2D3F41F2B  Time : 1257.0 sec.
user=vaughan
[2011-11-10 05:04:13]
579*2^1047260-1 is not prime.  Res64: 180BAD0E8F7CAFC6  Time : 1936.0 sec.
user=vaughan
[2011-11-10 05:05:52]
421*2^1047259-1 is not prime.  Res64: 2A3D28925AA23D80  Time : 3591.0 sec.
user=vaughan
[2011-11-10 05:08:47]
533*2^1047260-1 is not prime.  Res64: 8532A54B74B7640A  Time : 2620.0 sec.
user=vaughan
[2011-11-10 05:11:01]
417*2^1047261-1 is not prime.  Res64: A83D968C590528E3  Time : 1994.0 sec.
user=vaughan
[2011-11-10 05:13:51]
439*2^1047261-1 is not prime.  Res64: CF1164D9498B857F  Time : 1919.0 sec.
user=vaughan
[2011-11-10 05:15:40]
531*2^1047261-1 is not prime.  Res64: F0DB21BCFBBF72E5  Time : 2022.0 sec.
user=vaughan
[2011-11-10 05:22:12]
511*2^1047263-1 is not prime.  Res64: 0D217C0066013C92  Time : 1925.0 sec.
user=kar_bon
[2011-11-10 05:25:09]
567*2^1047264-1 is not prime.  Res64: D15D059DE82779D9  Time : 1258.0 sec.
user=vaughan
[2011-11-10 05:33:26]
585*2^1047263-1 is not prime.  Res64: 5FF1D00175577759  Time : 1924.0 sec.
user=vaughan
[2011-11-10 05:36:30]
495*2^1047265-1 is not prime.  Res64: 0618D91BF2F3C625  Time : 1937.0 sec.
user=vaughan
[2011-11-10 05:44:13]
567*2^1047266-1 is not prime.  Res64: DF21A8A6A7C762D1  Time : 1993.0 sec.
user=vaughan
[2011-11-10 05:45:50]
585*2^1047266-1 is not prime.  Res64: CE847A8A2CFFE254  Time : 1919.0 sec.
user=kar_bon
[2011-11-10 05:45:58]
471*2^1047267-1 is not prime.  Res64: 1CF8DEBA876C3195  Time : 1249.0 sec.
user=vaughan
[2011-11-10 05:46:38]
401*2^1047262-1 is not prime.  Res64: 19A07DB42C375107  Time : 3392.0 sec.
user=vaughan
[2011-11-10 05:49:32]
405*2^1047267-1 is not prime.  Res64: 47293C5A325BD3A5  Time : 2032.0 sec.
user=vaughan
[2011-11-10 05:52:23]
561*2^1047266-1 is not prime.  Res64: 93CEC28D2FA47F7B  Time : 2617.0 sec.
user=vaughan
[2011-11-10 05:55:05]
453*2^1047267-1 is not prime.  Res64: EDE2AC85F009A453  Time : 1974.0 sec.
user=vaughan
[2011-11-10 06:06:25]
499*2^1047265-1 is not prime.  Res64: BB71239E45A8F365  Time : 3634.0 sec.
user=kar_bon
[2011-11-10 06:06:47]
401*2^1047270-1 is not prime.  Res64: D21A8D1AA465360C  Time : 1248.0 sec.
user=vaughan
[2011-11-10 06:08:35]
523*2^1047267-1 is not prime.  Res64: AE6662D40DD16C39  Time : 1925.0 sec.
user=vaughan
[2011-11-10 06:08:53]
483*2^1047267-1 is not prime.  Res64: 4B1B90B1B1A69E3E  Time : 2128.0 sec.
user=vaughan
[2011-11-10 06:18:45]
441*2^1047269-1 is not prime.  Res64: 5C16AD76CDD80756  Time : 1975.0 sec.
user=vaughan
[2011-11-10 06:19:26]
439*2^1047269-1 is not prime.  Res64: 0BB80548CC434219  Time : 2114.0 sec.
user=vaughan
[2011-11-10 06:23:25]
415*2^1047271-1 is not prime.  Res64: D3E2B10EF152EB6D  Time : 2033.0 sec.
user=kar_bon
[2011-11-10 06:27:48]
405*2^1047272-1 is not prime.  Res64: B4E771C6C6433354  Time : 1261.0 sec.
user=vaughan
[2011-11-10 06:29:58]
511*2^1047271-1 is not prime.  Res64: 819B32C10C9F210A  Time : 2094.0 sec.
user=vaughan
[2011-11-10 06:35:49]
441*2^1047175-1 is not prime.  Res64: 5BE2F8C2C7ECD33B  Time : 86429.0 sec.
user=vaughan
[2011-11-10 06:35:59]
475*2^1047271-1 is not prime.  Res64: 5E2FBF35258D8619  Time : 2616.0 sec.
user=vaughan
[2011-11-10 06:40:40]
519*2^1047272-1 is not prime.  Res64: D3B195DB21AC3C68  Time : 1925.0 sec.
user=vaughan
[2011-11-10 06:42:33]
463*2^1047175-1 is not prime.  Res64: 82C4CF9E66B171AC  Time : 86523.0 sec.
user=vaughan
[2011-11-10 06:43:06]
437*2^1047270-1 is not prime.  Res64: 5D7FEDA375448F4C  Time : 3388.0 sec.
user=kar_bon
[2011-11-10 06:48:41]
461*2^1047274-1 is not prime.  Res64: B5372217FD0F83EB  Time : 1253.0 sec.
user=vaughan
[2011-11-10 06:57:08]
443*2^1047274-1 is not prime.  Res64: AD8FFEE43EF118A7  Time : 2024.0 sec.
user=vaughan
[2011-11-10 07:03:25]
561*2^1047271-1 is not prime.  Res64: B98951F712B00A85  Time : 3421.0 sec.
user=kar_bon
[2011-11-10 07:09:39]
543*2^1047275-1 is not prime.  Res64: 93C6349E0C651568  Time : 1258.0 sec.
user=vaughan
[2011-11-10 07:12:25]
453*2^1047275-1 is not prime.  Res64: 3057ACC0E08074B8  Time : 1906.0 sec.
user=vaughan
[2011-11-10 07:19:36]
445*2^1047275-1 is not prime.  Res64: 0C57E1F99FFB7EF8  Time : 2617.0 sec.
user=vaughan
[2011-11-10 07:28:26]
481*2^1047275-1 is not prime.  Res64: 5EF062E966082F44  Time : 2721.0 sec.
user=kar_bon
[2011-11-10 07:30:33]
405*2^1047277-1 is not prime.  Res64: C72622DCF3476A74  Time : 1253.0 sec.
user=kar_bon
[2011-11-10 07:51:30]
585*2^1047278-1 is not prime.  Res64: BBE09CB8F8B9071F  Time : 1257.0 sec.
user=vaughan
[2011-11-10 08:03:16]
531*2^1047277-1 is not prime.  Res64: 883281AE81A1A2B6  Time : 2620.0 sec.
user=kar_bon
[2011-11-10 08:12:30]
479*2^1047280-1 is not prime.  Res64: C84929B96E6DB59F  Time : 1260.0 sec.
user=kar_bon
[2011-11-10 08:33:25]
513*2^1047280-1 is not prime.  Res64: EB898B06AA9D4FA7  Time : 1255.0 sec.
user=vaughan
[2011-11-10 08:46:54]
495*2^1047280-1 is not prime.  Res64: A3F886FF4FC63211  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 08:54:19]
445*2^1047281-1 is not prime.  Res64: 7869D04CBC6AE80F  Time : 1253.0 sec.
user=kar_bon
[2011-11-10 09:15:17]
423*2^1047282-1 is not prime.  Res64: 9A1304FD6F5B2240  Time : 1257.0 sec.
user=vaughan
[2011-11-10 09:30:31]
561*2^1047281-1 is not prime.  Res64: 8FCFEF05CFE27B8C  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 09:36:42]
425*2^1047282-1 is not prime.  Res64: A0F3F6F39F76C306  Time : 1285.0 sec.
user=kar_bon
[2011-11-10 09:57:41]
525*2^1047282-1 is not prime.  Res64: 00918003A0013708  Time : 1259.0 sec.
user=vaughan
[2011-11-10 10:14:12]
447*2^1047282-1 is not prime.  Res64: 924DC75131E7E5E9  Time : 2622.0 sec.
user=kar_bon
[2011-11-10 10:18:38]
537*2^1047282-1 is not prime.  Res64: 79695826737ACAE9  Time : 1256.0 sec.
user=kar_bon
[2011-11-10 10:46:12]
447*2^1047284-1 is not prime.  Res64: 1AED2F8D4B5A21B6  Time : 1653.0 sec.
user=vaughan
[2011-11-10 10:57:50]
555*2^1047283-1 is not prime.  Res64: DDA2A791C785B1DD  Time : 2619.0 sec.
user=kar_bon
[2011-11-10 11:21:28]
503*2^1047284-1 is not prime.  Res64: 907312CA0104CB59  Time : 2116.0 sec.
user=vaughan
[2011-11-10 11:41:27]
533*2^1047284-1 is not prime.  Res64: 927BF902016C5199  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 11:57:23]
511*2^1047285-1 is not prime.  Res64: 6F985AE8E89781E7  Time : 2155.0 sec.
user=kar_bon
[2011-11-10 12:24:49]
591*2^1047285-1 is not prime.  Res64: 6A40F56F0A98DBB2  Time : 1646.0 sec.
user=vaughan
[2011-11-10 12:25:07]
555*2^1047285-1 is not prime.  Res64: 3432ABCEAE86D0B8  Time : 2620.0 sec.
user=kar_bon
[2011-11-10 12:55:22]
597*2^1047285-1 is not prime.  Res64: 42D50CD9E089C1EB  Time : 1832.0 sec.
user=vaughan
[2011-11-10 13:08:44]
405*2^1047286-1 is not prime.  Res64: 7C0990858390465C  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 13:24:06]
513*2^1047286-1 is not prime.  Res64: 3028344AA46D995D  Time : 1723.0 sec.
user=vaughan
[2011-11-10 13:52:22]
573*2^1047287-1 is not prime.  Res64: A0490D8EFA6E2AC3  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 13:52:30]
549*2^1047288-1 is not prime.  Res64: F463AF4DC31D677A  Time : 1703.0 sec.
user=kar_bon
[2011-11-10 14:20:46]
471*2^1047289-1 is not prime.  Res64: 8AA618261ACE7C9D  Time : 1695.0 sec.
user=vaughan
[2011-11-10 14:35:58]
569*2^1047288-1 is not prime.  Res64: BFE17F3C553B27EC  Time : 2617.0 sec.
user=kar_bon
[2011-11-10 14:50:00]
477*2^1047289-1 is not prime.  Res64: D6D563773EA6F42A  Time : 1754.0 sec.
user=kar_bon
[2011-11-10 15:18:53]
473*2^1047290-1 is not prime.  Res64: D645A0B0A46644C1  Time : 1733.0 sec.
user=vaughan
[2011-11-10 15:19:35]
549*2^1047289-1 is not prime.  Res64: 020DE2147DF211B3  Time : 2617.0 sec.
user=kar_bon
[2011-11-10 15:46:20]
439*2^1047291-1 is not prime.  Res64: 6440A611F77EE7DE  Time : 1646.0 sec.
user=vaughan
[2011-11-10 16:03:16]
441*2^1047291-1 is not prime.  Res64: 3D4E2713BAA47DA9  Time : 2621.0 sec.
user=kar_bon
[2011-11-10 16:14:46]
459*2^1047291-1 is not prime.  Res64: 7212FE5CF6C3CABD  Time : 1706.0 sec.
user=vaughan
[2011-11-10 16:46:53]
529*2^1047291-1 is not prime.  Res64: 9F692D17D8C22A92  Time : 2617.0 sec.
user=kar_bon
[2011-11-10 16:47:10]
413*2^1047292-1 is not prime.  Res64: 103787DCA83AB523  Time : 1943.0 sec.
user=kar_bon
[2011-11-10 17:18:46]
485*2^1047292-1 is not prime.  Res64: B11625B913264627  Time : 1896.0 sec.
user=vaughan
[2011-11-10 17:30:30]
435*2^1047292-1 is not prime.  Res64: 0DCA4265CE174CE1  Time : 2617.0 sec.
user=kar_bon
[2011-11-10 17:40:54]
495*2^1047292-1 is not prime.  Res64: C3AB68468C0BF4ED  Time : 1328.0 sec.
user=kar_bon
[2011-11-10 18:04:58]
579*2^1047292-1 is not prime.  Res64: DB8051761EA7D740  Time : 1444.0 sec.
user=vaughan
[2011-11-10 18:14:11]
533*2^1047292-1 is not prime.  Res64: 795BC750C74CCFC0  Time : 2621.0 sec.
user=kar_bon
[2011-11-10 18:29:20]
421*2^1047293-1 is not prime.  Res64: 546AEAD8381D8335  Time : 1462.0 sec.
user=kar_bon
[2011-11-10 18:50:30]
487*2^1047293-1 is not prime.  Res64: 43AB9ACFB05124C1  Time : 1270.0 sec.
user=vaughan
[2011-11-10 18:57:49]
435*2^1047293-1 is not prime.  Res64: E4E0F14B9B6A9F8C  Time : 2618.0 sec.
user=kar_bon
[2011-11-10 19:11:33]
525*2^1047293-1 is not prime.  Res64: DFC8F14DC4A9D1C3  Time : 1263.0 sec.
user=kar_bon
[2011-11-10 19:32:37]
413*2^1047294-1 is not prime.  Res64: 0F9E207255664384  Time : 1264.0 sec.
user=vaughan
[2011-11-10 19:41:26]
559*2^1047293-1 is not prime.  Res64: E1A6E1B47F6876D0  Time : 2618.0 sec.
user=vaughan
[2011-11-10 19:42:06]
429*2^1047273-1 is not prime.  Res64: F5143FBB42924A14  Time : 48794.0 sec.
user=vaughan
[2011-11-10 19:49:51]
465*2^1047276-1 is not prime.  Res64: 8DEDF8EB5C170B50  Time : 46363.0 sec.
user=vaughan
[2011-11-10 19:51:04]
481*2^1047273-1 is not prime.  Res64: 3F41DC756913A983  Time : 48739.0 sec.
user=vaughan
[2011-11-10 19:52:52]
549*2^1047273-1 is not prime.  Res64: A8AF8F6FA5A67552  Time : 48806.0 sec.
user=kar_bon
[2011-11-10 19:53:36]
513*2^1047294-1 is not prime.  Res64: 8CBF3A538839F5F7  Time : 1259.0 sec.
user=vaughan
[2011-11-10 20:03:29]
495*2^1047274-1 is not prime.  Res64: 3159385B893B130F  Time : 48811.0 sec.
user=vaughan
[2011-11-10 20:05:58]
579*2^1047276-1 is not prime.  Res64: 704D4A10DE0E4BD9  Time : 46954.0 sec.
user=vaughan
[2011-11-10 20:06:30]
511*2^1047277-1 is not prime.  Res64: CD6A50ED0D45DB9E  Time : 46445.0 sec.
user=kar_bon
[2011-11-10 20:14:35]
589*2^1047295-1 is not prime.  Res64: 23EFEE25A3CB7F25  Time : 1259.0 sec.
user=vaughan
[2011-11-10 20:18:16]
551*2^1047294-1 is not prime.  Res64: 39EE75162BF3B169  Time : 2171.0 sec.
user=vaughan
[2011-11-10 20:19:57]
555*2^1047277-1 is not prime.  Res64: 16C27E2CC3C19DD9  Time : 46292.0 sec.
user=vaughan
[2011-11-10 20:23:43]
587*2^1047294-1 is not prime.  Res64: 11486F3105A97546  Time : 2032.0 sec.
user=vaughan
[2011-11-10 20:25:04]
543*2^1047294-1 is not prime.  Res64: FC66E8B44F1F7062  Time : 2618.0 sec.
user=vaughan
[2011-11-10 20:27:35]
463*2^1047295-1 is not prime.  Res64: 24367092588B99B0  Time : 2083.0 sec.
user=vaughan
[2011-11-10 20:28:23]
411*2^1047295-1 is not prime.  Res64: 1E87943DDC323F03  Time : 2240.0 sec.
user=kar_bon
[2011-11-10 20:35:38]
479*2^1047296-1 is not prime.  Res64: B373FE2723A0563D  Time : 1263.0 sec.
user=vaughan
[2011-11-10 20:36:28]
417*2^1047296-1 is not prime.  Res64: E1AE1C97B968A64E  Time : 1980.0 sec.
user=vaughan
[2011-11-10 20:47:24]
447*2^1047296-1 is not prime.  Res64: BAE88DA814120643  Time : 2486.0 sec.
user=vaughan
[2011-11-10 20:49:36]
455*2^1047296-1 is not prime.  Res64: 7FC3C4B41C37AD8B  Time : 2586.0 sec.
user=vaughan
[2011-11-10 20:50:59]
409*2^1047297-1 is not prime.  Res64: F6FC6FD41907CC3B  Time : 1863.0 sec.
user=vaughan
[2011-11-10 20:55:08]
567*2^1047296-1 is not prime.  Res64: CC0473B394836005  Time : 2212.0 sec.
user=kar_bon
[2011-11-10 20:56:39]
555*2^1047298-1 is not prime.  Res64: 04B3912A2E1A4EF0  Time : 1261.0 sec.
user=vaughan
[2011-11-10 20:58:42]
531*2^1047297-1 is not prime.  Res64: 11D885279EDBAA23  Time : 2100.0 sec.
user=vaughan
[2011-11-10 21:02:42]
401*2^1047298-1 is not prime.  Res64: 921D88E296709F05  Time : 2107.0 sec.
user=vaughan
[2011-11-10 21:02:51]
411*2^1047275-1 is not prime.  Res64: 323B8398B30651D3  Time : 52022.0 sec.
user=vaughan
[2011-11-10 21:05:47]
425*2^1047298-1 is not prime.  Res64: 06C9F94704509AEC  Time : 2244.0 sec.
user=vaughan
[2011-11-10 21:08:41]
559*2^1047297-1 is not prime.  Res64: 4DE60D88382AEE58  Time : 2618.0 sec.
user=vaughan
[2011-11-10 21:09:24]
597*2^1047298-1 is not prime.  Res64: 1EB7ABCB1B72D711  Time : 1976.0 sec.
user=vaughan
[2011-11-10 21:09:45]
475*2^1047275-1 is not prime.  Res64: F567F00F81D2445C  Time : 52032.0 sec.
user=kar_bon
[2011-11-10 21:17:40]
453*2^1047300-1 is not prime.  Res64: 0EB09F8CB2B06091  Time : 1260.0 sec.
user=vaughan
[2011-11-10 21:22:42]
423*2^1047300-1 is not prime.  Res64: FB8DB275CA16183C  Time : 1904.0 sec.
user=vaughan
[2011-11-10 21:25:38]
557*2^1047300-1 is not prime.  Res64: 501156FE40580CC9  Time : 1368.0 sec.
user=vaughan
[2011-11-10 21:29:37]
505*2^1047299-1 is not prime.  Res64: 2FED7F60984C10BF  Time : 2533.0 sec.
user=vaughan
[2011-11-10 21:31:52]
437*2^1047300-1 is not prime.  Res64: 16B0242E29A53E69  Time : 2204.0 sec.
user=vaughan
[2011-11-10 21:32:04]
445*2^1047303-1 is not prime.  Res64: D48B9CE328CA172F  Time : 1340.0 sec.
user=vaughan
[2011-11-10 21:34:23]
479*2^1047300-1 is not prime.  Res64: 28AE3271A36506FA  Time : 2141.0 sec.
user=vaughan
[2011-11-10 21:35:19]
589*2^1047299-1 is not prime.  Res64: DBA64BF347C05AD1  Time : 2744.0 sec.
user=vaughan
[2011-11-10 21:36:53]
525*2^1047300-1 is not prime.  Res64: E1A4326DF3BD3A35  Time : 2051.0 sec.
user=kar_bon
[2011-11-10 21:38:37]
571*2^1047303-1 is not prime.  Res64: 0DD757F5BAE8AD08  Time : 1256.0 sec.
user=vaughan
[2011-11-10 21:42:05]
447*2^1047301-1 is not prime.  Res64: 3E5A982EE160532D  Time : 1961.0 sec.
user=vaughan
[2011-11-10 21:44:02]
567*2^1047300-1 is not prime.  Res64: 1972249E7A20B554  Time : 2296.0 sec.
user=vaughan
[2011-11-10 21:48:22]
527*2^1047304-1 is not prime.  Res64: 319D8AE75C10E0CC  Time : 1365.0 sec.
user=vaughan
[2011-11-10 21:52:19]
405*2^1047301-1 is not prime.  Res64: D66FC99E7E90EDFF  Time : 2618.0 sec.
user=vaughan
[2011-11-10 21:54:19]
409*2^1047305-1 is not prime.  Res64: 5C9C595DB727C7BA  Time : 1335.0 sec.
user=vaughan
[2011-11-10 21:54:20]
437*2^1047304-1 is not prime.  Res64: B0F32FE84142CEEB  Time : 1899.0 sec.
user=kar_bon
[2011-11-10 21:59:40]
551*2^1047306-1 is not prime.  Res64: C300B8E63C31E9C4  Time : 1263.0 sec.
user=vaughan
[2011-11-10 22:08:45]
597*2^1047304-1 is not prime.  Res64: 3D71A31187CC0AD7  Time : 2213.0 sec.
user=vaughan
[2011-11-10 22:10:19]
579*2^1047305-1 is not prime.  Res64: 749E4F0B551E73EC  Time : 2157.0 sec.
user=vaughan
[2011-11-10 22:10:42]
555*2^1047307-1 is not prime.  Res64: 4218987CACEC7799  Time : 1340.0 sec.
user=vaughan
[2011-11-10 22:11:19]
527*2^1047306-1 is not prime.  Res64: EDD06B4B44FBD45C  Time : 2067.0 sec.
user=vaughan
[2011-11-10 22:12:58]
549*2^1047304-1 is not prime.  Res64: 5A5E6D4155FB6F14  Time : 2602.0 sec.
user=vaughan
[2011-11-10 22:14:57]
581*2^1047306-1 is not prime.  Res64: B01D9259F98D4D90  Time : 1972.0 sec.
user=vaughan
[2011-11-10 22:16:17]
557*2^1047308-1 is not prime.  Res64: 4E816164E5548855  Time : 1318.0 sec.
user=kar_bon
[2011-11-10 22:20:39]
427*2^1047309-1 is not prime.  Res64: 1D67A69EA3EEA47E  Time : 1258.0 sec.
user=vaughan
[2011-11-10 22:21:22]
593*2^1047306-1 is not prime.  Res64: 7C229C59D9EF26DD  Time : 2241.0 sec.
user=vaughan
[2011-11-10 22:22:32]
405*2^1047306-1 is not prime.  Res64: 5CE99843E98B4A62  Time : 2833.0 sec.
user=vaughan
[2011-11-10 22:26:07]
417*2^1047309-1 is not prime.  Res64: 05176F826A443F33  Time : 1908.0 sec.
user=vaughan
[2011-11-10 22:32:39]
579*2^1047309-1 is not prime.  Res64: 19E5F149486BB722  Time : 1318.0 sec.
user=vaughan
[2011-11-10 22:35:57]
537*2^1047308-1 is not prime.  Res64: AC6E5AC340155FDB  Time : 2618.0 sec.
user=vaughan
[2011-11-10 22:37:36]
453*2^1047310-1 is not prime.  Res64: 8D0DD5638AFB2145  Time : 1279.0 sec.
user=kar_bon
[2011-11-10 22:41:45]
503*2^1047310-1 is not prime.  Res64: 9E30EA1C285AD718  Time : 1266.0 sec.
user=vaughan
[2011-11-10 22:44:34]
451*2^1047309-1 is not prime.  Res64: 6B63C3BF0D83BC4D  Time : 2150.0 sec.
user=vaughan
[2011-11-10 22:45:29]
405*2^1047310-1 is not prime.  Res64: C7C33D632E6358EC  Time : 2050.0 sec.
user=vaughan
[2011-11-10 22:46:25]
471*2^1047309-1 is not prime.  Res64: 94FC1B6F656EDC0F  Time : 2166.0 sec.
user=vaughan
[2011-11-10 22:48:02]
447*2^1047310-1 is not prime.  Res64: C400AA1F085E3E6E  Time : 1986.0 sec.
user=vaughan
[2011-11-10 22:54:58]
511*2^1047311-1 is not prime.  Res64: 8E974B55DBD28450  Time : 1339.0 sec.
user=vaughan
[2011-11-10 22:57:19]
443*2^1047310-1 is not prime.  Res64: 81DF1149C2E5B0F7  Time : 2661.0 sec.
user=vaughan
[2011-11-10 22:57:49]
505*2^1047311-1 is not prime.  Res64: A7F510DB67A537DE  Time : 1902.0 sec.
user=vaughan
[2011-11-10 22:58:06]
587*2^1047310-1 is not prime.  Res64: B35F70F47954BEC7  Time : 2204.0 sec.
user=vaughan
[2011-11-10 22:59:16]
571*2^1047311-1 is not prime.  Res64: AA3E3A3C1B09C3DE  Time : 1300.0 sec.
user=kar_bon
[2011-11-10 23:02:48]
573*2^1047311-1 is not prime.  Res64: 134398CD1580F1CB  Time : 1263.0 sec.
user=vaughan
[2011-11-10 23:10:42]
597*2^1047310-1 is not prime.  Res64: D5CB8D46616019B5  Time : 2890.0 sec.
user=vaughan
[2011-11-10 23:18:11]
507*2^1047313-1 is not prime.  Res64: E30263A5C50AA11F  Time : 1394.0 sec.
user=vaughan
[2011-11-10 23:19:34]
503*2^1047312-1 is not prime.  Res64: 1D63B679120B3D44  Time : 2046.0 sec.
user=vaughan
[2011-11-10 23:19:37]
531*2^1047311-1 is not prime.  Res64: E05140EBAF15DCC2  Time : 2620.0 sec.
user=vaughan
[2011-11-10 23:20:45]
525*2^1047314-1 is not prime.  Res64: 30DCBB2B87B2AC73  Time : 1289.0 sec.
user=vaughan
[2011-11-10 23:20:45]
479*2^1047312-1 is not prime.  Res64: 28D37A5EED03CB77  Time : 2171.0 sec.
user=vaughan
[2011-11-10 23:20:50]
563*2^1047312-1 is not prime.  Res64: 5B8FB70A790ACD68  Time : 1968.0 sec.
user=vaughan
[2011-11-10 23:22:17]
513*2^1047312-1 is not prime.  Res64: 1AA5468C99067C36  Time : 2153.0 sec.
user=kar_bon
[2011-11-10 23:23:49]
585*2^1047314-1 is not prime.  Res64: E0D98F19C0A6819D  Time : 1260.0 sec.
user=vaughan
[2011-11-10 23:29:33]
549*2^1047313-1 is not prime.  Res64: 521D043759EBBAE5  Time : 1904.0 sec.
user=vaughan
[2011-11-10 23:34:55]
507*2^1047314-1 is not prime.  Res64: 4FB321EA0F737C47  Time : 2210.0 sec.
user=vaughan
[2011-11-10 23:41:24]
583*2^1047315-1 is not prime.  Res64: 0DB01A7A6D53A110  Time : 1394.0 sec.
user=vaughan
[2011-11-10 23:42:14]
485*2^1047316-1 is not prime.  Res64: 680AE70AFFE9368E  Time : 1289.0 sec.
user=vaughan
[2011-11-10 23:42:37]
511*2^1047313-1 is not prime.  Res64: 8DDECB06022C41F1  Time : 2719.0 sec.
user=kar_bon
[2011-11-10 23:44:49]
597*2^1047316-1 is not prime.  Res64: 4B7AF24D884FB175  Time : 1260.0 sec.
user=vaughan
[2011-11-10 23:53:19]
567*2^1047316-1 is not prime.  Res64: B3C1894B39AFC7F4  Time : 1950.0 sec.
user=vaughan
[2011-11-10 23:53:46]
585*2^1047315-1 is not prime.  Res64: E45A992E4B58A0AB  Time : 2052.0 sec.
user=vaughan
[2011-11-10 23:56:54]
545*2^1047316-1 is not prime.  Res64: 20BD6BAAB006E268  Time : 2169.0 sec.
user=vaughan
[2011-11-10 23:59:17]
587*2^1047316-1 is not prime.  Res64: BFBE6D71F81CAA44  Time : 2221.0 sec.