user=mdettweiler [2017-05-26 00:15:06] 801*2^1454998-1 is not prime. Res64: C51E016AC273E6BB Time : 0.0 sec. user=mdettweiler [2017-05-26 00:15:06] 843*2^1454998-1 is not prime. Res64: 3C97187DB88EFC77 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:15:07] 1001*2^1454998-1 is not prime. Res64: E9D51863D2FE24D3 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:15:07] 643*2^1454999-1 is not prime. Res64: D5D1484CB9F2D136 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:15:07] 661*2^1454999-1 is not prime. Res64: A75414DA203C9E3B Time : 0.0 sec. user=mdettweiler [2017-05-26 00:20:41] 831*2^1454999-1 is not prime. Res64: 3506238B4D6E4A01 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:20:41] 949*2^1454999-1 is not prime. Res64: CE94964B0FE74987 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:20:41] 979*2^1454999-1 is not prime. Res64: 99FC4F18E2E92150 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:20:42] 669*2^1455000-1 is not prime. Res64: 727E48F56F30BE84 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:20:42] 689*2^1455000-1 is not prime. Res64: 5F97CFCC8DA51DC9 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:30:27] 723*2^1455000-1 is not prime. Res64: 89D184AA19CE16CD Time : 0.0 sec. user=mdettweiler [2017-05-26 00:30:27] 725*2^1455000-1 is not prime. Res64: F0B0FAB504336F00 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:30:27] 849*2^1455000-1 is not prime. Res64: 5F4DCDAF5C4CB572 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:30:27] 875*2^1455000-1 is not prime. Res64: 68A5A50E9FA4957D Time : 0.0 sec. user=mdettweiler [2017-05-26 00:30:27] 929*2^1455000-1 is not prime. Res64: C0B44406962BEF8F Time : 0.0 sec. user=mdettweiler [2017-05-26 00:43:24] 607*2^1455001-1 is not prime. Res64: 23C6C0F68C3719DF Time : 0.0 sec. user=mdettweiler [2017-05-26 00:43:24] 619*2^1455001-1 is not prime. Res64: 5FA4D02430C2408C Time : 0.0 sec. user=mdettweiler [2017-05-26 00:43:24] 645*2^1455001-1 is not prime. Res64: 0DD473543A2D3780 Time : 0.0 sec. user=mdettweiler [2017-05-26 00:43:24] 741*2^1455001-1 is not prime. Res64: 4C69DE631C6F2CCA Time : 0.0 sec. user=mdettweiler [2017-05-26 00:43:25] 769*2^1455001-1 is not prime. Res64: C75E2A9F2A2507CC Time : 0.0 sec. user=mdettweiler [2017-05-26 01:01:00] 847*2^1455001-1 is not prime. Res64: 5740D063F5D54241 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:01:00] 951*2^1455001-1 is not prime. Res64: C661B6396A8A0CC9 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:01:01] 967*2^1455001-1 is not prime. Res64: 75A71C2CF3D13AB8 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:01:01] 603*2^1455002-1 is not prime. Res64: 32C784FA513667ED Time : 0.0 sec. user=mdettweiler [2017-05-26 01:01:02] 627*2^1455002-1 is not prime. Res64: D8A797AFBF3409D4 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:06:22] 677*2^1455002-1 is not prime. Res64: 7C644CF2B8933FE0 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:06:23] 683*2^1455002-1 is not prime. Res64: B524DC007D9E37C9 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:06:25] 713*2^1455002-1 is not prime. Res64: ACC1CBE24E1BC237 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:06:25] 843*2^1455002-1 is not prime. Res64: 682A4FA38708AFEE Time : 0.0 sec. user=mdettweiler [2017-05-26 01:06:26] 953*2^1455002-1 is not prime. Res64: 455D5B18ADB384F2 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:15:52] 957*2^1455002-1 is not prime. Res64: 1AA41E5A8C8F4CBA Time : 0.0 sec. user=mdettweiler [2017-05-26 01:15:52] 649*2^1455003-1 is not prime. Res64: 812E733A3662962F Time : 0.0 sec. user=mdettweiler [2017-05-26 01:15:53] 703*2^1455003-1 is not prime. Res64: 5F02A0E1F79003B7 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:15:53] 901*2^1455003-1 is not prime. Res64: 32B9D85439781A08 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:15:53] 675*2^1455004-1 is not prime. Res64: B9A854AE6B313319 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:28:58] 695*2^1455004-1 is not prime. Res64: AE64334554598717 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:28:59] 755*2^1455004-1 is not prime. Res64: AA341FBE8AA180C5 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:28:59] 785*2^1455004-1 is not prime. Res64: B726D290A9B87019 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:29:00] 857*2^1455004-1 is not prime. Res64: 7F041E8F99EA4BFA Time : 0.0 sec. user=mdettweiler [2017-05-26 01:29:00] 887*2^1455004-1 is not prime. Res64: 7065220769850C5F Time : 0.0 sec. user=mdettweiler [2017-05-26 01:46:52] 939*2^1455004-1 is not prime. Res64: A47850232E91B5A4 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:46:53] 975*2^1455004-1 is not prime. Res64: 4D0D6926F51905B3 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:46:53] 669*2^1455005-1 is not prime. Res64: 837FC937CB35E63E Time : 0.0 sec. user=mdettweiler [2017-05-26 01:46:53] 741*2^1455005-1 is not prime. Res64: A5402EF387069410 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:46:53] 805*2^1455005-1 is not prime. Res64: B562E98ACCD954FE Time : 0.0 sec. user=mdettweiler [2017-05-26 01:52:11] 825*2^1455005-1 is not prime. Res64: 34A2A1E83542AC6D Time : 0.0 sec. user=mdettweiler [2017-05-26 01:52:11] 925*2^1455005-1 is not prime. Res64: D7AB365CBFA102E6 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:52:11] 939*2^1455005-1 is not prime. Res64: 0A18A16207D710C1 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:52:11] 635*2^1455006-1 is not prime. Res64: 5CD4DA999320B090 Time : 0.0 sec. user=mdettweiler [2017-05-26 01:52:12] 723*2^1455006-1 is not prime. Res64: 581E2B939BCAFA8B Time : 0.0 sec. user=mdettweiler [2017-05-26 02:01:29] 761*2^1455006-1 is not prime. Res64: 181F37189BD54ECE Time : 0.0 sec. user=mdettweiler [2017-05-26 02:01:30] 873*2^1455006-1 is not prime. Res64: 5F93D1689834663F Time : 0.0 sec. user=mdettweiler [2017-05-26 02:01:32] 975*2^1455006-1 is not prime. Res64: 7DACC135CC49ACFA Time : 0.0 sec. user=mdettweiler [2017-05-26 02:01:33] 609*2^1455007-1 is not prime. Res64: 315E486DCF3EB4DC Time : 0.0 sec. user=mdettweiler [2017-05-26 02:01:35] 715*2^1455007-1 is not prime. Res64: 18E3393E268CE01F Time : 0.0 sec. user=mdettweiler [2017-05-26 02:15:09] 763*2^1455007-1 is not prime. Res64: 0E11C592924B4B54 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:15:10] 775*2^1455007-1 is not prime. Res64: 547EA6BCA996296F Time : 0.0 sec. user=mdettweiler [2017-05-26 02:15:10] 919*2^1455007-1 is not prime. Res64: 26C25DBA6D87065E Time : 0.0 sec. user=mdettweiler [2017-05-26 02:15:10] 975*2^1455007-1 is not prime. Res64: 150E0FFFAF8A9EB8 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:15:10] 615*2^1455008-1 is not prime. Res64: D26707A97F03B554 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:32:43] 755*2^1455008-1 is not prime. Res64: 7CF964BCB259E9E3 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:32:43] 789*2^1455008-1 is not prime. Res64: 4D12AB5825DDE9C5 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:32:44] 803*2^1455008-1 is not prime. Res64: BE7E7505A070F277 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:32:44] 893*2^1455008-1 is not prime. Res64: 261976ECEBFABE0B Time : 0.0 sec. user=mdettweiler [2017-05-26 02:32:44] 675*2^1455009-1 is not prime. Res64: 235BD692D058F97B Time : 0.0 sec. user=mdettweiler [2017-05-26 02:37:55] 681*2^1455009-1 is not prime. Res64: 50504765A5B4E364 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:37:55] 765*2^1455009-1 is not prime. Res64: 57812CA6C5367B75 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:37:56] 781*2^1455009-1 is not prime. Res64: B9847FCC8F59C9D5 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:37:56] 817*2^1455009-1 is not prime. Res64: 055AD7D9095FE517 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:37:56] 949*2^1455009-1 is not prime. Res64: 484AD2672F9C2647 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:48:17] 663*2^1455010-1 is not prime. Res64: BD60F09F73A34ECE Time : 0.0 sec. user=mdettweiler [2017-05-26 02:48:17] 675*2^1455010-1 is not prime. Res64: 9F28A44DC33D48B6 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:48:17] 687*2^1455010-1 is not prime. Res64: C2A7ED0496107C6B Time : 0.0 sec. user=mdettweiler [2017-05-26 02:48:17] 735*2^1455010-1 is not prime. Res64: 02FBA10F77024FC0 Time : 0.0 sec. user=mdettweiler [2017-05-26 02:48:18] 773*2^1455010-1 is not prime. Res64: B1BF7C1E9D05D987 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:01:30] 825*2^1455010-1 is not prime. Res64: CFEAC255A28E5AFF Time : 0.0 sec. user=mdettweiler [2017-05-26 03:01:31] 857*2^1455010-1 is not prime. Res64: 5DE89E69A1D97119 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:01:31] 923*2^1455010-1 is not prime. Res64: FA628E19BB02A1C1 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:01:32] 987*2^1455010-1 is not prime. Res64: D8332720ECDB22AF Time : 0.0 sec. user=mdettweiler [2017-05-26 03:01:32] 603*2^1455011-1 is not prime. Res64: 1DE7B14DAB17176C Time : 0.0 sec. user=mdettweiler [2017-05-26 03:19:20] 621*2^1455011-1 is not prime. Res64: FBAAF0F5F5C299FE Time : 0.0 sec. user=mdettweiler [2017-05-26 03:19:21] 645*2^1455011-1 is not prime. Res64: 827A8F865E542832 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:19:21] 649*2^1455011-1 is not prime. Res64: 0E54C0EAC4361498 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:19:21] 673*2^1455011-1 is not prime. Res64: 74BDE53F2F8DFC59 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:19:21] 685*2^1455011-1 is not prime. Res64: 618482391B5E6EAF Time : 0.0 sec. user=mdettweiler [2017-05-26 03:24:47] 783*2^1455011-1 is not prime. Res64: AF1D6BC6620EE95F Time : 0.0 sec. user=mdettweiler [2017-05-26 03:24:48] 885*2^1455011-1 is not prime. Res64: 346B8F6FF24B609D Time : 0.0 sec. user=mdettweiler [2017-05-26 03:24:48] 955*2^1455011-1 is not prime. Res64: C52744CB70256D93 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:24:48] 979*2^1455011-1 is not prime. Res64: 72B6B420EAF1AA8F Time : 0.0 sec. user=mdettweiler [2017-05-26 03:24:48] 665*2^1455012-1 is not prime. Res64: 605B27599D0F726F Time : 0.0 sec. user=mdettweiler [2017-05-26 03:34:08] 683*2^1455012-1 is not prime. Res64: E69714702E584AC3 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:34:10] 797*2^1455012-1 is not prime. Res64: 38509F2A259FC376 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:34:11] 803*2^1455012-1 is not prime. Res64: AD8F6328C66AF677 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:34:12] 825*2^1455012-1 is not prime. Res64: EF3CBB171C8B6C14 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:34:13] 863*2^1455012-1 is not prime. Res64: 6D08FE39C9DEF51E Time : 0.0 sec. user=mdettweiler [2017-05-26 03:47:23] 867*2^1455012-1 is not prime. Res64: 8D7E536C825150D4 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:47:25] 903*2^1455012-1 is not prime. Res64: DE34A6B042616D6C Time : 0.0 sec. user=mdettweiler [2017-05-26 03:47:25] 959*2^1455012-1 is not prime. Res64: 11CCD652DB02707E Time : 0.0 sec. user=mdettweiler [2017-05-26 03:47:27] 727*2^1455013-1 is not prime. Res64: 8B0C858E6C55EA52 Time : 0.0 sec. user=mdettweiler [2017-05-26 03:47:27] 775*2^1455013-1 is not prime. Res64: 85D4427B55AABC9C Time : 0.0 sec. user=mdettweiler [2017-05-26 04:04:52] 827*2^1455014-1 is not prime. Res64: BEA92ED451256CE5 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:04:54] 857*2^1455014-1 is not prime. Res64: FAD5DF47D1C4D0E0 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:04:54] 887*2^1455014-1 is not prime. Res64: B131E71EFB860CD4 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:04:55] 897*2^1455014-1 is not prime. Res64: 0FB93D5F28BD78F6 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:04:55] 651*2^1455015-1 is not prime. Res64: 703641C6F41E41AC Time : 0.0 sec. user=mdettweiler [2017-05-26 04:10:12] 705*2^1455015-1 is not prime. Res64: C4B6303F09D6128C Time : 0.0 sec. user=mdettweiler [2017-05-26 04:10:12] 741*2^1455015-1 is not prime. Res64: 0CD8C913A66F08DC Time : 0.0 sec. user=mdettweiler [2017-05-26 04:10:12] 781*2^1455015-1 is not prime. Res64: F102DC6A71FED57A Time : 0.0 sec. user=mdettweiler [2017-05-26 04:10:12] 885*2^1455015-1 is not prime. Res64: BE5313F373A52F55 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:10:13] 963*2^1455015-1 is not prime. Res64: DE31A1AC26A49756 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:19:57] 645*2^1455016-1 is not prime. Res64: B459A6E472CC80F0 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:19:57] 705*2^1455016-1 is not prime. Res64: B66E7B72044AB0EC Time : 0.0 sec. user=mdettweiler [2017-05-26 04:19:57] 755*2^1455016-1 is not prime. Res64: 7A5B838D4D874512 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:19:58] 813*2^1455016-1 is not prime. Res64: 5322F3379CFFBCDF Time : 0.0 sec. user=mdettweiler [2017-05-26 04:19:58] 855*2^1455016-1 is not prime. Res64: 3FFD9E29352E3C91 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:33:32] 917*2^1455016-1 is not prime. Res64: 5C746F0731F45D08 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:33:32] 927*2^1455016-1 is not prime. Res64: F36427034148B706 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:33:33] 933*2^1455016-1 is not prime. Res64: BC499CFC7CA98F9E Time : 0.0 sec. user=mdettweiler [2017-05-26 04:33:33] 715*2^1455017-1 is not prime. Res64: 72638FF8B7D6DB11 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:33:33] 727*2^1455017-1 is not prime. Res64: F3B9919B559A1DC2 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:51:02] 729*2^1455017-1 is not prime. Res64: 755600C6DEF94ECE Time : 0.0 sec. user=mdettweiler [2017-05-26 04:51:03] 805*2^1455017-1 is not prime. Res64: 62B57DA05198FF84 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:51:03] 865*2^1455017-1 is not prime. Res64: E018F36FCD63D673 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:51:03] 867*2^1455017-1 is not prime. Res64: 3CA1E90E1F4B805F Time : 0.0 sec. user=mdettweiler [2017-05-26 04:51:03] 957*2^1455017-1 is not prime. Res64: 712D6B400530124C Time : 0.0 sec. user=mdettweiler [2017-05-26 04:55:38] 725*2^1455018-1 is not prime. Res64: B7308BA402EABEFB Time : 0.0 sec. user=mdettweiler [2017-05-26 04:55:38] 755*2^1455018-1 is not prime. Res64: 6F273842D03B1B35 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:55:38] 803*2^1455018-1 is not prime. Res64: 331609A19AABFCA9 Time : 0.0 sec. user=mdettweiler [2017-05-26 04:55:38] 601*2^1455019-1 is not prime. Res64: A5F874B570D9C55F Time : 0.0 sec. user=mdettweiler [2017-05-26 04:55:39] 609*2^1455019-1 is not prime. Res64: AC33DE08BA7BE762 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:05:31] 631*2^1455019-1 is not prime. Res64: 01E71DA8B84ED4EE Time : 0.0 sec. user=mdettweiler [2017-05-26 05:05:32] 759*2^1455019-1 is not prime. Res64: 9AFA76F96D5E18E1 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:05:33] 861*2^1455019-1 is not prime. Res64: BBB982ED41909FCA Time : 0.0 sec. user=mdettweiler [2017-05-26 05:05:34] 979*2^1455019-1 is not prime. Res64: 67B609BFAFDE833D Time : 0.0 sec. user=mdettweiler [2017-05-26 05:05:36] 999*2^1455019-1 is not prime. Res64: 9C4D23A3C77028DE Time : 0.0 sec. user=mdettweiler [2017-05-26 05:19:10] 609*2^1455020-1 is not prime. Res64: A01DEE1F6A5955C2 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:19:10] 725*2^1455020-1 is not prime. Res64: 4996D36B1C648154 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:19:10] 923*2^1455020-1 is not prime. Res64: 16D4C03E499DDDDA Time : 0.0 sec. user=mdettweiler [2017-05-26 05:19:10] 953*2^1455020-1 is not prime. Res64: 3612A63A44466097 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:19:11] 679*2^1455021-1 is not prime. Res64: D6AE676CDFDBAA78 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:37:03] 747*2^1455021-1 is not prime. Res64: 529A90BDF3075F82 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:37:04] 997*2^1455021-1 is not prime. Res64: 27977D7FD2EC5FFF Time : 0.0 sec. user=mdettweiler [2017-05-26 05:37:04] 717*2^1455022-1 is not prime. Res64: C14E92607EEB405C Time : 0.0 sec. user=mdettweiler [2017-05-26 05:37:04] 741*2^1455022-1 is not prime. Res64: EFD06F87C4D5CAFF Time : 0.0 sec. user=mdettweiler [2017-05-26 05:37:04] 911*2^1455022-1 is not prime. Res64: 364877867B19F2D7 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:41:17] 669*2^1455023-1 is not prime. Res64: 1912AB7F27DF908E Time : 0.0 sec. user=mdettweiler [2017-05-26 05:41:17] 705*2^1455023-1 is not prime. Res64: 4B24891F94FC54CD Time : 0.0 sec. user=mdettweiler [2017-05-26 05:41:17] 783*2^1455023-1 is not prime. Res64: 826556F8D175A2E1 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:41:18] 813*2^1455023-1 is not prime. Res64: A8FE6DC8661FEB7D Time : 0.0 sec. user=mdettweiler [2017-05-26 05:41:18] 895*2^1455023-1 is not prime. Res64: 17B8780D2386C775 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:51:04] 969*2^1455023-1 is not prime. Res64: 6FEB905640F3D611 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:51:05] 663*2^1455024-1 is not prime. Res64: 1537014F4232DE2F Time : 0.0 sec. user=mdettweiler [2017-05-26 05:51:05] 665*2^1455024-1 is not prime. Res64: 42DA86B89F33D39A Time : 0.0 sec. user=mdettweiler [2017-05-26 05:51:05] 675*2^1455024-1 is not prime. Res64: 358AA207F7510C45 Time : 0.0 sec. user=mdettweiler [2017-05-26 05:51:05] 707*2^1455024-1 is not prime. Res64: B4F4C9B1D8258E39 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:04:48] 759*2^1455024-1 is not prime. Res64: E27B3F0C68F77DBF Time : 0.0 sec. user=mdettweiler [2017-05-26 06:04:49] 765*2^1455024-1 is not prime. Res64: 5C966560FA03EB40 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:04:50] 863*2^1455024-1 is not prime. Res64: C6E245B90387228F Time : 0.0 sec. user=mdettweiler [2017-05-26 06:04:52] 685*2^1455025-1 is not prime. Res64: 46B3CCB00233B6D2 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:04:52] 715*2^1455025-1 is not prime. Res64: 9CC73D11C3F7013C Time : 0.0 sec. user=mdettweiler [2017-05-26 06:22:39] 721*2^1455025-1 is not prime. Res64: 205787F59417BD4A Time : 0.0 sec. user=mdettweiler [2017-05-26 06:22:39] 805*2^1455025-1 is not prime. Res64: 6AD38EA7670E8067 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:22:39] 841*2^1455025-1 is not prime. Res64: ADD6DA60E5C46652 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:22:40] 889*2^1455025-1 is not prime. Res64: DE8C0871FF4F4F2C Time : 0.0 sec. user=mdettweiler [2017-05-26 06:22:40] 937*2^1455025-1 is not prime. Res64: 31B9E77A0AD3A3E7 Time : 0.0 sec. user=juhehe [2017-05-26 06:24:26] 887*2^1455026-1 is not prime. Res64: 1F4FD747F1E29C38 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:26:55] 979*2^1455025-1 is not prime. Res64: FE9452A30DC7B767 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:26:56] 997*2^1455025-1 is not prime. Res64: 94CDA27CD6FA04B6 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:26:56] 641*2^1455026-1 is not prime. Res64: 68820915CB9B8BB2 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:26:56] 735*2^1455026-1 is not prime. Res64: AE1DAF378355F049 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:26:56] 801*2^1455026-1 is not prime. Res64: 88697746D24099D6 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:36:40] 945*2^1455026-1 is not prime. Res64: 12FBB44407FF580E Time : 0.0 sec. user=mdettweiler [2017-05-26 06:36:40] 953*2^1455026-1 is not prime. Res64: 687B5A2C8C9F8BA6 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:36:41] 993*2^1455026-1 is not prime. Res64: DC9BEC7608DFB804 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:36:41] 649*2^1455027-1 is not prime. Res64: 18BA83880F2D9C07 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:36:41] 691*2^1455027-1 is not prime. Res64: D66D7F0D799784EF Time : 0.0 sec. user=mdettweiler [2017-05-26 06:50:45] 873*2^1455027-1 is not prime. Res64: 0958CCA468D3FEF2 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:50:45] 919*2^1455027-1 is not prime. Res64: DCB5D77A5BA7E107 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:50:45] 963*2^1455027-1 is not prime. Res64: E75A1A51F2096531 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:50:45] 979*2^1455027-1 is not prime. Res64: 124D1D7BA2C51A03 Time : 0.0 sec. user=mdettweiler [2017-05-26 06:50:46] 605*2^1455028-1 is not prime. Res64: 921145B5783346DC Time : 0.0 sec. user=mdettweiler [2017-05-26 07:08:24] 663*2^1455028-1 is not prime. Res64: C5DC459BF168949A Time : 0.0 sec. user=mdettweiler [2017-05-26 07:08:24] 765*2^1455028-1 is not prime. Res64: FD11D012A26BB697 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:08:24] 863*2^1455028-1 is not prime. Res64: AF8F7C4E70962B35 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:08:25] 875*2^1455028-1 is not prime. Res64: 1384EC30A8DD205F Time : 0.0 sec. user=mdettweiler [2017-05-26 07:08:25] 909*2^1455028-1 is not prime. Res64: B8689659069B95E1 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:12:19] 947*2^1455028-1 is not prime. Res64: 995EB2E09EEBE8E9 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:12:20] 699*2^1455029-1 is not prime. Res64: 0B97480321D5EC9A Time : 0.0 sec. user=mdettweiler [2017-05-26 07:12:20] 829*2^1455029-1 is not prime. Res64: BBD57020E8299C76 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:12:20] 897*2^1455029-1 is not prime. Res64: 546E0ECD2E20E579 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:12:21] 791*2^1455030-1 is not prime. Res64: 2CCD0AE8996EE96D Time : 0.0 sec. user=mdettweiler [2017-05-26 07:22:15] 851*2^1455030-1 is not prime. Res64: D12100D963C8A914 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:22:15] 873*2^1455030-1 is not prime. Res64: 5E9E2187B06E7EEC Time : 0.0 sec. user=mdettweiler [2017-05-26 07:22:16] 651*2^1455031-1 is not prime. Res64: B8A458368A4580AB Time : 0.0 sec. user=mdettweiler [2017-05-26 07:22:16] 709*2^1455031-1 is not prime. Res64: C83FFBD7A62CEDA7 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:22:16] 901*2^1455031-1 is not prime. Res64: 0672D6C3E20EE305 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:36:20] 925*2^1455031-1 is not prime. Res64: 7070DD073C300043 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:36:20] 951*2^1455031-1 is not prime. Res64: 91BE6EE299F02273 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:36:20] 969*2^1455031-1 is not prime. Res64: 7D69C4ADA2B5DC98 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:36:20] 999*2^1455031-1 is not prime. Res64: 181AF6D4D8C02955 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:36:21] 623*2^1455032-1 is not prime. Res64: 2472AC3C6C71FE36 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:53:47] 635*2^1455032-1 is not prime. Res64: 09552FDB1C24028A Time : 0.0 sec. user=mdettweiler [2017-05-26 07:53:47] 669*2^1455032-1 is not prime. Res64: EE109358BDFA109D Time : 0.0 sec. user=mdettweiler [2017-05-26 07:53:48] 767*2^1455032-1 is not prime. Res64: 17462B727359D9FD Time : 0.0 sec. user=mdettweiler [2017-05-26 07:53:48] 833*2^1455032-1 is not prime. Res64: E82497DBC51AE9FD Time : 0.0 sec. user=mdettweiler [2017-05-26 07:53:48] 843*2^1455032-1 is not prime. Res64: FF7765D18D92E935 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:57:52] 857*2^1455032-1 is not prime. Res64: 5B925E39A0EFA46C Time : 0.0 sec. user=mdettweiler [2017-05-26 07:57:52] 651*2^1455033-1 is not prime. Res64: BBC13E494E49E4E2 Time : 0.0 sec. user=mdettweiler [2017-05-26 07:57:53] 685*2^1455033-1 is not prime. Res64: 7D9FCAFEF985947E Time : 0.0 sec. user=mdettweiler [2017-05-26 07:57:53] 765*2^1455033-1 is not prime. Res64: 1B7C2E7FCD12B2FF Time : 0.0 sec. user=mdettweiler [2017-05-26 07:57:53] 795*2^1455033-1 is not prime. Res64: F9E0BEDDB00BB17A Time : 0.0 sec. user=juhehe [2017-05-26 08:00:06] 811*2^1455033-1 is not prime. Res64: 1A4E68889FF7C7A0 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:07:46] 871*2^1455033-1 is not prime. Res64: 4C6863097CD58DFB Time : 0.0 sec. user=mdettweiler [2017-05-26 08:07:46] 921*2^1455033-1 is not prime. Res64: 11D020C81C2B0BD1 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:07:46] 979*2^1455033-1 is not prime. Res64: 1A0CE51400933E2A Time : 0.0 sec. user=mdettweiler [2017-05-26 08:07:47] 621*2^1455034-1 is not prime. Res64: 597D73C703548143 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:07:47] 783*2^1455034-1 is not prime. Res64: BCECE439C9EC553F Time : 0.0 sec. user=mdettweiler [2017-05-26 08:21:47] 831*2^1455034-1 is not prime. Res64: 4DE406FDD8AE3459 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:21:47] 857*2^1455034-1 is not prime. Res64: 33A13D948B6E6DAD Time : 0.0 sec. user=mdettweiler [2017-05-26 08:21:47] 917*2^1455034-1 is not prime. Res64: C1EF2E67E8A4C2B0 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:21:48] 945*2^1455034-1 is not prime. Res64: 7F8D242680F98C5B Time : 0.0 sec. user=mdettweiler [2017-05-26 08:21:48] 603*2^1455035-1 is not prime. Res64: 803E34D4E96BE91C Time : 0.0 sec. user=mdettweiler [2017-05-26 08:39:24] 609*2^1455035-1 is not prime. Res64: 0E59E4EF9D67A919 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:39:24] 651*2^1455035-1 is not prime. Res64: 4AF3BA8C00AAD48B Time : 0.0 sec. user=mdettweiler [2017-05-26 08:39:24] 693*2^1455035-1 is not prime. Res64: 8AA628CF9891D3AD Time : 0.0 sec. user=mdettweiler [2017-05-26 08:39:25] 871*2^1455035-1 is not prime. Res64: 34BAECC4C5E63764 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:39:25] 939*2^1455035-1 is not prime. Res64: BC7DF6128A6BC792 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:43:19] 623*2^1455036-1 is not prime. Res64: C590D9BE5E462E21 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:43:19] 683*2^1455036-1 is not prime. Res64: 289FCFF19D7AD7E4 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:43:19] 707*2^1455036-1 is not prime. Res64: 41913E31176FC203 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:43:20] 767*2^1455036-1 is not prime. Res64: 68FE9B6B20AF83E6 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:43:20] 777*2^1455036-1 is not prime. Res64: 65AB5ABE366C74B4 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:53:23] 843*2^1455036-1 is not prime. Res64: 2A205BD01381E387 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:53:24] 899*2^1455036-1 is not prime. Res64: BDC614E9A9617E23 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:53:24] 905*2^1455036-1 is not prime. Res64: 7421168E914570CC Time : 0.0 sec. user=mdettweiler [2017-05-26 08:53:24] 975*2^1455036-1 is not prime. Res64: 2F17F5F4480EB6B0 Time : 0.0 sec. user=mdettweiler [2017-05-26 08:53:24] 983*2^1455036-1 is not prime. Res64: 85F2BBAB02CC6D36 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:07:07] 625*2^1455037-1 is not prime. Res64: 9F585D7FCB43D9F8 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:07:07] 729*2^1455037-1 is not prime. Res64: 1C50C66BD40DA870 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:07:08] 847*2^1455037-1 is not prime. Res64: 4FED92CB9E9A89FD Time : 0.0 sec. user=mdettweiler [2017-05-26 09:07:08] 871*2^1455037-1 is not prime. Res64: 0C3850CF3D9B1DDE Time : 0.0 sec. user=mdettweiler [2017-05-26 09:07:08] 885*2^1455037-1 is not prime. Res64: 821A7979381BCEB8 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:25:03] 915*2^1455037-1 is not prime. Res64: CF78E2CE7F8F11D6 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:25:03] 919*2^1455037-1 is not prime. Res64: 499AB1AFB1AA4DDE Time : 0.0 sec. user=mdettweiler [2017-05-26 09:25:03] 937*2^1455037-1 is not prime. Res64: 4E74DD49176011D7 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:25:03] 985*2^1455037-1 is not prime. Res64: 5C4195843154B89F Time : 0.0 sec. user=mdettweiler [2017-05-26 09:25:03] 605*2^1455038-1 is not prime. Res64: D817EB5BFF69767B Time : 0.0 sec. user=mdettweiler [2017-05-26 09:28:47] 731*2^1455038-1 is not prime. Res64: 2417CE569DD947E6 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:28:47] 743*2^1455038-1 is not prime. Res64: 4552EAFA9C59DF2F Time : 0.0 sec. user=mdettweiler [2017-05-26 09:28:48] 945*2^1455038-1 is not prime. Res64: 12737B8C6609B5ED Time : 0.0 sec. user=mdettweiler [2017-05-26 09:28:48] 615*2^1455039-1 is not prime. Res64: A6F42CD89C39F6AC Time : 0.0 sec. user=mdettweiler [2017-05-26 09:28:48] 661*2^1455039-1 is not prime. Res64: A738ED03BD2AAAD4 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:38:49] 663*2^1455039-1 is not prime. Res64: 6CB94A0DD24218FF Time : 0.0 sec. user=mdettweiler [2017-05-26 09:38:49] 669*2^1455039-1 is not prime. Res64: 9BACF871D36B8C05 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:38:49] 685*2^1455039-1 is not prime. Res64: 73727D1ED5925AC2 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:38:50] 705*2^1455039-1 is not prime. Res64: 2563BE659B52A21B Time : 0.0 sec. user=mdettweiler [2017-05-26 09:38:50] 709*2^1455039-1 is not prime. Res64: 9FBA540F66E99FE7 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:52:30] 735*2^1455039-1 is not prime. Res64: BF09792C5B0071EF Time : 0.0 sec. user=mdettweiler [2017-05-26 09:52:30] 763*2^1455039-1 is not prime. Res64: B5F2D76851478EFA Time : 0.0 sec. user=mdettweiler [2017-05-26 09:52:30] 829*2^1455039-1 is not prime. Res64: 9BB8C4DC0B277021 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:52:31] 865*2^1455039-1 is not prime. Res64: 117D2146C7AB5513 Time : 0.0 sec. user=mdettweiler [2017-05-26 09:52:31] 975*2^1455039-1 is not prime. Res64: 60032F97169EA6D0 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:10:29] 999*2^1455039-1 is not prime. Res64: 035488412058F091 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:10:29] 629*2^1455040-1 is not prime. Res64: DDD2DAFEBFA67229 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:10:29] 695*2^1455040-1 is not prime. Res64: EFD8EF563EDA60EE Time : 0.0 sec. user=mdettweiler [2017-05-26 10:10:30] 717*2^1455040-1 is not prime. Res64: 0FB331C71BAA2C99 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:10:30] 743*2^1455040-1 is not prime. Res64: B326526B981777CA Time : 0.0 sec. user=mdettweiler [2017-05-26 10:14:22] 777*2^1455040-1 is not prime. Res64: D1AD424342B79208 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:14:22] 785*2^1455040-1 is not prime. Res64: 0E8F673B6DD195C2 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:14:22] 819*2^1455040-1 is not prime. Res64: 6E378FF1E9822CF7 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:14:23] 917*2^1455040-1 is not prime. Res64: C686EF460269F233 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:14:23] 649*2^1455041-1 is not prime. Res64: 57F0BACD83EADC11 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:24:35] 697*2^1455041-1 is not prime. Res64: 33972A048420D7A1 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:24:36] 715*2^1455041-1 is not prime. Res64: 1C9A2FED0A848F31 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:24:36] 727*2^1455041-1 is not prime. Res64: C172DEE912908B3D Time : 0.0 sec. user=mdettweiler [2017-05-26 10:24:36] 819*2^1455041-1 is not prime. Res64: 8D468A53EFA094E4 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:24:36] 855*2^1455041-1 is not prime. Res64: 48D888D58CF068AE Time : 0.0 sec. user=mdettweiler [2017-05-26 10:37:54] 647*2^1455042-1 is not prime. Res64: EE43CF01AB02DECE Time : 0.0 sec. user=mdettweiler [2017-05-26 10:37:54] 803*2^1455042-1 is not prime. Res64: 0F87588CE53BC218 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:37:54] 825*2^1455042-1 is not prime. Res64: 5825EF2C7C80514F Time : 0.0 sec. user=mdettweiler [2017-05-26 10:37:54] 903*2^1455042-1 is not prime. Res64: 00285777A47CDE12 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:37:55] 947*2^1455042-1 is not prime. Res64: 32D7871B75B357C8 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:56:10] 983*2^1455042-1 is not prime. Res64: A1C0BED868D36ED6 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:56:10] 679*2^1455043-1 is not prime. Res64: 0252981F6F2AF61D Time : 0.0 sec. user=mdettweiler [2017-05-26 10:56:10] 783*2^1455043-1 is not prime. Res64: 1EA5D549399C928B Time : 0.0 sec. user=mdettweiler [2017-05-26 10:56:10] 859*2^1455043-1 is not prime. Res64: B3C9F81DDEB92460 Time : 0.0 sec. user=mdettweiler [2017-05-26 10:56:11] 861*2^1455043-1 is not prime. Res64: 2958534136718EE4 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:00:24] 871*2^1455043-1 is not prime. Res64: 121F82DA89210E17 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:00:24] 891*2^1455043-1 is not prime. Res64: D71C1227860C26B1 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:00:25] 919*2^1455043-1 is not prime. Res64: 6D1608366B816F17 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:00:25] 993*2^1455043-1 is not prime. Res64: C3E7F50F6902CBA8 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:00:25] 635*2^1455044-1 is not prime. Res64: 1A603B5373BBAB32 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:10:44] 659*2^1455044-1 is not prime. Res64: 511E6F1A5FA68C70 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:10:45] 855*2^1455044-1 is not prime. Res64: 101C8A4594A9FBB1 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:10:45] 741*2^1455045-1 is not prime. Res64: 8D4AFFE1027C9AE1 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:10:45] 861*2^1455045-1 is not prime. Res64: 9735614D986A0305 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:10:46] 915*2^1455045-1 is not prime. Res64: 6EAC5B2CD4F90372 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:23:54] 949*2^1455045-1 is not prime. Res64: BEDFC47C5A5BAC94 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:23:55] 955*2^1455045-1 is not prime. Res64: A16D7F559A8D6000 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:23:55] 651*2^1455046-1 is not prime. Res64: F27ACDE875B55F70 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:23:55] 657*2^1455046-1 is not prime. Res64: F9CD0848E6750D7D Time : 0.0 sec. user=mdettweiler [2017-05-26 11:23:55] 815*2^1455046-1 is not prime. Res64: 5BDFB162AB6EFFF2 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:42:13] 843*2^1455046-1 is not prime. Res64: CC152B674C578C2D Time : 0.0 sec. user=mdettweiler [2017-05-26 11:42:13] 861*2^1455046-1 is not prime. Res64: 974BF11ECBA74174 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:42:13] 891*2^1455046-1 is not prime. Res64: 0FDE7589EDF9BC7A Time : 0.0 sec. user=mdettweiler [2017-05-26 11:42:13] 911*2^1455046-1 is not prime. Res64: 5DF8F576BCCE116A Time : 0.0 sec. user=mdettweiler [2017-05-26 11:42:14] 971*2^1455046-1 is not prime. Res64: 33A790C3B3511847 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:46:00] 655*2^1455047-1 is not prime. Res64: 51376144371C2980 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:46:01] 663*2^1455047-1 is not prime. Res64: 603B7F0C0BD11C7F Time : 0.0 sec. user=mdettweiler [2017-05-26 11:46:01] 735*2^1455047-1 is not prime. Res64: 3EAED76023426A85 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:46:01] 841*2^1455047-1 is not prime. Res64: C60B351D19E0B0DC Time : 0.0 sec. user=mdettweiler [2017-05-26 11:46:01] 955*2^1455047-1 is not prime. Res64: D548EEC367D8FA63 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:56:07] 985*2^1455047-1 is not prime. Res64: 7A8450B38B872640 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:56:07] 629*2^1455048-1 is not prime. Res64: DC6EDF93FA599DD4 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:56:08] 657*2^1455048-1 is not prime. Res64: D3C830BD7E5EFAC9 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:56:08] 663*2^1455048-1 is not prime. Res64: BD9AB92DBC8B02A2 Time : 0.0 sec. user=mdettweiler [2017-05-26 11:56:08] 753*2^1455048-1 is not prime. Res64: F1120C8F6BE434C0 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:09:20] 803*2^1455048-1 is not prime. Res64: 3F92FC6463CE2E02 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:09:21] 843*2^1455048-1 is not prime. Res64: 78325B3601362B24 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:09:21] 845*2^1455048-1 is not prime. Res64: B5E5188AEF9E429C Time : 0.0 sec. user=mdettweiler [2017-05-26 12:09:21] 879*2^1455048-1 is not prime. Res64: 39B7308293CABDEC Time : 0.0 sec. user=mdettweiler [2017-05-26 12:09:21] 887*2^1455048-1 is not prime. Res64: B07C2CA94295E2BA Time : 0.0 sec. user=mdettweiler [2017-05-26 12:27:44] 927*2^1455048-1 is not prime. Res64: 99DACF91CBB8CEEF Time : 0.0 sec. user=mdettweiler [2017-05-26 12:27:44] 741*2^1455049-1 is not prime. Res64: CA7947003A67CB00 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:27:44] 799*2^1455049-1 is not prime. Res64: 467ACA0775B01C73 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:27:45] 817*2^1455049-1 is not prime. Res64: CECC6031270AC5E4 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:27:45] 831*2^1455049-1 is not prime. Res64: C0081119FEFE8795 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:31:36] 895*2^1455049-1 is not prime. Res64: 779A628508A46271 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:31:36] 687*2^1455050-1 is not prime. Res64: B05C72305C571E5A Time : 0.0 sec. user=mdettweiler [2017-05-26 12:31:37] 707*2^1455050-1 is not prime. Res64: C39AA9CCFD023931 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:31:37] 755*2^1455050-1 is not prime. Res64: 68EC445B5AC4E041 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:31:37] 783*2^1455050-1 is not prime. Res64: 0A41E42F09B7DC35 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:41:39] 833*2^1455050-1 is not prime. Res64: 72DEDB0B0CB5F42E Time : 0.0 sec. user=mdettweiler [2017-05-26 12:41:40] 951*2^1455050-1 is not prime. Res64: 87116BE01CFCC9A5 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:41:40] 621*2^1455051-1 is not prime. Res64: 7198EED26282C0BB Time : 0.0 sec. user=mdettweiler [2017-05-26 12:41:40] 685*2^1455051-1 is not prime. Res64: B523A1829B956612 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:41:40] 723*2^1455051-1 is not prime. Res64: 884E926B6EF9CAA4 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:54:46] 951*2^1455051-1 is not prime. Res64: 4557C4B6C2546236 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:54:46] 961*2^1455051-1 is not prime. Res64: 670788B0C72077B5 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:54:46] 635*2^1455052-1 is not prime. Res64: D51321A80F42CD90 Time : 0.0 sec. user=mdettweiler [2017-05-26 12:54:46] 759*2^1455052-1 is not prime. Res64: 4CD99586BA28CFBF Time : 0.0 sec. user=mdettweiler [2017-05-26 12:54:47] 827*2^1455052-1 is not prime. Res64: ABAD07EB52D01268 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:13:23] 987*2^1455052-1 is not prime. Res64: EA8138F487440F71 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:13:24] 685*2^1455053-1 is not prime. Res64: 314A65CDF1DF71A7 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:13:24] 771*2^1455053-1 is not prime. Res64: BBC68C8B1A9A90E7 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:13:24] 775*2^1455053-1 is not prime. Res64: A0D335A303A0A208 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:13:25] 787*2^1455053-1 is not prime. Res64: 8F5AFFBD75394AA4 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:17:18] 831*2^1455053-1 is not prime. Res64: B702F01519886538 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:17:18] 859*2^1455053-1 is not prime. Res64: 26C7747FF190DCF1 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:17:18] 885*2^1455053-1 is not prime. Res64: 3B8E092CCCBF413B Time : 0.0 sec. user=mdettweiler [2017-05-26 13:17:19] 897*2^1455053-1 is not prime. Res64: 0B4C69FDB232CE6C Time : 0.0 sec. user=mdettweiler [2017-05-26 13:17:19] 901*2^1455053-1 is not prime. Res64: 987C5290B860D6BC Time : 0.0 sec. user=mdettweiler [2017-05-26 13:27:13] 937*2^1455053-1 is not prime. Res64: F055961920883CFB Time : 0.0 sec. user=mdettweiler [2017-05-26 13:27:13] 627*2^1455054-1 is not prime. Res64: 0E80F780AEEFCAD0 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:27:14] 663*2^1455054-1 is not prime. Res64: 5F542F80D8937F06 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:27:14] 723*2^1455054-1 is not prime. Res64: 3993912554F2C7B4 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:27:14] 903*2^1455054-1 is not prime. Res64: 702E90211E6E3361 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:40:26] 951*2^1455054-1 is not prime. Res64: E1AAC53B0BBFBBA7 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:40:26] 993*2^1455054-1 is not prime. Res64: 0A21D377B9495E70 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:40:26] 1001*2^1455054-1 is not prime. Res64: 8BAD90141DFC6D14 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:40:27] 639*2^1455055-1 is not prime. Res64: 33C73A4C21A9E077 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:40:27] 715*2^1455055-1 is not prime. Res64: EFA506CD1CAA2A98 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:59:11] 765*2^1455055-1 is not prime. Res64: 458A1A7DCFF94336 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:59:11] 783*2^1455055-1 is not prime. Res64: C58441B022A84F4E Time : 0.0 sec. user=mdettweiler [2017-05-26 13:59:11] 913*2^1455055-1 is not prime. Res64: 5CA6D53477D8FB22 Time : 0.0 sec. user=mdettweiler [2017-05-26 13:59:11] 609*2^1455056-1 is not prime. Res64: 438278D94629E66C Time : 0.0 sec. user=mdettweiler [2017-05-26 13:59:11] 669*2^1455056-1 is not prime. Res64: EE7F8AB9FF1A14BA Time : 0.0 sec. user=mdettweiler [2017-05-26 14:03:04] 725*2^1455056-1 is not prime. Res64: D16F7B5F810EC29D Time : 0.0 sec. user=mdettweiler [2017-05-26 14:03:06] 735*2^1455056-1 is not prime. Res64: 345179887E897E8B Time : 0.0 sec. user=mdettweiler [2017-05-26 14:03:07] 755*2^1455056-1 is not prime. Res64: 2E6BF22630CE59F3 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:03:08] 873*2^1455056-1 is not prime. Res64: 355D884073C71ECF Time : 0.0 sec. user=mdettweiler [2017-05-26 14:03:08] 935*2^1455056-1 is not prime. Res64: 8C2CBFFA98F90E05 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:12:41] 963*2^1455056-1 is not prime. Res64: BDA5BF71057836DD Time : 0.0 sec. user=mdettweiler [2017-05-26 14:12:41] 609*2^1455057-1 is not prime. Res64: 7804B586A8C80A77 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:12:42] 615*2^1455057-1 is not prime. Res64: BD2F2FE591967067 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:12:42] 847*2^1455057-1 is not prime. Res64: 44105781AD9EC32B Time : 0.0 sec. user=mdettweiler [2017-05-26 14:12:42] 865*2^1455057-1 is not prime. Res64: D19383914EB09A1D Time : 0.0 sec. user=mdettweiler [2017-05-26 14:26:05] 871*2^1455057-1 is not prime. Res64: 60E318505C6D1752 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:26:05] 915*2^1455057-1 is not prime. Res64: 3C87FE29FA94E8C6 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:26:05] 979*2^1455057-1 is not prime. Res64: 2F9C4F7E257DB81E Time : 0.0 sec. user=mdettweiler [2017-05-26 14:26:06] 671*2^1455058-1 is not prime. Res64: E123BE115F91802C Time : 0.0 sec. user=mdettweiler [2017-05-26 14:26:06] 687*2^1455058-1 is not prime. Res64: 07A56B18C10F63B0 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:44:49] 791*2^1455058-1 is not prime. Res64: F66E7717E5C31805 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:44:49] 801*2^1455058-1 is not prime. Res64: C514E208E3233F20 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:44:50] 843*2^1455058-1 is not prime. Res64: 02AB58C901FAE0C4 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:44:50] 855*2^1455058-1 is not prime. Res64: 8FA8A5E0D7802C4F Time : 0.0 sec. user=mdettweiler [2017-05-26 14:44:50] 857*2^1455058-1 is not prime. Res64: DFB1042C1B532B83 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:48:48] 881*2^1455058-1 is not prime. Res64: 0B9A5AC23427773D Time : 0.0 sec. user=mdettweiler [2017-05-26 14:48:48] 957*2^1455058-1 is not prime. Res64: FE0F70C244F95115 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:48:49] 987*2^1455058-1 is not prime. Res64: C05E1AD891A18AE6 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:48:49] 609*2^1455059-1 is not prime. Res64: 5D4850B487ADAF5B Time : 0.0 sec. user=mdettweiler [2017-05-26 14:48:49] 675*2^1455059-1 is not prime. Res64: 64D4E15B0086B290 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:58:06] 705*2^1455059-1 is not prime. Res64: CEFC6A69E71A026C Time : 0.0 sec. user=mdettweiler [2017-05-26 14:58:06] 735*2^1455059-1 is not prime. Res64: 8C29EA27AD5C6E5E Time : 0.0 sec. user=mdettweiler [2017-05-26 14:58:06] 759*2^1455059-1 is not prime. Res64: 8B616B20E08C4E8F Time : 0.0 sec. user=mdettweiler [2017-05-26 14:58:06] 811*2^1455059-1 is not prime. Res64: F1AF7C478DE079E8 Time : 0.0 sec. user=mdettweiler [2017-05-26 14:58:07] 783*2^1455060-1 is not prime. Res64: 4B12690DADCF84F7 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:11:26] 795*2^1455060-1 is not prime. Res64: 3B624B9DADBA11F2 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:11:27] 819*2^1455060-1 is not prime. Res64: 588EBC1C0C5D2207 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:11:27] 839*2^1455060-1 is not prime. Res64: 33B3126F76DC00F2 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:11:27] 933*2^1455060-1 is not prime. Res64: C08FF31F1400E96D Time : 0.0 sec. user=mdettweiler [2017-05-26 15:11:27] 983*2^1455060-1 is not prime. Res64: C461EA27B72D6D44 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:30:30] 987*2^1455060-1 is not prime. Res64: 7FB65A9D2E3E1AA8 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:30:31] 777*2^1455061-1 is not prime. Res64: 7D604F243A036F04 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:30:31] 901*2^1455061-1 is not prime. Res64: 82C9E56E146C1300 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:30:31] 939*2^1455061-1 is not prime. Res64: E22E87BA4E3070EA Time : 0.0 sec. user=mdettweiler [2017-05-26 15:30:31] 945*2^1455061-1 is not prime. Res64: 1299D0BF54A71B54 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:34:28] 951*2^1455061-1 is not prime. Res64: ED45A7A6FAC9D861 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:34:28] 987*2^1455061-1 is not prime. Res64: 63E69FC3E8D42368 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:34:29] 801*2^1455062-1 is not prime. Res64: 32BEB01703E27795 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:34:29] 897*2^1455062-1 is not prime. Res64: 8BFA8F68EEAAC649 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:34:29] 951*2^1455062-1 is not prime. Res64: 9CBB801FB36B6DE0 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:43:30] 693*2^1455063-1 is not prime. Res64: 98F6AFA394874BC3 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:43:30] 849*2^1455063-1 is not prime. Res64: B62D3B9312C5706C Time : 0.0 sec. user=mdettweiler [2017-05-26 15:43:31] 879*2^1455063-1 is not prime. Res64: A72322F74CAD340E Time : 0.0 sec. user=mdettweiler [2017-05-26 15:43:31] 921*2^1455063-1 is not prime. Res64: 5D834DF5FB636019 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:43:31] 949*2^1455063-1 is not prime. Res64: 08D97E5F5242CF65 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:57:02] 609*2^1455064-1 is not prime. Res64: 515B8F42CC12E250 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:57:02] 663*2^1455064-1 is not prime. Res64: EF3F7ADFC34D0EBC Time : 0.0 sec. user=mdettweiler [2017-05-26 15:57:03] 855*2^1455064-1 is not prime. Res64: DA5C36918F0C2950 Time : 0.0 sec. user=mdettweiler [2017-05-26 15:57:03] 873*2^1455064-1 is not prime. Res64: F73F35E269338E3C Time : 0.0 sec. user=mdettweiler [2017-05-26 15:57:03] 969*2^1455064-1 is not prime. Res64: 6BF4771E8AE8A39B Time : 0.0 sec. user=mdettweiler [2017-05-26 16:15:57] 989*2^1455064-1 is not prime. Res64: C8D14B4390BC7E0A Time : 0.0 sec. user=mdettweiler [2017-05-26 16:15:58] 675*2^1455065-1 is not prime. Res64: C0DF6850839B9EAB Time : 0.0 sec. user=mdettweiler [2017-05-26 16:15:58] 771*2^1455065-1 is not prime. Res64: 180878BF34300C40 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:15:58] 861*2^1455065-1 is not prime. Res64: FD3BCA472967C972 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:15:59] 939*2^1455065-1 is not prime. Res64: B1DE298023307D2C Time : 0.0 sec. user=mdettweiler [2017-05-26 16:19:59] 991*2^1455065-1 is not prime. Res64: 1247C4D3F5E540F7 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:19:59] 641*2^1455066-1 is not prime. Res64: B027C99AC36AE76F Time : 0.0 sec. user=mdettweiler [2017-05-26 16:19:59] 843*2^1455066-1 is not prime. Res64: CF0C8D2024965D16 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:20:00] 861*2^1455066-1 is not prime. Res64: 219EA490A290FD34 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:20:00] 891*2^1455066-1 is not prime. Res64: 18D14AF0D05F3EA7 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:29:03] 945*2^1455066-1 is not prime. Res64: E66E361693844F29 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:29:03] 651*2^1455067-1 is not prime. Res64: 7A80C95667C28D42 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:29:04] 691*2^1455067-1 is not prime. Res64: 2D65EBC04761A4C3 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:29:04] 819*2^1455067-1 is not prime. Res64: 714DAB78CEC26063 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:29:04] 841*2^1455067-1 is not prime. Res64: F1794AA476C094BD Time : 0.0 sec. user=FritzsHero [2017-05-26 16:33:04] 765*2^1454920-1 is not prime. Res64: FD6BBA5DB05CB2B2 Time : 0.0 sec. user=FritzsHero [2017-05-26 16:33:34] 833*2^1454920-1 is not prime. Res64: D2EDB23E29626C0D Time : 0.0 sec. user=FritzsHero [2017-05-26 16:33:34] 989*2^1454920-1 is not prime. Res64: E54ADF24FA786FBF Time : 0.0 sec. user=FritzsHero [2017-05-26 16:35:14] 873*2^1454920-1 is not prime. Res64: 809140B0F51AF525 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:42:23] 861*2^1455067-1 is not prime. Res64: 7C705708C8B5B91C Time : 0.0 sec. user=mdettweiler [2017-05-26 16:42:23] 871*2^1455067-1 is not prime. Res64: EB9EF02D55671B0C Time : 0.0 sec. user=mdettweiler [2017-05-26 16:42:24] 873*2^1455067-1 is not prime. Res64: 31F9C660D445CB18 Time : 0.0 sec. user=mdettweiler [2017-05-26 16:42:24] 891*2^1455067-1 is not prime. Res64: F92021FB034BD2AC Time : 0.0 sec. user=mdettweiler [2017-05-26 16:42:24] 909*2^1455067-1 is not prime. Res64: F46EE8AF29635503 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:01:35] 919*2^1455067-1 is not prime. Res64: EC2D95D1E6A91D82 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:01:37] 961*2^1455067-1 is not prime. Res64: 42CDA31A2B36D752 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:01:38] 617*2^1455068-1 is not prime. Res64: 46C9921CC4383871 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:01:39] 647*2^1455068-1 is not prime. Res64: CAF52689FD41F263 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:01:40] 767*2^1455068-1 is not prime. Res64: 97DF130CEAD7F43F Time : 0.0 sec. user=mdettweiler [2017-05-26 17:05:44] 789*2^1455068-1 is not prime. Res64: 58D9B413E0592F7D Time : 0.0 sec. user=mdettweiler [2017-05-26 17:05:46] 833*2^1455068-1 is not prime. Res64: A8F34266A91AB657 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:05:47] 927*2^1455068-1 is not prime. Res64: 8B99B2B8A27729EA Time : 0.0 sec. user=mdettweiler [2017-05-26 17:05:48] 935*2^1455068-1 is not prime. Res64: B22598116E28F440 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:05:49] 995*2^1455068-1 is not prime. Res64: ACB1BA84E7C73632 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:14:31] 999*2^1455068-1 is not prime. Res64: F2ADAF99D867E237 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:14:32] 745*2^1455069-1 is not prime. Res64: 1A4EF47B04565D2A Time : 0.0 sec. user=mdettweiler [2017-05-26 17:14:32] 765*2^1455069-1 is not prime. Res64: FCAA02743ACAA9F5 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:14:33] 787*2^1455069-1 is not prime. Res64: CAFD4A11624BB0E4 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:14:33] 835*2^1455069-1 is not prime. Res64: F1D23EDFB9C9B737 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:28:13] 923*2^1455070-1 is not prime. Res64: C6795B6EF22430F3 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:28:14] 941*2^1455070-1 is not prime. Res64: 141F97CA160D6784 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:28:14] 745*2^1455071-1 is not prime. Res64: C3311A2C7022036B Time : 0.0 sec. user=mdettweiler [2017-05-26 17:28:14] 841*2^1455071-1 is not prime. Res64: 63871B1AFC279DE7 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:28:15] 843*2^1455071-1 is not prime. Res64: 10EC8B2B4F80F3A2 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:47:33] 879*2^1455071-1 is not prime. Res64: AC57C3B4ADB22FEF Time : 0.0 sec. user=mdettweiler [2017-05-26 17:47:33] 883*2^1455071-1 is not prime. Res64: 2299DB84B8C7101E Time : 0.0 sec. user=mdettweiler [2017-05-26 17:47:33] 885*2^1455071-1 is not prime. Res64: CCFB79DA78F667DE Time : 0.0 sec. user=mdettweiler [2017-05-26 17:47:33] 899*2^1455072-1 is not prime. Res64: E3F81704BAE5ECD3 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:47:34] 933*2^1455072-1 is not prime. Res64: 86580491A49B9C03 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:51:30] 945*2^1455072-1 is not prime. Res64: 70A6E152A7AB7179 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:51:30] 915*2^1455073-1 is not prime. Res64: AB39426ADAE86BC8 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:51:30] 987*2^1455073-1 is not prime. Res64: ED5985739201A781 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:51:31] 675*2^1455074-1 is not prime. Res64: 237FA9D2612770B9 Time : 0.0 sec. user=mdettweiler [2017-05-26 17:51:31] 741*2^1455074-1 is not prime. Res64: EE9D4919CF6F1F57 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:00:34] 773*2^1455074-1 is not prime. Res64: BF6D93DF0C96E906 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:00:35] 825*2^1455074-1 is not prime. Res64: 8C724EEA71C0A8C3 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:00:35] 851*2^1455074-1 is not prime. Res64: 04AB6746FCA6AECE Time : 0.0 sec. user=mdettweiler [2017-05-26 18:00:36] 857*2^1455074-1 is not prime. Res64: 81B9E87A741602A3 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:00:37] 957*2^1455074-1 is not prime. Res64: 90697ECD7B3DDBA1 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:13:46] 971*2^1455074-1 is not prime. Res64: 61492BF1355F4101 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:13:46] 691*2^1455075-1 is not prime. Res64: 9D096259E28BCF8F Time : 0.0 sec. user=mdettweiler [2017-05-26 18:13:47] 765*2^1455075-1 is not prime. Res64: 576FD3FAB05C9484 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:13:47] 963*2^1455075-1 is not prime. Res64: A45FD520CF95BF0B Time : 0.0 sec. user=mdettweiler [2017-05-26 18:13:47] 765*2^1455076-1 is not prime. Res64: A5BC16A2CE44569B Time : 0.0 sec. user=mdettweiler [2017-05-26 18:33:02] 785*2^1455076-1 is not prime. Res64: 7A0FFC55DF2BDE27 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:33:02] 803*2^1455076-1 is not prime. Res64: D97E21650A312F4E Time : 0.0 sec. user=mdettweiler [2017-05-26 18:33:03] 825*2^1455076-1 is not prime. Res64: 7007913E11478582 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:33:03] 843*2^1455076-1 is not prime. Res64: 06E59D5AA728BAD8 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:33:03] 873*2^1455076-1 is not prime. Res64: DBFDDB52DBB2C916 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:37:05] 875*2^1455076-1 is not prime. Res64: 914A48F81965C4EF Time : 0.0 sec. user=mdettweiler [2017-05-26 18:37:05] 887*2^1455076-1 is not prime. Res64: 3CDD6435AFCAFDA3 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:37:05] 899*2^1455076-1 is not prime. Res64: AD94B6859B43F2EB Time : 0.0 sec. user=mdettweiler [2017-05-26 18:37:06] 923*2^1455076-1 is not prime. Res64: 4D68D6F8BF90B5F9 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:37:06] 957*2^1455076-1 is not prime. Res64: 1B57547C505786A1 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:46:27] 969*2^1455076-1 is not prime. Res64: 71A4332242FB26FF Time : 0.0 sec. user=mdettweiler [2017-05-26 18:46:27] 983*2^1455076-1 is not prime. Res64: 9225AC41285104A3 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:46:27] 601*2^1455077-1 is not prime. Res64: 68127C3D37A9E376 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:46:28] 715*2^1455077-1 is not prime. Res64: 589A21B6739DBA42 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:46:28] 759*2^1455077-1 is not prime. Res64: 2D5072E7F104CAB7 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:59:28] 939*2^1455077-1 is not prime. Res64: 588D1F8AE35D37F3 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:59:28] 957*2^1455077-1 is not prime. Res64: EEB9863CB0660F60 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:59:28] 605*2^1455078-1 is not prime. Res64: 13D007D20AFE7B54 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:59:29] 663*2^1455078-1 is not prime. Res64: C625E4EBBDD82A74 Time : 0.0 sec. user=mdettweiler [2017-05-26 18:59:29] 695*2^1455078-1 is not prime. Res64: 789AB9EC348BA1B2 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:18:35] 711*2^1455078-1 is not prime. Res64: 7B590987F1BF0A0A Time : 0.0 sec. user=mdettweiler [2017-05-26 19:18:35] 725*2^1455078-1 is not prime. Res64: FD6222061A575FE4 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:18:35] 761*2^1455078-1 is not prime. Res64: A2729876B1035969 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:18:36] 765*2^1455078-1 is not prime. Res64: 5696196167DCA65D Time : 0.0 sec. user=mdettweiler [2017-05-26 19:18:36] 773*2^1455078-1 is not prime. Res64: 8DE7C6822D32D41D Time : 0.0 sec. user=mdettweiler [2017-05-26 19:22:45] 861*2^1455078-1 is not prime. Res64: AB6C384851BB4E13 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:22:46] 741*2^1455079-1 is not prime. Res64: ECCACAC0C13774D3 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:22:46] 913*2^1455079-1 is not prime. Res64: 6ABFDDA47CD3957E Time : 0.0 sec. user=mdettweiler [2017-05-26 19:22:47] 975*2^1455079-1 is not prime. Res64: C6BF09DB8CAAE4CE Time : 0.0 sec. user=mdettweiler [2017-05-26 19:22:47] 633*2^1455080-1 is not prime. Res64: F29F0F6D320E27FB Time : 0.0 sec. user=mdettweiler [2017-05-26 19:31:54] 753*2^1455080-1 is not prime. Res64: 8D5AAF508974A1FA Time : 0.0 sec. user=mdettweiler [2017-05-26 19:31:54] 767*2^1455080-1 is not prime. Res64: EA5848182417E49F Time : 0.0 sec. user=mdettweiler [2017-05-26 19:31:55] 879*2^1455080-1 is not prime. Res64: D082370EC64748B9 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:31:55] 899*2^1455080-1 is not prime. Res64: CBEBDB9968CEB4A0 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:31:55] 935*2^1455080-1 is not prime. Res64: 92CF91AEB92A41E1 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:45:03] 963*2^1455080-1 is not prime. Res64: 6570657E0FAD5AFD Time : 0.0 sec. user=mdettweiler [2017-05-26 19:45:03] 995*2^1455080-1 is not prime. Res64: 282B992081AE9E6B Time : 0.0 sec. user=mdettweiler [2017-05-26 19:45:03] 607*2^1455081-1 is not prime. Res64: E577B4685ADF9CE8 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:45:04] 615*2^1455081-1 is not prime. Res64: 65F868D07B6C0812 Time : 0.0 sec. user=mdettweiler [2017-05-26 19:45:04] 627*2^1455081-1 is not prime. Res64: 67A6C70D9A3C1713 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:04:06] 661*2^1455081-1 is not prime. Res64: FD64E3694B9475A3 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:04:08] 675*2^1455081-1 is not prime. Res64: 93F2142EA863CD86 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:04:11] 705*2^1455081-1 is not prime. Res64: 736C0FEAE5DD5330 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:04:12] 717*2^1455081-1 is not prime. Res64: 1D8CBABC49CC636B Time : 0.0 sec. user=mdettweiler [2017-05-26 20:04:15] 945*2^1455081-1 is not prime. Res64: 9FCE95C1B8B31CE7 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:08:22] 975*2^1455081-1 is not prime. Res64: 7041BBFA94FEF399 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:08:22] 653*2^1455082-1 is not prime. Res64: 425E91AF6BE6833E Time : 0.0 sec. user=mdettweiler [2017-05-26 20:08:23] 681*2^1455082-1 is not prime. Res64: A6FE9C3B55FFA6FD Time : 0.0 sec. user=mdettweiler [2017-05-26 20:08:23] 885*2^1455082-1 is not prime. Res64: 115DB56ACB46958A Time : 0.0 sec. user=mdettweiler [2017-05-26 20:08:23] 951*2^1455082-1 is not prime. Res64: 89E4F61D383ABF2E Time : 0.0 sec. user=mdettweiler [2017-05-26 20:17:25] 621*2^1455083-1 is not prime. Res64: C6EDA23B97FC7784 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:17:25] 861*2^1455083-1 is not prime. Res64: 98FA58C2DD6111FC Time : 0.0 sec. user=mdettweiler [2017-05-26 20:17:25] 915*2^1455083-1 is not prime. Res64: 19774AD4CA85D3F7 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:17:26] 991*2^1455083-1 is not prime. Res64: 3AA5483848D4CA5A Time : 0.0 sec. user=mdettweiler [2017-05-26 20:17:26] 627*2^1455084-1 is not prime. Res64: 8304F189BD9A5122 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:30:25] 705*2^1455084-1 is not prime. Res64: C013C0C9B974A18C Time : 0.0 sec. user=mdettweiler [2017-05-26 20:30:26] 767*2^1455084-1 is not prime. Res64: 8FCA54CC8F8395B0 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:30:26] 919*2^1455085-1 is not prime. Res64: E526E87222C67F32 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:30:26] 773*2^1455086-1 is not prime. Res64: FBF9C3E0220D4DFE Time : 0.0 sec. user=mdettweiler [2017-05-26 20:30:26] 831*2^1455086-1 is not prime. Res64: 29BF46CE86EF3505 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:50:04] 619*2^1455087-1 is not prime. Res64: CFA76C363DD6B4E1 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:50:05] 691*2^1455087-1 is not prime. Res64: 53D7BA46AACC9B94 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:50:05] 703*2^1455087-1 is not prime. Res64: 1C3B23CEF1377128 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:50:05] 765*2^1455087-1 is not prime. Res64: 3CED68E512D78F4E Time : 0.0 sec. user=mdettweiler [2017-05-26 20:50:05] 849*2^1455087-1 is not prime. Res64: 0EF07FBF40797CEE Time : 0.0 sec. user=mdettweiler [2017-05-26 20:53:44] 963*2^1455087-1 is not prime. Res64: 37AEF914A7E0A487 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:53:45] 845*2^1455088-1 is not prime. Res64: 3D620107928AE597 Time : 0.0 sec. user=mdettweiler [2017-05-26 20:53:45] 923*2^1455088-1 is not prime. Res64: F4F2DDD9BD290E4B Time : 0.0 sec. user=mdettweiler [2017-05-26 20:53:45] 999*2^1455088-1 is not prime. Res64: 39669C697DAF00FA Time : 0.0 sec. user=mdettweiler [2017-05-26 20:53:46] 771*2^1455089-1 is not prime. Res64: 5E371C9D0F4B224E Time : 0.0 sec. user=mdettweiler [2017-05-26 21:03:05] 909*2^1455089-1 is not prime. Res64: 06E2D73B60E33BF2 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:03:06] 931*2^1455089-1 is not prime. Res64: B786AB8BD599F3BA Time : 0.0 sec. user=mdettweiler [2017-05-26 21:03:07] 949*2^1455089-1 is not prime. Res64: 2F7FE8EEA17040BA Time : 0.0 sec. user=mdettweiler [2017-05-26 21:03:08] 783*2^1455090-1 is not prime. Res64: 793FFFE0F53D85A8 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:03:09] 893*2^1455090-1 is not prime. Res64: 07D82B93EE284687 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:15:58] 735*2^1455091-1 is not prime. Res64: 7B20B04E80E2A554 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:15:59] 745*2^1455091-1 is not prime. Res64: 44FF08CBC5CA6D01 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:15:59] 975*2^1455091-1 is not prime. Res64: 45CA95E9C407D979 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:15:59] 993*2^1455091-1 is not prime. Res64: B39BFAC1D164ECD3 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:16:00] 669*2^1455092-1 is not prime. Res64: 9DD7E197FF1BBA8D Time : 0.0 sec. user=juhehe [2017-05-26 21:23:12] 687*2^1455092-1 is not prime. Res64: 015E6152CE5280EB Time : 0.0 sec. user=mdettweiler [2017-05-26 21:35:33] 719*2^1455092-1 is not prime. Res64: DE50DD14FCC3082E Time : 0.0 sec. user=mdettweiler [2017-05-26 21:35:33] 923*2^1455092-1 is not prime. Res64: D7F7D8DB35E524A1 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:35:33] 945*2^1455092-1 is not prime. Res64: F2C49396F30B4C51 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:35:33] 727*2^1455093-1 is not prime. Res64: 9668F5A9A43F1230 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:35:34] 837*2^1455093-1 is not prime. Res64: 4D7A448602852EE7 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:39:23] 891*2^1455093-1 is not prime. Res64: 9BAFD45B162E8D5F Time : 0.0 sec. user=mdettweiler [2017-05-26 21:39:23] 901*2^1455093-1 is not prime. Res64: 3B6213E89274BCF9 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:39:23] 961*2^1455093-1 is not prime. Res64: A7CE4F223758260B Time : 0.0 sec. user=mdettweiler [2017-05-26 21:39:23] 741*2^1455094-1 is not prime. Res64: B754BE7DA4A91555 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:39:24] 813*2^1455094-1 is not prime. Res64: EA50E6A237A3D7FE Time : 0.0 sec. user=mdettweiler [2017-05-26 21:49:10] 915*2^1455094-1 is not prime. Res64: 4D2D5C1DF61A8793 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:49:10] 945*2^1455094-1 is not prime. Res64: E0F61F3A23D58447 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:49:10] 957*2^1455094-1 is not prime. Res64: 0E47318F8EE2BD6B Time : 0.0 sec. user=mdettweiler [2017-05-26 21:49:11] 759*2^1455095-1 is not prime. Res64: CE1988C1D7E55E14 Time : 0.0 sec. user=mdettweiler [2017-05-26 21:49:11] 799*2^1455095-1 is not prime. Res64: B0144D81E0921234 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:01:27] 805*2^1455095-1 is not prime. Res64: C42356A46F57951D Time : 0.0 sec. user=mdettweiler [2017-05-26 22:01:30] 823*2^1455095-1 is not prime. Res64: 081629BB880C861B Time : 0.0 sec. user=mdettweiler [2017-05-26 22:01:31] 939*2^1455095-1 is not prime. Res64: B755C963DAC7941E Time : 0.0 sec. user=mdettweiler [2017-05-26 22:01:33] 973*2^1455095-1 is not prime. Res64: F5F13C2D6DE794CF Time : 0.0 sec. user=mdettweiler [2017-05-26 22:01:35] 657*2^1455096-1 is not prime. Res64: D865A7BA5D951D54 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:21:01] 689*2^1455096-1 is not prime. Res64: 9EF2C7144DA40CE8 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:21:01] 707*2^1455096-1 is not prime. Res64: A9561D2ACA44BE45 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:21:02] 737*2^1455096-1 is not prime. Res64: 37699A46C9C9E5E0 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:21:02] 789*2^1455096-1 is not prime. Res64: CD93E7CE3EC61AE7 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:21:02] 845*2^1455096-1 is not prime. Res64: FE15F1DE36525655 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:24:49] 875*2^1455096-1 is not prime. Res64: 4BF4CEC1E5E20E0C Time : 0.0 sec. user=mdettweiler [2017-05-26 22:24:49] 927*2^1455096-1 is not prime. Res64: 268A3957FA5FE148 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:24:49] 639*2^1455097-1 is not prime. Res64: 06734C88581CB0FC Time : 0.0 sec. user=mdettweiler [2017-05-26 22:24:49] 651*2^1455097-1 is not prime. Res64: 758379AEF193E538 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:24:49] 661*2^1455097-1 is not prime. Res64: 3EA46F3A770D36B1 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:34:33] 667*2^1455097-1 is not prime. Res64: C14D05206A665B59 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:34:33] 801*2^1455097-1 is not prime. Res64: 2B65439DA0F7EE3A Time : 0.0 sec. user=mdettweiler [2017-05-26 22:34:34] 897*2^1455097-1 is not prime. Res64: 09DA78123B2C0D64 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:34:34] 931*2^1455097-1 is not prime. Res64: A8623AFBC5DFB065 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:34:34] 635*2^1455098-1 is not prime. Res64: FC9EFF37CAD744D7 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:47:14] 601*2^1455099-1 is not prime. Res64: DF2EE1A780C9A6F6 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:47:14] 609*2^1455099-1 is not prime. Res64: 9E775DC5CE26ECB2 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:47:15] 663*2^1455099-1 is not prime. Res64: 7655E29A75176DE1 Time : 0.0 sec. user=mdettweiler [2017-05-26 22:47:15] 751*2^1455099-1 is not prime. Res64: 01FEF89480B0FDFB Time : 0.0 sec. user=mdettweiler [2017-05-26 22:47:15] 829*2^1455099-1 is not prime. Res64: F45EFD02877D5CB2 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:06:33] 903*2^1455099-1 is not prime. Res64: ED32F3058CEC5F36 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:06:34] 909*2^1455099-1 is not prime. Res64: ACAA2ECDD66A9966 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:06:34] 693*2^1455100-1 is not prime. Res64: 16398CC75B84F332 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:06:34] 785*2^1455100-1 is not prime. Res64: 50CF4A0A894F2C4D Time : 0.0 sec. user=mdettweiler [2017-05-26 23:06:35] 813*2^1455100-1 is not prime. Res64: 5DEBB91BA6CD08EE Time : 0.0 sec. user=mdettweiler [2017-05-26 23:10:40] 927*2^1455100-1 is not prime. Res64: AEB84823AA3A34E8 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:10:40] 989*2^1455100-1 is not prime. Res64: 3459B7DD12BF923F Time : 0.0 sec. user=mdettweiler [2017-05-26 23:10:40] 621*2^1455101-1 is not prime. Res64: 4D910F29D2093C27 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:10:41] 679*2^1455101-1 is not prime. Res64: 5E496EDD8A14C2EF Time : 0.0 sec. user=mdettweiler [2017-05-26 23:10:41] 757*2^1455101-1 is not prime. Res64: E54F1E0D5A8633DE Time : 0.0 sec. user=mdettweiler [2017-05-26 23:20:39] 925*2^1455101-1 is not prime. Res64: 711B69D78CA23F24 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:20:40] 611*2^1455102-1 is not prime. Res64: 5360C76475DFBAAB Time : 0.0 sec. user=mdettweiler [2017-05-26 23:20:40] 615*2^1455102-1 is not prime. Res64: C3A202CE266EF321 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:20:40] 621*2^1455102-1 is not prime. Res64: 4E6A3AF70A3D541D Time : 0.0 sec. user=mdettweiler [2017-05-26 23:20:40] 815*2^1455102-1 is not prime. Res64: C27472BA0C710FCC Time : 0.0 sec. user=mdettweiler [2017-05-26 23:32:49] 885*2^1455102-1 is not prime. Res64: 8263FC363634CD87 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:32:50] 977*2^1455102-1 is not prime. Res64: 0AB2258377E11E04 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:32:50] 603*2^1455103-1 is not prime. Res64: E6AD09EDFDB7250B Time : 0.0 sec. user=mdettweiler [2017-05-26 23:32:50] 619*2^1455103-1 is not prime. Res64: E67BE6971D302812 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:32:50] 673*2^1455103-1 is not prime. Res64: 299F23F753D1AEDA Time : 0.0 sec. user=mdettweiler [2017-05-26 23:52:07] 729*2^1455103-1 is not prime. Res64: 59A9187228814880 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:52:07] 765*2^1455103-1 is not prime. Res64: D3FAA813E15CC700 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:52:08] 811*2^1455103-1 is not prime. Res64: 2B6AB44CDFED3F07 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:52:08] 885*2^1455103-1 is not prime. Res64: 9AA4258D3D01ABCA Time : 0.0 sec. user=mdettweiler [2017-05-26 23:52:08] 961*2^1455103-1 is not prime. Res64: 9BD341464C06FDB6 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:56:09] 717*2^1455104-1 is not prime. Res64: 73C55283044A6F40 Time : 0.0 sec. user=mdettweiler [2017-05-26 23:56:09] 747*2^1455104-1 is not prime. Res64: 96B1F5F50781706B Time : 0.0 sec. user=mdettweiler [2017-05-26 23:56:10] 935*2^1455104-1 is not prime. Res64: AEAE687AC716473E Time : 0.0 sec. user=mdettweiler [2017-05-26 23:56:10] 717*2^1455105-1 is not prime. Res64: 502E9A1E4A81B2BE Time : 0.0 sec. user=mdettweiler [2017-05-26 23:56:10] 751*2^1455105-1 is not prime. Res64: 9AFA8AEFD4728B5C Time : 0.0 sec.