user=henryzz
[2012-05-24 01:08:12]
485*2^1133178-1 is not prime.  Res64: B5410D0EFBD127A4  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:08:12]
495*2^1133178-1 is not prime.  Res64: 79C42187D83CDE20  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:17:41]
567*2^1133177-1 is not prime.  Res64: 9B15F3DE6F8C9BCE  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:17:54]
565*2^1133177-1 is not prime.  Res64: BDE3FDA113861827  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:29:14]
411*2^1133179-1 is not prime.  Res64: B32A554E8970C880  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:29:34]
513*2^1133178-1 is not prime.  Res64: 2EB9771C175C55F1  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:40:00]
421*2^1133179-1 is not prime.  Res64: 283F47C7E26791CB  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:40:04]
573*2^1133179-1 is not prime.  Res64: E6CEA476DA7CD124  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:51:34]
453*2^1133180-1 is not prime.  Res64: D233B4F5C9D721B8  Time : 0.0 sec.
user=henryzz
[2012-05-24 01:51:57]
423*2^1133180-1 is not prime.  Res64: D103033D8F8E2843  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:02:34]
579*2^1133180-1 is not prime.  Res64: 6C7D5DC208492C35  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:02:37]
537*2^1133180-1 is not prime.  Res64: CE80B0ACE25FBAD3  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:13:16]
445*2^1133181-1 is not prime.  Res64: FE949AC3E83B4715  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:14:20]
475*2^1133181-1 is not prime.  Res64: 7E1E4D7880989841  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:24:42]
507*2^1133181-1 is not prime.  Res64: 0BD3E47BE8131888  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:24:52]
435*2^1133182-1 is not prime.  Res64: 5FCCC97B3113A267  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:34:43]
461*2^1133182-1 is not prime.  Res64: 259BE64E521A0B77  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:36:45]
471*2^1133182-1 is not prime.  Res64: 7A524D5E065180D7  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:46:30]
495*2^1133182-1 is not prime.  Res64: 27C312CD6E5A1313  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:46:48]
491*2^1133182-1 is not prime.  Res64: 03D5A9ADE3530B86  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:57:03]
551*2^1133182-1 is not prime.  Res64: 27447096F1D48FD0  Time : 0.0 sec.
user=henryzz
[2012-05-24 02:58:46]
555*2^1133182-1 is not prime.  Res64: CDB6E9213AD5C632  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:07:53]
581*2^1133182-1 is not prime.  Res64: 4C96324A599FAC87  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:08:31]
593*2^1133182-1 is not prime.  Res64: 30D21A503A80D9BD  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:18:33]
441*2^1133183-1 is not prime.  Res64: 69093CA5CA1CD3AB  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:51:21]
595*2^1133183-1 is not prime.  Res64: 37F400A5CC603984  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:51:55]
447*2^1133184-1 is not prime.  Res64: 002B742EFC74663D  Time : 0.0 sec.
user=henryzz
[2012-05-24 03:54:00]
519*2^1133183-1 is not prime.  Res64: 4B5B39F134030A0E  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:13:16]
555*2^1133184-1 is not prime.  Res64: 6CAAF03613996365  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:13:55]
597*2^1133184-1 is not prime.  Res64: 2B2925625D2BAE46  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:14:21]
459*2^1133184-1 is not prime.  Res64: 9504E44CFF430C08  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:16:25]
471*2^1133185-1 is not prime.  Res64: C9957C40E7AC1E14  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:33:34]
541*2^1133185-1 is not prime.  Res64: 2E08BF2A85B1AE4D  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:34:40]
591*2^1133185-1 is not prime.  Res64: 401B3515B2EDC8F4  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:34:58]
551*2^1133186-1 is not prime.  Res64: 8EA231EF400F5F2E  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:36:50]
585*2^1133186-1 is not prime.  Res64: 9D8DE31D64DCFA95  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:53:19]
453*2^1133187-1 is not prime.  Res64: DD013254998EC509  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:54:31]
529*2^1133187-1 is not prime.  Res64: D8E549E3234B2C0F  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:54:33]
465*2^1133187-1 is not prime.  Res64: 383736C1E1E7E877  Time : 0.0 sec.
user=henryzz
[2012-05-24 04:56:47]
549*2^1133187-1 is not prime.  Res64: BBA51AFAA732D0CD  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:13:20]
405*2^1133188-1 is not prime.  Res64: 189C57481451C7B6  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:14:14]
413*2^1133188-1 is not prime.  Res64: 61C24C2F48336247  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:14:27]
429*2^1133188-1 is not prime.  Res64: D915AF8320F47351  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:16:36]
507*2^1133188-1 is not prime.  Res64: 18BCDF9A1195A5BB  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:33:46]
519*2^1133188-1 is not prime.  Res64: F1A73B9AAB8DBE16  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:34:11]
465*2^1133189-1 is not prime.  Res64: 411E931305297C3E  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:34:33]
465*2^1133190-1 is not prime.  Res64: 9F8A5E28A0C37B86  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:36:36]
503*2^1133190-1 is not prime.  Res64: 6C210BC27AF031C6  Time : 0.0 sec.
user=marco.bs
[2012-05-24 05:39:15]
571*2^1133169-1 is not prime.  Res64: 6FB9F3B899D1D812  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:54:04]
525*2^1133190-1 is not prime.  Res64: 4F96ACA953631693  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:54:22]
441*2^1133191-1 is not prime.  Res64: 74C60F2DCB01773C  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:55:22]
493*2^1133191-1 is not prime.  Res64: E1B16278D30978A5  Time : 0.0 sec.
user=henryzz
[2012-05-24 05:56:36]
525*2^1133191-1 is not prime.  Res64: 181A3DACA967276D  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:13:56]
515*2^1133192-1 is not prime.  Res64: 36B0AD76270EB25F  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:14:10]
539*2^1133192-1 is not prime.  Res64: F1F56B3C5390AE22  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:15:03]
585*2^1133192-1 is not prime.  Res64: CF71B8C91AB0F961  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:16:28]
587*2^1133192-1 is not prime.  Res64: F1F767D69D5B25DB  Time : 0.0 sec.
user=marco.bs
[2012-05-24 06:28:09]
449*2^1133192-1 is not prime.  Res64: 18106AC3F4D2B665  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:33:54]
457*2^1133193-1 is not prime.  Res64: 846777D708F16E85  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:33:57]
481*2^1133193-1 is not prime.  Res64: 27A4A7223847CC1E  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:34:46]
511*2^1133193-1 is not prime.  Res64: F1C383E8D33EB4EF  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:36:14]
585*2^1133193-1 is not prime.  Res64: 04634520FED1FB17  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:53:31]
483*2^1133194-1 is not prime.  Res64: 7F06677B7E0C84D5  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:53:40]
447*2^1133194-1 is not prime.  Res64: 56EE0E2CAF3031EF  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:54:30]
495*2^1133194-1 is not prime.  Res64: E608F71AE49DF51B  Time : 0.0 sec.
user=henryzz
[2012-05-24 06:56:02]
503*2^1133194-1 is not prime.  Res64: 0050A3F40C4E6DE3  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:13:08]
403*2^1133195-1 is not prime.  Res64: 5F2EDC376843369A  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:13:29]
495*2^1133195-1 is not prime.  Res64: E1E2C494B13A356B  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:14:29]
523*2^1133195-1 is not prime.  Res64: 79BE5A4B607E0709  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:15:58]
553*2^1133195-1 is not prime.  Res64: CA6D2CA424D02E56  Time : 0.0 sec.
user=marco.bs
[2012-05-24 07:16:42]
595*2^1133193-1 is not prime.  Res64: 3ADF486A12A33CF9  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:33:23]
413*2^1133196-1 is not prime.  Res64: 4AE38CE82065FEA2  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:33:28]
425*2^1133196-1 is not prime.  Res64: 5E1D28F006B91610  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:34:13]
437*2^1133196-1 is not prime.  Res64: 9235E0A1FC906CB2  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:35:35]
459*2^1133196-1 is not prime.  Res64: 569BDFFE97B8AC82  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:53:41]
497*2^1133196-1 is not prime.  Res64: BB68ABF58109FE04  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:53:52]
485*2^1133196-1 is not prime.  Res64: A46F98B342603731  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:54:39]
429*2^1133197-1 is not prime.  Res64: 15E59D9A56297B20  Time : 0.0 sec.
user=henryzz
[2012-05-24 07:56:23]
435*2^1133197-1 is not prime.  Res64: 94B9D7BB00F0CA05  Time : 0.0 sec.
user=marco.bs
[2012-05-24 08:05:44]
479*2^1133196-1 is not prime.  Res64: 4827F5E0B1E21F43  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:15:32]
501*2^1133198-1 is not prime.  Res64: 27120FB74637B81A  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:15:41]
447*2^1133198-1 is not prime.  Res64: 777DFF2BBEEC69C6  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:16:18]
551*2^1133198-1 is not prime.  Res64: D94D8657990F4757  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:18:35]
557*2^1133198-1 is not prime.  Res64: B24C74631024CB62  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:38:19]
471*2^1133199-1 is not prime.  Res64: ECCDE3FE563B89D5  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:38:48]
571*2^1133199-1 is not prime.  Res64: FF54838DB625044D  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:39:21]
465*2^1133199-1 is not prime.  Res64: 912FF7950B8C617B  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:41:22]
437*2^1133200-1 is not prime.  Res64: 010971145D98496B  Time : 0.0 sec.
user=marco.bs
[2012-05-24 08:54:42]
441*2^1133199-1 is not prime.  Res64: F53D6BAB0DABA727  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:58:04]
483*2^1133200-1 is not prime.  Res64: 83B0CF2C90B15BAD  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:58:31]
509*2^1133200-1 is not prime.  Res64: C221C4E6D68CACE3  Time : 0.0 sec.
user=henryzz
[2012-05-24 08:59:13]
441*2^1133201-1 is not prime.  Res64: 40C18ED135874569  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:01:22]
579*2^1133201-1 is not prime.  Res64: 7B18D9473689CA6A  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:17:47]
447*2^1133202-1 is not prime.  Res64: 5562F956CEA2D21B  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:18:17]
567*2^1133202-1 is not prime.  Res64: A443989921215668  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:19:06]
411*2^1133203-1 is not prime.  Res64: 33C518680E99175A  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:21:06]
441*2^1133203-1 is not prime.  Res64: E92FBA715A1DEF28  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:37:29]
499*2^1133203-1 is not prime.  Res64: E6F6ADD17C226CDA  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:38:03]
505*2^1133203-1 is not prime.  Res64: 4A9144B91329E65D  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:38:53]
549*2^1133203-1 is not prime.  Res64: 9817F33D58CC92F7  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:40:49]
545*2^1133204-1 is not prime.  Res64: 8CF1C74970301C09  Time : 0.0 sec.
user=marco.bs
[2012-05-24 09:43:21]
423*2^1133202-1 is not prime.  Res64: 7C803A78A1F25287  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:57:13]
427*2^1133205-1 is not prime.  Res64: 6C50EF6D37C7DB6D  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:57:51]
451*2^1133205-1 is not prime.  Res64: C557BE01711BAED3  Time : 0.0 sec.
user=henryzz
[2012-05-24 09:58:42]
465*2^1133205-1 is not prime.  Res64: 4F4A4A5559C3C026  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:00:39]
475*2^1133205-1 is not prime.  Res64: F989422A7DF98A7B  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:17:02]
571*2^1133207-1 is not prime.  Res64: C405BBE7E8A5BD61  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:17:33]
425*2^1133208-1 is not prime.  Res64: 5080262E7EED78FB  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:18:37]
429*2^1133208-1 is not prime.  Res64: 16306FAF7544EFFE  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:20:37]
479*2^1133208-1 is not prime.  Res64: EAE62F67E8BF2141  Time : 0.0 sec.
user=marco.bs
[2012-05-24 10:32:14]
483*2^1133206-1 is not prime.  Res64: 89881400D95FDBB2  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:37:40]
435*2^1133209-1 is not prime.  Res64: 36EFB28C23BAFF88  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:38:46]
549*2^1133208-1 is not prime.  Res64: 5E071CB61CC231D8  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:38:50]
549*2^1133209-1 is not prime.  Res64: 9BB7E81EB25AA8F7  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:40:42]
447*2^1133210-1 is not prime.  Res64: 9A4562E3A944ACDA  Time : 0.0 sec.
user=henryzz
[2012-05-24 10:59:56]
473*2^1133210-1 is not prime.  Res64: CFFA8A4BA808E844  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:00:00]
561*2^1133210-1 is not prime.  Res64: 6C57263AB4CE366F  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:00:07]
441*2^1133211-1 is not prime.  Res64: ACC79354B8F7CCBC  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:01:30]
511*2^1133211-1 is not prime.  Res64: 66820557339B0240  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:19:59]
531*2^1133211-1 is not prime.  Res64: EBFBC28725007DB3  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:20:00]
555*2^1133211-1 is not prime.  Res64: BB9F4A61282A873A  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:20:03]
485*2^1133212-1 is not prime.  Res64: 9C7976DEE5DEEA74  Time : 0.0 sec.
user=marco.bs
[2012-05-24 11:21:01]
453*2^1133210-1 is not prime.  Res64: 9ED963D205A3BD19  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:21:30]
495*2^1133212-1 is not prime.  Res64: AAFED9387D97BFAC  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:39:53]
545*2^1133212-1 is not prime.  Res64: 5D80110CF0D8B465  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:40:03]
549*2^1133212-1 is not prime.  Res64: B9DB8FB249BC6E59  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:40:08]
569*2^1133212-1 is not prime.  Res64: 2B25A67D7959948D  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:41:25]
579*2^1133212-1 is not prime.  Res64: C728B5A910071150  Time : 0.0 sec.
user=henryzz
[2012-05-24 11:59:49]
405*2^1133213-1 is not prime.  Res64: 4A6BA2F95B699EB6  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:00:01]
441*2^1133213-1 is not prime.  Res64: A654570F7EA39B62  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:00:09]
495*2^1133213-1 is not prime.  Res64: 0038D90FB2994541  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:01:29]
517*2^1133213-1 is not prime.  Res64: 60CC3D7EEBA1FA61  Time : 0.0 sec.
user=marco.bs
[2012-05-24 12:09:44]
573*2^1133212-1 is not prime.  Res64: 63FFDB06CA7DE564  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:20:04]
549*2^1133213-1 is not prime.  Res64: 05DF1004F2F776A9  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:20:21]
561*2^1133213-1 is not prime.  Res64: 1F994BDFB5E1770D  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:20:22]
495*2^1133214-1 is not prime.  Res64: C33F9EC5A49B5D0E  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:21:34]
525*2^1133214-1 is not prime.  Res64: 787C5F2E4B5EEC2D  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:39:57]
481*2^1133215-1 is not prime.  Res64: B0D7AC628D00C5A3  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:40:29]
447*2^1133217-1 is not prime.  Res64: 30B5504AA1ABE579  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:40:35]
499*2^1133215-1 is not prime.  Res64: D696B0D36B0081FB  Time : 0.0 sec.
user=henryzz
[2012-05-24 12:41:40]
475*2^1133217-1 is not prime.  Res64: 4492F99A503C10B1  Time : 0.0 sec.
user=marco.bs
[2012-05-24 12:58:45]
551*2^1133214-1 is not prime.  Res64: C8346F2B71A5DB04  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:00:07]
525*2^1133218-1 is not prime.  Res64: C0E0FA1410CA8D18  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:00:30]
465*2^1133219-1 is not prime.  Res64: 3A57F241574FD434  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:00:36]
545*2^1133218-1 is not prime.  Res64: F2F908150E9C4D93  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:01:54]
553*2^1133219-1 is not prime.  Res64: CFD3208E9525FC46  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:20:16]
595*2^1133219-1 is not prime.  Res64: 2080B3E38F49328A  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:20:44]
447*2^1133220-1 is not prime.  Res64: 5A37A64B67518B0C  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:20:46]
459*2^1133220-1 is not prime.  Res64: 0C7F8256B53C3FD7  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:22:11]
467*2^1133220-1 is not prime.  Res64: 65014AC26A378691  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:40:20]
545*2^1133220-1 is not prime.  Res64: EA569964F4D9A050  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:40:51]
451*2^1133221-1 is not prime.  Res64: 002643192BD7090B  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:40:55]
411*2^1133221-1 is not prime.  Res64: 4051A04240DAEFA8  Time : 0.0 sec.
user=henryzz
[2012-05-24 13:42:23]
489*2^1133221-1 is not prime.  Res64: 8558690865D0BFAA  Time : 0.0 sec.
user=marco.bs
[2012-05-24 13:47:14]
571*2^1133219-1 is not prime.  Res64: FCAA888035B84F5C  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:00:45]
525*2^1133221-1 is not prime.  Res64: D847D2B9F7994A6D  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:01:07]
455*2^1133222-1 is not prime.  Res64: 7A73B765CF57F947  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:01:11]
467*2^1133222-1 is not prime.  Res64: 9358ADC32D1B436D  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:02:36]
495*2^1133222-1 is not prime.  Res64: 5774E11D64ACA8DB  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:20:42]
533*2^1133222-1 is not prime.  Res64: 7AB89FBB939115BA  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:21:12]
573*2^1133222-1 is not prime.  Res64: 1F0B93062C13E034  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:21:16]
587*2^1133222-1 is not prime.  Res64: 4013A91832944238  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:22:41]
527*2^1133224-1 is not prime.  Res64: F459AF86AE74643F  Time : 0.0 sec.
user=marco.bs
[2012-05-24 14:35:47]
521*2^1133222-1 is not prime.  Res64: CBFA7EEB365436E6  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:40:47]
579*2^1133225-1 is not prime.  Res64: C24AB17D9939FA23  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:41:38]
595*2^1133225-1 is not prime.  Res64: 8E0D7191C93147E3  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:41:40]
425*2^1133226-1 is not prime.  Res64: AEBAEB06C2BED78E  Time : 0.0 sec.
user=henryzz
[2012-05-24 14:42:42]
587*2^1133226-1 is not prime.  Res64: 44EAB6C80748737D  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:01:32]
549*2^1133227-1 is not prime.  Res64: CB4AA5A9224E1CF9  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:01:43]
503*2^1133228-1 is not prime.  Res64: 08C9C03072352F55  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:02:01]
525*2^1133228-1 is not prime.  Res64: 0199F4F6BD5D9C59  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:02:58]
557*2^1133228-1 is not prime.  Res64: 5E9F5CB651075C1A  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:21:51]
445*2^1133229-1 is not prime.  Res64: E2354FE033B1C06A  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:22:03]
457*2^1133229-1 is not prime.  Res64: DEDC8096C8F8CEA7  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:22:15]
459*2^1133229-1 is not prime.  Res64: 04AE7685B6A5651A  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:23:17]
455*2^1133230-1 is not prime.  Res64: A09C87C1022A6B10  Time : 0.0 sec.
user=marco.bs
[2012-05-24 15:25:42]
405*2^1133227-1 is not prime.  Res64: F945C67012D91DA6  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:42:15]
527*2^1133230-1 is not prime.  Res64: C463A3F2EABFC9EB  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:42:31]
423*2^1133231-1 is not prime.  Res64: 33445E6482884678  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:42:42]
463*2^1133231-1 is not prime.  Res64: 35DAC9AFB12D6886  Time : 0.0 sec.
user=henryzz
[2012-05-24 15:43:40]
511*2^1133231-1 is not prime.  Res64: 2437E2FFC1F9237C  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:02:34]
569*2^1133232-1 is not prime.  Res64: 20CCCE4B7D8EFC01  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:02:50]
541*2^1133233-1 is not prime.  Res64: 5B6B88F0F6ABCD4C  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:03:02]
549*2^1133233-1 is not prime.  Res64: 40EEDDFC4795A453  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:04:23]
407*2^1133234-1 is not prime.  Res64: 57137262094391E5  Time : 0.0 sec.
user=marco.bs
[2012-05-24 16:16:34]
563*2^1133232-1 is not prime.  Res64: C84533BD4A8722AA  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:23:07]
405*2^1133235-1 is not prime.  Res64: F94E47E3165D932A  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:23:19]
483*2^1133234-1 is not prime.  Res64: 0BE8A03ACC714AC0  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:23:32]
523*2^1133235-1 is not prime.  Res64: 024C3D22B1A745C6  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:24:56]
579*2^1133235-1 is not prime.  Res64: C46186B090614647  Time : 0.0 sec.
user=Alexis_Kravtchenko
[2012-05-24 16:40:04]
409*2^1133235-1 is not prime.  Res64: 0D45B8404B3F5200  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:44:49]
439*2^1133237-1 is not prime.  Res64: BFED10A7E8B6A3D9  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:44:57]
559*2^1133237-1 is not prime.  Res64: 217C21717D7C2756  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:45:14]
577*2^1133237-1 is not prime.  Res64: 388147E7E50E8626  Time : 0.0 sec.
user=henryzz
[2012-05-24 16:46:37]
431*2^1133238-1 is not prime.  Res64: F679770301A91AB4  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:04:57]
503*2^1133238-1 is not prime.  Res64: 12C0589160492C2A  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:05:05]
555*2^1133239-1 is not prime.  Res64: 5D60CDF31D604D6A  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:05:06]
513*2^1133238-1 is not prime.  Res64: 94288CA80938C173  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:06:45]
413*2^1133240-1 is not prime.  Res64: EA7EF4A50D269576  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:24:44]
437*2^1133240-1 is not prime.  Res64: CD4857BE607678AC  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:25:10]
465*2^1133240-1 is not prime.  Res64: 85EAA36E82FC1DA8  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:25:14]
475*2^1133241-1 is not prime.  Res64: A3CE39A4002DF415  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:26:44]
537*2^1133241-1 is not prime.  Res64: 3C3AF6E2409D8A3F  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:44:33]
435*2^1133242-1 is not prime.  Res64: 9009554740835BEB  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:45:00]
467*2^1133242-1 is not prime.  Res64: 14389D2D38B8B99A  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:45:16]
491*2^1133242-1 is not prime.  Res64: 18B639931849ED7C  Time : 0.0 sec.
user=henryzz
[2012-05-24 17:46:44]
513*2^1133242-1 is not prime.  Res64: 2B429C9D4F77098B  Time : 0.0 sec.
user=vaughan
[2012-05-24 17:53:56]
585*2^1133241-1 is not prime.  Res64: 9F184B186244E089  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:04:30]
525*2^1133242-1 is not prime.  Res64: 1D8D6CA0B96DF99F  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:04:58]
447*2^1133244-1 is not prime.  Res64: 44C8E2D1BCF510AB  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:05:13]
473*2^1133244-1 is not prime.  Res64: 5D4E1F9FBD9A543A  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:06:36]
563*2^1133244-1 is not prime.  Res64: 1374BB2ADCD1AB11  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:24:19]
579*2^1133244-1 is not prime.  Res64: 68B8F1E0133192AF  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:25:10]
587*2^1133244-1 is not prime.  Res64: 54818F4C499217FC  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:25:13]
489*2^1133245-1 is not prime.  Res64: 5A10C95A60223654  Time : 0.0 sec.
user=henryzz
[2012-05-24 18:26:28]
525*2^1133245-1 is not prime.  Res64: 4FB461C4C8A596D7  Time : 0.0 sec.