user=mdettweiler [2016-11-04 00:15:18] 725*2^1444878-1 is not prime. Res64: FB9FD853191012DC Time : 0.0 sec. user=mdettweiler [2016-11-04 00:15:18] 747*2^1444878-1 is not prime. Res64: 67B4FA6BE921A118 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:15:19] 765*2^1444878-1 is not prime. Res64: 39D61E7EED634E5A Time : 0.0 sec. user=mdettweiler [2016-11-04 00:15:19] 927*2^1444878-1 is not prime. Res64: CBCC3758549E1E6D Time : 0.0 sec. user=mdettweiler [2016-11-04 00:15:20] 993*2^1444878-1 is not prime. Res64: 5AF44F057597A1B6 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:41:53] 759*2^1444879-1 is not prime. Res64: 171ABB287194B18B Time : 0.0 sec. user=mdettweiler [2016-11-04 00:41:54] 771*2^1444879-1 is not prime. Res64: 538FA63122C4973F Time : 0.0 sec. user=mdettweiler [2016-11-04 00:41:54] 831*2^1444879-1 is not prime. Res64: 2966A8684DB2B0B0 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:41:55] 843*2^1444879-1 is not prime. Res64: 7847E3D81DCA2DA1 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:41:55] 993*2^1444879-1 is not prime. Res64: 830ADE510AAD1538 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:45:34] 659*2^1444880-1 is not prime. Res64: 4589889FACDE261B Time : 0.0 sec. user=mdettweiler [2016-11-04 00:45:35] 665*2^1444880-1 is not prime. Res64: D74F7193D7B134D2 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:45:35] 773*2^1444880-1 is not prime. Res64: 60D0362EDE27A8E6 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:45:35] 795*2^1444880-1 is not prime. Res64: 7B122E5C510D00AE Time : 0.0 sec. user=mdettweiler [2016-11-04 00:45:36] 825*2^1444880-1 is not prime. Res64: 2295353AF9D4005A Time : 0.0 sec. user=mdettweiler [2016-11-04 00:48:41] 909*2^1444880-1 is not prime. Res64: FF12D346B9FD5DCB Time : 0.0 sec. user=mdettweiler [2016-11-04 00:48:42] 607*2^1444881-1 is not prime. Res64: 3DFA296705A9928A Time : 0.0 sec. user=mdettweiler [2016-11-04 00:48:42] 637*2^1444881-1 is not prime. Res64: 3F379C2427E29386 Time : 0.0 sec. user=mdettweiler [2016-11-04 00:48:42] 657*2^1444881-1 is not prime. Res64: 9DD7BF716B25A85C Time : 0.0 sec. user=mdettweiler [2016-11-04 00:48:43] 877*2^1444881-1 is not prime. Res64: 5D7DEF9A0CB6DF7B Time : 0.0 sec. user=mdettweiler [2016-11-04 01:04:10] 617*2^1444882-1 is not prime. Res64: 54053667F3BE98AE Time : 0.0 sec. user=mdettweiler [2016-11-04 01:04:12] 651*2^1444882-1 is not prime. Res64: 363197B7C65A888F Time : 0.0 sec. user=mdettweiler [2016-11-04 01:04:14] 815*2^1444882-1 is not prime. Res64: B49ED561ABDBCF31 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:04:15] 911*2^1444882-1 is not prime. Res64: 43973885E3833FA5 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:04:17] 987*2^1444882-1 is not prime. Res64: 1AFB5292D01C14D8 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:31:43] 859*2^1444883-1 is not prime. Res64: 6EF39509BFF78E19 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:31:49] 885*2^1444883-1 is not prime. Res64: F818C1717B3859F5 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:31:54] 707*2^1444884-1 is not prime. Res64: 118C7988BCED7084 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:31:59] 767*2^1444884-1 is not prime. Res64: 2B1D231C34B66F53 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:32:08] 783*2^1444884-1 is not prime. Res64: 713650DFC1F59297 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:35:50] 927*2^1444884-1 is not prime. Res64: 782B0709579B8738 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:35:56] 983*2^1444884-1 is not prime. Res64: 14BCCFF179504270 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:35:59] 675*2^1444885-1 is not prime. Res64: 9C9B68E05B6E9D15 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:36:03] 685*2^1444885-1 is not prime. Res64: C36411173BB807BE Time : 0.0 sec. user=mdettweiler [2016-11-04 01:36:05] 729*2^1444885-1 is not prime. Res64: EC7FB24A19662A8A Time : 0.0 sec. user=mdettweiler [2016-11-04 01:38:29] 855*2^1444885-1 is not prime. Res64: CB7C838D5711EDAA Time : 0.0 sec. user=mdettweiler [2016-11-04 01:38:32] 861*2^1444885-1 is not prime. Res64: 84F72CFA276FAD8A Time : 0.0 sec. user=mdettweiler [2016-11-04 01:38:35] 773*2^1444886-1 is not prime. Res64: E01212CC709543D0 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:38:36] 813*2^1444886-1 is not prime. Res64: 58A5AC95F89EEC13 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:38:40] 887*2^1444886-1 is not prime. Res64: D7668FC711BC96C4 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:54:07] 945*2^1444886-1 is not prime. Res64: 4F9D2212BDEFB329 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:54:08] 1001*2^1444886-1 is not prime. Res64: B84556192515ED9B Time : 0.0 sec. user=mdettweiler [2016-11-04 01:54:08] 615*2^1444887-1 is not prime. Res64: E5A969B17FADA637 Time : 0.0 sec. user=mdettweiler [2016-11-04 01:54:08] 619*2^1444887-1 is not prime. Res64: F48D37378587BA2D Time : 0.0 sec. user=mdettweiler [2016-11-04 01:54:09] 693*2^1444887-1 is not prime. Res64: 820B5D0370FFD081 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:22:19] 735*2^1444887-1 is not prime. Res64: F1588E8B980E3FDA Time : 0.0 sec. user=mdettweiler [2016-11-04 02:22:19] 739*2^1444887-1 is not prime. Res64: 6B5543A84F6906B7 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:22:20] 871*2^1444887-1 is not prime. Res64: 80BEA38A353DAD26 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:22:20] 879*2^1444887-1 is not prime. Res64: 19777EC95C49443A Time : 0.0 sec. user=mdettweiler [2016-11-04 02:22:21] 699*2^1444888-1 is not prime. Res64: D8A2A268D5ADF440 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:26:12] 743*2^1444888-1 is not prime. Res64: 7AF598E4AF35FBF7 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:26:12] 765*2^1444888-1 is not prime. Res64: D57994C7BE1BF201 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:26:13] 839*2^1444888-1 is not prime. Res64: 440D1386C426EBDE Time : 0.0 sec. user=mdettweiler [2016-11-04 02:26:13] 863*2^1444888-1 is not prime. Res64: AB1C9BB2A925B717 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:26:14] 657*2^1444889-1 is not prime. Res64: 86DE8E8784C7C74F Time : 0.0 sec. user=mdettweiler [2016-11-04 02:28:45] 675*2^1444889-1 is not prime. Res64: 2A5EBC98DE7C9AB3 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:28:46] 691*2^1444889-1 is not prime. Res64: 8A13642C2CB214C5 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:28:46] 769*2^1444889-1 is not prime. Res64: 11EA82F2A78D2F73 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:28:46] 799*2^1444889-1 is not prime. Res64: 56F8F271F7CD762F Time : 0.0 sec. user=mdettweiler [2016-11-04 02:28:47] 865*2^1444889-1 is not prime. Res64: 21E0E7939CFAF5D3 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:43:22] 889*2^1444889-1 is not prime. Res64: 8F1AFC5E1185B0C9 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:43:23] 949*2^1444889-1 is not prime. Res64: 646BD254D54F149D Time : 0.0 sec. user=mdettweiler [2016-11-04 02:43:23] 969*2^1444889-1 is not prime. Res64: C4D1C44920136FB0 Time : 0.0 sec. user=mdettweiler [2016-11-04 02:43:23] 647*2^1444890-1 is not prime. Res64: 4847CE03E794DDBA Time : 0.0 sec. user=mdettweiler [2016-11-04 02:43:24] 657*2^1444890-1 is not prime. Res64: 7536019F20BCCDFF Time : 0.0 sec. user=mdettweiler [2016-11-04 03:08:14] 717*2^1444890-1 is not prime. Res64: A0FD6640229517F9 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:08:15] 833*2^1444890-1 is not prime. Res64: 56BB82E674980C5B Time : 0.0 sec. user=mdettweiler [2016-11-04 03:08:16] 893*2^1444890-1 is not prime. Res64: 6DCC7B7D252013FF Time : 0.0 sec. user=mdettweiler [2016-11-04 03:08:16] 971*2^1444890-1 is not prime. Res64: 2628004AAF8CA613 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:08:17] 1001*2^1444890-1 is not prime. Res64: 8E35B8E6C34213BA Time : 0.0 sec. user=mdettweiler [2016-11-04 03:11:36] 685*2^1444891-1 is not prime. Res64: 83F030D910EE118E Time : 0.0 sec. user=mdettweiler [2016-11-04 03:11:37] 733*2^1444891-1 is not prime. Res64: CC010294ED75D326 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:11:38] 895*2^1444891-1 is not prime. Res64: 94C6D171FF6673B1 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:11:39] 913*2^1444891-1 is not prime. Res64: 8131664AD9B3F1EF Time : 0.0 sec. user=mdettweiler [2016-11-04 03:11:39] 979*2^1444891-1 is not prime. Res64: C3B308CCC1631D03 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:13:58] 999*2^1444891-1 is not prime. Res64: B20655603FDE04F9 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:13:59] 615*2^1444892-1 is not prime. Res64: 7A5DBDD8F34D2102 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:13:59] 629*2^1444892-1 is not prime. Res64: C120B74D0360D13C Time : 0.0 sec. user=mdettweiler [2016-11-04 03:14:00] 669*2^1444892-1 is not prime. Res64: D438A400A307FCC3 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:14:01] 735*2^1444892-1 is not prime. Res64: EB9E2C779836D9C9 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:29:03] 749*2^1444892-1 is not prime. Res64: 152424D11BDA6F6B Time : 0.0 sec. user=mdettweiler [2016-11-04 03:29:08] 897*2^1444892-1 is not prime. Res64: 3D92F87818073F1E Time : 0.0 sec. user=mdettweiler [2016-11-04 03:29:11] 929*2^1444892-1 is not prime. Res64: 0D191571FDED4F36 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:29:13] 691*2^1444893-1 is not prime. Res64: 4949B87DBE949AD8 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:29:14] 721*2^1444893-1 is not prime. Res64: 3839FF183136FA61 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:53:55] 789*2^1444893-1 is not prime. Res64: 784CB8B51A10AAA8 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:53:56] 885*2^1444893-1 is not prime. Res64: 2C948CCA5B2DFF27 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:53:57] 999*2^1444893-1 is not prime. Res64: 076FF90F49B2642A Time : 0.0 sec. user=mdettweiler [2016-11-04 03:54:00] 663*2^1444894-1 is not prime. Res64: 21702EA3C9C011D6 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:54:02] 681*2^1444894-1 is not prime. Res64: 38549325D1227A60 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:57:34] 791*2^1444894-1 is not prime. Res64: 917BA2C44EBB271C Time : 0.0 sec. user=mdettweiler [2016-11-04 03:57:35] 813*2^1444894-1 is not prime. Res64: 14192C62BE08FE89 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:57:36] 903*2^1444894-1 is not prime. Res64: 6E0834287ADF9E45 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:57:36] 917*2^1444894-1 is not prime. Res64: 10833867F22CFA22 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:57:37] 603*2^1444895-1 is not prime. Res64: B6314728C0BD85E8 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:59:38] 655*2^1444895-1 is not prime. Res64: BEF9998FA35DA975 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:59:40] 661*2^1444895-1 is not prime. Res64: ACFE571FA74B9B05 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:59:42] 823*2^1444895-1 is not prime. Res64: 4B8FE54A121B92A8 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:59:43] 885*2^1444895-1 is not prime. Res64: 0775BCB10FE90EE2 Time : 0.0 sec. user=mdettweiler [2016-11-04 03:59:45] 979*2^1444895-1 is not prime. Res64: FEF1C5D0872825C8 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:14:38] 985*2^1444895-1 is not prime. Res64: 0A0156345B16E9C0 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:14:41] 629*2^1444896-1 is not prime. Res64: 192F63B66DF0ACBC Time : 0.0 sec. user=mdettweiler [2016-11-04 04:14:46] 657*2^1444896-1 is not prime. Res64: B644306D6411EEB0 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:14:48] 669*2^1444896-1 is not prime. Res64: E02810098969F08B Time : 0.0 sec. user=mdettweiler [2016-11-04 04:14:54] 693*2^1444896-1 is not prime. Res64: E9D52D11DAA80A45 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:39:13] 879*2^1444896-1 is not prime. Res64: B0DF1AFC49E8672B Time : 0.0 sec. user=mdettweiler [2016-11-04 04:39:13] 909*2^1444896-1 is not prime. Res64: 118FBE009626530E Time : 0.0 sec. user=mdettweiler [2016-11-04 04:39:14] 923*2^1444896-1 is not prime. Res64: DD4CAEE004E34817 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:39:14] 927*2^1444896-1 is not prime. Res64: B8257C5191E43B6C Time : 0.0 sec. user=mdettweiler [2016-11-04 04:39:14] 999*2^1444896-1 is not prime. Res64: 16D8CB0113C1BB86 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:42:31] 651*2^1444897-1 is not prime. Res64: 1762BFE840F8AF7E Time : 0.0 sec. user=mdettweiler [2016-11-04 04:42:32] 699*2^1444897-1 is not prime. Res64: AAB427CEDC2F2804 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:42:32] 717*2^1444897-1 is not prime. Res64: 143CE1825F7722DC Time : 0.0 sec. user=mdettweiler [2016-11-04 04:42:33] 861*2^1444897-1 is not prime. Res64: 09C060DC06397CA6 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:42:33] 645*2^1444898-1 is not prime. Res64: 492DEE34768430EA Time : 0.0 sec. user=mdettweiler [2016-11-04 04:45:02] 665*2^1444898-1 is not prime. Res64: 1C2D556BC4D2110F Time : 0.0 sec. user=mdettweiler [2016-11-04 04:45:02] 771*2^1444898-1 is not prime. Res64: 65AA1F48899E598C Time : 0.0 sec. user=mdettweiler [2016-11-04 04:45:03] 813*2^1444898-1 is not prime. Res64: FB3938F3E0B8996C Time : 0.0 sec. user=mdettweiler [2016-11-04 04:45:03] 815*2^1444898-1 is not prime. Res64: 3C7ECF9C2EBB6F45 Time : 0.0 sec. user=mdettweiler [2016-11-04 04:45:03] 843*2^1444898-1 is not prime. Res64: ABDF9F78EE489DB2 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:00:34] 911*2^1444898-1 is not prime. Res64: CECD5D2DEEB3BA5E Time : 0.0 sec. user=mdettweiler [2016-11-04 05:00:35] 915*2^1444898-1 is not prime. Res64: 4C20E743A6EAB336 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:00:36] 963*2^1444898-1 is not prime. Res64: 83F14A378125D1A7 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:00:38] 971*2^1444898-1 is not prime. Res64: 088BB89A1D68790A Time : 0.0 sec. user=mdettweiler [2016-11-04 05:00:38] 615*2^1444899-1 is not prime. Res64: 2D59270B5F5DE208 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:24:59] 669*2^1444899-1 is not prime. Res64: 23E5B76BEE6C1F84 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:25:01] 735*2^1444899-1 is not prime. Res64: 7AA57CB5A8EDC66E Time : 0.0 sec. user=mdettweiler [2016-11-04 05:25:02] 919*2^1444899-1 is not prime. Res64: 24327369829A705D Time : 0.0 sec. user=mdettweiler [2016-11-04 05:25:03] 687*2^1444900-1 is not prime. Res64: 23FB4686053D52B5 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:25:03] 695*2^1444900-1 is not prime. Res64: BD76EEDB0ADC1868 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:28:20] 723*2^1444900-1 is not prime. Res64: 9D713536AF6109A6 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:28:21] 743*2^1444900-1 is not prime. Res64: 3BF6216E3B86644D Time : 0.0 sec. user=mdettweiler [2016-11-04 05:28:21] 765*2^1444900-1 is not prime. Res64: BF4EB7234A6551E6 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:28:22] 803*2^1444900-1 is not prime. Res64: 756F408E9BF52165 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:28:22] 875*2^1444900-1 is not prime. Res64: 52DA007D2C0FF0CD Time : 0.0 sec. user=mdettweiler [2016-11-04 05:30:58] 905*2^1444900-1 is not prime. Res64: 9EE8D077A67846E4 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:30:58] 619*2^1444901-1 is not prime. Res64: 573D05474E779394 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:30:58] 631*2^1444901-1 is not prime. Res64: ADB893CD013422BB Time : 0.0 sec. user=mdettweiler [2016-11-04 05:30:59] 717*2^1444901-1 is not prime. Res64: DDEF37A3915EE59C Time : 0.0 sec. user=mdettweiler [2016-11-04 05:30:59] 735*2^1444901-1 is not prime. Res64: 1E63080D4842F4D6 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:46:20] 885*2^1444901-1 is not prime. Res64: E0D5C3D2D54C9B92 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:46:20] 615*2^1444902-1 is not prime. Res64: C95021567834A617 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:46:21] 671*2^1444902-1 is not prime. Res64: DF9A1CA91026779D Time : 0.0 sec. user=mdettweiler [2016-11-04 05:46:21] 747*2^1444902-1 is not prime. Res64: 889A665CAB5DDD05 Time : 0.0 sec. user=mdettweiler [2016-11-04 05:46:22] 797*2^1444902-1 is not prime. Res64: 5807638C4E02F755 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:10:01] 801*2^1444902-1 is not prime. Res64: 9AD76CFAD372B46C Time : 0.0 sec. user=mdettweiler [2016-11-04 06:10:04] 941*2^1444902-1 is not prime. Res64: EE69133F5D34A42C Time : 0.0 sec. user=mdettweiler [2016-11-04 06:10:06] 1001*2^1444902-1 is not prime. Res64: 7D6928D741E21D64 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:10:09] 681*2^1444903-1 is not prime. Res64: A77502526EB667AE Time : 0.0 sec. user=mdettweiler [2016-11-04 06:10:12] 771*2^1444903-1 is not prime. Res64: B5A6025A7BBD1A0F Time : 0.0 sec. user=mdettweiler [2016-11-04 06:13:20] 811*2^1444903-1 is not prime. Res64: C19CB9AA431DB14C Time : 0.0 sec. user=mdettweiler [2016-11-04 06:13:21] 853*2^1444903-1 is not prime. Res64: D28777140CD10CA4 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:13:22] 939*2^1444903-1 is not prime. Res64: 5A5748607E95EB2B Time : 0.0 sec. user=mdettweiler [2016-11-04 06:13:23] 617*2^1444904-1 is not prime. Res64: 6140C39B87B74D4E Time : 0.0 sec. user=mdettweiler [2016-11-04 06:13:24] 785*2^1444904-1 is not prime. Res64: 70236BF2EDCBB8D2 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:15:51] 727*2^1444905-1 is not prime. Res64: 6F469AFEE45C0674 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:15:51] 811*2^1444905-1 is not prime. Res64: 85A319DDBCB1C1F3 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:15:52] 831*2^1444905-1 is not prime. Res64: 1879FAE95932D9EF Time : 0.0 sec. user=mdettweiler [2016-11-04 06:15:52] 955*2^1444905-1 is not prime. Res64: B8CFC2A3059C4D10 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:15:52] 999*2^1444905-1 is not prime. Res64: A40B2A1C30524776 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:31:12] 611*2^1444906-1 is not prime. Res64: F41528E69BFA0568 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:31:12] 657*2^1444906-1 is not prime. Res64: 548C11FAF7EB1ABC Time : 0.0 sec. user=mdettweiler [2016-11-04 06:31:12] 717*2^1444906-1 is not prime. Res64: 132106EA9D5ACE66 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:31:13] 755*2^1444906-1 is not prime. Res64: 855ACDACB5A4C4D8 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:31:13] 825*2^1444906-1 is not prime. Res64: 2094E8FA5598EC4F Time : 0.0 sec. user=mdettweiler [2016-11-04 06:55:33] 867*2^1444906-1 is not prime. Res64: 8D4D4F19865282B7 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:55:33] 619*2^1444907-1 is not prime. Res64: 351716D9E956F634 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:55:33] 675*2^1444907-1 is not prime. Res64: 446B9A514080E0E0 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:55:34] 711*2^1444907-1 is not prime. Res64: 4C7E90F9238BDEC2 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:55:34] 825*2^1444907-1 is not prime. Res64: 628812030487F829 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:58:36] 883*2^1444907-1 is not prime. Res64: 7E01221C3E3A0624 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:58:36] 985*2^1444907-1 is not prime. Res64: D91CA99ECF0F5F18 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:58:37] 991*2^1444907-1 is not prime. Res64: 2048FBAC1F61613F Time : 0.0 sec. user=mdettweiler [2016-11-04 06:58:37] 633*2^1444908-1 is not prime. Res64: E49D5913CA62F7A4 Time : 0.0 sec. user=mdettweiler [2016-11-04 06:58:38] 663*2^1444908-1 is not prime. Res64: 820E89A59E5AC548 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:00:50] 797*2^1444908-1 is not prime. Res64: FBEB971C541EA136 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:00:51] 819*2^1444908-1 is not prime. Res64: B1C8FDFE9C23039E Time : 0.0 sec. user=mdettweiler [2016-11-04 07:00:52] 887*2^1444908-1 is not prime. Res64: 011DE708E9E0E884 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:00:53] 741*2^1444909-1 is not prime. Res64: 6706EE65EA0F90D1 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:00:54] 885*2^1444909-1 is not prime. Res64: 4690B30E34CF9400 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:16:49] 939*2^1444909-1 is not prime. Res64: 831B43A27166A402 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:16:49] 999*2^1444909-1 is not prime. Res64: C21C3082A6A1EB73 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:16:50] 635*2^1444910-1 is not prime. Res64: 388269C0B6518C00 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:16:50] 645*2^1444910-1 is not prime. Res64: 9B4A2AACF8228387 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:16:50] 651*2^1444910-1 is not prime. Res64: 4A25C9CDB0F89AC3 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:41:30] 677*2^1444910-1 is not prime. Res64: A28BB1730D3C2E8F Time : 0.0 sec. user=mdettweiler [2016-11-04 07:41:31] 707*2^1444910-1 is not prime. Res64: A6BE87794568438A Time : 0.0 sec. user=mdettweiler [2016-11-04 07:41:31] 741*2^1444910-1 is not prime. Res64: 4A3B29CA0863AB38 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:41:32] 743*2^1444910-1 is not prime. Res64: 93AEFA687230141D Time : 0.0 sec. user=mdettweiler [2016-11-04 07:41:32] 791*2^1444910-1 is not prime. Res64: D4BB58E5C2F80D9E Time : 0.0 sec. user=mdettweiler [2016-11-04 07:45:06] 927*2^1444910-1 is not prime. Res64: 1052E1FA3EAD8817 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:45:11] 953*2^1444910-1 is not prime. Res64: B15E6A4DD9695D84 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:45:13] 609*2^1444911-1 is not prime. Res64: 23AD81ACC6F9B846 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:45:14] 615*2^1444911-1 is not prime. Res64: 0A4630789858B569 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:45:15] 639*2^1444911-1 is not prime. Res64: B0632D322827AB8E Time : 0.0 sec. user=mdettweiler [2016-11-04 07:47:17] 751*2^1444911-1 is not prime. Res64: B06AF21F500A64FD Time : 0.0 sec. user=mdettweiler [2016-11-04 07:47:17] 775*2^1444911-1 is not prime. Res64: FF222C74C778C740 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:47:18] 829*2^1444911-1 is not prime. Res64: DBDD90E6FBAD6E69 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:47:18] 859*2^1444911-1 is not prime. Res64: 84ADB2E11BEED201 Time : 0.0 sec. user=mdettweiler [2016-11-04 07:47:18] 629*2^1444912-1 is not prime. Res64: A2DB37539B41375B Time : 0.0 sec. user=mdettweiler [2016-11-04 08:02:59] 833*2^1444912-1 is not prime. Res64: 77C815E01D6FC74A Time : 0.0 sec. user=mdettweiler [2016-11-04 08:03:00] 855*2^1444912-1 is not prime. Res64: DBC4956677CF6010 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:03:00] 957*2^1444912-1 is not prime. Res64: 6A911FA14E744820 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:03:01] 975*2^1444912-1 is not prime. Res64: 6CA758B478A39333 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:03:02] 983*2^1444912-1 is not prime. Res64: 4EDE06E68119F58B Time : 0.0 sec. user=mdettweiler [2016-11-04 08:30:39] 619*2^1444913-1 is not prime. Res64: F25B5C262208E61C Time : 0.0 sec. user=mdettweiler [2016-11-04 08:30:39] 651*2^1444913-1 is not prime. Res64: 432A085EF6E41FE7 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:30:39] 685*2^1444913-1 is not prime. Res64: 1BFE4A24D3AB25A2 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:30:39] 771*2^1444913-1 is not prime. Res64: ED6568332E99994A Time : 0.0 sec. user=mdettweiler [2016-11-04 08:30:40] 605*2^1444914-1 is not prime. Res64: 82245CCDF109CBFD Time : 0.0 sec. user=mdettweiler [2016-11-04 08:35:34] 651*2^1444914-1 is not prime. Res64: 90EB57822B433952 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:35:34] 683*2^1444914-1 is not prime. Res64: F9A97793EF2466C5 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:35:37] 695*2^1444914-1 is not prime. Res64: B7F4C07F061B48FC Time : 0.0 sec. user=mdettweiler [2016-11-04 08:35:37] 791*2^1444914-1 is not prime. Res64: C5060BC2C457457A Time : 0.0 sec. user=mdettweiler [2016-11-04 08:35:38] 941*2^1444914-1 is not prime. Res64: E054F5B6B61A6E12 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:38:08] 1001*2^1444914-1 is not prime. Res64: 6733516B9FA8B3D8 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:38:09] 633*2^1444915-1 is not prime. Res64: 16B70EBECF862A78 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:38:09] 673*2^1444915-1 is not prime. Res64: 28316512374F8699 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:38:10] 819*2^1444915-1 is not prime. Res64: E771E23A19A3739B Time : 0.0 sec. user=mdettweiler [2016-11-04 08:38:10] 895*2^1444915-1 is not prime. Res64: 540AEED7CABB180C Time : 0.0 sec. user=mdettweiler [2016-11-04 08:55:37] 915*2^1444915-1 is not prime. Res64: 92FF47416E8A4F02 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:55:38] 951*2^1444915-1 is not prime. Res64: 06DC9344BC34801D Time : 0.0 sec. user=mdettweiler [2016-11-04 08:55:38] 633*2^1444916-1 is not prime. Res64: E6B53441063B449E Time : 0.0 sec. user=mdettweiler [2016-11-04 08:55:38] 647*2^1444916-1 is not prime. Res64: 12647F62172FBD41 Time : 0.0 sec. user=mdettweiler [2016-11-04 08:55:39] 837*2^1444916-1 is not prime. Res64: D5BB53823BAA9990 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:19:51] 869*2^1444916-1 is not prime. Res64: 54F1CFED18EB9A7E Time : 0.0 sec. user=mdettweiler [2016-11-04 09:19:51] 909*2^1444916-1 is not prime. Res64: E889BDB0791B491A Time : 0.0 sec. user=mdettweiler [2016-11-04 09:19:52] 999*2^1444916-1 is not prime. Res64: ACBD731DE6A2092C Time : 0.0 sec. user=mdettweiler [2016-11-04 09:19:52] 675*2^1444917-1 is not prime. Res64: 1F3237BC8426BD4D Time : 0.0 sec. user=mdettweiler [2016-11-04 09:19:53] 777*2^1444917-1 is not prime. Res64: 33DC33E11EAA867C Time : 0.0 sec. user=mdettweiler [2016-11-04 09:23:47] 915*2^1444917-1 is not prime. Res64: 60439AA327322610 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:23:47] 961*2^1444917-1 is not prime. Res64: A9021D6D72D7D2F4 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:23:47] 617*2^1444918-1 is not prime. Res64: 06317A30106C9390 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:23:48] 651*2^1444918-1 is not prime. Res64: F8926132BE10073A Time : 0.0 sec. user=mdettweiler [2016-11-04 09:23:48] 713*2^1444918-1 is not prime. Res64: 51D24DB8AFFCF576 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:26:08] 743*2^1444918-1 is not prime. Res64: 18930716B8CDB6D3 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:26:09] 1001*2^1444918-1 is not prime. Res64: 7F73CC3088918B0C Time : 0.0 sec. user=mdettweiler [2016-11-04 09:26:09] 675*2^1444919-1 is not prime. Res64: 7FF2F3CB34B124F4 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:26:10] 685*2^1444919-1 is not prime. Res64: B091B3E7AC539409 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:26:10] 759*2^1444919-1 is not prime. Res64: B101B84B9F727B1F Time : 0.0 sec. user=mdettweiler [2016-11-04 09:41:21] 775*2^1444919-1 is not prime. Res64: 8E317D1A013D672C Time : 0.0 sec. user=mdettweiler [2016-11-04 09:41:21] 813*2^1444919-1 is not prime. Res64: 667A8BC8BED8B03E Time : 0.0 sec. user=mdettweiler [2016-11-04 09:41:21] 853*2^1444919-1 is not prime. Res64: 3D30CBDBC1F57CB1 Time : 0.0 sec. user=mdettweiler [2016-11-04 09:41:22] 865*2^1444919-1 is not prime. Res64: F4751214A1248E8F Time : 0.0 sec. user=mdettweiler [2016-11-04 09:41:22] 629*2^1444920-1 is not prime. Res64: BA915D1B56926839 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:05:15] 669*2^1444920-1 is not prime. Res64: 793789ED80642C61 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:05:16] 845*2^1444920-1 is not prime. Res64: D61F3F183CD37DD9 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:05:18] 915*2^1444920-1 is not prime. Res64: 0055B2115329C204 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:05:20] 675*2^1444921-1 is not prime. Res64: 73795A89F52561F9 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:05:22] 967*2^1444921-1 is not prime. Res64: E8731F7937343CEF Time : 0.0 sec. user=mdettweiler [2016-11-04 10:08:46] 979*2^1444921-1 is not prime. Res64: 81A1B2E435284ECB Time : 0.0 sec. user=mdettweiler [2016-11-04 10:08:54] 671*2^1444922-1 is not prime. Res64: 0E72C38D18DBF293 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:08:59] 731*2^1444922-1 is not prime. Res64: BF3D89F2E48A277A Time : 0.0 sec. user=mdettweiler [2016-11-04 10:09:03] 755*2^1444922-1 is not prime. Res64: 3DD854BE00427602 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:09:09] 771*2^1444922-1 is not prime. Res64: 40D69C7334B36B8B Time : 0.0 sec. user=mdettweiler [2016-11-04 10:11:16] 953*2^1444922-1 is not prime. Res64: 3D04B6F4F7275707 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:11:19] 735*2^1444923-1 is not prime. Res64: 3DEBAD69FAB0D0E5 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:11:21] 753*2^1444923-1 is not prime. Res64: 95C58B083E3D1593 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:11:22] 765*2^1444923-1 is not prime. Res64: 8FC047A8911FBB38 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:11:24] 963*2^1444923-1 is not prime. Res64: 68B034F61D7FE1CA Time : 0.0 sec. user=mdettweiler [2016-11-04 10:26:16] 843*2^1444924-1 is not prime. Res64: 00B951D5D815ADB9 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:26:16] 929*2^1444924-1 is not prime. Res64: F26DA12A67461C99 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:26:17] 965*2^1444924-1 is not prime. Res64: 0508693BBD80E319 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:26:17] 645*2^1444925-1 is not prime. Res64: 651D0DE379B0A487 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:26:17] 675*2^1444925-1 is not prime. Res64: C2FC7300CCCA2CBA Time : 0.0 sec. user=mdettweiler [2016-11-04 10:50:34] 685*2^1444925-1 is not prime. Res64: C30C6CC5FEAF32F6 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:50:34] 787*2^1444925-1 is not prime. Res64: EB38BC98130F4E29 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:50:34] 885*2^1444925-1 is not prime. Res64: 5DDE939CFC3317D2 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:50:35] 641*2^1444926-1 is not prime. Res64: F60AAD7B2544BEB5 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:50:35] 705*2^1444926-1 is not prime. Res64: 81737BE0210EC4BA Time : 0.0 sec. user=mdettweiler [2016-11-04 10:54:31] 755*2^1444926-1 is not prime. Res64: 7BFBC975195ED767 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:54:32] 851*2^1444926-1 is not prime. Res64: 0EE45F658CA196FE Time : 0.0 sec. user=mdettweiler [2016-11-04 10:54:32] 703*2^1444927-1 is not prime. Res64: A1068EF1773B57DF Time : 0.0 sec. user=mdettweiler [2016-11-04 10:54:32] 841*2^1444927-1 is not prime. Res64: 576F81FC3A8C1CEC Time : 0.0 sec. user=mdettweiler [2016-11-04 10:54:33] 901*2^1444927-1 is not prime. Res64: 0B602896689CAA4E Time : 0.0 sec. user=mdettweiler [2016-11-04 10:56:25] 961*2^1444927-1 is not prime. Res64: E3A3D488E5D75690 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:56:25] 975*2^1444927-1 is not prime. Res64: 015093050A7E242B Time : 0.0 sec. user=mdettweiler [2016-11-04 10:56:26] 979*2^1444927-1 is not prime. Res64: E4DA19EAF63B61E5 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:56:26] 657*2^1444928-1 is not prime. Res64: 7DC09E95D21FE953 Time : 0.0 sec. user=mdettweiler [2016-11-04 10:56:26] 827*2^1444928-1 is not prime. Res64: A14F5D7CC7388942 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:11:15] 855*2^1444928-1 is not prime. Res64: D09542000E5083E8 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:11:20] 959*2^1444928-1 is not prime. Res64: 30358058D42CE3E8 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:11:22] 615*2^1444929-1 is not prime. Res64: 1749D76AA7D43B58 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:11:24] 639*2^1444929-1 is not prime. Res64: BC8ACC4C8E1F077D Time : 0.0 sec. user=mdettweiler [2016-11-04 11:11:25] 691*2^1444929-1 is not prime. Res64: B3FDFC5ECC022B6B Time : 0.0 sec. user=mdettweiler [2016-11-04 11:36:14] 709*2^1444929-1 is not prime. Res64: B0A84E555093F3C4 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:36:14] 781*2^1444929-1 is not prime. Res64: A2D7E574B5BC5E14 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:36:14] 807*2^1444929-1 is not prime. Res64: 23497ED27516AC18 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:36:15] 867*2^1444929-1 is not prime. Res64: C2EDCC3AD31B8FBD Time : 0.0 sec. user=mdettweiler [2016-11-04 11:36:15] 891*2^1444929-1 is not prime. Res64: CBE6F2355F8275AB Time : 0.0 sec. user=mdettweiler [2016-11-04 11:40:18] 909*2^1444929-1 is not prime. Res64: EE268BCDAB6B42EF Time : 0.0 sec. user=mdettweiler [2016-11-04 11:40:18] 999*2^1444929-1 is not prime. Res64: CD38D4F31281E040 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:40:18] 677*2^1444930-1 is not prime. Res64: 704E3C6454B69A7D Time : 0.0 sec. user=mdettweiler [2016-11-04 11:40:19] 735*2^1444930-1 is not prime. Res64: 9506E3E13DBEEC04 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:40:19] 777*2^1444930-1 is not prime. Res64: BE82BFF4C16B51B3 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:41:58] 733*2^1444931-1 is not prime. Res64: FC040BBD62A9C1B4 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:41:58] 735*2^1444931-1 is not prime. Res64: 54A636C68067B95C Time : 0.0 sec. user=mdettweiler [2016-11-04 11:41:58] 741*2^1444931-1 is not prime. Res64: 884EECFA2540135C Time : 0.0 sec. user=mdettweiler [2016-11-04 11:41:59] 843*2^1444931-1 is not prime. Res64: F18F1B7CA5574180 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:41:59] 859*2^1444931-1 is not prime. Res64: A3A18C37D17DB5DA Time : 0.0 sec. user=mdettweiler [2016-11-04 11:57:44] 627*2^1444932-1 is not prime. Res64: 21C85DFE9845C4CE Time : 0.0 sec. user=mdettweiler [2016-11-04 11:57:45] 629*2^1444932-1 is not prime. Res64: 112F1259978ECB02 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:57:45] 863*2^1444932-1 is not prime. Res64: E833AF76ED000B44 Time : 0.0 sec. user=mdettweiler [2016-11-04 11:57:45] 893*2^1444932-1 is not prime. Res64: FC469071EFE9EB8F Time : 0.0 sec. user=mdettweiler [2016-11-04 11:57:46] 903*2^1444932-1 is not prime. Res64: 7789AF69F1F7D587 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:21:28] 945*2^1444932-1 is not prime. Res64: 06E252A5C0E99B3A Time : 0.0 sec. user=mdettweiler [2016-11-04 12:21:29] 957*2^1444932-1 is not prime. Res64: BE741A49DC13578A Time : 0.0 sec. user=mdettweiler [2016-11-04 12:21:29] 975*2^1444932-1 is not prime. Res64: 321EE9DB9CCCCFF2 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:21:30] 983*2^1444932-1 is not prime. Res64: EEDFEA1BDA6888A8 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:21:30] 729*2^1444933-1 is not prime. Res64: AA4DE2A45629022C Time : 0.0 sec. user=mdettweiler [2016-11-04 12:25:33] 747*2^1444933-1 is not prime. Res64: CA4E39D6E74D70CD Time : 0.0 sec. user=mdettweiler [2016-11-04 12:25:34] 831*2^1444933-1 is not prime. Res64: FE6FCFAFE2B580A8 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:25:34] 937*2^1444933-1 is not prime. Res64: 5CA1A9B03ED4E517 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:25:34] 957*2^1444933-1 is not prime. Res64: 2E98414097C7145D Time : 0.0 sec. user=mdettweiler [2016-11-04 12:25:35] 605*2^1444934-1 is not prime. Res64: EF4FD53F7094447A Time : 0.0 sec. user=mdettweiler [2016-11-04 12:26:58] 663*2^1444934-1 is not prime. Res64: 14E1D40B363BBF37 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:26:59] 687*2^1444934-1 is not prime. Res64: 4360941942EC9A72 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:27:00] 741*2^1444934-1 is not prime. Res64: 5193B482A518BA00 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:27:03] 773*2^1444934-1 is not prime. Res64: 6E3CF253600F6F66 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:27:04] 831*2^1444934-1 is not prime. Res64: 6B716FBC5043CC79 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:42:43] 833*2^1444934-1 is not prime. Res64: A7D676499D53ED2A Time : 0.0 sec. user=mdettweiler [2016-11-04 12:42:43] 885*2^1444934-1 is not prime. Res64: 3819AE6299EF5FC9 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:42:44] 897*2^1444934-1 is not prime. Res64: 5BD92B4C0ED30EC4 Time : 0.0 sec. user=mdettweiler [2016-11-04 12:42:44] 923*2^1444934-1 is not prime. Res64: 68EFE2C1EC92C70A Time : 0.0 sec. user=mdettweiler [2016-11-04 12:42:45] 935*2^1444934-1 is not prime. Res64: CB05E9D132154B85 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:06:32] 945*2^1444934-1 is not prime. Res64: DE3873A2981EA1C5 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:06:36] 705*2^1444935-1 is not prime. Res64: 3FB02D0D979CAF51 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:06:39] 885*2^1444935-1 is not prime. Res64: 5ABB01E14BDC8FAE Time : 0.0 sec. user=mdettweiler [2016-11-04 13:06:42] 933*2^1444935-1 is not prime. Res64: B9088F959CA91AF1 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:06:45] 961*2^1444935-1 is not prime. Res64: 01FDA3BB5294C5FD Time : 0.0 sec. user=mdettweiler [2016-11-04 13:10:32] 969*2^1444935-1 is not prime. Res64: 62D188F031EBB4BD Time : 0.0 sec. user=mdettweiler [2016-11-04 13:10:34] 973*2^1444935-1 is not prime. Res64: 01FBA4E54D461E89 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:10:37] 705*2^1444936-1 is not prime. Res64: 548F5FC311B96874 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:10:41] 849*2^1444936-1 is not prime. Res64: 7B1E5C13026FC1E4 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:10:43] 957*2^1444936-1 is not prime. Res64: F9773B86E8BBE4A6 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:12:14] 601*2^1444937-1 is not prime. Res64: 706C93EB97851515 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:12:15] 615*2^1444937-1 is not prime. Res64: 5C2974193C462522 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:12:16] 645*2^1444937-1 is not prime. Res64: 96DB2344B7A09D7D Time : 0.0 sec. user=mdettweiler [2016-11-04 13:12:17] 759*2^1444937-1 is not prime. Res64: 3C6A92978ADBB28E Time : 0.0 sec. user=mdettweiler [2016-11-04 13:12:18] 979*2^1444937-1 is not prime. Res64: 28160072000AEF0C Time : 0.0 sec. user=mdettweiler [2016-11-04 13:28:36] 605*2^1444938-1 is not prime. Res64: 37301616B420D7A1 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:28:36] 615*2^1444938-1 is not prime. Res64: 94560D131FE85161 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:28:37] 633*2^1444938-1 is not prime. Res64: 2D17517174EC8244 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:28:37] 641*2^1444938-1 is not prime. Res64: B4C08E7F509703A9 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:28:37] 681*2^1444938-1 is not prime. Res64: 260FD29317AC6A1F Time : 0.0 sec. user=mdettweiler [2016-11-04 13:52:48] 707*2^1444938-1 is not prime. Res64: 52119DCF4D5D9B32 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:52:48] 905*2^1444938-1 is not prime. Res64: 0AF3DFC5295AF2FE Time : 0.0 sec. user=mdettweiler [2016-11-04 13:52:49] 933*2^1444938-1 is not prime. Res64: 7D532C30C7F8C6A5 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:52:49] 1001*2^1444938-1 is not prime. Res64: 4F018B386DEE89A5 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:52:49] 601*2^1444939-1 is not prime. Res64: A9DB6E7D523963A6 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:56:34] 741*2^1444939-1 is not prime. Res64: 1CB5772DA1E73BCD Time : 0.0 sec. user=mdettweiler [2016-11-04 13:56:35] 759*2^1444939-1 is not prime. Res64: B342AC4D97E6A874 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:56:35] 873*2^1444939-1 is not prime. Res64: 1DD796AB8CB2F555 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:56:36] 883*2^1444939-1 is not prime. Res64: FF8E379495F0BD6D Time : 0.0 sec. user=mdettweiler [2016-11-04 13:56:36] 961*2^1444939-1 is not prime. Res64: 21052646895D79F4 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:58:05] 969*2^1444939-1 is not prime. Res64: 1C494C3E601721C5 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:58:05] 975*2^1444939-1 is not prime. Res64: 84DF8E030CDBD0AF Time : 0.0 sec. user=mdettweiler [2016-11-04 13:58:05] 635*2^1444940-1 is not prime. Res64: F2893F0EB5BB9435 Time : 0.0 sec. user=mdettweiler [2016-11-04 13:58:06] 669*2^1444940-1 is not prime. Res64: ADB7EF948870237B Time : 0.0 sec. user=mdettweiler [2016-11-04 13:58:06] 677*2^1444940-1 is not prime. Res64: 413E7AAAEBAD06DE Time : 0.0 sec. user=mdettweiler [2016-11-04 14:13:18] 707*2^1444940-1 is not prime. Res64: 62696EF0FF3EB118 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:13:19] 717*2^1444940-1 is not prime. Res64: F1FEB475B1A4C971 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:13:19] 753*2^1444940-1 is not prime. Res64: 6D7414D39EB685A6 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:13:20] 843*2^1444940-1 is not prime. Res64: F479D3E64F033D26 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:13:20] 923*2^1444940-1 is not prime. Res64: B560C53F70B80447 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:37:44] 661*2^1444941-1 is not prime. Res64: 2FAE17FD99E147EB Time : 0.0 sec. user=mdettweiler [2016-11-04 14:37:47] 727*2^1444941-1 is not prime. Res64: 63B9AF7361CB646A Time : 0.0 sec. user=mdettweiler [2016-11-04 14:37:49] 819*2^1444941-1 is not prime. Res64: BAE4C626AD7C8688 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:37:49] 825*2^1444941-1 is not prime. Res64: 05B5AE9B9DFFE07F Time : 0.0 sec. user=mdettweiler [2016-11-04 14:37:50] 861*2^1444941-1 is not prime. Res64: B17339393BA92985 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:41:39] 623*2^1444942-1 is not prime. Res64: EB5B27F4AB3A9145 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:41:40] 705*2^1444942-1 is not prime. Res64: 0EA82E3A46762FFC Time : 0.0 sec. user=mdettweiler [2016-11-04 14:41:40] 723*2^1444942-1 is not prime. Res64: 0C7A00FBE963E6B1 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:41:41] 831*2^1444942-1 is not prime. Res64: 69F1EFD0B9BE064F Time : 0.0 sec. user=mdettweiler [2016-11-04 14:41:41] 833*2^1444942-1 is not prime. Res64: 6CC72CB0E29F34FD Time : 0.0 sec. user=mdettweiler [2016-11-04 14:42:59] 873*2^1444942-1 is not prime. Res64: 1C9B41843ECE9F85 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:43:00] 951*2^1444942-1 is not prime. Res64: D1460C8FE422EA98 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:43:00] 995*2^1444942-1 is not prime. Res64: 624B022DF881737F Time : 0.0 sec. user=mdettweiler [2016-11-04 14:43:00] 615*2^1444943-1 is not prime. Res64: 1B1DC4D4FC93E727 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:43:01] 669*2^1444943-1 is not prime. Res64: E9B5EE3B06D32CF6 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:58:13] 741*2^1444943-1 is not prime. Res64: C3DBCEBEB31909F7 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:58:13] 775*2^1444943-1 is not prime. Res64: 74461BB656AC6362 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:58:13] 885*2^1444943-1 is not prime. Res64: 2F945F2EFE86E098 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:58:14] 969*2^1444943-1 is not prime. Res64: 60A395865E0D5AA8 Time : 0.0 sec. user=mdettweiler [2016-11-04 14:58:14] 815*2^1444944-1 is not prime. Res64: B58748E9805433BC Time : 0.0 sec. user=mdettweiler [2016-11-04 15:23:25] 915*2^1444944-1 is not prime. Res64: C3A8F725CEAD37F9 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:23:26] 923*2^1444944-1 is not prime. Res64: 9E35E7C98E06E01E Time : 0.0 sec. user=mdettweiler [2016-11-04 15:23:26] 927*2^1444944-1 is not prime. Res64: 650A3861AD12A031 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:23:26] 721*2^1444945-1 is not prime. Res64: BB4A5DED9D506FAD Time : 0.0 sec. user=mdettweiler [2016-11-04 15:23:27] 759*2^1444945-1 is not prime. Res64: AC06AEE128ED0BEA Time : 0.0 sec. user=mdettweiler [2016-11-04 15:27:41] 841*2^1444945-1 is not prime. Res64: FF3E36C17374B825 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:27:42] 847*2^1444945-1 is not prime. Res64: 516312FE6EA5DAAF Time : 0.0 sec. user=mdettweiler [2016-11-04 15:27:42] 855*2^1444945-1 is not prime. Res64: 7C27DAB3706E5DF7 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:27:42] 871*2^1444945-1 is not prime. Res64: 53BDAD481F90561B Time : 0.0 sec. user=mdettweiler [2016-11-04 15:27:43] 895*2^1444945-1 is not prime. Res64: F03B37B4C9D96EA5 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:28:45] 897*2^1444945-1 is not prime. Res64: 61A280DE8ADFF5C2 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:28:46] 937*2^1444945-1 is not prime. Res64: 308EBFEABAA1499C Time : 0.0 sec. user=mdettweiler [2016-11-04 15:28:46] 651*2^1444946-1 is not prime. Res64: F6B3F46B4A3E0813 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:28:47] 713*2^1444946-1 is not prime. Res64: 5A195397CF5ABDC2 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:28:47] 785*2^1444946-1 is not prime. Res64: 5B870033519A654D Time : 0.0 sec. user=mdettweiler [2016-11-04 15:44:02] 861*2^1444946-1 is not prime. Res64: 463D49909FDAB405 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:44:03] 921*2^1444946-1 is not prime. Res64: 6E2BC664085EF298 Time : 0.0 sec. user=mdettweiler [2016-11-04 15:44:03] 993*2^1444946-1 is not prime. Res64: 9CB43B38C275380C Time : 0.0 sec. user=mdettweiler [2016-11-04 15:44:04] 685*2^1444947-1 is not prime. Res64: ADBDD2AA9B96899E Time : 0.0 sec. user=mdettweiler [2016-11-04 15:44:04] 775*2^1444947-1 is not prime. Res64: 6F7A6A4D3FEF5285 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:08:32] 793*2^1444947-1 is not prime. Res64: 884384E2E3FAF41B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:08:35] 823*2^1444947-1 is not prime. Res64: 72FC24FC9683684B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:08:37] 891*2^1444947-1 is not prime. Res64: 0050E9126CF74163 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:08:40] 949*2^1444947-1 is not prime. Res64: 1AA3C7576284FB5B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:08:42] 951*2^1444947-1 is not prime. Res64: 13EE81B14C62E88B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:12:42] 955*2^1444947-1 is not prime. Res64: 275330E6887BF3C3 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:12:43] 979*2^1444947-1 is not prime. Res64: F4E0D581DF9C0D09 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:12:43] 855*2^1444948-1 is not prime. Res64: 2DE3421C861C6606 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:12:43] 655*2^1444949-1 is not prime. Res64: 24580355EE65C91B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:12:44] 735*2^1444949-1 is not prime. Res64: FB904B8F2A21EF06 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:13:46] 771*2^1444949-1 is not prime. Res64: A05E4D77A111FAE1 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:13:46] 787*2^1444949-1 is not prime. Res64: B5F41D9077223AAB Time : 0.0 sec. user=mdettweiler [2016-11-04 16:13:47] 837*2^1444949-1 is not prime. Res64: 0FD8A3E36F516DB3 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:13:47] 945*2^1444949-1 is not prime. Res64: 1464F2FDEFCA638D Time : 0.0 sec. user=mdettweiler [2016-11-04 16:13:47] 949*2^1444949-1 is not prime. Res64: 1629A76FB7709605 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:29:12] 677*2^1444950-1 is not prime. Res64: 135F9976BF7365CE Time : 0.0 sec. user=mdettweiler [2016-11-04 16:29:12] 713*2^1444950-1 is not prime. Res64: 5969F8DBEE3C5DDC Time : 0.0 sec. user=mdettweiler [2016-11-04 16:29:12] 797*2^1444950-1 is not prime. Res64: 2A5FB4024B029B08 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:29:13] 759*2^1444951-1 is not prime. Res64: C7E7298F7F74201F Time : 0.0 sec. user=mdettweiler [2016-11-04 16:29:13] 873*2^1444951-1 is not prime. Res64: D5F2FE4CEFBA181B Time : 0.0 sec. user=mdettweiler [2016-11-04 16:54:09] 931*2^1444951-1 is not prime. Res64: 0CDCEEACE0B8DAC9 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:54:09] 615*2^1444952-1 is not prime. Res64: 9A1BF1107382F6FA Time : 0.0 sec. user=mdettweiler [2016-11-04 16:54:10] 617*2^1444952-1 is not prime. Res64: 730B67EFFE53DA10 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:54:10] 669*2^1444952-1 is not prime. Res64: A0425200937B0AB7 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:54:11] 725*2^1444952-1 is not prime. Res64: DED44E5F83F807AF Time : 0.0 sec. user=mdettweiler [2016-11-04 16:57:53] 767*2^1444952-1 is not prime. Res64: 3C9BA5E79B61AF4D Time : 0.0 sec. user=mdettweiler [2016-11-04 16:57:53] 777*2^1444952-1 is not prime. Res64: 646E2AAAE31847F0 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:57:54] 797*2^1444952-1 is not prime. Res64: 2928E204BB9CF62D Time : 0.0 sec. user=mdettweiler [2016-11-04 16:57:54] 625*2^1444953-1 is not prime. Res64: E147E4406D2A51E6 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:57:55] 649*2^1444953-1 is not prime. Res64: 293CD0DFB1D7054F Time : 0.0 sec. user=mdettweiler [2016-11-04 16:58:49] 735*2^1444953-1 is not prime. Res64: F1A6F7A10FB70C0D Time : 0.0 sec. user=mdettweiler [2016-11-04 16:58:50] 759*2^1444953-1 is not prime. Res64: 8103413E10509251 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:58:50] 847*2^1444953-1 is not prime. Res64: E86FA6D051FA78E4 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:58:51] 849*2^1444953-1 is not prime. Res64: 10CEBAC6CBBB7BB8 Time : 0.0 sec. user=mdettweiler [2016-11-04 16:58:51] 877*2^1444953-1 is not prime. Res64: 06F89B1DB2B94A1F Time : 0.0 sec. user=mdettweiler [2016-11-04 17:15:04] 705*2^1444954-1 is not prime. Res64: 1D3C3A4C5E2DCB73 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:15:05] 765*2^1444954-1 is not prime. Res64: AB09AA6072CF9F00 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:15:06] 815*2^1444954-1 is not prime. Res64: DA3B326EFACE031C Time : 0.0 sec. user=mdettweiler [2016-11-04 17:15:06] 825*2^1444954-1 is not prime. Res64: 8CD00414E370EBEA Time : 0.0 sec. user=mdettweiler [2016-11-04 17:15:06] 855*2^1444954-1 is not prime. Res64: 53891FA2E5F3504B Time : 0.0 sec. user=mdettweiler [2016-11-04 17:39:42] 971*2^1444954-1 is not prime. Res64: 5C6984746F4F7FAD Time : 0.0 sec. user=mdettweiler [2016-11-04 17:39:43] 775*2^1444955-1 is not prime. Res64: 8D54CDE6E80641F1 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:39:43] 859*2^1444955-1 is not prime. Res64: 84F53E9A41600124 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:39:43] 669*2^1444956-1 is not prime. Res64: 34454EC0B6BBEF9A Time : 0.0 sec. user=mdettweiler [2016-11-04 17:39:44] 759*2^1444956-1 is not prime. Res64: A9FA98E377B695F9 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:43:33] 837*2^1444956-1 is not prime. Res64: A03FC896E20CA22C Time : 0.0 sec. user=mdettweiler [2016-11-04 17:43:33] 845*2^1444956-1 is not prime. Res64: 1094F25DC60C2C48 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:43:33] 875*2^1444956-1 is not prime. Res64: A54F1D10A5DAF069 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:43:34] 903*2^1444956-1 is not prime. Res64: 68118A370C9B0D3C Time : 0.0 sec. user=mdettweiler [2016-11-04 17:43:34] 609*2^1444957-1 is not prime. Res64: A88133DCA3A5CE3C Time : 0.0 sec. user=mdettweiler [2016-11-04 17:44:30] 727*2^1444957-1 is not prime. Res64: 9DBBAA62DA0FDF2C Time : 0.0 sec. user=mdettweiler [2016-11-04 17:44:31] 799*2^1444957-1 is not prime. Res64: 1232350B3B9973B6 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:44:31] 829*2^1444957-1 is not prime. Res64: E7083CF95B564018 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:44:31] 955*2^1444957-1 is not prime. Res64: C731FC24DC6DFBC0 Time : 0.0 sec. user=mdettweiler [2016-11-04 17:44:32] 957*2^1444957-1 is not prime. Res64: CF082AD432E066A0 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:00:04] 979*2^1444957-1 is not prime. Res64: 612061864CC2252B Time : 0.0 sec. user=mdettweiler [2016-11-04 18:00:04] 623*2^1444958-1 is not prime. Res64: 23931986676BECEC Time : 0.0 sec. user=mdettweiler [2016-11-04 18:00:05] 731*2^1444958-1 is not prime. Res64: E47AC6643857A5FB Time : 0.0 sec. user=mdettweiler [2016-11-04 18:00:05] 767*2^1444958-1 is not prime. Res64: 548A8E58E009090E Time : 0.0 sec. user=mdettweiler [2016-11-04 18:00:05] 921*2^1444958-1 is not prime. Res64: 7BFB7E5ABF81B325 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:24:38] 941*2^1444958-1 is not prime. Res64: 39B3E5C5967EE9EF Time : 0.0 sec. user=mdettweiler [2016-11-04 18:24:38] 693*2^1444959-1 is not prime. Res64: 03344433FA766B6F Time : 0.0 sec. user=mdettweiler [2016-11-04 18:24:39] 751*2^1444959-1 is not prime. Res64: DA18ED4B6FA6888E Time : 0.0 sec. user=mdettweiler [2016-11-04 18:24:39] 829*2^1444959-1 is not prime. Res64: BAAF82008D34CBFC Time : 0.0 sec. user=mdettweiler [2016-11-04 18:24:39] 933*2^1444959-1 is not prime. Res64: 9B019BE06DC11EF3 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:28:35] 635*2^1444960-1 is not prime. Res64: D57AE66C568396D8 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:28:36] 827*2^1444960-1 is not prime. Res64: 745F330F2B1FE324 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:28:36] 917*2^1444960-1 is not prime. Res64: 8B77DCE34D5D5005 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:28:36] 983*2^1444960-1 is not prime. Res64: FDDC39C425FF4498 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:28:37] 607*2^1444961-1 is not prime. Res64: F3A98647FDFA4B56 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:29:28] 627*2^1444961-1 is not prime. Res64: 3AA9E6AF39F104E0 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:29:28] 691*2^1444961-1 is not prime. Res64: 7C6C4880520857E2 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:29:29] 805*2^1444961-1 is not prime. Res64: DD70EDD830B82CF3 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:29:29] 855*2^1444961-1 is not prime. Res64: 91D5CE6199E0BA2A Time : 0.0 sec. user=mdettweiler [2016-11-04 18:29:29] 925*2^1444961-1 is not prime. Res64: B5588137A5536C23 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:45:04] 657*2^1444962-1 is not prime. Res64: F9D63670B17F538D Time : 0.0 sec. user=mdettweiler [2016-11-04 18:45:04] 717*2^1444962-1 is not prime. Res64: A6894EC568DC162D Time : 0.0 sec. user=mdettweiler [2016-11-04 18:45:05] 735*2^1444962-1 is not prime. Res64: 5E6F6D0FF6D5FD65 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:45:05] 755*2^1444962-1 is not prime. Res64: 4E86879FD16285D0 Time : 0.0 sec. user=mdettweiler [2016-11-04 18:45:05] 875*2^1444962-1 is not prime. Res64: 02F2D55223537080 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:09:30] 885*2^1444962-1 is not prime. Res64: DA97512A58AC2947 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:09:35] 893*2^1444962-1 is not prime. Res64: 459B7866CE756AF8 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:09:38] 923*2^1444962-1 is not prime. Res64: D36C7C357B3F781A Time : 0.0 sec. user=mdettweiler [2016-11-04 19:09:40] 941*2^1444962-1 is not prime. Res64: CF49772B4FDABDE1 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:09:42] 625*2^1444963-1 is not prime. Res64: 72EA1E41FC51CABB Time : 0.0 sec. user=mdettweiler [2016-11-04 19:13:31] 633*2^1444963-1 is not prime. Res64: 03BD1E09115859DA Time : 0.0 sec. user=mdettweiler [2016-11-04 19:13:31] 705*2^1444963-1 is not prime. Res64: 41201816A011E805 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:13:32] 723*2^1444963-1 is not prime. Res64: E3E8E2A8A59060B4 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:13:32] 805*2^1444963-1 is not prime. Res64: 7900FC74927FC4A3 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:13:32] 665*2^1444964-1 is not prime. Res64: 43784F9D04EDB652 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:14:41] 677*2^1444964-1 is not prime. Res64: 8C509C9F9784CD2B Time : 0.0 sec. user=mdettweiler [2016-11-04 19:14:41] 767*2^1444964-1 is not prime. Res64: 6477F3E387EA5CF1 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:14:41] 649*2^1444965-1 is not prime. Res64: 4DECEAFE9731AACB Time : 0.0 sec. user=mdettweiler [2016-11-04 19:14:42] 651*2^1444965-1 is not prime. Res64: BE1279A9792364C2 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:14:42] 831*2^1444965-1 is not prime. Res64: 33D8FD14F58EB601 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:30:32] 889*2^1444965-1 is not prime. Res64: CD8326376E7F5964 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:30:32] 927*2^1444965-1 is not prime. Res64: DAE3FE7A690022E9 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:30:33] 969*2^1444965-1 is not prime. Res64: 0FF19A3CA25D5AFD Time : 0.0 sec. user=mdettweiler [2016-11-04 19:30:33] 677*2^1444966-1 is not prime. Res64: 59077D9B21962EDD Time : 0.0 sec. user=mdettweiler [2016-11-04 19:30:34] 761*2^1444966-1 is not prime. Res64: F1E20B6384192360 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:55:54] 873*2^1444966-1 is not prime. Res64: 3706AC9D44263CE7 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:55:55] 923*2^1444966-1 is not prime. Res64: D074E6AC32FD5387 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:55:55] 987*2^1444966-1 is not prime. Res64: 49D3F2EAE1B857C8 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:55:56] 601*2^1444967-1 is not prime. Res64: DC1A5AB2EB521E0F Time : 0.0 sec. user=mdettweiler [2016-11-04 19:55:56] 663*2^1444967-1 is not prime. Res64: E6252C87F6BCE61E Time : 0.0 sec. user=mdettweiler [2016-11-04 19:58:58] 673*2^1444967-1 is not prime. Res64: 313D43CD656ED53C Time : 0.0 sec. user=mdettweiler [2016-11-04 19:58:59] 675*2^1444967-1 is not prime. Res64: A194B02D21BEED62 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:58:59] 715*2^1444967-1 is not prime. Res64: 196B59714E4D6BAE Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:00] 739*2^1444967-1 is not prime. Res64: 0A243538848F7FF4 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:00] 741*2^1444967-1 is not prime. Res64: 75B6D16A077119B6 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:56] 799*2^1444967-1 is not prime. Res64: 63796BB078FD637C Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:57] 825*2^1444967-1 is not prime. Res64: FAD377E4C3282C2A Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:57] 915*2^1444967-1 is not prime. Res64: 3FF9C7C60021A4CD Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:58] 931*2^1444967-1 is not prime. Res64: 347B3EBB14BC61F4 Time : 0.0 sec. user=mdettweiler [2016-11-04 19:59:58] 939*2^1444967-1 is not prime. Res64: 54DE8812AA8920FD Time : 0.0 sec. user=mdettweiler [2016-11-04 20:15:28] 605*2^1444968-1 is not prime. Res64: C2700C3167FD2ACF Time : 0.0 sec. user=mdettweiler [2016-11-04 20:15:29] 633*2^1444968-1 is not prime. Res64: 36C058D212DB2355 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:15:29] 825*2^1444968-1 is not prime. Res64: 6C7F7A58317E9C86 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:15:29] 843*2^1444968-1 is not prime. Res64: DCE511B2DA96DFD4 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:15:30] 849*2^1444968-1 is not prime. Res64: C0045729B6028329 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:40:51] 619*2^1444969-1 is not prime. Res64: 350F0702AA945071 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:40:52] 649*2^1444969-1 is not prime. Res64: 920CD84867596D50 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:40:52] 681*2^1444969-1 is not prime. Res64: 8C94389BE4BBE0CB Time : 0.0 sec. user=mdettweiler [2016-11-04 20:40:53] 705*2^1444969-1 is not prime. Res64: EB1A6588E0E28052 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:40:53] 765*2^1444969-1 is not prime. Res64: 20F114F90CA2EE6D Time : 0.0 sec. user=mdettweiler [2016-11-04 20:43:51] 775*2^1444969-1 is not prime. Res64: 9CEF805676AE6C43 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:43:52] 807*2^1444969-1 is not prime. Res64: D1BB145670E2F024 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:43:53] 861*2^1444969-1 is not prime. Res64: 6924E1B8E91E6C72 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:43:54] 895*2^1444969-1 is not prime. Res64: 0497B79A85B0E3FE Time : 0.0 sec. user=mdettweiler [2016-11-04 20:43:54] 603*2^1444970-1 is not prime. Res64: 86D3176F886819C2 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:44:48] 641*2^1444970-1 is not prime. Res64: 4656429FD08E387F Time : 0.0 sec. user=mdettweiler [2016-11-04 20:44:49] 833*2^1444970-1 is not prime. Res64: 65210CA9651E49D1 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:44:49] 851*2^1444970-1 is not prime. Res64: 1995B08B678D18D8 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:44:50] 875*2^1444970-1 is not prime. Res64: BDD17E75FD56BFE8 Time : 0.0 sec. user=mdettweiler [2016-11-04 20:44:51] 987*2^1444970-1 is not prime. Res64: F4E42A485F2AA235 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:00:27] 679*2^1444971-1 is not prime. Res64: 2C91D1FA08C82F76 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:00:29] 709*2^1444971-1 is not prime. Res64: BD4A479861D5320F Time : 0.0 sec. user=mdettweiler [2016-11-04 21:00:31] 741*2^1444971-1 is not prime. Res64: 149235DBC857A42D Time : 0.0 sec. user=mdettweiler [2016-11-04 21:00:32] 751*2^1444971-1 is not prime. Res64: 3DC7677A4956D16D Time : 0.0 sec. user=mdettweiler [2016-11-04 21:00:33] 795*2^1444971-1 is not prime. Res64: A8C40E389D01104F Time : 0.0 sec. user=mdettweiler [2016-11-04 21:26:28] 861*2^1444971-1 is not prime. Res64: B15EFC2E7652A823 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:26:28] 605*2^1444972-1 is not prime. Res64: D41F106B6788351A Time : 0.0 sec. user=mdettweiler [2016-11-04 21:26:28] 617*2^1444972-1 is not prime. Res64: DCCD48C1BDBAAFDF Time : 0.0 sec. user=mdettweiler [2016-11-04 21:26:29] 657*2^1444972-1 is not prime. Res64: 159FD12D95E5828F Time : 0.0 sec. user=mdettweiler [2016-11-04 21:26:29] 825*2^1444972-1 is not prime. Res64: B21DEA1B43900A75 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:29:32] 857*2^1444972-1 is not prime. Res64: E1D396409BCDB873 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:29:33] 987*2^1444972-1 is not prime. Res64: 35BAE9E709488E76 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:29:33] 607*2^1444973-1 is not prime. Res64: E6EF306249AC7835 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:29:34] 829*2^1444973-1 is not prime. Res64: E5DAF0B538E543BB Time : 0.0 sec. user=mdettweiler [2016-11-04 21:29:35] 837*2^1444973-1 is not prime. Res64: A1DF6C589A997E44 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:30:25] 859*2^1444973-1 is not prime. Res64: E97A83BA65207884 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:30:27] 723*2^1444974-1 is not prime. Res64: E6339D14F7EE2C6B Time : 0.0 sec. user=mdettweiler [2016-11-04 21:30:27] 747*2^1444974-1 is not prime. Res64: AFE41BCC9FFD3923 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:30:28] 767*2^1444974-1 is not prime. Res64: 1EE9420A69975BB0 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:30:29] 851*2^1444974-1 is not prime. Res64: F5DF4D2536BB7642 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:46:02] 965*2^1444974-1 is not prime. Res64: 34F00E3D2A85C98C Time : 0.0 sec. user=mdettweiler [2016-11-04 21:46:03] 789*2^1444975-1 is not prime. Res64: 81E34A6646148B69 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:46:03] 849*2^1444975-1 is not prime. Res64: E3A6B04D752FE8C8 Time : 0.0 sec. user=mdettweiler [2016-11-04 21:46:04] 873*2^1444975-1 is not prime. Res64: 33A293F40B597F4A Time : 0.0 sec. user=mdettweiler [2016-11-04 21:46:04] 999*2^1444975-1 is not prime. Res64: 5645FAB5A2C65E61 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:11:15] 677*2^1444976-1 is not prime. Res64: CB6E7CEF3C0C9ACB Time : 0.0 sec. user=mdettweiler [2016-11-04 22:11:17] 735*2^1444976-1 is not prime. Res64: 30255E6866939515 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:11:18] 773*2^1444976-1 is not prime. Res64: 3530649F09563903 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:11:19] 873*2^1444976-1 is not prime. Res64: 95EBE50B925ECEB8 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:11:21] 969*2^1444976-1 is not prime. Res64: 48DCFDC7CD19BCB8 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:14:23] 747*2^1444977-1 is not prime. Res64: E51A07F81FBE9EB9 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:14:24] 915*2^1444977-1 is not prime. Res64: E61B112DB368F5ED Time : 0.0 sec. user=mdettweiler [2016-11-04 22:14:24] 937*2^1444977-1 is not prime. Res64: 95A4D8C4FAAB4CDA Time : 0.0 sec. user=mdettweiler [2016-11-04 22:14:25] 723*2^1444978-1 is not prime. Res64: A9236248FDAFA0B4 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:14:25] 737*2^1444978-1 is not prime. Res64: F41A87841884D14E Time : 0.0 sec. user=mdettweiler [2016-11-04 22:15:29] 777*2^1444978-1 is not prime. Res64: 60EA1F44F7C2669B Time : 0.0 sec. user=mdettweiler [2016-11-04 22:15:29] 619*2^1444979-1 is not prime. Res64: 2317308F07C81062 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:15:29] 829*2^1444979-1 is not prime. Res64: DA59A5C86F4997F3 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:15:30] 861*2^1444979-1 is not prime. Res64: D1AA622224F43A33 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:15:30] 635*2^1444980-1 is not prime. Res64: CBB7B0D39A0F28E7 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:30:49] 723*2^1444980-1 is not prime. Res64: C4C1ED7981D0E6C2 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:30:49] 773*2^1444980-1 is not prime. Res64: C2398B392447B40C Time : 0.0 sec. user=mdettweiler [2016-11-04 22:30:50] 789*2^1444980-1 is not prime. Res64: 37279465CCA1421D Time : 0.0 sec. user=mdettweiler [2016-11-04 22:30:50] 857*2^1444980-1 is not prime. Res64: 3108D267F63CACAE Time : 0.0 sec. user=mdettweiler [2016-11-04 22:30:51] 887*2^1444980-1 is not prime. Res64: C84FB141C2DBCEF2 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:56:27] 933*2^1444980-1 is not prime. Res64: D5EA9E38F54B04C8 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:56:27] 615*2^1444981-1 is not prime. Res64: 9B15DC5DCD0F4A6F Time : 0.0 sec. user=mdettweiler [2016-11-04 22:56:27] 675*2^1444981-1 is not prime. Res64: A7FA56741163B00E Time : 0.0 sec. user=mdettweiler [2016-11-04 22:56:28] 691*2^1444981-1 is not prime. Res64: 9F99D30BDD2D08CE Time : 0.0 sec. user=mdettweiler [2016-11-04 22:56:28] 731*2^1444982-1 is not prime. Res64: 7476DEC5D5F7459F Time : 0.0 sec. user=mdettweiler [2016-11-04 22:59:26] 791*2^1444982-1 is not prime. Res64: 03A7932345B031D9 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:59:26] 827*2^1444982-1 is not prime. Res64: C6C7790C9A80E123 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:59:26] 981*2^1444982-1 is not prime. Res64: E710C43ABBCBE34D Time : 0.0 sec. user=mdettweiler [2016-11-04 22:59:27] 643*2^1444983-1 is not prime. Res64: 21AB50CB029B9693 Time : 0.0 sec. user=mdettweiler [2016-11-04 22:59:27] 691*2^1444983-1 is not prime. Res64: F2662DD03FB5A4FE Time : 0.0 sec. user=mdettweiler [2016-11-04 23:00:33] 763*2^1444983-1 is not prime. Res64: 6E059E2D1D301FF8 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:00:35] 831*2^1444983-1 is not prime. Res64: 840A39E19B85A2D9 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:00:37] 853*2^1444983-1 is not prime. Res64: 66FD204BAE843617 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:00:38] 919*2^1444983-1 is not prime. Res64: 5BCD15DEBEA83749 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:00:39] 945*2^1444983-1 is not prime. Res64: 37E64597845507B9 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:17:22] 969*2^1444983-1 is not prime. Res64: AF53F87A3044104A Time : 0.0 sec. user=mdettweiler [2016-11-04 23:17:22] 605*2^1444984-1 is not prime. Res64: 8E5A4C9D77FEFE65 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:17:22] 609*2^1444984-1 is not prime. Res64: 9B6D08C7A200E447 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:17:22] 615*2^1444984-1 is not prime. Res64: 31FC60768EBE1F5A Time : 0.0 sec. user=mdettweiler [2016-11-04 23:17:23] 635*2^1444984-1 is not prime. Res64: 2B56ED3B0D5DC32B Time : 0.0 sec. user=mdettweiler [2016-11-04 23:47:06] 695*2^1444984-1 is not prime. Res64: 2847CA17C97086A0 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:47:06] 747*2^1444984-1 is not prime. Res64: 2AE0BCD227370F7B Time : 0.0 sec. user=mdettweiler [2016-11-04 23:47:07] 803*2^1444984-1 is not prime. Res64: 479E5FE029D68AFE Time : 0.0 sec. user=mdettweiler [2016-11-04 23:47:07] 869*2^1444984-1 is not prime. Res64: 3B63B6EF46C95E5E Time : 0.0 sec. user=mdettweiler [2016-11-04 23:47:07] 875*2^1444984-1 is not prime. Res64: 3B88FA66A3BEBB9C Time : 0.0 sec. user=mdettweiler [2016-11-04 23:50:57] 915*2^1444984-1 is not prime. Res64: E8C003A1DB3D3CB8 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:50:58] 607*2^1444985-1 is not prime. Res64: CCDD646526AFC649 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:50:58] 649*2^1444985-1 is not prime. Res64: 0F0A7CC795FDAA41 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:50:59] 699*2^1444985-1 is not prime. Res64: 16E708FE7CD97B2D Time : 0.0 sec. user=mdettweiler [2016-11-04 23:50:59] 787*2^1444985-1 is not prime. Res64: BD70971E26F47953 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:51:46] 789*2^1444985-1 is not prime. Res64: 9B300D2BEB81D56A Time : 0.0 sec. user=mdettweiler [2016-11-04 23:51:47] 795*2^1444985-1 is not prime. Res64: 01CFB2A752D7A8B0 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:51:48] 939*2^1444985-1 is not prime. Res64: 3A31855D8B22270F Time : 0.0 sec. user=mdettweiler [2016-11-04 23:51:49] 985*2^1444985-1 is not prime. Res64: CC5C4BF9AFA487B7 Time : 0.0 sec. user=mdettweiler [2016-11-04 23:51:50] 677*2^1444986-1 is not prime. Res64: 07402ABD56341300 Time : 0.0 sec.