user=mdettweiler [2016-09-16 00:15:41] 939*2^1439843-1 is not prime. Res64: 6665F4A0C63E2AE8 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:15:42] 969*2^1439843-1 is not prime. Res64: 3007EF54DBC63E88 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:15:43] 705*2^1439844-1 is not prime. Res64: DBF26CC374F6A648 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:15:43] 723*2^1439844-1 is not prime. Res64: 521F78937A2F4A51 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:15:44] 749*2^1439844-1 is not prime. Res64: DC44DEBE28172497 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:26:59] 837*2^1439844-1 is not prime. Res64: 34CDD7B45A43D952 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:26:59] 875*2^1439844-1 is not prime. Res64: ECFEE997EF43E334 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:27:00] 969*2^1439844-1 is not prime. Res64: 71B70BE4A170D37C Time : 0.0 sec. user=mdettweiler [2016-09-16 00:27:00] 993*2^1439844-1 is not prime. Res64: 70E2F4AD5EC0659F Time : 0.0 sec. user=mdettweiler [2016-09-16 00:27:01] 759*2^1439845-1 is not prime. Res64: B04DAAF528EC35E0 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:28:55] 789*2^1439845-1 is not prime. Res64: 5BF37A8D96524CDC Time : 0.0 sec. user=mdettweiler [2016-09-16 00:28:55] 825*2^1439845-1 is not prime. Res64: CE616F9E5435D1E0 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:28:55] 867*2^1439845-1 is not prime. Res64: C2D194DB59BDD273 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:28:56] 939*2^1439845-1 is not prime. Res64: 8C676B89E8EB3C2A Time : 0.0 sec. user=mdettweiler [2016-09-16 00:28:56] 705*2^1439846-1 is not prime. Res64: D1C451509B6A00D9 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:38:45] 813*2^1439846-1 is not prime. Res64: F792C9CE1BAB51CB Time : 0.0 sec. user=mdettweiler [2016-09-16 00:38:45] 993*2^1439846-1 is not prime. Res64: 7620EE880DF9AB9A Time : 0.0 sec. user=mdettweiler [2016-09-16 00:38:46] 619*2^1439847-1 is not prime. Res64: 0844ADA5EA762644 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:38:46] 633*2^1439847-1 is not prime. Res64: C99ECBA433FE9784 Time : 0.0 sec. user=mdettweiler [2016-09-16 00:38:47] 705*2^1439847-1 is not prime. Res64: EB5BF48B37C852FF Time : 0.0 sec. user=mdettweiler [2016-09-16 01:00:33] 741*2^1439847-1 is not prime. Res64: 3DE2450908EDFACE Time : 0.0 sec. user=mdettweiler [2016-09-16 01:00:34] 849*2^1439847-1 is not prime. Res64: F2DABCA6FBC94765 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:00:36] 665*2^1439848-1 is not prime. Res64: 1F33BA800E8FC265 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:00:38] 699*2^1439848-1 is not prime. Res64: 9E82D986C13B9141 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:00:39] 755*2^1439848-1 is not prime. Res64: 3ADE3EA1E282DA9D Time : 0.0 sec. user=mdettweiler [2016-09-16 01:11:56] 927*2^1439848-1 is not prime. Res64: 2355FD8A603CB517 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:11:58] 995*2^1439848-1 is not prime. Res64: F04E4C1FC3087439 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:11:59] 601*2^1439849-1 is not prime. Res64: 69384E4A564231B0 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:12:00] 627*2^1439849-1 is not prime. Res64: 12CB5A2015C628FD Time : 0.0 sec. user=mdettweiler [2016-09-16 01:12:01] 631*2^1439849-1 is not prime. Res64: EE5820D488119C65 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:13:52] 645*2^1439849-1 is not prime. Res64: 34447619420F2AC7 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:13:52] 649*2^1439849-1 is not prime. Res64: CC83528872192AB4 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:13:53] 685*2^1439849-1 is not prime. Res64: 91DC80097EA986B7 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:13:54] 819*2^1439849-1 is not prime. Res64: BE503D8BB5631CAD Time : 0.0 sec. user=mdettweiler [2016-09-16 01:13:55] 889*2^1439849-1 is not prime. Res64: 200C5A28D5C4207B Time : 0.0 sec. user=mdettweiler [2016-09-16 01:23:51] 955*2^1439849-1 is not prime. Res64: 331434AA55C529B4 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:23:52] 627*2^1439850-1 is not prime. Res64: 7D616673151CF117 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:23:52] 765*2^1439850-1 is not prime. Res64: 0A15102A985F1426 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:23:53] 851*2^1439850-1 is not prime. Res64: CF80DBE308E426A6 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:23:53] 905*2^1439850-1 is not prime. Res64: AA532C7E90D2FE92 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:45:43] 917*2^1439850-1 is not prime. Res64: 5ACF96AA622DAE07 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:45:45] 923*2^1439850-1 is not prime. Res64: 1DE7D10182E3485A Time : 0.0 sec. user=mdettweiler [2016-09-16 01:45:45] 963*2^1439850-1 is not prime. Res64: 00F2D39F9E668D2C Time : 0.0 sec. user=mdettweiler [2016-09-16 01:45:47] 971*2^1439850-1 is not prime. Res64: E6F8B1794B88D149 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:45:49] 951*2^1439851-1 is not prime. Res64: 278F5585072A134F Time : 0.0 sec. user=mdettweiler [2016-09-16 01:57:00] 617*2^1439852-1 is not prime. Res64: D46CD9BC247B57AC Time : 0.0 sec. user=mdettweiler [2016-09-16 01:57:01] 635*2^1439852-1 is not prime. Res64: 3AC6054EAB70B906 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:57:01] 669*2^1439852-1 is not prime. Res64: 3E63FD337C2866AC Time : 0.0 sec. user=mdettweiler [2016-09-16 01:57:01] 735*2^1439852-1 is not prime. Res64: B5F6161A8E6759EA Time : 0.0 sec. user=mdettweiler [2016-09-16 01:57:02] 743*2^1439852-1 is not prime. Res64: BD46DC66689C859E Time : 0.0 sec. user=mdettweiler [2016-09-16 01:58:59] 813*2^1439852-1 is not prime. Res64: 6DB84F2AC49D856F Time : 0.0 sec. user=mdettweiler [2016-09-16 01:58:59] 855*2^1439852-1 is not prime. Res64: 108A06E557570A19 Time : 0.0 sec. user=mdettweiler [2016-09-16 01:58:59] 873*2^1439852-1 is not prime. Res64: 8055B39A9C3D2DEA Time : 0.0 sec. user=mdettweiler [2016-09-16 01:59:00] 875*2^1439852-1 is not prime. Res64: 7414FA67766773FA Time : 0.0 sec. user=mdettweiler [2016-09-16 01:59:00] 915*2^1439852-1 is not prime. Res64: 4A177B6811B8D6FC Time : 0.0 sec. user=mdettweiler [2016-09-16 02:08:58] 999*2^1439852-1 is not prime. Res64: 5F94962DB156352F Time : 0.0 sec. user=mdettweiler [2016-09-16 02:08:58] 741*2^1439853-1 is not prime. Res64: FAACE9A1E10D75BF Time : 0.0 sec. user=mdettweiler [2016-09-16 02:08:59] 889*2^1439853-1 is not prime. Res64: B8302678F2D67A79 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:08:59] 979*2^1439853-1 is not prime. Res64: 6B800DCB6A93B446 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:08:59] 675*2^1439854-1 is not prime. Res64: 13FA6BD8315821F3 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:30:43] 723*2^1439854-1 is not prime. Res64: 5A31627992BF1CB5 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:30:44] 903*2^1439854-1 is not prime. Res64: 395F4650F3967675 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:30:44] 619*2^1439855-1 is not prime. Res64: B8B7D282533D6D13 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:30:45] 763*2^1439855-1 is not prime. Res64: E2D6A5D751D0852C Time : 0.0 sec. user=mdettweiler [2016-09-16 02:30:45] 799*2^1439855-1 is not prime. Res64: B567A505FDB54CB9 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:41:51] 823*2^1439855-1 is not prime. Res64: 3E95F3A5C5BAB52C Time : 0.0 sec. user=mdettweiler [2016-09-16 02:41:52] 871*2^1439855-1 is not prime. Res64: 00CD296531599F8F Time : 0.0 sec. user=mdettweiler [2016-09-16 02:41:52] 939*2^1439855-1 is not prime. Res64: EAA246BB4A19FBF2 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:41:53] 973*2^1439855-1 is not prime. Res64: 46DC911C23464F3B Time : 0.0 sec. user=mdettweiler [2016-09-16 02:41:53] 979*2^1439855-1 is not prime. Res64: 6F5A8B33A5A1A688 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:43:46] 657*2^1439856-1 is not prime. Res64: 30A42F6D06CDC2C2 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:43:46] 675*2^1439856-1 is not prime. Res64: 95CE4BA69BACEBD0 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:43:47] 695*2^1439856-1 is not prime. Res64: B4DDF9B68E73BCF3 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:43:47] 699*2^1439856-1 is not prime. Res64: 27DCFBF07AFD65B5 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:43:48] 717*2^1439856-1 is not prime. Res64: D1EDED1341791BDF Time : 0.0 sec. user=mdettweiler [2016-09-16 02:53:49] 903*2^1439856-1 is not prime. Res64: 71DF3294391EA310 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:53:49] 947*2^1439856-1 is not prime. Res64: 82BE2B18DCDB6CB4 Time : 0.0 sec. user=mdettweiler [2016-09-16 02:53:49] 615*2^1439857-1 is not prime. Res64: CA96FFDAB90EC83D Time : 0.0 sec. user=mdettweiler [2016-09-16 02:53:50] 619*2^1439857-1 is not prime. Res64: 67BA66E003694D1E Time : 0.0 sec. user=mdettweiler [2016-09-16 02:53:50] 639*2^1439857-1 is not prime. Res64: 59B0295A2B83D5DC Time : 0.0 sec. user=mdettweiler [2016-09-16 03:15:55] 717*2^1439857-1 is not prime. Res64: 8E4A0F5BEBB82675 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:15:55] 729*2^1439857-1 is not prime. Res64: 3E6D386CD5322A07 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:15:55] 741*2^1439857-1 is not prime. Res64: E276F7A63D05E13C Time : 0.0 sec. user=mdettweiler [2016-09-16 03:15:56] 777*2^1439857-1 is not prime. Res64: FCA8BEEDB3022ADC Time : 0.0 sec. user=mdettweiler [2016-09-16 03:15:56] 901*2^1439857-1 is not prime. Res64: F0A8D35F077F5C24 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:26:59] 945*2^1439857-1 is not prime. Res64: FE835E7CF8C951B1 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:27:01] 671*2^1439858-1 is not prime. Res64: 0D9EEB5DBCD21D11 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:27:03] 743*2^1439858-1 is not prime. Res64: 7C303744D46EA2EA Time : 0.0 sec. user=mdettweiler [2016-09-16 03:27:04] 813*2^1439858-1 is not prime. Res64: 1DBB348AD4EE46A1 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:27:06] 827*2^1439858-1 is not prime. Res64: 0E69B4FFEEE5FA35 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:28:50] 833*2^1439858-1 is not prime. Res64: 18DC13F7C6A41755 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:28:52] 837*2^1439858-1 is not prime. Res64: 8CF91241327C4D4F Time : 0.0 sec. user=mdettweiler [2016-09-16 03:28:53] 875*2^1439858-1 is not prime. Res64: 1BF7E7BFF4016CA0 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:28:55] 987*2^1439858-1 is not prime. Res64: E4BC98AB73C2ED13 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:28:57] 663*2^1439859-1 is not prime. Res64: C3420B20706CDFB8 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:38:47] 711*2^1439859-1 is not prime. Res64: A6B106323A78DF89 Time : 0.0 sec. user=mdettweiler [2016-09-16 03:38:48] 735*2^1439859-1 is not prime. Res64: 2074379890C359ED Time : 0.0 sec. user=mdettweiler [2016-09-16 03:38:49] 873*2^1439859-1 is not prime. Res64: 6F85DF3FE2976A4B Time : 0.0 sec. user=mdettweiler [2016-09-16 03:38:49] 909*2^1439859-1 is not prime. Res64: F5E34CD89DA1800D Time : 0.0 sec. user=mdettweiler [2016-09-16 03:38:50] 919*2^1439859-1 is not prime. Res64: 06BD7C80BDDC8677 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:00:46] 921*2^1439859-1 is not prime. Res64: 97CE54ECDF047872 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:00:48] 985*2^1439859-1 is not prime. Res64: 9AB48B50A34567BE Time : 0.0 sec. user=mdettweiler [2016-09-16 04:00:52] 647*2^1439860-1 is not prime. Res64: 78E9B04B9735A449 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:00:55] 677*2^1439860-1 is not prime. Res64: AE8D1F9CE28A8690 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:00:57] 693*2^1439860-1 is not prime. Res64: 475F4ADFF20A3094 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:11:53] 695*2^1439860-1 is not prime. Res64: 45BC0FD914185974 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:11:53] 783*2^1439860-1 is not prime. Res64: 7282A22DD0CE608E Time : 0.0 sec. user=mdettweiler [2016-09-16 04:11:54] 987*2^1439860-1 is not prime. Res64: C6F688BDBC6AD222 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:11:54] 999*2^1439860-1 is not prime. Res64: 27ED189B46846AAD Time : 0.0 sec. user=mdettweiler [2016-09-16 04:11:55] 675*2^1439861-1 is not prime. Res64: 5773D666819E090A Time : 0.0 sec. user=mdettweiler [2016-09-16 04:13:37] 789*2^1439861-1 is not prime. Res64: 0977B396E055E156 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:13:37] 825*2^1439861-1 is not prime. Res64: 8B558666DC066631 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:13:38] 889*2^1439861-1 is not prime. Res64: 9578C7A0CC4123BF Time : 0.0 sec. user=mdettweiler [2016-09-16 04:13:38] 901*2^1439861-1 is not prime. Res64: 8D68E8D5E1F377F3 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:13:39] 925*2^1439861-1 is not prime. Res64: CC88C618015D4666 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:23:35] 987*2^1439861-1 is not prime. Res64: A2C1B290C66E0842 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:23:35] 611*2^1439862-1 is not prime. Res64: A395097CDD732627 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:23:35] 627*2^1439862-1 is not prime. Res64: A9A62C2957CEF97C Time : 0.0 sec. user=mdettweiler [2016-09-16 04:23:36] 737*2^1439862-1 is not prime. Res64: 63A27E8709B2AD32 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:23:36] 915*2^1439862-1 is not prime. Res64: A806961F3D3A6C7E Time : 0.0 sec. user=mdettweiler [2016-09-16 04:46:53] 609*2^1439863-1 is not prime. Res64: 2F064DD30A07CF96 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:46:54] 663*2^1439863-1 is not prime. Res64: 63EE6EED54835E8E Time : 0.0 sec. user=mdettweiler [2016-09-16 04:46:54] 855*2^1439863-1 is not prime. Res64: CC32B0EA51066A47 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:46:54] 873*2^1439863-1 is not prime. Res64: 1186BF335EEF2573 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:46:55] 747*2^1439864-1 is not prime. Res64: 8491EC2FE95D240C Time : 0.0 sec. user=mdettweiler [2016-09-16 04:57:45] 773*2^1439864-1 is not prime. Res64: 8999222EE45F0B00 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:57:46] 875*2^1439864-1 is not prime. Res64: A3D6D2F549702259 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:57:46] 915*2^1439864-1 is not prime. Res64: 293E2FDA4B00EE87 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:57:46] 935*2^1439864-1 is not prime. Res64: E861D5290C514452 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:57:47] 957*2^1439864-1 is not prime. Res64: 9E917D19FEBD5F61 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:59:34] 639*2^1439865-1 is not prime. Res64: EE39A6D68E8F4F53 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:59:34] 649*2^1439865-1 is not prime. Res64: 1979E97DC3164174 Time : 0.0 sec. user=mdettweiler [2016-09-16 04:59:34] 739*2^1439865-1 is not prime. Res64: 7E7E69B581EE405C Time : 0.0 sec. user=mdettweiler [2016-09-16 04:59:35] 871*2^1439865-1 is not prime. Res64: FA51668FBFECE44E Time : 0.0 sec. user=mdettweiler [2016-09-16 04:59:35] 651*2^1439866-1 is not prime. Res64: 8A8BCF37D2D0CB06 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:10:50] 657*2^1439866-1 is not prime. Res64: 4424FD1DF89662F6 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:10:50] 735*2^1439866-1 is not prime. Res64: EB0D10C61D3FFBF5 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:10:50] 911*2^1439866-1 is not prime. Res64: 1228A8DF9963DB74 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:10:51] 669*2^1439867-1 is not prime. Res64: 29E8E136A81FA795 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:10:51] 885*2^1439867-1 is not prime. Res64: A3666B60D9779488 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:31:37] 895*2^1439867-1 is not prime. Res64: 1784B5CDE6551388 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:31:38] 939*2^1439867-1 is not prime. Res64: E17A1A14FA9F983F Time : 0.0 sec. user=mdettweiler [2016-09-16 05:31:38] 963*2^1439867-1 is not prime. Res64: 2340C8DBBE7BB8E4 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:31:38] 663*2^1439868-1 is not prime. Res64: F30353A4DD991B4E Time : 0.0 sec. user=mdettweiler [2016-09-16 05:31:39] 797*2^1439868-1 is not prime. Res64: B889FB3FE5268D06 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:42:23] 837*2^1439868-1 is not prime. Res64: 2D614326EC4DD493 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:42:23] 887*2^1439868-1 is not prime. Res64: 6F63DF68F2F55956 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:42:24] 929*2^1439868-1 is not prime. Res64: DE4D6B1750FBA393 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:42:24] 987*2^1439868-1 is not prime. Res64: D4C1FC3885C98A8F Time : 0.0 sec. user=mdettweiler [2016-09-16 05:42:24] 615*2^1439869-1 is not prime. Res64: 9EEA1018D39F82AA Time : 0.0 sec. user=mdettweiler [2016-09-16 05:44:24] 895*2^1439869-1 is not prime. Res64: B5140EAE1D4F7A47 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:44:24] 975*2^1439869-1 is not prime. Res64: 33FF68996A0CF093 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:44:25] 603*2^1439870-1 is not prime. Res64: 70137D50C54D1565 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:44:25] 675*2^1439870-1 is not prime. Res64: DC61CA219D5F5341 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:44:26] 753*2^1439870-1 is not prime. Res64: 435AE7B288869F99 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:55:30] 843*2^1439870-1 is not prime. Res64: E206E031DBB516E3 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:55:31] 953*2^1439870-1 is not prime. Res64: 03D0F65845F623A1 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:55:31] 981*2^1439870-1 is not prime. Res64: 529195FD7F8D038A Time : 0.0 sec. user=mdettweiler [2016-09-16 05:55:32] 745*2^1439871-1 is not prime. Res64: E7A1066A35CF82B0 Time : 0.0 sec. user=mdettweiler [2016-09-16 05:55:32] 879*2^1439871-1 is not prime. Res64: C5D3C1FCF58FC3CE Time : 0.0 sec. user=mdettweiler [2016-09-16 06:16:16] 653*2^1439872-1 is not prime. Res64: 52491C5243446B7C Time : 0.0 sec. user=mdettweiler [2016-09-16 06:16:16] 693*2^1439872-1 is not prime. Res64: ABED22FD6D1231E4 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:16:17] 713*2^1439872-1 is not prime. Res64: A51DC0CC40206416 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:16:17] 723*2^1439872-1 is not prime. Res64: C12DCF0EDDDA768B Time : 0.0 sec. user=mdettweiler [2016-09-16 06:16:17] 797*2^1439872-1 is not prime. Res64: 1F757D296A30C994 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:27:01] 819*2^1439872-1 is not prime. Res64: 7C2BA5CDB3427B2C Time : 0.0 sec. user=mdettweiler [2016-09-16 06:27:02] 849*2^1439872-1 is not prime. Res64: 60F6B8E88C648AF4 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:27:02] 909*2^1439872-1 is not prime. Res64: 91222BC4E2538392 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:27:02] 631*2^1439873-1 is not prime. Res64: 48CDB180E1A3E63D Time : 0.0 sec. user=mdettweiler [2016-09-16 06:27:03] 657*2^1439873-1 is not prime. Res64: 248F66C83BB52BEA Time : 0.0 sec. user=mdettweiler [2016-09-16 06:29:07] 831*2^1439873-1 is not prime. Res64: 4255A956FFCB7C79 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:29:07] 621*2^1439874-1 is not prime. Res64: F2D27DDC5CA849EA Time : 0.0 sec. user=mdettweiler [2016-09-16 06:29:08] 737*2^1439874-1 is not prime. Res64: 863063545E9C47FF Time : 0.0 sec. user=mdettweiler [2016-09-16 06:29:08] 765*2^1439874-1 is not prime. Res64: 26B3596E5E654F99 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:29:08] 767*2^1439874-1 is not prime. Res64: BDA01EF0EDCD89F7 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:40:08] 807*2^1439874-1 is not prime. Res64: 55617DD9AA6B2243 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:40:08] 833*2^1439874-1 is not prime. Res64: 90B5ECC2EECD4E55 Time : 0.0 sec. user=mdettweiler [2016-09-16 06:40:08] 851*2^1439874-1 is not prime. Res64: 254CD8A05855E3CE Time : 0.0 sec. user=mdettweiler [2016-09-16 06:40:09] 861*2^1439874-1 is not prime. Res64: 4FA813139CDDD63A Time : 0.0 sec. user=mdettweiler [2016-09-16 06:40:09] 735*2^1439875-1 is not prime. Res64: A7F73567D9214851 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:01:11] 793*2^1439875-1 is not prime. Res64: 76C5CFD4386AD732 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:01:12] 805*2^1439875-1 is not prime. Res64: 1F0F679238510FAE Time : 0.0 sec. user=mdettweiler [2016-09-16 07:01:13] 853*2^1439875-1 is not prime. Res64: 5EDA5947B10CE0D5 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:01:14] 871*2^1439875-1 is not prime. Res64: 4EE40F172BB93830 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:01:15] 889*2^1439875-1 is not prime. Res64: 64C537E344CFC56D Time : 0.0 sec. user=mdettweiler [2016-09-16 07:11:42] 925*2^1439875-1 is not prime. Res64: A58937F73977B244 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:11:42] 615*2^1439876-1 is not prime. Res64: 2A0E64E4666E3FE1 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:11:42] 617*2^1439876-1 is not prime. Res64: 5E9E09A5CE0391B8 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:11:43] 677*2^1439876-1 is not prime. Res64: 3E5AC513676E8934 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:11:43] 699*2^1439876-1 is not prime. Res64: A83821645B95E3C0 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:13:49] 789*2^1439876-1 is not prime. Res64: 9A356D69A4D2D075 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:13:50] 875*2^1439876-1 is not prime. Res64: 0342E7E0D90CF066 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:13:50] 741*2^1439877-1 is not prime. Res64: 22931C0E6DE9C970 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:13:50] 765*2^1439877-1 is not prime. Res64: C2B459382864D01F Time : 0.0 sec. user=mdettweiler [2016-09-16 07:13:51] 611*2^1439878-1 is not prime. Res64: 7D704283DCF1E19D Time : 0.0 sec. user=mdettweiler [2016-09-16 07:24:58] 711*2^1439879-1 is not prime. Res64: C53E626696F2CD95 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:24:59] 729*2^1439879-1 is not prime. Res64: 8A1BF1C5D818DE10 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:24:59] 775*2^1439879-1 is not prime. Res64: 134E1BDCAC9C1728 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:24:59] 841*2^1439879-1 is not prime. Res64: 23639FAE0E37E8EB Time : 0.0 sec. user=mdettweiler [2016-09-16 07:25:00] 861*2^1439879-1 is not prime. Res64: F5A89C839B1B7519 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:46:04] 969*2^1439879-1 is not prime. Res64: 3504FEDDAAA466F6 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:46:04] 985*2^1439879-1 is not prime. Res64: 0B601D0A40B679FF Time : 0.0 sec. user=mdettweiler [2016-09-16 07:46:04] 693*2^1439880-1 is not prime. Res64: CF004756928DD38A Time : 0.0 sec. user=mdettweiler [2016-09-16 07:46:05] 723*2^1439880-1 is not prime. Res64: 6F147C3CDB7179FC Time : 0.0 sec. user=mdettweiler [2016-09-16 07:46:05] 747*2^1439880-1 is not prime. Res64: 48ADC94AC9581D8E Time : 0.0 sec. user=mdettweiler [2016-09-16 07:56:30] 875*2^1439880-1 is not prime. Res64: 8F6073EE46B67728 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:56:31] 649*2^1439881-1 is not prime. Res64: 3B4D5DD0586CFB56 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:56:31] 651*2^1439881-1 is not prime. Res64: 4D0B48467EC46483 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:56:31] 855*2^1439881-1 is not prime. Res64: 7345DED0BF76B22F Time : 0.0 sec. user=mdettweiler [2016-09-16 07:56:32] 939*2^1439881-1 is not prime. Res64: 277A163B086D555D Time : 0.0 sec. user=mdettweiler [2016-09-16 07:58:36] 999*2^1439881-1 is not prime. Res64: C796D1D19DCDA6A2 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:58:37] 635*2^1439882-1 is not prime. Res64: 9A8B04BB204434C5 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:58:37] 813*2^1439882-1 is not prime. Res64: 12DD0BB764241D77 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:58:37] 625*2^1439883-1 is not prime. Res64: 9E75AB9488431B18 Time : 0.0 sec. user=mdettweiler [2016-09-16 07:58:38] 741*2^1439883-1 is not prime. Res64: E486D2FC15E4C975 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:09:44] 635*2^1439884-1 is not prime. Res64: D188119D142AC621 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:09:44] 677*2^1439884-1 is not prime. Res64: AC6B4698B44533EE Time : 0.0 sec. user=mdettweiler [2016-09-16 08:09:45] 707*2^1439884-1 is not prime. Res64: A65AE1A52E70B6EC Time : 0.0 sec. user=mdettweiler [2016-09-16 08:09:45] 765*2^1439884-1 is not prime. Res64: D0127594727B8DB1 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:09:46] 813*2^1439884-1 is not prime. Res64: 696B40891E1273E3 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:30:51] 887*2^1439884-1 is not prime. Res64: 37F266414647B48F Time : 0.0 sec. user=mdettweiler [2016-09-16 08:30:52] 903*2^1439884-1 is not prime. Res64: 5F81032F0933F9E3 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:30:52] 837*2^1439885-1 is not prime. Res64: A3BCC5FB83315605 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:30:52] 925*2^1439885-1 is not prime. Res64: 297041E4966A4E8A Time : 0.0 sec. user=mdettweiler [2016-09-16 08:30:53] 635*2^1439886-1 is not prime. Res64: 23A75B5A1C932F30 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:41:16] 641*2^1439886-1 is not prime. Res64: F1BF66130BC525A0 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:41:16] 647*2^1439886-1 is not prime. Res64: 80904760279246E0 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:41:17] 671*2^1439886-1 is not prime. Res64: 81B515AD25315D94 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:41:17] 741*2^1439886-1 is not prime. Res64: DFEB4303F758EF88 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:41:17] 807*2^1439886-1 is not prime. Res64: F26ACF86AAD776FD Time : 0.0 sec. user=mdettweiler [2016-09-16 08:43:25] 825*2^1439886-1 is not prime. Res64: 73726AFFCFDECFB5 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:43:26] 875*2^1439886-1 is not prime. Res64: 4F994262A8C44865 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:43:26] 945*2^1439886-1 is not prime. Res64: DB52DC820F08C3D6 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:43:27] 971*2^1439886-1 is not prime. Res64: 5E73F414CB8F72F9 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:43:27] 609*2^1439887-1 is not prime. Res64: 6B52F3E37B3622FD Time : 0.0 sec. user=mdettweiler [2016-09-16 08:54:33] 751*2^1439887-1 is not prime. Res64: F61DF9CB284471F7 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:54:33] 885*2^1439887-1 is not prime. Res64: BF816B73595EA312 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:54:34] 939*2^1439887-1 is not prime. Res64: 71097629A38D8C70 Time : 0.0 sec. user=mdettweiler [2016-09-16 08:54:34] 629*2^1439888-1 is not prime. Res64: 25663E5E7103FB3D Time : 0.0 sec. user=mdettweiler [2016-09-16 08:54:34] 687*2^1439888-1 is not prime. Res64: 6353EE30999B7C76 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:15:44] 689*2^1439888-1 is not prime. Res64: 0DB30378AE8768B8 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:15:45] 729*2^1439888-1 is not prime. Res64: B08A17B0DE0DFD5A Time : 0.0 sec. user=mdettweiler [2016-09-16 09:15:45] 813*2^1439888-1 is not prime. Res64: 2FEC4CA76CEA413C Time : 0.0 sec. user=mdettweiler [2016-09-16 09:15:46] 923*2^1439888-1 is not prime. Res64: 86F0B04A20EE1EB8 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:15:46] 977*2^1439888-1 is not prime. Res64: 1EDC8F100FD55563 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:26:18] 667*2^1439889-1 is not prime. Res64: 42886491CF81C347 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:26:18] 817*2^1439889-1 is not prime. Res64: 74A954F4EA7CFE81 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:26:19] 895*2^1439889-1 is not prime. Res64: 08F3F58FB21CF923 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:26:19] 909*2^1439889-1 is not prime. Res64: BAD46E62B893F347 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:26:19] 955*2^1439889-1 is not prime. Res64: 610298504F336689 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:28:14] 665*2^1439890-1 is not prime. Res64: 1598ECE13AF34DD5 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:28:14] 717*2^1439890-1 is not prime. Res64: DE2FD0A0EF5B768A Time : 0.0 sec. user=mdettweiler [2016-09-16 09:28:15] 731*2^1439890-1 is not prime. Res64: 85BD2A2E01D558AF Time : 0.0 sec. user=mdettweiler [2016-09-16 09:28:15] 755*2^1439890-1 is not prime. Res64: 9A5A7FFE10883A66 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:28:15] 765*2^1439890-1 is not prime. Res64: F2DA3D5B7A367D2C Time : 0.0 sec. user=mdettweiler [2016-09-16 09:39:41] 861*2^1439890-1 is not prime. Res64: B4A04CEC0FF611EC Time : 0.0 sec. user=mdettweiler [2016-09-16 09:39:42] 703*2^1439891-1 is not prime. Res64: F8774489DE732CF1 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:39:42] 745*2^1439891-1 is not prime. Res64: F90B74A80CC371F8 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:39:42] 783*2^1439891-1 is not prime. Res64: D99112621EC09394 Time : 0.0 sec. user=mdettweiler [2016-09-16 09:39:43] 843*2^1439891-1 is not prime. Res64: 5A60B5D9A43820FE Time : 0.0 sec. user=mdettweiler [2016-09-16 10:00:39] 605*2^1439892-1 is not prime. Res64: 2185313AF30F5F41 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:00:40] 639*2^1439892-1 is not prime. Res64: 8843E782F231C415 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:00:41] 669*2^1439892-1 is not prime. Res64: 92543D869886AB33 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:00:41] 683*2^1439892-1 is not prime. Res64: D10137C1554108F5 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:00:42] 689*2^1439892-1 is not prime. Res64: 72399699C57AEE65 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:11:13] 719*2^1439892-1 is not prime. Res64: B2D7154183801FFA Time : 0.0 sec. user=mdettweiler [2016-09-16 10:11:14] 825*2^1439892-1 is not prime. Res64: 5FF801F3E1C79D49 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:11:14] 867*2^1439892-1 is not prime. Res64: 4AE146E7AE80B3F1 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:11:14] 887*2^1439892-1 is not prime. Res64: C9DCD1A312CCD77D Time : 0.0 sec. user=mdettweiler [2016-09-16 10:11:15] 903*2^1439892-1 is not prime. Res64: FAE4346AD3612180 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:13:13] 607*2^1439893-1 is not prime. Res64: 46E27C73E52C78CA Time : 0.0 sec. user=mdettweiler [2016-09-16 10:13:14] 885*2^1439893-1 is not prime. Res64: 86B4E40BB9AABB28 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:13:14] 999*2^1439893-1 is not prime. Res64: 88155A2C922EA429 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:13:14] 635*2^1439894-1 is not prime. Res64: 6E4D926318EDA8A0 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:13:15] 711*2^1439894-1 is not prime. Res64: 3D4244FCACE0ABD6 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:24:27] 903*2^1439894-1 is not prime. Res64: 0AAF7DF30A6AAFB2 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:24:27] 613*2^1439895-1 is not prime. Res64: 93DC846A204EC27E Time : 0.0 sec. user=mdettweiler [2016-09-16 10:24:28] 625*2^1439895-1 is not prime. Res64: A22B3340F6BE0327 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:24:28] 679*2^1439895-1 is not prime. Res64: 61A74910F14509D2 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:24:29] 735*2^1439895-1 is not prime. Res64: 57403CD85ADF3AB2 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:45:37] 825*2^1439895-1 is not prime. Res64: 5D2E6D4CAE0B569C Time : 0.0 sec. user=mdettweiler [2016-09-16 10:45:37] 861*2^1439895-1 is not prime. Res64: AC5FFD3A5C6DFC2C Time : 0.0 sec. user=mdettweiler [2016-09-16 10:45:38] 895*2^1439895-1 is not prime. Res64: 596CE04352AE0005 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:45:38] 933*2^1439895-1 is not prime. Res64: 1D210BEA19735B89 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:45:38] 979*2^1439895-1 is not prime. Res64: 64CC4B25E0BD7C8E Time : 0.0 sec. user=mdettweiler [2016-09-16 10:55:55] 623*2^1439896-1 is not prime. Res64: F604CC818232B6C7 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:55:55] 653*2^1439896-1 is not prime. Res64: 767BC7669C63984F Time : 0.0 sec. user=mdettweiler [2016-09-16 10:55:56] 657*2^1439896-1 is not prime. Res64: D1459D36D3DB9EC0 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:55:56] 677*2^1439896-1 is not prime. Res64: A824E07B8085B411 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:55:56] 707*2^1439896-1 is not prime. Res64: 7042B8D3691AF96E Time : 0.0 sec. user=mdettweiler [2016-09-16 10:57:49] 813*2^1439896-1 is not prime. Res64: 5FF3B3E55D7154F8 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:57:49] 903*2^1439896-1 is not prime. Res64: 2F68F55582D3890E Time : 0.0 sec. user=mdettweiler [2016-09-16 10:57:49] 999*2^1439896-1 is not prime. Res64: 78AECB60B026B791 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:57:50] 627*2^1439897-1 is not prime. Res64: FCC5ADB6A95E3888 Time : 0.0 sec. user=mdettweiler [2016-09-16 10:57:50] 669*2^1439897-1 is not prime. Res64: 0FB6C74DADBF8167 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:09:07] 771*2^1439897-1 is not prime. Res64: 53C7342574F26A99 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:09:11] 829*2^1439897-1 is not prime. Res64: 93E16AC5196712BB Time : 0.0 sec. user=mdettweiler [2016-09-16 11:09:18] 879*2^1439897-1 is not prime. Res64: 52457199801BC844 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:09:19] 633*2^1439898-1 is not prime. Res64: 757109C852D7D57C Time : 0.0 sec. user=mdettweiler [2016-09-16 11:09:20] 725*2^1439898-1 is not prime. Res64: 92E10C93EB07E395 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:30:31] 777*2^1439898-1 is not prime. Res64: 8B374DF5A4B43470 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:30:31] 861*2^1439898-1 is not prime. Res64: 931D3C123C58B153 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:30:32] 971*2^1439898-1 is not prime. Res64: 4024A2E8F74051E2 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:30:32] 751*2^1439899-1 is not prime. Res64: 2B611F1419A7829A Time : 0.0 sec. user=mdettweiler [2016-09-16 11:30:33] 765*2^1439899-1 is not prime. Res64: 0037A6325CA92785 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:40:55] 841*2^1439899-1 is not prime. Res64: 06624C65FD940F64 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:40:56] 629*2^1439900-1 is not prime. Res64: DA2DE446174B450B Time : 0.0 sec. user=mdettweiler [2016-09-16 11:40:56] 647*2^1439900-1 is not prime. Res64: 8AF30FF5C93629E9 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:40:56] 717*2^1439900-1 is not prime. Res64: 1586A6FF5DC2FC9A Time : 0.0 sec. user=mdettweiler [2016-09-16 11:40:57] 743*2^1439900-1 is not prime. Res64: 10AF78FEAC3CA029 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:42:37] 785*2^1439900-1 is not prime. Res64: 3026D39728AAF0A6 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:42:37] 803*2^1439900-1 is not prime. Res64: A8503247DD99EC9A Time : 0.0 sec. user=mdettweiler [2016-09-16 11:42:38] 909*2^1439900-1 is not prime. Res64: 2A3D2BE5B7173D54 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:42:38] 963*2^1439900-1 is not prime. Res64: 9314BB0BABEC95C6 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:42:38] 649*2^1439901-1 is not prime. Res64: 0168D4AED87C0577 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:54:42] 781*2^1439901-1 is not prime. Res64: A2B3F020805FA4A4 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:54:43] 825*2^1439901-1 is not prime. Res64: 7E67E1F88E88F887 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:54:43] 865*2^1439901-1 is not prime. Res64: 00C37AE3E7DC6885 Time : 0.0 sec. user=mdettweiler [2016-09-16 11:54:44] 867*2^1439901-1 is not prime. Res64: ABCAE47D6B3D21EB Time : 0.0 sec. user=mdettweiler [2016-09-16 11:54:44] 871*2^1439901-1 is not prime. Res64: A84B86578D75E3DA Time : 0.0 sec. user=mdettweiler [2016-09-16 12:15:43] 889*2^1439901-1 is not prime. Res64: 0D656C6007DA7828 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:15:43] 969*2^1439901-1 is not prime. Res64: 344193A78BFFD182 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:15:44] 671*2^1439902-1 is not prime. Res64: D914775F99707FF3 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:15:44] 867*2^1439902-1 is not prime. Res64: 605366124A00B160 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:15:45] 987*2^1439902-1 is not prime. Res64: AD6E07DB5325AA80 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:25:36] 609*2^1439903-1 is not prime. Res64: 7A24E73BC04B001B Time : 0.0 sec. user=mdettweiler [2016-09-16 12:25:36] 685*2^1439903-1 is not prime. Res64: 832ECA25458C82C2 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:25:37] 705*2^1439903-1 is not prime. Res64: 527C9EDC9ED840B2 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:25:37] 729*2^1439903-1 is not prime. Res64: 10DE23A67A39CFE4 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:25:38] 775*2^1439903-1 is not prime. Res64: FA9E0B9BFE983A35 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:27:28] 783*2^1439903-1 is not prime. Res64: 281B57FA59C1FB92 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:27:28] 859*2^1439903-1 is not prime. Res64: 1517C4F3AB05589C Time : 0.0 sec. user=mdettweiler [2016-09-16 12:27:28] 901*2^1439903-1 is not prime. Res64: 32E777558C052F27 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:27:29] 955*2^1439903-1 is not prime. Res64: DCFBF4C84B8A67A8 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:27:29] 635*2^1439904-1 is not prime. Res64: 48C77221F0EA1043 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:39:20] 705*2^1439904-1 is not prime. Res64: B8627996176E166D Time : 0.0 sec. user=mdettweiler [2016-09-16 12:39:20] 725*2^1439904-1 is not prime. Res64: F5969D3DF3650BCA Time : 0.0 sec. user=mdettweiler [2016-09-16 12:39:21] 753*2^1439904-1 is not prime. Res64: A7F0A58D4D6831B3 Time : 0.0 sec. user=mdettweiler [2016-09-16 12:39:21] 899*2^1439904-1 is not prime. Res64: 73940002C41EFABE Time : 0.0 sec. user=mdettweiler [2016-09-16 12:39:21] 969*2^1439904-1 is not prime. Res64: F2C2C068F2C2CDE8 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:01:26] 983*2^1439904-1 is not prime. Res64: 40D39FB9B57F663D Time : 0.0 sec. user=mdettweiler [2016-09-16 13:01:27] 993*2^1439904-1 is not prime. Res64: 464D4973396EF364 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:01:28] 625*2^1439905-1 is not prime. Res64: 673EFA6AEBAA2717 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:01:29] 661*2^1439905-1 is not prime. Res64: 7EAFD29A9B714054 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:01:30] 691*2^1439905-1 is not prime. Res64: B28FFE9BDE6E8A55 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:10:40] 841*2^1439905-1 is not prime. Res64: F7C9C6E267AFD9D2 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:10:41] 885*2^1439905-1 is not prime. Res64: D21E7EAD410D809F Time : 0.0 sec. user=mdettweiler [2016-09-16 13:10:41] 937*2^1439905-1 is not prime. Res64: 1206F5C78446DE5F Time : 0.0 sec. user=mdettweiler [2016-09-16 13:10:42] 617*2^1439906-1 is not prime. Res64: 8AD4F87EAB77CDDA Time : 0.0 sec. user=mdettweiler [2016-09-16 13:10:42] 623*2^1439906-1 is not prime. Res64: 208D92703C316AEA Time : 0.0 sec. user=mdettweiler [2016-09-16 13:12:36] 633*2^1439906-1 is not prime. Res64: F75ADA3507563369 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:12:37] 825*2^1439906-1 is not prime. Res64: 9E42DEBA362788E4 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:12:37] 857*2^1439906-1 is not prime. Res64: BD4E22AE867BB04F Time : 0.0 sec. user=mdettweiler [2016-09-16 13:12:37] 887*2^1439906-1 is not prime. Res64: 26810939E2D86FD2 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:12:38] 619*2^1439907-1 is not prime. Res64: 1DE5959579103879 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:24:31] 643*2^1439907-1 is not prime. Res64: FB57D7D5CFCDEDFD Time : 0.0 sec. user=mdettweiler [2016-09-16 13:24:31] 703*2^1439907-1 is not prime. Res64: 8DCDA5F93C676EF7 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:24:32] 795*2^1439907-1 is not prime. Res64: 1B29535F90182E00 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:24:32] 615*2^1439908-1 is not prime. Res64: A9DE2DD20C4A348B Time : 0.0 sec. user=mdettweiler [2016-09-16 13:24:32] 975*2^1439908-1 is not prime. Res64: DA34E30202C61E8B Time : 0.0 sec. user=mdettweiler [2016-09-16 13:46:21] 697*2^1439909-1 is not prime. Res64: C5ECD1C0C82396EF Time : 0.0 sec. user=mdettweiler [2016-09-16 13:46:22] 711*2^1439909-1 is not prime. Res64: 7DDD91173892D704 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:46:22] 799*2^1439909-1 is not prime. Res64: 4169B88B54A4A782 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:46:22] 801*2^1439909-1 is not prime. Res64: 991D2B9F395D4103 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:46:23] 635*2^1439910-1 is not prime. Res64: EECCAF704CFF8324 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:55:21] 693*2^1439910-1 is not prime. Res64: 6569CBECB6573B36 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:55:22] 765*2^1439910-1 is not prime. Res64: 6576216F5F5772E3 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:55:22] 773*2^1439910-1 is not prime. Res64: 40CACDA32EF3E0AA Time : 0.0 sec. user=mdettweiler [2016-09-16 13:55:22] 797*2^1439910-1 is not prime. Res64: 8B0C2246C9DF6AB6 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:55:23] 821*2^1439910-1 is not prime. Res64: 4D1FB8D85A5A3EBB Time : 0.0 sec. user=mdettweiler [2016-09-16 13:57:13] 917*2^1439910-1 is not prime. Res64: 040CE60EBF0E14F3 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:57:13] 971*2^1439910-1 is not prime. Res64: 53AC29D17FC38420 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:57:13] 663*2^1439911-1 is not prime. Res64: 8650D5819ED21B36 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:57:14] 679*2^1439911-1 is not prime. Res64: 7937B6AD3E3C23F6 Time : 0.0 sec. user=mdettweiler [2016-09-16 13:57:14] 685*2^1439911-1 is not prime. Res64: 6D5C612302A57150 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:09:06] 793*2^1439911-1 is not prime. Res64: 4680C11B378279DF Time : 0.0 sec. user=mdettweiler [2016-09-16 14:09:06] 805*2^1439911-1 is not prime. Res64: 5F251DA1812A41B3 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:09:07] 813*2^1439911-1 is not prime. Res64: 98924BBE60ACFF97 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:09:07] 849*2^1439911-1 is not prime. Res64: 9DDF83378396B1B4 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:09:07] 855*2^1439911-1 is not prime. Res64: 833C365BE0D43F2A Time : 0.0 sec. user=mdettweiler [2016-09-16 14:33:21] 933*2^1439911-1 is not prime. Res64: 1221D4F087933DEF Time : 0.0 sec. user=mdettweiler [2016-09-16 14:33:21] 961*2^1439911-1 is not prime. Res64: 691748AF1CFE88DA Time : 0.0 sec. user=mdettweiler [2016-09-16 14:33:22] 999*2^1439911-1 is not prime. Res64: A110D04091BC2C24 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:33:22] 603*2^1439912-1 is not prime. Res64: 3E72A2C6292897EB Time : 0.0 sec. user=mdettweiler [2016-09-16 14:33:22] 767*2^1439912-1 is not prime. Res64: B0F50F579F87ED97 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:42:57] 813*2^1439912-1 is not prime. Res64: BC47A71C27ECEC19 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:42:57] 873*2^1439912-1 is not prime. Res64: F2762E4F66E044AF Time : 0.0 sec. user=mdettweiler [2016-09-16 14:42:57] 875*2^1439912-1 is not prime. Res64: 213CE50F27A19FEF Time : 0.0 sec. user=mdettweiler [2016-09-16 14:42:57] 685*2^1439913-1 is not prime. Res64: F9DF9FAC7EA45649 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:42:58] 727*2^1439913-1 is not prime. Res64: A0CDC4EE99AC33F4 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:46:00] 741*2^1439913-1 is not prime. Res64: 5B5254C76ADC5605 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:46:00] 805*2^1439913-1 is not prime. Res64: 78F6F3FBDF9D5B70 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:46:01] 835*2^1439913-1 is not prime. Res64: 41CA605A717E5AB1 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:46:01] 871*2^1439913-1 is not prime. Res64: F7CDA1F53F0A708F Time : 0.0 sec. user=mdettweiler [2016-09-16 14:46:01] 885*2^1439913-1 is not prime. Res64: 68EEDB5C7BB786A9 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:59:08] 937*2^1439913-1 is not prime. Res64: 671C59A8FB793639 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:59:09] 951*2^1439913-1 is not prime. Res64: 1C73D6588DF436C7 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:59:09] 605*2^1439914-1 is not prime. Res64: 79DCD701A019C0E5 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:59:10] 755*2^1439914-1 is not prime. Res64: 8F0FBE9F6AE716E1 Time : 0.0 sec. user=mdettweiler [2016-09-16 14:59:10] 633*2^1439915-1 is not prime. Res64: D3AF173F66EB2CBE Time : 0.0 sec. user=mdettweiler [2016-09-16 15:22:55] 643*2^1439915-1 is not prime. Res64: 0C002F18FA4C9C4A Time : 0.0 sec. user=mdettweiler [2016-09-16 15:22:56] 675*2^1439915-1 is not prime. Res64: 8B9E8CFADC7E1A90 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:22:56] 781*2^1439915-1 is not prime. Res64: BE96965CA293AE7A Time : 0.0 sec. user=mdettweiler [2016-09-16 15:22:56] 859*2^1439915-1 is not prime. Res64: 1E0544DF1E311446 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:22:56] 909*2^1439915-1 is not prime. Res64: CF58DC4BB6234D15 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:31:13] 969*2^1439915-1 is not prime. Res64: 6BD2D4503220EA81 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:31:13] 973*2^1439915-1 is not prime. Res64: 597220CCB3A34BD6 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:31:14] 633*2^1439916-1 is not prime. Res64: 47DD643B9CCF3026 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:31:14] 737*2^1439916-1 is not prime. Res64: 9C353B1A59775139 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:31:14] 765*2^1439916-1 is not prime. Res64: 7A6648687E355EEF Time : 0.0 sec. user=mdettweiler [2016-09-16 15:34:49] 767*2^1439916-1 is not prime. Res64: 3286F6012C72E55D Time : 0.0 sec. user=mdettweiler [2016-09-16 15:34:50] 615*2^1439917-1 is not prime. Res64: 362ED6B916CC5CFC Time : 0.0 sec. user=mdettweiler [2016-09-16 15:34:50] 639*2^1439917-1 is not prime. Res64: 31C7DB7E2B5F9894 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:34:50] 691*2^1439917-1 is not prime. Res64: 2EC34C15E6C2983E Time : 0.0 sec. user=mdettweiler [2016-09-16 15:34:51] 759*2^1439917-1 is not prime. Res64: 7A975E92C640ACF0 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:46:01] 819*2^1439917-1 is not prime. Res64: E3F72E5F94BF38BC Time : 0.0 sec. user=mdettweiler [2016-09-16 15:46:02] 835*2^1439917-1 is not prime. Res64: F731ECE7A715B057 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:46:02] 985*2^1439917-1 is not prime. Res64: 86E31DF83253C540 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:46:02] 651*2^1439918-1 is not prime. Res64: 0533C3180028A378 Time : 0.0 sec. user=mdettweiler [2016-09-16 15:46:03] 665*2^1439918-1 is not prime. Res64: F7CAEE9D6BB39B8F Time : 0.0 sec. user=mdettweiler [2016-09-16 16:08:28] 743*2^1439918-1 is not prime. Res64: 03E35D28E6091E4D Time : 0.0 sec. user=mdettweiler [2016-09-16 16:08:31] 747*2^1439918-1 is not prime. Res64: FBD420A3D7229007 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:08:32] 767*2^1439918-1 is not prime. Res64: 351B0DC9FF93A1AA Time : 0.0 sec. user=mdettweiler [2016-09-16 16:08:34] 771*2^1439918-1 is not prime. Res64: D6AED0D9C9D64D52 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:08:35] 791*2^1439918-1 is not prime. Res64: 3A43F8F2A3B5E85C Time : 0.0 sec. user=mdettweiler [2016-09-16 16:16:12] 885*2^1439918-1 is not prime. Res64: 74ACEF656ED0DA54 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:16:13] 921*2^1439918-1 is not prime. Res64: 8FDB765CE97A5D0D Time : 0.0 sec. user=mdettweiler [2016-09-16 16:16:13] 923*2^1439918-1 is not prime. Res64: 09C51727B6A47331 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:16:13] 957*2^1439918-1 is not prime. Res64: B2E62BF8AD5E404D Time : 0.0 sec. user=mdettweiler [2016-09-16 16:16:14] 971*2^1439918-1 is not prime. Res64: B3CC43C0FAE7D01F Time : 0.0 sec. user=mdettweiler [2016-09-16 16:19:33] 1001*2^1439918-1 is not prime. Res64: DAD4F95BA8F6C7D6 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:19:33] 663*2^1439919-1 is not prime. Res64: 0769180A5F6B913C Time : 0.0 sec. user=mdettweiler [2016-09-16 16:19:34] 709*2^1439919-1 is not prime. Res64: 41E90945752D2A20 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:19:34] 741*2^1439919-1 is not prime. Res64: 1D78B5E7149ADDD6 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:19:35] 795*2^1439919-1 is not prime. Res64: C249250BF85C0277 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:30:44] 891*2^1439919-1 is not prime. Res64: 9DE00C2160DB9DA8 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:30:44] 723*2^1439920-1 is not prime. Res64: 1C1D7B7D499361A9 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:30:45] 773*2^1439920-1 is not prime. Res64: C1C3EC8FD00616DB Time : 0.0 sec. user=mdettweiler [2016-09-16 16:30:45] 785*2^1439920-1 is not prime. Res64: 82A1509A7773F919 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:30:45] 819*2^1439920-1 is not prime. Res64: 561FC2E86EBED45C Time : 0.0 sec. user=mdettweiler [2016-09-16 16:53:54] 839*2^1439920-1 is not prime. Res64: 45CCB295B804D7C2 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:53:55] 897*2^1439920-1 is not prime. Res64: 88A129C1335CB079 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:53:55] 999*2^1439920-1 is not prime. Res64: FA3BC9D87CD632A3 Time : 0.0 sec. user=mdettweiler [2016-09-16 16:53:56] 645*2^1439921-1 is not prime. Res64: B20AE156A2206AAF Time : 0.0 sec. user=mdettweiler [2016-09-16 16:53:56] 657*2^1439921-1 is not prime. Res64: AD344EBCC3D87745 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:01:29] 735*2^1439921-1 is not prime. Res64: 64CC9DADD50E63D6 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:01:31] 747*2^1439921-1 is not prime. Res64: 9C40928C9A58DFF8 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:01:33] 901*2^1439921-1 is not prime. Res64: 1D6D32DEBF0B2C98 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:01:34] 621*2^1439922-1 is not prime. Res64: D70B72B062340F47 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:01:36] 677*2^1439922-1 is not prime. Res64: F230BC7C312876D8 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:04:59] 821*2^1439922-1 is not prime. Res64: 7D4722BF32ED61F4 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:05:02] 603*2^1439923-1 is not prime. Res64: FF474D2C381BE7B2 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:05:04] 619*2^1439923-1 is not prime. Res64: 48F66EF6BC88BC4F Time : 0.0 sec. user=mdettweiler [2016-09-16 17:05:06] 663*2^1439923-1 is not prime. Res64: CEC002C8DF48B1E6 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:05:07] 789*2^1439923-1 is not prime. Res64: 16B3780C6281533C Time : 0.0 sec. user=mdettweiler [2016-09-16 17:17:33] 853*2^1439923-1 is not prime. Res64: 6A93847F81828F30 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:17:33] 973*2^1439923-1 is not prime. Res64: 1D383207403F3FD9 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:17:34] 615*2^1439924-1 is not prime. Res64: 1E2DD5BC5FEFEC8C Time : 0.0 sec. user=mdettweiler [2016-09-16 17:17:34] 675*2^1439924-1 is not prime. Res64: A85D2B1C563435F1 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:17:34] 785*2^1439924-1 is not prime. Res64: 5AC5309B369AC077 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:45:45] 927*2^1439924-1 is not prime. Res64: 5748E227A105BE2C Time : 0.0 sec. user=mdettweiler [2016-09-16 17:45:45] 607*2^1439925-1 is not prime. Res64: 2CFA6DFC34F8F5F7 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:45:45] 699*2^1439925-1 is not prime. Res64: DDDD6576F6A75C58 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:45:46] 781*2^1439925-1 is not prime. Res64: B74CB999CD0F2EF5 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:45:46] 805*2^1439925-1 is not prime. Res64: DD5266E8580EE8EC Time : 0.0 sec. user=mdettweiler [2016-09-16 17:52:56] 847*2^1439925-1 is not prime. Res64: 389D7FCFF4542415 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:52:57] 871*2^1439925-1 is not prime. Res64: 78DB6107B7B6A6FE Time : 0.0 sec. user=mdettweiler [2016-09-16 17:52:57] 895*2^1439925-1 is not prime. Res64: 1C8C50D501AE4EAA Time : 0.0 sec. user=mdettweiler [2016-09-16 17:52:57] 921*2^1439925-1 is not prime. Res64: 148E516A6F476264 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:52:57] 927*2^1439925-1 is not prime. Res64: 00622443165FA40E Time : 0.0 sec. user=mdettweiler [2016-09-16 17:57:07] 961*2^1439925-1 is not prime. Res64: 72BEBB2815CE2102 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:57:07] 975*2^1439925-1 is not prime. Res64: 8DD1ED801597FC18 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:57:07] 705*2^1439926-1 is not prime. Res64: A233F00F7A939942 Time : 0.0 sec. user=mdettweiler [2016-09-16 17:57:08] 737*2^1439926-1 is not prime. Res64: 29289B5B1A89F54E Time : 0.0 sec. user=mdettweiler [2016-09-16 17:57:08] 833*2^1439926-1 is not prime. Res64: 976A07AC696BBE08 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:09:15] 873*2^1439926-1 is not prime. Res64: 6A43D18FAEA29037 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:09:16] 645*2^1439927-1 is not prime. Res64: 6AE903B6AA8BE9AA Time : 0.0 sec. user=mdettweiler [2016-09-16 18:09:16] 651*2^1439927-1 is not prime. Res64: 628A143F7F985751 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:09:17] 663*2^1439927-1 is not prime. Res64: 9F4740F710B04942 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:09:17] 729*2^1439927-1 is not prime. Res64: 2CFD52F867C10AD2 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:32:52] 885*2^1439927-1 is not prime. Res64: D1D597274E43B70E Time : 0.0 sec. user=mdettweiler [2016-09-16 18:32:52] 963*2^1439927-1 is not prime. Res64: 8B834B57C9DA022B Time : 0.0 sec. user=mdettweiler [2016-09-16 18:32:53] 627*2^1439928-1 is not prime. Res64: 03444A4B7BF3DF56 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:32:53] 669*2^1439928-1 is not prime. Res64: 79B900C421C96039 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:32:53] 765*2^1439928-1 is not prime. Res64: 690887D630ECDB60 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:39:52] 795*2^1439928-1 is not prime. Res64: E656EB3D7E7FFF5C Time : 0.0 sec. user=mdettweiler [2016-09-16 18:39:52] 803*2^1439928-1 is not prime. Res64: 8E01F1805CEE23DF Time : 0.0 sec. user=mdettweiler [2016-09-16 18:39:53] 849*2^1439928-1 is not prime. Res64: AB1829AD526BBE0A Time : 0.0 sec. user=mdettweiler [2016-09-16 18:39:53] 945*2^1439928-1 is not prime. Res64: 01C824B60D6C511A Time : 0.0 sec. user=mdettweiler [2016-09-16 18:39:53] 959*2^1439928-1 is not prime. Res64: 1C1D9040A9F7A1ED Time : 0.0 sec. user=mdettweiler [2016-09-16 18:42:42] 609*2^1439929-1 is not prime. Res64: F4E75F439E43F328 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:42:42] 831*2^1439929-1 is not prime. Res64: 57E7D19737874319 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:42:43] 835*2^1439929-1 is not prime. Res64: 8E05BA05B74799DB Time : 0.0 sec. user=mdettweiler [2016-09-16 18:42:43] 855*2^1439929-1 is not prime. Res64: CBF0603F7F42CBBD Time : 0.0 sec. user=mdettweiler [2016-09-16 18:42:43] 931*2^1439929-1 is not prime. Res64: B183AC0E9DD4DD62 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:54:12] 999*2^1439929-1 is not prime. Res64: B01F1CAA07A7A540 Time : 0.0 sec. user=mdettweiler [2016-09-16 18:54:12] 791*2^1439930-1 is not prime. Res64: 68DE83D408441ACA Time : 0.0 sec. user=mdettweiler [2016-09-16 18:54:13] 861*2^1439930-1 is not prime. Res64: 2D4670D07347114A Time : 0.0 sec. user=mdettweiler [2016-09-16 18:54:13] 941*2^1439930-1 is not prime. Res64: 0BA0D3058157794B Time : 0.0 sec. user=mdettweiler [2016-09-16 18:54:13] 705*2^1439931-1 is not prime. Res64: 5257F3F5E9426027 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:17:39] 769*2^1439931-1 is not prime. Res64: 2D36FD1D5AB3D72B Time : 0.0 sec. user=mdettweiler [2016-09-16 19:17:39] 859*2^1439931-1 is not prime. Res64: FB11EB9BD1649A16 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:17:40] 879*2^1439931-1 is not prime. Res64: B6E8684F70B5A8E1 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:17:40] 909*2^1439931-1 is not prime. Res64: 18908CBF2322E985 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:17:40] 921*2^1439931-1 is not prime. Res64: 798696C6EA30A5E7 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:24:39] 931*2^1439931-1 is not prime. Res64: 0A79A8DA482A7A17 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:24:39] 949*2^1439931-1 is not prime. Res64: 65515BB56E4D9624 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:24:40] 717*2^1439932-1 is not prime. Res64: 052EB920BFD8EE3B Time : 0.0 sec. user=mdettweiler [2016-09-16 19:24:40] 819*2^1439932-1 is not prime. Res64: 919AB7934E3F4284 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:24:41] 857*2^1439932-1 is not prime. Res64: CE9C0B2693D93480 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:27:40] 873*2^1439932-1 is not prime. Res64: BF714E93770401AF Time : 0.0 sec. user=mdettweiler [2016-09-16 19:27:40] 909*2^1439932-1 is not prime. Res64: 5986AE1351AF6F59 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:27:40] 983*2^1439932-1 is not prime. Res64: BFA23998B5434C0C Time : 0.0 sec. user=mdettweiler [2016-09-16 19:27:41] 987*2^1439932-1 is not prime. Res64: FAE18278242E0E98 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:27:41] 989*2^1439932-1 is not prime. Res64: D51B0AB450116BA4 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:39:00] 615*2^1439933-1 is not prime. Res64: 19B34723809F7D36 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:39:01] 657*2^1439933-1 is not prime. Res64: B977EB4F480F2571 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:39:01] 669*2^1439933-1 is not prime. Res64: 3A0994C084C2D512 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:39:02] 721*2^1439933-1 is not prime. Res64: 656579FFEA0364D5 Time : 0.0 sec. user=mdettweiler [2016-09-16 19:39:02] 757*2^1439933-1 is not prime. Res64: 09AB830B3F3F2006 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:02:22] 795*2^1439933-1 is not prime. Res64: D99C3500E247E13C Time : 0.0 sec. user=mdettweiler [2016-09-16 20:02:23] 889*2^1439933-1 is not prime. Res64: D1B7FB27C709F15F Time : 0.0 sec. user=mdettweiler [2016-09-16 20:02:24] 949*2^1439933-1 is not prime. Res64: 3DB0F3C000F172AA Time : 0.0 sec. user=mdettweiler [2016-09-16 20:02:25] 611*2^1439934-1 is not prime. Res64: 0FDE8E2B159E2620 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:02:25] 621*2^1439934-1 is not prime. Res64: 2240718ECB8F3425 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:09:28] 635*2^1439934-1 is not prime. Res64: FF2C68B242EDFDD2 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:09:28] 663*2^1439934-1 is not prime. Res64: C666A4F40BDAB5EA Time : 0.0 sec. user=mdettweiler [2016-09-16 20:09:28] 705*2^1439934-1 is not prime. Res64: 9B28E69F0EB861AF Time : 0.0 sec. user=mdettweiler [2016-09-16 20:09:29] 737*2^1439934-1 is not prime. Res64: 123A65BFF995D79F Time : 0.0 sec. user=mdettweiler [2016-09-16 20:09:29] 791*2^1439934-1 is not prime. Res64: 0E50DC633AA9BBCB Time : 0.0 sec. user=mdettweiler [2016-09-16 20:12:27] 795*2^1439934-1 is not prime. Res64: AF970F43D0A056A4 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:12:27] 797*2^1439934-1 is not prime. Res64: 390F6F43B3CBD59D Time : 0.0 sec. user=mdettweiler [2016-09-16 20:12:28] 833*2^1439934-1 is not prime. Res64: A32CB854373B43B0 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:12:28] 881*2^1439934-1 is not prime. Res64: C506E60C9E2F7062 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:12:28] 947*2^1439934-1 is not prime. Res64: 6B7D78B27314B77F Time : 0.0 sec. user=mdettweiler [2016-09-16 20:23:47] 693*2^1439935-1 is not prime. Res64: 73BC5A555B99A70D Time : 0.0 sec. user=mdettweiler [2016-09-16 20:23:48] 871*2^1439935-1 is not prime. Res64: A8EA1EFEAD42DE9D Time : 0.0 sec. user=mdettweiler [2016-09-16 20:23:48] 883*2^1439935-1 is not prime. Res64: 4ED373877BD68315 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:23:49] 885*2^1439935-1 is not prime. Res64: DE9C0FAEE144246F Time : 0.0 sec. user=mdettweiler [2016-09-16 20:23:49] 919*2^1439935-1 is not prime. Res64: 39A86432711FB1BC Time : 0.0 sec. user=mdettweiler [2016-09-16 20:47:23] 951*2^1439935-1 is not prime. Res64: 720E22467BB4C722 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:47:23] 759*2^1439936-1 is not prime. Res64: 306D772E6B8CB234 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:47:24] 833*2^1439936-1 is not prime. Res64: 968870BB179ADA2F Time : 0.0 sec. user=mdettweiler [2016-09-16 20:47:24] 845*2^1439936-1 is not prime. Res64: 46CF5AC76EF2AAAD Time : 0.0 sec. user=mdettweiler [2016-09-16 20:47:25] 857*2^1439936-1 is not prime. Res64: D9CDABAF0F496CCD Time : 0.0 sec. user=mdettweiler [2016-09-16 20:54:19] 999*2^1439936-1 is not prime. Res64: 6E53CE876A7F7CB6 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:54:19] 639*2^1439937-1 is not prime. Res64: F9AA70EE6C8207F7 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:54:20] 675*2^1439937-1 is not prime. Res64: 2F6134F7D51650CD Time : 0.0 sec. user=mdettweiler [2016-09-16 20:54:20] 681*2^1439937-1 is not prime. Res64: 59C8F54FCAF18F7D Time : 0.0 sec. user=mdettweiler [2016-09-16 20:54:21] 807*2^1439937-1 is not prime. Res64: 45D161885E8B1B57 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:57:28] 817*2^1439937-1 is not prime. Res64: F9314F4E544ACC76 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:57:28] 847*2^1439937-1 is not prime. Res64: DB51E8B62AE01BD7 Time : 0.0 sec. user=mdettweiler [2016-09-16 20:57:29] 891*2^1439937-1 is not prime. Res64: A058FBF3F32AA5BB Time : 0.0 sec. user=mdettweiler [2016-09-16 20:57:29] 611*2^1439938-1 is not prime. Res64: E85A5FC158094ECA Time : 0.0 sec. user=mdettweiler [2016-09-16 20:57:29] 705*2^1439938-1 is not prime. Res64: 7F9A54104581CE04 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:08:45] 765*2^1439938-1 is not prime. Res64: AE4E747FDF3443B3 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:08:46] 801*2^1439938-1 is not prime. Res64: 375E32E64DF589E7 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:08:47] 821*2^1439938-1 is not prime. Res64: 292C2C07F3957898 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:08:48] 831*2^1439938-1 is not prime. Res64: D06AC97F0775DF60 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:08:48] 951*2^1439938-1 is not prime. Res64: 3D5B78D5FCE6B5EE Time : 0.0 sec. user=mdettweiler [2016-09-16 21:32:08] 995*2^1439938-1 is not prime. Res64: EBD6BA37B113653F Time : 0.0 sec. user=mdettweiler [2016-09-16 21:32:09] 615*2^1439939-1 is not prime. Res64: 3940AEA28E7AE059 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:32:09] 631*2^1439939-1 is not prime. Res64: 03710215E3D02E5C Time : 0.0 sec. user=mdettweiler [2016-09-16 21:32:09] 669*2^1439939-1 is not prime. Res64: 2D8FCE1C74D1F182 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:32:10] 703*2^1439939-1 is not prime. Res64: A5957DC7E4B5D074 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:39:14] 705*2^1439939-1 is not prime. Res64: 34BA9898FA8711A9 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:39:15] 735*2^1439939-1 is not prime. Res64: 472E80EE80D7CF22 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:39:15] 741*2^1439939-1 is not prime. Res64: 9E21B551BBF3B53C Time : 0.0 sec. user=mdettweiler [2016-09-16 21:39:16] 843*2^1439939-1 is not prime. Res64: 2E739AA6E5268CC2 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:39:16] 909*2^1439939-1 is not prime. Res64: 7B883E248581B7E7 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:42:38] 921*2^1439939-1 is not prime. Res64: 355274C0CEFA86FB Time : 0.0 sec. user=mdettweiler [2016-09-16 21:42:39] 993*2^1439939-1 is not prime. Res64: 2A5F42EAC3F53D2D Time : 0.0 sec. user=mdettweiler [2016-09-16 21:42:39] 633*2^1439940-1 is not prime. Res64: C007FA6FF0A676B3 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:42:40] 675*2^1439940-1 is not prime. Res64: 125E962813DE9C26 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:42:40] 689*2^1439940-1 is not prime. Res64: FE76E1FA46E22333 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:53:47] 795*2^1439940-1 is not prime. Res64: D910E644A85C7145 Time : 0.0 sec. user=mdettweiler [2016-09-16 21:53:47] 809*2^1439940-1 is not prime. Res64: 02638DF55E2EAF1B Time : 0.0 sec. user=mdettweiler [2016-09-16 21:53:47] 845*2^1439940-1 is not prime. Res64: 7BF444E8013059CE Time : 0.0 sec. user=mdettweiler [2016-09-16 21:53:48] 899*2^1439940-1 is not prime. Res64: F97FD2492CF2ED2F Time : 0.0 sec. user=mdettweiler [2016-09-16 21:53:48] 915*2^1439940-1 is not prime. Res64: 2680DA237D3573A0 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:17:02] 927*2^1439940-1 is not prime. Res64: 44FE6A0C31DE8C09 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:17:02] 987*2^1439940-1 is not prime. Res64: 282D79167847EFAB Time : 0.0 sec. user=mdettweiler [2016-09-16 22:17:02] 717*2^1439941-1 is not prime. Res64: 658867999F2F5559 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:17:03] 769*2^1439941-1 is not prime. Res64: 43D04FA01D5A0C8E Time : 0.0 sec. user=mdettweiler [2016-09-16 22:17:03] 861*2^1439941-1 is not prime. Res64: 0736E36A4AB2D8FA Time : 0.0 sec. user=mdettweiler [2016-09-16 22:24:48] 961*2^1439941-1 is not prime. Res64: 962831F607AD91E5 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:24:49] 615*2^1439942-1 is not prime. Res64: C5691CEC6906035B Time : 0.0 sec. user=mdettweiler [2016-09-16 22:24:49] 651*2^1439942-1 is not prime. Res64: 5CA0B78C71D5A3AA Time : 0.0 sec. user=mdettweiler [2016-09-16 22:24:50] 785*2^1439942-1 is not prime. Res64: 2870C72BF4BC9754 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:24:50] 797*2^1439942-1 is not prime. Res64: 8066078B5B4A4D11 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:28:05] 801*2^1439942-1 is not prime. Res64: 1D500421A26D2E99 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:28:05] 813*2^1439942-1 is not prime. Res64: 875894CEBA400865 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:28:06] 831*2^1439942-1 is not prime. Res64: EB7B77B50F83ED9E Time : 0.0 sec. user=mdettweiler [2016-09-16 22:28:06] 885*2^1439942-1 is not prime. Res64: 3D7895E0D0E39CA3 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:28:06] 923*2^1439942-1 is not prime. Res64: 5512C5218CA3246E Time : 0.0 sec. user=mdettweiler [2016-09-16 22:40:02] 957*2^1439942-1 is not prime. Res64: 602614874B4ADB54 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:40:02] 1001*2^1439942-1 is not prime. Res64: EF5F6FDF85C86C11 Time : 0.0 sec. user=mdettweiler [2016-09-16 22:40:02] 709*2^1439943-1 is not prime. Res64: 4CFA79588EC07DAB Time : 0.0 sec. user=mdettweiler [2016-09-16 22:40:02] 721*2^1439943-1 is not prime. Res64: 3370EBC0E01863DB Time : 0.0 sec. user=mdettweiler [2016-09-16 22:40:03] 751*2^1439943-1 is not prime. Res64: A2C42C2641F87FB5 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:03:50] 943*2^1439943-1 is not prime. Res64: 7E480E0B04573EBD Time : 0.0 sec. user=mdettweiler [2016-09-16 23:03:52] 617*2^1439944-1 is not prime. Res64: F63FE0948C3765B8 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:03:56] 675*2^1439944-1 is not prime. Res64: 3027CDA1692FB38E Time : 0.0 sec. user=mdettweiler [2016-09-16 23:03:57] 717*2^1439944-1 is not prime. Res64: CD76B928436318A6 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:03:58] 873*2^1439944-1 is not prime. Res64: 62AE7F3AD8D1205E Time : 0.0 sec. user=mdettweiler [2016-09-16 23:12:09] 965*2^1439944-1 is not prime. Res64: 093F8F8EC9098E02 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:12:09] 717*2^1439945-1 is not prime. Res64: 4B61571A08848F54 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:12:09] 867*2^1439945-1 is not prime. Res64: D2A2FA44EC992B5D Time : 0.0 sec. user=mdettweiler [2016-09-16 23:12:10] 907*2^1439945-1 is not prime. Res64: 7211E12BE23851CE Time : 0.0 sec. user=mdettweiler [2016-09-16 23:12:10] 981*2^1439945-1 is not prime. Res64: C24F0DA5D309ACA7 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:15:00] 633*2^1439946-1 is not prime. Res64: E85617094F2B382B Time : 0.0 sec. user=mdettweiler [2016-09-16 23:15:01] 657*2^1439946-1 is not prime. Res64: C36CD6A5F94E70B2 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:15:01] 683*2^1439946-1 is not prime. Res64: 4125FC2BE02A5D47 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:15:02] 741*2^1439946-1 is not prime. Res64: 5CC0D7D732B4158F Time : 0.0 sec. user=mdettweiler [2016-09-16 23:15:03] 807*2^1439946-1 is not prime. Res64: 26A491BF97C06DE2 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:26:42] 881*2^1439946-1 is not prime. Res64: 1DDAA8350035E092 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:26:43] 921*2^1439946-1 is not prime. Res64: 9CA0127A3F47E1CA Time : 0.0 sec. user=mdettweiler [2016-09-16 23:26:43] 947*2^1439946-1 is not prime. Res64: 281CB22A3EDC8CCB Time : 0.0 sec. user=mdettweiler [2016-09-16 23:26:43] 975*2^1439946-1 is not prime. Res64: 890BDDF8750929B1 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:26:44] 1001*2^1439946-1 is not prime. Res64: 7F41EB32C7B170E1 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:49:32] 673*2^1439947-1 is not prime. Res64: DEAC0BB6F4F68F84 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:49:33] 871*2^1439947-1 is not prime. Res64: 7384DE4DF9C9DBB7 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:49:33] 735*2^1439948-1 is not prime. Res64: E1813699C2BE5883 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:49:33] 753*2^1439948-1 is not prime. Res64: 510DA0684AEA965B Time : 0.0 sec. user=mdettweiler [2016-09-16 23:49:34] 909*2^1439948-1 is not prime. Res64: DFBA788E78CAD01C Time : 0.0 sec. user=mdettweiler [2016-09-16 23:57:23] 977*2^1439948-1 is not prime. Res64: B27A21E50890C341 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:57:24] 999*2^1439948-1 is not prime. Res64: 079B5B9E6456CDAB Time : 0.0 sec. user=mdettweiler [2016-09-16 23:57:24] 627*2^1439949-1 is not prime. Res64: AE86E1E65DE03DB2 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:57:24] 649*2^1439949-1 is not prime. Res64: 0E0C10601250B308 Time : 0.0 sec. user=mdettweiler [2016-09-16 23:57:25] 711*2^1439949-1 is not prime. Res64: E91AC89189EEC801 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:00:15] 787*2^1439949-1 is not prime. Res64: ABCE417DDEDD7B73 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:00:16] 817*2^1439949-1 is not prime. Res64: F579A6EB3709F4A4 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:00:16] 835*2^1439949-1 is not prime. Res64: 67EB42480B5B1FD4 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:00:17] 861*2^1439949-1 is not prime. Res64: 63799FA3A149DA35 Time : 0.0 sec. user=mdettweiler [2016-09-17 00:00:17] 885*2^1439949-1 is not prime. Res64: A0E4E788F04B559F Time : 0.0 sec.