user=mdettweiler [2018-08-15 00:30:38] 889*2^1521325-1 is not prime. Res64: FA7C2330CAB9D8BA Time : 0.0 sec. user=mdettweiler [2018-08-15 00:30:38] 937*2^1521325-1 is not prime. Res64: BD953930CDCCEB05 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:30:39] 985*2^1521325-1 is not prime. Res64: 1DA8C80C00CC4D8C Time : 0.0 sec. user=mdettweiler [2018-08-15 00:30:39] 645*2^1521326-1 is not prime. Res64: C539A0D70175BFBD Time : 0.0 sec. user=mdettweiler [2018-08-15 00:30:39] 843*2^1521326-1 is not prime. Res64: 136BFF2E83A29343 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:39:46] 861*2^1521326-1 is not prime. Res64: 79C52BF12E8A60B5 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:39:46] 911*2^1521326-1 is not prime. Res64: 963C7566E27AAA52 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:39:46] 625*2^1521327-1 is not prime. Res64: 891F0C4F807CF07A Time : 0.0 sec. user=mdettweiler [2018-08-15 00:39:47] 769*2^1521327-1 is not prime. Res64: 570BE863EFD901A6 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:39:47] 795*2^1521327-1 is not prime. Res64: 094BB6EA18F0871C Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:05] 825*2^1521327-1 is not prime. Res64: 14C241DE85506C42 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:06] 885*2^1521327-1 is not prime. Res64: 5E501558C8976362 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:06] 891*2^1521327-1 is not prime. Res64: A922C1EE9651CA43 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:06] 955*2^1521327-1 is not prime. Res64: 231ED8EE548BD218 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:07] 979*2^1521327-1 is not prime. Res64: 85A9BD4B5F0438A7 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:36] 663*2^1521328-1 is not prime. Res64: 2109EB1D7F02EB9F Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:37] 781*2^1521329-1 is not prime. Res64: D8DC31CE230EA053 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:37] 925*2^1521329-1 is not prime. Res64: 179A44D9ABDBFBCA Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:38] 979*2^1521329-1 is not prime. Res64: 1AC27A082F36C335 Time : 0.0 sec. user=mdettweiler [2018-08-15 00:41:39] 987*2^1521329-1 is not prime. Res64: 085AE6BFF1594FCC Time : 0.0 sec. user=mdettweiler [2018-08-15 01:24:04] 635*2^1521330-1 is not prime. Res64: DCD9288D8446921E Time : 0.0 sec. user=mdettweiler [2018-08-15 01:24:04] 741*2^1521330-1 is not prime. Res64: 39E101649978453D Time : 0.0 sec. user=mdettweiler [2018-08-15 01:24:05] 801*2^1521330-1 is not prime. Res64: 1FD8CFB9EC2E3916 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:24:05] 867*2^1521330-1 is not prime. Res64: 9DECD6C169FC5D78 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:24:05] 621*2^1521331-1 is not prime. Res64: 8B6DDC3B752F2DA0 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:31:49] 691*2^1521331-1 is not prime. Res64: 577A83D9C939A60B Time : 0.0 sec. user=mdettweiler [2018-08-15 01:31:50] 705*2^1521331-1 is not prime. Res64: 25521FB7B5C6C4AD Time : 0.0 sec. user=mdettweiler [2018-08-15 01:31:51] 871*2^1521331-1 is not prime. Res64: BE9CB3806831CF35 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:31:51] 975*2^1521331-1 is not prime. Res64: 668303AA3B950F88 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:31:52] 629*2^1521332-1 is not prime. Res64: ED4848786CC8B207 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:32:49] 753*2^1521332-1 is not prime. Res64: 4BFF2CF4BBAE67F1 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:32:50] 767*2^1521332-1 is not prime. Res64: 5B1B03303DA5E8DF Time : 0.0 sec. user=mdettweiler [2018-08-15 01:32:51] 797*2^1521332-1 is not prime. Res64: F2D4B19E32D62D16 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:32:51] 897*2^1521332-1 is not prime. Res64: B6B02C725216F145 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:32:52] 935*2^1521332-1 is not prime. Res64: C35973B39DF5E180 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:33:39] 679*2^1521333-1 is not prime. Res64: DD18BE77E0A61FFC Time : 0.0 sec. user=mdettweiler [2018-08-15 01:33:39] 741*2^1521333-1 is not prime. Res64: BFCC2676D6C9D7CD Time : 0.0 sec. user=mdettweiler [2018-08-15 01:33:40] 745*2^1521333-1 is not prime. Res64: A4E2E4B175D72B2B Time : 0.0 sec. user=mdettweiler [2018-08-15 01:33:41] 811*2^1521333-1 is not prime. Res64: C339D6F7F6449338 Time : 0.0 sec. user=mdettweiler [2018-08-15 01:33:41] 889*2^1521333-1 is not prime. Res64: D075D89E61DE27A9 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:15:56] 915*2^1521333-1 is not prime. Res64: 347F40C5DF03C061 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:15:57] 969*2^1521333-1 is not prime. Res64: B112F6CAC26B2D61 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:15:58] 605*2^1521334-1 is not prime. Res64: 14C5838F1462E7E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:15:58] 785*2^1521334-1 is not prime. Res64: B9137663612503A7 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:15:59] 827*2^1521334-1 is not prime. Res64: 97F6EC712420B4F0 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:24:22] 857*2^1521334-1 is not prime. Res64: B5B68027B52F6DC4 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:24:22] 897*2^1521334-1 is not prime. Res64: 87666894C4B9C35F Time : 0.0 sec. user=mdettweiler [2018-08-15 02:24:22] 945*2^1521334-1 is not prime. Res64: 50BAD8FD717F58A7 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:24:23] 661*2^1521335-1 is not prime. Res64: 6773C2EC9243421E Time : 0.0 sec. user=mdettweiler [2018-08-15 02:24:23] 693*2^1521335-1 is not prime. Res64: B9750D7F19A8ACD3 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:45] 705*2^1521335-1 is not prime. Res64: 42A38979AE38A1BD Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:46] 789*2^1521335-1 is not prime. Res64: C2E6F63F19027DDF Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:46] 823*2^1521335-1 is not prime. Res64: 3FC36F1DDAC44E4A Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:47] 859*2^1521335-1 is not prime. Res64: 3735E4436F3B2AE5 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:47] 939*2^1521335-1 is not prime. Res64: 040532A785726122 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:59] 963*2^1521335-1 is not prime. Res64: 578E7D5CA36705CC Time : 0.0 sec. user=mdettweiler [2018-08-15 02:25:59] 991*2^1521335-1 is not prime. Res64: 860AC0CBA3F7B82C Time : 0.0 sec. user=mdettweiler [2018-08-15 02:26:00] 747*2^1521336-1 is not prime. Res64: B65166F624D6BF1A Time : 0.0 sec. user=mdettweiler [2018-08-15 02:26:00] 777*2^1521336-1 is not prime. Res64: B69C5992C659C534 Time : 0.0 sec. user=mdettweiler [2018-08-15 02:26:00] 789*2^1521336-1 is not prime. Res64: 243A9921078D7068 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:10:23] 873*2^1521336-1 is not prime. Res64: 95341A31BD366A50 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:10:24] 933*2^1521336-1 is not prime. Res64: CE9E9825767E697F Time : 0.0 sec. user=mdettweiler [2018-08-15 03:10:25] 619*2^1521337-1 is not prime. Res64: E54154C2D1ADC159 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:10:26] 661*2^1521337-1 is not prime. Res64: 59ED49837B3FDC2F Time : 0.0 sec. user=mdettweiler [2018-08-15 03:10:26] 685*2^1521337-1 is not prime. Res64: FD8AF3B6CA63A25C Time : 0.0 sec. user=mdettweiler [2018-08-15 03:17:38] 747*2^1521337-1 is not prime. Res64: 10FF0B90EC3B2368 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:17:38] 831*2^1521337-1 is not prime. Res64: DB77695B3B15BF93 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:17:38] 871*2^1521337-1 is not prime. Res64: 12A4BC418C6C9595 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:17:39] 937*2^1521337-1 is not prime. Res64: 6D6B8554B511DCF8 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:17:39] 985*2^1521337-1 is not prime. Res64: 68CE2DBDB2F58E05 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:08] 755*2^1521338-1 is not prime. Res64: 45B72E991345B1ED Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:09] 857*2^1521338-1 is not prime. Res64: F86AFC1D26B894A3 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:09] 893*2^1521338-1 is not prime. Res64: 5C477648B2FAEE04 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:09] 935*2^1521338-1 is not prime. Res64: DB909A31FABFF312 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:10] 945*2^1521338-1 is not prime. Res64: D110F6E9C0F796A1 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:39] 951*2^1521338-1 is not prime. Res64: 5AFE3082A276E7E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:39] 663*2^1521339-1 is not prime. Res64: 4940B370C7010CBC Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:39] 675*2^1521339-1 is not prime. Res64: D62FF6299BD20FAD Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:40] 853*2^1521339-1 is not prime. Res64: 438CF50740B328F3 Time : 0.0 sec. user=mdettweiler [2018-08-15 03:18:40] 985*2^1521339-1 is not prime. Res64: 1BFA292E91AD2B43 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:01:43] 675*2^1521340-1 is not prime. Res64: 5D08152E3AA6551A Time : 0.0 sec. user=mdettweiler [2018-08-15 04:01:46] 695*2^1521340-1 is not prime. Res64: 40636509128924CA Time : 0.0 sec. user=mdettweiler [2018-08-15 04:01:48] 719*2^1521340-1 is not prime. Res64: 43C7051A857296C8 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:01:50] 797*2^1521340-1 is not prime. Res64: CB9E60DAA681BB3A Time : 0.0 sec. user=mdettweiler [2018-08-15 04:01:51] 825*2^1521340-1 is not prime. Res64: BF97F6077766CA8D Time : 0.0 sec. user=mdettweiler [2018-08-15 04:08:43] 923*2^1521340-1 is not prime. Res64: CE978F4791868C05 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:08:45] 983*2^1521340-1 is not prime. Res64: AF92B0A6E4AFE588 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:08:46] 999*2^1521340-1 is not prime. Res64: 04FA79EC0772B517 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:08:47] 745*2^1521341-1 is not prime. Res64: 19DC1D401994FD66 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:08:50] 777*2^1521341-1 is not prime. Res64: AC1AF5C9BA5A1CC2 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:01] 885*2^1521341-1 is not prime. Res64: 86B6737A9E29D247 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:05] 931*2^1521341-1 is not prime. Res64: C2A9EBA38FB4AD9A Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:09] 693*2^1521342-1 is not prime. Res64: 3D2E7B004D10047B Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:11] 695*2^1521342-1 is not prime. Res64: 7157835697024E14 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:13] 807*2^1521342-1 is not prime. Res64: 55624D56FB6D6407 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:25] 843*2^1521342-1 is not prime. Res64: E51FB30878BEF867 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:27] 903*2^1521342-1 is not prime. Res64: BE1106FE36FE761C Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:29] 1001*2^1521342-1 is not prime. Res64: 1E0CCBA7B3AE13CF Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:31] 603*2^1521343-1 is not prime. Res64: C3F8DB8CE7A62F42 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:09:32] 681*2^1521343-1 is not prime. Res64: 716FB82E96988BBE Time : 0.0 sec. user=mdettweiler [2018-08-15 04:53:35] 723*2^1521343-1 is not prime. Res64: 08EE92900AC0A047 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:53:36] 765*2^1521343-1 is not prime. Res64: DB132284225237E8 Time : 0.0 sec. user=mdettweiler [2018-08-15 04:53:36] 775*2^1521343-1 is not prime. Res64: 641C16D2087BF84B Time : 0.0 sec. user=mdettweiler [2018-08-15 04:53:37] 783*2^1521343-1 is not prime. Res64: F55B6FBAA503CAED Time : 0.0 sec. user=mdettweiler [2018-08-15 04:53:38] 849*2^1521343-1 is not prime. Res64: D17D9354426BFF8F Time : 0.0 sec. user=mdettweiler [2018-08-15 05:00:36] 659*2^1521344-1 is not prime. Res64: 81EF740F0C3431F3 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:00:37] 683*2^1521344-1 is not prime. Res64: 9E933502E35BD02D Time : 0.0 sec. user=mdettweiler [2018-08-15 05:00:37] 717*2^1521344-1 is not prime. Res64: 2156BAEADC157E19 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:00:38] 747*2^1521344-1 is not prime. Res64: 37B3F269BB40456A Time : 0.0 sec. user=mdettweiler [2018-08-15 05:00:39] 833*2^1521344-1 is not prime. Res64: 0AAE8E4643F7BB86 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:00] 719*2^1521344-1 is not prime. Res64: 228648F9E4288861 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:01] 939*2^1521343-1 is not prime. Res64: B4E23C3412F09958 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:02] 969*2^1521343-1 is not prime. Res64: 924CC12D0383EDA4 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:03] 909*2^1521344-1 is not prime. Res64: 192AE58A1C558346 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:05] 617*2^1521344-1 is not prime. Res64: CBE750F9EF63B813 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:06] 607*2^1521345-1 is not prime. Res64: C620663B443FA771 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:06] 959*2^1521344-1 is not prime. Res64: 8C4F4C3BFDAF2BA3 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:07] 709*2^1521345-1 is not prime. Res64: 13EA48415A3A0AEA Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:09] 995*2^1521344-1 is not prime. Res64: 2F9CCACD638B5C43 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:01:10] 739*2^1521345-1 is not prime. Res64: AF562E990FCB3DB0 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:44:43] 741*2^1521345-1 is not prime. Res64: CEF9689627E4CEC8 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:44:43] 861*2^1521345-1 is not prime. Res64: A96438CE323057EC Time : 0.0 sec. user=mdettweiler [2018-08-15 05:44:44] 889*2^1521345-1 is not prime. Res64: AF8A2FB674ECB2BB Time : 0.0 sec. user=mdettweiler [2018-08-15 05:44:44] 937*2^1521345-1 is not prime. Res64: 80D3FA0F42D9DC51 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:44:44] 653*2^1521346-1 is not prime. Res64: 5CF71322E83C27C2 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:51:45] 741*2^1521346-1 is not prime. Res64: 0D5E6155BC10C2BC Time : 0.0 sec. user=mdettweiler [2018-08-15 05:51:45] 755*2^1521346-1 is not prime. Res64: A501F250C9AAE0FD Time : 0.0 sec. user=mdettweiler [2018-08-15 05:51:45] 815*2^1521346-1 is not prime. Res64: 7D18366841F94F59 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:51:46] 993*2^1521346-1 is not prime. Res64: 61FAD95A699AC85A Time : 0.0 sec. user=mdettweiler [2018-08-15 05:51:46] 621*2^1521347-1 is not prime. Res64: BA482242E3C96862 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:00] 639*2^1521348-1 is not prime. Res64: 31A3EAC0E92EABB0 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:00] 723*2^1521348-1 is not prime. Res64: DF4D51274A6FD5EC Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:00] 759*2^1521348-1 is not prime. Res64: 6F17736A0A4066E8 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:01] 663*2^1521347-1 is not prime. Res64: 6D77CDA330EC893D Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:01] 783*2^1521348-1 is not prime. Res64: 90A131A276EC5A25 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:01] 781*2^1521347-1 is not prime. Res64: 0C24592701CB7D82 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:01] 797*2^1521348-1 is not prime. Res64: 8A1131F51468DE8A Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:01] 813*2^1521347-1 is not prime. Res64: 9B224D50AC9912C1 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:02] 895*2^1521347-1 is not prime. Res64: 2EBB8C9A645D56B6 Time : 0.0 sec. user=mdettweiler [2018-08-15 05:52:02] 963*2^1521347-1 is not prime. Res64: 43C842A11D82D609 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:35:20] 839*2^1521348-1 is not prime. Res64: 8000B7FE98B916CB Time : 0.0 sec. user=mdettweiler [2018-08-15 06:35:21] 843*2^1521348-1 is not prime. Res64: 9663F7D99F9AB16F Time : 0.0 sec. user=mdettweiler [2018-08-15 06:35:21] 879*2^1521348-1 is not prime. Res64: 472CC5752CAA610C Time : 0.0 sec. user=mdettweiler [2018-08-15 06:35:22] 893*2^1521348-1 is not prime. Res64: 22E0A9FCCEFCD1B4 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:35:22] 601*2^1521349-1 is not prime. Res64: 9A455E4E866E9FF8 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:25] 615*2^1521349-1 is not prime. Res64: 7B70702186C1D2FF Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:25] 649*2^1521349-1 is not prime. Res64: 5F3C521362D6C239 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:26] 817*2^1521349-1 is not prime. Res64: C80899522BD13D0E Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:26] 985*2^1521349-1 is not prime. Res64: 797903AD5C7F4801 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:26] 717*2^1521350-1 is not prime. Res64: A3F59F7FB5BF0543 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:48] 643*2^1521351-1 is not prime. Res64: 16AFEA009DC93E3B Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:49] 735*2^1521351-1 is not prime. Res64: D5E1E2040D1FE772 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:49] 795*2^1521351-1 is not prime. Res64: 12FF9546A9170639 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:50] 849*2^1521351-1 is not prime. Res64: 4DBA121D4B7FFABD Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:50] 605*2^1521352-1 is not prime. Res64: 66CDA5898B3B9CBE Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:52] 761*2^1521350-1 is not prime. Res64: 848BB0F82488E53D Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:53] 813*2^1521350-1 is not prime. Res64: 70628DC840B5E19F Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:53] 825*2^1521350-1 is not prime. Res64: 4612ABE8F1009DE7 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:54] 923*2^1521350-1 is not prime. Res64: 6169BA261E8573A8 Time : 0.0 sec. user=mdettweiler [2018-08-15 06:42:54] 619*2^1521351-1 is not prime. Res64: 2DF3062703E086AF Time : 0.0 sec. user=mdettweiler [2018-08-15 07:26:09] 665*2^1521352-1 is not prime. Res64: 22B5233E45FC029D Time : 0.0 sec. user=mdettweiler [2018-08-15 07:26:09] 747*2^1521352-1 is not prime. Res64: 0B2A93B878470E7A Time : 0.0 sec. user=mdettweiler [2018-08-15 07:26:10] 759*2^1521352-1 is not prime. Res64: 7DD9013239A6EC45 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:26:10] 843*2^1521352-1 is not prime. Res64: 75056E83273C9F39 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:26:11] 855*2^1521352-1 is not prime. Res64: D97BDE92CE12F251 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:32:53] 651*2^1521353-1 is not prime. Res64: D938416CDD044CB9 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:32:53] 685*2^1521353-1 is not prime. Res64: FB7474EE14740360 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:32:53] 967*2^1521353-1 is not prime. Res64: FDF41223C93105DE Time : 0.0 sec. user=mdettweiler [2018-08-15 07:32:54] 985*2^1521353-1 is not prime. Res64: 24DC3C74E5C79E3B Time : 0.0 sec. user=mdettweiler [2018-08-15 07:32:54] 651*2^1521354-1 is not prime. Res64: 69DB93EED91F168D Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:20] 791*2^1521354-1 is not prime. Res64: D7F3CAC06713F573 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:21] 833*2^1521354-1 is not prime. Res64: DBBB54A25CEA18B5 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:21] 851*2^1521354-1 is not prime. Res64: C8910A3693E8EDAC Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:21] 861*2^1521354-1 is not prime. Res64: 83D0F447DAFC4D8F Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:22] 875*2^1521354-1 is not prime. Res64: F9C14077ABD394F1 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:31] 885*2^1521354-1 is not prime. Res64: C0824CD4D2B5141D Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:32] 903*2^1521354-1 is not prime. Res64: F0E24FB0AF105F73 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:32] 905*2^1521354-1 is not prime. Res64: 421C21D0C0A27233 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:33] 983*2^1521354-1 is not prime. Res64: 61A70136BB776FE1 Time : 0.0 sec. user=mdettweiler [2018-08-15 07:33:33] 673*2^1521355-1 is not prime. Res64: A3A2DB78C1B50E02 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:16:51] 685*2^1521355-1 is not prime. Res64: FA82FF0F7477F542 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:16:51] 741*2^1521355-1 is not prime. Res64: 71A25C0193BE032F Time : 0.0 sec. user=mdettweiler [2018-08-15 08:16:52] 873*2^1521355-1 is not prime. Res64: 3E36A4ADFD298CD1 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:16:52] 623*2^1521356-1 is not prime. Res64: 684B187A3E84367E Time : 0.0 sec. user=mdettweiler [2018-08-15 08:16:53] 663*2^1521356-1 is not prime. Res64: 8BDB74C395A9D616 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:23:33] 767*2^1521356-1 is not prime. Res64: 39188C1406D21F6B Time : 0.0 sec. user=mdettweiler [2018-08-15 08:23:33] 789*2^1521356-1 is not prime. Res64: 51DC5FD59C2C4FD8 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:23:33] 923*2^1521356-1 is not prime. Res64: 769823470745FE94 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:23:34] 651*2^1521357-1 is not prime. Res64: C6D8BBE18AA60886 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:23:34] 781*2^1521357-1 is not prime. Res64: F2C21E4DEF00594F Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:03] 915*2^1521357-1 is not prime. Res64: 33F02C37564B556C Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:04] 645*2^1521358-1 is not prime. Res64: C8EA9E4D415E4891 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:04] 665*2^1521358-1 is not prime. Res64: F9E5C711497790C5 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:05] 681*2^1521358-1 is not prime. Res64: BEF266F22A009CBF Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:05] 687*2^1521358-1 is not prime. Res64: F0C661440DD78C0D Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:15] 857*2^1521358-1 is not prime. Res64: 571162C48592286F Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:15] 981*2^1521358-1 is not prime. Res64: CAEC367A70B8D58F Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:16] 621*2^1521359-1 is not prime. Res64: ED1F13AF6CE173E9 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:16] 679*2^1521359-1 is not prime. Res64: 9C541C052EBA7227 Time : 0.0 sec. user=mdettweiler [2018-08-15 08:24:17] 813*2^1521359-1 is not prime. Res64: 51CCF1B4C2BD3323 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:08:01] 825*2^1521359-1 is not prime. Res64: 6C5B55882686F0AE Time : 0.0 sec. user=mdettweiler [2018-08-15 09:08:02] 861*2^1521359-1 is not prime. Res64: 7803A352DA2D0ABB Time : 0.0 sec. user=mdettweiler [2018-08-15 09:08:03] 879*2^1521359-1 is not prime. Res64: 1DCBF9A84420DD1F Time : 0.0 sec. user=mdettweiler [2018-08-15 09:08:04] 885*2^1521359-1 is not prime. Res64: 878D7DC2291C498C Time : 0.0 sec. user=mdettweiler [2018-08-15 09:08:05] 909*2^1521359-1 is not prime. Res64: ABC421C741A66324 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:14:24] 913*2^1521359-1 is not prime. Res64: 7CA12BF83D26F8FD Time : 0.0 sec. user=mdettweiler [2018-08-15 09:14:25] 931*2^1521359-1 is not prime. Res64: A24C62F4145466BF Time : 0.0 sec. user=mdettweiler [2018-08-15 09:14:25] 669*2^1521360-1 is not prime. Res64: 494AC4EC8872DE9B Time : 0.0 sec. user=mdettweiler [2018-08-15 09:14:26] 759*2^1521360-1 is not prime. Res64: CF194C4DE9C90DB4 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:14:26] 843*2^1521360-1 is not prime. Res64: 6D3F8A66D1B316B3 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:02] 879*2^1521360-1 is not prime. Res64: 75B363A445E28C07 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:02] 625*2^1521361-1 is not prime. Res64: 5C5817515EDF0FA6 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:03] 651*2^1521361-1 is not prime. Res64: 8E546534EC51924D Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:04] 679*2^1521361-1 is not prime. Res64: 22E766E787DEA099 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:04] 665*2^1521362-1 is not prime. Res64: A649E51FADA73994 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:06] 735*2^1521362-1 is not prime. Res64: 091CA22EB4D47E64 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:07] 797*2^1521362-1 is not prime. Res64: 31B7E4FE3274F9C7 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:07] 977*2^1521362-1 is not prime. Res64: B72421C29947A027 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:08] 609*2^1521363-1 is not prime. Res64: A7B25ACC9CE48216 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:15:08] 619*2^1521363-1 is not prime. Res64: 9253B16D98807CD2 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:59:14] 699*2^1521363-1 is not prime. Res64: 54B7BCAB9B395DA7 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:59:15] 751*2^1521363-1 is not prime. Res64: 882B268E29AF77F8 Time : 0.0 sec. user=mdettweiler [2018-08-15 09:59:15] 781*2^1521363-1 is not prime. Res64: F6DA0910AED8BFEE Time : 0.0 sec. user=mdettweiler [2018-08-15 09:59:15] 835*2^1521363-1 is not prime. Res64: B59C3E721712EB4F Time : 0.0 sec. user=mdettweiler [2018-08-15 09:59:16] 945*2^1521363-1 is not prime. Res64: BE02DCF8EACE7732 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:05:23] 991*2^1521363-1 is not prime. Res64: 32B18BBF59A209DE Time : 0.0 sec. user=mdettweiler [2018-08-15 10:05:25] 699*2^1521364-1 is not prime. Res64: C0A6F8D8A273CE9C Time : 0.0 sec. user=mdettweiler [2018-08-15 10:05:26] 705*2^1521364-1 is not prime. Res64: A678FA368DB6DF1C Time : 0.0 sec. user=mdettweiler [2018-08-15 10:05:27] 719*2^1521364-1 is not prime. Res64: D57603D10C3CEA11 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:05:29] 723*2^1521364-1 is not prime. Res64: 93E89A71C24C2C03 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:01] 771*2^1521365-1 is not prime. Res64: 3A49C67DD9D24D37 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:03] 787*2^1521365-1 is not prime. Res64: AB33048F16743FB0 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:04] 871*2^1521365-1 is not prime. Res64: 3C84570075CD472C Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:05] 951*2^1521365-1 is not prime. Res64: 112B33C2465BC417 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:07] 611*2^1521366-1 is not prime. Res64: C4CCEF8790A2228A Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:08] 897*2^1521364-1 is not prime. Res64: ED72092DAD7C9564 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:11] 905*2^1521364-1 is not prime. Res64: 21330FCAB483F82C Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:14] 657*2^1521365-1 is not prime. Res64: C97DC0428693AED3 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:18] 675*2^1521365-1 is not prime. Res64: 73CCEA6E04D44CB1 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:06:20] 691*2^1521365-1 is not prime. Res64: F5C19996256B5C12 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:50:09] 653*2^1521366-1 is not prime. Res64: 7512565FB6807D33 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:50:09] 705*2^1521366-1 is not prime. Res64: F2F01C51064B130D Time : 0.0 sec. user=mdettweiler [2018-08-15 10:50:10] 801*2^1521366-1 is not prime. Res64: 12ABB4765272A4EA Time : 0.0 sec. user=mdettweiler [2018-08-15 10:50:10] 933*2^1521366-1 is not prime. Res64: ACE752F335C645EC Time : 0.0 sec. user=mdettweiler [2018-08-15 10:50:10] 1001*2^1521366-1 is not prime. Res64: 31081941C57CF0E5 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:11] 619*2^1521367-1 is not prime. Res64: 3469F773948CB865 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:11] 759*2^1521367-1 is not prime. Res64: 7144A68FA9E7DEE0 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:12] 901*2^1521367-1 is not prime. Res64: 0E03E6A9A27B2B34 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:12] 939*2^1521367-1 is not prime. Res64: 06CD95DCB4F9BB2F Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:13] 973*2^1521367-1 is not prime. Res64: 539EFBECCDE1CB20 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:55] 755*2^1521368-1 is not prime. Res64: 48F604FB6481D6B5 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:55] 797*2^1521368-1 is not prime. Res64: 83617F633505E611 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:55] 839*2^1521368-1 is not prime. Res64: 8D0A7DAC02F5C755 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:56] 657*2^1521369-1 is not prime. Res64: 0622ECBA1C4389C5 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:56:56] 679*2^1521369-1 is not prime. Res64: 2342A9EDC0BCAD7D Time : 0.0 sec. user=mdettweiler [2018-08-15 10:57:11] 735*2^1521369-1 is not prime. Res64: 2A95097B51FE5EB6 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:57:12] 789*2^1521369-1 is not prime. Res64: AA358354491E6DA8 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:57:12] 817*2^1521369-1 is not prime. Res64: ACF4A771FAD70F9F Time : 0.0 sec. user=mdettweiler [2018-08-15 10:57:12] 889*2^1521369-1 is not prime. Res64: F988F82CD15E43E0 Time : 0.0 sec. user=mdettweiler [2018-08-15 10:57:13] 907*2^1521369-1 is not prime. Res64: 49631D7B463902E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:41:46] 909*2^1521369-1 is not prime. Res64: 2378125BB02F894B Time : 0.0 sec. user=mdettweiler [2018-08-15 11:41:46] 979*2^1521369-1 is not prime. Res64: 74C2A777F654CC52 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:41:47] 991*2^1521369-1 is not prime. Res64: 128FC1C748A04C2A Time : 0.0 sec. user=mdettweiler [2018-08-15 11:41:47] 603*2^1521370-1 is not prime. Res64: 8DDE2FC5C7C517BF Time : 0.0 sec. user=mdettweiler [2018-08-15 11:41:48] 605*2^1521370-1 is not prime. Res64: EA4F2A7F76C85FF6 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:47:53] 677*2^1521370-1 is not prime. Res64: 6F45AC331074F470 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:47:53] 735*2^1521370-1 is not prime. Res64: C11848F5054202CE Time : 0.0 sec. user=mdettweiler [2018-08-15 11:47:54] 831*2^1521370-1 is not prime. Res64: A1CAF2A3D647194E Time : 0.0 sec. user=mdettweiler [2018-08-15 11:47:54] 833*2^1521370-1 is not prime. Res64: 93B75B8CA97FF249 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:47:54] 857*2^1521370-1 is not prime. Res64: 27F50D0AEABD1DE7 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:48:41] 945*2^1521370-1 is not prime. Res64: A26F77D30B4CC732 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:48:41] 969*2^1521371-1 is not prime. Res64: C9F112C2F4EBC2D0 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:48:42] 973*2^1521371-1 is not prime. Res64: 80223BDCD479D94A Time : 0.0 sec. user=mdettweiler [2018-08-15 11:48:42] 675*2^1521372-1 is not prime. Res64: 105BEDFB783C66C4 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:48:42] 693*2^1521372-1 is not prime. Res64: 9B76C80D83E0FCC9 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:49:21] 777*2^1521372-1 is not prime. Res64: 4D4CED52215A7BA8 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:49:21] 879*2^1521372-1 is not prime. Res64: 02A45075D43643E8 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:49:22] 945*2^1521372-1 is not prime. Res64: 3191F930A2C089EE Time : 0.0 sec. user=mdettweiler [2018-08-15 11:49:22] 999*2^1521372-1 is not prime. Res64: F72015898BE9B417 Time : 0.0 sec. user=mdettweiler [2018-08-15 11:49:23] 685*2^1521373-1 is not prime. Res64: 51AD127D6AC9877C Time : 0.0 sec. user=mdettweiler [2018-08-15 12:35:12] 699*2^1521373-1 is not prime. Res64: CC374AB92320E039 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:35:12] 861*2^1521373-1 is not prime. Res64: DF803E25993FB19D Time : 0.0 sec. user=mdettweiler [2018-08-15 12:35:13] 937*2^1521373-1 is not prime. Res64: 8D3640D3F82454ED Time : 0.0 sec. user=mdettweiler [2018-08-15 12:35:13] 985*2^1521373-1 is not prime. Res64: 4A59C431FF7FBC37 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:35:14] 651*2^1521374-1 is not prime. Res64: E26F5A58A9D8ECED Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:19] 657*2^1521374-1 is not prime. Res64: 08939B2BB7447B93 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:20] 791*2^1521374-1 is not prime. Res64: FD7DC9DC9F0BDBC7 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:20] 917*2^1521374-1 is not prime. Res64: 10E8BB5390142DBF Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:21] 739*2^1521375-1 is not prime. Res64: 04B19F5DF28A1F07 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:21] 775*2^1521375-1 is not prime. Res64: EB3CA676CB2FCADA Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:54] 853*2^1521375-1 is not prime. Res64: F58BB731BDE6FFA0 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:54] 913*2^1521375-1 is not prime. Res64: 21260B6B0660A4C7 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:55] 963*2^1521375-1 is not prime. Res64: F74615A7BB1BCF23 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:55] 999*2^1521375-1 is not prime. Res64: D0213DCAD79A5D1F Time : 0.0 sec. user=mdettweiler [2018-08-15 12:41:55] 639*2^1521376-1 is not prime. Res64: BCEDC7F71F9B8AFE Time : 0.0 sec. user=mdettweiler [2018-08-15 12:42:38] 653*2^1521376-1 is not prime. Res64: CF85DD37F2789C76 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:42:38] 695*2^1521376-1 is not prime. Res64: C11AF17D574C9856 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:42:39] 765*2^1521376-1 is not prime. Res64: F0971CF3A57B4A26 Time : 0.0 sec. user=mdettweiler [2018-08-15 12:42:39] 777*2^1521376-1 is not prime. Res64: AE5DF99C5B35ECEF Time : 0.0 sec. user=mdettweiler [2018-08-15 12:42:39] 785*2^1521376-1 is not prime. Res64: E1ADDC16ED5A18FD Time : 0.0 sec. user=mdettweiler [2018-08-15 13:30:26] 993*2^1521376-1 is not prime. Res64: C6C78A14B6B211A2 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:30:27] 601*2^1521377-1 is not prime. Res64: B6FE5317BC0E828C Time : 0.0 sec. user=mdettweiler [2018-08-15 13:30:27] 607*2^1521377-1 is not prime. Res64: 16AFF059AB8E6142 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:30:28] 685*2^1521377-1 is not prime. Res64: 0F1D98C264A3C3E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:30:28] 741*2^1521377-1 is not prime. Res64: 991C2B8150327765 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:36:44] 771*2^1521377-1 is not prime. Res64: BAC23B343C82C57C Time : 0.0 sec. user=mdettweiler [2018-08-15 13:36:44] 847*2^1521377-1 is not prime. Res64: 5AC97D663CEF9589 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:36:45] 605*2^1521378-1 is not prime. Res64: E586F3A6FF781AEE Time : 0.0 sec. user=mdettweiler [2018-08-15 13:36:45] 695*2^1521378-1 is not prime. Res64: A89A76875EC137A3 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:36:45] 773*2^1521378-1 is not prime. Res64: 18BF57245F3266EE Time : 0.0 sec. user=mdettweiler [2018-08-15 13:37:55] 853*2^1521379-1 is not prime. Res64: D8A4904C1BA7153F Time : 0.0 sec. user=mdettweiler [2018-08-15 13:37:55] 873*2^1521379-1 is not prime. Res64: 06C430AB57C8EE15 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:37:56] 889*2^1521379-1 is not prime. Res64: 97342CDB18F5AC01 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:37:56] 961*2^1521379-1 is not prime. Res64: 271794E96D68C5D3 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:37:56] 975*2^1521379-1 is not prime. Res64: CE7A9FC22FF65882 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:38:00] 861*2^1521378-1 is not prime. Res64: 514DE879B49B0CE0 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:38:01] 941*2^1521378-1 is not prime. Res64: B7688BC806442D72 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:38:01] 625*2^1521379-1 is not prime. Res64: 4CC7FE74A98343C5 Time : 0.0 sec. user=mdettweiler [2018-08-15 13:38:02] 685*2^1521379-1 is not prime. Res64: F1AA98EE921E101C Time : 0.0 sec. user=mdettweiler [2018-08-15 13:38:02] 745*2^1521379-1 is not prime. Res64: 6D3FC72B6A0B363F Time : 0.0 sec. user=mdettweiler [2018-08-15 14:21:52] 687*2^1521380-1 is not prime. Res64: 69602E615ED131FC Time : 0.0 sec. user=mdettweiler [2018-08-15 14:21:52] 795*2^1521380-1 is not prime. Res64: FDA6162154B55292 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:21:53] 855*2^1521380-1 is not prime. Res64: FD78E14A5EDD773B Time : 0.0 sec. user=mdettweiler [2018-08-15 14:21:53] 875*2^1521380-1 is not prime. Res64: E7846C178C69FD23 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:21:54] 983*2^1521380-1 is not prime. Res64: CDCAF69ECCE18C41 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:26] 649*2^1521381-1 is not prime. Res64: 0348CCA9A4BE8E91 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:27] 681*2^1521381-1 is not prime. Res64: 5088B83A413CF90A Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:27] 861*2^1521381-1 is not prime. Res64: D386CB2251984B03 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:28] 927*2^1521381-1 is not prime. Res64: 052D3B350EE25B6F Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:28] 991*2^1521381-1 is not prime. Res64: 28E928BFB0E0E287 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:53] 999*2^1521381-1 is not prime. Res64: AF92E79CA039287C Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:53] 665*2^1521382-1 is not prime. Res64: 8FCE9A901838C4B2 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:54] 677*2^1521382-1 is not prime. Res64: C896015EB2271E35 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:54] 761*2^1521382-1 is not prime. Res64: 2CDEBDA73AB40BAC Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:54] 885*2^1521382-1 is not prime. Res64: 6E67E77E65F4DC1F Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:58] 619*2^1521383-1 is not prime. Res64: F410E99791AC40F7 Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:58] 675*2^1521383-1 is not prime. Res64: 972E0CD1AA23875F Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:59] 693*2^1521383-1 is not prime. Res64: A4A045F353DCCD0D Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:59] 721*2^1521383-1 is not prime. Res64: 1E8D78C53B103BDB Time : 0.0 sec. user=mdettweiler [2018-08-15 14:28:59] 759*2^1521383-1 is not prime. Res64: 0AD97BB1E984C11D Time : 0.0 sec. user=mdettweiler [2018-08-15 15:12:59] 805*2^1521383-1 is not prime. Res64: FDC7588CB7F50844 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:12:59] 853*2^1521383-1 is not prime. Res64: 8388D63DF4F04AD7 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:13:00] 855*2^1521383-1 is not prime. Res64: 8909D20006E913A1 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:13:00] 945*2^1521383-1 is not prime. Res64: F77EE5E05752CD7F Time : 0.0 sec. user=mdettweiler [2018-08-15 15:13:01] 707*2^1521384-1 is not prime. Res64: 3AC0C8A03D21D22F Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:47] 871*2^1521385-1 is not prime. Res64: 4D5E025087D859E4 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:47] 743*2^1521386-1 is not prime. Res64: 86908CA3ABF8A7A9 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:48] 767*2^1521386-1 is not prime. Res64: 43F38698C1FCF37E Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:48] 827*2^1521386-1 is not prime. Res64: 36979681551A7813 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 831*2^1521386-1 is not prime. Res64: DC1A1ED6A7FEC870 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 941*2^1521386-1 is not prime. Res64: 90124B5C7295732B Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 685*2^1521385-1 is not prime. Res64: 1C6B50E67456F61D Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 971*2^1521386-1 is not prime. Res64: C70538541A52514A Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 777*2^1521385-1 is not prime. Res64: 060019CA1873C052 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:49] 649*2^1521387-1 is not prime. Res64: 24B05C3F4181BCB2 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:50] 799*2^1521385-1 is not prime. Res64: 483B9B96CE0146D0 Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:50] 651*2^1521387-1 is not prime. Res64: DDDA4CC6F8E4E5AA Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:50] 805*2^1521385-1 is not prime. Res64: 411BCDA4DEC0D2EC Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:50] 699*2^1521387-1 is not prime. Res64: 2341714B4447A16F Time : 0.0 sec. user=mdettweiler [2018-08-15 15:19:50] 831*2^1521385-1 is not prime. Res64: F6FFBFDCB4928C97 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:04:13] 703*2^1521387-1 is not prime. Res64: 21F145A00B11001E Time : 0.0 sec. user=mdettweiler [2018-08-15 16:04:15] 765*2^1521387-1 is not prime. Res64: 990031BF688237F1 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:04:17] 775*2^1521387-1 is not prime. Res64: AFE7084D8D610678 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:04:18] 801*2^1521387-1 is not prime. Res64: 29C4FEEB77DBF79C Time : 0.0 sec. user=mdettweiler [2018-08-15 16:04:19] 909*2^1521387-1 is not prime. Res64: 83C65AE2992FE8FE Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:36] 975*2^1521387-1 is not prime. Res64: 62039CA58F8842DE Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:37] 635*2^1521388-1 is not prime. Res64: 11899831237DF00A Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:37] 665*2^1521388-1 is not prime. Res64: A8CBBAFD8AFCBE61 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:38] 755*2^1521388-1 is not prime. Res64: C3DB5825AE80AD2A Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:38] 933*2^1521388-1 is not prime. Res64: 0960841775791921 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:42] 645*2^1521389-1 is not prime. Res64: C071F4A681ECD0A9 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:42] 655*2^1521389-1 is not prime. Res64: 7B41287DF2F1CD65 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:43] 699*2^1521389-1 is not prime. Res64: 4E000515E2F90952 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:43] 727*2^1521389-1 is not prime. Res64: 9A0DA384902B92F4 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:44] 769*2^1521389-1 is not prime. Res64: 5389DAE69C527FAC Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:52] 957*2^1521388-1 is not prime. Res64: 136BF4671F3FAAB0 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:52] 987*2^1521388-1 is not prime. Res64: BBE88D216F5E038E Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:53] 601*2^1521389-1 is not prime. Res64: 87FF2E7F7D6545D0 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:53] 615*2^1521389-1 is not prime. Res64: 03677E04AF1C07B8 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:10:53] 627*2^1521389-1 is not prime. Res64: C93866C32A99D814 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:55:12] 795*2^1521389-1 is not prime. Res64: B4FC9CDA7F2CE909 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:55:12] 811*2^1521389-1 is not prime. Res64: 5ACA6373FA601B37 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:55:13] 819*2^1521389-1 is not prime. Res64: 364F1DD2F54B9E3E Time : 0.0 sec. user=mdettweiler [2018-08-15 16:55:13] 829*2^1521389-1 is not prime. Res64: 8869D23C75951BA8 Time : 0.0 sec. user=mdettweiler [2018-08-15 16:55:14] 889*2^1521389-1 is not prime. Res64: 5A9137A7A69325D0 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:18] 875*2^1521390-1 is not prime. Res64: 6FD96938E129FB8E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:20] 887*2^1521390-1 is not prime. Res64: 55E9293C50376565 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:21] 917*2^1521390-1 is not prime. Res64: 96AF586B49A8E3DD Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:21] 945*2^1521390-1 is not prime. Res64: 13213960C5A45A04 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:22] 681*2^1521391-1 is not prime. Res64: 25096D4C2F5275B4 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:29] 951*2^1521389-1 is not prime. Res64: 87D529DD42696662 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:29] 957*2^1521389-1 is not prime. Res64: 23683B49ACE2306E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:29] 681*2^1521390-1 is not prime. Res64: 428A340FF3B1717E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:30] 783*2^1521390-1 is not prime. Res64: 0D74A289BA1AEC65 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:31] 795*2^1521390-1 is not prime. Res64: 26F17AA266FFEEA0 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:38] 709*2^1521391-1 is not prime. Res64: 8C6FB157306A7A33 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:38] 759*2^1521391-1 is not prime. Res64: 18C6A95F2C11D7B1 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:39] 769*2^1521391-1 is not prime. Res64: 9A5F4C89E324C4A3 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:39] 805*2^1521391-1 is not prime. Res64: 5C171187B1081109 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:01:40] 859*2^1521391-1 is not prime. Res64: B61693FC070C715D Time : 0.0 sec. user=mdettweiler [2018-08-15 17:46:11] 675*2^1521392-1 is not prime. Res64: 290582DB118ADC8E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:46:12] 875*2^1521392-1 is not prime. Res64: CC44E1697AF3BC0A Time : 0.0 sec. user=mdettweiler [2018-08-15 17:46:12] 651*2^1521393-1 is not prime. Res64: CEE60E854331BB6E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:46:12] 657*2^1521393-1 is not prime. Res64: 89AABF9A134A114E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:46:13] 747*2^1521393-1 is not prime. Res64: 6741AF7AAEF586A4 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:02] 817*2^1521393-1 is not prime. Res64: D1DE9C5BF7193863 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:03] 849*2^1521393-1 is not prime. Res64: FF9E6CA595C92202 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:03] 803*2^1521394-1 is not prime. Res64: 56F4D89863065231 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:04] 815*2^1521394-1 is not prime. Res64: 66D83875B6EDBFF0 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:04] 825*2^1521394-1 is not prime. Res64: B12AE470BBB1154B Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:18] 951*2^1521394-1 is not prime. Res64: 1DC9943CFECD808B Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:18] 619*2^1521395-1 is not prime. Res64: 39047C1451578B55 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:19] 679*2^1521395-1 is not prime. Res64: 3D133C4BCB56DEB7 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:19] 799*2^1521395-1 is not prime. Res64: B27F69BB691B4462 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:20] 885*2^1521395-1 is not prime. Res64: 483F682ECE1B08AB Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:30] 889*2^1521395-1 is not prime. Res64: 1CE026C29737FC0E Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:30] 943*2^1521395-1 is not prime. Res64: 3C2E09A33AA9CF69 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:31] 979*2^1521395-1 is not prime. Res64: A684DAF14965C4A3 Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:31] 633*2^1521396-1 is not prime. Res64: C5A16322BB55775F Time : 0.0 sec. user=mdettweiler [2018-08-15 17:52:31] 683*2^1521396-1 is not prime. Res64: 35BD85580C5C5E62 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:37:08] 689*2^1521396-1 is not prime. Res64: AB83CE6F9AA66AF7 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:37:09] 779*2^1521396-1 is not prime. Res64: E9480D7C1FDB43A6 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:37:09] 879*2^1521396-1 is not prime. Res64: 3BA66D83D5E3468A Time : 0.0 sec. user=mdettweiler [2018-08-15 18:37:10] 909*2^1521396-1 is not prime. Res64: 6DD2B43E6BBC1545 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:37:10] 945*2^1521396-1 is not prime. Res64: 4C92CCB21CFEE523 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:42:50] 765*2^1521397-1 is not prime. Res64: EEB36EA37BBA0772 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:42:50] 777*2^1521397-1 is not prime. Res64: 3FBEF5E472357EC8 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:42:50] 799*2^1521397-1 is not prime. Res64: 53AD01082F06D337 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:42:51] 829*2^1521397-1 is not prime. Res64: 4474DEB092C9B734 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:42:51] 847*2^1521397-1 is not prime. Res64: 89D4882F523710B8 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:04] 773*2^1521398-1 is not prime. Res64: 5A6E46D4AA095262 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:05] 791*2^1521398-1 is not prime. Res64: 8CCB9D0165B80B09 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:05] 795*2^1521398-1 is not prime. Res64: 59C8339AF42C358B Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:05] 825*2^1521398-1 is not prime. Res64: 5DAF1C50FD9E61C8 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:06] 867*2^1521398-1 is not prime. Res64: 349BE75A8E2EAE76 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:21] 615*2^1521399-1 is not prime. Res64: 792F5F1FE1D63945 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:21] 703*2^1521399-1 is not prime. Res64: 2787F78D003D5A02 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:21] 789*2^1521399-1 is not prime. Res64: 315C9B2000190176 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:22] 991*2^1521399-1 is not prime. Res64: 7A1748D5DCCF5A98 Time : 0.0 sec. user=mdettweiler [2018-08-15 18:43:22] 603*2^1521400-1 is not prime. Res64: D221889ACC2A2078 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:27:58] 615*2^1521400-1 is not prime. Res64: 95BBBD9D40CD4644 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:27:59] 615*2^1521401-1 is not prime. Res64: ED3D9F58CAFF0345 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:27:59] 631*2^1521401-1 is not prime. Res64: 4A0184FDC549890B Time : 0.0 sec. user=mdettweiler [2018-08-15 19:28:00] 691*2^1521401-1 is not prime. Res64: 9B48AA874C5601BC Time : 0.0 sec. user=mdettweiler [2018-08-15 19:28:00] 717*2^1521401-1 is not prime. Res64: 75E3FDEEA899714D Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:01] 741*2^1521401-1 is not prime. Res64: 02D12DF7C9A7FF3D Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:02] 789*2^1521401-1 is not prime. Res64: 0C59D66FD341B1FA Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:02] 805*2^1521401-1 is not prime. Res64: 8174D9F3CBCEC235 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:03] 861*2^1521401-1 is not prime. Res64: D5231A461B1D1797 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:03] 931*2^1521401-1 is not prime. Res64: BF60B08899609A35 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:11] 735*2^1521402-1 is not prime. Res64: A60066EE088B2A71 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:11] 887*2^1521402-1 is not prime. Res64: 90074F50C8D2DA4C Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:12] 945*2^1521402-1 is not prime. Res64: F1A38956F77709C6 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:12] 983*2^1521402-1 is not prime. Res64: 8FFE7295922D0B8D Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:12] 937*2^1521401-1 is not prime. Res64: F393A7E10818E737 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:12] 615*2^1521403-1 is not prime. Res64: 10937B6228EBA253 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:13] 939*2^1521401-1 is not prime. Res64: DCB7D3166FB2B8CC Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:13] 633*2^1521402-1 is not prime. Res64: BCF027FF797A81F1 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:13] 635*2^1521402-1 is not prime. Res64: 1A33232428227057 Time : 0.0 sec. user=mdettweiler [2018-08-15 19:34:14] 681*2^1521402-1 is not prime. Res64: AC7E53ACA88B2F6C Time : 0.0 sec. user=mdettweiler [2018-08-15 20:20:12] 639*2^1521403-1 is not prime. Res64: 9F7FCF4D9485FD78 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:20:13] 709*2^1521403-1 is not prime. Res64: 407CAF29066A43CB Time : 0.0 sec. user=mdettweiler [2018-08-15 20:20:13] 789*2^1521403-1 is not prime. Res64: A0A599DC57CE6ACF Time : 0.0 sec. user=mdettweiler [2018-08-15 20:20:14] 835*2^1521403-1 is not prime. Res64: 8B80D1014221CD26 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:20:14] 919*2^1521403-1 is not prime. Res64: E85B2D48D78457AE Time : 0.0 sec. user=mdettweiler [2018-08-15 20:25:42] 943*2^1521403-1 is not prime. Res64: 25F6C745BB3C509F Time : 0.0 sec. user=mdettweiler [2018-08-15 20:25:42] 945*2^1521403-1 is not prime. Res64: 89DD1F01257F50FC Time : 0.0 sec. user=mdettweiler [2018-08-15 20:25:42] 969*2^1521403-1 is not prime. Res64: 07FD9E13F6FFE33A Time : 0.0 sec. user=mdettweiler [2018-08-15 20:25:43] 717*2^1521404-1 is not prime. Res64: 7FAF9A74C1743B68 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:25:43] 743*2^1521404-1 is not prime. Res64: 8F6A45D5DE5FDF13 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:01] 843*2^1521404-1 is not prime. Res64: 46C1C5D3427EBA86 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:01] 893*2^1521404-1 is not prime. Res64: 50C6A677480606C4 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:01] 909*2^1521404-1 is not prime. Res64: BF980CD04D6C8EB0 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:02] 679*2^1521405-1 is not prime. Res64: E4BC11251722E3BA Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:02] 751*2^1521405-1 is not prime. Res64: 092FBAE3DB427353 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:10] 889*2^1521405-1 is not prime. Res64: D47944B12F43DE68 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:11] 919*2^1521405-1 is not prime. Res64: 29F08565E920C2C4 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:11] 927*2^1521405-1 is not prime. Res64: D489950B862EA50E Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:11] 635*2^1521406-1 is not prime. Res64: 7E6050F3E267B5E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 20:26:12] 651*2^1521406-1 is not prime. Res64: B7662A55997354EC Time : 0.0 sec. user=mdettweiler [2018-08-15 21:12:29] 675*2^1521406-1 is not prime. Res64: 644C07CE19A6B884 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:12:29] 705*2^1521406-1 is not prime. Res64: EED64E143D9493FF Time : 0.0 sec. user=mdettweiler [2018-08-15 21:12:30] 755*2^1521406-1 is not prime. Res64: 654ECD91791E26A3 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:12:30] 801*2^1521406-1 is not prime. Res64: 8905387E500B7109 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:12:31] 825*2^1521406-1 is not prime. Res64: F7B8CE3C100F7EE7 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:37] 885*2^1521407-1 is not prime. Res64: 4E1E57E0A8D0DA44 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:37] 707*2^1521408-1 is not prime. Res64: 3C109BB48E1B9E9D Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:38] 723*2^1521408-1 is not prime. Res64: DFF53E1BC5A34DDE Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:38] 759*2^1521408-1 is not prime. Res64: 89D21C15A40E44E5 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:38] 797*2^1521408-1 is not prime. Res64: 232773259C570122 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:51] 881*2^1521406-1 is not prime. Res64: F7194C835105E71C Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:52] 975*2^1521406-1 is not prime. Res64: 8C63AB9FCDA7F779 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:52] 735*2^1521407-1 is not prime. Res64: 500A7DBE28AB3704 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:53] 759*2^1521407-1 is not prime. Res64: 837B797DB4E370FC Time : 0.0 sec. user=mdettweiler [2018-08-15 21:17:53] 781*2^1521407-1 is not prime. Res64: D072DFF15E20DA3F Time : 0.0 sec. user=mdettweiler [2018-08-15 21:18:30] 815*2^1521408-1 is not prime. Res64: A0C049D750F2B393 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:18:31] 825*2^1521408-1 is not prime. Res64: AE2242BA17FE11AA Time : 0.0 sec. user=mdettweiler [2018-08-15 21:18:31] 729*2^1521409-1 is not prime. Res64: ABA7637C93BBB273 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:18:31] 741*2^1521409-1 is not prime. Res64: 04CA94E00FFFD951 Time : 0.0 sec. user=mdettweiler [2018-08-15 21:18:32] 801*2^1521409-1 is not prime. Res64: 614464FFB593255F Time : 0.0 sec. user=mdettweiler [2018-08-15 22:04:20] 831*2^1521409-1 is not prime. Res64: 422475BB91F9429E Time : 0.0 sec. user=mdettweiler [2018-08-15 22:04:22] 919*2^1521409-1 is not prime. Res64: 2702A3B3A4994073 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:04:24] 931*2^1521409-1 is not prime. Res64: D29087E4FFBAD90A Time : 0.0 sec. user=mdettweiler [2018-08-15 22:04:25] 997*2^1521409-1 is not prime. Res64: 51050C9AC81E5B65 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:04:26] 999*2^1521409-1 is not prime. Res64: D08F062DA0C7B7F6 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:03] 603*2^1521410-1 is not prime. Res64: 8A143C5F3CE5DD0E Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:04] 735*2^1521410-1 is not prime. Res64: 22EDE204FFA7DF1A Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:04] 743*2^1521410-1 is not prime. Res64: 958B4AA389D892E1 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:05] 867*2^1521410-1 is not prime. Res64: 2F8336BF6E505A3E Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:05] 885*2^1521410-1 is not prime. Res64: A902BBEF9A270F75 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:17] 923*2^1521410-1 is not prime. Res64: CAA449802B0F30C3 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:17] 935*2^1521410-1 is not prime. Res64: 55D2C393A640173E Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:18] 953*2^1521410-1 is not prime. Res64: 553FBB7392B4995B Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:18] 987*2^1521410-1 is not prime. Res64: 29EBD8314707C0F1 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:19] 601*2^1521411-1 is not prime. Res64: 7A033BEA60FE12B2 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:49] 613*2^1521411-1 is not prime. Res64: DBD42BA3A1407550 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:49] 705*2^1521411-1 is not prime. Res64: B6E49C8067D7B884 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:50] 885*2^1521411-1 is not prime. Res64: BA886ECFA4758A73 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:50] 617*2^1521412-1 is not prime. Res64: A19449639DA2E585 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:09:51] 819*2^1521412-1 is not prime. Res64: 391A269E8A95B2A0 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:56:33] 825*2^1521412-1 is not prime. Res64: 7100881643639E9F Time : 0.0 sec. user=mdettweiler [2018-08-15 22:56:33] 999*2^1521412-1 is not prime. Res64: DAE8A999A80D16A0 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:56:34] 657*2^1521413-1 is not prime. Res64: 1FAA67B076E347C6 Time : 0.0 sec. user=mdettweiler [2018-08-15 22:56:34] 685*2^1521413-1 is not prime. Res64: 4A84BCB730C80B4E Time : 0.0 sec. user=mdettweiler [2018-08-15 22:56:35] 757*2^1521413-1 is not prime. Res64: BF24D31B9AABF6E9 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:39] 965*2^1521414-1 is not prime. Res64: BD224819DB17A34B Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:40] 971*2^1521414-1 is not prime. Res64: 80C1677D6E787275 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:40] 625*2^1521415-1 is not prime. Res64: 14E2DD888C3CDF9B Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:41] 709*2^1521415-1 is not prime. Res64: 7F8D13DCC938A9A9 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:42] 831*2^1521415-1 is not prime. Res64: 4C7D39B8FDF78C8F Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:55] 925*2^1521415-1 is not prime. Res64: E7F3D23D1DDC6F4A Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:56] 617*2^1521416-1 is not prime. Res64: 44FCC1AA5FA87437 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:57] 645*2^1521416-1 is not prime. Res64: 08064AB3D314B3D9 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:57] 659*2^1521416-1 is not prime. Res64: 4695D90DAEB6795E Time : 0.0 sec. user=mdettweiler [2018-08-15 23:00:58] 717*2^1521416-1 is not prime. Res64: B3C5FF7B75702C89 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:01:10] 859*2^1521413-1 is not prime. Res64: 2E7BFC4E603363F5 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:01:11] 937*2^1521413-1 is not prime. Res64: A01E7492A77EC7F4 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:01:12] 671*2^1521414-1 is not prime. Res64: EE70E168971994D2 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:01:12] 747*2^1521414-1 is not prime. Res64: 72E32AC82EFCADBD Time : 0.0 sec. user=mdettweiler [2018-08-15 23:01:13] 755*2^1521414-1 is not prime. Res64: A297ACCD08A0276F Time : 0.0 sec. user=mdettweiler [2018-08-15 23:48:51] 755*2^1521416-1 is not prime. Res64: ACD0472D2FF53AA0 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:48:52] 813*2^1521416-1 is not prime. Res64: 68721A0DC3B35475 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:48:52] 935*2^1521416-1 is not prime. Res64: 0497103800D3F6C5 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:48:53] 609*2^1521417-1 is not prime. Res64: 1611F0C031C3045D Time : 0.0 sec. user=mdettweiler [2018-08-15 23:48:53] 625*2^1521417-1 is not prime. Res64: 2F4CF07B63BDF2AE Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:53] 781*2^1521417-1 is not prime. Res64: B3A02293E353704C Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:53] 915*2^1521417-1 is not prime. Res64: 5ADB5AB42FDF45EE Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:53] 945*2^1521417-1 is not prime. Res64: 39DDC710801BB103 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:54] 765*2^1521418-1 is not prime. Res64: 3827F8A3B28E1D17 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:54] 887*2^1521418-1 is not prime. Res64: E0B4C820116D2D9D Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:56] 661*2^1521417-1 is not prime. Res64: 1D11F6761DC657BB Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:56] 681*2^1521417-1 is not prime. Res64: 156C84DF0F81CD83 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:57] 685*2^1521417-1 is not prime. Res64: 551379A26E497C3F Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:57] 711*2^1521417-1 is not prime. Res64: 437159D9DC7FE887 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:52:57] 739*2^1521417-1 is not prime. Res64: 96A5BAC03909CABE Time : 0.0 sec. user=mdettweiler [2018-08-15 23:53:55] 933*2^1521418-1 is not prime. Res64: 13420659DA7F8520 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:53:56] 741*2^1521419-1 is not prime. Res64: 7D95308EFD01F360 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:53:56] 853*2^1521419-1 is not prime. Res64: 0AD57ED8835B577A Time : 0.0 sec. user=mdettweiler [2018-08-15 23:53:56] 913*2^1521419-1 is not prime. Res64: 7D63C0861D6FDDB9 Time : 0.0 sec. user=mdettweiler [2018-08-15 23:53:57] 969*2^1521419-1 is not prime. Res64: D4461A2A7E63F658 Time : 0.0 sec.