user=mdettweiler [2016-11-14 00:06:40] 935*2^1445726-1 is not prime. Res64: 442B1F8E69A1B994 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:06:42] 971*2^1445726-1 is not prime. Res64: 0E389454EB58C1E7 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:06:43] 615*2^1445727-1 is not prime. Res64: 6761C5E6CC5C3D37 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:06:44] 633*2^1445727-1 is not prime. Res64: 653723E020D924ED Time : 0.0 sec. user=mdettweiler [2016-11-14 00:06:45] 661*2^1445727-1 is not prime. Res64: DEFF76D0B37BCAB8 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:07:13] 711*2^1445727-1 is not prime. Res64: A48B98A88DEAE134 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:07:14] 769*2^1445727-1 is not prime. Res64: 8BCB245887F4B301 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:07:15] 775*2^1445727-1 is not prime. Res64: 9330E583AC4C2F72 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:07:15] 735*2^1445728-1 is not prime. Res64: AC327844CF40934B Time : 0.0 sec. user=mdettweiler [2016-11-14 00:07:16] 909*2^1445728-1 is not prime. Res64: EF0644902AEB010D Time : 0.0 sec. user=mdettweiler [2016-11-14 00:37:11] 995*2^1445728-1 is not prime. Res64: C1A0BCE0B91B4C70 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:37:11] 771*2^1445729-1 is not prime. Res64: 265517D2421DF9D8 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:37:12] 847*2^1445729-1 is not prime. Res64: B28E96B2FA15CB41 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:37:12] 879*2^1445729-1 is not prime. Res64: F73F8AFAAC59653C Time : 0.0 sec. user=mdettweiler [2016-11-14 00:37:12] 951*2^1445729-1 is not prime. Res64: 4581CF50FD227B33 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:38:41] 681*2^1445730-1 is not prime. Res64: 7F3C01A317B7C62C Time : 0.0 sec. user=mdettweiler [2016-11-14 00:38:42] 797*2^1445730-1 is not prime. Res64: CFD65711B9987329 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:38:42] 867*2^1445730-1 is not prime. Res64: 4ED356BD2EB6318F Time : 0.0 sec. user=mdettweiler [2016-11-14 00:38:43] 735*2^1445731-1 is not prime. Res64: 65D1A7446A756F50 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:38:43] 931*2^1445731-1 is not prime. Res64: F7A6E84CB4E256BF Time : 0.0 sec. user=mdettweiler [2016-11-14 00:51:39] 951*2^1445731-1 is not prime. Res64: 4EB885BF8DBF30E8 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:51:40] 669*2^1445732-1 is not prime. Res64: 0E543EA26B0E6D16 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:51:40] 855*2^1445732-1 is not prime. Res64: 7F0036DBE050CA64 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:51:40] 649*2^1445733-1 is not prime. Res64: 7D775B069AFC19DF Time : 0.0 sec. user=mdettweiler [2016-11-14 00:51:41] 657*2^1445733-1 is not prime. Res64: DD4469132DED549A Time : 0.0 sec. user=mdettweiler [2016-11-14 00:52:14] 747*2^1445733-1 is not prime. Res64: 8B895B0E47ED916A Time : 0.0 sec. user=mdettweiler [2016-11-14 00:52:14] 919*2^1445733-1 is not prime. Res64: 120A8E12ACCD4D21 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:52:14] 991*2^1445733-1 is not prime. Res64: AE0D15D8F2693E8B Time : 0.0 sec. user=mdettweiler [2016-11-14 00:52:15] 681*2^1445734-1 is not prime. Res64: 9BC520AAEFE32464 Time : 0.0 sec. user=mdettweiler [2016-11-14 00:52:15] 705*2^1445734-1 is not prime. Res64: DE79238D956AFE96 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:21:59] 717*2^1445734-1 is not prime. Res64: CEE2875723C987EC Time : 0.0 sec. user=mdettweiler [2016-11-14 01:21:59] 813*2^1445734-1 is not prime. Res64: F697AFBFBF7C311D Time : 0.0 sec. user=mdettweiler [2016-11-14 01:22:00] 861*2^1445734-1 is not prime. Res64: C0E9DB6A8B2CD80E Time : 0.0 sec. user=mdettweiler [2016-11-14 01:22:00] 981*2^1445734-1 is not prime. Res64: 9450E0B782C8D2A7 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:22:01] 609*2^1445735-1 is not prime. Res64: DE89F32FF58F449A Time : 0.0 sec. user=mdettweiler [2016-11-14 01:23:31] 633*2^1445735-1 is not prime. Res64: 719DADAB1A426842 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:23:31] 675*2^1445735-1 is not prime. Res64: CCC82624D997C5CA Time : 0.0 sec. user=mdettweiler [2016-11-14 01:23:31] 759*2^1445735-1 is not prime. Res64: 836313EEE793E6BB Time : 0.0 sec. user=mdettweiler [2016-11-14 01:23:32] 981*2^1445735-1 is not prime. Res64: D9FB87F62C4B2976 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:23:32] 633*2^1445736-1 is not prime. Res64: 4543BA62F3525B19 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:36:31] 705*2^1445736-1 is not prime. Res64: 7541685D228F2A80 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:36:38] 789*2^1445736-1 is not prime. Res64: DD2748F0B3A4916C Time : 0.0 sec. user=mdettweiler [2016-11-14 01:36:41] 875*2^1445736-1 is not prime. Res64: 7385F04F9D6B5831 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:36:43] 923*2^1445736-1 is not prime. Res64: A0612220DE5274B6 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:36:49] 947*2^1445736-1 is not prime. Res64: 363442A154B2D28B Time : 0.0 sec. user=mdettweiler [2016-11-14 01:37:09] 625*2^1445737-1 is not prime. Res64: A30A2F940AFBCC93 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:37:16] 649*2^1445737-1 is not prime. Res64: 3E9860FA9474012E Time : 0.0 sec. user=mdettweiler [2016-11-14 01:37:20] 777*2^1445737-1 is not prime. Res64: C7F6811685CF9F52 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:37:23] 841*2^1445737-1 is not prime. Res64: 52D0874994D9AE12 Time : 0.0 sec. user=mdettweiler [2016-11-14 01:37:25] 871*2^1445737-1 is not prime. Res64: 9A4C5B5A8F5CB05E Time : 0.0 sec. user=mdettweiler [2016-11-14 02:06:59] 901*2^1445737-1 is not prime. Res64: AEA6DCC73A99864E Time : 0.0 sec. user=mdettweiler [2016-11-14 02:07:03] 623*2^1445738-1 is not prime. Res64: 70B70AE6110FE731 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:07:07] 743*2^1445738-1 is not prime. Res64: 4494E15373BF9F3E Time : 0.0 sec. user=mdettweiler [2016-11-14 02:07:10] 831*2^1445738-1 is not prime. Res64: 1097C66E417068AF Time : 0.0 sec. user=mdettweiler [2016-11-14 02:07:12] 945*2^1445738-1 is not prime. Res64: 3C6EF0ADB07618DA Time : 0.0 sec. user=mdettweiler [2016-11-14 02:08:19] 971*2^1445738-1 is not prime. Res64: 7A0A8216E3D10076 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:08:24] 789*2^1445739-1 is not prime. Res64: 8CB7D132357E8E07 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:08:26] 985*2^1445739-1 is not prime. Res64: BA448D6BC9EC433E Time : 0.0 sec. user=mdettweiler [2016-11-14 02:08:31] 603*2^1445740-1 is not prime. Res64: 6116F5C38FA37810 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:08:37] 635*2^1445740-1 is not prime. Res64: 6C6CA4B2469C179B Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:04] 653*2^1445740-1 is not prime. Res64: 9050626B93232A8B Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:04] 689*2^1445740-1 is not prime. Res64: 7EEF70417E4A8D32 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:05] 719*2^1445740-1 is not prime. Res64: 99E5E25C5FD56F17 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:05] 875*2^1445740-1 is not prime. Res64: 9FE0CFD8E43774AA Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:06] 909*2^1445740-1 is not prime. Res64: FC8C2A7C9D9A9850 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:22] 939*2^1445740-1 is not prime. Res64: 41FB9FADC87408C4 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:23] 987*2^1445740-1 is not prime. Res64: 809F9B5B8AB8F86F Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:23] 615*2^1445741-1 is not prime. Res64: AE6ADAF6E3129A84 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:23] 631*2^1445741-1 is not prime. Res64: B99C5070E9563F70 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:22:24] 735*2^1445741-1 is not prime. Res64: 63E7876B0012DFC3 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:52:44] 789*2^1445741-1 is not prime. Res64: 771520781F533ED7 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:52:44] 795*2^1445741-1 is not prime. Res64: 7E5060009DA89E5C Time : 0.0 sec. user=mdettweiler [2016-11-14 02:52:45] 811*2^1445741-1 is not prime. Res64: 603AF14966A7BDD2 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:52:45] 855*2^1445741-1 is not prime. Res64: 142953B6CF3CE330 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:52:45] 889*2^1445741-1 is not prime. Res64: 3E55783FC7DE3477 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:53:32] 927*2^1445741-1 is not prime. Res64: 53C73BA6032B146F Time : 0.0 sec. user=mdettweiler [2016-11-14 02:53:33] 737*2^1445742-1 is not prime. Res64: CA90AE28A8AEEAD4 Time : 0.0 sec. user=mdettweiler [2016-11-14 02:53:33] 843*2^1445742-1 is not prime. Res64: 24C5D5D20E9D7BBE Time : 0.0 sec. user=mdettweiler [2016-11-14 02:53:33] 903*2^1445742-1 is not prime. Res64: E96DF68A7889C15D Time : 0.0 sec. user=mdettweiler [2016-11-14 02:53:34] 965*2^1445742-1 is not prime. Res64: 0B4A4F1835660ECC Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:06] 633*2^1445743-1 is not prime. Res64: 5B179234B8E4D62F Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:07] 693*2^1445743-1 is not prime. Res64: 1DFED11C8B3078CC Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:08] 769*2^1445743-1 is not prime. Res64: 6BAD5072192188BB Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:09] 925*2^1445743-1 is not prime. Res64: E913CC27EFC27349 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:10] 973*2^1445743-1 is not prime. Res64: 6AE3B13F540EDC57 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:17] 645*2^1445744-1 is not prime. Res64: 93FC4FB9FA07FBBE Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:20] 833*2^1445744-1 is not prime. Res64: 82DDAB13D254A255 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:21] 875*2^1445744-1 is not prime. Res64: A44D18D9E0608082 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:22] 915*2^1445744-1 is not prime. Res64: E1CDBC4D690B6034 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:07:23] 929*2^1445744-1 is not prime. Res64: 4A3A12DC7BCE68DF Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:04] 945*2^1445744-1 is not prime. Res64: 94F0D526A09E7DB4 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:05] 607*2^1445745-1 is not prime. Res64: 0E024A460191EE9C Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:06] 805*2^1445745-1 is not prime. Res64: 40EF0F8D6131851E Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:07] 847*2^1445745-1 is not prime. Res64: B0C732C37896FF11 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:08] 871*2^1445745-1 is not prime. Res64: E5D9E8173560E560 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:47] 951*2^1445745-1 is not prime. Res64: BCC99C60CC79DDF2 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:48] 603*2^1445746-1 is not prime. Res64: 71BF2FEEDCCFB22B Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:49] 713*2^1445746-1 is not prime. Res64: DD7B2331946155BF Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:50] 735*2^1445746-1 is not prime. Res64: 43A8F500D1446C6F Time : 0.0 sec. user=mdettweiler [2016-11-14 03:38:51] 737*2^1445746-1 is not prime. Res64: AF42EE9BD606602D Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:02] 803*2^1445746-1 is not prime. Res64: 26969675554E4463 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:06] 813*2^1445746-1 is not prime. Res64: 0CF806E76EDE1EFF Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:08] 821*2^1445746-1 is not prime. Res64: 4BCC8D14A4F1B0C8 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:11] 933*2^1445746-1 is not prime. Res64: 1E3753F1CCDF6118 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:13] 993*2^1445746-1 is not prime. Res64: B0E5E0E5745DB432 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:16] 633*2^1445747-1 is not prime. Res64: 4A449D07FB9ED912 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:18] 733*2^1445747-1 is not prime. Res64: DE106F5C6C779961 Time : 0.0 sec. user=mdettweiler [2016-11-14 03:53:25] 775*2^1445747-1 is not prime. Res64: 43D87065C046CC9B Time : 0.0 sec. user=mdettweiler [2016-11-14 04:24:18] 707*2^1445748-1 is not prime. Res64: 85023EE19C4DB7FD Time : 0.0 sec. user=mdettweiler [2016-11-14 04:24:19] 723*2^1445748-1 is not prime. Res64: B78683F770F81D6C Time : 0.0 sec. user=mdettweiler [2016-11-14 04:24:20] 725*2^1445748-1 is not prime. Res64: 49C4FED1829F0388 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:24:21] 737*2^1445748-1 is not prime. Res64: 8A93E74001351D6B Time : 0.0 sec. user=mdettweiler [2016-11-14 04:24:21] 899*2^1445748-1 is not prime. Res64: D40085A9CDD0C733 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:25:04] 947*2^1445748-1 is not prime. Res64: D238864BB0A08305 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:25:04] 621*2^1445749-1 is not prime. Res64: 6FDFDCE3905BF31B Time : 0.0 sec. user=mdettweiler [2016-11-14 04:25:04] 687*2^1445749-1 is not prime. Res64: 249E3A271F06E67D Time : 0.0 sec. user=mdettweiler [2016-11-14 04:25:05] 801*2^1445749-1 is not prime. Res64: 9BBDFCC766872CD6 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:25:05] 847*2^1445749-1 is not prime. Res64: 8FB183941B0F0BD7 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:39:20] 877*2^1445749-1 is not prime. Res64: 4D8AD33E7B1F488D Time : 0.0 sec. user=mdettweiler [2016-11-14 04:39:21] 713*2^1445750-1 is not prime. Res64: 64049D06AE551AB4 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:39:21] 741*2^1445750-1 is not prime. Res64: 37F7497FF538E0D6 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:39:21] 773*2^1445750-1 is not prime. Res64: 75AB12EBEB01A0A3 Time : 0.0 sec. user=mdettweiler [2016-11-14 04:39:22] 785*2^1445750-1 is not prime. Res64: 17A0A789814CE2C0 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:09:56] 941*2^1445750-1 is not prime. Res64: FE25F32B1AC3F261 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:09:56] 709*2^1445751-1 is not prime. Res64: A2082A9A759A1004 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:09:57] 825*2^1445751-1 is not prime. Res64: 4A0669850CBC6A01 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:09:57] 653*2^1445752-1 is not prime. Res64: 64BDE436BA57E3D4 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:09:58] 677*2^1445752-1 is not prime. Res64: 37DF43C8D6EA523E Time : 0.0 sec. user=mdettweiler [2016-11-14 05:10:49] 743*2^1445752-1 is not prime. Res64: 8ACDB849AD7AC637 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:10:49] 785*2^1445752-1 is not prime. Res64: 89D0891105FD2938 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:10:50] 825*2^1445752-1 is not prime. Res64: 5206749747AF9794 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:10:50] 903*2^1445752-1 is not prime. Res64: 995361F529227B77 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:10:50] 915*2^1445752-1 is not prime. Res64: 212E33B392EA1B0B Time : 0.0 sec. user=mdettweiler [2016-11-14 05:24:59] 939*2^1445752-1 is not prime. Res64: 47DA98CD3D8D05FD Time : 0.0 sec. user=mdettweiler [2016-11-14 05:24:59] 957*2^1445752-1 is not prime. Res64: 2BE3DA9E23E030DB Time : 0.0 sec. user=mdettweiler [2016-11-14 05:25:00] 727*2^1445753-1 is not prime. Res64: 9683FDD9923A29A4 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:25:00] 855*2^1445753-1 is not prime. Res64: 2C6D1AC84F55D546 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:25:00] 889*2^1445753-1 is not prime. Res64: FBD85B67F652F130 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:55:31] 951*2^1445753-1 is not prime. Res64: 8CB641C7D3D76731 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:55:31] 967*2^1445753-1 is not prime. Res64: 62501706EA18B51D Time : 0.0 sec. user=mdettweiler [2016-11-14 05:55:32] 635*2^1445754-1 is not prime. Res64: 8883E7C6F70C37CB Time : 0.0 sec. user=mdettweiler [2016-11-14 05:55:32] 803*2^1445754-1 is not prime. Res64: F18FA7B355C91708 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:55:33] 821*2^1445754-1 is not prime. Res64: 32550F2AACEB563B Time : 0.0 sec. user=mdettweiler [2016-11-14 05:56:31] 875*2^1445754-1 is not prime. Res64: 127BE3FB439C8A2E Time : 0.0 sec. user=mdettweiler [2016-11-14 05:56:32] 891*2^1445754-1 is not prime. Res64: 23A4A1AA3DCA4546 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:56:32] 923*2^1445754-1 is not prime. Res64: F0A49AD394044A43 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:56:32] 951*2^1445754-1 is not prime. Res64: BD3CF0B03AD07D12 Time : 0.0 sec. user=mdettweiler [2016-11-14 05:56:33] 1001*2^1445754-1 is not prime. Res64: 0B0EF6BB2739DCC2 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:10:33] 639*2^1445755-1 is not prime. Res64: 12387E7FCC3C641A Time : 0.0 sec. user=mdettweiler [2016-11-14 06:10:33] 723*2^1445755-1 is not prime. Res64: 4F222961020E0E97 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:10:34] 805*2^1445755-1 is not prime. Res64: 1C80D49BAAD4C112 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:10:34] 829*2^1445755-1 is not prime. Res64: 4ADEC2DBBFF9E060 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:10:35] 853*2^1445755-1 is not prime. Res64: A9730CD69AA91105 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:41:01] 861*2^1445755-1 is not prime. Res64: ADF80545E1FF318B Time : 0.0 sec. user=mdettweiler [2016-11-14 06:41:01] 885*2^1445755-1 is not prime. Res64: F47F58E9B4C5B914 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:41:02] 633*2^1445756-1 is not prime. Res64: 0EEF2C46C6907603 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:41:02] 725*2^1445756-1 is not prime. Res64: 29E21BAA2AAD0F69 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:41:02] 813*2^1445756-1 is not prime. Res64: 77FD31A8C58C2D58 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:42:17] 601*2^1445757-1 is not prime. Res64: 7B109F71DC827563 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:42:18] 615*2^1445757-1 is not prime. Res64: 9FD179D5781F6BCF Time : 0.0 sec. user=mdettweiler [2016-11-14 06:42:18] 819*2^1445757-1 is not prime. Res64: B51E2710E0F396DF Time : 0.0 sec. user=mdettweiler [2016-11-14 06:42:18] 835*2^1445757-1 is not prime. Res64: 5432CC8329B06D30 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:42:19] 895*2^1445757-1 is not prime. Res64: 9CD4514F635F65AC Time : 0.0 sec. user=mdettweiler [2016-11-14 06:56:17] 955*2^1445757-1 is not prime. Res64: A274A7AE1781C9B3 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:56:18] 665*2^1445758-1 is not prime. Res64: 1521EADB75702D1E Time : 0.0 sec. user=mdettweiler [2016-11-14 06:56:18] 857*2^1445758-1 is not prime. Res64: F8519F1A342209FE Time : 0.0 sec. user=mdettweiler [2016-11-14 06:56:18] 945*2^1445758-1 is not prime. Res64: A651689AC6CBB799 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:56:19] 661*2^1445759-1 is not prime. Res64: E556DCF04065FE9B Time : 0.0 sec. user=mdettweiler [2016-11-14 06:59:40] 945*2^1445747-1 is not prime. Res64: 7F60D0401C7EAD44 Time : 0.0 sec. user=mdettweiler [2016-11-14 06:59:40] 635*2^1445748-1 is not prime. Res64: 182C7CDD4EF81AE2 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:26:12] 831*2^1445759-1 is not prime. Res64: 53265F5421BC3857 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:26:13] 949*2^1445759-1 is not prime. Res64: 5AAD46B6F8877ECD Time : 0.0 sec. user=mdettweiler [2016-11-14 07:26:13] 635*2^1445760-1 is not prime. Res64: 04CC6FBC229AFBAE Time : 0.0 sec. user=mdettweiler [2016-11-14 07:26:13] 779*2^1445760-1 is not prime. Res64: 1060481E809B597F Time : 0.0 sec. user=mdettweiler [2016-11-14 07:26:14] 789*2^1445760-1 is not prime. Res64: 6E10977BFB8DB16D Time : 0.0 sec. user=mdettweiler [2016-11-14 07:27:22] 819*2^1445760-1 is not prime. Res64: 23FF21525AA42786 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:27:23] 959*2^1445760-1 is not prime. Res64: 247B8E6A059DD3AA Time : 0.0 sec. user=mdettweiler [2016-11-14 07:27:23] 601*2^1445761-1 is not prime. Res64: F56220BEFB3C933F Time : 0.0 sec. user=mdettweiler [2016-11-14 07:27:23] 715*2^1445761-1 is not prime. Res64: CB73F496D1216669 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:27:24] 771*2^1445761-1 is not prime. Res64: 43657C9935812257 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:41:06] 807*2^1445761-1 is not prime. Res64: 0B0319C27434914B Time : 0.0 sec. user=mdettweiler [2016-11-14 07:41:07] 817*2^1445761-1 is not prime. Res64: 681D5399D27E8017 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:41:07] 871*2^1445761-1 is not prime. Res64: F60BDE62A7D07B45 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:41:08] 877*2^1445761-1 is not prime. Res64: 51CC53F39720AB85 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:41:08] 743*2^1445762-1 is not prime. Res64: 6EFFED4420A0E98B Time : 0.0 sec. user=mdettweiler [2016-11-14 07:44:33] 753*2^1445762-1 is not prime. Res64: 55196EF437FA4CC2 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:44:33] 791*2^1445762-1 is not prime. Res64: 3B7A1FA2C1F4E422 Time : 0.0 sec. user=mdettweiler [2016-11-14 07:44:33] 837*2^1445762-1 is not prime. Res64: 4E7692F9EE8380CC Time : 0.0 sec. user=mdettweiler [2016-11-14 07:44:34] 843*2^1445762-1 is not prime. Res64: 00DACC7B55E3136C Time : 0.0 sec. user=mdettweiler [2016-11-14 07:44:34] 649*2^1445763-1 is not prime. Res64: 44273D07CE573F5D Time : 0.0 sec. user=mdettweiler [2016-11-14 08:11:02] 745*2^1445763-1 is not prime. Res64: BBFE42D75B3FE37A Time : 0.0 sec. user=mdettweiler [2016-11-14 08:11:03] 765*2^1445763-1 is not prime. Res64: B94C85D9EE90961A Time : 0.0 sec. user=mdettweiler [2016-11-14 08:11:03] 789*2^1445763-1 is not prime. Res64: 6201D44D701F2F60 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:11:03] 801*2^1445763-1 is not prime. Res64: F18520B30ED6773D Time : 0.0 sec. user=mdettweiler [2016-11-14 08:11:04] 873*2^1445763-1 is not prime. Res64: C22C1FD72C94D20B Time : 0.0 sec. user=mdettweiler [2016-11-14 08:12:03] 879*2^1445763-1 is not prime. Res64: 20F802A1BB66A08B Time : 0.0 sec. user=mdettweiler [2016-11-14 08:12:03] 945*2^1445763-1 is not prime. Res64: 9E5506BAFB55CA2B Time : 0.0 sec. user=mdettweiler [2016-11-14 08:12:04] 695*2^1445764-1 is not prime. Res64: 0A16A1B4640016A2 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:12:04] 749*2^1445764-1 is not prime. Res64: E7422C79D9BB399E Time : 0.0 sec. user=mdettweiler [2016-11-14 08:12:05] 819*2^1445764-1 is not prime. Res64: E4C13F3BC7586F54 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:25:52] 857*2^1445764-1 is not prime. Res64: D4F1869A407BF454 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:25:53] 875*2^1445764-1 is not prime. Res64: 6EA8182A515432CB Time : 0.0 sec. user=mdettweiler [2016-11-14 08:25:54] 887*2^1445764-1 is not prime. Res64: BB583EAE4E07C350 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:25:55] 903*2^1445764-1 is not prime. Res64: 41E8FF98DFA5DCEF Time : 0.0 sec. user=mdettweiler [2016-11-14 08:25:56] 959*2^1445764-1 is not prime. Res64: C4EECB8EBAA2E6A8 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:29:28] 987*2^1445765-1 is not prime. Res64: 5F6CFB37C741FBE9 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:29:28] 765*2^1445766-1 is not prime. Res64: 312A7A8617E56F3A Time : 0.0 sec. user=mdettweiler [2016-11-14 08:29:29] 891*2^1445766-1 is not prime. Res64: F2FAE612BB0AA585 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:29:29] 975*2^1445766-1 is not prime. Res64: BC724C7E07E186A9 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:29:29] 983*2^1445766-1 is not prime. Res64: 5FC9247A1C212E27 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:55:48] 639*2^1445767-1 is not prime. Res64: 22D4CC6E9761CC25 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:55:48] 651*2^1445767-1 is not prime. Res64: 9DAC39FC443D6490 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:55:49] 663*2^1445767-1 is not prime. Res64: 672D1F1DEFBAAE32 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:55:49] 829*2^1445767-1 is not prime. Res64: 24A308A041A10649 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:55:49] 871*2^1445767-1 is not prime. Res64: AC32EA9F428E5A3F Time : 0.0 sec. user=mdettweiler [2016-11-14 08:56:53] 901*2^1445767-1 is not prime. Res64: 3CDCE948CC17ED28 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:56:53] 909*2^1445767-1 is not prime. Res64: 73D84C74C3176FA9 Time : 0.0 sec. user=mdettweiler [2016-11-14 08:56:53] 635*2^1445768-1 is not prime. Res64: B58D5BEB1EF2777F Time : 0.0 sec. user=mdettweiler [2016-11-14 08:56:54] 669*2^1445768-1 is not prime. Res64: 578544428E51424F Time : 0.0 sec. user=mdettweiler [2016-11-14 08:56:54] 767*2^1445768-1 is not prime. Res64: 07338BE75658D999 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:10:41] 843*2^1445768-1 is not prime. Res64: AC15F7748E7D33ED Time : 0.0 sec. user=mdettweiler [2016-11-14 09:10:42] 945*2^1445768-1 is not prime. Res64: 8ED768FF0B54CC4B Time : 0.0 sec. user=mdettweiler [2016-11-14 09:10:45] 963*2^1445768-1 is not prime. Res64: ABE42B86E5A3FD43 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:10:47] 675*2^1445769-1 is not prime. Res64: 2F0ABB713823F3F2 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:10:48] 679*2^1445769-1 is not prime. Res64: 3BE3DB10272B3E13 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:14:16] 691*2^1445769-1 is not prime. Res64: 146A2EA123FA074E Time : 0.0 sec. user=mdettweiler [2016-11-14 09:14:17] 735*2^1445769-1 is not prime. Res64: 2F0B83DE4CBF9CBA Time : 0.0 sec. user=mdettweiler [2016-11-14 09:14:17] 781*2^1445769-1 is not prime. Res64: 3D78FD1DCD13A574 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:14:18] 831*2^1445769-1 is not prime. Res64: 1EB93C70F267B5D4 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:14:19] 847*2^1445769-1 is not prime. Res64: 3E2BA58E24C2B2D4 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:40:36] 861*2^1445769-1 is not prime. Res64: 121DFE493CA02266 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:40:36] 945*2^1445769-1 is not prime. Res64: 103DE14773FE2496 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:40:36] 997*2^1445769-1 is not prime. Res64: 052243FBD7CEE3DA Time : 0.0 sec. user=mdettweiler [2016-11-14 09:40:37] 999*2^1445769-1 is not prime. Res64: 51E7024772E46925 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:40:37] 611*2^1445770-1 is not prime. Res64: A9079E71BC01D435 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:41:47] 765*2^1445770-1 is not prime. Res64: 0DD84688EA4DCE28 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:41:47] 803*2^1445770-1 is not prime. Res64: 78E3487AA500FC3A Time : 0.0 sec. user=mdettweiler [2016-11-14 09:41:47] 843*2^1445770-1 is not prime. Res64: 375F266E6C174956 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:41:48] 917*2^1445770-1 is not prime. Res64: 9406B40267637760 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:41:48] 971*2^1445770-1 is not prime. Res64: 1DCD55818953D2EE Time : 0.0 sec. user=mdettweiler [2016-11-14 09:56:02] 759*2^1445771-1 is not prime. Res64: C49AF1739FC9CB45 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:56:03] 775*2^1445771-1 is not prime. Res64: B37796372242B197 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:56:03] 805*2^1445771-1 is not prime. Res64: 0901F96486975A77 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:56:03] 647*2^1445772-1 is not prime. Res64: 055EF7D86725E38A Time : 0.0 sec. user=mdettweiler [2016-11-14 09:56:04] 665*2^1445772-1 is not prime. Res64: 517F63F6F754EB29 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:59:14] 669*2^1445772-1 is not prime. Res64: D4EAAC4E65D904E8 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:59:14] 689*2^1445772-1 is not prime. Res64: 6A1D2E51F1CA304E Time : 0.0 sec. user=mdettweiler [2016-11-14 09:59:14] 887*2^1445772-1 is not prime. Res64: 831F9CD8CCEBA3A2 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:59:15] 899*2^1445772-1 is not prime. Res64: 5A2F64AB0150BEA3 Time : 0.0 sec. user=mdettweiler [2016-11-14 09:59:15] 933*2^1445772-1 is not prime. Res64: 8B6CBF09A99B2742 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:25:23] 977*2^1445772-1 is not prime. Res64: 30F3D1E2F8746437 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:25:23] 607*2^1445773-1 is not prime. Res64: 9D2C883C2CFA190A Time : 0.0 sec. user=mdettweiler [2016-11-14 10:25:23] 615*2^1445773-1 is not prime. Res64: 18BF8C0AFC9D9C3A Time : 0.0 sec. user=mdettweiler [2016-11-14 10:25:24] 789*2^1445773-1 is not prime. Res64: 30662A6E83C275F1 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:25:24] 889*2^1445773-1 is not prime. Res64: 7F1F1E33B9ABB769 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:26:39] 897*2^1445773-1 is not prime. Res64: E4BBCA235364E01C Time : 0.0 sec. user=mdettweiler [2016-11-14 10:26:39] 985*2^1445773-1 is not prime. Res64: AA1B9892A92DCA85 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:26:40] 773*2^1445774-1 is not prime. Res64: 6976990AF03ECC4F Time : 0.0 sec. user=mdettweiler [2016-11-14 10:26:40] 791*2^1445774-1 is not prime. Res64: 0D46AA7D33C03FFC Time : 0.0 sec. user=mdettweiler [2016-11-14 10:26:41] 897*2^1445774-1 is not prime. Res64: 099B106BED8E9B69 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:40:55] 915*2^1445774-1 is not prime. Res64: A8C6E179668F5784 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:40:56] 927*2^1445774-1 is not prime. Res64: F04C5D0E94C636B5 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:40:56] 981*2^1445774-1 is not prime. Res64: D8993B980D7072D5 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:40:56] 619*2^1445775-1 is not prime. Res64: 06E59DC241F79A4C Time : 0.0 sec. user=mdettweiler [2016-11-14 10:40:57] 693*2^1445775-1 is not prime. Res64: D0191FF150022E13 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:44:24] 735*2^1445775-1 is not prime. Res64: EA6FBDA041ECA85C Time : 0.0 sec. user=mdettweiler [2016-11-14 10:44:24] 741*2^1445775-1 is not prime. Res64: 8BB73D6AECD92A30 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:44:25] 765*2^1445775-1 is not prime. Res64: 39697D065611AD12 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:44:25] 793*2^1445775-1 is not prime. Res64: D29F647BCFFEC6E0 Time : 0.0 sec. user=mdettweiler [2016-11-14 10:44:25] 891*2^1445775-1 is not prime. Res64: 27D2656CAB24EB4B Time : 0.0 sec. user=mdettweiler [2016-11-14 11:11:45] 623*2^1445776-1 is not prime. Res64: 25588E61E69B0E74 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:11:45] 639*2^1445776-1 is not prime. Res64: 7EE5CC20577F0C67 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:11:46] 645*2^1445776-1 is not prime. Res64: 4524F667A0A92D76 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:11:46] 695*2^1445776-1 is not prime. Res64: 25244F2DD76000A8 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:11:47] 735*2^1445776-1 is not prime. Res64: BC59FE4A0A2551CE Time : 0.0 sec. user=mdettweiler [2016-11-14 11:12:32] 923*2^1445776-1 is not prime. Res64: 786B74CB6E2A9779 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:12:32] 933*2^1445776-1 is not prime. Res64: E1590CF7E452C926 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:12:32] 983*2^1445776-1 is not prime. Res64: A2DD6D936403171F Time : 0.0 sec. user=mdettweiler [2016-11-14 11:12:33] 711*2^1445777-1 is not prime. Res64: FE6371059D5C57B0 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:12:33] 867*2^1445777-1 is not prime. Res64: B8644C6046AAC967 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:27:20] 635*2^1445778-1 is not prime. Res64: B5BEFC3DF4A43A39 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:27:21] 677*2^1445778-1 is not prime. Res64: AED0E397A64FFD5C Time : 0.0 sec. user=mdettweiler [2016-11-14 11:27:21] 705*2^1445778-1 is not prime. Res64: 8E624B137CBEA8DB Time : 0.0 sec. user=mdettweiler [2016-11-14 11:27:22] 765*2^1445778-1 is not prime. Res64: 94DC7BD11952160D Time : 0.0 sec. user=mdettweiler [2016-11-14 11:27:22] 971*2^1445778-1 is not prime. Res64: BCEF74A2E9438C26 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:30:53] 601*2^1445779-1 is not prime. Res64: 8EA03B684FFF8A99 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:30:54] 615*2^1445779-1 is not prime. Res64: B0A7EBACB1E8A540 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:30:55] 645*2^1445779-1 is not prime. Res64: D2713946B9DE63C3 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:30:55] 765*2^1445779-1 is not prime. Res64: 0D294EB60231333C Time : 0.0 sec. user=mdettweiler [2016-11-14 11:30:56] 775*2^1445779-1 is not prime. Res64: 58553853E13D39C3 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:12] 813*2^1445779-1 is not prime. Res64: 299E59572D4DB3DE Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:13] 605*2^1445780-1 is not prime. Res64: 4634DB6D680AFC3D Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:13] 615*2^1445780-1 is not prime. Res64: 173694E92884CFE2 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:13] 629*2^1445780-1 is not prime. Res64: D754C698E6C32A21 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:14] 669*2^1445780-1 is not prime. Res64: 104DEC1CDBA3F241 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:49] 707*2^1445780-1 is not prime. Res64: A4BCE264E66467C1 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:49] 797*2^1445780-1 is not prime. Res64: 0436CBB0DEAD3F16 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:49] 885*2^1445780-1 is not prime. Res64: 9BE3CEC74D1C61C3 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:50] 963*2^1445780-1 is not prime. Res64: 7E4BF3377514A185 Time : 0.0 sec. user=mdettweiler [2016-11-14 11:57:50] 649*2^1445781-1 is not prime. Res64: 701805989B1E3A5B Time : 0.0 sec. user=mdettweiler [2016-11-14 12:12:17] 661*2^1445781-1 is not prime. Res64: 6043C5F4B33545E7 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:12:19] 717*2^1445781-1 is not prime. Res64: 727A3F07D3E84514 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:12:20] 901*2^1445781-1 is not prime. Res64: 3954A563676729FF Time : 0.0 sec. user=mdettweiler [2016-11-14 12:12:22] 755*2^1445782-1 is not prime. Res64: B410CD14A7E97043 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:12:23] 801*2^1445782-1 is not prime. Res64: 85F0C9384A07FFBC Time : 0.0 sec. user=mdettweiler [2016-11-14 12:15:44] 833*2^1445782-1 is not prime. Res64: F9A712AEA2048DAA Time : 0.0 sec. user=mdettweiler [2016-11-14 12:15:46] 917*2^1445782-1 is not prime. Res64: 621A0BB5D1675F4C Time : 0.0 sec. user=mdettweiler [2016-11-14 12:15:48] 965*2^1445782-1 is not prime. Res64: 97C1DB9FFA72DBAA Time : 0.0 sec. user=mdettweiler [2016-11-14 12:15:50] 745*2^1445783-1 is not prime. Res64: 1264DCA2404CDEB1 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:15:52] 781*2^1445783-1 is not prime. Res64: 9C4E985C99238977 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:04] 789*2^1445783-1 is not prime. Res64: 687E5CCBF54D9527 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:05] 895*2^1445783-1 is not prime. Res64: 0BB83433296F0391 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:05] 921*2^1445783-1 is not prime. Res64: C63DCD957C420966 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:05] 765*2^1445784-1 is not prime. Res64: 63222280BAD59789 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:06] 887*2^1445784-1 is not prime. Res64: 62BF6BBB7402C540 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:41] 893*2^1445784-1 is not prime. Res64: 901999EE9A4C8572 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:42] 983*2^1445784-1 is not prime. Res64: C8E85BFF5ECF401A Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:42] 717*2^1445785-1 is not prime. Res64: 3074194A075190C1 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:42] 721*2^1445785-1 is not prime. Res64: 2FA186D41409CABB Time : 0.0 sec. user=mdettweiler [2016-11-14 12:42:43] 741*2^1445785-1 is not prime. Res64: CF0CF93DBD26027F Time : 0.0 sec. user=mdettweiler [2016-11-14 12:57:18] 789*2^1445785-1 is not prime. Res64: DFC68E3E246E70FC Time : 0.0 sec. user=mdettweiler [2016-11-14 12:57:18] 861*2^1445785-1 is not prime. Res64: 8A1661016693A537 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:57:18] 955*2^1445785-1 is not prime. Res64: B4041D1BD7E2EF48 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:57:19] 635*2^1445786-1 is not prime. Res64: F06DE8207F2D9981 Time : 0.0 sec. user=mdettweiler [2016-11-14 12:57:19] 671*2^1445786-1 is not prime. Res64: 19750BC1E67FB717 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:00:52] 743*2^1445786-1 is not prime. Res64: 570AEFC1DA35D5FC Time : 0.0 sec. user=mdettweiler [2016-11-14 13:00:53] 827*2^1445786-1 is not prime. Res64: 52DEC2789AAE6089 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:00:54] 837*2^1445786-1 is not prime. Res64: 9C6F8DD6B499FE97 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:00:54] 843*2^1445786-1 is not prime. Res64: CAD3B427053D38CB Time : 0.0 sec. user=mdettweiler [2016-11-14 13:00:55] 945*2^1445786-1 is not prime. Res64: 6D9D55322F2075F8 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:00] 953*2^1445786-1 is not prime. Res64: 84E5634A381D5AFA Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:01] 981*2^1445786-1 is not prime. Res64: 49F438EC6CDF2378 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:01] 983*2^1445786-1 is not prime. Res64: A81010367406D3B0 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:02] 625*2^1445787-1 is not prime. Res64: A3AE7DBC8FD485F9 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:02] 639*2^1445787-1 is not prime. Res64: 10BBB349C16D1184 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:23] 649*2^1445787-1 is not prime. Res64: C5DB222381F10471 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:24] 741*2^1445787-1 is not prime. Res64: C9D71AB54B89EDD1 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:24] 861*2^1445787-1 is not prime. Res64: 18F1E527CE77008B Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:25] 871*2^1445787-1 is not prime. Res64: 5A3B4D43FCD31CB7 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:27:25] 961*2^1445787-1 is not prime. Res64: C37BA4FFEA6E385F Time : 0.0 sec. user=mdettweiler [2016-11-14 13:42:08] 975*2^1445787-1 is not prime. Res64: 70B17FAD32F1CD86 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:42:09] 825*2^1445788-1 is not prime. Res64: 57C057747E0E6614 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:42:09] 839*2^1445788-1 is not prime. Res64: 317940510810B66B Time : 0.0 sec. user=mdettweiler [2016-11-14 13:42:09] 933*2^1445788-1 is not prime. Res64: CCFC01D9AD69F948 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:42:10] 645*2^1445789-1 is not prime. Res64: 0030DB693BE7749B Time : 0.0 sec. user=mdettweiler [2016-11-14 13:45:56] 649*2^1445789-1 is not prime. Res64: 3190A26C833DFE95 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:45:57] 691*2^1445789-1 is not prime. Res64: 78ACBEADBE9842A1 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:45:57] 697*2^1445789-1 is not prime. Res64: CD513C3A80336EB6 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:45:58] 711*2^1445789-1 is not prime. Res64: AEE61ED5C7052582 Time : 0.0 sec. user=mdettweiler [2016-11-14 13:45:58] 727*2^1445789-1 is not prime. Res64: 31EFD4710F6F0044 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:03] 745*2^1445789-1 is not prime. Res64: 17FCA71D2D431A10 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:04] 801*2^1445789-1 is not prime. Res64: C796590222A9F0CE Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:04] 889*2^1445789-1 is not prime. Res64: 2AC73067EA1ADF72 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:05] 949*2^1445789-1 is not prime. Res64: 9AE370234FCA5D34 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:05] 611*2^1445790-1 is not prime. Res64: 270C7E5E83CCB29F Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:21] 671*2^1445790-1 is not prime. Res64: 36946A600A9F1F2D Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:22] 845*2^1445790-1 is not prime. Res64: 9F55C91A64445DDC Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:22] 875*2^1445790-1 is not prime. Res64: 5FC48F379F592CBD Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:22] 887*2^1445790-1 is not prime. Res64: 27F9E2D6BA71DA79 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:12:23] 945*2^1445790-1 is not prime. Res64: 34A0BD02AB45677F Time : 0.0 sec. user=mdettweiler [2016-11-14 14:26:58] 603*2^1445791-1 is not prime. Res64: A1E266850885D8E9 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:26:59] 649*2^1445791-1 is not prime. Res64: 124EAC9512F4DA49 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:26:59] 819*2^1445791-1 is not prime. Res64: 17685D9ED5117A07 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:26:59] 859*2^1445791-1 is not prime. Res64: 9A7816B2A4E6DF08 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:27:00] 861*2^1445791-1 is not prime. Res64: E8F0CAEFB3C47B00 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:31:08] 689*2^1445792-1 is not prime. Res64: 59752DC3D88D4986 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:31:08] 767*2^1445792-1 is not prime. Res64: D5FD67C13F0FBA0F Time : 0.0 sec. user=mdettweiler [2016-11-14 14:31:08] 797*2^1445792-1 is not prime. Res64: 6418707705C09188 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:31:09] 815*2^1445792-1 is not prime. Res64: A1C553EEFD55B300 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:31:09] 827*2^1445792-1 is not prime. Res64: BF704E6AAFC874C6 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:01] 917*2^1445792-1 is not prime. Res64: 5648166CA50A1850 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:01] 609*2^1445793-1 is not prime. Res64: 6744297C1032B7FE Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:02] 627*2^1445793-1 is not prime. Res64: 35628D626C71020A Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:02] 817*2^1445793-1 is not prime. Res64: 1B1CC6BEE0DA323E Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:02] 885*2^1445793-1 is not prime. Res64: 87D5A727A6C129E5 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:13] 969*2^1445793-1 is not prime. Res64: 91EF6482655CA3B5 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:13] 651*2^1445794-1 is not prime. Res64: 127B6203E7313C50 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:13] 755*2^1445794-1 is not prime. Res64: 0492DD3BBC54450D Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:14] 833*2^1445794-1 is not prime. Res64: C9E37ECFD5D1DB75 Time : 0.0 sec. user=mdettweiler [2016-11-14 14:57:14] 651*2^1445795-1 is not prime. Res64: B472F0FF15225CDB Time : 0.0 sec. user=mdettweiler [2016-11-14 15:11:50] 663*2^1445795-1 is not prime. Res64: BD870AC3888DBF38 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:11:50] 673*2^1445795-1 is not prime. Res64: B9030BFBB6F01E5D Time : 0.0 sec. user=mdettweiler [2016-11-14 15:11:51] 783*2^1445795-1 is not prime. Res64: A59932FB6615AF8D Time : 0.0 sec. user=mdettweiler [2016-11-14 15:11:51] 973*2^1445795-1 is not prime. Res64: 931B45D70226AD8E Time : 0.0 sec. user=mdettweiler [2016-11-14 15:11:52] 635*2^1445796-1 is not prime. Res64: A456F25DED4FEB67 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:16:07] 725*2^1445796-1 is not prime. Res64: D8385BE966808A76 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:16:07] 779*2^1445796-1 is not prime. Res64: 81AC8D08048303D5 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:16:08] 987*2^1445796-1 is not prime. Res64: 4B84DAEE9868572E Time : 0.0 sec. user=mdettweiler [2016-11-14 15:16:08] 601*2^1445797-1 is not prime. Res64: 8F0654056A98B9A0 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:16:09] 645*2^1445797-1 is not prime. Res64: 99AEF8CB3F2370BD Time : 0.0 sec. user=mdettweiler [2016-11-14 15:41:54] 687*2^1445797-1 is not prime. Res64: 228DD3E0A4A4CB84 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:41:55] 691*2^1445797-1 is not prime. Res64: 03E2A9D4665888E0 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:41:55] 699*2^1445797-1 is not prime. Res64: 1EE2CC06FB757064 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:41:55] 861*2^1445797-1 is not prime. Res64: 2C99516DDD6F9C04 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:41:56] 761*2^1445798-1 is not prime. Res64: 29544FB3010DFA62 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:42:11] 795*2^1445798-1 is not prime. Res64: 9376258FDB6BC60A Time : 0.0 sec. user=mdettweiler [2016-11-14 15:42:11] 977*2^1445798-1 is not prime. Res64: E8A1897F8EDE397F Time : 0.0 sec. user=mdettweiler [2016-11-14 15:42:11] 703*2^1445799-1 is not prime. Res64: 476596F27076B332 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:42:12] 751*2^1445799-1 is not prime. Res64: 86D854377569ABF1 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:42:12] 629*2^1445800-1 is not prime. Res64: 2491A666268317D2 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:56:51] 653*2^1445800-1 is not prime. Res64: 05D3D0615F54FFBD Time : 0.0 sec. user=mdettweiler [2016-11-14 15:56:51] 677*2^1445800-1 is not prime. Res64: F51077CC423CEBFD Time : 0.0 sec. user=mdettweiler [2016-11-14 15:56:52] 687*2^1445800-1 is not prime. Res64: 4D956C607F1FAF1F Time : 0.0 sec. user=mdettweiler [2016-11-14 15:56:52] 717*2^1445800-1 is not prime. Res64: 14A71C1ABACAD214 Time : 0.0 sec. user=mdettweiler [2016-11-14 15:56:52] 719*2^1445800-1 is not prime. Res64: E11921CDAE0BA9EF Time : 0.0 sec. user=mdettweiler [2016-11-14 16:01:02] 849*2^1445800-1 is not prime. Res64: C0EFFB17121E313A Time : 0.0 sec. user=mdettweiler [2016-11-14 16:01:03] 855*2^1445800-1 is not prime. Res64: E1991FA9BF0C8C49 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:01:04] 857*2^1445800-1 is not prime. Res64: 7509038D321B6B32 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:01:05] 875*2^1445800-1 is not prime. Res64: 1C0F008FB93C1DE3 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:01:05] 939*2^1445800-1 is not prime. Res64: FCF4093D72634683 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:26:54] 965*2^1445800-1 is not prime. Res64: 28704FD50868315D Time : 0.0 sec. user=mdettweiler [2016-11-14 16:26:54] 727*2^1445801-1 is not prime. Res64: 5F461EAFD5065704 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:26:55] 829*2^1445801-1 is not prime. Res64: 5DADC3DCCF0BC916 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:26:55] 981*2^1445801-1 is not prime. Res64: A5C08AAB908C594C Time : 0.0 sec. user=mdettweiler [2016-11-14 16:26:56] 725*2^1445802-1 is not prime. Res64: BEA9616C439A6A28 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:27:15] 797*2^1445802-1 is not prime. Res64: 23730C1679EF9D83 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:27:16] 843*2^1445802-1 is not prime. Res64: D70A2ADC195916A6 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:27:16] 921*2^1445802-1 is not prime. Res64: 5666FE69D5872802 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:27:17] 941*2^1445802-1 is not prime. Res64: B3ACA4163A11D746 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:27:17] 883*2^1445803-1 is not prime. Res64: A8BF7057D785FFD5 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:41:42] 885*2^1445803-1 is not prime. Res64: FAF699CD2413C273 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:41:42] 951*2^1445803-1 is not prime. Res64: E4D809E15F4D7343 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:41:43] 999*2^1445803-1 is not prime. Res64: D1465E683F1ED349 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:41:43] 609*2^1445804-1 is not prime. Res64: E240C0EEBFB92A91 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:41:44] 623*2^1445804-1 is not prime. Res64: C628EE4FED90B302 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:45:59] 719*2^1445804-1 is not prime. Res64: D658CE453861B49B Time : 0.0 sec. user=mdettweiler [2016-11-14 16:46:00] 743*2^1445804-1 is not prime. Res64: 56989D23EC5A904F Time : 0.0 sec. user=mdettweiler [2016-11-14 16:46:00] 755*2^1445804-1 is not prime. Res64: 3F0A7D026FCBEE3F Time : 0.0 sec. user=mdettweiler [2016-11-14 16:46:01] 995*2^1445804-1 is not prime. Res64: CEF555E78CDF3214 Time : 0.0 sec. user=mdettweiler [2016-11-14 16:46:01] 741*2^1445805-1 is not prime. Res64: 6341DF2F5D8E47D1 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:11:55] 859*2^1445805-1 is not prime. Res64: C58FCC203A2EB266 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:11:57] 867*2^1445805-1 is not prime. Res64: 8FD3531F83028DAD Time : 0.0 sec. user=mdettweiler [2016-11-14 17:11:58] 921*2^1445805-1 is not prime. Res64: 24CFDD08E47FD715 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:11:59] 955*2^1445805-1 is not prime. Res64: DD76259FB6C1D13F Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:00] 653*2^1445806-1 is not prime. Res64: 8D939E71DF8D0DFF Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:05] 695*2^1445806-1 is not prime. Res64: 29AB0FCCCC33D2CC Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:07] 773*2^1445806-1 is not prime. Res64: 065E587DC501D507 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:08] 825*2^1445806-1 is not prime. Res64: 05836511D5802BE6 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:08] 861*2^1445806-1 is not prime. Res64: 7FBD8B92F592AB8A Time : 0.0 sec. user=mdettweiler [2016-11-14 17:12:09] 975*2^1445806-1 is not prime. Res64: C7E110BE35436ADB Time : 0.0 sec. user=mdettweiler [2016-11-14 17:27:04] 711*2^1445807-1 is not prime. Res64: 7E58C05D0C18D3CD Time : 0.0 sec. user=mdettweiler [2016-11-14 17:27:04] 805*2^1445807-1 is not prime. Res64: 9DAFA90D6D539D8F Time : 0.0 sec. user=mdettweiler [2016-11-14 17:27:04] 841*2^1445807-1 is not prime. Res64: 12BE35DC9D6A63E9 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:27:05] 865*2^1445807-1 is not prime. Res64: 56FEE6A80BB043C9 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:27:05] 879*2^1445807-1 is not prime. Res64: 3A8BF733F12F4EBE Time : 0.0 sec. user=mdettweiler [2016-11-14 17:31:45] 605*2^1445808-1 is not prime. Res64: 4ECFEA5D4289F7B2 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:31:46] 723*2^1445808-1 is not prime. Res64: EC23985F9C23B9CB Time : 0.0 sec. user=mdettweiler [2016-11-14 17:31:46] 747*2^1445808-1 is not prime. Res64: 2A0B7E6DFFDC1086 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:31:47] 815*2^1445808-1 is not prime. Res64: 1FEF4A0135F8BEF6 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:31:47] 845*2^1445808-1 is not prime. Res64: 783EF4A75B61ED40 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:29] 705*2^1445809-1 is not prime. Res64: 502DC636C981C17E Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:29] 729*2^1445809-1 is not prime. Res64: 0B45B97E82F31564 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:30] 771*2^1445809-1 is not prime. Res64: C94E80F37D02583E Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:30] 801*2^1445809-1 is not prime. Res64: A7D0F3FC657071C8 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:31] 713*2^1445810-1 is not prime. Res64: B173141E0F43889E Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:37] 915*2^1445808-1 is not prime. Res64: 82049709148C0FEF Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:38] 999*2^1445808-1 is not prime. Res64: 0811A519DFD6C3AF Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:38] 639*2^1445809-1 is not prime. Res64: D2BF34B29759D930 Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:39] 649*2^1445809-1 is not prime. Res64: 7AF32F3C3B7D505D Time : 0.0 sec. user=mdettweiler [2016-11-14 17:57:39] 685*2^1445809-1 is not prime. Res64: D616128468D6BF49 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:11:57] 743*2^1445810-1 is not prime. Res64: CD935949FF1001C7 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:11:58] 753*2^1445810-1 is not prime. Res64: DCCAEAAA936C70E4 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:11:58] 875*2^1445810-1 is not prime. Res64: 5C62C0A9413544AA Time : 0.0 sec. user=mdettweiler [2016-11-14 18:11:59] 893*2^1445810-1 is not prime. Res64: 4D8660BB3DB432F2 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:11:59] 917*2^1445810-1 is not prime. Res64: FA75855A30386262 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:16:39] 669*2^1445811-1 is not prime. Res64: C1E45DD6DE7D5CB4 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:16:40] 783*2^1445811-1 is not prime. Res64: 18DAE512EB5FF063 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:16:40] 885*2^1445811-1 is not prime. Res64: D853360B8068E42D Time : 0.0 sec. user=mdettweiler [2016-11-14 18:16:41] 945*2^1445811-1 is not prime. Res64: C69AEF6C038F25F6 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:16:41] 955*2^1445811-1 is not prime. Res64: FB4F29CA8FF71384 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:29] 657*2^1445812-1 is not prime. Res64: 26970272F6784413 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:30] 689*2^1445812-1 is not prime. Res64: 536417D7F0EE6A8D Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:30] 929*2^1445812-1 is not prime. Res64: 0E49DEC9E5FC72C6 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:31] 965*2^1445812-1 is not prime. Res64: D5F3AB6B360E9B53 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:31] 651*2^1445813-1 is not prime. Res64: 79B1AD0C64F08036 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:36] 675*2^1445813-1 is not prime. Res64: 9BA599F5FDB9F6A9 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:37] 759*2^1445813-1 is not prime. Res64: 3EA317591F0E16DF Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:37] 829*2^1445813-1 is not prime. Res64: F298FCA2663C7967 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:38] 663*2^1445814-1 is not prime. Res64: 0B3635BF8476E5F5 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:42:38] 707*2^1445814-1 is not prime. Res64: 079C30FE7665EFA8 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:56:49] 885*2^1445814-1 is not prime. Res64: 16256CF5985F8B5F Time : 0.0 sec. user=mdettweiler [2016-11-14 18:56:49] 1001*2^1445814-1 is not prime. Res64: 7A65AE9D4C6F78EF Time : 0.0 sec. user=mdettweiler [2016-11-14 18:56:50] 793*2^1445815-1 is not prime. Res64: 8D71EC89A670EC7C Time : 0.0 sec. user=mdettweiler [2016-11-14 18:56:50] 819*2^1445815-1 is not prime. Res64: EB16DA288C8709B0 Time : 0.0 sec. user=mdettweiler [2016-11-14 18:56:51] 841*2^1445815-1 is not prime. Res64: F92A9585D8943E95 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:01:32] 895*2^1445815-1 is not prime. Res64: CB2D6B02D1C0D7B4 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:01:33] 973*2^1445815-1 is not prime. Res64: 98BAF71DD4645305 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:01:34] 617*2^1445816-1 is not prime. Res64: 7A019E08BD2FC43B Time : 0.0 sec. user=mdettweiler [2016-11-14 19:01:35] 629*2^1445816-1 is not prime. Res64: CB076FBB5A250E11 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:01:36] 645*2^1445816-1 is not prime. Res64: 3C96E69DF5D662A1 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:25] 885*2^1445817-1 is not prime. Res64: 6B3D60C6DD56E443 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:26] 605*2^1445818-1 is not prime. Res64: 01DEE0618E397F08 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:26] 647*2^1445818-1 is not prime. Res64: 918F93A455155D6E Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:26] 665*2^1445818-1 is not prime. Res64: 50856DDD27BD5377 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:27] 677*2^1445818-1 is not prime. Res64: 4B5308F181F94085 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:27] 735*2^1445816-1 is not prime. Res64: 5305E6032BC6F756 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:27] 827*2^1445816-1 is not prime. Res64: C1F9323B7A7C9075 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:28] 927*2^1445816-1 is not prime. Res64: EB6DB5F820304574 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:28] 999*2^1445816-1 is not prime. Res64: 495B742C48E82464 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:27:29] 717*2^1445817-1 is not prime. Res64: 23975E063CF35F9B Time : 0.0 sec. user=mdettweiler [2016-11-14 19:41:35] 735*2^1445818-1 is not prime. Res64: D7B9E7A9A8921511 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:41:35] 603*2^1445819-1 is not prime. Res64: 4036BD6EA8478571 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:41:36] 789*2^1445819-1 is not prime. Res64: E0E843F7209DBAF2 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:41:36] 861*2^1445819-1 is not prime. Res64: 3EDA1CA22C002640 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:41:37] 879*2^1445819-1 is not prime. Res64: 381C9280F1AAF093 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:46:34] 921*2^1445819-1 is not prime. Res64: C4017B6D51CD615C Time : 0.0 sec. user=mdettweiler [2016-11-14 19:46:35] 969*2^1445819-1 is not prime. Res64: 354C9C86401B0524 Time : 0.0 sec. user=mdettweiler [2016-11-14 19:46:35] 973*2^1445819-1 is not prime. Res64: 34EEDBED597B6FFE Time : 0.0 sec. user=mdettweiler [2016-11-14 19:46:35] 985*2^1445819-1 is not prime. Res64: F795AC0F4344233B Time : 0.0 sec. user=mdettweiler [2016-11-14 19:46:36] 609*2^1445820-1 is not prime. Res64: 2677D5A4EAB641E0 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:19] 647*2^1445820-1 is not prime. Res64: E8C613F809DAF6A5 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:22] 689*2^1445820-1 is not prime. Res64: 8F910DDA844CA613 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:24] 777*2^1445820-1 is not prime. Res64: 22F1CA7820FC2D6B Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:25] 843*2^1445820-1 is not prime. Res64: ADF5E5351BBC630A Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:26] 795*2^1445820-1 is not prime. Res64: D3E47EB799BBDBDE Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:27] 905*2^1445820-1 is not prime. Res64: F6EE242E7D866AB4 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:28] 825*2^1445820-1 is not prime. Res64: 94750AD24A6CE084 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:28] 639*2^1445821-1 is not prime. Res64: 99BBA191EC2F8095 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:29] 771*2^1445821-1 is not prime. Res64: 4896EFE2230066BE Time : 0.0 sec. user=mdettweiler [2016-11-14 20:12:31] 817*2^1445821-1 is not prime. Res64: C6F5F76967D7C235 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:26:26] 859*2^1445821-1 is not prime. Res64: 8E5D3328CEA95CFA Time : 0.0 sec. user=mdettweiler [2016-11-14 20:26:27] 997*2^1445821-1 is not prime. Res64: E7785F99DD26DF3D Time : 0.0 sec. user=mdettweiler [2016-11-14 20:26:27] 999*2^1445821-1 is not prime. Res64: 99033400560B708B Time : 0.0 sec. user=mdettweiler [2016-11-14 20:26:27] 705*2^1445822-1 is not prime. Res64: B0F3BB64D5C550D0 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:26:28] 755*2^1445822-1 is not prime. Res64: 3293C577785168AF Time : 0.0 sec. user=mdettweiler [2016-11-14 20:31:26] 827*2^1445822-1 is not prime. Res64: DD3A90CBD9A8A733 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:31:27] 875*2^1445822-1 is not prime. Res64: 24BE24D6485B01CA Time : 0.0 sec. user=mdettweiler [2016-11-14 20:31:27] 963*2^1445822-1 is not prime. Res64: EC9DCCCB29E07364 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:31:28] 977*2^1445822-1 is not prime. Res64: DB5CD9D7EF26F55E Time : 0.0 sec. user=mdettweiler [2016-11-14 20:31:29] 981*2^1445822-1 is not prime. Res64: B7F7087101A9A6D5 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:30] 983*2^1445822-1 is not prime. Res64: 5CFAF8CAF90380AB Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:30] 675*2^1445823-1 is not prime. Res64: B48FC3906BC87507 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:31] 691*2^1445823-1 is not prime. Res64: D3D2728B896B43B7 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:31] 751*2^1445823-1 is not prime. Res64: FA96D0D6710D2E17 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:31] 829*2^1445823-1 is not prime. Res64: BE60358C1C6B646A Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:35] 885*2^1445823-1 is not prime. Res64: 4DCDB3865ABD2550 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:35] 843*2^1445824-1 is not prime. Res64: 1D829E61B3322BF9 Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:35] 657*2^1445825-1 is not prime. Res64: 17BB673FB3B9CE6D Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:36] 727*2^1445825-1 is not prime. Res64: 8D61683A7AB7693E Time : 0.0 sec. user=mdettweiler [2016-11-14 20:57:36] 759*2^1445825-1 is not prime. Res64: 180501AA23E61F0F Time : 0.0 sec. user=mdettweiler [2016-11-14 21:11:16] 771*2^1445825-1 is not prime. Res64: 814538ED36A45841 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:11:17] 777*2^1445825-1 is not prime. Res64: 592133B2C5B8DBE6 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:11:17] 781*2^1445825-1 is not prime. Res64: 0B8819C21BAE6D95 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:11:18] 861*2^1445825-1 is not prime. Res64: 35CE555C27E01FD7 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:11:18] 885*2^1445825-1 is not prime. Res64: DB564B835C084D5B Time : 0.0 sec. user=mdettweiler [2016-11-14 21:16:27] 951*2^1445825-1 is not prime. Res64: 4CA9C8ECEDE48A99 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:16:28] 991*2^1445825-1 is not prime. Res64: 4B5C09CAE39E2E88 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:16:29] 671*2^1445826-1 is not prime. Res64: 0167191360E680B0 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:16:30] 765*2^1445826-1 is not prime. Res64: 085AA4335E451A69 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:16:31] 807*2^1445826-1 is not prime. Res64: 9C4108F9D343D95D Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:29] 601*2^1445827-1 is not prime. Res64: BDE878DF269BBA4C Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:29] 893*2^1445826-1 is not prime. Res64: 177B89B7A68417C5 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 615*2^1445827-1 is not prime. Res64: 4669B7564ED284C6 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 903*2^1445826-1 is not prime. Res64: 9DDCFD5BE69EDB19 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 673*2^1445827-1 is not prime. Res64: C49EBF95EAAAD40A Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 933*2^1445826-1 is not prime. Res64: 4EF2639E57077757 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 681*2^1445827-1 is not prime. Res64: 697E80582B3548D1 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:30] 993*2^1445826-1 is not prime. Res64: 5EE07DD8FE3D53EE Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:31] 699*2^1445827-1 is not prime. Res64: 00EE5843ADA19D57 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:42:31] 1001*2^1445826-1 is not prime. Res64: D5333670320B8D7F Time : 0.0 sec. user=mdettweiler [2016-11-14 21:56:20] 829*2^1445827-1 is not prime. Res64: 8AB09E9393EAD5B1 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:56:20] 951*2^1445827-1 is not prime. Res64: D3BE90FE87F569F9 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:56:20] 979*2^1445827-1 is not prime. Res64: 587DADB197419334 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:56:21] 725*2^1445828-1 is not prime. Res64: 5B428E52D2365555 Time : 0.0 sec. user=mdettweiler [2016-11-14 21:56:21] 813*2^1445828-1 is not prime. Res64: 4D0F9D4E72D3867A Time : 0.0 sec. user=mdettweiler [2016-11-14 22:01:45] 953*2^1445828-1 is not prime. Res64: 2420D23486A6AFFD Time : 0.0 sec. user=mdettweiler [2016-11-14 22:01:46] 963*2^1445828-1 is not prime. Res64: 19F7E05DD27BA72E Time : 0.0 sec. user=mdettweiler [2016-11-14 22:01:47] 831*2^1445829-1 is not prime. Res64: 7D8F0DB83AF7CA6F Time : 0.0 sec. user=mdettweiler [2016-11-14 22:01:48] 961*2^1445829-1 is not prime. Res64: 58AD9393FDF02A73 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:01:49] 991*2^1445829-1 is not prime. Res64: 4A18921FDECB40C1 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:35] 741*2^1445830-1 is not prime. Res64: BA7079D615C59B02 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:35] 777*2^1445830-1 is not prime. Res64: 12F369000757309A Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:36] 791*2^1445830-1 is not prime. Res64: 994B32A7A207FD4E Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:36] 833*2^1445830-1 is not prime. Res64: 0EDD3E8BDB939A64 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:37] 857*2^1445830-1 is not prime. Res64: CD64B09BEF96D96D Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:39] 867*2^1445830-1 is not prime. Res64: D25E420EB5D7B28B Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:40] 945*2^1445830-1 is not prime. Res64: 7443FAC7D9FEAD1D Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:40] 603*2^1445831-1 is not prime. Res64: DD02317DB2F31770 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:41] 753*2^1445831-1 is not prime. Res64: 9D26301B3FA268C2 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:27:41] 789*2^1445831-1 is not prime. Res64: 97E809DEFB1B5668 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:41:20] 825*2^1445831-1 is not prime. Res64: 4ADD24A6BF36C91D Time : 0.0 sec. user=mdettweiler [2016-11-14 22:41:20] 883*2^1445831-1 is not prime. Res64: 3C9DC574B91309C7 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:41:21] 633*2^1445832-1 is not prime. Res64: D386782F56053DAB Time : 0.0 sec. user=mdettweiler [2016-11-14 22:41:21] 725*2^1445832-1 is not prime. Res64: 14AFCCC21E7027E9 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:41:21] 957*2^1445832-1 is not prime. Res64: 5FF90761BCE4C53B Time : 0.0 sec. user=mdettweiler [2016-11-14 22:46:51] 977*2^1445832-1 is not prime. Res64: F180168E861FAD44 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:46:51] 609*2^1445833-1 is not prime. Res64: 36776E12E52D4CB9 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:46:52] 615*2^1445833-1 is not prime. Res64: 2C4BB93C7A74541E Time : 0.0 sec. user=mdettweiler [2016-11-14 22:46:52] 619*2^1445833-1 is not prime. Res64: 7CA4E0C0229265E6 Time : 0.0 sec. user=mdettweiler [2016-11-14 22:46:52] 741*2^1445833-1 is not prime. Res64: F4E8C1A60A972971 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:23] 801*2^1445833-1 is not prime. Res64: 3D2E164FE2C8DED4 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:24] 805*2^1445833-1 is not prime. Res64: F006EC5819100962 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:24] 829*2^1445833-1 is not prime. Res64: E898234CADFB66BC Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:25] 831*2^1445833-1 is not prime. Res64: 215EBFB4D97483AC Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:25] 987*2^1445833-1 is not prime. Res64: ADB6C5D8BD324F54 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:51] 615*2^1445834-1 is not prime. Res64: 0E9346DC2BCEA3D5 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:51] 791*2^1445834-1 is not prime. Res64: 69147F80C6AA3E1E Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:52] 797*2^1445834-1 is not prime. Res64: BFDA8B3938E9EF05 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:52] 935*2^1445834-1 is not prime. Res64: 388900C91E348C4F Time : 0.0 sec. user=mdettweiler [2016-11-14 23:12:53] 957*2^1445834-1 is not prime. Res64: 55B92CE0B55A9EBC Time : 0.0 sec. user=mdettweiler [2016-11-14 23:26:20] 613*2^1445835-1 is not prime. Res64: E30F7E52A2F7BCE6 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:26:20] 705*2^1445835-1 is not prime. Res64: CEDBE2BF8472F2E5 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:26:21] 751*2^1445835-1 is not prime. Res64: AF43F2E17769A46E Time : 0.0 sec. user=mdettweiler [2016-11-14 23:26:30] 623*2^1445836-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-11-14 23:31:59] 663*2^1445836-1 is not prime. Res64: 51D7AB346D16C844 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:32:00] 707*2^1445836-1 is not prime. Res64: 9682A2F2A192DE5B Time : 0.0 sec. user=mdettweiler [2016-11-14 23:32:00] 717*2^1445836-1 is not prime. Res64: 52938481215B720E Time : 0.0 sec. user=mdettweiler [2016-11-14 23:32:01] 855*2^1445836-1 is not prime. Res64: A11B31CFEA9A5A57 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:32:01] 909*2^1445836-1 is not prime. Res64: AA9F839E04650F49 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:27] 953*2^1445836-1 is not prime. Res64: 445CD2D4BF7C5EC2 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:27] 993*2^1445836-1 is not prime. Res64: 07C6E982866C058F Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:28] 615*2^1445837-1 is not prime. Res64: B71519D883126155 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:28] 621*2^1445837-1 is not prime. Res64: 53C0BCF3F4F3271B Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:29] 627*2^1445837-1 is not prime. Res64: 0D303BBA4C55ED2A Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:57] 715*2^1445837-1 is not prime. Res64: A29E82DFAB05F967 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:57] 729*2^1445837-1 is not prime. Res64: 84D68B4092D47BBE Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:58] 741*2^1445837-1 is not prime. Res64: A13ECD9044D7C7E2 Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:58] 747*2^1445837-1 is not prime. Res64: 41F1485CD5CC88EB Time : 0.0 sec. user=mdettweiler [2016-11-14 23:58:59] 825*2^1445837-1 is not prime. Res64: 25DF2045004D796B Time : 0.0 sec.