user=mdettweiler
[2011-12-03 00:02:16]
593*2^1071114-1 is not prime.  Res64: F71B5A93F8C930DD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:02:36]
411*2^1071115-1 is not prime.  Res64: 63400B10DA3C3C03  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:02:46]
499*2^1071115-1 is not prime.  Res64: 42668D10AF916B8B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:04:28]
417*2^1071116-1 is not prime.  Res64: 17C9B6FAAD28D99C  Time : 0.0 sec.
user=odicin
[2011-12-03 00:09:52]
563*2^1071114-1 is not prime.  Res64: 22F6B65F5BF7041C  Time : 0.0 sec.
user=odicin
[2011-12-03 00:20:29]
453*2^1071116-1 is not prime.  Res64: CED2DB9287DAC2CF  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:20:36]
477*2^1071116-1 is not prime.  Res64: 5ADA64C57C9EA609  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:21:01]
495*2^1071116-1 is not prime.  Res64: A953540C06749AA3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:21:06]
503*2^1071116-1 is not prime.  Res64: A034E3E76BC0BDAC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:22:48]
539*2^1071116-1 is not prime.  Res64: 9CA775E8B417909B  Time : 0.0 sec.
user=odicin
[2011-12-03 00:36:16]
545*2^1071116-1 is not prime.  Res64: 38B77AE4296834E8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:38:56]
499*2^1071117-1 is not prime.  Res64: A9B006856D7C7BF9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:39:18]
525*2^1071118-1 is not prime.  Res64: B5772314FE74C4BF  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:39:26]
581*2^1071118-1 is not prime.  Res64: 375F3BA164D08505  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:41:05]
421*2^1071119-1 is not prime.  Res64: E7C2E5E433614BEC  Time : 0.0 sec.
user=odicin
[2011-12-03 00:46:50]
475*2^1071117-1 is not prime.  Res64: F8DBCF31D9504546  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:57:14]
411*2^1071121-1 is not prime.  Res64: 223B7B40E5984167  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:57:35]
417*2^1071122-1 is not prime.  Res64: FDBDDF8A1B513BB2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:57:44]
545*2^1071122-1 is not prime.  Res64: 56F2E10D3558871E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 00:59:27]
551*2^1071122-1 is not prime.  Res64: 4A50518990E321E9  Time : 0.0 sec.
user=odicin
[2011-12-03 01:02:34]
531*2^1071119-1 is not prime.  Res64: 6CF1DD67B7B480F9  Time : 0.0 sec.
user=odicin
[2011-12-03 01:13:08]
409*2^1071123-1 is not prime.  Res64: D216C0855A7DEF19  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:15:58]
433*2^1071123-1 is not prime.  Res64: C9709CB60E781258  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:16:04]
571*2^1071123-1 is not prime.  Res64: E6BA48CEBFDB9F3F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:16:08]
573*2^1071123-1 is not prime.  Res64: 74039DB6DC11ACAD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:18:04]
435*2^1071124-1 is not prime.  Res64: 446242E8D045E1C6  Time : 0.0 sec.
user=odicin
[2011-12-03 01:28:53]
567*2^1071124-1 is not prime.  Res64: CFE6A3F58627F1AA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:34:15]
573*2^1071124-1 is not prime.  Res64: 94FC44F17C88C657  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:34:23]
411*2^1071125-1 is not prime.  Res64: 0FE5498E40A4F23E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:34:26]
451*2^1071125-1 is not prime.  Res64: 594BFCBB3022F2B0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:36:24]
481*2^1071125-1 is not prime.  Res64: 54CA7A1D8B089D87  Time : 0.0 sec.
user=odicin
[2011-12-03 01:39:38]
569*2^1071124-1 is not prime.  Res64: CF86B4DFB17BF8A6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:52:35]
473*2^1071126-1 is not prime.  Res64: 2E8C7499FAB1915A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:52:39]
527*2^1071126-1 is not prime.  Res64: 7E478DA3EB396AD8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:52:48]
567*2^1071126-1 is not prime.  Res64: B7E49F70C45E34A5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 01:54:45]
581*2^1071126-1 is not prime.  Res64: ACBA519F7D606AC6  Time : 0.0 sec.
user=odicin
[2011-12-03 01:55:15]
437*2^1071126-1 is not prime.  Res64: 4C1ADF76AF8AF606  Time : 0.0 sec.
user=odicin
[2011-12-03 02:05:56]
421*2^1071127-1 is not prime.  Res64: 8221C870A98A66E6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:10:51]
471*2^1071127-1 is not prime.  Res64: 9E23AF1B97AFB4F7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:11:01]
483*2^1071127-1 is not prime.  Res64: FA399A35553394DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:11:16]
549*2^1071127-1 is not prime.  Res64: 8A1E71A767B73C62  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:13:02]
563*2^1071128-1 is not prime.  Res64: 7D6945D558E6C419  Time : 0.0 sec.
user=odicin
[2011-12-03 02:21:35]
585*2^1071128-1 is not prime.  Res64: B2D22F24AA46CC71  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:29:15]
501*2^1071129-1 is not prime.  Res64: 252276C70DB5D766  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:29:35]
521*2^1071130-1 is not prime.  Res64: D57A300D849784F1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:31:23]
433*2^1071131-1 is not prime.  Res64: C3C92FD41D256506  Time : 0.0 sec.
user=odicin
[2011-12-03 02:32:20]
499*2^1071129-1 is not prime.  Res64: 23783ED0A4EC45D5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:34:42]
475*2^1071131-1 is not prime.  Res64: 0900084D350670A3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:47:37]
503*2^1071132-1 is not prime.  Res64: C580AA832898846F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:47:51]
569*2^1071132-1 is not prime.  Res64: E1BFECF3F8300983  Time : 0.0 sec.
user=odicin
[2011-12-03 02:47:53]
595*2^1071131-1 is not prime.  Res64: D7B90BB2D941BE99  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:49:44]
585*2^1071132-1 is not prime.  Res64: 7008C2E5FA996EAF  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 02:53:06]
439*2^1071133-1 is not prime.  Res64: 7CF6AC30CE028F4D  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 02:54:52]
435*2^1071133-1 is not prime.  Res64: C399333A02AEC842  Time : 0.0 sec.
user=odicin
[2011-12-03 02:58:47]
411*2^1071133-1 is not prime.  Res64: 9ED3396156B91D2D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:05:58]
525*2^1071133-1 is not prime.  Res64: 4CA3E6C7E165FC5E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:06:19]
595*2^1071133-1 is not prime.  Res64: E1729D3084E66E18  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:08:00]
425*2^1071134-1 is not prime.  Res64: EFF1CF40E9FD8F43  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:11:24]
461*2^1071134-1 is not prime.  Res64: D8AB79BD60A4B0DF  Time : 0.0 sec.
user=odicin
[2011-12-03 03:14:14]
549*2^1071133-1 is not prime.  Res64: AE6F9C3AED6E7759  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:24:17]
503*2^1071134-1 is not prime.  Res64: 8B0552E1CD757384  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:24:40]
429*2^1071135-1 is not prime.  Res64: 788532949FF8C6E2  Time : 0.0 sec.
user=odicin
[2011-12-03 03:25:12]
495*2^1071134-1 is not prime.  Res64: 9900E4FB14921160  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:26:16]
501*2^1071135-1 is not prime.  Res64: 14762D9A76FC2125  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:29:48]
511*2^1071135-1 is not prime.  Res64: ACA013C693596943  Time : 0.0 sec.
user=odicin
[2011-12-03 03:40:38]
407*2^1071136-1 is not prime.  Res64: 745AD98CD99D058B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:42:36]
563*2^1071136-1 is not prime.  Res64: 1AFBC9D6901278D6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:43:00]
597*2^1071136-1 is not prime.  Res64: C39373828F7BADC3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:44:34]
525*2^1071138-1 is not prime.  Res64: D1E62993EFCD43CC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 03:48:07]
425*2^1071140-1 is not prime.  Res64: C6CE860CB03800AF  Time : 0.0 sec.
user=odicin
[2011-12-03 03:51:34]
421*2^1071137-1 is not prime.  Res64: A3B60E18F64FE12B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:00:50]
557*2^1071140-1 is not prime.  Res64: 911404983A1C4737  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:01:20]
579*2^1071140-1 is not prime.  Res64: 926D193CB8C9CFC9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:02:53]
427*2^1071141-1 is not prime.  Res64: 4744A0DD131BABA2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:06:27]
517*2^1071141-1 is not prime.  Res64: 4A4FC5FE7016BC2B  Time : 0.0 sec.
user=odicin
[2011-12-03 04:06:54]
545*2^1071140-1 is not prime.  Res64: 41E40FC79636191C  Time : 0.0 sec.
user=odicin
[2011-12-03 04:17:48]
549*2^1071141-1 is not prime.  Res64: 952CE51D4C31824C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:19:22]
483*2^1071142-1 is not prime.  Res64: FB55CD7520C04055  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:19:36]
525*2^1071142-1 is not prime.  Res64: A1A0B2CEC665BC98  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:21:11]
411*2^1071143-1 is not prime.  Res64: 655E5C4E8D1F3D2A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:24:44]
501*2^1071143-1 is not prime.  Res64: BF99C15783E0B36D  Time : 0.0 sec.
user=odicin
[2011-12-03 04:33:12]
559*2^1071143-1 is not prime.  Res64: BCBED59F5B86F7BA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:37:39]
429*2^1071144-1 is not prime.  Res64: 6E6CA0B013495559  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:52]
593*2^1071110-1 is not prime.  Res64: D75D64A4B80E9EF8  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:53]
403*2^1071111-1 is not prime.  Res64: 24BC7A6E7BB4479B  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:54]
493*2^1071111-1 is not prime.  Res64: 6D25BD4256135297  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:55]
513*2^1071111-1 is not prime.  Res64: 977B24334EE4FFAD  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:56]
579*2^1071111-1 is not prime.  Res64: C3C8ED7222566B2A  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:57]
595*2^1071111-1 is not prime.  Res64: 76008A9BAFA0786C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:37:58]
569*2^1071144-1 is not prime.  Res64: FEBFD305DCB42A78  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:59]
567*2^1071112-1 is not prime.  Res64: B528056E0D4CBB34  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:37:59]
435*2^1071113-1 is not prime.  Res64: 0E6839834CE203E5  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:00]
487*2^1071113-1 is not prime.  Res64: F7D736705B3B525C  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:01]
489*2^1071113-1 is not prime.  Res64: B19815D2570CE777  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:02]
525*2^1071113-1 is not prime.  Res64: 57147637353C5217  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:03]
529*2^1071113-1 is not prime.  Res64: 979F45459487F834  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:04]
549*2^1071113-1 is not prime.  Res64: 68B78BA898EBF589  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:05]
559*2^1071113-1 is not prime.  Res64: 6E5A7763AA21683A  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:06]
585*2^1071113-1 is not prime.  Res64: BB34EF6DB56A99D3  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:06]
431*2^1071114-1 is not prime.  Res64: F24588A028B6C2EE  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:07]
465*2^1071114-1 is not prime.  Res64: 7554E367087E099A  Time : 0.0 sec.
user=juhehe
[2011-12-03 04:38:08]
483*2^1071114-1 is not prime.  Res64: AA6B25BE608C1EC5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:39:28]
597*2^1071144-1 is not prime.  Res64: 3470E311CDCA2D49  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:43:07]
525*2^1071145-1 is not prime.  Res64: 91A084DD4AFEB256  Time : 0.0 sec.
user=odicin
[2011-12-03 04:44:06]
423*2^1071144-1 is not prime.  Res64: 1F12B5D351489060  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:56:00]
589*2^1071145-1 is not prime.  Res64: BDB1ECD9036AD973  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:56:18]
407*2^1071146-1 is not prime.  Res64: D90D77E9E550F968  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 04:57:47]
503*2^1071146-1 is not prime.  Res64: 89996627837DBC70  Time : 0.0 sec.
user=odicin
[2011-12-03 04:59:31]
577*2^1071145-1 is not prime.  Res64: 4184359699CA1D8D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:01:30]
433*2^1071147-1 is not prime.  Res64: F22ED081EC2B4FFB  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:05:23]
495*2^1071114-1 is not prime.  Res64: 1E22D2CA58DF6504  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:05:25]
513*2^1071114-1 is not prime.  Res64: 7509236618F56472  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:23]
439*2^1071093-1 is not prime.  Res64: 4352A83FD51FB772  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:25]
445*2^1071093-1 is not prime.  Res64: 7FD06C1612C09606  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:26]
451*2^1071093-1 is not prime.  Res64: 4EBAABF4EC181A32  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:27]
559*2^1071093-1 is not prime.  Res64: A70DFB50FE2764D8  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:28]
411*2^1071094-1 is not prime.  Res64: 7F6D66FBFE6B3846  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:29]
453*2^1071094-1 is not prime.  Res64: 5A8964F65D314AE4  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:29]
491*2^1071094-1 is not prime.  Res64: C9F84367C537977B  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:30]
561*2^1071094-1 is not prime.  Res64: 8323EC2A30B421CF  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:31]
445*2^1071095-1 is not prime.  Res64: DE1214B50C771091  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:31]
469*2^1071095-1 is not prime.  Res64: 4A0C2F8546917FA8  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:32]
501*2^1071095-1 is not prime.  Res64: EBF60F25F66A16FB  Time : 0.0 sec.
user=juhehe
[2011-12-03 05:07:33]
455*2^1071096-1 is not prime.  Res64: B8D19BE8B8BB3AA0  Time : 0.0 sec.
user=odicin
[2011-12-03 05:10:29]
445*2^1071147-1 is not prime.  Res64: DEF21922027F63D8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:14:34]
493*2^1071147-1 is not prime.  Res64: BC09022A5BED90D2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:14:36]
539*2^1071148-1 is not prime.  Res64: 885F123F19057920  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:19:53]
525*2^1071150-1 is not prime.  Res64: 4364A9E668D0860C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:21:58]
559*2^1071149-1 is not prime.  Res64: 0050210E87C5FE92  Time : 0.0 sec.
user=odicin
[2011-12-03 05:26:01]
453*2^1071150-1 is not prime.  Res64: 385503D9552FBDE1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:32:55]
579*2^1071155-1 is not prime.  Res64: FC66D38F6B0223DA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:33:05]
405*2^1071156-1 is not prime.  Res64: 8D06A9BF97B3A9C1  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:34:12]
591*2^1071153-1 is not prime.  Res64: E66BD538E5BD9D5B  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:34:53]
411*2^1071155-1 is not prime.  Res64: 161B464F7A871A6E  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:35:40]
421*2^1071155-1 is not prime.  Res64: F490620487B6D979  Time : 0.0 sec.
user=odicin
[2011-12-03 05:36:56]
481*2^1071155-1 is not prime.  Res64: E5BCC202C52FEF22  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:38:14]
597*2^1071156-1 is not prime.  Res64: 48E8529A9CBE61A8  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:39:11]
525*2^1071156-1 is not prime.  Res64: 5FA74143B4C20D36  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:40:15]
437*2^1071156-1 is not prime.  Res64: 308BC5FAF5600D16  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:40:27]
405*2^1071157-1 is not prime.  Res64: C9970AB8FA007D99  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 05:45:23]
563*2^1071156-1 is not prime.  Res64: 1C8109FAF3057F39  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:51:12]
441*2^1071157-1 is not prime.  Res64: A13E4DC561310F67  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:51:29]
519*2^1071157-1 is not prime.  Res64: 6D0DF6E15C28001C  Time : 0.0 sec.
user=odicin
[2011-12-03 05:52:23]
435*2^1071157-1 is not prime.  Res64: 0C7D8342B9806C14  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:56:32]
423*2^1071158-1 is not prime.  Res64: 37456846EC25EBDE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 05:58:44]
495*2^1071158-1 is not prime.  Res64: B1AEF78B0028D5EF  Time : 0.0 sec.
user=odicin
[2011-12-03 06:03:16]
565*2^1071157-1 is not prime.  Res64: 1B68D377A71E7FA9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:09:33]
501*2^1071158-1 is not prime.  Res64: 3CF4A416760B1C09  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:09:47]
545*2^1071158-1 is not prime.  Res64: 57BD8A94EB47CF76  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:14:48]
493*2^1071159-1 is not prime.  Res64: CE835C6723B7F3C7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:16:59]
573*2^1071159-1 is not prime.  Res64: FD47883A63326CDA  Time : 0.0 sec.
user=odicin
[2011-12-03 06:18:42]
465*2^1071159-1 is not prime.  Res64: 6057EBEAEBF89FAA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:27:56]
509*2^1071160-1 is not prime.  Res64: 8C01A9AC3C02E22F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:28:09]
563*2^1071160-1 is not prime.  Res64: E26DA1296B5D0A6E  Time : 0.0 sec.
user=odicin
[2011-12-03 06:29:34]
465*2^1071160-1 is not prime.  Res64: 2FC6AE360DD1B62A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:33:09]
569*2^1071160-1 is not prime.  Res64: 3319679FC00F4932  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:35:19]
459*2^1071161-1 is not prime.  Res64: E9ABA705F9149786  Time : 0.0 sec.
user=odicin
[2011-12-03 06:45:08]
525*2^1071161-1 is not prime.  Res64: F10143B194E00D15  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:46:11]
405*2^1071162-1 is not prime.  Res64: E4999FDE47F5CDD1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:46:28]
423*2^1071162-1 is not prime.  Res64: D0A031DE59AA3A75  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:51:28]
463*2^1071163-1 is not prime.  Res64: 372BB5DD91EA175D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 06:53:34]
553*2^1071163-1 is not prime.  Res64: 2DAD18B12CEA595C  Time : 0.0 sec.
user=odicin
[2011-12-03 06:55:54]
485*2^1071162-1 is not prime.  Res64: 23F8E51489505CEE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:04:34]
425*2^1071164-1 is not prime.  Res64: 8640558B3B999B09  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:04:44]
435*2^1071164-1 is not prime.  Res64: 04C38A0DC1E25C9C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:09:48]
525*2^1071164-1 is not prime.  Res64: AAB808F1B56BE761  Time : 0.0 sec.
user=odicin
[2011-12-03 07:11:25]
555*2^1071163-1 is not prime.  Res64: E261A7D34406A266  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:11:53]
599*2^1071164-1 is not prime.  Res64: 9C1F24EBE38DF4F0  Time : 0.0 sec.
user=odicin
[2011-12-03 07:22:14]
469*2^1071165-1 is not prime.  Res64: E56500753D678E66  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:22:57]
531*2^1071165-1 is not prime.  Res64: 02E43BAC274C2207  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:23:03]
595*2^1071165-1 is not prime.  Res64: 8BF95023CB5912C5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:28:10]
461*2^1071166-1 is not prime.  Res64: 9FE10AF3EBA97B0D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:30:11]
513*2^1071166-1 is not prime.  Res64: 58D3ED910AA0A102  Time : 0.0 sec.
user=odicin
[2011-12-03 07:37:43]
495*2^1071166-1 is not prime.  Res64: B7006A502F81918F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:41:16]
527*2^1071166-1 is not prime.  Res64: 34C82C1C2A66C9B3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:41:25]
567*2^1071166-1 is not prime.  Res64: F98052E5D080345E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:46:28]
573*2^1071166-1 is not prime.  Res64: E887BADD6B2EB86B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:48:29]
531*2^1071167-1 is not prime.  Res64: 1D237931A38C6801  Time : 0.0 sec.
user=odicin
[2011-12-03 07:48:30]
525*2^1071166-1 is not prime.  Res64: 05DF52824C5A7CB7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:59:36]
589*2^1071167-1 is not prime.  Res64: F64D8766184BDAB8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 07:59:38]
437*2^1071168-1 is not prime.  Res64: 818AE81FDAA2F16D  Time : 0.0 sec.
user=odicin
[2011-12-03 08:04:00]
543*2^1071167-1 is not prime.  Res64: 2CE518044E91BF83  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:04:45]
479*2^1071168-1 is not prime.  Res64: 4ABF2A026E3069F6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:06:48]
441*2^1071169-1 is not prime.  Res64: 9949E17F6F893823  Time : 0.0 sec.
user=odicin
[2011-12-03 08:14:49]
555*2^1071168-1 is not prime.  Res64: 968A13155682FF02  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:17:54]
559*2^1071169-1 is not prime.  Res64: 57A16860B0BE84E3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:18:00]
567*2^1071169-1 is not prime.  Res64: ED34A5DDAC0EF435  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:23:05]
525*2^1071170-1 is not prime.  Res64: F1BC44CA65121FB8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:25:07]
581*2^1071170-1 is not prime.  Res64: 903177C8CE257E27  Time : 0.0 sec.
user=odicin
[2011-12-03 08:30:17]
447*2^1071170-1 is not prime.  Res64: CC6E2CA0716E7F9E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:36:12]
405*2^1071172-1 is not prime.  Res64: E3291DDB6A15EF54  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:36:18]
447*2^1071172-1 is not prime.  Res64: 283F6759841345D1  Time : 0.0 sec.
user=odicin
[2011-12-03 08:41:06]
541*2^1071171-1 is not prime.  Res64: AFED168DA07C5720  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:41:27]
489*2^1071172-1 is not prime.  Res64: 8B9EE56C67F83AFD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:43:24]
537*2^1071172-1 is not prime.  Res64: 33D023801564C641  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:54:28]
405*2^1071173-1 is not prime.  Res64: AD61D81B94C8A77F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:54:43]
529*2^1071173-1 is not prime.  Res64: 935088BB0E76F5D0  Time : 0.0 sec.
user=odicin
[2011-12-03 08:56:44]
593*2^1071172-1 is not prime.  Res64: DC1367B5B640018B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 08:59:43]
401*2^1071174-1 is not prime.  Res64: 43BB292C97E4AC72  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:01:42]
443*2^1071174-1 is not prime.  Res64: 72500738CDF787AD  Time : 0.0 sec.
user=odicin
[2011-12-03 09:07:48]
567*2^1071173-1 is not prime.  Res64: 805E9D8C979D57B5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:12:53]
465*2^1071174-1 is not prime.  Res64: 8FB5AC7337971219  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:13:08]
543*2^1071174-1 is not prime.  Res64: DEE596A62A04312E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:18:15]
587*2^1071174-1 is not prime.  Res64: 3816637E87468757  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:20:18]
463*2^1071175-1 is not prime.  Res64: 8B5C7499338AAE73  Time : 0.0 sec.
user=odicin
[2011-12-03 09:23:02]
567*2^1071174-1 is not prime.  Res64: 56AC5EF4F3A130FA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:31:39]
593*2^1071176-1 is not prime.  Res64: F7AF6FBEA20AA082  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:31:45]
447*2^1071177-1 is not prime.  Res64: D8C1BEC112C169D5  Time : 0.0 sec.
user=odicin
[2011-12-03 09:34:09]
471*2^1071175-1 is not prime.  Res64: AA97655D76C7050C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:36:44]
529*2^1071177-1 is not prime.  Res64: 85458493B96548A7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:38:46]
483*2^1071178-1 is not prime.  Res64: BC25CD07CBC4D12A  Time : 0.0 sec.
user=odicin
[2011-12-03 09:49:18]
491*2^1071178-1 is not prime.  Res64: B94C3BFFCDEB369C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:50:31]
545*2^1071178-1 is not prime.  Res64: CDA4C21B39800D99  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:50:35]
469*2^1071179-1 is not prime.  Res64: 4C3FCB85E9DD34FE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:55:37]
573*2^1071179-1 is not prime.  Res64: 13DF57E2E2F4233B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 09:57:43]
579*2^1071179-1 is not prime.  Res64: EBDA6F10FA825AED  Time : 0.0 sec.
user=odicin
[2011-12-03 10:00:33]
501*2^1071179-1 is not prime.  Res64: A196B9649E3C2CFE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:09:03]
513*2^1071180-1 is not prime.  Res64: 8B535E85A2853E90  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:09:07]
579*2^1071180-1 is not prime.  Res64: 2DB67737C9BC685E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:14:08]
405*2^1071181-1 is not prime.  Res64: 27CAE08A234D374B  Time : 0.0 sec.
user=odicin
[2011-12-03 10:15:43]
423*2^1071180-1 is not prime.  Res64: 4A1BAD86B0B59DBD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:16:22]
505*2^1071181-1 is not prime.  Res64: EFFB4B547610DEDF  Time : 0.0 sec.
user=odicin
[2011-12-03 10:26:54]
517*2^1071181-1 is not prime.  Res64: 0FDF203F071AD510  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:27:39]
455*2^1071182-1 is not prime.  Res64: 784FD97F425A716C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:27:40]
437*2^1071182-1 is not prime.  Res64: 19A1454739D2B9FE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:32:39]
551*2^1071182-1 is not prime.  Res64: 63BF2DDD8ACAE779  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:34:50]
459*2^1071183-1 is not prime.  Res64: 7285FFDE3891BFDA  Time : 0.0 sec.
user=odicin
[2011-12-03 10:42:02]
585*2^1071182-1 is not prime.  Res64: B06D86543219090D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:45:59]
595*2^1071183-1 is not prime.  Res64: 3A3C7714ADCF9BF3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:46:00]
419*2^1071184-1 is not prime.  Res64: 82F876C93B7DE251  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:50:55]
453*2^1071184-1 is not prime.  Res64: 099AE05A178F83FC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 10:53:08]
483*2^1071184-1 is not prime.  Res64: BF71F429A60FC7B0  Time : 0.0 sec.
user=odicin
[2011-12-03 10:53:13]
549*2^1071183-1 is not prime.  Res64: 03CD61FC052204ED  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:04:18]
411*2^1071186-1 is not prime.  Res64: 958B877B7704195E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:04:21]
445*2^1071185-1 is not prime.  Res64: 17DA3639D4D87870  Time : 0.0 sec.
user=odicin
[2011-12-03 11:08:17]
489*2^1071184-1 is not prime.  Res64: EDE617A0870C14B8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:09:14]
485*2^1071186-1 is not prime.  Res64: 4A365D54E3C43C95  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:11:28]
497*2^1071186-1 is not prime.  Res64: 78AD4B09D1156601  Time : 0.0 sec.
user=odicin
[2011-12-03 11:19:30]
501*2^1071186-1 is not prime.  Res64: DD9B4A08C52BA9F5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:22:42]
439*2^1071187-1 is not prime.  Res64: 53FFA09B1A04CFB4  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:22:44]
567*2^1071186-1 is not prime.  Res64: 62B832E4101693C0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:27:33]
553*2^1071187-1 is not prime.  Res64: 0124EA40F3C7BE0C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:29:47]
417*2^1071188-1 is not prime.  Res64: A14800504B8E1970  Time : 0.0 sec.
user=odicin
[2011-12-03 11:34:32]
465*2^1071187-1 is not prime.  Res64: 95F18722BE677B09  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:41:00]
559*2^1071189-1 is not prime.  Res64: 27429F4DD45DC94A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:41:02]
597*2^1071189-1 is not prime.  Res64: C9B7F639CEDC8949  Time : 0.0 sec.
user=odicin
[2011-12-03 11:45:50]
459*2^1071189-1 is not prime.  Res64: 5C87F486A0F0180F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:45:54]
411*2^1071190-1 is not prime.  Res64: 136D867E6A2FD9AD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:48:08]
471*2^1071190-1 is not prime.  Res64: 881C7435362A1B02  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:59:22]
575*2^1071190-1 is not prime.  Res64: 996C14136D31552E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 11:59:25]
423*2^1071191-1 is not prime.  Res64: 546F676EEBFB993D  Time : 0.0 sec.
user=odicin
[2011-12-03 12:00:52]
513*2^1071190-1 is not prime.  Res64: 1C798053EDFD81C8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:04:12]
439*2^1071191-1 is not prime.  Res64: C735CCF50F399200  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:06:25]
585*2^1071191-1 is not prime.  Res64: 7E047AD509510FE5  Time : 0.0 sec.
user=odicin
[2011-12-03 12:12:14]
433*2^1071191-1 is not prime.  Res64: A31B1E48E7A780D1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:17:38]
405*2^1071192-1 is not prime.  Res64: 63E7694AE9BDC7ED  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:17:48]
569*2^1071192-1 is not prime.  Res64: E502982D3B1419E0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:22:34]
525*2^1071193-1 is not prime.  Res64: 6EEB2869884F62D1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:24:46]
565*2^1071193-1 is not prime.  Res64: DD13ABC9D3FED5B9  Time : 0.0 sec.
user=odicin
[2011-12-03 12:27:18]
411*2^1071193-1 is not prime.  Res64: B1825DF5875843A3  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:21]
497*2^1071096-1 is not prime.  Res64: 59393495FDF2F5DB  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:22]
515*2^1071096-1 is not prime.  Res64: 05F47708559D6C90  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:22]
539*2^1071096-1 is not prime.  Res64: FFBF642ED544DF08  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:22]
557*2^1071096-1 is not prime.  Res64: D0BCB1774E86DB47  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:23]
585*2^1071096-1 is not prime.  Res64: 10F158AB54886245  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:23]
429*2^1071097-1 is not prime.  Res64: C651DE0918780C5F  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:23]
439*2^1071097-1 is not prime.  Res64: 63324F2F4C8458B0  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:24]
537*2^1071097-1 is not prime.  Res64: FFCBE1D9F76F4390  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:24]
555*2^1071097-1 is not prime.  Res64: 71B15522AEEEB157  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:25]
461*2^1071098-1 is not prime.  Res64: 717A724B13911F77  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:25]
525*2^1071098-1 is not prime.  Res64: 2E869D4B55DAB522  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:25]
429*2^1071099-1 is not prime.  Res64: 866DDC1437AB2DD7  Time : 0.0 sec.
user=juhehe
[2011-12-03 12:28:26]
543*2^1071099-1 is not prime.  Res64: A18C8F0871CEDF98  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:36:14]
431*2^1071194-1 is not prime.  Res64: 27D3367CAB8F96B5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:36:32]
531*2^1071194-1 is not prime.  Res64: 58B6A84169DC0A6F  Time : 0.0 sec.
user=odicin
[2011-12-03 12:38:46]
595*2^1071193-1 is not prime.  Res64: 27E19BA79CD5403B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:41:14]
545*2^1071194-1 is not prime.  Res64: 05CF7F7D5575DA2A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:43:30]
587*2^1071194-1 is not prime.  Res64: 789EA21952BBE892  Time : 0.0 sec.
user=odicin
[2011-12-03 12:53:35]
593*2^1071194-1 is not prime.  Res64: 53344D561FBE365A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:55:34]
523*2^1071203-1 is not prime.  Res64: 4422D278D353A3CD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 12:56:46]
549*2^1071203-1 is not prime.  Res64: B08C5D0B843EE07A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:01:23]
591*2^1071203-1 is not prime.  Res64: 2A9FAD2C0E643EE1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:02:47]
465*2^1071204-1 is not prime.  Res64: E3882DE331EF2ED5  Time : 0.0 sec.
user=odicin
[2011-12-03 13:05:02]
589*2^1071203-1 is not prime.  Res64: E8196EF8F8610449  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:14:54]
513*2^1071204-1 is not prime.  Res64: 5F2EA68627F640A3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:15:42]
567*2^1071204-1 is not prime.  Res64: 6F0EBE90AD393997  Time : 0.0 sec.
user=odicin
[2011-12-03 13:19:55]
483*2^1071204-1 is not prime.  Res64: DACF6AB211A70D16  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:20:46]
587*2^1071204-1 is not prime.  Res64: B89E4F90561B9AC4  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:21:32]
409*2^1071205-1 is not prime.  Res64: 347BF66DB698BA55  Time : 0.0 sec.
user=odicin
[2011-12-03 13:31:25]
421*2^1071205-1 is not prime.  Res64: 5250561B918263F0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:34:35]
465*2^1071205-1 is not prime.  Res64: 0C79ACCE9432C0BE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:34:35]
447*2^1071205-1 is not prime.  Res64: A5D8D86B38EC17EA  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:07]
405*2^1071151-1 is not prime.  Res64: 71AE6C6CED6463CC  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:08]
423*2^1071151-1 is not prime.  Res64: F20C6D8022B9E1CE  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:08]
429*2^1071151-1 is not prime.  Res64: 8FBF62962CBEF087  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:08]
463*2^1071151-1 is not prime.  Res64: 17322B6442E0C5DE  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:09]
511*2^1071151-1 is not prime.  Res64: 74161763DC4EEE83  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:09]
595*2^1071151-1 is not prime.  Res64: B7C77FA7C2E6140E  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:09]
405*2^1071152-1 is not prime.  Res64: C21DD567F6A33722  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:10]
407*2^1071152-1 is not prime.  Res64: 739EE915589687DE  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:10]
417*2^1071152-1 is not prime.  Res64: 7D235600F2B59415  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:10]
447*2^1071152-1 is not prime.  Res64: 9B6739556AEA93B6  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:10]
453*2^1071152-1 is not prime.  Res64: 407F1C7795E392B0  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:11]
459*2^1071152-1 is not prime.  Res64: 40746AAB8B51D0A6  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:11]
479*2^1071152-1 is not prime.  Res64: 920C5090F9B11FD4  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:11]
507*2^1071152-1 is not prime.  Res64: 04BFE3FD64151B79  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:12]
457*2^1071153-1 is not prime.  Res64: DAE8304826AF7D86  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:12]
499*2^1071153-1 is not prime.  Res64: 17E5A94AC7F00C75  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:12]
511*2^1071153-1 is not prime.  Res64: A53FB062DCEDA67F  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:12]
529*2^1071153-1 is not prime.  Res64: 541A8301CB5D9960  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:13]
565*2^1071153-1 is not prime.  Res64: 8FAE97C34B8E70C6  Time : 0.0 sec.
user=juhehe
[2011-12-03 13:39:13]
577*2^1071153-1 is not prime.  Res64: 770B417697542786  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:39:53]
561*2^1071205-1 is not prime.  Res64: 36BC431D5DDA1730  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:41:38]
597*2^1071205-1 is not prime.  Res64: 480AC28152C0D823  Time : 0.0 sec.
user=odicin
[2011-12-03 13:46:17]
507*2^1071205-1 is not prime.  Res64: 768929EDB6D1B2E2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:53:30]
515*2^1071206-1 is not prime.  Res64: DD441D61293014EA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:54:10]
551*2^1071206-1 is not prime.  Res64: B2C79309128263B1  Time : 0.0 sec.
user=odicin
[2011-12-03 13:57:46]
501*2^1071206-1 is not prime.  Res64: 1444B01F91C1BB2A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 13:58:32]
587*2^1071216-1 is not prime.  Res64: 18027E195C062B0E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:00:05]
597*2^1071216-1 is not prime.  Res64: 490D120FB5E5C3B9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:11:48]
467*2^1071218-1 is not prime.  Res64: 720C9F8F5AF79082  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:12:26]
433*2^1071219-1 is not prime.  Res64: D33885CB2AE4D625  Time : 0.0 sec.
user=odicin
[2011-12-03 14:12:33]
405*2^1071218-1 is not prime.  Res64: E2F0C64714932AC5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:16:53]
489*2^1071219-1 is not prime.  Res64: BFFBD31DA02E2214  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:18:24]
501*2^1071219-1 is not prime.  Res64: 61911A2F1E380C23  Time : 0.0 sec.
user=odicin
[2011-12-03 14:23:59]
439*2^1071219-1 is not prime.  Res64: DB6D66E2BCB086DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:30:11]
543*2^1071219-1 is not prime.  Res64: BBB5364DFE9F7D7C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:30:43]
537*2^1071220-1 is not prime.  Res64: 8E76FDE22AEB9718  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:35:15]
593*2^1071220-1 is not prime.  Res64: C8F770B37447E069  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:36:41]
495*2^1071221-1 is not prime.  Res64: BAA87B6554F03044  Time : 0.0 sec.
user=odicin
[2011-12-03 14:38:46]
539*2^1071220-1 is not prime.  Res64: 2F481B678F575464  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:48:40]
571*2^1071221-1 is not prime.  Res64: E00A3DE883DFA0D6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:49:27]
423*2^1071222-1 is not prime.  Res64: 2CC4A687A85B7B9E  Time : 0.0 sec.
user=odicin
[2011-12-03 14:50:14]
507*2^1071221-1 is not prime.  Res64: 30866C22A5274628  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:53:49]
485*2^1071222-1 is not prime.  Res64: BCC8CA8DE435D9B0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 14:55:31]
483*2^1071223-1 is not prime.  Res64: D1EA8C446B9D3FEB  Time : 0.0 sec.
user=odicin
[2011-12-03 15:05:05]
519*2^1071223-1 is not prime.  Res64: 81CCFB868C70D103  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:07:28]
559*2^1071223-1 is not prime.  Res64: 6C8841F67A8A1D22  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:08:09]
417*2^1071224-1 is not prime.  Res64: 3D1A23CE612D2244  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:12:29]
533*2^1071224-1 is not prime.  Res64: 4151F4C7C96AFF74  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:14:13]
427*2^1071225-1 is not prime.  Res64: FFAA9EB1A657ED85  Time : 0.0 sec.
user=odicin
[2011-12-03 15:16:37]
479*2^1071224-1 is not prime.  Res64: A1124839897B7BCA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:26:22]
477*2^1071226-1 is not prime.  Res64: DD6A17A0A96D5CA5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:27:18]
531*2^1071226-1 is not prime.  Res64: 5916FF23D407DDEC  Time : 0.0 sec.
user=odicin
[2011-12-03 15:31:26]
457*2^1071225-1 is not prime.  Res64: 0FF30A91AFD95E10  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:31:53]
587*2^1071226-1 is not prime.  Res64: D7F074DBDB674355  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:33:04]
597*2^1071226-1 is not prime.  Res64: 9AAF374426EB2E5F  Time : 0.0 sec.
user=odicin
[2011-12-03 15:42:55]
409*2^1071227-1 is not prime.  Res64: 4C09A8B03A6CD34F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:45:24]
469*2^1071227-1 is not prime.  Res64: B74C2C0321CB3349  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:46:33]
573*2^1071227-1 is not prime.  Res64: 001ECED70CEEA3E9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:52:10]
427*2^1071229-1 is not prime.  Res64: 681AFCE397F64F62  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 15:52:29]
425*2^1071230-1 is not prime.  Res64: FE86B4AF17A3D5C5  Time : 0.0 sec.
user=odicin
[2011-12-03 15:57:43]
489*2^1071228-1 is not prime.  Res64: D2A1F3CC9B4F1340  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:05:02]
411*2^1071231-1 is not prime.  Res64: BF9834C37529A142  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:06:12]
579*2^1071231-1 is not prime.  Res64: 573239083C124A02  Time : 0.0 sec.
user=odicin
[2011-12-03 16:09:20]
437*2^1071230-1 is not prime.  Res64: FBF6BC06AB1DEE70  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:11:51]
405*2^1071232-1 is not prime.  Res64: B3A1D23E27157F23  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:12:23]
489*2^1071232-1 is not prime.  Res64: AACC613D27FD660F  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:20]
555*2^1071195-1 is not prime.  Res64: 0CE1AEFB3FFD5D00  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:20]
527*2^1071196-1 is not prime.  Res64: 8F8DD858BF8BA52F  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:20]
597*2^1071196-1 is not prime.  Res64: 637E4C0AAB2B2FB1  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:21]
417*2^1071197-1 is not prime.  Res64: 4F141D8922C33350  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:21]
489*2^1071197-1 is not prime.  Res64: C09E121886BE42C7  Time : 0.0 sec.
user=juhehe
[2011-12-03 16:18:21]
507*2^1071197-1 is not prime.  Res64: CB12D15EE07AB8F9  Time : 0.0 sec.
user=odicin
[2011-12-03 16:24:05]
567*2^1071232-1 is not prime.  Res64: 8FF4EBC72D8154B7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:24:29]
409*2^1071233-1 is not prime.  Res64: F0DD1D14D3D2792E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:25:29]
465*2^1071233-1 is not prime.  Res64: FB4F0F4CED3432B9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:31:05]
537*2^1071233-1 is not prime.  Res64: 0C62EAC454A7AD88  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:31:42]
549*2^1071233-1 is not prime.  Res64: D01F42E984640413  Time : 0.0 sec.
user=odicin
[2011-12-03 16:35:43]
529*2^1071233-1 is not prime.  Res64: 847B017CEC62A25A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:43:35]
585*2^1071233-1 is not prime.  Res64: 1CFA2FA89279E79B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:44:27]
589*2^1071233-1 is not prime.  Res64: E4DC8C8E31F335D1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:50:10]
507*2^1071234-1 is not prime.  Res64: 5FB1E95686EBF408  Time : 0.0 sec.
user=odicin
[2011-12-03 16:50:25]
565*2^1071233-1 is not prime.  Res64: 3C1499B8E041BB6C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 16:50:44]
421*2^1071235-1 is not prime.  Res64: 388ACE37A4609E30  Time : 0.0 sec.
user=odicin
[2011-12-03 17:02:05]
441*2^1071235-1 is not prime.  Res64: 30A0E0289576E463  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:02:06]
519*2^1071235-1 is not prime.  Res64: 30466A4EF4472FDE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:02:58]
435*2^1071236-1 is not prime.  Res64: 34B5E01C60D47FB2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:08:28]
447*2^1071236-1 is not prime.  Res64: 4302A676C31FF451  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:09:04]
525*2^1071236-1 is not prime.  Res64: 67F9A8D2E6BA863C  Time : 0.0 sec.
user=odicin
[2011-12-03 17:16:45]
503*2^1071236-1 is not prime.  Res64: 3C471426EE64792E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:20:27]
593*2^1071236-1 is not prime.  Res64: FEF383B184D86128  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:21:17]
417*2^1071237-1 is not prime.  Res64: 80B0270F0B0FADD2  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:26:50]
427*2^1071237-1 is not prime.  Res64: 725BA8EEDC017ACA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:27:26]
571*2^1071237-1 is not prime.  Res64: F114E80869A03B18  Time : 0.0 sec.
user=odicin
[2011-12-03 17:28:31]
545*2^1071236-1 is not prime.  Res64: 5B8239F22127ACF1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:38:48]
461*2^1071238-1 is not prime.  Res64: DF81B4CDB8B830C8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:39:35]
467*2^1071238-1 is not prime.  Res64: 23D35792D3719F83  Time : 0.0 sec.
user=odicin
[2011-12-03 17:43:18]
435*2^1071238-1 is not prime.  Res64: 8B7BEF4C2C9EF8CF  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:45:12]
495*2^1071238-1 is not prime.  Res64: 75A9AD2F5938F459  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:45:41]
403*2^1071239-1 is not prime.  Res64: 4258E6AE66663CE9  Time : 0.0 sec.
user=odicin
[2011-12-03 17:54:52]
423*2^1071239-1 is not prime.  Res64: 33E6985BE98C72C3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:57:03]
493*2^1071239-1 is not prime.  Res64: 25F2A90E1C4D8D59  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 17:57:54]
511*2^1071239-1 is not prime.  Res64: 992AE4C4149B6782  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:03:28]
569*2^1071240-1 is not prime.  Res64: 2FF75EAC2FA5E494  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:04:00]
411*2^1071241-1 is not prime.  Res64: 2C3863103FF2C7FA  Time : 0.0 sec.
user=odicin
[2011-12-03 18:09:33]
531*2^1071239-1 is not prime.  Res64: 9292D6C4B59F2ADE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:15:25]
505*2^1071241-1 is not prime.  Res64: C8122C59AB3FB8BD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:16:10]
555*2^1071241-1 is not prime.  Res64: E651AEAC447006F0  Time : 0.0 sec.
user=odicin
[2011-12-03 18:21:14]
441*2^1071241-1 is not prime.  Res64: 6700A33FC58C5793  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:21:52]
405*2^1071242-1 is not prime.  Res64: 50F8D38F15FEF196  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:22:21]
437*2^1071242-1 is not prime.  Res64: 9B8E518B1B773C6B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:33:44]
441*2^1071243-1 is not prime.  Res64: 13A59AEC53684FCE  Time : 0.0 sec.
user=gd_barnes
[2011-12-03 18:33:49]
411*2^1071243-1 is not prime.  Res64: C1348A97218072DE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:34:26]
451*2^1071243-1 is not prime.  Res64: CD770C23008D4AD2  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:51]
429*2^1071207-1 is not prime.  Res64: EF508A0DB74E0D19  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:51]
565*2^1071207-1 is not prime.  Res64: D580265A3378A86F  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:51]
573*2^1071207-1 is not prime.  Res64: 2BCE92ECC04EE4F2  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:52]
583*2^1071207-1 is not prime.  Res64: D4CE4D8C04555AD9  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:52]
453*2^1071208-1 is not prime.  Res64: 8EC697C999980334  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:52]
485*2^1071208-1 is not prime.  Res64: F1240978B04B2047  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:53]
537*2^1071208-1 is not prime.  Res64: 1EAB4B441245708C  Time : 0.0 sec.
user=juhehe
[2011-12-03 18:34:53]
567*2^1071209-1 is not prime.  Res64: D06D47E37E0DD8AC  Time : 0.0 sec.
user=odicin
[2011-12-03 18:36:18]
573*2^1071242-1 is not prime.  Res64: B28888C72C7912BB  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:40:14]
543*2^1071243-1 is not prime.  Res64: EBEA66AB6180C883  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:40:37]
573*2^1071243-1 is not prime.  Res64: F512768BA647EE2D  Time : 0.0 sec.
user=odicin
[2011-12-03 18:47:30]
471*2^1071243-1 is not prime.  Res64: 1D88BCAB493B39EE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:52:22]
429*2^1071244-1 is not prime.  Res64: FF5F34B8CA00DBBE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:52:49]
437*2^1071244-1 is not prime.  Res64: 348263480DE68FD9  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:58:43]
519*2^1071244-1 is not prime.  Res64: 47CADF31FBB3BDD8  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 18:59:03]
487*2^1071245-1 is not prime.  Res64: 0A418BEE8002239C  Time : 0.0 sec.
user=odicin
[2011-12-03 19:02:31]
479*2^1071244-1 is not prime.  Res64: E5E63490063858C6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:10:50]
413*2^1071246-1 is not prime.  Res64: E9E0E7C69FB869B6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:11:06]
431*2^1071246-1 is not prime.  Res64: 30E0310B408117F0  Time : 0.0 sec.
user=odicin
[2011-12-03 19:13:47]
591*2^1071245-1 is not prime.  Res64: 897518F937565DF5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:17:01]
451*2^1071247-1 is not prime.  Res64: 80A376B7FA3B26EF  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:17:28]
519*2^1071248-1 is not prime.  Res64: 516C18FF466D46C1  Time : 0.0 sec.
user=odicin
[2011-12-03 19:28:53]
471*2^1071249-1 is not prime.  Res64: 5A6F01C1635729E0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:29:14]
495*2^1071249-1 is not prime.  Res64: 7FC8929E7781D843  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:29:26]
499*2^1071249-1 is not prime.  Res64: BD32847B84BFE8FD  Time : 0.0 sec.
user=juhehe
[2011-12-03 19:30:58]
443*2^1071210-1 is not prime.  Res64: 5371F07B4E455DC1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:35:19]
443*2^1071250-1 is not prime.  Res64: AF7E3795EB0CFF75  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:35:44]
513*2^1071250-1 is not prime.  Res64: AB3CC6180CEDB267  Time : 0.0 sec.
user=odicin
[2011-12-03 19:40:14]
549*2^1071249-1 is not prime.  Res64: 517FBEB3BAB57096  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:47:28]
433*2^1071251-1 is not prime.  Res64: A23600F692919320  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:47:48]
519*2^1071251-1 is not prime.  Res64: E5A0C3F2F65221EC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:53:39]
455*2^1071252-1 is not prime.  Res64: 6DD7FF9C1380F856  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 19:53:59]
539*2^1071252-1 is not prime.  Res64: 45FD32A37CBDE96B  Time : 0.0 sec.
user=odicin
[2011-12-03 19:55:10]
545*2^1071250-1 is not prime.  Res64: FF43ED7E39417EBC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:05:47]
579*2^1071252-1 is not prime.  Res64: 00DE404EFAD70588  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:06:04]
507*2^1071253-1 is not prime.  Res64: ABE63F98CD32175D  Time : 0.0 sec.
user=odicin
[2011-12-03 20:06:39]
555*2^1071252-1 is not prime.  Res64: 3BEA50D6DEFF3E58  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:11:55]
549*2^1071253-1 is not prime.  Res64: 091FB3674D356897  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:12:19]
545*2^1071254-1 is not prime.  Res64: D6108FA506E305B4  Time : 0.0 sec.
user=juhehe
[2011-12-03 20:17:18]
453*2^1071211-1 is not prime.  Res64: F8846B1BEA81AC3A  Time : 0.0 sec.
user=odicin
[2011-12-03 20:21:28]
557*2^1071254-1 is not prime.  Res64: 24D83891ECA075DC  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:24:06]
513*2^1071255-1 is not prime.  Res64: 14740405CDF6B0AD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:24:25]
583*2^1071255-1 is not prime.  Res64: 562AE88C14E48A41  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:30:10]
537*2^1071256-1 is not prime.  Res64: DDB8280BDF39234C  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:30:39]
563*2^1071256-1 is not prime.  Res64: 52BEA84621D118B0  Time : 0.0 sec.
user=odicin
[2011-12-03 20:33:06]
437*2^1071256-1 is not prime.  Res64: FCFFC9C994A52C14  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:42:42]
567*2^1071257-1 is not prime.  Res64: 0B07A5D61631AC5F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:43:23]
413*2^1071258-1 is not prime.  Res64: 063E60688F04871E  Time : 0.0 sec.
user=odicin
[2011-12-03 20:47:43]
549*2^1071257-1 is not prime.  Res64: EB6D0C517F1D8C7B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:49:45]
515*2^1071258-1 is not prime.  Res64: D50512C7196BB696  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 20:50:03]
411*2^1071259-1 is not prime.  Res64: 5E4FD87E8E7EEBA0  Time : 0.0 sec.
user=odicin
[2011-12-03 20:59:22]
421*2^1071259-1 is not prime.  Res64: 6B12696BDC0222C1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:01:24]
423*2^1071260-1 is not prime.  Res64: 400174D6F5A2D4A1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:02:12]
511*2^1071261-1 is not prime.  Res64: 65A3A7ECA8011CE3  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:08:08]
549*2^1071261-1 is not prime.  Res64: D31314DF012C5B72  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:08:24]
423*2^1071262-1 is not prime.  Res64: A0EDF52736FFA17E  Time : 0.0 sec.
user=odicin
[2011-12-03 21:14:01]
537*2^1071261-1 is not prime.  Res64: 434F1A515002FA05  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:19:41]
525*2^1071262-1 is not prime.  Res64: B45B2EEE48B3E24B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:20:30]
433*2^1071263-1 is not prime.  Res64: 8ED53AC7B76901C1  Time : 0.0 sec.
user=odicin
[2011-12-03 21:25:46]
425*2^1071262-1 is not prime.  Res64: 9629A699E151B60B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:26:26]
439*2^1071263-1 is not prime.  Res64: 1BB139E48FCE0151  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:26:38]
505*2^1071263-1 is not prime.  Res64: 595932607FA2315E  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:38:05]
549*2^1071263-1 is not prime.  Res64: 91B00ED76BE45713  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:38:57]
571*2^1071263-1 is not prime.  Res64: 9F23C1B4FD392A2C  Time : 0.0 sec.
user=odicin
[2011-12-03 21:40:19]
511*2^1071263-1 is not prime.  Res64: 9DCFCC7600BA83AD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:44:56]
437*2^1071264-1 is not prime.  Res64: CD2384F45FE061D7  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:45:12]
503*2^1071264-1 is not prime.  Res64: A49E49A8A6702530  Time : 0.0 sec.
user=odicin
[2011-12-03 21:52:11]
591*2^1071263-1 is not prime.  Res64: A61BEDC76E9ECB85  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:57:28]
489*2^1071265-1 is not prime.  Res64: D928BF9971DB44FD  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 21:58:24]
525*2^1071265-1 is not prime.  Res64: 13A21D1975D131A0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:04:20]
513*2^1071267-1 is not prime.  Res64: 042D1B88D4F4AC43  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:04:30]
475*2^1071267-1 is not prime.  Res64: E7825CF582DCD74F  Time : 0.0 sec.
user=odicin
[2011-12-03 22:06:34]
469*2^1071267-1 is not prime.  Res64: D9212346F3667140  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:15:58]
465*2^1071269-1 is not prime.  Res64: 2E67E7468EF3530A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:16:47]
525*2^1071269-1 is not prime.  Res64: 62301547E5A6B402  Time : 0.0 sec.
user=odicin
[2011-12-03 22:18:29]
533*2^1071268-1 is not prime.  Res64: E0977073F67CE3AA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:22:39]
565*2^1071269-1 is not prime.  Res64: D64218E705F1A04D  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:22:53]
503*2^1071270-1 is not prime.  Res64: 5C49FC941406DB63  Time : 0.0 sec.
user=odicin
[2011-12-03 22:32:53]
515*2^1071270-1 is not prime.  Res64: 5C8AD63FAF8144E1  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:34:12]
543*2^1071270-1 is not prime.  Res64: 2D41240FCC4FC0AB  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:35:00]
433*2^1071271-1 is not prime.  Res64: 445376FF3F31B0BE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:40:53]
559*2^1071271-1 is not prime.  Res64: 43145E1CA6328461  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:41:04]
435*2^1071272-1 is not prime.  Res64: 804D7908FF60F4BF  Time : 0.0 sec.
user=odicin
[2011-12-03 22:44:58]
453*2^1071271-1 is not prime.  Res64: 9B6CEAD4A40DCFFC  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:42]
475*2^1071211-1 is not prime.  Res64: 55B535E78996A603  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:42]
499*2^1071211-1 is not prime.  Res64: 3DB75DBA49F325CA  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:42]
459*2^1071212-1 is not prime.  Res64: C03E5516138245D3  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:42]
483*2^1071212-1 is not prime.  Res64: 6C1AF44E895607D6  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:43]
519*2^1071212-1 is not prime.  Res64: A6EB87A49FB29271  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:43]
429*2^1071213-1 is not prime.  Res64: 40875C466D556EA8  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:43]
525*2^1071213-1 is not prime.  Res64: F21844504A7CEC5C  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:44]
529*2^1071213-1 is not prime.  Res64: 242ABB59A367EA49  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:44]
531*2^1071215-1 is not prime.  Res64: AB3DC5A25DA334CA  Time : 0.0 sec.
user=juhehe
[2011-12-03 22:49:44]
413*2^1071216-1 is not prime.  Res64: 5E90B8E90901D845  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:52:21]
457*2^1071273-1 is not prime.  Res64: F016080D30122326  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:53:10]
471*2^1071273-1 is not prime.  Res64: D9CE38B5FA6692A0  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:59:04]
401*2^1071274-1 is not prime.  Res64: 1C7D0FC8369E7DDD  Time : 0.0 sec.
user=odicin
[2011-12-03 22:59:16]
449*2^1071272-1 is not prime.  Res64: 3FE9144B46AF666B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 22:59:18]
593*2^1071274-1 is not prime.  Res64: 7F4DB5E95864F181  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:10:32]
483*2^1071283-1 is not prime.  Res64: 35E8C383896EC4B2  Time : 0.0 sec.
user=odicin
[2011-12-03 23:11:10]
451*2^1071275-1 is not prime.  Res64: F0F11757800506D5  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:11:21]
499*2^1071283-1 is not prime.  Res64: 518EDC1038704888  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:17:20]
561*2^1071283-1 is not prime.  Res64: 00249525DBB0E667  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:17:28]
427*2^1071285-1 is not prime.  Res64: 33CC8ED73698343C  Time : 0.0 sec.
user=odicin
[2011-12-03 23:25:31]
417*2^1071284-1 is not prime.  Res64: 3A962A099267B0BE  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:28:47]
451*2^1071285-1 is not prime.  Res64: DAAAEECF7D37182B  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:29:32]
531*2^1071285-1 is not prime.  Res64: 854123C27C860D9A  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:35:35]
581*2^1071286-1 is not prime.  Res64: 529CC3828960122F  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:35:38]
489*2^1071287-1 is not prime.  Res64: 081E35F08E8F4760  Time : 0.0 sec.
user=odicin
[2011-12-03 23:37:38]
471*2^1071285-1 is not prime.  Res64: 95E3BE3DA70F3839  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:46:56]
511*2^1071287-1 is not prime.  Res64: 717658B7D7052410  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:47:42]
489*2^1071288-1 is not prime.  Res64: 02342408F2EDA8A6  Time : 0.0 sec.
user=odicin
[2011-12-03 23:51:50]
493*2^1071287-1 is not prime.  Res64: E7A13F5A6443C9AA  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:53:45]
503*2^1071288-1 is not prime.  Res64: 026567FEB1B3A7C6  Time : 0.0 sec.
user=mdettweiler
[2011-12-03 23:53:48]
539*2^1071288-1 is not prime.  Res64: BB9872ED5D818457  Time : 0.0 sec.