user=mdettweiler
[2015-05-26 00:05:40]
615*2^1399472-1 is not prime.  Res64: 539ACBE423D371A4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:05:42]
623*2^1399472-1 is not prime.  Res64: 316B12C25BB7E937  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:14:41]
677*2^1399472-1 is not prime.  Res64: 574BEB6C5A1E0013  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:14:41]
713*2^1399472-1 is not prime.  Res64: 1BCD0829F080E9A1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:17:08]
755*2^1399472-1 is not prime.  Res64: A0DEB07AC3648A59  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:17:08]
827*2^1399472-1 is not prime.  Res64: 850A2173A9E5677F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:17:34]
983*2^1399472-1 is not prime.  Res64: 798C000CFE7EFF72  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:17:34]
651*2^1399473-1 is not prime.  Res64: 4201FA81B35D1F62  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:23:52]
681*2^1399473-1 is not prime.  Res64: 9BBDA9729FD4E0A9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:23:52]
741*2^1399473-1 is not prime.  Res64: F9D9A3CD8754905F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:32:25]
769*2^1399473-1 is not prime.  Res64: 044562EA09E03D13  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:32:25]
811*2^1399473-1 is not prime.  Res64: CD0825A81E8799A8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:34:48]
837*2^1399473-1 is not prime.  Res64: 7581EE6659A9989A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:34:48]
733*2^1399475-1 is not prime.  Res64: 892A13EACE21BC21  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:35:18]
759*2^1399475-1 is not prime.  Res64: E75EE9DA04AC1400  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:35:18]
801*2^1399475-1 is not prime.  Res64: FC1F854BC989C9CF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:41:30]
981*2^1399475-1 is not prime.  Res64: 68944601FDA2813C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:41:30]
789*2^1399476-1 is not prime.  Res64: 238E495CBB5C7D5D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:50:14]
839*2^1399476-1 is not prime.  Res64: 5E5631B49C699A47  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:50:15]
857*2^1399476-1 is not prime.  Res64: DE682D935F81AF10  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:52:22]
607*2^1399477-1 is not prime.  Res64: 09D793E4D8D7BDE8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:52:23]
609*2^1399477-1 is not prime.  Res64: 717C7118EC86D1E7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:53:07]
615*2^1399477-1 is not prime.  Res64: FBD35A12F46B68C2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:53:08]
619*2^1399477-1 is not prime.  Res64: 924F03E95E5C9565  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:59:09]
645*2^1399477-1 is not prime.  Res64: D0A7397383E1FAB7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 00:59:09]
691*2^1399477-1 is not prime.  Res64: E3AF0A7E87D1B662  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:07:56]
699*2^1399477-1 is not prime.  Res64: F7CF617F011E9D6E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:07:57]
801*2^1399477-1 is not prime.  Res64: 47710C62F7D062E5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:09:56]
829*2^1399477-1 is not prime.  Res64: AB4A8183F8A6A853  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:09:57]
859*2^1399477-1 is not prime.  Res64: 54CB10018AA6972F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:10:53]
871*2^1399477-1 is not prime.  Res64: 5F9FE2BBAFDFE640  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:10:54]
901*2^1399477-1 is not prime.  Res64: 03914608C17E2EAF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:17:00]
939*2^1399477-1 is not prime.  Res64: 329D1795A487EA9E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:17:00]
955*2^1399477-1 is not prime.  Res64: E22D5CB37ABCAB58  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:26:22]
975*2^1399477-1 is not prime.  Res64: 8006923FD3B0AA4D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:26:23]
603*2^1399478-1 is not prime.  Res64: 1B36A73B12E869A1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:28:25]
645*2^1399478-1 is not prime.  Res64: 9672E161A2BC5B33  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:28:26]
663*2^1399478-1 is not prime.  Res64: DDB1B528BF8B8E06  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:29:38]
813*2^1399478-1 is not prime.  Res64: 4C38FF0333B780D2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:29:39]
845*2^1399478-1 is not prime.  Res64: 2A32859A574F0C34  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:36:06]
977*2^1399478-1 is not prime.  Res64: 6315F4641F46CC4A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:36:07]
625*2^1399479-1 is not prime.  Res64: 3001AD9600F48FD7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:44:01]
649*2^1399479-1 is not prime.  Res64: F4F4881A9411F165  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:44:01]
669*2^1399479-1 is not prime.  Res64: 5CECFEE60F17A96F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:46:05]
685*2^1399479-1 is not prime.  Res64: F15A650D0EEACD07  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:46:05]
909*2^1399479-1 is not prime.  Res64: 9CE39D5A280EBA70  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:47:16]
609*2^1399480-1 is not prime.  Res64: 7BCCEE0B343FE1ED  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:47:16]
629*2^1399480-1 is not prime.  Res64: 62D64A8EFEF864FF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:53:58]
827*2^1399480-1 is not prime.  Res64: 6B756243683F6269  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 01:53:58]
839*2^1399480-1 is not prime.  Res64: BA4A4D62E9FF0B16  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:01:44]
875*2^1399480-1 is not prime.  Res64: 7DE59356BFC6E069  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:01:45]
957*2^1399480-1 is not prime.  Res64: 311CB6366AEFF3B9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:03:48]
615*2^1399481-1 is not prime.  Res64: 82DA835299356B9F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:03:49]
657*2^1399481-1 is not prime.  Res64: 1A2A6B7023CB1BAB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:05:00]
889*2^1399481-1 is not prime.  Res64: F6AAD823F5DC4CB6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:05:01]
621*2^1399482-1 is not prime.  Res64: BFC6F31A89054352  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:11:39]
891*2^1399482-1 is not prime.  Res64: A5AD1F9B3FA9BE81  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:11:39]
615*2^1399483-1 is not prime.  Res64: F6A8FF0C6A00CE7F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:19:27]
619*2^1399483-1 is not prime.  Res64: E98E48AB8D34926E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:19:27]
685*2^1399483-1 is not prime.  Res64: 5660539A6B6B6FAA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:21:31]
693*2^1399483-1 is not prime.  Res64: 24046A25CD5B5225  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:21:32]
723*2^1399483-1 is not prime.  Res64: D7A3C462641DB238  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:22:43]
741*2^1399483-1 is not prime.  Res64: F27F7F0792877B3C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:22:43]
829*2^1399483-1 is not prime.  Res64: F007D02EFFB6FA25  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:29:22]
849*2^1399483-1 is not prime.  Res64: 568E6EF2E0458CBA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:29:23]
873*2^1399483-1 is not prime.  Res64: A232D0556E19B19D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:37:05]
743*2^1399484-1 is not prime.  Res64: 625C02D4CF841412  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:37:05]
945*2^1399484-1 is not prime.  Res64: CBE418C925916253  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:39:18]
953*2^1399484-1 is not prime.  Res64: B741700841F77DD7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:39:18]
995*2^1399484-1 is not prime.  Res64: 9FA94F6B4F88CB62  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:40:20]
655*2^1399485-1 is not prime.  Res64: 5E5CA7620528678D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:40:20]
919*2^1399485-1 is not prime.  Res64: 4A57F328DCDF102C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:47:17]
997*2^1399485-1 is not prime.  Res64: 145003D8A2294608  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:47:17]
603*2^1399486-1 is not prime.  Res64: 065693A5429F1E58  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:54:48]
651*2^1399486-1 is not prime.  Res64: D8A0FD4198A72177  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:54:48]
923*2^1399486-1 is not prime.  Res64: 976E3A369C3E19AD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:56:58]
993*2^1399486-1 is not prime.  Res64: A35A6973070B73C5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:56:58]
661*2^1399487-1 is not prime.  Res64: C568577AB89B8F0D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:57:52]
663*2^1399487-1 is not prime.  Res64: 90E0A9F4AAB7A9B6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 02:57:53]
879*2^1399487-1 is not prime.  Res64: C415E9A896903359  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:04:54]
939*2^1399487-1 is not prime.  Res64: BC87E320846CBE61  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:04:55]
945*2^1399487-1 is not prime.  Res64: B8AE7C6E69147E88  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:12:25]
979*2^1399487-1 is not prime.  Res64: CBF9ED613181EA3E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:12:25]
981*2^1399487-1 is not prime.  Res64: BF5487F70C6CB7C6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:14:36]
669*2^1399488-1 is not prime.  Res64: 269961ABE0A58991  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:14:36]
759*2^1399488-1 is not prime.  Res64: 829D2793FF03BEAB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:15:35]
767*2^1399488-1 is not prime.  Res64: DF79089485533A71  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:15:35]
879*2^1399488-1 is not prime.  Res64: ABC03C6C7EBAD066  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:22:58]
899*2^1399488-1 is not prime.  Res64: 2AA145ADF0017BC3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:22:59]
905*2^1399488-1 is not prime.  Res64: C5923A68F716F4A5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:30:03]
685*2^1399489-1 is not prime.  Res64: 6B0052CC24E0E51F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:30:03]
799*2^1399489-1 is not prime.  Res64: 2F2232BBD403662D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:32:22]
885*2^1399489-1 is not prime.  Res64: 2D205B5E77C5B48E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:32:23]
951*2^1399489-1 is not prime.  Res64: 7C0E0F627E074145  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:33:12]
957*2^1399489-1 is not prime.  Res64: 7BC09F28876CBB3A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:33:13]
627*2^1399490-1 is not prime.  Res64: FFC8AD221B55A775  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:40:48]
671*2^1399490-1 is not prime.  Res64: F5B2BB10E9395B8C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:40:50]
741*2^1399490-1 is not prime.  Res64: FCB67D04DB5C4918  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:47:40]
767*2^1399490-1 is not prime.  Res64: 20EFB833EE68DEC6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:47:41]
911*2^1399490-1 is not prime.  Res64: EB2239B1DE4C6638  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:50:11]
705*2^1399491-1 is not prime.  Res64: ADE6CA00CB3552F4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:50:11]
741*2^1399491-1 is not prime.  Res64: 4AB07979BAACC190  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:50:47]
879*2^1399491-1 is not prime.  Res64: 9BFF41FB19C1F334  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:50:47]
909*2^1399491-1 is not prime.  Res64: 4EBDFC3E1EA8DA95  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:58:38]
951*2^1399491-1 is not prime.  Res64: 817FE5C079956D7A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 03:58:38]
605*2^1399492-1 is not prime.  Res64: A5772368FC15655B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:05:23]
615*2^1399492-1 is not prime.  Res64: 37FF341043E4646F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:05:24]
647*2^1399492-1 is not prime.  Res64: 5F0E3898B6AF3FAC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:07:50]
677*2^1399492-1 is not prime.  Res64: 78A480D3C83A0D78  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:07:50]
819*2^1399492-1 is not prime.  Res64: 76426322D8F2EF41  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:08:24]
855*2^1399492-1 is not prime.  Res64: 8776AF4153642BA8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:08:24]
899*2^1399492-1 is not prime.  Res64: 4509B75EE11B494B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:16:22]
933*2^1399492-1 is not prime.  Res64: 6554ED81DD764762  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:16:22]
983*2^1399492-1 is not prime.  Res64: D4F98089FC96BAED  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:23:01]
651*2^1399493-1 is not prime.  Res64: 01C2F32A5A9B551A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:23:01]
669*2^1399493-1 is not prime.  Res64: CAAA4502F18760A9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:25:29]
735*2^1399493-1 is not prime.  Res64: 0283AF26A758EC00  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:25:30]
801*2^1399493-1 is not prime.  Res64: 41F75D3B159F9970  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:26:05]
949*2^1399493-1 is not prime.  Res64: AEC3AFCA502FA3F8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:26:05]
621*2^1399494-1 is not prime.  Res64: 8CAE9F053C66DABD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:34:09]
755*2^1399494-1 is not prime.  Res64: C1E73D8D1BD2204E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:34:09]
927*2^1399494-1 is not prime.  Res64: E4A12CCD19F65998  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:40:48]
941*2^1399494-1 is not prime.  Res64: 76F867F7C6422250  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:40:48]
947*2^1399494-1 is not prime.  Res64: 29E5257461A3D901  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:43:02]
609*2^1399495-1 is not prime.  Res64: 4C650F9E45056E7B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:43:02]
685*2^1399495-1 is not prime.  Res64: 5DAD0C2CD58EC417  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:43:56]
759*2^1399495-1 is not prime.  Res64: 4CF6B43AFABAFA6E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:43:56]
861*2^1399495-1 is not prime.  Res64: 8D3A8B5ED0ED847F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:52:05]
919*2^1399495-1 is not prime.  Res64: 5C4A584268D2B493  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:52:06]
933*2^1399495-1 is not prime.  Res64: 9E1DD5B7FA4241EB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:58:32]
961*2^1399495-1 is not prime.  Res64: 2297F14E3BA0F04D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 04:58:32]
979*2^1399495-1 is not prime.  Res64: 181AB2D126D81184  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:00:44]
609*2^1399496-1 is not prime.  Res64: DEA02E3E15A5E9BE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:00:44]
717*2^1399496-1 is not prime.  Res64: A9ACB31A5AF4F6EA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:01:39]
825*2^1399496-1 is not prime.  Res64: 0E6C1D39EAFEF368  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:01:39]
839*2^1399496-1 is not prime.  Res64: 89542A2B472A9F4D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:09:47]
857*2^1399496-1 is not prime.  Res64: 244FA4ED818AD9C6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:09:48]
875*2^1399496-1 is not prime.  Res64: E739ADC91A617BB0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:16:19]
935*2^1399496-1 is not prime.  Res64: E7415179D94DB731  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:16:20]
627*2^1399497-1 is not prime.  Res64: EBDC87D20AC03263  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:18:23]
727*2^1399497-1 is not prime.  Res64: F9974D0907FCB736  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:18:23]
741*2^1399497-1 is not prime.  Res64: FF2A8454895C68AD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:19:20]
849*2^1399497-1 is not prime.  Res64: F0C62B2669277AAD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:19:20]
871*2^1399497-1 is not prime.  Res64: 7114A99AA4FEBE42  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:27:22]
949*2^1399497-1 is not prime.  Res64: F62ED630E5D30027  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:27:22]
665*2^1399498-1 is not prime.  Res64: 3488A0155A920B24  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:34:04]
695*2^1399498-1 is not prime.  Res64: F8C1AAD4AACCEAC8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:34:04]
705*2^1399498-1 is not prime.  Res64: 9BCE895E6C5F936C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:36:12]
815*2^1399498-1 is not prime.  Res64: 2CB2467169AE0BBE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:36:13]
993*2^1399498-1 is not prime.  Res64: 03BDE14ED487FCFB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:37:08]
995*2^1399498-1 is not prime.  Res64: FCD2BD9A2401167D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:37:08]
711*2^1399499-1 is not prime.  Res64: D1EF51B9CDD85045  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:45:07]
859*2^1399499-1 is not prime.  Res64: B85C3F704FE8419D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:45:07]
879*2^1399499-1 is not prime.  Res64: 19F9684F60ACF43C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:51:45]
889*2^1399499-1 is not prime.  Res64: DA351863C043065D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:51:45]
633*2^1399500-1 is not prime.  Res64: A2F56B4A66F9E3F8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:53:52]
689*2^1399500-1 is not prime.  Res64: 522D0E38D8950245  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:53:52]
699*2^1399500-1 is not prime.  Res64: 8D16AC4AE297C338  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:54:44]
789*2^1399500-1 is not prime.  Res64: 7DC824B326A06661  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 05:54:44]
797*2^1399500-1 is not prime.  Res64: 7D8EB7B198540A77  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:02:44]
839*2^1399500-1 is not prime.  Res64: 9074DFD77F2737A4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:02:45]
845*2^1399500-1 is not prime.  Res64: 6855E3237E23A0C3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:09:20]
927*2^1399500-1 is not prime.  Res64: 74927182D1EF2127  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:09:20]
935*2^1399500-1 is not prime.  Res64: EBE8892A536428E0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:11:26]
959*2^1399500-1 is not prime.  Res64: 9E16C348F875B42D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:11:27]
983*2^1399500-1 is not prime.  Res64: 032DA9E68D724467  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:12:18]
607*2^1399501-1 is not prime.  Res64: 1C3ECE47B4510CFC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:12:18]
775*2^1399501-1 is not prime.  Res64: 9E49699DED2573A3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:20:26]
849*2^1399501-1 is not prime.  Res64: 741F34A20951E621  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:20:26]
855*2^1399501-1 is not prime.  Res64: B95AA8A130363CA0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:26:57]
861*2^1399501-1 is not prime.  Res64: BCC29BECA38CA023  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:26:58]
871*2^1399501-1 is not prime.  Res64: E35D7C7AAC87C1B4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:29:05]
743*2^1399502-1 is not prime.  Res64: 21A0232BDD9D9560  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:29:05]
797*2^1399502-1 is not prime.  Res64: 196A4C451F06797C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:30:01]
903*2^1399502-1 is not prime.  Res64: E0B4EC3536873F94  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:30:02]
921*2^1399502-1 is not prime.  Res64: 81ECF4297DCF1EB9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:38:11]
945*2^1399502-1 is not prime.  Res64: B2BA1FC48E101097  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:38:12]
615*2^1399503-1 is not prime.  Res64: EE912BF189CEAFAE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:44:49]
661*2^1399503-1 is not prime.  Res64: 4840E8BB6702A5CC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:44:49]
691*2^1399503-1 is not prime.  Res64: 69EF6C481D28A049  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:46:53]
709*2^1399503-1 is not prime.  Res64: 531148F1B16DE7BC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:46:53]
783*2^1399503-1 is not prime.  Res64: 9761D0FA96FD04C1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:47:50]
831*2^1399503-1 is not prime.  Res64: FFF71AC3B83F5373  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:47:50]
933*2^1399503-1 is not prime.  Res64: AAFE057136145CEC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:55:48]
635*2^1399504-1 is not prime.  Res64: 5F2853326A68143A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 06:55:48]
743*2^1399504-1 is not prime.  Res64: E28EB1E484CFDE5D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:02:33]
765*2^1399504-1 is not prime.  Res64: 52D3C99A7A3F2AD8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:02:34]
813*2^1399504-1 is not prime.  Res64: 9FE8EBF58CEC320A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:04:47]
825*2^1399504-1 is not prime.  Res64: 1CEC36DB33C386A9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:04:47]
929*2^1399504-1 is not prime.  Res64: 0318D726814433D4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:05:33]
657*2^1399505-1 is not prime.  Res64: 3990452EFD3138FD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:05:33]
711*2^1399505-1 is not prime.  Res64: BA956B6094C34160  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:13:31]
717*2^1399505-1 is not prime.  Res64: 4682F02FE5F42312  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:13:31]
771*2^1399505-1 is not prime.  Res64: 2818AD19B3D11C23  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:20:40]
831*2^1399505-1 is not prime.  Res64: 4037A9EBE3EF3A02  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:20:40]
847*2^1399505-1 is not prime.  Res64: CD3C237333BD7306  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:22:47]
861*2^1399505-1 is not prime.  Res64: 226F3DC7C0677D30  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:22:47]
937*2^1399505-1 is not prime.  Res64: 6501FF800855EEB2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:23:16]
653*2^1399506-1 is not prime.  Res64: 8C5E2DB705A99CBF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:23:17]
881*2^1399506-1 is not prime.  Res64: EBDE01BDF1F09BCB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:31:22]
917*2^1399506-1 is not prime.  Res64: 51A50C77127EE285  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:31:22]
619*2^1399507-1 is not prime.  Res64: E0467FBB43F71485  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:38:22]
703*2^1399507-1 is not prime.  Res64: 043799D7CA6A337C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:38:22]
769*2^1399507-1 is not prime.  Res64: A030AE056BD33A18  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:40:22]
793*2^1399507-1 is not prime.  Res64: FF1A7B938D6CDCF4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:40:22]
835*2^1399507-1 is not prime.  Res64: A8587F8826752B4B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:40:55]
883*2^1399507-1 is not prime.  Res64: D8362513D5421613  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:40:55]
919*2^1399507-1 is not prime.  Res64: AE175CACAEFF4402  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:49:00]
623*2^1399508-1 is not prime.  Res64: 709428FE36CDD632  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:49:00]
633*2^1399508-1 is not prime.  Res64: 8FBBF2FBF13522D9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:55:59]
635*2^1399508-1 is not prime.  Res64: A99179F32A8BFFFF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:55:59]
683*2^1399508-1 is not prime.  Res64: 265495D668AFE984  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:58:00]
699*2^1399508-1 is not prime.  Res64: 70A6047984A95549  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:58:00]
743*2^1399508-1 is not prime.  Res64: EA262A95CFA5D7DB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:58:32]
813*2^1399508-1 is not prime.  Res64: A10B00404835416B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 07:58:32]
867*2^1399508-1 is not prime.  Res64: 949C9F03D97D7A4F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:06:46]
957*2^1399508-1 is not prime.  Res64: 18AFD4CA8EA17C5A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:06:46]
669*2^1399509-1 is not prime.  Res64: E250AF844936C779  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:13:44]
711*2^1399509-1 is not prime.  Res64: FD3BD872B50B8607  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:13:44]
829*2^1399509-1 is not prime.  Res64: DD923CA7D21C5328  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:15:50]
831*2^1399509-1 is not prime.  Res64: C693D96AF569D1AD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:15:50]
907*2^1399509-1 is not prime.  Res64: EE94105A1680D6F0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:16:25]
635*2^1399510-1 is not prime.  Res64: F098B05715CEFE4B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:16:25]
687*2^1399510-1 is not prime.  Res64: 13D28A66FBF38CC4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:24:31]
717*2^1399510-1 is not prime.  Res64: 1DCA9F5EA7EAC962  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:24:31]
747*2^1399510-1 is not prime.  Res64: 34080EAAA72DD30E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:31:21]
773*2^1399510-1 is not prime.  Res64: 91EA915A7C350223  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:31:22]
971*2^1399510-1 is not prime.  Res64: 42EB100A0AF3788F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:33:33]
975*2^1399510-1 is not prime.  Res64: F5FC7B3B6E2D9B97  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:33:34]
619*2^1399511-1 is not prime.  Res64: BA723EAA344D813B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:34:07]
763*2^1399511-1 is not prime.  Res64: DB8164AC8FF73E50  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:34:08]
865*2^1399511-1 is not prime.  Res64: 22182B500A3E3CBB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:42:19]
895*2^1399511-1 is not prime.  Res64: D0CBA61B7CDF4993  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:42:20]
973*2^1399511-1 is not prime.  Res64: 7D04FE4ECEAE9CBE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:49:06]
665*2^1399512-1 is not prime.  Res64: B8725E6BFAA5B556  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:49:07]
893*2^1399512-1 is not prime.  Res64: A7E34A11998D316A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:51:13]
607*2^1399513-1 is not prime.  Res64: 54665BBF46F3DE07  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:51:13]
699*2^1399513-1 is not prime.  Res64: 930E563C6E870B18  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:52:01]
705*2^1399513-1 is not prime.  Res64: EDFCE61F6EBBB349  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:52:01]
747*2^1399513-1 is not prime.  Res64: 37A0534DD800AA58  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:59:59]
807*2^1399513-1 is not prime.  Res64: C12F61C0EEB06F79  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 08:59:59]
999*2^1399513-1 is not prime.  Res64: 7BC7D1B3537502C5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:06:46]
615*2^1399514-1 is not prime.  Res64: EFEBB1DCBC9A96D9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:06:46]
617*2^1399514-1 is not prime.  Res64: 85CCF121671C4712  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:08:47]
623*2^1399514-1 is not prime.  Res64: 4D9888BB302D247D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:08:48]
633*2^1399514-1 is not prime.  Res64: 1B343F450DF199A4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:09:41]
677*2^1399514-1 is not prime.  Res64: 9C094B9A4DB0EB19  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:09:41]
875*2^1399514-1 is not prime.  Res64: 1FA5DC011DC18599  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:17:38]
951*2^1399514-1 is not prime.  Res64: D5498679662AAABC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:17:39]
971*2^1399514-1 is not prime.  Res64: C8BA6A46F5D2483D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:24:22]
649*2^1399515-1 is not prime.  Res64: 4699F9F7BABA0515  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:24:22]
735*2^1399515-1 is not prime.  Res64: 21B405B2BA84AF99  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:26:28]
783*2^1399515-1 is not prime.  Res64: 3DBCDC1734969B73  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:26:28]
891*2^1399515-1 is not prime.  Res64: 7B10D8519AF3D594  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:27:31]
979*2^1399515-1 is not prime.  Res64: 93F469254E124F69  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:27:31]
843*2^1399516-1 is not prime.  Res64: B4B7024E7C30CD9E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:35:30]
927*2^1399516-1 is not prime.  Res64: F5736EA599031208  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:35:31]
615*2^1399517-1 is not prime.  Res64: AC0A008871D7B65B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:42:24]
649*2^1399517-1 is not prime.  Res64: E689A1521F7D1059  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:42:24]
735*2^1399517-1 is not prime.  Res64: 082C3292F3899CE9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:44:37]
861*2^1399517-1 is not prime.  Res64: 833BB62C72EAB650  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:44:38]
931*2^1399517-1 is not prime.  Res64: AD86EFA8F7D2445A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:45:36]
611*2^1399518-1 is not prime.  Res64: B2E27C9B8E29C4DF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:45:36]
635*2^1399518-1 is not prime.  Res64: 4D252DAAE77138E1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:53:33]
693*2^1399518-1 is not prime.  Res64: 6DF340E5D3578D78  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 09:53:33]
705*2^1399518-1 is not prime.  Res64: D2078B63B94BD5A9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:00:27]
993*2^1399518-1 is not prime.  Res64: 52B8B80DF167FB62  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:00:27]
685*2^1399519-1 is not prime.  Res64: E810BF37F96603C1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:02:38]
885*2^1399519-1 is not prime.  Res64: 1D29FB9633B4FE12  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:02:39]
969*2^1399519-1 is not prime.  Res64: DE85D55161E6120B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:03:42]
985*2^1399519-1 is not prime.  Res64: 034A48345B543605  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:03:44]
615*2^1399520-1 is not prime.  Res64: CE54A13272E9D755  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:11:42]
855*2^1399520-1 is not prime.  Res64: F7000EF164817004  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:11:43]
999*2^1399520-1 is not prime.  Res64: 5BD326A7C94F399F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:19:07]
865*2^1399521-1 is not prime.  Res64: CE71A2CE0FB49E53  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:19:07]
621*2^1399522-1 is not prime.  Res64: 3B26433E13D8DCC1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:21:19]
623*2^1399522-1 is not prime.  Res64: 63A8F846261D1A8D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:21:19]
675*2^1399522-1 is not prime.  Res64: F01E1AF94A592A50  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:22:24]
705*2^1399522-1 is not prime.  Res64: 6BB1A7D56F349E66  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:22:24]
743*2^1399522-1 is not prime.  Res64: CBBF1B3337A980A7  Time : 0.0 sec.
user=juhehe
[2015-05-26 10:26:23]
681*2^1399521-1 is not prime.  Res64: 4681D15849FCF1E8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:30:17]
885*2^1399522-1 is not prime.  Res64: 9C2B34AE6C788553  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:30:17]
915*2^1399522-1 is not prime.  Res64: EE115395BC902CB6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:37:35]
945*2^1399522-1 is not prime.  Res64: 507760DE4EA06C32  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:37:35]
983*2^1399522-1 is not prime.  Res64: B08260291BAB9208  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:40:06]
631*2^1399523-1 is not prime.  Res64: 14E72F328286898B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:40:06]
913*2^1399523-1 is not prime.  Res64: C91806FBE739BAC1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:40:56]
949*2^1399523-1 is not prime.  Res64: 11FEE49D933C0A36  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:40:57]
985*2^1399523-1 is not prime.  Res64: 62B28FFCEAA4AEEF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:49:05]
609*2^1399524-1 is not prime.  Res64: 71CA7AA1FBC367BA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:49:05]
707*2^1399524-1 is not prime.  Res64: F928E92F3AF06870  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:57:27]
723*2^1399524-1 is not prime.  Res64: 6196871F35CADD45  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 10:57:27]
753*2^1399524-1 is not prime.  Res64: 9D63B353C96CB7D3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:00:10]
873*2^1399524-1 is not prime.  Res64: 7E4DF89CCAD6084B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:00:10]
969*2^1399524-1 is not prime.  Res64: 676171A57935B396  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:01:33]
645*2^1399525-1 is not prime.  Res64: 531C7E149DCA112E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:01:34]
805*2^1399525-1 is not prime.  Res64: DFF37E05F8EE2726  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:10:51]
867*2^1399525-1 is not prime.  Res64: 990C1221B317D17A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:10:51]
919*2^1399525-1 is not prime.  Res64: CD650CFFE78F415F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:18:27]
955*2^1399525-1 is not prime.  Res64: A01B43B99766189D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:18:27]
985*2^1399525-1 is not prime.  Res64: 599E2B3D40FB1756  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:20:39]
657*2^1399526-1 is not prime.  Res64: 86EB34B077B78E38  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:20:40]
923*2^1399526-1 is not prime.  Res64: 2E694BAF8DD57148  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:21:24]
945*2^1399526-1 is not prime.  Res64: 0E6533F3993926FD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:21:24]
953*2^1399526-1 is not prime.  Res64: 4C491D8C012ECEE2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:29:31]
981*2^1399526-1 is not prime.  Res64: B64EBD95D8948FF2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:29:32]
643*2^1399527-1 is not prime.  Res64: 9299D9257D3712EA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:36:25]
661*2^1399527-1 is not prime.  Res64: DC5E10CBF84A9F6B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:36:25]
781*2^1399527-1 is not prime.  Res64: 2467D988CC2F5931  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:38:32]
843*2^1399527-1 is not prime.  Res64: FDB3D064D2362838  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:38:32]
849*2^1399527-1 is not prime.  Res64: 55892B88910DD3C4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:39:34]
895*2^1399527-1 is not prime.  Res64: AEC9E9FD10C079D0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:39:34]
961*2^1399527-1 is not prime.  Res64: 855B2855C01E2B54  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:47:50]
985*2^1399527-1 is not prime.  Res64: 6FF9F599EE6DFADE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:47:51]
991*2^1399527-1 is not prime.  Res64: D190A796AC267E4D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:54:37]
677*2^1399528-1 is not prime.  Res64: 801B1DD1C6E255C8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:54:38]
699*2^1399528-1 is not prime.  Res64: 9622ADC88393BA7F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:56:44]
707*2^1399528-1 is not prime.  Res64: 54938195CC44B893  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:56:44]
765*2^1399528-1 is not prime.  Res64: B1C66FE9F416C692  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:57:43]
797*2^1399528-1 is not prime.  Res64: 81F1FAAB9B1054F7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 11:57:44]
827*2^1399528-1 is not prime.  Res64: 07ABD30DB3548942  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:05:59]
839*2^1399528-1 is not prime.  Res64: FF6C725A4A0869F6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:05:59]
999*2^1399528-1 is not prime.  Res64: 6BC1F28686C7C8E5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:12:32]
939*2^1399529-1 is not prime.  Res64: 6A4D2BF3F872D201  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:12:33]
949*2^1399529-1 is not prime.  Res64: F18DDAF402D63434  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:14:40]
677*2^1399530-1 is not prime.  Res64: BD1A1972B7835E58  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:14:40]
723*2^1399530-1 is not prime.  Res64: C05CFC7A0957DA66  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:15:44]
741*2^1399530-1 is not prime.  Res64: B3A7F1A6E173C441  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:15:44]
825*2^1399530-1 is not prime.  Res64: A6D64BBA10C6D868  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:23:45]
873*2^1399530-1 is not prime.  Res64: 4D33BD038DA5E591  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:23:46]
945*2^1399530-1 is not prime.  Res64: 94CDF50623BA010D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:30:12]
649*2^1399531-1 is not prime.  Res64: 9B81A96EE3008B36  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:30:12]
759*2^1399531-1 is not prime.  Res64: B74394D20EC34915  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:32:27]
789*2^1399531-1 is not prime.  Res64: 5E3092BE54A975E1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:32:27]
841*2^1399531-1 is not prime.  Res64: EC668858800D3484  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:33:31]
873*2^1399531-1 is not prime.  Res64: 42C195DC8D2D396A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:33:31]
901*2^1399531-1 is not prime.  Res64: 6815D1A72BF0906E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:41:31]
993*2^1399531-1 is not prime.  Res64: 6D4F40F7EAD3D733  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:41:31]
617*2^1399532-1 is not prime.  Res64: 004206BE192FF3B0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:48:00]
635*2^1399532-1 is not prime.  Res64: FF3FC1679129B088  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:48:00]
735*2^1399532-1 is not prime.  Res64: 02CF0EE6BC33ED41  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:50:15]
785*2^1399532-1 is not prime.  Res64: 6BE3085B09CA0200  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:50:15]
827*2^1399532-1 is not prime.  Res64: 5F4C7B32C4255B27  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:51:26]
837*2^1399532-1 is not prime.  Res64: 95387D7B76DAB6FD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:51:26]
843*2^1399532-1 is not prime.  Res64: CBA1FCE6070BC254  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:59:29]
959*2^1399532-1 is not prime.  Res64: D7647AE0A1AFD22E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 12:59:29]
963*2^1399532-1 is not prime.  Res64: 25D4FDC6EDEB0822  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:06:07]
627*2^1399533-1 is not prime.  Res64: 05AEFD3404ABA628  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:06:08]
765*2^1399533-1 is not prime.  Res64: E144F9E94262514B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:08:23]
871*2^1399533-1 is not prime.  Res64: A90FC6A58585D21A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:08:23]
945*2^1399533-1 is not prime.  Res64: 3D7886A75EF26594  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:09:34]
617*2^1399534-1 is not prime.  Res64: 0B42C95B78F7FB47  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:09:34]
731*2^1399534-1 is not prime.  Res64: B23883F14B3F66E9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:17:43]
755*2^1399534-1 is not prime.  Res64: 19F0E835CFA96003  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:17:43]
785*2^1399534-1 is not prime.  Res64: 6296D19BB9207E82  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:24:13]
881*2^1399534-1 is not prime.  Res64: 67EC22CA648EFA19  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:24:14]
947*2^1399534-1 is not prime.  Res64: E93C030363E8B88F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:26:25]
603*2^1399535-1 is not prime.  Res64: 3ECD57CAEFB69EB4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:26:25]
649*2^1399535-1 is not prime.  Res64: C49B5073D8DA7666  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:27:25]
981*2^1399535-1 is not prime.  Res64: B7408B90EFE5B925  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:27:25]
669*2^1399536-1 is not prime.  Res64: 9A01A1AD514D9649  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:35:50]
747*2^1399536-1 is not prime.  Res64: 2F5E2212ADCCD6E4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:35:50]
843*2^1399536-1 is not prime.  Res64: 42FA7DC668AB6F7A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:42:18]
879*2^1399536-1 is not prime.  Res64: 1E2098C4FDD78CED  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:42:18]
917*2^1399536-1 is not prime.  Res64: 1C87969EA91F6261  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:44:24]
927*2^1399536-1 is not prime.  Res64: 7FA40571A9BE9D28  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:44:25]
933*2^1399536-1 is not prime.  Res64: 936AD5263DE683D3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:45:39]
947*2^1399536-1 is not prime.  Res64: E2B8CC44FF5E214A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:45:39]
969*2^1399536-1 is not prime.  Res64: C8413F2340E01D01  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:54:19]
609*2^1399537-1 is not prime.  Res64: 4A60259677DF8956  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 13:54:19]
687*2^1399537-1 is not prime.  Res64: 4EA3E1E43ADAC639  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:00:25]
715*2^1399537-1 is not prime.  Res64: 78B6C5269712A822  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:00:26]
717*2^1399537-1 is not prime.  Res64: 004A324F90C52E83  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:02:26]
727*2^1399537-1 is not prime.  Res64: CD9F4C48AAC8B4D3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:02:27]
741*2^1399537-1 is not prime.  Res64: 123372BA6404032B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:03:41]
841*2^1399537-1 is not prime.  Res64: 0B261FDFE2A85489  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:03:42]
919*2^1399537-1 is not prime.  Res64: 4938B11DEA8F8CE7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:11:59]
957*2^1399537-1 is not prime.  Res64: 353B2E1BBB5FB2F1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:11:59]
967*2^1399537-1 is not prime.  Res64: 5BB0392B83E16993  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:18:07]
623*2^1399538-1 is not prime.  Res64: 92C5F86272809354  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:18:07]
645*2^1399538-1 is not prime.  Res64: D403BE86F6D09656  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:20:08]
711*2^1399538-1 is not prime.  Res64: 40E10AB15BC0CCC8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:20:09]
831*2^1399538-1 is not prime.  Res64: CD0D8E1DCD411A5B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:21:29]
837*2^1399538-1 is not prime.  Res64: 5A47331B101C7180  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:21:29]
957*2^1399538-1 is not prime.  Res64: 72B50A9773DA6DDE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:29:43]
963*2^1399538-1 is not prime.  Res64: FB7A0F099D8A8DC3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:29:43]
691*2^1399539-1 is not prime.  Res64: 0279E7FC5F450CF7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:35:46]
705*2^1399539-1 is not prime.  Res64: 9C8A499EED0D6DAB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:35:46]
709*2^1399539-1 is not prime.  Res64: 515A42D40A8A2325  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:37:50]
711*2^1399539-1 is not prime.  Res64: 06210D04866D2670  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:37:50]
751*2^1399539-1 is not prime.  Res64: 08DBFC909C64C1E5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:39:08]
775*2^1399539-1 is not prime.  Res64: 593EF95CF8D0B846  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:39:08]
949*2^1399539-1 is not prime.  Res64: DD65C6335DE842C5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:47:16]
609*2^1399540-1 is not prime.  Res64: 100F67210A44FA0A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:47:17]
615*2^1399540-1 is not prime.  Res64: F46BCB32C9BBA73A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:53:19]
665*2^1399540-1 is not prime.  Res64: 41AEE4082C844FA2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:53:20]
759*2^1399540-1 is not prime.  Res64: 3A8A45AE2E5F464F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:55:20]
863*2^1399540-1 is not prime.  Res64: 53BC169CE1718C2B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:55:20]
875*2^1399540-1 is not prime.  Res64: 5BC0C53394B43A25  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:56:39]
897*2^1399540-1 is not prime.  Res64: FFDE23FDF9338597  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 14:56:39]
929*2^1399540-1 is not prime.  Res64: 0AA64EF8781AA0FB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:05:03]
989*2^1399540-1 is not prime.  Res64: 10D80A9342B54362  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:05:04]
615*2^1399541-1 is not prime.  Res64: DDE02E2E85E78BC3  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:10:53]
889*2^1399541-1 is not prime.  Res64: 3A885D09828BF8D6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:10:53]
925*2^1399541-1 is not prime.  Res64: B02ADFED435656F0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:12:54]
997*2^1399541-1 is not prime.  Res64: 1943380BD274D296  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:12:55]
651*2^1399542-1 is not prime.  Res64: C7CFC82DD729A365  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:14:15]
747*2^1399542-1 is not prime.  Res64: 0E43A648BF474BF0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:14:15]
887*2^1399542-1 is not prime.  Res64: CCF95A479CEF97BC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:23:04]
977*2^1399542-1 is not prime.  Res64: BC7DC1B4BBBA6701  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:23:04]
679*2^1399543-1 is not prime.  Res64: ABFE6C855863E433  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:28:27]
709*2^1399543-1 is not prime.  Res64: B132A957F3DBF3F2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:28:28]
855*2^1399543-1 is not prime.  Res64: 7E4BF93DCEBA9B94  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:30:28]
615*2^1399544-1 is not prime.  Res64: 9E026E890B303D39  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:30:28]
617*2^1399544-1 is not prime.  Res64: AF48F78780C0D838  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:31:51]
687*2^1399544-1 is not prime.  Res64: 8D696B521FF12894  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:31:51]
803*2^1399544-1 is not prime.  Res64: 7AD1A8684F396600  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:40:41]
819*2^1399544-1 is not prime.  Res64: 0968FBCA43E19381  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:40:41]
827*2^1399544-1 is not prime.  Res64: 3093BDF1FCA1D3DF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:46:06]
855*2^1399544-1 is not prime.  Res64: A3F1301657AC6977  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:46:06]
893*2^1399544-1 is not prime.  Res64: 56CC8A73665B6EE9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:48:05]
705*2^1399545-1 is not prime.  Res64: 75431F61F9DC7CFD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:48:06]
889*2^1399545-1 is not prime.  Res64: 29BDD2E9E0C32A46  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:49:28]
975*2^1399545-1 is not prime.  Res64: FC5DC40E26348F1D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:49:28]
713*2^1399546-1 is not prime.  Res64: 4BDF6D88C8B87C89  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:58:23]
765*2^1399546-1 is not prime.  Res64: CD9779FACDCD9F5C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 15:58:23]
801*2^1399546-1 is not prime.  Res64: 676DBF9C9655CBBB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:03:41]
917*2^1399546-1 is not prime.  Res64: 1D1AE2542E3C7CC2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:03:42]
941*2^1399546-1 is not prime.  Res64: 582D5949E051079E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:05:39]
957*2^1399546-1 is not prime.  Res64: 38D082E4770F4F97  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:05:40]
643*2^1399547-1 is not prime.  Res64: CEBF828008C17010  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:07:05]
645*2^1399547-1 is not prime.  Res64: 4FE714ACD8432DF7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:07:06]
703*2^1399547-1 is not prime.  Res64: BE8400F5230803D1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:16:17]
841*2^1399547-1 is not prime.  Res64: 4FD94A55858CC6F9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:16:17]
843*2^1399547-1 is not prime.  Res64: 3AE5B3E7CA760455  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:22:05]
981*2^1399547-1 is not prime.  Res64: D6C54BC71886B252  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:22:05]
707*2^1399548-1 is not prime.  Res64: D04AF94674D6B720  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:23:55]
737*2^1399548-1 is not prime.  Res64: 6CF710D159391400  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:23:55]
777*2^1399548-1 is not prime.  Res64: 84C762893337BE7C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:25:14]
789*2^1399548-1 is not prime.  Res64: 0AEB637105F812A9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:25:14]
797*2^1399548-1 is not prime.  Res64: B5A8A10FE441363B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:34:48]
839*2^1399548-1 is not prime.  Res64: 59EA0602844D99E8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:34:49]
845*2^1399548-1 is not prime.  Res64: E4B179B8B1BFADB2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:40:38]
899*2^1399548-1 is not prime.  Res64: 9767887538309743  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:40:38]
929*2^1399548-1 is not prime.  Res64: 5297C9596C0D9F6F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:42:39]
987*2^1399548-1 is not prime.  Res64: 7F3A8036BCC77BE2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:42:39]
741*2^1399549-1 is not prime.  Res64: 8E318CCFEF02B234  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:43:54]
747*2^1399549-1 is not prime.  Res64: 82CB00AF00D9A870  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:43:54]
769*2^1399549-1 is not prime.  Res64: B33CC3B7C8841BEA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:53:00]
817*2^1399549-1 is not prime.  Res64: 13A3506A16969F84  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:53:00]
861*2^1399549-1 is not prime.  Res64: A4D00160E344585F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:58:51]
675*2^1399550-1 is not prime.  Res64: EA1F8EC528C75E5B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 16:58:51]
713*2^1399550-1 is not prime.  Res64: BAD1D95113271773  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:00:42]
825*2^1399550-1 is not prime.  Res64: 0786346A6C15FA5E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:00:42]
867*2^1399550-1 is not prime.  Res64: BAEFCD57D224C082  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:01:49]
917*2^1399550-1 is not prime.  Res64: 673E2481ED198E75  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:01:50]
935*2^1399550-1 is not prime.  Res64: 5086F58E2DA10E5D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:10:54]
981*2^1399550-1 is not prime.  Res64: D606539851E66E2C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:10:54]
615*2^1399551-1 is not prime.  Res64: 539BA9A01D501357  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:16:42]
745*2^1399551-1 is not prime.  Res64: CD7066E9EB4B2197  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:16:42]
763*2^1399551-1 is not prime.  Res64: E6AF6A68FCEE4C7F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:18:48]
859*2^1399551-1 is not prime.  Res64: 00F3EAAA652B89AE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:18:49]
871*2^1399551-1 is not prime.  Res64: 36207331A4C05AAA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:20:04]
979*2^1399551-1 is not prime.  Res64: 6898CAD7EFF338FE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:20:04]
629*2^1399552-1 is not prime.  Res64: 4196CC1E69A212B1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:29:24]
723*2^1399552-1 is not prime.  Res64: D9F238E842995720  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:29:24]
843*2^1399552-1 is not prime.  Res64: 9AD4050049A153EE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:35:11]
869*2^1399552-1 is not prime.  Res64: 7F5AF5E682E0044F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:35:11]
811*2^1399553-1 is not prime.  Res64: CB75BDF7FC38B8FF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:37:12]
671*2^1399554-1 is not prime.  Res64: 3085A01E56679CC9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:37:13]
767*2^1399554-1 is not prime.  Res64: B441A6CBCA0A878B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:38:26]
815*2^1399554-1 is not prime.  Res64: 4443D74020079AFE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:38:26]
825*2^1399554-1 is not prime.  Res64: E6691985E0F0FB64  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:47:30]
873*2^1399554-1 is not prime.  Res64: 508B6B263584AA62  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:47:30]
881*2^1399554-1 is not prime.  Res64: 9594217931C54F46  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:53:08]
891*2^1399554-1 is not prime.  Res64: AC23A8C579FBE733  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:53:08]
947*2^1399554-1 is not prime.  Res64: 0DAB6E185EA3555E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:55:04]
625*2^1399555-1 is not prime.  Res64: 83DA029F284DF389  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:55:05]
709*2^1399555-1 is not prime.  Res64: DA89AACDAB11F930  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:56:19]
741*2^1399555-1 is not prime.  Res64: F142C20DD79E1F91  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 17:56:19]
951*2^1399555-1 is not prime.  Res64: CB75CDCF06792F7A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:05:10]
999*2^1399555-1 is not prime.  Res64: C9B483CE0033A48F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:05:11]
825*2^1399556-1 is not prime.  Res64: 4F3C516A2347A105  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:10:53]
927*2^1399556-1 is not prime.  Res64: F24CB0E0C60A4661  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:10:53]
625*2^1399557-1 is not prime.  Res64: F8A353C680059589  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:12:50]
751*2^1399557-1 is not prime.  Res64: D180E0A70BB6C522  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:12:50]
759*2^1399557-1 is not prime.  Res64: FBC56B2FEBCAE2C6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:14:00]
765*2^1399557-1 is not prime.  Res64: EFA73664F16CEB99  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:14:00]
835*2^1399557-1 is not prime.  Res64: 3DEE4FE079C6DF7E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:22:53]
847*2^1399557-1 is not prime.  Res64: 9299BB55A60B4CE1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:22:54]
891*2^1399557-1 is not prime.  Res64: 26030E1C987E7ACC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:28:36]
895*2^1399557-1 is not prime.  Res64: D32BEDBF0E6286DE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:28:36]
927*2^1399557-1 is not prime.  Res64: BA9F162153EFA418  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:30:29]
617*2^1399558-1 is not prime.  Res64: 17493EE6B278D9E2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:30:29]
687*2^1399558-1 is not prime.  Res64: 6AEF9BFCEBA7CC85  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:31:34]
765*2^1399558-1 is not prime.  Res64: 9AA3D20492F69006  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:31:35]
821*2^1399558-1 is not prime.  Res64: 4D9D141EA3FEB999  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:40:36]
825*2^1399558-1 is not prime.  Res64: 05AA66246D2F1A08  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:40:36]
1001*2^1399558-1 is not prime.  Res64: 7DF515600570109F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:46:14]
603*2^1399559-1 is not prime.  Res64: 631E6C52A00656EC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:46:14]
609*2^1399559-1 is not prime.  Res64: A8A234CFA80A7020  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:48:06]
705*2^1399559-1 is not prime.  Res64: 2D1CDB73A5C6D4E2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:48:06]
955*2^1399559-1 is not prime.  Res64: 9051E29EAFE09C98  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:49:16]
689*2^1399560-1 is not prime.  Res64: 7283D6850A1FE22F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:49:17]
725*2^1399560-1 is not prime.  Res64: 1654D69ADA17587B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:58:13]
753*2^1399560-1 is not prime.  Res64: C2D13BE743692A65  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 18:58:13]
773*2^1399560-1 is not prime.  Res64: 762289E1676F02E9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:03:50]
779*2^1399560-1 is not prime.  Res64: 3A49F8ED506B4CDE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:03:51]
789*2^1399560-1 is not prime.  Res64: 1259169AFFD8DDD6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:05:45]
825*2^1399560-1 is not prime.  Res64: 4F922801B62421AE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:05:45]
975*2^1399560-1 is not prime.  Res64: 23FE52DA125C0439  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:06:56]
685*2^1399561-1 is not prime.  Res64: 95C003279FD77647  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:06:57]
817*2^1399561-1 is not prime.  Res64: 4D6432EB4A4F6837  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:16:10]
829*2^1399561-1 is not prime.  Res64: B619E036294A493C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:16:11]
861*2^1399561-1 is not prime.  Res64: DE33CEBF142174D1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:21:35]
945*2^1399561-1 is not prime.  Res64: 4671C2FB517FAA4F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:21:36]
741*2^1399562-1 is not prime.  Res64: D814FF4A092E3140  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:23:28]
837*2^1399562-1 is not prime.  Res64: C14377DEAC466E4C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:23:28]
885*2^1399562-1 is not prime.  Res64: B64700F2A6B26278  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:24:55]
887*2^1399562-1 is not prime.  Res64: 5BAC4E174ED0293A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:24:55]
625*2^1399563-1 is not prime.  Res64: D3D567A96AB6E65C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:34:03]
753*2^1399563-1 is not prime.  Res64: 69FAFA96E799BED4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:34:03]
795*2^1399563-1 is not prime.  Res64: ECF9DC0F85CF7B7B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:39:23]
849*2^1399563-1 is not prime.  Res64: 87EE22F5ADD413EC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:39:23]
963*2^1399563-1 is not prime.  Res64: C99AEC13F21EE211  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:41:15]
609*2^1399564-1 is not prime.  Res64: B8846D17558EE7AC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:41:15]
765*2^1399564-1 is not prime.  Res64: 9A250663ED2102B2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:42:51]
773*2^1399564-1 is not prime.  Res64: 3E232F9ADFEC8A68  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:42:52]
783*2^1399564-1 is not prime.  Res64: 9B40BC2D737D1D32  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:51:38]
833*2^1399564-1 is not prime.  Res64: BD1C66E1049A2874  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:51:39]
843*2^1399564-1 is not prime.  Res64: 5A6607DE4A77CF14  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:57:01]
857*2^1399564-1 is not prime.  Res64: A75F6E639BCD6986  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:57:01]
965*2^1399564-1 is not prime.  Res64: DA86BE331B6FECB8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:58:59]
657*2^1399565-1 is not prime.  Res64: 233A2433844E2898  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 19:58:59]
799*2^1399565-1 is not prime.  Res64: 7609EB955DDEA637  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:00:41]
861*2^1399565-1 is not prime.  Res64: FE981B07AEAEC541  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:00:42]
951*2^1399565-1 is not prime.  Res64: DC0FA964FA32D25C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:09:35]
741*2^1399566-1 is not prime.  Res64: 44EF6A94E54B729A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:09:35]
801*2^1399566-1 is not prime.  Res64: 35A15BD5223D3CB2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:15:09]
933*2^1399566-1 is not prime.  Res64: F809FAA4B23454B0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:15:09]
993*2^1399566-1 is not prime.  Res64: E513FD001E118723  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:17:07]
609*2^1399567-1 is not prime.  Res64: A3A7E073007F9D8E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:17:07]
625*2^1399567-1 is not prime.  Res64: BC5B4EA99FFAD02A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:18:44]
663*2^1399567-1 is not prime.  Res64: 4353DB21754B1AC9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:18:44]
673*2^1399567-1 is not prime.  Res64: 03FB4B24014634CC  Time : 0.0 sec.
user=juhehe
[2015-05-26 20:20:39]
737*2^1399566-1 is not prime.  Res64: F5781F89ED3B9C0C  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:27:37]
741*2^1399567-1 is not prime.  Res64: 8D200E9798EE73D6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:27:37]
793*2^1399567-1 is not prime.  Res64: D2DCC44CA383384D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:33:30]
829*2^1399567-1 is not prime.  Res64: E5038D791EC8CCD9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:33:31]
895*2^1399567-1 is not prime.  Res64: BE5FA34054292C78  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:35:30]
615*2^1399568-1 is not prime.  Res64: F219560F0DF0D082  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:35:30]
623*2^1399568-1 is not prime.  Res64: 27E24A532ABD64C6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:37:18]
657*2^1399568-1 is not prime.  Res64: 157A42BF849CF28D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:37:19]
743*2^1399568-1 is not prime.  Res64: DBE31E27DFA6B8D5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:46:35]
839*2^1399568-1 is not prime.  Res64: FEDFDBE5A885E3B4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:46:36]
897*2^1399568-1 is not prime.  Res64: C6F383FA00D03464  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:52:36]
963*2^1399568-1 is not prime.  Res64: 3F1A8509E176FAFF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:52:36]
951*2^1399569-1 is not prime.  Res64: 472FDF10E01B67D6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:54:37]
985*2^1399569-1 is not prime.  Res64: 062C68C8A93D24FF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:54:37]
987*2^1399569-1 is not prime.  Res64: E792EBACBC279635  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:56:36]
657*2^1399570-1 is not prime.  Res64: 40D89E46CEEC3A10  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 20:56:36]
701*2^1399570-1 is not prime.  Res64: 318567E402E4E7F5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:05:32]
735*2^1399570-1 is not prime.  Res64: 7F2323EF29C85667  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:05:32]
843*2^1399570-1 is not prime.  Res64: D66F27D610B60A4A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:11:36]
857*2^1399570-1 is not prime.  Res64: 58DC2F0724768EAA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:11:36]
673*2^1399571-1 is not prime.  Res64: 761F54848D830B12  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:13:27]
679*2^1399571-1 is not prime.  Res64: A734C97DF1FB3E2D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:13:27]
741*2^1399571-1 is not prime.  Res64: 5E634A68992B3FD5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:15:32]
775*2^1399571-1 is not prime.  Res64: E632E8FD185283DB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:15:32]
783*2^1399571-1 is not prime.  Res64: FB9977029E62F6DE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:25:06]
829*2^1399571-1 is not prime.  Res64: 78C87227CB29DEEF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:25:06]
909*2^1399571-1 is not prime.  Res64: D3C5718C61A35F3E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:31:27]
999*2^1399571-1 is not prime.  Res64: 8600A736ED390469  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:31:27]
657*2^1399572-1 is not prime.  Res64: 00F38EA0B96F408D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:33:28]
693*2^1399572-1 is not prime.  Res64: A18B18779718757E  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:33:28]
725*2^1399572-1 is not prime.  Res64: 21E1C3EFAEAAFDC4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:35:24]
857*2^1399572-1 is not prime.  Res64: 71A5A12A68FF9E40  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:35:24]
691*2^1399573-1 is not prime.  Res64: 52BFD7682B4E7871  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:45:01]
849*2^1399573-1 is not prime.  Res64: 78B7BBF0190A40A6  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:45:02]
999*2^1399573-1 is not prime.  Res64: BB210EAF4B6CC29A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:51:21]
641*2^1399574-1 is not prime.  Res64: 1122236698BF4011  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:51:21]
677*2^1399574-1 is not prime.  Res64: 36362217879666E0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:53:29]
857*2^1399574-1 is not prime.  Res64: E68F002D1EBBC8D0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:53:29]
887*2^1399574-1 is not prime.  Res64: 2160813FE4F81F3A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:55:22]
915*2^1399574-1 is not prime.  Res64: BE8B3B6AA7325AAB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 21:55:22]
1001*2^1399574-1 is not prime.  Res64: 0AC9846AA4421AF0  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:04:12]
619*2^1399575-1 is not prime.  Res64: 3C1B7E50B4168869  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:04:14]
663*2^1399575-1 is not prime.  Res64: 2E5DFC0DD1D068D8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:09:39]
723*2^1399575-1 is not prime.  Res64: 78DD4630A02E3465  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:09:40]
805*2^1399575-1 is not prime.  Res64: 8F57903EFAC7E7A5  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:11:36]
831*2^1399575-1 is not prime.  Res64: 69EF0DA40986EA94  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:11:36]
677*2^1399576-1 is not prime.  Res64: 7FC914714B01B8C9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:13:30]
693*2^1399576-1 is not prime.  Res64: 1EC7DDCB2B2558CE  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:13:30]
843*2^1399576-1 is not prime.  Res64: 4ADAD3F81DBB0230  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:22:17]
869*2^1399576-1 is not prime.  Res64: 18839BBB916ADE90  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:22:17]
965*2^1399576-1 is not prime.  Res64: 1DAAFB7C99016175  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:27:41]
711*2^1399577-1 is not prime.  Res64: F4EEF36BCA5D8CEF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:27:42]
747*2^1399577-1 is not prime.  Res64: 89EC8CA645F7C61D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:29:32]
829*2^1399577-1 is not prime.  Res64: DD5B0EF642A3B5CB  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:29:33]
939*2^1399577-1 is not prime.  Res64: BFE3436A206D7419  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:31:30]
621*2^1399578-1 is not prime.  Res64: DB19C816B12F630B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:31:30]
713*2^1399578-1 is not prime.  Res64: 243D71D7F888471B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:40:16]
731*2^1399578-1 is not prime.  Res64: 13EF12AC31751D56  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:40:16]
971*2^1399578-1 is not prime.  Res64: CF6DC8859D24BF67  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:45:38]
615*2^1399579-1 is not prime.  Res64: 4E2E454B18461C4A  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:45:38]
631*2^1399579-1 is not prime.  Res64: A1B296C3B730E97D  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:47:30]
679*2^1399579-1 is not prime.  Res64: 922AD6DEA97E11CC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:47:30]
841*2^1399579-1 is not prime.  Res64: F681A6431AE80875  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:49:33]
943*2^1399579-1 is not prime.  Res64: 82F714C58FCE136B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:49:34]
951*2^1399579-1 is not prime.  Res64: 5209F34852A54EBC  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:58:22]
615*2^1399580-1 is not prime.  Res64: 8257012FC499CDC4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 22:58:23]
647*2^1399580-1 is not prime.  Res64: 69A9F74223CF3584  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:03:41]
677*2^1399580-1 is not prime.  Res64: 6E1B0DBE06529539  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:03:42]
707*2^1399580-1 is not prime.  Res64: 7BDB92DB8DFB89DF  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:05:34]
719*2^1399580-1 is not prime.  Res64: E7A476864AB22186  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:05:34]
759*2^1399580-1 is not prime.  Res64: 3E70845CD4EDF682  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:07:42]
797*2^1399580-1 is not prime.  Res64: 0974475E11D57A81  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:07:43]
827*2^1399580-1 is not prime.  Res64: 8175EEC042A40D32  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:16:42]
651*2^1399581-1 is not prime.  Res64: 7FF37FA56F3533F8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:16:43]
661*2^1399581-1 is not prime.  Res64: DEAF83D99C20827B  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:21:40]
717*2^1399581-1 is not prime.  Res64: 8D4E9DA4746A4C1F  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:21:40]
795*2^1399581-1 is not prime.  Res64: B65E14D3DEA06184  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:23:30]
849*2^1399581-1 is not prime.  Res64: B20A275B30E624E4  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:23:31]
861*2^1399581-1 is not prime.  Res64: C30CD095EFB5C4BA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:25:45]
927*2^1399581-1 is not prime.  Res64: C427AAFED19CA8F1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:25:46]
969*2^1399581-1 is not prime.  Res64: 49472A741EC618C9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:34:52]
975*2^1399581-1 is not prime.  Res64: 80D24715E7DE0CB7  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:34:53]
991*2^1399581-1 is not prime.  Res64: 402525C433E272C9  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:39:44]
603*2^1399582-1 is not prime.  Res64: 2EC759FBB4BDF1DA  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:39:45]
671*2^1399582-1 is not prime.  Res64: 9C279B59341300FD  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:41:33]
755*2^1399582-1 is not prime.  Res64: CF2030FDB0554295  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:41:33]
791*2^1399582-1 is not prime.  Res64: 0252F4471CD33211  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:43:57]
821*2^1399582-1 is not prime.  Res64: 28403192016B29F8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:43:57]
879*2^1399583-1 is not prime.  Res64: 33EB8EBCE3D93BC1  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:53:02]
955*2^1399583-1 is not prime.  Res64: FA1B7019167993E2  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:53:03]
963*2^1399583-1 is not prime.  Res64: 807E6729B8BD85C8  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:58:30]
627*2^1399584-1 is not prime.  Res64: 8225E13BCCC1A947  Time : 0.0 sec.
user=mdettweiler
[2015-05-26 23:58:30]
725*2^1399584-1 is not prime.  Res64: 0E390323A65A7F23  Time : 0.0 sec.
user=mdettweiler
[2015-05-27 00:00:05]
927*2^1399584-1 is not prime.  Res64: 59D164E2CFF3332F  Time : 0.0 sec.
user=mdettweiler
[2015-05-27 00:00:05]
929*2^1399584-1 is not prime.  Res64: 24FE73500C062F2E  Time : 0.0 sec.