user=mdettweiler
[2011-09-04 00:02:44]
489*2^1031257-1 is not prime.  Res64: 2527CB3773C95EDC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:03:33]
531*2^1031255-1 is not prime.  Res64: FC5683A81EF6D081  Time : 0.0 sec.
user=odicin
[2011-09-04 00:04:59]
405*2^1031258-1 is not prime.  Res64: 7C191553E11DD5B2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:13:04]
405*2^1031261-1 is not prime.  Res64: 7F4D3AD2C4ADC033  Time : 0.0 sec.
user=odicin
[2011-09-04 00:14:42]
515*2^1031250-1 is not prime.  Res64: 371F626B6CFBDCAC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:15:51]
549*2^1031260-1 is not prime.  Res64: 8784AD68B2381DB8  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:17:13]
475*2^1031261-1 is not prime.  Res64: E6AD6F4CE2A50149  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:18:01]
495*2^1031261-1 is not prime.  Res64: 688F7BFB0EE2CC4D  Time : 0.0 sec.
user=odicin
[2011-09-04 00:26:51]
517*2^1031261-1 is not prime.  Res64: BDD3831D0D76CAD5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:31:12]
529*2^1031261-1 is not prime.  Res64: B2FFCB365FD84B7D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:31:43]
423*2^1031262-1 is not prime.  Res64: C030D5822EE97AAF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:32:28]
425*2^1031262-1 is not prime.  Res64: 7418643F8341FD9D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:33:54]
565*2^1031261-1 is not prime.  Res64: E9D7C4FDA170F4AC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 00:39:31]
511*2^1031259-1 is not prime.  Res64: C322CBC758BCDD74  Time : 0.0 sec.
user=odicin
[2011-09-04 00:43:50]
471*2^1031262-1 is not prime.  Res64: 35DDF1561C672F5A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:46:52]
415*2^1031263-1 is not prime.  Res64: CE48C594FC692E4F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:48:19]
481*2^1031263-1 is not prime.  Res64: 3B1FD2759DEC4EA2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:49:18]
527*2^1031262-1 is not prime.  Res64: 1029AB7137E0FB6E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 00:49:42]
563*2^1031262-1 is not prime.  Res64: 9EAEE6E5A028D64F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 00:52:45]
481*2^1031255-1 is not prime.  Res64: 7B1DADF19DCC72F6  Time : 0.0 sec.
user=odicin
[2011-09-04 01:00:51]
437*2^1031258-1 is not prime.  Res64: FB891CA76FAD9AA4  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:03:33]
459*2^1031264-1 is not prime.  Res64: DCC809117B789EF6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:04:45]
559*2^1031263-1 is not prime.  Res64: 4E96550E780DE220  Time : 0.0 sec.
user=odicin
[2011-09-04 01:05:23]
555*2^1031263-1 is not prime.  Res64: 915ED900BDF3E66D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:06:06]
573*2^1031263-1 is not prime.  Res64: 3F6992B6C3A587FD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:07:37]
573*2^1031264-1 is not prime.  Res64: D0A6CAC8D6855D11  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 01:15:26]
493*2^1031263-1 is not prime.  Res64: 2B2D3A1E7D9E9C0F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:21:32]
537*2^1031265-1 is not prime.  Res64: 309559C653B3848F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:21:47]
467*2^1031268-1 is not prime.  Res64: 89BD82B08D471C1E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:22:41]
555*2^1031265-1 is not prime.  Res64: C076146F5FB03BCD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:23:59]
511*2^1031267-1 is not prime.  Res64: C2419DE8DF6298F0  Time : 0.0 sec.
user=odicin
[2011-09-04 01:26:05]
561*2^1031266-1 is not prime.  Res64: 1CA85FC4D7601FFA  Time : 0.0 sec.
user=odicin
[2011-09-04 01:34:49]
549*2^1031261-1 is not prime.  Res64: 2B4C8DEB6AD8DB1F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:36:09]
411*2^1031270-1 is not prime.  Res64: 5E6972C72E852F32  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:38:34]
405*2^1031271-1 is not prime.  Res64: BF311E6A0E8F7318  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:39:54]
587*2^1031270-1 is not prime.  Res64: FCB1F0450C717E9E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:40:45]
593*2^1031270-1 is not prime.  Res64: 5CCE82E526BF8C27  Time : 0.0 sec.
user=odicin
[2011-09-04 01:42:34]
429*2^1031271-1 is not prime.  Res64: 3AD63A5B7B027BC2  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 01:51:45]
447*2^1031269-1 is not prime.  Res64: 2DA2460A7C532AE5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:52:44]
429*2^1031272-1 is not prime.  Res64: C2BC7DAA9AC8F1CF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:54:00]
585*2^1031271-1 is not prime.  Res64: 65EE3A31526DAF40  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:57:45]
519*2^1031272-1 is not prime.  Res64: B055B32F8A999A71  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 01:58:36]
525*2^1031272-1 is not prime.  Res64: C5F2019AE7DDD290  Time : 0.0 sec.
user=odicin
[2011-09-04 01:59:56]
481*2^1031273-1 is not prime.  Res64: DEFAA95669DDEBBF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:10:29]
529*2^1031273-1 is not prime.  Res64: E43828EE1F5F6FDF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:11:50]
567*2^1031273-1 is not prime.  Res64: 2652994C40F8BB63  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:15:28]
571*2^1031273-1 is not prime.  Res64: ACDE11074E426BB5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:16:27]
501*2^1031274-1 is not prime.  Res64: A051912F1E840B8A  Time : 0.0 sec.
user=odicin
[2011-09-04 02:20:57]
521*2^1031274-1 is not prime.  Res64: BF348BF499C1E390  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:25:01]
469*2^1031275-1 is not prime.  Res64: A3BE59FFA2C6AC20  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:26:11]
471*2^1031275-1 is not prime.  Res64: 3C222D5D5708F6C7  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 02:28:00]
489*2^1031273-1 is not prime.  Res64: 0D7D28404D75FCA3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:29:51]
493*2^1031275-1 is not prime.  Res64: 2C0DFC176EEEB72F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 02:32:59]
585*2^1031264-1 is not prime.  Res64: 64680AB604F27A50  Time : 0.0 sec.
user=odicin
[2011-09-04 02:34:21]
517*2^1031265-1 is not prime.  Res64: 0664436B2E483D97  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:34:36]
531*2^1031275-1 is not prime.  Res64: B75F5F622A4B85AC  Time : 0.0 sec.
user=odicin
[2011-09-04 02:37:28]
437*2^1031276-1 is not prime.  Res64: 5C51E66C7570E67B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:39:24]
477*2^1031276-1 is not prime.  Res64: 51106178C6917358  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:44:19]
465*2^1031277-1 is not prime.  Res64: 9C0D4141AE7FE64D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:44:26]
507*2^1031276-1 is not prime.  Res64: E6B8DEC61E7EE7BB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:49:05]
453*2^1031278-1 is not prime.  Res64: D32D03162CEAA241  Time : 0.0 sec.
user=odicin
[2011-09-04 02:53:36]
483*2^1031278-1 is not prime.  Res64: 6B75FE7F1B7B5D2D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 02:53:46]
495*2^1031278-1 is not prime.  Res64: D1E13DEBD2318188  Time : 0.0 sec.
user=odicin
[2011-09-04 02:57:14]
583*2^1031271-1 is not prime.  Res64: 9CF28ACB2F2ACCE2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:02:20]
527*2^1031278-1 is not prime.  Res64: 3197A2899E11831B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:02:26]
545*2^1031278-1 is not prime.  Res64: B0C6581DABF56841  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:03:17]
433*2^1031279-1 is not prime.  Res64: 2E4E7EA88C336A71  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 03:07:17]
507*2^1031278-1 is not prime.  Res64: 84D17D2C50BEFCE7  Time : 0.0 sec.
user=odicin
[2011-09-04 03:10:46]
463*2^1031279-1 is not prime.  Res64: 7E10B37F75ED4F7E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:11:41]
501*2^1031279-1 is not prime.  Res64: 069CB564C6093C5D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 03:11:55]
593*2^1031276-1 is not prime.  Res64: C09AFF5230FE5965  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:16:41]
411*2^1031281-1 is not prime.  Res64: DF7C2BD018595A16  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:20:18]
525*2^1031280-1 is not prime.  Res64: 041F386454833DBE  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:21:16]
555*2^1031281-1 is not prime.  Res64: 6E214996EDAF4953  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:26:07]
441*2^1031283-1 is not prime.  Res64: F2985508365DFA04  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:31:01]
453*2^1031284-1 is not prime.  Res64: B264ED0D1D8A3C17  Time : 0.0 sec.
user=odicin
[2011-09-04 03:33:51]
567*2^1031282-1 is not prime.  Res64: 9FC65523E473F50A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:35:42]
475*2^1031285-1 is not prime.  Res64: B28240F5B923DBB5  Time : 0.0 sec.
user=odicin
[2011-09-04 03:38:19]
447*2^1031278-1 is not prime.  Res64: 928851827EA3DCBC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:38:25]
507*2^1031284-1 is not prime.  Res64: 409BD3A6218D681C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:40:32]
495*2^1031285-1 is not prime.  Res64: D021EA253834B8C3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:49:03]
577*2^1031285-1 is not prime.  Res64: 365E2E7EF2168D9D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:49:56]
405*2^1031287-1 is not prime.  Res64: 0CFF2ABC7CFEFE89  Time : 0.0 sec.
user=odicin
[2011-09-04 03:50:35]
405*2^1031286-1 is not prime.  Res64: 58CF73FE9CE58F24  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 03:54:31]
411*2^1031286-1 is not prime.  Res64: 4B525E513269265F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 03:55:49]
501*2^1031283-1 is not prime.  Res64: F7999A5E7E1BC433  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:56:16]
505*2^1031287-1 is not prime.  Res64: 04FB307D6C862F75  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 03:58:24]
549*2^1031287-1 is not prime.  Res64: 3615DEB98E573268  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 03:59:03]
563*2^1031286-1 is not prime.  Res64: 9ACFF6C1D0ADADD1  Time : 0.0 sec.
user=odicin
[2011-09-04 03:59:45]
437*2^1031280-1 is not prime.  Res64: 8AC18168DF569377  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:04:06]
439*2^1031289-1 is not prime.  Res64: 1E0CCEE07640FFD3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:07:00]
563*2^1031288-1 is not prime.  Res64: 2AC6AB898E3154E0  Time : 0.0 sec.
user=odicin
[2011-09-04 04:08:03]
487*2^1031289-1 is not prime.  Res64: 6C3C3FC60F25C0EA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:12:37]
443*2^1031290-1 is not prime.  Res64: 609EFEF2103C4C89  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 04:12:55]
529*2^1031277-1 is not prime.  Res64: 5CF0D59BB0C1AEEA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:14:10]
549*2^1031289-1 is not prime.  Res64: D9968EAFF413F51B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:21:57]
521*2^1031290-1 is not prime.  Res64: 86CFB848A2FB4385  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:24:48]
571*2^1031291-1 is not prime.  Res64: CFC98B742D2D4BEB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:30:17]
569*2^1031292-1 is not prime.  Res64: FCE0501CC506CB3B  Time : 0.0 sec.
user=odicin
[2011-09-04 04:31:51]
573*2^1031291-1 is not prime.  Res64: C1461CDA236E7D17  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:31:56]
591*2^1031293-1 is not prime.  Res64: 5A45161779CE2F78  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:39:45]
597*2^1031293-1 is not prime.  Res64: 0A9DF5B195C76C51  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 04:39:46]
525*2^1031289-1 is not prime.  Res64: 3DBA26DFBCBC1C2D  Time : 0.0 sec.
user=odicin
[2011-09-04 04:42:26]
451*2^1031287-1 is not prime.  Res64: 43D08976A4BBD3B2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:42:39]
551*2^1031294-1 is not prime.  Res64: A6753A82A63F2630  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:46:00]
459*2^1031295-1 is not prime.  Res64: F3BF89823ED2BA3D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:48:07]
585*2^1031294-1 is not prime.  Res64: 9ACCCA9632654286  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 04:57:39]
573*2^1031295-1 is not prime.  Res64: 18205619B2058563  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 04:58:03]
485*2^1031296-1 is not prime.  Res64: F2B0684BE35D7CD6  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 05:00:14]
479*2^1031296-1 is not prime.  Res64: A7C7168AFBC1075A  Time : 0.0 sec.
user=odicin
[2011-09-04 05:00:29]
483*2^1031290-1 is not prime.  Res64: 032E3CB901898262  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:00:30]
507*2^1031297-1 is not prime.  Res64: 9E93ED8086CE7C5F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:02:13]
465*2^1031298-1 is not prime.  Res64: F7A9DC3C3B161A7E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:03:59]
571*2^1031297-1 is not prime.  Res64: C03362505EEF96BE  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 05:05:16]
563*2^1031296-1 is not prime.  Res64: 4C38A8C281C4030A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:12:04]
485*2^1031298-1 is not prime.  Res64: 08A920B7F40DD068  Time : 0.0 sec.
user=odicin
[2011-09-04 05:12:32]
405*2^1031295-1 is not prime.  Res64: 4B99AD83C7758927  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:14:57]
411*2^1031299-1 is not prime.  Res64: 9AAFB34B3EE7CBC8  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 05:15:56]
471*2^1031295-1 is not prime.  Res64: 197562EFE0A2873A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:16:39]
429*2^1031299-1 is not prime.  Res64: F3C249133BCD05A4  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:21:59]
589*2^1031299-1 is not prime.  Res64: B5EEFDB8C844BD02  Time : 0.0 sec.
user=odicin
[2011-09-04 05:29:09]
495*2^1031300-1 is not prime.  Res64: 58D12E8E242B4E72  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:30:05]
595*2^1031299-1 is not prime.  Res64: 4F0FA2B8C47324AB  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 05:30:41]
477*2^1031293-1 is not prime.  Res64: CBEBED6B71739EB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:30:55]
459*2^1031301-1 is not prime.  Res64: D1A015F7A4181EF7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:33:00]
539*2^1031300-1 is not prime.  Res64: 107CE542BC827A8F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:36:17]
465*2^1031301-1 is not prime.  Res64: 3B0CDC4F1D19E591  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:44:32]
405*2^1031302-1 is not prime.  Res64: 6FB22EB2E33EB787  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:47:28]
459*2^1031304-1 is not prime.  Res64: C4759B1CE99241AD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:48:59]
571*2^1031303-1 is not prime.  Res64: 6B9C28E410B56ECF  Time : 0.0 sec.
user=odicin
[2011-09-04 05:50:05]
487*2^1031297-1 is not prime.  Res64: 3CC7C64A23F73CDB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 05:50:36]
465*2^1031304-1 is not prime.  Res64: 03FABA3F62813965  Time : 0.0 sec.
user=odicin
[2011-09-04 05:51:17]
571*2^1031301-1 is not prime.  Res64: 6C54432D6916DDA6  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 06:00:12]
545*2^1031300-1 is not prime.  Res64: 10F65A1E1DCE832A  Time : 0.0 sec.
user=odicin
[2011-09-04 06:02:06]
495*2^1031298-1 is not prime.  Res64: 3CF1C395F89F8012  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:02:25]
569*2^1031304-1 is not prime.  Res64: 503E8CF8D5209AF5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:04:49]
465*2^1031305-1 is not prime.  Res64: D63EB284A759009A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:05:18]
585*2^1031304-1 is not prime.  Res64: E3E896FDFEBDB90F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:06:56]
597*2^1031304-1 is not prime.  Res64: 758A411FBA20ABE5  Time : 0.0 sec.
user=odicin
[2011-09-04 06:09:34]
471*2^1031305-1 is not prime.  Res64: 641EF9F60A6713F6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:16:33]
497*2^1031306-1 is not prime.  Res64: 0682CC3AA15F6677  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:22:46]
501*2^1031306-1 is not prime.  Res64: B480D19359A98FCF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:23:10]
507*2^1031306-1 is not prime.  Res64: 19E70B9CBCA6322F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:24:48]
521*2^1031306-1 is not prime.  Res64: C55CBAE6B1BC4EDD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:30:49]
453*2^1031307-1 is not prime.  Res64: 655A60472084F96C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:37:13]
469*2^1031307-1 is not prime.  Res64: 2A3C4566251160DD  Time : 0.0 sec.
user=odicin
[2011-09-04 06:37:25]
551*2^1031306-1 is not prime.  Res64: 166634F0AC70A9AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:37:33]
471*2^1031307-1 is not prime.  Res64: 00BCBD6496B218B5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:42:54]
585*2^1031307-1 is not prime.  Res64: 270D2EBAA7AABE82  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 06:44:16]
525*2^1031305-1 is not prime.  Res64: E581E9008B0F4937  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:45:03]
437*2^1031308-1 is not prime.  Res64: 2B9AC487D354FEC2  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 06:48:00]
439*2^1031303-1 is not prime.  Res64: 02AB25F58DD49C03  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:55:07]
527*2^1031308-1 is not prime.  Res64: 1FE69461093BD746  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:55:30]
575*2^1031308-1 is not prime.  Res64: B3FE044A94D36E83  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 06:57:04]
459*2^1031309-1 is not prime.  Res64: 0CEBADCB4CC9F1A2  Time : 0.0 sec.
user=odicin
[2011-09-04 06:57:25]
447*2^1031305-1 is not prime.  Res64: FCE0EDD07793A940  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:02:58]
567*2^1031309-1 is not prime.  Res64: 4CB86531AB58C1C5  Time : 0.0 sec.
user=odicin
[2011-09-04 07:06:21]
573*2^1031308-1 is not prime.  Res64: 490AC747D52F5C30  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:09:52]
405*2^1031311-1 is not prime.  Res64: EE277AF971C539EC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:11:26]
415*2^1031311-1 is not prime.  Res64: 68D0899273C0A876  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:13:10]
543*2^1031310-1 is not prime.  Res64: 61C250D1EAAFF29A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:17:19]
441*2^1031311-1 is not prime.  Res64: BC178AA17C854F1B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 07:20:17]
469*2^1031309-1 is not prime.  Res64: 3C900A1D23C39B61  Time : 0.0 sec.
user=odicin
[2011-09-04 07:23:00]
589*2^1031305-1 is not prime.  Res64: CDDEE6415F345759  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:25:48]
435*2^1031312-1 is not prime.  Res64: C1F7D140184E414D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:27:29]
455*2^1031312-1 is not prime.  Res64: D42539818FC7D994  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:27:57]
535*2^1031311-1 is not prime.  Res64: 0DC10E69C5F085F3  Time : 0.0 sec.
user=odicin
[2011-09-04 07:28:58]
511*2^1031311-1 is not prime.  Res64: A5B944204253051A  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 07:34:50]
595*2^1031311-1 is not prime.  Res64: 6E6353D4F7088028  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:35:19]
539*2^1031312-1 is not prime.  Res64: 32A843C5C179C68F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:40:05]
435*2^1031314-1 is not prime.  Res64: 60E8D53FF003CCE0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:41:49]
483*2^1031314-1 is not prime.  Res64: 3D17843E200A9E9A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:46:09]
545*2^1031314-1 is not prime.  Res64: 6AED1A2D82A1FDF1  Time : 0.0 sec.
user=odicin
[2011-09-04 07:48:24]
481*2^1031315-1 is not prime.  Res64: 8397C0B2C2442F07  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:49:47]
405*2^1031316-1 is not prime.  Res64: 0A2CEBA1F5AE0318  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:54:33]
453*2^1031316-1 is not prime.  Res64: A32EF07E9D853699  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 07:56:16]
471*2^1031313-1 is not prime.  Res64: 4DA118366C802C01  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 07:56:19]
455*2^1031316-1 is not prime.  Res64: 640B39387B34FF51  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:00:34]
485*2^1031316-1 is not prime.  Res64: 02DB6939BDEF606C  Time : 0.0 sec.
user=odicin
[2011-09-04 08:06:40]
439*2^1031311-1 is not prime.  Res64: A29F0BC91534E99A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:07:52]
577*2^1031317-1 is not prime.  Res64: D0DC548ACBD4C5C3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:08:45]
417*2^1031318-1 is not prime.  Res64: 990E20662160154A  Time : 0.0 sec.
user=odicin
[2011-09-04 08:11:29]
409*2^1031317-1 is not prime.  Res64: BA30480C40FFC3AF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:14:17]
551*2^1031318-1 is not prime.  Res64: 64D8B90B9DF783C1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:18:28]
575*2^1031318-1 is not prime.  Res64: 57D29EF3CDEEFBA0  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 08:19:59]
483*2^1031310-1 is not prime.  Res64: BFA005F2D563C155  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:22:03]
481*2^1031319-1 is not prime.  Res64: 448351C46B271394  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:26:46]
513*2^1031319-1 is not prime.  Res64: 323726C2FD76367F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:28:43]
441*2^1031321-1 is not prime.  Res64: 1C97E39A307FA5FD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:32:57]
445*2^1031321-1 is not prime.  Res64: 2121841BA160E635  Time : 0.0 sec.
user=gd_barnes
[2011-09-04 08:34:05]
553*2^1031319-1 is not prime.  Res64: C96FFB4E5E0B4547  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:36:30]
493*2^1031323-1 is not prime.  Res64: FBFF3E306B2A5562  Time : 0.0 sec.
user=odicin
[2011-09-04 08:36:53]
563*2^1031320-1 is not prime.  Res64: 6A91DAAD2BE6A7E3  Time : 0.0 sec.
user=odicin
[2011-09-04 08:41:55]
559*2^1031313-1 is not prime.  Res64: 5AB9F8E745607365  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:43:04]
495*2^1031324-1 is not prime.  Res64: AB845115C3590FEA  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 08:44:26]
503*2^1031318-1 is not prime.  Res64: 1D3306A60257B2CA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:44:51]
555*2^1031323-1 is not prime.  Res64: 34A5E1DF9C28FDB7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:50:48]
405*2^1031325-1 is not prime.  Res64: A1D9A18245960F62  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:51:00]
539*2^1031324-1 is not prime.  Res64: A1CCF33BAB4012E7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:57:24]
443*2^1031326-1 is not prime.  Res64: B4565F741FF50EA9  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 08:59:10]
493*2^1031327-1 is not prime.  Res64: 1D9CCD693E057533  Time : 0.0 sec.
user=odicin
[2011-09-04 08:59:35]
525*2^1031325-1 is not prime.  Res64: 53DE7A716DE6E6FE  Time : 0.0 sec.
user=odicin
[2011-09-04 09:08:13]
411*2^1031319-1 is not prime.  Res64: 1A5D6634BE24F478  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:08:49]
501*2^1031327-1 is not prime.  Res64: 2A5270D16846EC61  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:08:52]
511*2^1031327-1 is not prime.  Res64: 8C50D47A13D873B5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:13:20]
485*2^1031328-1 is not prime.  Res64: 6AD0CDF086B46DB5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:15:12]
519*2^1031327-1 is not prime.  Res64: 373FA2B9073CFE1E  Time : 0.0 sec.
user=odicin
[2011-09-04 09:18:31]
421*2^1031329-1 is not prime.  Res64: AF3EB921730B6BA0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:26:39]
547*2^1031329-1 is not prime.  Res64: 45D4C1D27B73F0E1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:26:45]
567*2^1031329-1 is not prime.  Res64: C9B326FDD6FEC36D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:29:21]
407*2^1031330-1 is not prime.  Res64: 754D1D1281A18661  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:31:14]
589*2^1031329-1 is not prime.  Res64: 83B412FCB7473512  Time : 0.0 sec.
user=odicin
[2011-09-04 09:35:53]
425*2^1031330-1 is not prime.  Res64: 024182F97110B412  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 09:36:42]
591*2^1031326-1 is not prime.  Res64: CE885D5C1FA7082D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:41:10]
405*2^1031331-1 is not prime.  Res64: B2A1B9C6D4BEEAC3  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 09:41:58]
465*2^1031321-1 is not prime.  Res64: E6D9F4E2A9037D1E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:43:41]
433*2^1031331-1 is not prime.  Res64: A5FD886E45ADC3B5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:44:40]
521*2^1031330-1 is not prime.  Res64: BFE5AE4C0A1141AE  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:45:35]
493*2^1031331-1 is not prime.  Res64: D9F41534C1351B41  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:58:54]
425*2^1031334-1 is not prime.  Res64: 8D20290125E0B370  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:59:09]
549*2^1031332-1 is not prime.  Res64: D383A1970A53B4F3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 09:59:53]
451*2^1031335-1 is not prime.  Res64: BC8E7ACDC694B936  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:01:43]
517*2^1031333-1 is not prime.  Res64: 1904093E66DDFE56  Time : 0.0 sec.
user=odicin
[2011-09-04 10:01:44]
585*2^1031331-1 is not prime.  Res64: 6F5C8EC48F9F95E3  Time : 0.0 sec.
user=odicin
[2011-09-04 10:04:54]
529*2^1031325-1 is not prime.  Res64: A2FBED758112A6FF  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 10:14:19]
435*2^1031332-1 is not prime.  Res64: F8B4E739FCBFDAE1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:16:32]
499*2^1031335-1 is not prime.  Res64: E48E4053DCC9113A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:16:50]
523*2^1031335-1 is not prime.  Res64: 9DBC2E949394CDAD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:17:33]
525*2^1031335-1 is not prime.  Res64: 3076E0505C1F8377  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:19:25]
589*2^1031335-1 is not prime.  Res64: 6AE3BBC29536759B  Time : 0.0 sec.
user=odicin
[2011-09-04 10:26:12]
535*2^1031335-1 is not prime.  Res64: E53305AC7A5B78BC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:30:57]
459*2^1031336-1 is not prime.  Res64: 7D1296504562A202  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:31:11]
457*2^1031337-1 is not prime.  Res64: 719BA5A02E4D7601  Time : 0.0 sec.
user=odicin
[2011-09-04 10:31:14]
511*2^1031329-1 is not prime.  Res64: FBE4CA5CD2AA87FB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:33:49]
495*2^1031338-1 is not prime.  Res64: 95A93201905903D2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:35:41]
507*2^1031337-1 is not prime.  Res64: 241444A26EE6D2C9  Time : 0.0 sec.
user=odicin
[2011-09-04 10:44:36]
481*2^1031339-1 is not prime.  Res64: 4E0452EC521CA9E5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:48:49]
531*2^1031339-1 is not prime.  Res64: 613827133792F53C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:49:04]
537*2^1031340-1 is not prime.  Res64: 3037546EE86054B2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:49:47]
429*2^1031341-1 is not prime.  Res64: E435CDF9198552DE  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 10:51:38]
549*2^1031340-1 is not prime.  Res64: 21B0023101C08EE8  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 11:01:05]
447*2^1031336-1 is not prime.  Res64: 223C1521D8110269  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:02:55]
455*2^1031342-1 is not prime.  Res64: CF69C1FECB75294B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:06:54]
525*2^1031342-1 is not prime.  Res64: 0C5128619A729313  Time : 0.0 sec.
user=odicin
[2011-09-04 11:07:23]
547*2^1031341-1 is not prime.  Res64: 9E9B0187E26638EF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:07:37]
537*2^1031342-1 is not prime.  Res64: 5FB4EF2ACF07F3E3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:09:25]
545*2^1031342-1 is not prime.  Res64: 0059B2D1218FEF59  Time : 0.0 sec.
user=odicin
[2011-09-04 11:13:03]
417*2^1031336-1 is not prime.  Res64: 0C84802F27637C22  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:20:49]
591*2^1031343-1 is not prime.  Res64: 5EBF3E3E0CB9D72F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 11:20:50]
573*2^1031332-1 is not prime.  Res64: 4B2BB407D3755BBC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:21:05]
465*2^1031344-1 is not prime.  Res64: AF8B76613A03AF68  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:23:46]
445*2^1031345-1 is not prime.  Res64: 66838216227F5607  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:25:35]
597*2^1031344-1 is not prime.  Res64: 2D0FB71AB44F74E4  Time : 0.0 sec.
user=odicin
[2011-09-04 11:32:11]
509*2^1031344-1 is not prime.  Res64: 62EDE031B4F5B918  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:35:06]
421*2^1031347-1 is not prime.  Res64: 048C49DE2B4F5C5E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:37:59]
413*2^1031348-1 is not prime.  Res64: F6F731CA81A6C403  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:39:04]
595*2^1031347-1 is not prime.  Res64: D41D20075BBF8DE4  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:43:31]
519*2^1031348-1 is not prime.  Res64: 5CD5DC593899AF6F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:53:24]
557*2^1031348-1 is not prime.  Res64: 09A0FD14DFC18B7C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:53:40]
417*2^1031349-1 is not prime.  Res64: 6CF80035EDF8AAF9  Time : 0.0 sec.
user=odicin
[2011-09-04 11:55:24]
549*2^1031339-1 is not prime.  Res64: 94C6B25DB74BFC34  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:56:10]
599*2^1031348-1 is not prime.  Res64: B730171AE525D295  Time : 0.0 sec.
user=odicin
[2011-09-04 11:57:35]
533*2^1031348-1 is not prime.  Res64: 5ECB834415766D31  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 11:58:09]
471*2^1031349-1 is not prime.  Res64: C7813B6B24A94B65  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 12:02:07]
583*2^1031343-1 is not prime.  Res64: 26DA6389FE8B8235  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:08:09]
447*2^1031350-1 is not prime.  Res64: 7A36295C898440A3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:10:50]
497*2^1031352-1 is not prime.  Res64: F7310A8E7E79904C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:12:08]
533*2^1031350-1 is not prime.  Res64: 7B7A6F822E90458B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:13:04]
465*2^1031353-1 is not prime.  Res64: 17D3569BBBA9597E  Time : 0.0 sec.
user=odicin
[2011-09-04 12:21:38]
503*2^1031352-1 is not prime.  Res64: D3D0F019AE54CDBF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:23:46]
447*2^1031354-1 is not prime.  Res64: CF2B3EB76A46DCE5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:27:41]
459*2^1031355-1 is not prime.  Res64: E36190BAB8FCA8B1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:29:54]
521*2^1031354-1 is not prime.  Res64: 8582C41432758B72  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:31:25]
567*2^1031354-1 is not prime.  Res64: 9490F85C0D3BE6BF  Time : 0.0 sec.
user=odicin
[2011-09-04 12:38:55]
511*2^1031345-1 is not prime.  Res64: 0FDA2D979A260CCB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:42:14]
555*2^1031355-1 is not prime.  Res64: 35049713B5ECB5E4  Time : 0.0 sec.
user=odicin
[2011-09-04 12:43:11]
553*2^1031355-1 is not prime.  Res64: 898DE4F3BF196629  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:44:29]
405*2^1031356-1 is not prime.  Res64: B1CE8370DE7F5F53  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:46:04]
583*2^1031355-1 is not prime.  Res64: D73A561345B83467  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 12:46:43]
495*2^1031347-1 is not prime.  Res64: B9C337374C77BB9C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 12:49:51]
563*2^1031356-1 is not prime.  Res64: AC1E023FABD54A22  Time : 0.0 sec.
user=odicin
[2011-09-04 13:00:41]
465*2^1031358-1 is not prime.  Res64: 5DBCF1807110AB7F  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 13:01:27]
541*2^1031353-1 is not prime.  Res64: 24CC7490B18C8202  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:01:33]
517*2^1031357-1 is not prime.  Res64: F8F93ACE0FFEFDF3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:01:38]
465*2^1031359-1 is not prime.  Res64: ABA4E671B6E34002  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:04:02]
581*2^1031358-1 is not prime.  Res64: 895B19CB9DA69187  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:05:19]
425*2^1031360-1 is not prime.  Res64: B00DB3822834A715  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:17:18]
483*2^1031360-1 is not prime.  Res64: 17A8ED786B96F240  Time : 0.0 sec.
user=odicin
[2011-09-04 13:18:41]
465*2^1031360-1 is not prime.  Res64: 26124E5D50FDFCDA  Time : 0.0 sec.
user=odicin
[2011-09-04 13:20:37]
579*2^1031351-1 is not prime.  Res64: CC41E99E1D2AA4A0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:21:31]
427*2^1031361-1 is not prime.  Res64: 3C399AC6908E62FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:21:33]
503*2^1031360-1 is not prime.  Res64: 2D165D6509CF1A8F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:23:59]
563*2^1031360-1 is not prime.  Res64: A3D244357E966B3C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:32:38]
469*2^1031361-1 is not prime.  Res64: CE952894F75EFD7A  Time : 0.0 sec.
user=odicin
[2011-09-04 13:36:26]
471*2^1031361-1 is not prime.  Res64: FF373D163771A304  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:36:28]
491*2^1031362-1 is not prime.  Res64: D7A95DA26CFBFD58  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:41:16]
545*2^1031362-1 is not prime.  Res64: 8BA25D40A47E8A00  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:42:49]
561*2^1031362-1 is not prime.  Res64: 92B5E01026B5DAF6  Time : 0.0 sec.
user=odicin
[2011-09-04 13:46:12]
447*2^1031357-1 is not prime.  Res64: 4E04E2D015AD28D3  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 13:48:05]
479*2^1031360-1 is not prime.  Res64: E73422AF6B400897  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:51:17]
585*2^1031363-1 is not prime.  Res64: 771CE37C2E04E018  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:51:59]
429*2^1031365-1 is not prime.  Res64: 4A34FFCBF07DACA7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:56:14]
441*2^1031365-1 is not prime.  Res64: 0C87FE844C43DF4E  Time : 0.0 sec.
user=odicin
[2011-09-04 13:58:01]
589*2^1031363-1 is not prime.  Res64: AE87123750BD618A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 13:58:27]
407*2^1031366-1 is not prime.  Res64: BA81545A781170CF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:06:35]
405*2^1031367-1 is not prime.  Res64: 22E5B13DBE03F3A1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:06:57]
469*2^1031367-1 is not prime.  Res64: 13A91908BF39B453  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:11:55]
475*2^1031367-1 is not prime.  Res64: A0AFACC1AD79225D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:13:35]
479*2^1031368-1 is not prime.  Res64: 1E9D41683D4C4D3C  Time : 0.0 sec.
user=odicin
[2011-09-04 14:21:04]
555*2^1031367-1 is not prime.  Res64: 4389F5EDA8CF86AC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 14:22:39]
595*2^1031359-1 is not prime.  Res64: D75785D581F2364B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:25:11]
563*2^1031368-1 is not prime.  Res64: 72F77FC70BF91332  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:26:25]
597*2^1031368-1 is not prime.  Res64: E493424372771B41  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:26:38]
447*2^1031369-1 is not prime.  Res64: 18DAC65087740ED7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:32:02]
565*2^1031369-1 is not prime.  Res64: 9FC22A88564B2F22  Time : 0.0 sec.
user=odicin
[2011-09-04 14:39:03]
417*2^1031370-1 is not prime.  Res64: D6930DF595712161  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:41:06]
451*2^1031371-1 is not prime.  Res64: EC68DF372E41B539  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:44:19]
585*2^1031370-1 is not prime.  Res64: 0032294637BB09AF  Time : 0.0 sec.
user=odicin
[2011-09-04 14:45:43]
585*2^1031361-1 is not prime.  Res64: 681392FB048DFD6E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:46:00]
561*2^1031371-1 is not prime.  Res64: CFB7135B135B3D87  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:47:08]
437*2^1031372-1 is not prime.  Res64: 9852E0035238DF7D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 14:49:20]
563*2^1031366-1 is not prime.  Res64: 020AA8BD94B3E6D3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 14:56:44]
483*2^1031372-1 is not prime.  Res64: 14716309C03FF382  Time : 0.0 sec.
user=odicin
[2011-09-04 14:58:17]
477*2^1031372-1 is not prime.  Res64: 2777ED476EDFCDF0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:01:56]
427*2^1031373-1 is not prime.  Res64: C025CADCAF73952F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:02:33]
495*2^1031373-1 is not prime.  Res64: 6609C2D2AC550C3F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:04:20]
519*2^1031372-1 is not prime.  Res64: 6F46F204F34A43AB  Time : 0.0 sec.
user=odicin
[2011-09-04 15:12:27]
501*2^1031366-1 is not prime.  Res64: DDA2162D6B597100  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:15:38]
537*2^1031373-1 is not prime.  Res64: 3F86196FC837CEED  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:17:22]
477*2^1031374-1 is not prime.  Res64: 28EEF1AC85182A4D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:19:10]
495*2^1031374-1 is not prime.  Res64: 0E8A9C5239CA6AF7  Time : 0.0 sec.
user=odicin
[2011-09-04 15:20:38]
549*2^1031373-1 is not prime.  Res64: C307689E9B88E251  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:20:39]
559*2^1031373-1 is not prime.  Res64: 65E0DBEAFE0CB36B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:31:58]
433*2^1031375-1 is not prime.  Res64: C515A29963DCE5E2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:33:43]
459*2^1031375-1 is not prime.  Res64: 9C527759B4021B02  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:34:02]
593*2^1031374-1 is not prime.  Res64: D903CCA3EAABF288  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 15:38:27]
437*2^1031370-1 is not prime.  Res64: 560407EED988FF57  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:38:56]
579*2^1031375-1 is not prime.  Res64: 32EE0D85A80C8FEB  Time : 0.0 sec.
user=odicin
[2011-09-04 15:39:03]
475*2^1031375-1 is not prime.  Res64: 9B30E5B6A539F900  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:48:16]
427*2^1031377-1 is not prime.  Res64: B8B6A53ADF02682A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:50:00]
563*2^1031376-1 is not prime.  Res64: E5166969F4200287  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 15:50:53]
511*2^1031373-1 is not prime.  Res64: 67D0A78F98D5EF53  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:51:44]
585*2^1031376-1 is not prime.  Res64: 01D53F138744F545  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 15:57:15]
531*2^1031377-1 is not prime.  Res64: 60935843FD807691  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:02:31]
483*2^1031378-1 is not prime.  Res64: FBC0E8CBBF57B97A  Time : 0.0 sec.
user=odicin
[2011-09-04 16:02:35]
577*2^1031377-1 is not prime.  Res64: 5AFFA0DD822FFC77  Time : 0.0 sec.
user=odicin
[2011-09-04 16:05:04]
533*2^1031372-1 is not prime.  Res64: 718502E67AA46DC0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:08:03]
503*2^1031378-1 is not prime.  Res64: AD61181F0C96EC64  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:09:46]
525*2^1031378-1 is not prime.  Res64: 5200DC86390FA288  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:15:14]
585*2^1031378-1 is not prime.  Res64: 8233743DC08C5FE6  Time : 0.0 sec.
user=odicin
[2011-09-04 16:19:38]
415*2^1031379-1 is not prime.  Res64: F9FB40345A5241AB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:20:33]
523*2^1031379-1 is not prime.  Res64: 7D066460B2968C13  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:24:13]
437*2^1031380-1 is not prime.  Res64: 90000B7E47A3E7E2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:26:20]
579*2^1031379-1 is not prime.  Res64: F9AD5D0D374F6516  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:29:35]
455*2^1031380-1 is not prime.  Res64: E47789984B250199  Time : 0.0 sec.
user=odicin
[2011-09-04 16:36:25]
489*2^1031380-1 is not prime.  Res64: 0FDD3005CD5D8E63  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 16:38:07]
515*2^1031378-1 is not prime.  Res64: 3AE0E979D748354D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:38:39]
537*2^1031380-1 is not prime.  Res64: 9BCBA3A64AC27990  Time : 0.0 sec.
user=odicin
[2011-09-04 16:40:27]
545*2^1031374-1 is not prime.  Res64: 7FC30D4A56D9FB2F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:40:48]
417*2^1031381-1 is not prime.  Res64: 306C65A3CA3E16DB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:42:26]
539*2^1031380-1 is not prime.  Res64: 0ACB151E486F12AC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:47:40]
571*2^1031381-1 is not prime.  Res64: 8F98BC21F21C8ACD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:53:07]
447*2^1031382-1 is not prime.  Res64: 3A53D374CA80024D  Time : 0.0 sec.
user=odicin
[2011-09-04 16:53:45]
417*2^1031382-1 is not prime.  Res64: DBDA205226A6E3F4  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:56:51]
463*2^1031383-1 is not prime.  Res64: 2EF35188C5729BB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 16:58:58]
563*2^1031382-1 is not prime.  Res64: 56F59B36DD7B8881  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:06:00]
511*2^1031383-1 is not prime.  Res64: FD32311E1AC7E90F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:07:23]
459*2^1031384-1 is not prime.  Res64: 7DF96426CF3F4E1B  Time : 0.0 sec.
user=odicin
[2011-09-04 17:11:56]
495*2^1031384-1 is not prime.  Res64: 4CE149C95B5D22DC  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 17:14:28]
425*2^1031382-1 is not prime.  Res64: 1E14D4A9405D52CB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:14:47]
519*2^1031384-1 is not prime.  Res64: A270EDC922541664  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:17:06]
533*2^1031384-1 is not prime.  Res64: 8393FFF251E94E51  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 17:17:59]
499*2^1031377-1 is not prime.  Res64: 96E266A05D7C7DC3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:23:59]
585*2^1031384-1 is not prime.  Res64: B34D280399C2E894  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:25:21]
577*2^1031385-1 is not prime.  Res64: DDB0E43BCD4AEA2D  Time : 0.0 sec.
user=odicin
[2011-09-04 17:27:58]
543*2^1031379-1 is not prime.  Res64: 7C74FEF2C3FFAFAE  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:31:30]
493*2^1031387-1 is not prime.  Res64: 2E832463FA3D6140  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:32:53]
597*2^1031386-1 is not prime.  Res64: 6449C55D74813BDB  Time : 0.0 sec.
user=odicin
[2011-09-04 17:35:04]
595*2^1031385-1 is not prime.  Res64: 62F8CB032FB2D10B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:39:46]
473*2^1031388-1 is not prime.  Res64: 7A20B218B7589F3D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:42:18]
531*2^1031387-1 is not prime.  Res64: 24453C3EE606090A  Time : 0.0 sec.
user=odicin
[2011-09-04 17:45:51]
483*2^1031382-1 is not prime.  Res64: CB4B9264C81DCAB7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:49:27]
525*2^1031388-1 is not prime.  Res64: F97171195EBBE677  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:50:54]
527*2^1031388-1 is not prime.  Res64: 833BACE1876571EE  Time : 0.0 sec.
user=odicin
[2011-09-04 17:56:59]
563*2^1031388-1 is not prime.  Res64: 0611C7A32C47AD09  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 17:58:00]
579*2^1031388-1 is not prime.  Res64: BDB4FC7461CCF218  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 17:58:20]
545*2^1031386-1 is not prime.  Res64: 4A76C87E3EB2EFB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:00:20]
525*2^1031389-1 is not prime.  Res64: 3B33CF981134F5B0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:05:11]
405*2^1031392-1 is not prime.  Res64: 4CC0C330AE48853D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:07:28]
585*2^1031390-1 is not prime.  Res64: 1D8702C8BD5E0FE7  Time : 0.0 sec.
user=odicin
[2011-09-04 18:14:39]
419*2^1031392-1 is not prime.  Res64: D50F76A912B90421  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:16:20]
539*2^1031392-1 is not prime.  Res64: 425A8D029094EBD3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:18:35]
501*2^1031393-1 is not prime.  Res64: DFEB25DB991926C9  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:22:24]
411*2^1031395-1 is not prime.  Res64: 281969834863175F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:23:37]
543*2^1031394-1 is not prime.  Res64: 66D5AC23B4273E26  Time : 0.0 sec.
user=odicin
[2011-09-04 18:32:16]
489*2^1031388-1 is not prime.  Res64: B3A803EC18441F77  Time : 0.0 sec.
user=odicin
[2011-09-04 18:33:35]
429*2^1031395-1 is not prime.  Res64: 04D9F74918AFABFD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:35:00]
499*2^1031395-1 is not prime.  Res64: 5626618E8276BB68  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:37:03]
595*2^1031395-1 is not prime.  Res64: 69B3DE277C592AB6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:37:14]
447*2^1031396-1 is not prime.  Res64: 7450D4D1C4C5C1B2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:38:41]
455*2^1031396-1 is not prime.  Res64: 27DCBD8D9C8171D0  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 18:42:11]
573*2^1031392-1 is not prime.  Res64: 5ED2A5FF4319020E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:50:13]
447*2^1031397-1 is not prime.  Res64: E2534756DE33D244  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:51:56]
413*2^1031398-1 is not prime.  Res64: 8244D593D1AD5E94  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:53:56]
435*2^1031398-1 is not prime.  Res64: A4B9A4F582B14802  Time : 0.0 sec.
user=odicin
[2011-09-04 18:55:37]
579*2^1031396-1 is not prime.  Res64: 3ADB06F7D9D839DF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 18:56:13]
529*2^1031397-1 is not prime.  Res64: 3CB85C9272082892  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 18:58:11]
511*2^1031387-1 is not prime.  Res64: D734D599E0FE1405  Time : 0.0 sec.
user=odicin
[2011-09-04 19:08:12]
595*2^1031389-1 is not prime.  Res64: 691261F82696EAFA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:08:46]
513*2^1031398-1 is not prime.  Res64: ACC6AD874AB89559  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:09:03]
421*2^1031399-1 is not prime.  Res64: 4D450D4862E14DE6  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:10:19]
527*2^1031398-1 is not prime.  Res64: 17EB8551D7EE6A9C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:15:37]
523*2^1031399-1 is not prime.  Res64: 5BAA879CDB08E7F9  Time : 0.0 sec.
user=odicin
[2011-09-04 19:17:15]
505*2^1031399-1 is not prime.  Res64: 3DE0C4C8A7D1ADCE  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 19:18:17]
495*2^1031398-1 is not prime.  Res64: AA104F8F311FE39A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:23:25]
467*2^1031400-1 is not prime.  Res64: F6FB1EB95000F903  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:27:11]
527*2^1031400-1 is not prime.  Res64: 74AD32CC45E8D060  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:28:46]
597*2^1031400-1 is not prime.  Res64: CD1E934B83B1DD86  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:33:48]
535*2^1031401-1 is not prime.  Res64: 8E26D02EE8CE3F46  Time : 0.0 sec.
user=odicin
[2011-09-04 19:34:48]
465*2^1031396-1 is not prime.  Res64: 4A466A38484C17E3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:38:03]
407*2^1031402-1 is not prime.  Res64: FD2000F0FB3D6273  Time : 0.0 sec.
user=odicin
[2011-09-04 19:38:33]
547*2^1031401-1 is not prime.  Res64: 9864E460807BBCB5  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:41:58]
447*2^1031402-1 is not prime.  Res64: DFFFD7C09D5CF18C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:47:21]
501*2^1031402-1 is not prime.  Res64: 1ECCA557AE5661F0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:52:25]
503*2^1031402-1 is not prime.  Res64: 3BD0E1530BB23AD1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:56:28]
593*2^1031402-1 is not prime.  Res64: 13878D2446F732D7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 19:56:29]
489*2^1031405-1 is not prime.  Res64: 62F3B94E1E8C37DF  Time : 0.0 sec.
user=odicin
[2011-09-04 20:00:44]
565*2^1031403-1 is not prime.  Res64: CF0D2CEA7453E732  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 20:02:08]
577*2^1031401-1 is not prime.  Res64: 7A748D94F39F8F55  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:05:58]
511*2^1031405-1 is not prime.  Res64: E36EF3BA5268FB83  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:07:19]
437*2^1031406-1 is not prime.  Res64: 53AB0BA0814AD037  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:11:38]
483*2^1031406-1 is not prime.  Res64: 50BCB85AFC1FF791  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:11:52]
465*2^1031406-1 is not prime.  Res64: 96C5384A8AA96FE3  Time : 0.0 sec.
user=odicin
[2011-09-04 20:14:42]
455*2^1031400-1 is not prime.  Res64: 37088785D78B0C2A  Time : 0.0 sec.
user=odicin
[2011-09-04 20:23:40]
503*2^1031406-1 is not prime.  Res64: 0F7303B34123334A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:24:24]
587*2^1031406-1 is not prime.  Res64: 50FC193BED2466FA  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:25:53]
593*2^1031406-1 is not prime.  Res64: 718A29AA767E68DB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:26:22]
439*2^1031407-1 is not prime.  Res64: C3A5D14F66F18A20  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:34:29]
503*2^1031408-1 is not prime.  Res64: 5AB52270B943A2E5  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 20:37:05]
579*2^1031399-1 is not prime.  Res64: 7E33532DCA34598A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:40:15]
481*2^1031409-1 is not prime.  Res64: B9212967EB9DDF65  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:42:43]
539*2^1031408-1 is not prime.  Res64: CEFD3F035BAA545E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:44:45]
555*2^1031409-1 is not prime.  Res64: C2828D10F6376B86  Time : 0.0 sec.
user=odicin
[2011-09-04 20:46:38]
507*2^1031408-1 is not prime.  Res64: C94DE26F28C667E9  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 20:47:07]
521*2^1031406-1 is not prime.  Res64: BA424D318251F96D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:52:55]
579*2^1031409-1 is not prime.  Res64: 24847D747D345755  Time : 0.0 sec.
user=odicin
[2011-09-04 20:53:18]
551*2^1031402-1 is not prime.  Res64: BCC80493DB2EF227  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:55:02]
461*2^1031410-1 is not prime.  Res64: 52865EDF57F7EBEC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 20:57:13]
471*2^1031410-1 is not prime.  Res64: 19F9686039D97D65  Time : 0.0 sec.
user=odicin
[2011-09-04 21:03:17]
465*2^1031411-1 is not prime.  Res64: 5C51B9F2F44C23F2  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:03:29]
587*2^1031410-1 is not prime.  Res64: C0F032F2E096B32E  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:07:49]
437*2^1031412-1 is not prime.  Res64: 3B8D8195A01149F3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:09:46]
483*2^1031412-1 is not prime.  Res64: 05251B356281A407  Time : 0.0 sec.
user=odicin
[2011-09-04 21:11:18]
451*2^1031407-1 is not prime.  Res64: FC3B4C69AF4D091D  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:15:40]
527*2^1031412-1 is not prime.  Res64: 8705315A8C56F703  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:18:12]
471*2^1031413-1 is not prime.  Res64: E514916BFFCB7B32  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:22:17]
489*2^1031413-1 is not prime.  Res64: C9F6908A6DCF302C  Time : 0.0 sec.
user=odicin
[2011-09-04 21:25:04]
579*2^1031412-1 is not prime.  Res64: 186B1F023B14AC96  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:27:57]
547*2^1031413-1 is not prime.  Res64: DE2D4582939A147D  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 21:31:55]
579*2^1031411-1 is not prime.  Res64: 74B42A755C5792B1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:33:47]
501*2^1031414-1 is not prime.  Res64: 0C3346BAAE7DB807  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:36:29]
533*2^1031414-1 is not prime.  Res64: D98C4E926398C501  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:40:22]
587*2^1031414-1 is not prime.  Res64: 629CF7B47007B815  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:42:27]
413*2^1031416-1 is not prime.  Res64: 7E5A63AFAA304773  Time : 0.0 sec.
user=odicin
[2011-09-04 21:47:18]
531*2^1031415-1 is not prime.  Res64: A86B76D0DF39577A  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:52:49]
509*2^1031416-1 is not prime.  Res64: 6565848F4704D5AF  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 21:54:23]
401*2^1031410-1 is not prime.  Res64: 1710E91C88060729  Time : 0.0 sec.
user=odicin
[2011-09-04 21:55:32]
459*2^1031412-1 is not prime.  Res64: A67FF9DB7EA74A44  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 21:55:50]
561*2^1031417-1 is not prime.  Res64: 5ED8C8B16D5E9E8C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:00:01]
515*2^1031418-1 is not prime.  Res64: 7E6EFC3C3B669989  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:02:27]
527*2^1031418-1 is not prime.  Res64: 58274138D8BF974B  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 22:07:49]
453*2^1031416-1 is not prime.  Res64: 1521CC0FA212A76D  Time : 0.0 sec.
user=odicin
[2011-09-04 22:09:41]
551*2^1031418-1 is not prime.  Res64: D40FD5EF92068B58  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:11:30]
493*2^1031419-1 is not prime.  Res64: 1194B49BCE5F07C0  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:13:41]
581*2^1031418-1 is not prime.  Res64: 6DEF60F902EF2BFB  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:18:47]
417*2^1031420-1 is not prime.  Res64: 457A263B67D18E25  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:20:33]
579*2^1031419-1 is not prime.  Res64: 457D3E67B46D8C75  Time : 0.0 sec.
user=odicin
[2011-09-04 22:26:12]
449*2^1031420-1 is not prime.  Res64: 51CEAD13A11C77AD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:27:14]
459*2^1031420-1 is not prime.  Res64: DC659B32EF354AB7  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:33:02]
519*2^1031420-1 is not prime.  Res64: 721CC927B029D9E8  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:37:29]
533*2^1031420-1 is not prime.  Res64: C0BA2E98D7FFD725  Time : 0.0 sec.
user=odicin
[2011-09-04 22:37:31]
549*2^1031413-1 is not prime.  Res64: 9FEFEB7F1CBC16FC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:39:08]
585*2^1031420-1 is not prime.  Res64: 0E9C2280825FEA07  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:41:58]
415*2^1031421-1 is not prime.  Res64: 61A5FEF6E276F213  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 22:43:48]
447*2^1031420-1 is not prime.  Res64: 8AED9377FFF8EC68  Time : 0.0 sec.
user=odicin
[2011-09-04 22:46:45]
599*2^1031420-1 is not prime.  Res64: 2F49A8D98E1D6113  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:47:45]
441*2^1031421-1 is not prime.  Res64: 859EBE4FE60844F4  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:52:06]
445*2^1031421-1 is not prime.  Res64: 515F80BCDE631537  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 22:57:36]
499*2^1031421-1 is not prime.  Res64: 1B2846C76C8F309C  Time : 0.0 sec.
user=odicin
[2011-09-04 22:59:55]
429*2^1031419-1 is not prime.  Res64: 871F1CB713F97127  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:00:26]
577*2^1031421-1 is not prime.  Res64: 9657C9EA800FEB06  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:06:14]
561*2^1031422-1 is not prime.  Res64: 05863D103986AEEC  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:06:40]
433*2^1031423-1 is not prime.  Res64: 84F2AE04F9595833  Time : 0.0 sec.
user=odicin
[2011-09-04 23:09:15]
555*2^1031422-1 is not prime.  Res64: C6A236CBA3575BFD  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 23:11:19]
411*2^1031419-1 is not prime.  Res64: FE8719FF8DD6EC01  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:12:07]
435*2^1031423-1 is not prime.  Res64: 870F2F6651850BBE  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:14:57]
451*2^1031423-1 is not prime.  Res64: 5460C11BAA4B063B  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:24:31]
511*2^1031423-1 is not prime.  Res64: 38A6A0914E5BFCBF  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:24:49]
559*2^1031423-1 is not prime.  Res64: C40AEC002DF68515  Time : 0.0 sec.
user=odicin
[2011-09-04 23:26:25]
419*2^1031424-1 is not prime.  Res64: 1B34B2BE5F680E5A  Time : 0.0 sec.
user=Jean_Penne
[2011-09-04 23:27:46]
591*2^1031421-1 is not prime.  Res64: 644A8F94CBA72D87  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:29:29]
405*2^1031425-1 is not prime.  Res64: A80B0DE93422141F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:30:21]
567*2^1031424-1 is not prime.  Res64: 1CBC2CAEE10BAA8F  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:38:59]
411*2^1031425-1 is not prime.  Res64: 946A0D50CCAC8EBD  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:39:14]
415*2^1031425-1 is not prime.  Res64: 4622AFE162CDF6D0  Time : 0.0 sec.
user=odicin
[2011-09-04 23:44:38]
441*2^1031425-1 is not prime.  Res64: C57938A33F84009C  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:47:42]
501*2^1031426-1 is not prime.  Res64: 4E8BAB28D9EF1DC1  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:48:41]
563*2^1031426-1 is not prime.  Res64: B78A2720BFB855D3  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:53:40]
453*2^1031427-1 is not prime.  Res64: 00F87FAAB97F1834  Time : 0.0 sec.
user=mdettweiler
[2011-09-04 23:57:08]
581*2^1031426-1 is not prime.  Res64: 61314EE6D1CA00D6  Time : 0.0 sec.