user=henryzz
[2012-03-23 00:02:30]
453*2^1128063-1 is not prime.  Res64: 8DAC1C61CDC32025  Time : 0.0 sec.
user=Alexis_Kravtchenko
[2012-03-23 00:08:09]
511*2^1128061-1 is not prime.  Res64: 6A7FFBC78A5926BD  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:09:33]
465*2^1128063-1 is not prime.  Res64: 671F78BEDB475D22  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:20:51]
549*2^1128064-1 is not prime.  Res64: 3684F221CFE16E8C  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:21:54]
567*2^1128064-1 is not prime.  Res64: 26146B2D6BE6544E  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:28:29]
597*2^1128064-1 is not prime.  Res64: 479FF476EEC1302C  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:36:23]
529*2^1128065-1 is not prime.  Res64: 4BEDF7C983857A7F  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:48:09]
561*2^1128065-1 is not prime.  Res64: E181E8079F31DE59  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:48:57]
547*2^1128065-1 is not prime.  Res64: 4FC75EB0ED6E4739  Time : 0.0 sec.
user=henryzz
[2012-03-23 00:53:10]
425*2^1128066-1 is not prime.  Res64: 2DF5E1CDFBBF6298  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:04:52]
503*2^1128066-1 is not prime.  Res64: D5B9394D4C4DB66F  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:13:26]
465*2^1128067-1 is not prime.  Res64: B9A81BE5DEAA0BF6  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:16:48]
595*2^1128067-1 is not prime.  Res64: 8A47C4E1D18674FE  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:21:16]
467*2^1128068-1 is not prime.  Res64: 7635422B936176F4  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:32:54]
539*2^1128068-1 is not prime.  Res64: 9929CBD11E8A7054  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:39:46]
599*2^1128068-1 is not prime.  Res64: 1999CC4E2BE7F275  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:39:50]
413*2^1128070-1 is not prime.  Res64: BDFF26D86EFCB420  Time : 0.0 sec.
user=henryzz
[2012-03-23 01:49:21]
443*2^1128070-1 is not prime.  Res64: 7907756F663DF7DA  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:00:10]
453*2^1128070-1 is not prime.  Res64: B128ECBCE2FA7B5F  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:05:14]
455*2^1128070-1 is not prime.  Res64: 3D15DF8DC4FCED06  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:07:00]
495*2^1128070-1 is not prime.  Res64: C884D0EB4554B089  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:15:11]
587*2^1128070-1 is not prime.  Res64: 4A3914A56AD94100  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:26:55]
585*2^1128071-1 is not prime.  Res64: CBBEACD2045BAD69  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:31:34]
485*2^1128072-1 is not prime.  Res64: 62CC602D80CFE194  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:32:45]
465*2^1128073-1 is not prime.  Res64: 55F3BA60D31A7DF6  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:41:22]
549*2^1128073-1 is not prime.  Res64: 75298D84137B8752  Time : 0.0 sec.
user=vaughan
[2012-03-23 02:43:17]
471*2^1128073-1 is not prime.  Res64: E5D869ECFC983B74  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:53:25]
565*2^1128073-1 is not prime.  Res64: C9A1F71FC8FDF6D3  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:57:29]
497*2^1128074-1 is not prime.  Res64: C05B24F89844257A  Time : 0.0 sec.
user=henryzz
[2012-03-23 02:57:59]
531*2^1128074-1 is not prime.  Res64: AC273E5F5C5458C7  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:09:43]
545*2^1128074-1 is not prime.  Res64: 4559A011C24D49F1  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:20:26]
409*2^1128075-1 is not prime.  Res64: 83BCBF9164A4E610  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:21:25]
441*2^1128075-1 is not prime.  Res64: 143CE9F3A6F96A68  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:24:33]
453*2^1128075-1 is not prime.  Res64: 98C9DD34BB93BBF8  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:37:41]
531*2^1128075-1 is not prime.  Res64: C5D31546F30830C8  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:45:22]
595*2^1128075-1 is not prime.  Res64: 6D71089244B578F3  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:47:49]
591*2^1128075-1 is not prime.  Res64: 376F8CB548A206EF  Time : 0.0 sec.
user=henryzz
[2012-03-23 03:50:54]
405*2^1128076-1 is not prime.  Res64: 9E7F79F14B2928DD  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:03:16]
507*2^1128077-1 is not prime.  Res64: C32522BCFE15A8CA  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:10:19]
537*2^1128077-1 is not prime.  Res64: 47C9CBA9636E1D80  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:16:15]
463*2^1128079-1 is not prime.  Res64: 5D2B73EA9C72272E  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:18:13]
513*2^1128078-1 is not prime.  Res64: 02813929ED966776  Time : 0.0 sec.
user=vaughan
[2012-03-23 04:21:13]
565*2^1128077-1 is not prime.  Res64: 5E9B51F671EF7804  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:29:04]
525*2^1128079-1 is not prime.  Res64: 22367D142981834E  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:40:40]
531*2^1128079-1 is not prime.  Res64: 21B523F1023719EA  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:46:35]
459*2^1128080-1 is not prime.  Res64: A289335FD5CCC618  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:47:18]
405*2^1128080-1 is not prime.  Res64: 4858438180F94C85  Time : 0.0 sec.
user=henryzz
[2012-03-23 04:52:01]
401*2^1128082-1 is not prime.  Res64: 9803AA3617F69436  Time : 0.0 sec.
user=vaughan
[2012-03-23 04:54:31]
475*2^1128081-1 is not prime.  Res64: BEF0296E350F41BB  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:09:05]
423*2^1128082-1 is not prime.  Res64: 0B541F5368ED2FA5  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:15:19]
451*2^1128083-1 is not prime.  Res64: 5C04D4D612CE8E08  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:18:41]
561*2^1128082-1 is not prime.  Res64: B14143C2E56B94A2  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:24:15]
463*2^1128083-1 is not prime.  Res64: 50360205DF8245A5  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:42:25]
591*2^1128083-1 is not prime.  Res64: 82499555869D1520  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:48:43]
437*2^1128084-1 is not prime.  Res64: 393E574BF7C5845D  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:51:15]
455*2^1128084-1 is not prime.  Res64: FE148103D10A761A  Time : 0.0 sec.
user=henryzz
[2012-03-23 05:56:56]
585*2^1128084-1 is not prime.  Res64: A369CB962C9A3474  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:13:56]
425*2^1128086-1 is not prime.  Res64: EB0EABA117E010BC  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:17:51]
507*2^1128085-1 is not prime.  Res64: EC4A85B7D1B8F9F2  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:21:52]
519*2^1128085-1 is not prime.  Res64: 9DACB0F252854C2C  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:28:44]
431*2^1128086-1 is not prime.  Res64: 5AC469D5E0D7AD55  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:41:14]
595*2^1128087-1 is not prime.  Res64: 61FC98F7B9E064F6  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:46:31]
455*2^1128086-1 is not prime.  Res64: E0769706B7A1E305  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:54:46]
405*2^1128088-1 is not prime.  Res64: FAE37B9192C34C80  Time : 0.0 sec.
user=henryzz
[2012-03-23 06:56:01]
437*2^1128088-1 is not prime.  Res64: FCE54BE9D7F9CFFE  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:11:41]
525*2^1128088-1 is not prime.  Res64: D94211C0A582E7E6  Time : 0.0 sec.
user=vaughan
[2012-03-23 07:13:32]
453*2^1128088-1 is not prime.  Res64: 2703BC6EC27E9959  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:14:45]
539*2^1128088-1 is not prime.  Res64: 841336FF7A430F6B  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:24:51]
421*2^1128089-1 is not prime.  Res64: 97D4616DB21B9EDA  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:25:14]
487*2^1128089-1 is not prime.  Res64: 4D4C306426BE945C  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:38:38]
507*2^1128089-1 is not prime.  Res64: 550A29DF0EB59092  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:44:30]
511*2^1128089-1 is not prime.  Res64: 7ED81D90EF952F10  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:52:30]
483*2^1128090-1 is not prime.  Res64: 203759E193D75818  Time : 0.0 sec.
user=henryzz
[2012-03-23 07:54:16]
401*2^1128090-1 is not prime.  Res64: BACC9955983A032B  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:07:41]
573*2^1128091-1 is not prime.  Res64: 54D19F9C2AC4FB24  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:12:02]
425*2^1128092-1 is not prime.  Res64: 99B6A3AF4652124B  Time : 0.0 sec.
user=vaughan
[2012-03-23 08:19:08]
519*2^1128092-1 is not prime.  Res64: 430099ED861DE683  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:20:38]
459*2^1128093-1 is not prime.  Res64: 441BDDEF6ECDF550  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:22:09]
481*2^1128093-1 is not prime.  Res64: 50D7BBBDE3FD3A3D  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:38:32]
487*2^1128093-1 is not prime.  Res64: 324CCECBA81E27F3  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:42:42]
507*2^1128093-1 is not prime.  Res64: 12BE8FBD10E68190  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:48:13]
565*2^1128093-1 is not prime.  Res64: A4380C08AC68BA3E  Time : 0.0 sec.
user=henryzz
[2012-03-23 08:53:22]
425*2^1128094-1 is not prime.  Res64: 533D75A243248BCC  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:14:27]
519*2^1128095-1 is not prime.  Res64: B84D5BD73A087DC0  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:14:50]
585*2^1128095-1 is not prime.  Res64: CB706FAECA09FFA9  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:23:54]
425*2^1128096-1 is not prime.  Res64: FA8F6BBA318272AD  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:25:36]
507*2^1128096-1 is not prime.  Res64: C44E139A1595681D  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:43:23]
441*2^1128097-1 is not prime.  Res64: CD254AF53DAEF96F  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:47:11]
439*2^1128097-1 is not prime.  Res64: F8F8152D8CD4A781  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:53:28]
589*2^1128097-1 is not prime.  Res64: 64EF706C673196A7  Time : 0.0 sec.
user=henryzz
[2012-03-23 09:54:43]
465*2^1128097-1 is not prime.  Res64: 9807775D770F0C01  Time : 0.0 sec.
user=Sashixi
[2012-03-23 09:59:15]
571*2^1128041-1 is not prime.  Res64: 89318C41C8AA51BE  Time : 0.0 sec.
user=Sashixi
[2012-03-23 09:59:25]
559*2^1128041-1 is not prime.  Res64: FC0E615E513C8CE9  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:02:22]
503*2^1128042-1 is not prime.  Res64: 807A7048E06ACD1E  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:08:49]
441*2^1128045-1 is not prime.  Res64: 6D1D634EAAD0C7F1  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:09:03]
515*2^1128098-1 is not prime.  Res64: 2B6556CE6FA30E34  Time : 0.0 sec.
user=mdettweiler
[2012-03-23 10:09:25]
511*2^1128099-1 is not prime.  Res64: D73E58172FA600EC  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:16:44]
533*2^1128098-1 is not prime.  Res64: 151310EB1960963F  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:20:05]
567*2^1128098-1 is not prime.  Res64: 68F233AC3944D2BB  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:20:31]
495*2^1128100-1 is not prime.  Res64: 5EAEF5495CD378E8  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:21:00]
483*2^1128100-1 is not prime.  Res64: 3F42E4FBA65E5BA3  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:22:53]
465*2^1128099-1 is not prime.  Res64: 6763B7CC80AD436B  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:23:20]
527*2^1128100-1 is not prime.  Res64: E87E43F02C26A215  Time : 0.0 sec.
user=vaughan
[2012-03-23 10:29:29]
493*2^1128099-1 is not prime.  Res64: BD173A413C07ABA1  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:30:14]
593*2^1128100-1 is not prime.  Res64: 3077102B82C6E8CB  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:36:31]
445*2^1128101-1 is not prime.  Res64: 1DE19B935C8FD737  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:41:16]
507*2^1128102-1 is not prime.  Res64: 78AD0073D2A72820  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:41:23]
423*2^1128103-1 is not prime.  Res64: FDE752C36743BB2A  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:43:15]
583*2^1128103-1 is not prime.  Res64: C95DE3B0028BC004  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:47:04]
489*2^1128101-1 is not prime.  Res64: 01980AC1F00234FF  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:47:35]
585*2^1128101-1 is not prime.  Res64: D76305986257994A  Time : 0.0 sec.
user=Sashixi
[2012-03-23 10:50:21]
519*2^1128104-1 is not prime.  Res64: 893FE8F681A188E6  Time : 0.0 sec.
user=henryzz
[2012-03-23 10:53:19]
559*2^1128103-1 is not prime.  Res64: 27B6DB5E7F7A0A6E  Time : 0.0 sec.
user=mdettweiler
[2012-03-23 11:01:21]
597*2^1128106-1 is not prime.  Res64: E76549676D930975  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:01:29]
405*2^1128105-1 is not prime.  Res64: 94D38EDD7358E93B  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:01:46]
445*2^1128105-1 is not prime.  Res64: 7395FE3C56386A06  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:03:27]
595*2^1128105-1 is not prime.  Res64: 509C3263099C69B4  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:10:04]
585*2^1128104-1 is not prime.  Res64: B7DEC77F4DA20A9E  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:10:33]
575*2^1128106-1 is not prime.  Res64: 6E5520CCF86A0980  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:14:16]
531*2^1128106-1 is not prime.  Res64: 5F4BAFBA7FC76467  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:21:55]
499*2^1128109-1 is not prime.  Res64: D596ED9C3A350D7D  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:22:19]
569*2^1128108-1 is not prime.  Res64: 726F9B32B8CA6E34  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:22:50]
477*2^1128106-1 is not prime.  Res64: D15485C77517B3F3  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:24:18]
505*2^1128109-1 is not prime.  Res64: 8248193F246733C0  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:26:19]
503*2^1128108-1 is not prime.  Res64: 3F1A9E69E700F117  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:31:13]
567*2^1128109-1 is not prime.  Res64: 761172B593908DAA  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:39:58]
537*2^1128109-1 is not prime.  Res64: C7ECC6BCD6B24497  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:41:12]
407*2^1128110-1 is not prime.  Res64: 9D972EB6AEB083C7  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:42:14]
417*2^1128110-1 is not prime.  Res64: 5B2964647819837E  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:42:57]
447*2^1128110-1 is not prime.  Res64: BA20F31FC7BB56D3  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:44:44]
411*2^1128111-1 is not prime.  Res64: FE01B8A9B35EFF5D  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:49:04]
483*2^1128110-1 is not prime.  Res64: FF8E887222822A09  Time : 0.0 sec.
user=Sashixi
[2012-03-23 11:52:36]
429*2^1128112-1 is not prime.  Res64: 24C36F0E0A8F0E5C  Time : 0.0 sec.
user=henryzz
[2012-03-23 11:52:52]
513*2^1128111-1 is not prime.  Res64: 81C79F003E82C31E  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:02:27]
519*2^1128112-1 is not prime.  Res64: 69D108B5B1FA858B  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:03:04]
481*2^1128113-1 is not prime.  Res64: 78C0525A90212836  Time : 0.0 sec.
user=vaughan
[2012-03-23 12:07:18]
507*2^1128112-1 is not prime.  Res64: 3BE4B05368483EC1  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:10:38]
421*2^1128115-1 is not prime.  Res64: A927679A7ED9A13D  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:15:47]
481*2^1128115-1 is not prime.  Res64: 2B571E89A1982626  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:24:38]
511*2^1128115-1 is not prime.  Res64: AF1D8F91ABA2E5A2  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:26:12]
413*2^1128116-1 is not prime.  Res64: BADE2A2B56478648  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:32:54]
477*2^1128116-1 is not prime.  Res64: 9CED92CBF0E59739  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:36:03]
557*2^1128116-1 is not prime.  Res64: 2FCC99E405B9A8E1  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:44:16]
441*2^1128117-1 is not prime.  Res64: 2B38FB3B78750FB6  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:46:09]
549*2^1128117-1 is not prime.  Res64: 9E85EFE90024C954  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:52:48]
577*2^1128117-1 is not prime.  Res64: D8FB19B371E24C94  Time : 0.0 sec.
user=henryzz
[2012-03-23 12:55:37]
447*2^1128118-1 is not prime.  Res64: F5E6B63F2EA2437B  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:05:33]
471*2^1128118-1 is not prime.  Res64: ADC112408FB101C6  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:06:38]
513*2^1128118-1 is not prime.  Res64: BC6456A3A7D7CDA7  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:14:10]
551*2^1128118-1 is not prime.  Res64: 7D1A501C7AADAF87  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:19:23]
439*2^1128119-1 is not prime.  Res64: ADA8C38438707A0E  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:28:06]
405*2^1128121-1 is not prime.  Res64: 76738993FB8C33FD  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:28:45]
429*2^1128121-1 is not prime.  Res64: 275929AC36FC7D5C  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:36:49]
549*2^1128121-1 is not prime.  Res64: 62E117B6B3408071  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:41:17]
561*2^1128121-1 is not prime.  Res64: 8A2F9806F600DDDD  Time : 0.0 sec.
user=vaughan
[2012-03-23 13:45:09]
499*2^1128121-1 is not prime.  Res64: E446F9DC6FE4917A  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:48:58]
591*2^1128121-1 is not prime.  Res64: 780C7D0FEE255655  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:51:20]
437*2^1128122-1 is not prime.  Res64: 69F3228F1982F44B  Time : 0.0 sec.
user=henryzz
[2012-03-23 13:58:24]
429*2^1128123-1 is not prime.  Res64: 2DC075CA26A6F345  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:02:57]
433*2^1128123-1 is not prime.  Res64: 8583DAB47AA8F66A  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:10:21]
471*2^1128123-1 is not prime.  Res64: B7E3CC53495C77F1  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:14:03]
489*2^1128123-1 is not prime.  Res64: 3F748429AC5D29CF  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:20:59]
573*2^1128123-1 is not prime.  Res64: 4452F26CC635E184  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:24:06]
583*2^1128123-1 is not prime.  Res64: EFD0AFA81680CECD  Time : 0.0 sec.
user=juhehe
[2012-03-23 14:30:05]
489*2^1127979-1 is not prime.  Res64: 863C87EBB9C930AC  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:30:59]
423*2^1128124-1 is not prime.  Res64: F53D967586810D97  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:34:17]
435*2^1128124-1 is not prime.  Res64: 292021FA95D26BE5  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:40:54]
489*2^1128124-1 is not prime.  Res64: FEB18538F1D2523C  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:43:56]
507*2^1128124-1 is not prime.  Res64: 949B8F7604287B75  Time : 0.0 sec.
user=juhehe
[2012-03-23 14:47:53]
519*2^1128124-1 is not prime.  Res64: FB22B6318532907E  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:51:34]
549*2^1128124-1 is not prime.  Res64: 3386ED8E196F26BF  Time : 0.0 sec.
user=henryzz
[2012-03-23 14:54:30]
597*2^1128124-1 is not prime.  Res64: 930FE62A2B963781  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:01:14]
477*2^1128125-1 is not prime.  Res64: D47971C00ECBB29A  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:04:16]
507*2^1128125-1 is not prime.  Res64: FEC84E80A2078E29  Time : 0.0 sec.
user=juhehe
[2012-03-23 15:05:25]
567*2^1128125-1 is not prime.  Res64: 13CFCA935308F9EF  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:13:59]
465*2^1128126-1 is not prime.  Res64: A4987629E68DEEDF  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:15:45]
473*2^1128126-1 is not prime.  Res64: C57AD5522472D1B2  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:21:54]
483*2^1128126-1 is not prime.  Res64: 80DEF9D51F2500A9  Time : 0.0 sec.
user=juhehe
[2012-03-23 15:23:05]
511*2^1128127-1 is not prime.  Res64: BD2AD6B8668DF24D  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:25:15]
591*2^1128126-1 is not prime.  Res64: 3801139738B2D455  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:35:38]
519*2^1128127-1 is not prime.  Res64: DFA0C8E6E34B246E  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:37:12]
549*2^1128127-1 is not prime.  Res64: 5DDC1036C8CC7A9C  Time : 0.0 sec.
user=juhehe
[2012-03-23 15:40:32]
467*2^1128128-1 is not prime.  Res64: B442382172252210  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:42:58]
595*2^1128127-1 is not prime.  Res64: 4742A0B069F5E78C  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:48:10]
439*2^1128129-1 is not prime.  Res64: 9C62DB2DEDE8537E  Time : 0.0 sec.
user=Sashixi
[2012-03-23 15:52:02]
453*2^1128114-1 is not prime.  Res64: DA020EFE2CCF9BE2  Time : 0.0 sec.
user=Sashixi
[2012-03-23 15:52:21]
461*2^1128114-1 is not prime.  Res64: 8F75075528AC00C9  Time : 0.0 sec.
user=Sashixi
[2012-03-23 15:53:40]
543*2^1128114-1 is not prime.  Res64: 3044B68C57CE451B  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:58:21]
571*2^1128129-1 is not prime.  Res64: 538CD6FB9899CFD3  Time : 0.0 sec.
user=henryzz
[2012-03-23 15:59:03]
425*2^1128130-1 is not prime.  Res64: 7FD8C3658BB80A00  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:01:48]
465*2^1128115-1 is not prime.  Res64: 4A17FA92820DF927  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:04:37]
441*2^1128131-1 is not prime.  Res64: 9CEEFA483B114BB3  Time : 0.0 sec.
user=juhehe
[2012-03-23 16:04:59]
403*2^1128131-1 is not prime.  Res64: 8E8AD1E824D3071A  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:10:33]
445*2^1128131-1 is not prime.  Res64: 22DB9F5744B89FD3  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:12:30]
585*2^1128131-1 is not prime.  Res64: 3761AC12E558AFED  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:12:34]
505*2^1128131-1 is not prime.  Res64: A7607902C02FFF99  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:14:18]
595*2^1128131-1 is not prime.  Res64: F53427E979712A7A  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:20:45]
447*2^1128132-1 is not prime.  Res64: DD2D080CB3A5810E  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:21:06]
587*2^1128132-1 is not prime.  Res64: E8A36648D4CA69F1  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:22:40]
411*2^1128133-1 is not prime.  Res64: 5D10BCB644016538  Time : 0.0 sec.
user=juhehe
[2012-03-23 16:25:55]
451*2^1128133-1 is not prime.  Res64: 6D5672EA2D9270AC  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:26:38]
429*2^1128133-1 is not prime.  Res64: F89B2FA5ED89FC56  Time : 0.0 sec.
user=vaughan
[2012-03-23 16:31:42]
429*2^1128132-1 is not prime.  Res64: BFCFE2B2C5344548  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:32:01]
511*2^1128133-1 is not prime.  Res64: 8258535600E73E16  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:33:03]
541*2^1128133-1 is not prime.  Res64: 98223D44675451AA  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:33:04]
517*2^1128133-1 is not prime.  Res64: 47D1BF1C5D5ECA46  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:34:48]
555*2^1128133-1 is not prime.  Res64: 6CAE85524DCC692C  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:42:10]
483*2^1128134-1 is not prime.  Res64: 76619902C810C88F  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:42:55]
591*2^1128133-1 is not prime.  Res64: 0CD5C56E3AAAC53D  Time : 0.0 sec.
user=juhehe
[2012-03-23 16:43:14]
551*2^1128134-1 is not prime.  Res64: 08EDBCE90CBA7064  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:43:26]
525*2^1128134-1 is not prime.  Res64: 0E95D8A79437F052  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:48:49]
561*2^1128134-1 is not prime.  Res64: 5A7BB8C86748C056  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:53:48]
437*2^1128136-1 is not prime.  Res64: B6BDBEC39A89D3A8  Time : 0.0 sec.
user=henryzz
[2012-03-23 16:53:56]
423*2^1128135-1 is not prime.  Res64: C69C08885A058C2A  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:54:30]
453*2^1128136-1 is not prime.  Res64: D3827219CF08B60E  Time : 0.0 sec.
user=Sashixi
[2012-03-23 16:55:47]
465*2^1128136-1 is not prime.  Res64: 408D406E8001CE66  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:03:56]
413*2^1128138-1 is not prime.  Res64: 9F06F38F54953291  Time : 0.0 sec.
user=juhehe
[2012-03-23 17:04:26]
537*2^1128137-1 is not prime.  Res64: 7D28DD926D132E02  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:05:55]
573*2^1128136-1 is not prime.  Res64: 35BBC89DF0F63F68  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:06:19]
405*2^1128137-1 is not prime.  Res64: B771EA341334C9A1  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:10:58]
425*2^1128138-1 is not prime.  Res64: 449630BACF7ED204  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:12:44]
511*2^1128139-1 is not prime.  Res64: 0B185347E9E0EA66  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:13:40]
553*2^1128139-1 is not prime.  Res64: 7F34FCDA074D0409  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:14:40]
465*2^1128140-1 is not prime.  Res64: F75AE44910C45182  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:16:31]
549*2^1128139-1 is not prime.  Res64: 596C008AEBCBBCE3  Time : 0.0 sec.
user=juhehe
[2012-03-23 17:21:47]
545*2^1128140-1 is not prime.  Res64: 712053EF856DB37A  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:23:03]
537*2^1128140-1 is not prime.  Res64: E8ED2A413D7059C2  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:32:35]
471*2^1128142-1 is not prime.  Res64: 7AC6E121E3D42B8B  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:33:42]
533*2^1128142-1 is not prime.  Res64: F017C62CF72B6D72  Time : 0.0 sec.
user=Sashixi
[2012-03-23 17:34:26]
567*2^1128142-1 is not prime.  Res64: CDDFC10C3C2DD660  Time : 0.0 sec.
user=juhehe
[2012-03-23 17:39:07]
435*2^1128143-1 is not prime.  Res64: 464CF7353070AAB6  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:40:27]
585*2^1128140-1 is not prime.  Res64: 509BA4340EBD4C4D  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:40:28]
593*2^1128142-1 is not prime.  Res64: AB6D4A965F3CCF17  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:40:34]
405*2^1128141-1 is not prime.  Res64: D4051EFA73EFDD10  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:40:36]
475*2^1128141-1 is not prime.  Res64: 4BAE93DE0836FD78  Time : 0.0 sec.
user=juhehe
[2012-03-23 17:56:25]
419*2^1128144-1 is not prime.  Res64: 5097A8BFB77A32D0  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:59:54]
483*2^1128146-1 is not prime.  Res64: AB9D3CB67D692D17  Time : 0.0 sec.
user=henryzz
[2012-03-23 17:59:54]
521*2^1128146-1 is not prime.  Res64: 15E2A663AB2078F7  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:00:02]
597*2^1128144-1 is not prime.  Res64: E09DDBFB84F70FEA  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:00:57]
531*2^1128145-1 is not prime.  Res64: 17BC8D14E5DE70C8  Time : 0.0 sec.
user=juhehe
[2012-03-23 18:13:48]
525*2^1128146-1 is not prime.  Res64: 49D8F55DA40CCDCE  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:18:51]
587*2^1128146-1 is not prime.  Res64: BE013109877EA63F  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:18:54]
585*2^1128146-1 is not prime.  Res64: F546EEAAA846965D  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:19:07]
409*2^1128147-1 is not prime.  Res64: 30EBC252D8A3CB56  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:19:48]
471*2^1128147-1 is not prime.  Res64: 9A12590C45C0B9CF  Time : 0.0 sec.
user=juhehe
[2012-03-23 18:31:03]
435*2^1128148-1 is not prime.  Res64: 9A7EA2C620889773  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:37:20]
507*2^1128148-1 is not prime.  Res64: BE9BB711B8182C52  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:37:30]
513*2^1128148-1 is not prime.  Res64: 1E0CD2C71C43EECC  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:37:37]
525*2^1128148-1 is not prime.  Res64: 0DBC3000BCA3C429  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:38:22]
527*2^1128148-1 is not prime.  Res64: 92891CD2D34EEDF6  Time : 0.0 sec.
user=vaughan
[2012-03-23 18:41:41]
511*2^1128147-1 is not prime.  Res64: A88C5E1A6FAABC74  Time : 0.0 sec.
user=juhehe
[2012-03-23 18:48:19]
567*2^1128148-1 is not prime.  Res64: 429D388CD8DBF99C  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:55:50]
435*2^1128149-1 is not prime.  Res64: 8F7E81ABD091FC0E  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:55:59]
451*2^1128149-1 is not prime.  Res64: 9A4B4A5DB53FB35D  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:56:14]
465*2^1128149-1 is not prime.  Res64: 7F22429166EE00E4  Time : 0.0 sec.
user=henryzz
[2012-03-23 18:56:58]
487*2^1128149-1 is not prime.  Res64: 4511CA90CF5A296E  Time : 0.0 sec.
user=juhehe
[2012-03-23 19:05:37]
411*2^1128150-1 is not prime.  Res64: 682E5ED325FCEBAF  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:14:27]
423*2^1128150-1 is not prime.  Res64: 95B1406F0543CDD9  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:14:35]
525*2^1128150-1 is not prime.  Res64: A8042014944E344B  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:14:52]
563*2^1128150-1 is not prime.  Res64: 477B487D67D45EEC  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:15:31]
429*2^1128151-1 is not prime.  Res64: 78F130901FA03EC2  Time : 0.0 sec.
user=juhehe
[2012-03-23 19:22:59]
469*2^1128151-1 is not prime.  Res64: D0CCCCDB77CEF3F3  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:33:03]
525*2^1128151-1 is not prime.  Res64: 7416B81450410C87  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:33:08]
549*2^1128151-1 is not prime.  Res64: FCA5490B2DEB2312  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:33:26]
413*2^1128152-1 is not prime.  Res64: 9D69A7CEABA5FA7E  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:34:08]
437*2^1128152-1 is not prime.  Res64: 2C96E3DD83054532  Time : 0.0 sec.
user=juhehe
[2012-03-23 19:40:19]
507*2^1128152-1 is not prime.  Res64: E3A5EA554C04FECC  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:51:37]
495*2^1128153-1 is not prime.  Res64: 5618B41B65356248  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:51:43]
497*2^1128154-1 is not prime.  Res64: 124BAF14BDDF5484  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:52:02]
503*2^1128154-1 is not prime.  Res64: 42265145D48A0BBC  Time : 0.0 sec.
user=henryzz
[2012-03-23 19:52:42]
521*2^1128154-1 is not prime.  Res64: D6574071B92C1F1F  Time : 0.0 sec.
user=juhehe
[2012-03-23 19:57:33]
475*2^1128155-1 is not prime.  Res64: A1D26B1DCD785A09  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:10:13]
519*2^1128155-1 is not prime.  Res64: 9EBAC5044432ACDB  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:10:16]
511*2^1128155-1 is not prime.  Res64: 7482E896310C8BC6  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:10:38]
437*2^1128156-1 is not prime.  Res64: 13B3A28B9F73699B  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:11:11]
579*2^1128156-1 is not prime.  Res64: C272A404AE26695F  Time : 0.0 sec.
user=juhehe
[2012-03-23 20:14:56]
587*2^1128156-1 is not prime.  Res64: 2EC4CB0D809C8DAB  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:28:52]
427*2^1128157-1 is not prime.  Res64: 764EF1C20CA327F2  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:28:56]
593*2^1128156-1 is not prime.  Res64: F77920F3339D9F6F  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:29:13]
489*2^1128157-1 is not prime.  Res64: 1DD5B07AD5132F2A  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:29:44]
511*2^1128157-1 is not prime.  Res64: 32C1C10026911639  Time : 0.0 sec.
user=juhehe
[2012-03-23 20:32:17]
549*2^1128157-1 is not prime.  Res64: 261D50C48F253E31  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:47:27]
453*2^1128158-1 is not prime.  Res64: EBB2BA8CC69C6C06  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:47:38]
495*2^1128158-1 is not prime.  Res64: F44DF52A363CDDC8  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:47:58]
501*2^1128158-1 is not prime.  Res64: D37D9E710840B210  Time : 0.0 sec.
user=henryzz
[2012-03-23 20:48:24]
507*2^1128158-1 is not prime.  Res64: 0199432CAAAC5788  Time : 0.0 sec.
user=juhehe
[2012-03-23 20:49:38]
515*2^1128158-1 is not prime.  Res64: C3B456D9C06E2AA0  Time : 0.0 sec.
user=vaughan
[2012-03-23 20:51:53]
423*2^1128158-1 is not prime.  Res64: 4AB7F254051CCD84  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:06:07]
551*2^1128158-1 is not prime.  Res64: FA9B3731B9AB8D6F  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:06:19]
557*2^1128158-1 is not prime.  Res64: 924C4933DBBDFC82  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:06:35]
429*2^1128159-1 is not prime.  Res64: D1AC90DC3E2DEEA8  Time : 0.0 sec.
user=juhehe
[2012-03-23 21:06:55]
537*2^1128160-1 is not prime.  Res64: CF74DD885E503C5A  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:07:03]
449*2^1128160-1 is not prime.  Res64: 06472C2758DC876B  Time : 0.0 sec.
user=juhehe
[2012-03-23 21:24:13]
537*2^1128162-1 is not prime.  Res64: 4854F3B215F086DA  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:24:42]
447*2^1128161-1 is not prime.  Res64: 54F9FA438F3E0AE5  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:24:56]
547*2^1128161-1 is not prime.  Res64: 40BB4472AEC013AA  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:25:09]
417*2^1128162-1 is not prime.  Res64: B20A4BFB664E6A90  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:25:44]
411*2^1128163-1 is not prime.  Res64: 737660C94CE70386  Time : 0.0 sec.
user=juhehe
[2012-03-23 21:41:31]
415*2^1128163-1 is not prime.  Res64: 304F2D3308257E4D  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:43:45]
573*2^1128163-1 is not prime.  Res64: 36C46DA73C851CFF  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:43:47]
595*2^1128163-1 is not prime.  Res64: A7B41FD62D101BA1  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:44:31]
417*2^1128164-1 is not prime.  Res64: B0EE0051A41E3E62  Time : 0.0 sec.
user=henryzz
[2012-03-23 21:44:41]
479*2^1128164-1 is not prime.  Res64: 733A72492B211F50  Time : 0.0 sec.
user=vaughan
[2012-03-23 21:57:24]
441*2^1128163-1 is not prime.  Res64: 5E9E4EAEF28D3E74  Time : 0.0 sec.
user=juhehe
[2012-03-23 21:58:46]
465*2^1128165-1 is not prime.  Res64: BB835160F280C1CF  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:02:22]
507*2^1128165-1 is not prime.  Res64: E6C7BAB88114B217  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:02:25]
565*2^1128165-1 is not prime.  Res64: E6250D57FC40AB60  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:03:03]
577*2^1128165-1 is not prime.  Res64: 28B7AEB68484851D  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:03:15]
405*2^1128166-1 is not prime.  Res64: B9B3452CD4F13A6A  Time : 0.0 sec.
user=juhehe
[2012-03-23 22:16:00]
559*2^1128167-1 is not prime.  Res64: 607CCA02DA512BEC  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:20:49]
589*2^1128167-1 is not prime.  Res64: 391AFAD2974184E9  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:20:56]
509*2^1128168-1 is not prime.  Res64: 1E6701D85144211B  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:21:30]
563*2^1128168-1 is not prime.  Res64: FAF9AA7DF1804B84  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:21:45]
427*2^1128169-1 is not prime.  Res64: 0C8DDC6EEE2D677A  Time : 0.0 sec.
user=juhehe
[2012-03-23 22:33:17]
477*2^1128169-1 is not prime.  Res64: 0F3615073742BD5F  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:39:21]
597*2^1128169-1 is not prime.  Res64: AA91FA0EE0433B41  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:39:28]
517*2^1128169-1 is not prime.  Res64: 9D532A9477C08D2F  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:40:04]
477*2^1128170-1 is not prime.  Res64: 2B69F41C2535782A  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:40:10]
561*2^1128170-1 is not prime.  Res64: 541166BD6E452F6F  Time : 0.0 sec.
user=juhehe
[2012-03-23 22:50:34]
475*2^1128171-1 is not prime.  Res64: A7DD9208B2090528  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:57:53]
513*2^1128171-1 is not prime.  Res64: 3CFA8D8223538A6F  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:57:58]
447*2^1128172-1 is not prime.  Res64: 8B37A8CCC50CEAC4  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:58:35]
537*2^1128172-1 is not prime.  Res64: A2CEBE634C1B9719  Time : 0.0 sec.
user=henryzz
[2012-03-23 22:58:41]
545*2^1128172-1 is not prime.  Res64: 28CC56283D18E854  Time : 0.0 sec.
user=vaughan
[2012-03-23 23:03:04]
585*2^1128170-1 is not prime.  Res64: 78BE82DF6B26C7FD  Time : 0.0 sec.
user=juhehe
[2012-03-23 23:07:52]
451*2^1128173-1 is not prime.  Res64: 718A742117EA95A8  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:16:21]
547*2^1128173-1 is not prime.  Res64: 2E19FAC65650EB38  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:16:30]
521*2^1128174-1 is not prime.  Res64: BEC8590CB93B888F  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:17:00]
527*2^1128174-1 is not prime.  Res64: 94010E492FF72C62  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:17:19]
567*2^1128174-1 is not prime.  Res64: 76BDCEA1FF2B4740  Time : 0.0 sec.
user=juhehe
[2012-03-23 23:25:10]
441*2^1128175-1 is not prime.  Res64: C88ABC743F4440C1  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:34:50]
563*2^1128176-1 is not prime.  Res64: 51B5CFECFFD18C26  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:35:03]
501*2^1128177-1 is not prime.  Res64: AAFBA3236EA59882  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:35:34]
549*2^1128177-1 is not prime.  Res64: 54C8F1D3AF313C8E  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:35:48]
555*2^1128177-1 is not prime.  Res64: 50E0C53247154E1A  Time : 0.0 sec.
user=gd_barnes
[2012-03-23 23:35:50]
523*2^1128175-1 is not prime.  Res64: E65975AAA6B9719B  Time : 0.0 sec.
user=vaughan
[2012-03-23 23:36:22]
429*2^1128175-1 is not prime.  Res64: FC55EB41481763E4  Time : 0.0 sec.
user=juhehe
[2012-03-23 23:42:26]
423*2^1128178-1 is not prime.  Res64: 83B080C059F1EEB0  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:53:22]
433*2^1128179-1 is not prime.  Res64: 04D993B23D0581B0  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:53:32]
439*2^1128179-1 is not prime.  Res64: 88E13459B9806162  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:54:06]
495*2^1128179-1 is not prime.  Res64: 81E44886332EA225  Time : 0.0 sec.
user=henryzz
[2012-03-23 23:54:14]
473*2^1128180-1 is not prime.  Res64: A7CBD85C6F0D6EDA  Time : 0.0 sec.
user=juhehe
[2012-03-23 23:59:43]
555*2^1128180-1 is not prime.  Res64: D35AAC186F251136  Time : 0.0 sec.