user=mdettweiler [2019-09-18 00:09:56] 769*2^1546653-1 is not prime. Res64: FF398DE339A920D3 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:09:57] 787*2^1546653-1 is not prime. Res64: E57A39E9969A0AFF Time : 0.0 sec. user=mdettweiler [2019-09-18 00:09:57] 789*2^1546653-1 is not prime. Res64: D99A0C5A84F4C94D Time : 0.0 sec. user=mdettweiler [2019-09-18 00:09:58] 795*2^1546653-1 is not prime. Res64: 6E1EA687130C51E8 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:09:58] 999*2^1546653-1 is not prime. Res64: C4D79BC85C5F51B7 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:16:48] 731*2^1546654-1 is not prime. Res64: 0D874C49FA331DB7 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:16:48] 825*2^1546654-1 is not prime. Res64: 7F7FD31C05CC3583 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:16:49] 827*2^1546654-1 is not prime. Res64: E12F424997F0FAB5 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:16:49] 887*2^1546654-1 is not prime. Res64: 8F48BCCEE2105293 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:16:49] 891*2^1546654-1 is not prime. Res64: B25F4349C25138F0 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:17:11] 917*2^1546654-1 is not prime. Res64: 52C6D522206442BD Time : 0.0 sec. user=mdettweiler [2019-09-18 00:17:12] 771*2^1546655-1 is not prime. Res64: 10F83DCA5D91A51E Time : 0.0 sec. user=mdettweiler [2019-09-18 00:17:12] 909*2^1546655-1 is not prime. Res64: D8DE70044A6D4B84 Time : 0.0 sec. user=mdettweiler [2019-09-18 00:17:13] 699*2^1546656-1 is not prime. Res64: 103C562508AA390D Time : 0.0 sec. user=mdettweiler [2019-09-18 00:17:13] 735*2^1546656-1 is not prime. Res64: 9C67D9CA124EC793 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:01:50] 873*2^1546656-1 is not prime. Res64: B692863814A7F376 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:01:53] 893*2^1546656-1 is not prime. Res64: D622525019A25D5D Time : 0.0 sec. user=mdettweiler [2019-09-18 01:01:54] 625*2^1546657-1 is not prime. Res64: BC868A4F3EE670E7 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:01:55] 639*2^1546657-1 is not prime. Res64: DEF13FE4019B4DD3 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:01:56] 871*2^1546657-1 is not prime. Res64: B82B2A957DAEDBF0 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:08:56] 713*2^1546658-1 is not prime. Res64: 77CF76F9E1D1F56B Time : 0.0 sec. user=mdettweiler [2019-09-18 01:08:59] 837*2^1546658-1 is not prime. Res64: A06F8BDFAD75B389 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:09:02] 861*2^1546658-1 is not prime. Res64: BE1D2140A0ABABA6 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:09:08] 971*2^1546658-1 is not prime. Res64: EF7386E65D74E8A5 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:09:10] 993*2^1546658-1 is not prime. Res64: 2F016D27D837DDA7 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:17:40] 915*2^1546657-1 is not prime. Res64: C2F0F4F9F0572EC9 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:17:41] 937*2^1546657-1 is not prime. Res64: CC8294964A483BB1 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:17:41] 939*2^1546657-1 is not prime. Res64: 14053886CA6F6363 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:17:41] 603*2^1546658-1 is not prime. Res64: 1ADCA106DD148495 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:17:42] 665*2^1546658-1 is not prime. Res64: FE11692B883EFF66 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:54:34] 1001*2^1546658-1 is not prime. Res64: 00CC73B1F216C646 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:54:34] 663*2^1546659-1 is not prime. Res64: 9CF899639DEFE6F0 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:54:35] 679*2^1546659-1 is not prime. Res64: 20B8F484359770C9 Time : 0.0 sec. user=mdettweiler [2019-09-18 01:54:35] 709*2^1546659-1 is not prime. Res64: 64A1AFF37AD8186F Time : 0.0 sec. user=mdettweiler [2019-09-18 01:54:36] 973*2^1546659-1 is not prime. Res64: 948613665B9BE7FB Time : 0.0 sec. user=mdettweiler [2019-09-18 02:01:15] 699*2^1546660-1 is not prime. Res64: DBE0A3C4ED1E4128 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:01:16] 707*2^1546660-1 is not prime. Res64: A24AF3D6BC029100 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:01:18] 735*2^1546660-1 is not prime. Res64: 3873AF87BE4E7D9A Time : 0.0 sec. user=mdettweiler [2019-09-18 02:01:19] 759*2^1546660-1 is not prime. Res64: F80C3C503B0AB113 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:01:20] 785*2^1546660-1 is not prime. Res64: 37EB270F6FAA3F36 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:09:52] 825*2^1546660-1 is not prime. Res64: 332AD191AB36E22E Time : 0.0 sec. user=mdettweiler [2019-09-18 02:09:56] 887*2^1546660-1 is not prime. Res64: 517F9A53B3BF0DE2 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:10:02] 657*2^1546661-1 is not prime. Res64: D74A386FF14D2B66 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:10:05] 867*2^1546661-1 is not prime. Res64: CB9512CB3C163534 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:10:08] 925*2^1546661-1 is not prime. Res64: 6763783FCB6ACEF2 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:46:55] 987*2^1546661-1 is not prime. Res64: B843506090C9A98E Time : 0.0 sec. user=mdettweiler [2019-09-18 02:46:55] 875*2^1546662-1 is not prime. Res64: 496273A13F8F675A Time : 0.0 sec. user=mdettweiler [2019-09-18 02:46:56] 887*2^1546662-1 is not prime. Res64: D164894250ABBF6A Time : 0.0 sec. user=mdettweiler [2019-09-18 02:46:56] 1001*2^1546662-1 is not prime. Res64: 95E8695DD49AA20D Time : 0.0 sec. user=mdettweiler [2019-09-18 02:46:57] 639*2^1546663-1 is not prime. Res64: 5F82CC6B9C49F314 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:52:45] 775*2^1546663-1 is not prime. Res64: 7313C19AED9D72AD Time : 0.0 sec. user=mdettweiler [2019-09-18 02:52:46] 675*2^1546664-1 is not prime. Res64: 89B0A118AC76E353 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:52:46] 699*2^1546664-1 is not prime. Res64: 62BA0FFC847D9844 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:52:47] 827*2^1546664-1 is not prime. Res64: 3EA83974518F84F5 Time : 0.0 sec. user=mdettweiler [2019-09-18 02:52:47] 843*2^1546664-1 is not prime. Res64: E950628693AC45C3 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:02:34] 857*2^1546664-1 is not prime. Res64: 654849DCBCE1FED2 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:02:35] 959*2^1546664-1 is not prime. Res64: 9FE19A0D7F1EE5B4 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:02:36] 601*2^1546665-1 is not prime. Res64: 280F963E22FC479F Time : 0.0 sec. user=mdettweiler [2019-09-18 03:02:36] 657*2^1546665-1 is not prime. Res64: 22227122B27E9BDA Time : 0.0 sec. user=mdettweiler [2019-09-18 03:02:37] 777*2^1546665-1 is not prime. Res64: A9809A65F9D74685 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:38:44] 781*2^1546665-1 is not prime. Res64: 5038A23924BEE5BF Time : 0.0 sec. user=mdettweiler [2019-09-18 03:38:46] 789*2^1546665-1 is not prime. Res64: E3FCDC5282352152 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:38:47] 877*2^1546665-1 is not prime. Res64: D25004E5E25F24C1 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:38:48] 915*2^1546665-1 is not prime. Res64: 24752FFBC524C878 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:38:49] 979*2^1546665-1 is not prime. Res64: 70B29D8E271A6CC4 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:44:27] 997*2^1546665-1 is not prime. Res64: E82C04FCCFCBC8E5 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:44:29] 653*2^1546666-1 is not prime. Res64: 6267E72C6E8531E7 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:44:30] 675*2^1546666-1 is not prime. Res64: 5AC76C8EFD329743 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:44:31] 887*2^1546666-1 is not prime. Res64: EB4E693110631C76 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:44:32] 911*2^1546666-1 is not prime. Res64: E558713BAB21C879 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:54:24] 941*2^1546666-1 is not prime. Res64: 9E2C5F5A299FFA07 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:54:25] 993*2^1546666-1 is not prime. Res64: 1830A84F35EC4D28 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:54:26] 603*2^1546667-1 is not prime. Res64: D77715D423E5831F Time : 0.0 sec. user=mdettweiler [2019-09-18 03:54:26] 669*2^1546667-1 is not prime. Res64: E18C418313FF6D70 Time : 0.0 sec. user=mdettweiler [2019-09-18 03:54:27] 775*2^1546667-1 is not prime. Res64: 73C835354F8B09D7 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:31:03] 871*2^1546667-1 is not prime. Res64: 18659783101E9C3B Time : 0.0 sec. user=mdettweiler [2019-09-18 04:31:06] 903*2^1546667-1 is not prime. Res64: 579BF523C7D527F6 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:31:08] 633*2^1546668-1 is not prime. Res64: 5D8A83DE647DAADF Time : 0.0 sec. user=mdettweiler [2019-09-18 04:31:09] 759*2^1546668-1 is not prime. Res64: 2602A1EA8D1437B7 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:31:10] 773*2^1546668-1 is not prime. Res64: 70DA0F1144167DEF Time : 0.0 sec. user=mdettweiler [2019-09-18 04:37:07] 839*2^1546668-1 is not prime. Res64: A9A9EFEDC493FFE8 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:37:08] 959*2^1546668-1 is not prime. Res64: 2EE2451CCCF872BF Time : 0.0 sec. user=mdettweiler [2019-09-18 04:37:10] 687*2^1546669-1 is not prime. Res64: D5049B57179E4B3C Time : 0.0 sec. user=mdettweiler [2019-09-18 04:37:11] 847*2^1546669-1 is not prime. Res64: 1274DF227E9B2C7E Time : 0.0 sec. user=mdettweiler [2019-09-18 04:37:12] 955*2^1546669-1 is not prime. Res64: BD6DC9A864891E98 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:46:29] 975*2^1546669-1 is not prime. Res64: 6FA04DFF772848C5 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:46:30] 791*2^1546670-1 is not prime. Res64: 87154CE0EAF85157 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:46:30] 857*2^1546670-1 is not prime. Res64: C189B33AD1117CC8 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:46:31] 893*2^1546670-1 is not prime. Res64: 11B9647197B78279 Time : 0.0 sec. user=mdettweiler [2019-09-18 04:46:32] 615*2^1546671-1 is not prime. Res64: 3E6378596D8D87CD Time : 0.0 sec. user=mdettweiler [2019-09-18 05:23:07] 649*2^1546671-1 is not prime. Res64: B556A2EF1F0715EF Time : 0.0 sec. user=mdettweiler [2019-09-18 05:23:08] 703*2^1546671-1 is not prime. Res64: 17F6BD3511099520 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:23:08] 751*2^1546671-1 is not prime. Res64: 77C8BEDECC306221 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:23:09] 931*2^1546671-1 is not prime. Res64: 142B729991030589 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:23:09] 969*2^1546671-1 is not prime. Res64: 4421694BA8D08CE4 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:28:44] 973*2^1546671-1 is not prime. Res64: 40D77D548DDBC529 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:28:44] 979*2^1546671-1 is not prime. Res64: 47311262895E90CC Time : 0.0 sec. user=mdettweiler [2019-09-18 05:28:45] 687*2^1546672-1 is not prime. Res64: 1B542CD78CAEBB81 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:28:45] 759*2^1546672-1 is not prime. Res64: C299993047AA8CEC Time : 0.0 sec. user=mdettweiler [2019-09-18 05:28:45] 827*2^1546672-1 is not prime. Res64: C471D719346BDEDD Time : 0.0 sec. user=mdettweiler [2019-09-18 05:38:01] 855*2^1546672-1 is not prime. Res64: 0CBB34C9911746D0 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:38:02] 915*2^1546672-1 is not prime. Res64: 4007EBDB6124CE6B Time : 0.0 sec. user=mdettweiler [2019-09-18 05:38:02] 627*2^1546673-1 is not prime. Res64: C16F8740F26F8730 Time : 0.0 sec. user=mdettweiler [2019-09-18 05:38:02] 657*2^1546673-1 is not prime. Res64: D08CEF633E0A89BF Time : 0.0 sec. user=mdettweiler [2019-09-18 05:38:03] 705*2^1546673-1 is not prime. Res64: 5826BE1BAD8488C6 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:14:18] 781*2^1546673-1 is not prime. Res64: 6FCFB5E882943F66 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:14:19] 795*2^1546673-1 is not prime. Res64: 751DB8F2D8460A66 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:14:19] 831*2^1546673-1 is not prime. Res64: 40D7A2CF649ADF62 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:14:20] 871*2^1546673-1 is not prime. Res64: 35A9F66DB827A85F Time : 0.0 sec. user=mdettweiler [2019-09-18 06:14:20] 621*2^1546674-1 is not prime. Res64: A6717E92C6FDDCFC Time : 0.0 sec. user=mdettweiler [2019-09-18 06:19:33] 627*2^1546674-1 is not prime. Res64: 6926B520FF48CCBA Time : 0.0 sec. user=mdettweiler [2019-09-18 06:19:34] 663*2^1546674-1 is not prime. Res64: 2394059BCED06D0C Time : 0.0 sec. user=mdettweiler [2019-09-18 06:19:35] 671*2^1546674-1 is not prime. Res64: 5C1723BE452AA0B4 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:19:36] 717*2^1546674-1 is not prime. Res64: A6E26EB310BF2A43 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:19:37] 783*2^1546674-1 is not prime. Res64: 4BF7DF6FD503EE15 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:29:24] 807*2^1546674-1 is not prime. Res64: DEBF565079052D93 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:29:25] 975*2^1546674-1 is not prime. Res64: 4498977F854285AC Time : 0.0 sec. user=mdettweiler [2019-09-18 06:29:25] 693*2^1546675-1 is not prime. Res64: 639F7DD19DD74928 Time : 0.0 sec. user=mdettweiler [2019-09-18 06:29:26] 751*2^1546675-1 is not prime. Res64: 932E78E2F5EDE64F Time : 0.0 sec. user=mdettweiler [2019-09-18 06:29:26] 843*2^1546675-1 is not prime. Res64: 97443C2941DC8690 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:06:36] 859*2^1546675-1 is not prime. Res64: F322DB0DFA10A063 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:06:37] 913*2^1546675-1 is not prime. Res64: 958C25198AD11D8D Time : 0.0 sec. user=mdettweiler [2019-09-18 07:06:38] 915*2^1546675-1 is not prime. Res64: 004F44C6D4F70C14 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:06:40] 961*2^1546675-1 is not prime. Res64: C2895981378F7AEB Time : 0.0 sec. user=mdettweiler [2019-09-18 07:06:41] 979*2^1546675-1 is not prime. Res64: F3C6D059FC1063AA Time : 0.0 sec. user=mdettweiler [2019-09-18 07:10:57] 609*2^1546676-1 is not prime. Res64: 0DF378C083FDF6D3 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:10:59] 749*2^1546676-1 is not prime. Res64: 61E460A9FBEB33CF Time : 0.0 sec. user=mdettweiler [2019-09-18 07:11:00] 773*2^1546676-1 is not prime. Res64: 8CFFBC497025582C Time : 0.0 sec. user=mdettweiler [2019-09-18 07:11:00] 785*2^1546676-1 is not prime. Res64: 882FDB4E6112D737 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:11:01] 897*2^1546676-1 is not prime. Res64: 9FF140A04814B9F0 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:20:29] 935*2^1546676-1 is not prime. Res64: DDB6246038CEB074 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:20:29] 601*2^1546677-1 is not prime. Res64: A343471689D7AAC7 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:20:30] 681*2^1546677-1 is not prime. Res64: 0ADF8D5A90D4E1C0 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:20:30] 747*2^1546677-1 is not prime. Res64: B7E612574A679044 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:20:30] 769*2^1546677-1 is not prime. Res64: 3A0072540789C5B5 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:58:40] 817*2^1546677-1 is not prime. Res64: 18BF56C5F80A2340 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:58:41] 901*2^1546677-1 is not prime. Res64: 108C815EB92F1C14 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:58:41] 985*2^1546677-1 is not prime. Res64: 24F1E8BF5F93CD5F Time : 0.0 sec. user=mdettweiler [2019-09-18 07:58:42] 651*2^1546678-1 is not prime. Res64: B8F7C28B8566B6C9 Time : 0.0 sec. user=mdettweiler [2019-09-18 07:58:42] 723*2^1546678-1 is not prime. Res64: 3DC8E7B3414F325F Time : 0.0 sec. user=mdettweiler [2019-09-18 08:02:19] 815*2^1546678-1 is not prime. Res64: 3EEC41CA2F92057C Time : 0.0 sec. user=mdettweiler [2019-09-18 08:02:21] 987*2^1546678-1 is not prime. Res64: 7486A46798CF0A51 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:02:22] 655*2^1546679-1 is not prime. Res64: 3F0489F236719162 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:02:23] 661*2^1546679-1 is not prime. Res64: 135593945FC27C12 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:02:24] 705*2^1546679-1 is not prime. Res64: BC6A822C6A134DA7 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:11:57] 771*2^1546679-1 is not prime. Res64: ABC10D4CBDBA50F0 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:11:58] 825*2^1546679-1 is not prime. Res64: 15FAB22AF09F9E19 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:11:58] 973*2^1546679-1 is not prime. Res64: 346260AC18C16D52 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:11:58] 985*2^1546679-1 is not prime. Res64: A08321AD67F2A5F7 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:11:59] 669*2^1546680-1 is not prime. Res64: B103E48459F8330E Time : 0.0 sec. user=mdettweiler [2019-09-18 08:50:10] 773*2^1546680-1 is not prime. Res64: 2A4E6A8B1DC96C73 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:50:10] 797*2^1546680-1 is not prime. Res64: CB9A5EBA68FB6572 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:50:11] 845*2^1546680-1 is not prime. Res64: 86E7273CC062BD19 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:50:11] 927*2^1546680-1 is not prime. Res64: 1EC7DE94BA4386AD Time : 0.0 sec. user=mdettweiler [2019-09-18 08:50:12] 601*2^1546681-1 is not prime. Res64: 36C43AB9D023AF90 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:53:51] 705*2^1546681-1 is not prime. Res64: 5E5C5953E8A67779 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:53:52] 829*2^1546681-1 is not prime. Res64: 53BF32953FAB8DD4 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:53:52] 867*2^1546681-1 is not prime. Res64: 17971F4BAF7A3664 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:53:53] 901*2^1546681-1 is not prime. Res64: 77CA9EE6CC78EC23 Time : 0.0 sec. user=mdettweiler [2019-09-18 08:53:53] 627*2^1546682-1 is not prime. Res64: 46AA87546147FF20 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:03:02] 675*2^1546682-1 is not prime. Res64: 96EC215D3E8741BE Time : 0.0 sec. user=mdettweiler [2019-09-18 09:03:04] 701*2^1546682-1 is not prime. Res64: 3BF2F66B5F7F82F9 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:03:05] 791*2^1546682-1 is not prime. Res64: 11097C02FAA2C179 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:03:06] 831*2^1546682-1 is not prime. Res64: 553B197701E06B0E Time : 0.0 sec. user=mdettweiler [2019-09-18 09:03:07] 945*2^1546682-1 is not prime. Res64: 193FD19BCD619506 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:41:02] 613*2^1546683-1 is not prime. Res64: 2453E437B379A79C Time : 0.0 sec. user=mdettweiler [2019-09-18 09:41:03] 675*2^1546683-1 is not prime. Res64: A68159A088B12D0F Time : 0.0 sec. user=mdettweiler [2019-09-18 09:41:03] 705*2^1546683-1 is not prime. Res64: 709FD3C768588998 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:41:04] 793*2^1546683-1 is not prime. Res64: 943754ECB78BC3BB Time : 0.0 sec. user=mdettweiler [2019-09-18 09:41:04] 805*2^1546683-1 is not prime. Res64: 8185FA0777AA31FB Time : 0.0 sec. user=mdettweiler [2019-09-18 09:45:12] 963*2^1546683-1 is not prime. Res64: 2F45001793F22464 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:45:12] 675*2^1546684-1 is not prime. Res64: 3D3AF235C0DA724E Time : 0.0 sec. user=mdettweiler [2019-09-18 09:45:13] 799*2^1546685-1 is not prime. Res64: CF87A1F9DD906DCE Time : 0.0 sec. user=mdettweiler [2019-09-18 09:45:13] 801*2^1546685-1 is not prime. Res64: 4BEEAB678E2B9B1B Time : 0.0 sec. user=mdettweiler [2019-09-18 09:45:14] 871*2^1546685-1 is not prime. Res64: 9941D30CA4CDC7FF Time : 0.0 sec. user=mdettweiler [2019-09-18 09:55:22] 889*2^1546685-1 is not prime. Res64: 09B61FC69A58593C Time : 0.0 sec. user=mdettweiler [2019-09-18 09:55:22] 937*2^1546685-1 is not prime. Res64: 1D81F087281A8E68 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:55:23] 747*2^1546686-1 is not prime. Res64: 25B6663B45317173 Time : 0.0 sec. user=mdettweiler [2019-09-18 09:55:23] 821*2^1546686-1 is not prime. Res64: 89519F223A94B86C Time : 0.0 sec. user=mdettweiler [2019-09-18 09:55:23] 867*2^1546686-1 is not prime. Res64: 0A3B3C467D94DF5B Time : 0.0 sec. user=mdettweiler [2019-09-18 10:32:31] 673*2^1546687-1 is not prime. Res64: 6689CBDF650B3561 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:32:32] 909*2^1546687-1 is not prime. Res64: B8377D41C1CD62FA Time : 0.0 sec. user=mdettweiler [2019-09-18 10:32:32] 973*2^1546687-1 is not prime. Res64: 84DCF60F3209D87F Time : 0.0 sec. user=mdettweiler [2019-09-18 10:32:33] 659*2^1546688-1 is not prime. Res64: 0C23288AB2A24643 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:32:33] 797*2^1546688-1 is not prime. Res64: 11683B60063A8AD3 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:37:32] 843*2^1546688-1 is not prime. Res64: 3EB8161C8BB474CD Time : 0.0 sec. user=mdettweiler [2019-09-18 10:37:32] 855*2^1546688-1 is not prime. Res64: C0B4B319EDFDBC51 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:37:33] 923*2^1546688-1 is not prime. Res64: 40811528CA77CD65 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:37:33] 977*2^1546688-1 is not prime. Res64: 1BC69D928EFFE82B Time : 0.0 sec. user=mdettweiler [2019-09-18 10:37:33] 999*2^1546688-1 is not prime. Res64: 0143066FF325FE73 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:46:10] 685*2^1546689-1 is not prime. Res64: AD5B529E3B738172 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:46:11] 765*2^1546689-1 is not prime. Res64: 84572B87CB3859E2 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:46:12] 611*2^1546690-1 is not prime. Res64: 1018BF4B62C68C84 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:46:13] 717*2^1546690-1 is not prime. Res64: 3E399666A2A67468 Time : 0.0 sec. user=mdettweiler [2019-09-18 10:46:14] 777*2^1546690-1 is not prime. Res64: C1A3816DC7C35DBF Time : 0.0 sec. user=mdettweiler [2019-09-18 11:25:34] 843*2^1546690-1 is not prime. Res64: 7A72B5651304D2CB Time : 0.0 sec. user=mdettweiler [2019-09-18 11:25:34] 867*2^1546690-1 is not prime. Res64: 0E06247D49F65E87 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:25:35] 873*2^1546690-1 is not prime. Res64: B306CC17139B5E44 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:25:36] 1001*2^1546690-1 is not prime. Res64: A67C8F263CB2A740 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:25:36] 621*2^1546691-1 is not prime. Res64: 7AA8EDE404ADCC03 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:28:35] 631*2^1546691-1 is not prime. Res64: 957E953D4D22CF7B Time : 0.0 sec. user=mdettweiler [2019-09-18 11:28:35] 783*2^1546691-1 is not prime. Res64: 0911F08284BEA068 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:28:35] 823*2^1546691-1 is not prime. Res64: 8D9EF59272F640EB Time : 0.0 sec. user=mdettweiler [2019-09-18 11:28:36] 973*2^1546691-1 is not prime. Res64: C102536C4002AB56 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:28:36] 737*2^1546692-1 is not prime. Res64: 0324F5F9DD0B450B Time : 0.0 sec. user=mdettweiler [2019-09-18 11:38:03] 797*2^1546692-1 is not prime. Res64: 0982B15688438E04 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:38:03] 843*2^1546692-1 is not prime. Res64: AD09995BBACA05FA Time : 0.0 sec. user=mdettweiler [2019-09-18 11:38:04] 959*2^1546692-1 is not prime. Res64: A4EB52ED6E89229B Time : 0.0 sec. user=mdettweiler [2019-09-18 11:38:04] 975*2^1546692-1 is not prime. Res64: 55AA7BC259527627 Time : 0.0 sec. user=mdettweiler [2019-09-18 11:38:04] 727*2^1546693-1 is not prime. Res64: F1868F3E46B39E7E Time : 0.0 sec. user=mdettweiler [2019-09-18 12:16:45] 801*2^1546693-1 is not prime. Res64: 142B9AE0454EEC42 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:16:46] 641*2^1546694-1 is not prime. Res64: 572EE551FD8E5ADD Time : 0.0 sec. user=mdettweiler [2019-09-18 12:16:46] 671*2^1546694-1 is not prime. Res64: 7FDBD1C70CE3E036 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:16:48] 677*2^1546694-1 is not prime. Res64: 3DEB00B4B4C099E3 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:16:49] 897*2^1546694-1 is not prime. Res64: 7ABCA9B3C447AE3B Time : 0.0 sec. user=mdettweiler [2019-09-18 12:20:09] 923*2^1546694-1 is not prime. Res64: 1608D3A904546969 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:20:10] 763*2^1546695-1 is not prime. Res64: 6D999F127C91DA70 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:20:10] 861*2^1546695-1 is not prime. Res64: 08AEDF447C064CB6 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:20:11] 695*2^1546696-1 is not prime. Res64: 33318002BF48DB65 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:20:11] 705*2^1546696-1 is not prime. Res64: 2B62BCD6373DF507 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:29:31] 785*2^1546696-1 is not prime. Res64: 4FF7E43E7A5D58C7 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:29:32] 933*2^1546696-1 is not prime. Res64: 43AF4E05C79A4D31 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:29:32] 969*2^1546696-1 is not prime. Res64: BAEE6B88E43CC1E3 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:29:33] 615*2^1546697-1 is not prime. Res64: EA2E397EB36759F5 Time : 0.0 sec. user=mdettweiler [2019-09-18 12:29:33] 637*2^1546697-1 is not prime. Res64: 108DAB8E246BBD18 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:08:01] 649*2^1546697-1 is not prime. Res64: 37C69C483EEF924A Time : 0.0 sec. user=mdettweiler [2019-09-18 13:08:02] 781*2^1546697-1 is not prime. Res64: 259786D2BE1D1EA9 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:08:02] 871*2^1546697-1 is not prime. Res64: A1B254DAF6A639B0 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:08:03] 611*2^1546698-1 is not prime. Res64: E86DA9D570C8F7F1 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:08:03] 755*2^1546698-1 is not prime. Res64: 5470945F95A09B2E Time : 0.0 sec. user=mdettweiler [2019-09-18 13:11:15] 619*2^1546699-1 is not prime. Res64: EEBA019F2F6AAFB8 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:11:16] 723*2^1546699-1 is not prime. Res64: 204312F93A7C60F3 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:11:16] 741*2^1546699-1 is not prime. Res64: DBBCC6F149057F23 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:11:16] 801*2^1546699-1 is not prime. Res64: 3116EA54FC82A706 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:11:17] 885*2^1546699-1 is not prime. Res64: EA65E197271EC1C4 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:20:29] 675*2^1546700-1 is not prime. Res64: 9B75CAFD2CD4D28C Time : 0.0 sec. user=mdettweiler [2019-09-18 13:20:29] 743*2^1546700-1 is not prime. Res64: 171CD18A08D53F1E Time : 0.0 sec. user=mdettweiler [2019-09-18 13:20:30] 755*2^1546700-1 is not prime. Res64: 79F90AB14BDCBF12 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:20:30] 797*2^1546700-1 is not prime. Res64: 6DF7AE75BE0AEBD7 Time : 0.0 sec. user=mdettweiler [2019-09-18 13:20:31] 839*2^1546700-1 is not prime. Res64: A7F99B784077B9A5 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:01:25] 875*2^1546700-1 is not prime. Res64: 937EC38366D75949 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:01:26] 977*2^1546700-1 is not prime. Res64: 4FF614B271E98132 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:01:28] 995*2^1546700-1 is not prime. Res64: 9301D01BAB8D596E Time : 0.0 sec. user=mdettweiler [2019-09-18 14:01:29] 999*2^1546700-1 is not prime. Res64: 55A0AD76C2A46210 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:01:30] 607*2^1546701-1 is not prime. Res64: B8FC362A171E8210 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:03:42] 621*2^1546701-1 is not prime. Res64: 96D0D51007495609 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:03:43] 727*2^1546701-1 is not prime. Res64: 01E6B9284EA5936D Time : 0.0 sec. user=mdettweiler [2019-09-18 14:03:45] 781*2^1546701-1 is not prime. Res64: 62B6ED00CB3F0181 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:03:46] 991*2^1546701-1 is not prime. Res64: 80D994E4A0537304 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:03:47] 723*2^1546702-1 is not prime. Res64: 688F3D9EFC5A1020 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:12:41] 731*2^1546702-1 is not prime. Res64: CE67E2F1F309E99A Time : 0.0 sec. user=mdettweiler [2019-09-18 14:12:44] 761*2^1546702-1 is not prime. Res64: FF09B887CAD6CC5E Time : 0.0 sec. user=mdettweiler [2019-09-18 14:12:46] 609*2^1546703-1 is not prime. Res64: 82B7358B4C1C829D Time : 0.0 sec. user=mdettweiler [2019-09-18 14:12:52] 715*2^1546703-1 is not prime. Res64: 770FCE324CD19DC5 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:12:54] 741*2^1546703-1 is not prime. Res64: D5FAE3396B11C385 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:53:37] 771*2^1546703-1 is not prime. Res64: 2A41A8BD8F56564B Time : 0.0 sec. user=mdettweiler [2019-09-18 14:53:37] 855*2^1546703-1 is not prime. Res64: 63F246B4A2B9D1D2 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:53:38] 623*2^1546704-1 is not prime. Res64: 4DE7665658514C28 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:53:38] 629*2^1546704-1 is not prime. Res64: F62FE65BFC9B4956 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:53:39] 635*2^1546704-1 is not prime. Res64: 242D5562839A9E56 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:55:44] 689*2^1546704-1 is not prime. Res64: 147458D3C1151F98 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:55:44] 719*2^1546704-1 is not prime. Res64: 77B94E9BDA884A78 Time : 0.0 sec. user=mdettweiler [2019-09-18 14:55:45] 863*2^1546704-1 is not prime. Res64: C4E1666B84FB478D Time : 0.0 sec. user=mdettweiler [2019-09-18 14:55:45] 917*2^1546704-1 is not prime. Res64: 0B7633B01FA42C2E Time : 0.0 sec. user=mdettweiler [2019-09-18 14:55:45] 983*2^1546704-1 is not prime. Res64: FFBFEF1FE7A28219 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:45:34] 985*2^1546705-1 is not prime. Res64: A764CCBEF71C2961 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:45:34] 999*2^1546705-1 is not prime. Res64: EBAD4EEA7FB3AAAD Time : 0.0 sec. user=mdettweiler [2019-09-18 15:45:35] 635*2^1546706-1 is not prime. Res64: 1717019918E8E775 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:45:35] 831*2^1546706-1 is not prime. Res64: 80374CE32E40191D Time : 0.0 sec. user=mdettweiler [2019-09-18 15:45:36] 851*2^1546706-1 is not prime. Res64: B1D964680CB75D2E Time : 0.0 sec. user=mdettweiler [2019-09-18 15:47:58] 875*2^1546706-1 is not prime. Res64: FB069C8EF88D4152 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:47:59] 893*2^1546706-1 is not prime. Res64: 90535B7E1DAD51D8 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:47:59] 945*2^1546706-1 is not prime. Res64: 853CC94F00692FAD Time : 0.0 sec. user=mdettweiler [2019-09-18 15:48:00] 957*2^1546706-1 is not prime. Res64: DCE19833ACFAA120 Time : 0.0 sec. user=mdettweiler [2019-09-18 15:48:01] 741*2^1546707-1 is not prime. Res64: AD41C1540764FC0F Time : 0.0 sec. user=mdettweiler [2019-09-18 16:37:16] 765*2^1546707-1 is not prime. Res64: 9E7405FF22104ADE Time : 0.0 sec. user=mdettweiler [2019-09-18 16:37:17] 931*2^1546707-1 is not prime. Res64: F35EA1E2641940F2 Time : 0.0 sec. user=mdettweiler [2019-09-18 16:37:17] 949*2^1546707-1 is not prime. Res64: 8ACDDE63BD4A63CD Time : 0.0 sec. user=mdettweiler [2019-09-18 16:37:18] 605*2^1546708-1 is not prime. Res64: 619CC713361BF1A6 Time : 0.0 sec. user=mdettweiler [2019-09-18 16:37:18] 833*2^1546708-1 is not prime. Res64: C751E3AC4C1464C5 Time : 0.0 sec. user=mdettweiler [2019-09-18 16:39:38] 929*2^1546708-1 is not prime. Res64: 21F6BF4671E7AD37 Time : 0.0 sec. user=mdettweiler [2019-09-18 16:39:38] 995*2^1546708-1 is not prime. Res64: 6283D8829A482685 Time : 0.0 sec. user=mdettweiler [2019-09-18 16:39:39] 601*2^1546709-1 is not prime. Res64: 23DA0C36DB3AE42A Time : 0.0 sec. user=mdettweiler [2019-09-18 16:39:39] 631*2^1546709-1 is not prime. Res64: 337C0FA60E2E20AE Time : 0.0 sec. user=mdettweiler [2019-09-18 16:39:40] 691*2^1546709-1 is not prime. Res64: B575E8794E3D4B79 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:29:39] 885*2^1546709-1 is not prime. Res64: EACB20EA782A7142 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:29:40] 897*2^1546709-1 is not prime. Res64: 02EC6EB0F280AA69 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:29:40] 925*2^1546709-1 is not prime. Res64: EA565E027B6F52A4 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:29:41] 951*2^1546709-1 is not prime. Res64: C1ECAA5FED2F5F1C Time : 0.0 sec. user=mdettweiler [2019-09-18 17:29:41] 725*2^1546710-1 is not prime. Res64: 4CD405B6675BF955 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:31:12] 843*2^1546710-1 is not prime. Res64: A8EA0658ED08E200 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:31:13] 861*2^1546710-1 is not prime. Res64: B61EB4E8325DC603 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:31:13] 619*2^1546711-1 is not prime. Res64: 029231B9CA0E0FFC Time : 0.0 sec. user=mdettweiler [2019-09-18 17:31:14] 645*2^1546711-1 is not prime. Res64: 60C759FDD7BC75F1 Time : 0.0 sec. user=mdettweiler [2019-09-18 17:31:14] 649*2^1546711-1 is not prime. Res64: 97AAB1381F17D6F1 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:21:38] 705*2^1546711-1 is not prime. Res64: C97377749D0AD4B7 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:21:38] 759*2^1546711-1 is not prime. Res64: B95494AFFFFEEDB5 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:21:40] 883*2^1546711-1 is not prime. Res64: C93ED11D1AC54FF1 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:21:41] 925*2^1546711-1 is not prime. Res64: D64D26D877D8E674 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:21:42] 975*2^1546711-1 is not prime. Res64: AD441D727EAE171A Time : 0.0 sec. user=mdettweiler [2019-09-18 18:22:29] 617*2^1546712-1 is not prime. Res64: A4A80929F4B92BE6 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:22:29] 665*2^1546712-1 is not prime. Res64: 6A879324D1EE94E0 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:22:30] 699*2^1546712-1 is not prime. Res64: A9CA93E4EA474234 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:22:30] 713*2^1546712-1 is not prime. Res64: 5D1935F113CCE3C8 Time : 0.0 sec. user=mdettweiler [2019-09-18 18:22:31] 899*2^1546712-1 is not prime. Res64: 10CC93803326C952 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:13:56] 963*2^1546712-1 is not prime. Res64: AD758B692001E4ED Time : 0.0 sec. user=mdettweiler [2019-09-18 19:13:57] 977*2^1546712-1 is not prime. Res64: 001384FC3BCB08C0 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:13:57] 983*2^1546712-1 is not prime. Res64: BDB44F695E84539B Time : 0.0 sec. user=mdettweiler [2019-09-18 19:13:57] 615*2^1546713-1 is not prime. Res64: 483D345882F8785A Time : 0.0 sec. user=mdettweiler [2019-09-18 19:13:58] 637*2^1546713-1 is not prime. Res64: 117CCDC1102237BF Time : 0.0 sec. user=mdettweiler [2019-09-18 19:14:15] 819*2^1546713-1 is not prime. Res64: 8EE9F551C95116F2 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:14:15] 849*2^1546713-1 is not prime. Res64: F80922C4B6B244EC Time : 0.0 sec. user=mdettweiler [2019-09-18 19:14:16] 951*2^1546713-1 is not prime. Res64: 0B47FE690E91BC63 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:14:16] 633*2^1546714-1 is not prime. Res64: 0343F64F94DD02C9 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:14:16] 705*2^1546714-1 is not prime. Res64: C9EB48893AC69D91 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:43:49] 619*2^1546705-1 is not prime. Res64: 70E213A892D9B2E3 Time : 0.0 sec. user=mdettweiler [2019-09-18 19:43:52] 645*2^1546705-1 is prime! Time : 0.0 sec. user=mdettweiler [2019-09-18 20:05:38] 717*2^1546714-1 is not prime. Res64: D2A8A0E3D309754B Time : 0.0 sec. user=mdettweiler [2019-09-18 20:05:41] 747*2^1546714-1 is not prime. Res64: 3971488092B47A4A Time : 0.0 sec. user=mdettweiler [2019-09-18 20:05:57] 755*2^1546714-1 is not prime. Res64: 7F185C4F71B89DC8 Time : 0.0 sec. user=mdettweiler [2019-09-18 20:06:16] 993*2^1546714-1 is not prime. Res64: 714CDA0948B6F848 Time : 0.0 sec.