user=mdettweiler [2016-07-26 00:33:53] 971*2^1435934-1 is not prime. Res64: C3459D13D7740F44 Time : 0.0 sec. user=mdettweiler [2016-07-26 00:33:54] 963*2^1435935-1 is not prime. Res64: E1C16E699445D070 Time : 0.0 sec. user=mdettweiler [2016-07-26 00:33:54] 695*2^1435936-1 is not prime. Res64: C6C7A9FCC942CF13 Time : 0.0 sec. user=mdettweiler [2016-07-26 00:33:54] 807*2^1435936-1 is not prime. Res64: 7DFFBB66AB8D3893 Time : 0.0 sec. user=mdettweiler [2016-07-26 00:33:55] 875*2^1435936-1 is not prime. Res64: F0874711698E4710 Time : 0.0 sec. user=mdettweiler [2016-07-26 01:17:57] 903*2^1435936-1 is not prime. Res64: 718872BBB7555AA9 Time : 0.0 sec. user=mdettweiler [2016-07-26 01:17:58] 905*2^1435936-1 is not prime. Res64: C5EB032243256D56 Time : 0.0 sec. user=mdettweiler [2016-07-26 01:17:58] 619*2^1435937-1 is not prime. Res64: D1C889AD48D38F56 Time : 0.0 sec. user=mdettweiler [2016-07-26 01:17:59] 685*2^1435937-1 is not prime. Res64: EBB192C69F8F0B35 Time : 0.0 sec. user=mdettweiler [2016-07-26 01:18:02] 747*2^1435937-1 is not prime. Res64: 4C5CCDBAFD99D678 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:01:58] 805*2^1435937-1 is not prime. Res64: 9565FD9D0CBA21C9 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:02:01] 937*2^1435937-1 is not prime. Res64: C8B6791D2FE088DE Time : 0.0 sec. user=mdettweiler [2016-07-26 02:02:02] 981*2^1435937-1 is not prime. Res64: 2A6B8AC2030EAB36 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:02:03] 683*2^1435938-1 is not prime. Res64: ACAD048CB5029126 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:02:04] 705*2^1435938-1 is not prime. Res64: A2A669E9E30AD63D Time : 0.0 sec. user=mdettweiler [2016-07-26 02:45:59] 735*2^1435938-1 is not prime. Res64: A057E5CFBEEEAA8A Time : 0.0 sec. user=mdettweiler [2016-07-26 02:45:59] 773*2^1435938-1 is not prime. Res64: 0D589D20CF4FE6F3 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:46:02] 843*2^1435938-1 is not prime. Res64: E2E53CA9A89706B0 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:46:02] 867*2^1435938-1 is not prime. Res64: 8FA98F430C11C5F1 Time : 0.0 sec. user=mdettweiler [2016-07-26 02:46:03] 975*2^1435938-1 is not prime. Res64: E54EAA651E4EAD66 Time : 0.0 sec. user=mdettweiler [2016-07-26 03:29:53] 615*2^1435939-1 is not prime. Res64: DCE564A5DB91B9DB Time : 0.0 sec. user=mdettweiler [2016-07-26 03:29:54] 631*2^1435939-1 is not prime. Res64: F0D15761FF2B552A Time : 0.0 sec. user=mdettweiler [2016-07-26 03:29:55] 691*2^1435939-1 is not prime. Res64: D3686DB268A1701C Time : 0.0 sec. user=mdettweiler [2016-07-26 03:29:55] 709*2^1435939-1 is not prime. Res64: 678AE93558735B3C Time : 0.0 sec. user=mdettweiler [2016-07-26 03:29:56] 745*2^1435939-1 is not prime. Res64: C48573DB327B0259 Time : 0.0 sec. user=mdettweiler [2016-07-26 04:13:52] 765*2^1435939-1 is not prime. Res64: 0A9ADF20BE89C283 Time : 0.0 sec. user=mdettweiler [2016-07-26 04:13:52] 769*2^1435939-1 is not prime. Res64: C712ECD036F9D241 Time : 0.0 sec. user=mdettweiler [2016-07-26 04:13:53] 943*2^1435939-1 is not prime. Res64: 3A31C3380AC7087A Time : 0.0 sec. user=mdettweiler [2016-07-26 04:13:53] 969*2^1435939-1 is not prime. Res64: BBD8A9F7B3DEA934 Time : 0.0 sec. user=mdettweiler [2016-07-26 04:13:53] 603*2^1435940-1 is not prime. Res64: D4D7B4460DDEC7FC Time : 0.0 sec. user=juhehe [2016-07-26 04:28:33] 675*2^1435940-1 is not prime. Res64: 9D51A76E369D689C Time : 0.0 sec. user=mdettweiler [2016-07-26 10:43:10] 687*2^1435940-1 is not prime. Res64: 20507AB6C0CE173A Time : 0.0 sec. user=mdettweiler [2016-07-26 10:43:10] 885*2^1435940-1 is not prime. Res64: 78122FD8C263DA3D Time : 0.0 sec. user=mdettweiler [2016-07-26 10:43:11] 915*2^1435940-1 is not prime. Res64: F61A78CACB9E997F Time : 0.0 sec. user=mdettweiler [2016-07-26 10:43:11] 987*2^1435940-1 is not prime. Res64: C38B243A7FD089AD Time : 0.0 sec. user=mdettweiler [2016-07-26 10:43:12] 621*2^1435941-1 is not prime. Res64: FF278065A9DC3A82 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:27:06] 717*2^1435941-1 is not prime. Res64: 4099CF7F7F0987C7 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:27:06] 751*2^1435941-1 is not prime. Res64: 50DF11FE3832020E Time : 0.0 sec. user=mdettweiler [2016-07-26 11:27:07] 795*2^1435941-1 is not prime. Res64: 3AFD301547DE2CF9 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:27:07] 819*2^1435941-1 is not prime. Res64: B46EEDB79620872E Time : 0.0 sec. user=mdettweiler [2016-07-26 11:27:08] 861*2^1435941-1 is not prime. Res64: 5AE82C68C8C87008 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:36:13] 997*2^1435941-1 is not prime. Res64: 228AB38306AF21C7 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:36:13] 777*2^1435942-1 is not prime. Res64: BEAC1C4535B9E15A Time : 0.0 sec. user=mdettweiler [2016-07-26 11:36:13] 827*2^1435942-1 is not prime. Res64: F342D2CA8904CAE8 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:36:14] 867*2^1435942-1 is not prime. Res64: A025D25A1CE0E5F5 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:36:14] 917*2^1435942-1 is not prime. Res64: CECB1BEB61B82FF9 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:44:57] 951*2^1435942-1 is not prime. Res64: F455BC046DC52828 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:44:57] 615*2^1435943-1 is not prime. Res64: 20B6230D6B5C588D Time : 0.0 sec. user=mdettweiler [2016-07-26 11:44:57] 633*2^1435943-1 is not prime. Res64: 3C819AFF4272B09E Time : 0.0 sec. user=mdettweiler [2016-07-26 11:44:58] 895*2^1435943-1 is not prime. Res64: 458F38D5167551E0 Time : 0.0 sec. user=mdettweiler [2016-07-26 11:44:58] 991*2^1435943-1 is not prime. Res64: D3913E6E1085AD59 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:11:10] 627*2^1435944-1 is not prime. Res64: 684F9372FD980275 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:11:11] 629*2^1435944-1 is not prime. Res64: 1FED5A83815C24DF Time : 0.0 sec. user=mdettweiler [2016-07-26 12:11:11] 789*2^1435944-1 is not prime. Res64: 206FE5380C5751B8 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:11:12] 809*2^1435944-1 is not prime. Res64: C646FCF8C1C8A276 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:11:12] 863*2^1435944-1 is not prime. Res64: DE507097DE5B3B11 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:20:12] 705*2^1435945-1 is not prime. Res64: 2777B43199F6EBDA Time : 0.0 sec. user=mdettweiler [2016-07-26 12:20:13] 721*2^1435945-1 is not prime. Res64: ABB51FCE07D49894 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:20:13] 775*2^1435945-1 is not prime. Res64: 598D133AF4F7E538 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:20:14] 939*2^1435945-1 is not prime. Res64: BD0991A19D273F40 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:20:14] 633*2^1435946-1 is not prime. Res64: 9DD0D228B47DB066 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:29:02] 635*2^1435946-1 is not prime. Res64: CA3730AB49CA1608 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:29:02] 671*2^1435946-1 is not prime. Res64: AB492BAF0F0FECBA Time : 0.0 sec. user=mdettweiler [2016-07-26 12:29:03] 743*2^1435946-1 is not prime. Res64: DAA506F17C8ED86D Time : 0.0 sec. user=mdettweiler [2016-07-26 12:29:03] 773*2^1435946-1 is not prime. Res64: 27181427F3279234 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:29:03] 873*2^1435946-1 is not prime. Res64: 238789EB337FB7E7 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:55:17] 903*2^1435946-1 is not prime. Res64: 86324B481BB9F16B Time : 0.0 sec. user=mdettweiler [2016-07-26 12:55:18] 619*2^1435947-1 is not prime. Res64: 21931C98828EEB1C Time : 0.0 sec. user=mdettweiler [2016-07-26 12:55:18] 709*2^1435947-1 is not prime. Res64: A54D8BC055E88165 Time : 0.0 sec. user=mdettweiler [2016-07-26 12:55:18] 739*2^1435947-1 is not prime. Res64: 9B5384B9851F0FDC Time : 0.0 sec. user=mdettweiler [2016-07-26 12:55:19] 861*2^1435947-1 is not prime. Res64: D90F763CB3EFCB33 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:04:38] 975*2^1435947-1 is not prime. Res64: 40E7854372FA2422 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:04:39] 755*2^1435948-1 is not prime. Res64: B9F7921D7F989E29 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:04:40] 803*2^1435948-1 is not prime. Res64: DEFB65596EB7F5ED Time : 0.0 sec. user=mdettweiler [2016-07-26 13:04:41] 887*2^1435948-1 is not prime. Res64: FB0273E44369801A Time : 0.0 sec. user=mdettweiler [2016-07-26 13:04:42] 923*2^1435948-1 is not prime. Res64: 0E2BB1DCC2FDD640 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:13:23] 969*2^1435948-1 is not prime. Res64: B526DC728CD65121 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:13:24] 645*2^1435949-1 is not prime. Res64: 7BA23BCD4212ACD4 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:13:24] 649*2^1435949-1 is not prime. Res64: 2CEE27A58AB31F9F Time : 0.0 sec. user=mdettweiler [2016-07-26 13:13:24] 697*2^1435949-1 is not prime. Res64: 46212E5F7943DBAB Time : 0.0 sec. user=mdettweiler [2016-07-26 13:13:25] 741*2^1435949-1 is not prime. Res64: CA2F4065D8F2F152 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:39:37] 759*2^1435949-1 is not prime. Res64: 072844416D4D8336 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:39:37] 769*2^1435949-1 is not prime. Res64: 30C0B30573EFEEE2 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:39:37] 837*2^1435949-1 is not prime. Res64: B788A829E4FD1640 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:39:38] 885*2^1435949-1 is not prime. Res64: 9F6D810130108AE2 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:39:38] 955*2^1435949-1 is not prime. Res64: 4A113FB801CED88E Time : 0.0 sec. user=mdettweiler [2016-07-26 13:48:48] 957*2^1435949-1 is not prime. Res64: 2BABE63CD90E2340 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:48:49] 969*2^1435949-1 is not prime. Res64: 01A4CD7D94ADEC02 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:48:49] 635*2^1435950-1 is not prime. Res64: E139911962F7C9ED Time : 0.0 sec. user=mdettweiler [2016-07-26 13:48:50] 791*2^1435950-1 is not prime. Res64: 1798C7B680295EA8 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:48:50] 833*2^1435950-1 is not prime. Res64: 59CD82AFD3E8520E Time : 0.0 sec. user=mdettweiler [2016-07-26 13:57:21] 965*2^1435950-1 is not prime. Res64: 25BB10E28B314380 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:57:21] 601*2^1435951-1 is not prime. Res64: 6931FBE489306FB4 Time : 0.0 sec. user=mdettweiler [2016-07-26 13:57:22] 615*2^1435951-1 is not prime. Res64: 712435B6DD62C9BF Time : 0.0 sec. user=mdettweiler [2016-07-26 13:57:22] 625*2^1435951-1 is not prime. Res64: 17D04505AF688B8E Time : 0.0 sec. user=mdettweiler [2016-07-26 13:57:22] 651*2^1435951-1 is not prime. Res64: EA75F6C82D53FACD Time : 0.0 sec. user=mdettweiler [2016-07-26 14:23:35] 673*2^1435951-1 is not prime. Res64: CDE1DA8C024B310C Time : 0.0 sec. user=mdettweiler [2016-07-26 14:23:35] 873*2^1435951-1 is not prime. Res64: F743DD3D70EA3753 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:23:35] 889*2^1435951-1 is not prime. Res64: 4C76EBBE820EEDA9 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:23:36] 993*2^1435951-1 is not prime. Res64: 8615244E20278F15 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:23:36] 677*2^1435952-1 is not prime. Res64: AB6CD37923E8AEFF Time : 0.0 sec. user=mdettweiler [2016-07-26 14:32:43] 693*2^1435952-1 is not prime. Res64: 270CBD65CDAD0F78 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:32:44] 777*2^1435952-1 is not prime. Res64: 0EFB8E69F10CAD10 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:32:44] 903*2^1435952-1 is not prime. Res64: 3F7CDAA104700072 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:32:45] 923*2^1435952-1 is not prime. Res64: 8B77A08E7B2DE8ED Time : 0.0 sec. user=mdettweiler [2016-07-26 14:32:45] 963*2^1435952-1 is not prime. Res64: EEA93840A844AAFA Time : 0.0 sec. user=mdettweiler [2016-07-26 14:41:18] 609*2^1435953-1 is not prime. Res64: DB054ABB8F366BDF Time : 0.0 sec. user=mdettweiler [2016-07-26 14:41:18] 705*2^1435953-1 is not prime. Res64: 2CD02C4F5ECD3FCB Time : 0.0 sec. user=mdettweiler [2016-07-26 14:41:18] 787*2^1435953-1 is not prime. Res64: 6167064D27477CB7 Time : 0.0 sec. user=mdettweiler [2016-07-26 14:41:19] 895*2^1435953-1 is not prime. Res64: C3C0139E5E27F3AB Time : 0.0 sec. user=mdettweiler [2016-07-26 14:41:19] 955*2^1435953-1 is not prime. Res64: D1C8B7A6B72C29B6 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:07:31] 999*2^1435953-1 is not prime. Res64: 4DB7AB1221F7DF40 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:07:34] 675*2^1435954-1 is not prime. Res64: CF4C4089FF80C367 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:07:36] 695*2^1435954-1 is not prime. Res64: 066CFF3A96227721 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:07:38] 783*2^1435954-1 is not prime. Res64: 86827A1D740A2697 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:07:40] 833*2^1435954-1 is not prime. Res64: 4C22D4AD3D85F9FD Time : 0.0 sec. user=mdettweiler [2016-07-26 15:16:45] 951*2^1435954-1 is not prime. Res64: B1D7BD02A0A6A318 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:16:46] 643*2^1435955-1 is not prime. Res64: C3FBA126F9D4BD83 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:16:46] 675*2^1435955-1 is not prime. Res64: 7B44205267795D8E Time : 0.0 sec. user=mdettweiler [2016-07-26 15:16:46] 783*2^1435955-1 is not prime. Res64: 0765D36FEE5F33F5 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:16:47] 853*2^1435955-1 is not prime. Res64: C3D3C7CA838E1472 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:25:19] 949*2^1435955-1 is not prime. Res64: 168C25D308004D7B Time : 0.0 sec. user=mdettweiler [2016-07-26 15:25:19] 609*2^1435956-1 is not prime. Res64: 31326B973EED8122 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:25:20] 623*2^1435956-1 is not prime. Res64: 55E42CF92DF1708A Time : 0.0 sec. user=mdettweiler [2016-07-26 15:25:20] 675*2^1435956-1 is not prime. Res64: 557D49750A85681B Time : 0.0 sec. user=mdettweiler [2016-07-26 15:25:20] 783*2^1435956-1 is not prime. Res64: B4DC94BE7820434F Time : 0.0 sec. user=mdettweiler [2016-07-26 15:51:58] 887*2^1435956-1 is not prime. Res64: 3C45695E987D1DC3 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:51:58] 893*2^1435956-1 is not prime. Res64: AF71DDDF4B2B20D6 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:51:59] 649*2^1435957-1 is not prime. Res64: 958D4E31754CF65D Time : 0.0 sec. user=mdettweiler [2016-07-26 15:51:59] 825*2^1435957-1 is not prime. Res64: 4E412CD410A97815 Time : 0.0 sec. user=mdettweiler [2016-07-26 15:51:59] 885*2^1435957-1 is not prime. Res64: 149D10C5BEC7E901 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:00:41] 657*2^1435958-1 is not prime. Res64: E9CAD03C16CD07F7 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:00:42] 687*2^1435958-1 is not prime. Res64: 26032C4B0331FA53 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:00:44] 711*2^1435958-1 is not prime. Res64: 63FA38A18B23336B Time : 0.0 sec. user=mdettweiler [2016-07-26 16:00:45] 731*2^1435958-1 is not prime. Res64: 9FEA0850E9D17366 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:00:47] 795*2^1435958-1 is not prime. Res64: 2B1C97A1F0F7F603 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:09:17] 827*2^1435958-1 is not prime. Res64: 5639B6061F253D88 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:09:20] 857*2^1435958-1 is not prime. Res64: 78CF4D07721651E5 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:09:22] 897*2^1435958-1 is not prime. Res64: B6DE55A0798CEF19 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:09:23] 921*2^1435958-1 is not prime. Res64: E587B770AEF92A12 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:09:25] 751*2^1435959-1 is not prime. Res64: DC2565F30610AF72 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:35:56] 775*2^1435959-1 is not prime. Res64: B4700A8D0F44FBF2 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:35:57] 861*2^1435959-1 is not prime. Res64: 413F6EC1D795F8BB Time : 0.0 sec. user=mdettweiler [2016-07-26 16:35:57] 865*2^1435959-1 is not prime. Res64: 702F65695921DFE2 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:35:58] 895*2^1435959-1 is not prime. Res64: 8D7FDCBDB31ABAD8 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:35:58] 735*2^1435960-1 is not prime. Res64: B2F2B2F946EA9B35 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:45:54] 765*2^1435960-1 is not prime. Res64: 6231B2D74239A516 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:45:55] 773*2^1435960-1 is not prime. Res64: 78BC2490E2237976 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:45:55] 631*2^1435961-1 is not prime. Res64: 7567EEA433D8BB85 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:45:55] 649*2^1435961-1 is not prime. Res64: C3E1A3F8BB19CAE8 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:45:55] 651*2^1435961-1 is not prime. Res64: C5E3F711C60DF088 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:55:57] 819*2^1435961-1 is not prime. Res64: 7ED9B93D49D4E455 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:55:57] 865*2^1435961-1 is not prime. Res64: 954BB7FE1F9488F9 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:55:57] 885*2^1435961-1 is not prime. Res64: C50FFD807E6EB4CF Time : 0.0 sec. user=mdettweiler [2016-07-26 16:55:57] 901*2^1435961-1 is not prime. Res64: 78E67D4EDEED9FB2 Time : 0.0 sec. user=mdettweiler [2016-07-26 16:55:58] 627*2^1435962-1 is not prime. Res64: 389ED840EBB8A61E Time : 0.0 sec. user=mdettweiler [2016-07-26 17:25:16] 635*2^1435962-1 is not prime. Res64: 3790073BA351A000 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:25:16] 647*2^1435962-1 is not prime. Res64: 7CBF012480CD44F2 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:25:17] 677*2^1435962-1 is not prime. Res64: AA8A506D86DBCB30 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:25:18] 717*2^1435962-1 is not prime. Res64: 144812219BDF81AA Time : 0.0 sec. user=mdettweiler [2016-07-26 17:25:18] 735*2^1435962-1 is not prime. Res64: FA5858105F3DB8C0 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:34:34] 755*2^1435962-1 is not prime. Res64: 47E65AE8EF9CCEC1 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:34:34] 777*2^1435962-1 is not prime. Res64: 27B9282D274AC6CB Time : 0.0 sec. user=mdettweiler [2016-07-26 17:34:35] 797*2^1435962-1 is not prime. Res64: 57FF269E1A307DF5 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:34:35] 815*2^1435962-1 is not prime. Res64: A2635F8644891817 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:34:36] 603*2^1435963-1 is not prime. Res64: 04F7EB9BA7875C30 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:43:30] 619*2^1435963-1 is not prime. Res64: B287E787EEC324DF Time : 0.0 sec. user=mdettweiler [2016-07-26 17:43:30] 681*2^1435963-1 is not prime. Res64: CC50A5BA3C0D42D9 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:43:31] 693*2^1435963-1 is not prime. Res64: D4FBCD4656FC5D22 Time : 0.0 sec. user=mdettweiler [2016-07-26 17:43:31] 723*2^1435963-1 is not prime. Res64: FA09F929D42DBAAA Time : 0.0 sec. user=mdettweiler [2016-07-26 17:43:32] 741*2^1435963-1 is not prime. Res64: B009C30F15B1D19B Time : 0.0 sec. user=mdettweiler [2016-07-26 18:09:48] 855*2^1435963-1 is not prime. Res64: E16F2FE6FB2C41B1 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:09:49] 961*2^1435963-1 is not prime. Res64: B30342EBCCFCCE44 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:09:49] 615*2^1435964-1 is not prime. Res64: AB3D3807A905D5D4 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:09:49] 629*2^1435964-1 is not prime. Res64: DBC5FE97D4A5D988 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:09:50] 803*2^1435964-1 is not prime. Res64: 2F98068D6D817F31 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:18:35] 843*2^1435964-1 is not prime. Res64: 2C9189C7CE809B2E Time : 0.0 sec. user=mdettweiler [2016-07-26 18:18:36] 869*2^1435964-1 is not prime. Res64: FBA6775D4B4362DE Time : 0.0 sec. user=mdettweiler [2016-07-26 18:18:37] 969*2^1435964-1 is not prime. Res64: B9959EC4428C6D37 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:18:38] 669*2^1435965-1 is not prime. Res64: 438A580A8C2ED1F7 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:18:38] 675*2^1435965-1 is not prime. Res64: 95D7B8FADD8BE144 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:27:35] 709*2^1435965-1 is not prime. Res64: A93853DE0D342CF2 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:27:35] 765*2^1435965-1 is not prime. Res64: B11349240A1BD3B4 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:27:35] 867*2^1435965-1 is not prime. Res64: 75DC41208F05E888 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:27:36] 885*2^1435965-1 is not prime. Res64: 1A4D45A6900CC306 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:27:36] 705*2^1435966-1 is not prime. Res64: C7EA916B17D143B2 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:53:51] 867*2^1435966-1 is not prime. Res64: C06A710188644B3C Time : 0.0 sec. user=mdettweiler [2016-07-26 18:53:51] 975*2^1435966-1 is not prime. Res64: 991204D481FAFF57 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:53:52] 987*2^1435966-1 is not prime. Res64: 508ED16C031456D1 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:53:52] 663*2^1435967-1 is not prime. Res64: A8B71AD1154B6D06 Time : 0.0 sec. user=mdettweiler [2016-07-26 18:53:52] 711*2^1435967-1 is not prime. Res64: D02499AE2648D7FB Time : 0.0 sec. user=mdettweiler [2016-07-26 19:02:37] 735*2^1435967-1 is not prime. Res64: BB16EA209AD25750 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:02:38] 741*2^1435967-1 is not prime. Res64: 667B90594B0EEFC7 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:02:39] 901*2^1435967-1 is not prime. Res64: 092E8B2404A18CCE Time : 0.0 sec. user=mdettweiler [2016-07-26 19:02:39] 939*2^1435967-1 is not prime. Res64: 996BD235CD91D1B4 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:02:40] 629*2^1435968-1 is not prime. Res64: 3E87510593EFC8D0 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:11:29] 707*2^1435968-1 is not prime. Res64: A1747FCCFA8FC322 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:11:30] 747*2^1435968-1 is not prime. Res64: 49C633A15D8140C4 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:11:30] 795*2^1435968-1 is not prime. Res64: 6B525471EF209F84 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:11:31] 849*2^1435968-1 is not prime. Res64: AD6335B1B658B50E Time : 0.0 sec. user=mdettweiler [2016-07-26 19:11:31] 915*2^1435968-1 is not prime. Res64: 32D955587C4A4C2C Time : 0.0 sec. user=mdettweiler [2016-07-26 19:37:45] 945*2^1435968-1 is not prime. Res64: C302824ABF5A7EC3 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:37:45] 615*2^1435969-1 is not prime. Res64: CBD0544AC10D3DD7 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:37:46] 885*2^1435969-1 is not prime. Res64: 5D2BBD212D21FDFD Time : 0.0 sec. user=mdettweiler [2016-07-26 19:37:46] 701*2^1435970-1 is not prime. Res64: F653A4773A67B3D5 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:37:46] 773*2^1435970-1 is not prime. Res64: 0EF1422FA7BA4256 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:46:46] 783*2^1435970-1 is not prime. Res64: D932D5B60DF6F26C Time : 0.0 sec. user=mdettweiler [2016-07-26 19:46:46] 609*2^1435971-1 is not prime. Res64: A983A361A3C27709 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:46:47] 651*2^1435971-1 is not prime. Res64: CF74DF864E6AFCC0 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:46:47] 675*2^1435971-1 is not prime. Res64: 3F0D08F4A84B191C Time : 0.0 sec. user=mdettweiler [2016-07-26 19:46:48] 711*2^1435971-1 is not prime. Res64: 04C7C270392C8976 Time : 0.0 sec. user=juhehe [2016-07-26 19:52:04] 855*2^1435972-1 is not prime. Res64: 1A934F2F75A28CA8 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:55:24] 975*2^1435971-1 is not prime. Res64: 3DF9B0B3B351107B Time : 0.0 sec. user=mdettweiler [2016-07-26 19:55:25] 629*2^1435972-1 is not prime. Res64: 37FE099FDB215B79 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:55:25] 635*2^1435972-1 is not prime. Res64: D41C9C4E16CDC24E Time : 0.0 sec. user=mdettweiler [2016-07-26 19:55:25] 657*2^1435972-1 is not prime. Res64: E2A3093CE60387B6 Time : 0.0 sec. user=mdettweiler [2016-07-26 19:55:26] 687*2^1435972-1 is not prime. Res64: CEE621F5740093AB Time : 0.0 sec. user=mdettweiler [2016-07-26 20:21:40] 699*2^1435973-1 is not prime. Res64: FA66357E5096DEFF Time : 0.0 sec. user=mdettweiler [2016-07-26 20:21:41] 727*2^1435973-1 is not prime. Res64: C9A8080643992D71 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:21:41] 847*2^1435973-1 is not prime. Res64: 8F4BFDCE33CCC958 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:21:41] 663*2^1435974-1 is not prime. Res64: 11EB4D764E7A39CB Time : 0.0 sec. user=mdettweiler [2016-07-26 20:21:42] 873*2^1435974-1 is not prime. Res64: 7248D0241E6F987F Time : 0.0 sec. user=mdettweiler [2016-07-26 20:30:42] 903*2^1435974-1 is not prime. Res64: 539E1CAC6B642CDD Time : 0.0 sec. user=mdettweiler [2016-07-26 20:30:42] 993*2^1435974-1 is not prime. Res64: DC19DAFEC6565AAB Time : 0.0 sec. user=mdettweiler [2016-07-26 20:30:43] 603*2^1435975-1 is not prime. Res64: BDF5714199A7B26F Time : 0.0 sec. user=mdettweiler [2016-07-26 20:30:43] 625*2^1435975-1 is not prime. Res64: 7C7EBD981ED32D1A Time : 0.0 sec. user=mdettweiler [2016-07-26 20:30:44] 973*2^1435975-1 is not prime. Res64: 963F9123316CD450 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:39:21] 985*2^1435975-1 is not prime. Res64: B8488D3FCB98BF86 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:39:22] 633*2^1435976-1 is not prime. Res64: 240E8432880E0812 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:39:22] 677*2^1435976-1 is not prime. Res64: 92B6C3CB612BE616 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:39:23] 725*2^1435976-1 is not prime. Res64: 444F2BA8DD6C65B9 Time : 0.0 sec. user=mdettweiler [2016-07-26 20:39:23] 803*2^1435976-1 is not prime. Res64: F08A1ED607850A00 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:05:42] 855*2^1435976-1 is not prime. Res64: 8496AB013E967327 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:05:44] 893*2^1435976-1 is not prime. Res64: 0B97D34D07032053 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:05:45] 903*2^1435976-1 is not prime. Res64: 904ECF07440F03FD Time : 0.0 sec. user=mdettweiler [2016-07-26 21:05:46] 935*2^1435976-1 is not prime. Res64: C0786E40CC9E9E85 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:05:46] 945*2^1435976-1 is not prime. Res64: 812FEC6FF8DCB403 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:14:39] 993*2^1435976-1 is not prime. Res64: 21C5382B1A445429 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:14:40] 691*2^1435977-1 is not prime. Res64: DF8C15A9374C38C9 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:14:40] 735*2^1435977-1 is not prime. Res64: 4FB6B6F936FAEE52 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:14:40] 871*2^1435977-1 is not prime. Res64: 5C6F1AFE1291A9E5 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:14:41] 955*2^1435977-1 is not prime. Res64: A4D1C01BFAF9624F Time : 0.0 sec. user=mdettweiler [2016-07-26 21:23:21] 991*2^1435977-1 is not prime. Res64: 1FE75782594E2039 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:23:21] 611*2^1435978-1 is not prime. Res64: 46471017A389618D Time : 0.0 sec. user=mdettweiler [2016-07-26 21:23:22] 657*2^1435978-1 is not prime. Res64: BA81E4DE10C6E886 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:23:22] 677*2^1435978-1 is not prime. Res64: 20FFB7575A262C11 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:23:23] 825*2^1435978-1 is not prime. Res64: 0C98D8DB19A248F9 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:49:36] 957*2^1435978-1 is not prime. Res64: CDC4E94825EB410E Time : 0.0 sec. user=mdettweiler [2016-07-26 21:49:37] 693*2^1435979-1 is not prime. Res64: 1B9D0639059E84A7 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:49:37] 705*2^1435979-1 is not prime. Res64: 635AC483580B4E60 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:49:38] 711*2^1435979-1 is not prime. Res64: 2135BF8DB5DD7BF1 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:49:38] 775*2^1435979-1 is not prime. Res64: CEBC1DF3242E81FE Time : 0.0 sec. user=mdettweiler [2016-07-26 21:58:22] 921*2^1435979-1 is not prime. Res64: 6F1513CACD6DEA4E Time : 0.0 sec. user=mdettweiler [2016-07-26 21:58:22] 707*2^1435980-1 is not prime. Res64: 80ECF0E301AF8490 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:58:23] 719*2^1435980-1 is not prime. Res64: AD3D0687BC9E1328 Time : 0.0 sec. user=mdettweiler [2016-07-26 21:58:23] 773*2^1435980-1 is not prime. Res64: 79922BF0DDC8ACBD Time : 0.0 sec. user=mdettweiler [2016-07-26 21:58:24] 863*2^1435980-1 is not prime. Res64: 5F614681054600C8 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:07:03] 965*2^1435980-1 is not prime. Res64: DCBC95F70D778340 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:07:03] 975*2^1435980-1 is not prime. Res64: 4DC7AA6A15A3C253 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:07:04] 983*2^1435980-1 is not prime. Res64: 3048B83BD8BDED15 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:07:04] 741*2^1435981-1 is not prime. Res64: 7B3D7F79954F1CF2 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:07:04] 775*2^1435981-1 is not prime. Res64: D6ABF9ED37222250 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:35:00] 825*2^1435981-1 is not prime. Res64: CF7D7D9BAE83A6E5 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:35:00] 847*2^1435981-1 is not prime. Res64: C3E7A2A51F027694 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:35:01] 871*2^1435981-1 is not prime. Res64: 3F42BE3E1036DF9C Time : 0.0 sec. user=mdettweiler [2016-07-26 22:35:01] 975*2^1435981-1 is not prime. Res64: E5BF9D373A629396 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:35:01] 603*2^1435982-1 is not prime. Res64: 491DE0B63BFF8678 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:44:19] 651*2^1435982-1 is not prime. Res64: FD159ACE32381731 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:44:19] 743*2^1435982-1 is not prime. Res64: 0BB9045E2BD5B60F Time : 0.0 sec. user=mdettweiler [2016-07-26 22:44:19] 797*2^1435982-1 is not prime. Res64: 64FD987887EDE9B1 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:44:20] 827*2^1435982-1 is not prime. Res64: F1F12005FF6ADBE4 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:44:20] 867*2^1435982-1 is not prime. Res64: 04CAF73B3AF0BA39 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:53:44] 951*2^1435982-1 is not prime. Res64: 8B2AAFDB6B402564 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:53:45] 953*2^1435982-1 is not prime. Res64: 16DC3E6C88A8503D Time : 0.0 sec. user=mdettweiler [2016-07-26 22:53:45] 963*2^1435982-1 is not prime. Res64: DAE3E091F9739BF8 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:53:45] 619*2^1435983-1 is not prime. Res64: 128CFA41E0D093A2 Time : 0.0 sec. user=mdettweiler [2016-07-26 22:53:46] 639*2^1435983-1 is not prime. Res64: 4111F2F40DFDB514 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:22:41] 691*2^1435983-1 is not prime. Res64: D51E58450B569BDC Time : 0.0 sec. user=mdettweiler [2016-07-26 23:22:41] 783*2^1435983-1 is not prime. Res64: 88AD4845304CE9CD Time : 0.0 sec. user=mdettweiler [2016-07-26 23:22:42] 793*2^1435983-1 is not prime. Res64: 01733C5248D437EA Time : 0.0 sec. user=mdettweiler [2016-07-26 23:22:42] 615*2^1435984-1 is not prime. Res64: 630BA4F6161257D6 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:22:43] 677*2^1435984-1 is not prime. Res64: 0840ED442F768567 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:31:16] 843*2^1435984-1 is not prime. Res64: C206A15DE21C9F94 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:31:16] 849*2^1435984-1 is not prime. Res64: 2513808189A940B5 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:31:17] 873*2^1435984-1 is not prime. Res64: 07C2CCE92B782506 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:31:17] 899*2^1435984-1 is not prime. Res64: C4911B27AA374D56 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:31:17] 969*2^1435984-1 is not prime. Res64: 5F1180EBF4F771EC Time : 0.0 sec. user=mdettweiler [2016-07-26 23:40:14] 787*2^1435985-1 is not prime. Res64: AE768E4DB00534E4 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:40:15] 795*2^1435985-1 is not prime. Res64: 6A6DFB9B3CC92D90 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:40:15] 831*2^1435985-1 is not prime. Res64: C8E97DE823F9AEB6 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:40:16] 837*2^1435985-1 is not prime. Res64: F087AD054E61AB17 Time : 0.0 sec. user=mdettweiler [2016-07-26 23:40:16] 841*2^1435985-1 is not prime. Res64: 8761B0F7F9084F41 Time : 0.0 sec.