user=mdettweiler [2016-03-28 00:18:28] 945*2^1424516-1 is not prime. Res64: 4E0BB68E83CF55BF Time : 0.0 sec. user=mdettweiler [2016-03-28 00:18:28] 999*2^1424516-1 is not prime. Res64: 53B26E205E326038 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:18:28] 691*2^1424517-1 is not prime. Res64: 9E6C7E1534C9F414 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:18:29] 741*2^1424517-1 is not prime. Res64: 2928A342B20B48BB Time : 0.0 sec. user=mdettweiler [2016-03-28 00:18:29] 747*2^1424517-1 is not prime. Res64: CB16FA1F7579F347 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:19:21] 769*2^1424517-1 is not prime. Res64: 6B0566BBAE70B70E Time : 0.0 sec. user=mdettweiler [2016-03-28 00:19:22] 795*2^1424517-1 is not prime. Res64: 61864B60DFA75C20 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:19:22] 861*2^1424517-1 is not prime. Res64: 6CFA5F6BC16012DC Time : 0.0 sec. user=mdettweiler [2016-03-28 00:19:22] 891*2^1424517-1 is not prime. Res64: 183049EA713B01C7 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:19:23] 979*2^1424517-1 is not prime. Res64: C2F5AF78DB33B07D Time : 0.0 sec. user=mdettweiler [2016-03-28 00:29:24] 617*2^1424518-1 is not prime. Res64: 00F91330AAA13879 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:29:24] 671*2^1424518-1 is not prime. Res64: C941AC47C521F0C5 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:29:24] 681*2^1424518-1 is not prime. Res64: FC9F42F7D0EAE72C Time : 0.0 sec. user=mdettweiler [2016-03-28 00:29:25] 773*2^1424518-1 is not prime. Res64: F5334A26EECB1762 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:29:25] 861*2^1424518-1 is not prime. Res64: 3F403A416A99928B Time : 0.0 sec. user=mdettweiler [2016-03-28 00:38:48] 915*2^1424518-1 is not prime. Res64: 7253262C4B110A41 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:38:48] 971*2^1424518-1 is not prime. Res64: F7E5E42273A77D69 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:38:49] 987*2^1424518-1 is not prime. Res64: 29035DD906DA69BF Time : 0.0 sec. user=mdettweiler [2016-03-28 00:38:49] 603*2^1424519-1 is not prime. Res64: DCF655D9F07E8AA3 Time : 0.0 sec. user=mdettweiler [2016-03-28 00:38:49] 621*2^1424519-1 is not prime. Res64: CA78FAC7A9EBBCBB Time : 0.0 sec. user=mdettweiler [2016-03-28 01:03:08] 679*2^1424519-1 is not prime. Res64: BBF5798933DDD86A Time : 0.0 sec. user=mdettweiler [2016-03-28 01:03:09] 741*2^1424519-1 is not prime. Res64: C509BE1AB3C067DC Time : 0.0 sec. user=mdettweiler [2016-03-28 01:03:10] 811*2^1424519-1 is not prime. Res64: AE0A77E76964B2C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:03:11] 909*2^1424519-1 is not prime. Res64: CCB06C38AC113353 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:03:12] 913*2^1424519-1 is not prime. Res64: ECC9D13803324FBE Time : 0.0 sec. user=mdettweiler [2016-03-28 01:04:07] 979*2^1424519-1 is not prime. Res64: 3AF1285CB020B13D Time : 0.0 sec. user=mdettweiler [2016-03-28 01:04:08] 999*2^1424519-1 is not prime. Res64: EE8C8429C17590AE Time : 0.0 sec. user=mdettweiler [2016-03-28 01:04:09] 669*2^1424520-1 is not prime. Res64: 85755CD0053FC9CB Time : 0.0 sec. user=mdettweiler [2016-03-28 01:04:10] 675*2^1424520-1 is not prime. Res64: F72F311A6A7515CE Time : 0.0 sec. user=mdettweiler [2016-03-28 01:04:11] 789*2^1424520-1 is not prime. Res64: 0A4425EA8482A1B8 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:14:08] 795*2^1424520-1 is not prime. Res64: A58F410322E9BEE2 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:14:08] 879*2^1424520-1 is not prime. Res64: 6A271A0C769D823E Time : 0.0 sec. user=mdettweiler [2016-03-28 01:14:09] 893*2^1424520-1 is not prime. Res64: 4BE75C1C2026728E Time : 0.0 sec. user=mdettweiler [2016-03-28 01:14:09] 909*2^1424520-1 is not prime. Res64: 7756AFBF4FC25774 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:14:10] 999*2^1424520-1 is not prime. Res64: EE2733FADECC49FE Time : 0.0 sec. user=mdettweiler [2016-03-28 01:23:20] 607*2^1424521-1 is not prime. Res64: 43D0CAA9F958AEEC Time : 0.0 sec. user=mdettweiler [2016-03-28 01:23:21] 615*2^1424521-1 is not prime. Res64: 81A08926A8D461BD Time : 0.0 sec. user=mdettweiler [2016-03-28 01:23:21] 649*2^1424521-1 is not prime. Res64: FD4DC5A603133C0C Time : 0.0 sec. user=mdettweiler [2016-03-28 01:23:21] 747*2^1424521-1 is not prime. Res64: 6B487EDE3A94239F Time : 0.0 sec. user=mdettweiler [2016-03-28 01:23:22] 799*2^1424521-1 is not prime. Res64: F500D453C32FF1BD Time : 0.0 sec. user=mdettweiler [2016-03-28 01:24:58] 777*2^1424525-1 is not prime. Res64: C238BE97D2DBFDC3 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:48:05] 817*2^1424521-1 is not prime. Res64: 723B3333FFE1D77E Time : 0.0 sec. user=mdettweiler [2016-03-28 01:48:05] 987*2^1424521-1 is not prime. Res64: 7FF81FF361F8F593 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:48:05] 677*2^1424522-1 is not prime. Res64: E6145A2AE50A8ADB Time : 0.0 sec. user=mdettweiler [2016-03-28 01:48:06] 735*2^1424522-1 is not prime. Res64: E084EF7167761F65 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:48:06] 827*2^1424522-1 is not prime. Res64: 798D9AA08692CDA3 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:49:04] 915*2^1424522-1 is not prime. Res64: BFAA23F4E3DD4E4C Time : 0.0 sec. user=mdettweiler [2016-03-28 01:49:05] 609*2^1424523-1 is not prime. Res64: 13DEF5ABF1D5225B Time : 0.0 sec. user=mdettweiler [2016-03-28 01:49:05] 625*2^1424523-1 is not prime. Res64: 2D5122FAAF7933B6 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:49:06] 853*2^1424523-1 is not prime. Res64: FB045B9CFBD0EE3E Time : 0.0 sec. user=mdettweiler [2016-03-28 01:49:06] 803*2^1424524-1 is not prime. Res64: 88DD785AFEB6B809 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:58:52] 819*2^1424524-1 is not prime. Res64: 6E33BBF3E5B86025 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:58:53] 825*2^1424524-1 is not prime. Res64: 56A42996776A2BFF Time : 0.0 sec. user=mdettweiler [2016-03-28 01:58:53] 843*2^1424524-1 is not prime. Res64: 5D34D74AE1D00645 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:58:54] 869*2^1424524-1 is not prime. Res64: D94D8DCE66542629 Time : 0.0 sec. user=mdettweiler [2016-03-28 01:58:54] 875*2^1424524-1 is not prime. Res64: 1D2E89EA48C911C8 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:08:29] 795*2^1424525-1 is not prime. Res64: 6A148C3F1130400E Time : 0.0 sec. user=mdettweiler [2016-03-28 02:08:29] 837*2^1424525-1 is not prime. Res64: C5857D643F73BC9F Time : 0.0 sec. user=mdettweiler [2016-03-28 02:08:31] 847*2^1424525-1 is not prime. Res64: 2BB4AA3CBE26ED0E Time : 0.0 sec. user=mdettweiler [2016-03-28 02:08:31] 885*2^1424525-1 is not prime. Res64: 657C26940F1313C2 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:08:32] 949*2^1424525-1 is not prime. Res64: 2C4CEE1394DADD63 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:32:58] 683*2^1424526-1 is not prime. Res64: 7F72631C9CDCD9EA Time : 0.0 sec. user=mdettweiler [2016-03-28 02:32:59] 711*2^1424526-1 is not prime. Res64: 9110081F3EA2A193 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:32:59] 713*2^1424526-1 is not prime. Res64: 0E0950C01C9472A6 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:33:00] 717*2^1424526-1 is not prime. Res64: CC8B6AF89DDEAE42 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:33:00] 723*2^1424526-1 is not prime. Res64: BDEC93A1D5853E7D Time : 0.0 sec. user=mdettweiler [2016-03-28 02:34:25] 747*2^1424526-1 is not prime. Res64: 59ADC7FB95BD56A9 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:34:26] 633*2^1424527-1 is not prime. Res64: 2ABB61C3B45C1BAD Time : 0.0 sec. user=mdettweiler [2016-03-28 02:34:26] 645*2^1424527-1 is not prime. Res64: B72964FFFF0B8FB4 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:34:27] 651*2^1424527-1 is not prime. Res64: A27B18D101C6D929 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:34:27] 703*2^1424527-1 is not prime. Res64: CCF2515BADECC8A8 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:43:53] 805*2^1424527-1 is not prime. Res64: 7699FDC0ADF1D329 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:43:54] 831*2^1424527-1 is not prime. Res64: C21DDD07307FF162 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:43:54] 919*2^1424527-1 is not prime. Res64: 9BF3E8CC3A6E1EB9 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:43:54] 925*2^1424527-1 is not prime. Res64: 8A3030F338915E9C Time : 0.0 sec. user=mdettweiler [2016-03-28 02:43:55] 979*2^1424527-1 is not prime. Res64: 62DECC6471580D6E Time : 0.0 sec. user=mdettweiler [2016-03-28 02:53:27] 993*2^1424527-1 is not prime. Res64: 3A8BFF3D010959BE Time : 0.0 sec. user=mdettweiler [2016-03-28 02:53:27] 669*2^1424528-1 is not prime. Res64: 3D925BFD105E347B Time : 0.0 sec. user=mdettweiler [2016-03-28 02:53:28] 677*2^1424528-1 is not prime. Res64: C5DF69AED2FDEB25 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:53:28] 819*2^1424528-1 is not prime. Res64: 0B1007FE1E281C25 Time : 0.0 sec. user=mdettweiler [2016-03-28 02:53:28] 995*2^1424528-1 is not prime. Res64: 8DCABA97ADFB95B3 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:17:46] 625*2^1424529-1 is not prime. Res64: 7553C407CDF8CF89 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:17:47] 657*2^1424529-1 is not prime. Res64: 401BC11B86B87918 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:17:47] 681*2^1424529-1 is not prime. Res64: 8FB65097B9415BBA Time : 0.0 sec. user=mdettweiler [2016-03-28 03:17:48] 747*2^1424529-1 is not prime. Res64: 37743B49FF7CE7E6 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:17:48] 765*2^1424529-1 is not prime. Res64: 97A1291E8259E657 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:19:11] 969*2^1424529-1 is not prime. Res64: DDE85DF21A8A12E6 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:19:12] 665*2^1424530-1 is not prime. Res64: D75A9603BD861DF3 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:19:12] 687*2^1424530-1 is not prime. Res64: F7262D9387798373 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:19:12] 777*2^1424530-1 is not prime. Res64: DED5AD2DD1AED84E Time : 0.0 sec. user=mdettweiler [2016-03-28 03:19:13] 857*2^1424530-1 is not prime. Res64: C370967A5887DBE1 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:28:50] 945*2^1424530-1 is not prime. Res64: BCC1F957ED3A6AC6 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:28:51] 995*2^1424530-1 is not prime. Res64: E13359B77563261E Time : 0.0 sec. user=mdettweiler [2016-03-28 03:28:52] 1001*2^1424530-1 is not prime. Res64: 14CD08E0D3B20D3C Time : 0.0 sec. user=mdettweiler [2016-03-28 03:28:53] 693*2^1424531-1 is not prime. Res64: 4175B3FC51FD7FEA Time : 0.0 sec. user=mdettweiler [2016-03-28 03:28:53] 735*2^1424531-1 is not prime. Res64: 2C04EA2B9BAABB28 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:38:25] 759*2^1424531-1 is not prime. Res64: B3D5FBDDAF78FEE9 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:38:28] 819*2^1424531-1 is not prime. Res64: 7783AF0BC37A0825 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:38:30] 829*2^1424531-1 is not prime. Res64: FF83BA5CBAB88FC5 Time : 0.0 sec. user=mdettweiler [2016-03-28 03:38:33] 949*2^1424531-1 is not prime. Res64: 822EDEF8C2FF0E4E Time : 0.0 sec. user=mdettweiler [2016-03-28 03:38:34] 657*2^1424532-1 is not prime. Res64: C45083E82022FADB Time : 0.0 sec. user=mdettweiler [2016-03-28 03:48:14] 813*2^1424534-1 is not prime. Res64: 02C8F7FA85E1D4FC Time : 0.0 sec. user=mdettweiler [2016-03-28 04:02:29] 665*2^1424532-1 is not prime. Res64: A13C3C2ACD86599B Time : 0.0 sec. user=mdettweiler [2016-03-28 04:02:31] 695*2^1424532-1 is not prime. Res64: 898FF807230EA9AB Time : 0.0 sec. user=mdettweiler [2016-03-28 04:02:32] 737*2^1424532-1 is not prime. Res64: E60C93205C18D3DB Time : 0.0 sec. user=mdettweiler [2016-03-28 04:02:32] 837*2^1424532-1 is not prime. Res64: 045188D11B5E17A4 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:02:33] 857*2^1424532-1 is not prime. Res64: 72600EDAB72614E1 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:04:06] 873*2^1424532-1 is not prime. Res64: 62B2ED922674EDEB Time : 0.0 sec. user=mdettweiler [2016-03-28 04:04:09] 879*2^1424532-1 is not prime. Res64: 12F87A63BE7CA070 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:04:10] 893*2^1424532-1 is not prime. Res64: 8C2D1D5C3CF86F63 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:04:11] 903*2^1424532-1 is not prime. Res64: 4D50EFCB9B4CE88B Time : 0.0 sec. user=mdettweiler [2016-03-28 04:04:12] 915*2^1424532-1 is not prime. Res64: D4DE9A9E4D8E61C2 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:13:54] 679*2^1424533-1 is not prime. Res64: 10D9D8C43D59238F Time : 0.0 sec. user=mdettweiler [2016-03-28 04:13:54] 715*2^1424533-1 is not prime. Res64: B6645D5FAEC2FF78 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:13:54] 729*2^1424533-1 is not prime. Res64: BFF80F773B78C750 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:13:55] 847*2^1424533-1 is not prime. Res64: 28A70CFC63099ACA Time : 0.0 sec. user=mdettweiler [2016-03-28 04:13:55] 859*2^1424533-1 is not prime. Res64: D2531F34BC932422 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:24:13] 877*2^1424533-1 is not prime. Res64: 36937F87257ACE39 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:24:14] 885*2^1424533-1 is not prime. Res64: 62BA8E9EF15224D8 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:24:14] 939*2^1424533-1 is not prime. Res64: 9103D9CBB048326C Time : 0.0 sec. user=mdettweiler [2016-03-28 04:24:15] 999*2^1424533-1 is not prime. Res64: E2B9CF1E7045A198 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:24:15] 731*2^1424534-1 is not prime. Res64: C76A85D2C4936708 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:47:38] 651*2^1424535-1 is not prime. Res64: ECBF860F5160CEC7 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:47:38] 823*2^1424535-1 is not prime. Res64: 56487177416DD72C Time : 0.0 sec. user=mdettweiler [2016-03-28 04:47:39] 873*2^1424535-1 is not prime. Res64: 5DA3279399810A3E Time : 0.0 sec. user=mdettweiler [2016-03-28 04:47:39] 617*2^1424536-1 is not prime. Res64: 43F43D5AE1E2FA55 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:47:40] 663*2^1424536-1 is not prime. Res64: 8720DE0B1F6CD2EE Time : 0.0 sec. user=mdettweiler [2016-03-28 04:49:22] 735*2^1424536-1 is not prime. Res64: DBBCBF1B9BDBCE58 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:49:22] 743*2^1424536-1 is not prime. Res64: 2EF2A40325017DA4 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:49:23] 909*2^1424536-1 is not prime. Res64: F9701BA17321D08A Time : 0.0 sec. user=mdettweiler [2016-03-28 04:49:23] 645*2^1424537-1 is not prime. Res64: F7837D2EC61DDC2B Time : 0.0 sec. user=mdettweiler [2016-03-28 04:49:24] 937*2^1424537-1 is not prime. Res64: B0B9D9D064F42A47 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:58:47] 611*2^1424538-1 is not prime. Res64: FCFD01B89FF6A930 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:58:47] 755*2^1424538-1 is not prime. Res64: 28948F90E964FF34 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:58:47] 815*2^1424538-1 is not prime. Res64: 6E83002133A10120 Time : 0.0 sec. user=mdettweiler [2016-03-28 04:58:48] 963*2^1424538-1 is not prime. Res64: EDEE1B6BC5EE197A Time : 0.0 sec. user=mdettweiler [2016-03-28 04:58:48] 649*2^1424539-1 is not prime. Res64: 4C22EBAB2ABA60CA Time : 0.0 sec. user=mdettweiler [2016-03-28 04:59:21] 889*2^1424541-1 is not prime. Res64: E324F18F8099D538 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:10:09] 681*2^1424539-1 is not prime. Res64: C337439FCE920306 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:10:09] 735*2^1424539-1 is not prime. Res64: E76C0BE03BADED50 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:10:10] 811*2^1424539-1 is not prime. Res64: 363C76C2641BCC1F Time : 0.0 sec. user=mdettweiler [2016-03-28 05:10:10] 829*2^1424539-1 is not prime. Res64: C34421BB60C8E87A Time : 0.0 sec. user=mdettweiler [2016-03-28 05:10:10] 843*2^1424539-1 is not prime. Res64: BFAA576302126250 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:16:40] 995*2^1424542-1 is not prime. Res64: 6205A12DA1B4BC43 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:33:13] 861*2^1424539-1 is not prime. Res64: 854E41E3512527EE Time : 0.0 sec. user=mdettweiler [2016-03-28 05:33:14] 999*2^1424539-1 is not prime. Res64: 91600E8E7F6EC1A2 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:33:14] 669*2^1424540-1 is not prime. Res64: FDFBEE4CA62BFB5B Time : 0.0 sec. user=mdettweiler [2016-03-28 05:33:15] 677*2^1424540-1 is not prime. Res64: BB3C03F707CCBE70 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:33:15] 759*2^1424540-1 is not prime. Res64: 5F453B4447BF0C74 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:35:07] 857*2^1424540-1 is not prime. Res64: 511574900E69E39C Time : 0.0 sec. user=mdettweiler [2016-03-28 05:35:08] 885*2^1424540-1 is not prime. Res64: F7129E23D40087B4 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:35:08] 669*2^1424541-1 is not prime. Res64: F51598953A35D7C5 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:35:08] 717*2^1424541-1 is not prime. Res64: 152CC63EE2A328FA Time : 0.0 sec. user=mdettweiler [2016-03-28 05:35:09] 877*2^1424541-1 is not prime. Res64: C1EF9E6B7202396D Time : 0.0 sec. user=mdettweiler [2016-03-28 05:44:28] 927*2^1424541-1 is not prime. Res64: E23EBFACDAAF013E Time : 0.0 sec. user=mdettweiler [2016-03-28 05:44:28] 647*2^1424542-1 is not prime. Res64: D7D9A7D557484858 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:44:29] 675*2^1424542-1 is not prime. Res64: 8440028ADBA06E4E Time : 0.0 sec. user=mdettweiler [2016-03-28 05:44:29] 867*2^1424542-1 is not prime. Res64: BF958BD0EEF61360 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:44:29] 917*2^1424542-1 is not prime. Res64: 3190AED62B574740 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:52:03] 915*2^1424545-1 is not prime. Res64: 6F34E15770FC1AD8 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:52:28] 939*2^1424545-1 is not prime. Res64: 3196843BAF9F9211 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:55:09] 633*2^1424543-1 is not prime. Res64: DEA644A90F67C942 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:55:10] 703*2^1424543-1 is not prime. Res64: 00EBD334030540EA Time : 0.0 sec. user=mdettweiler [2016-03-28 05:55:10] 705*2^1424543-1 is not prime. Res64: A59F6A60AA6599E5 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:55:10] 745*2^1424543-1 is not prime. Res64: D5B69DBFEFD4FBD3 Time : 0.0 sec. user=mdettweiler [2016-03-28 05:55:11] 825*2^1424543-1 is not prime. Res64: 400A923E9751E37E Time : 0.0 sec. user=mdettweiler [2016-03-28 06:18:09] 955*2^1424543-1 is not prime. Res64: 1C911AED74A6A6F0 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:18:09] 993*2^1424543-1 is not prime. Res64: E4FF646EDE0DA43D Time : 0.0 sec. user=mdettweiler [2016-03-28 06:18:10] 609*2^1424544-1 is not prime. Res64: C93FDE082A480EEE Time : 0.0 sec. user=mdettweiler [2016-03-28 06:18:10] 719*2^1424544-1 is not prime. Res64: BCFAEB5AB812B53E Time : 0.0 sec. user=mdettweiler [2016-03-28 06:18:11] 887*2^1424544-1 is not prime. Res64: BDBBD665B38FBF16 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:19:54] 947*2^1424544-1 is not prime. Res64: 6306523E222B2F8A Time : 0.0 sec. user=mdettweiler [2016-03-28 06:19:54] 751*2^1424545-1 is not prime. Res64: 338DECEECB17F1E0 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:19:55] 777*2^1424545-1 is not prime. Res64: D4960DFA870E8EA8 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:19:55] 855*2^1424545-1 is not prime. Res64: ECD1D8C3D8A1CDE3 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:19:55] 895*2^1424545-1 is not prime. Res64: 69609DAA933C5DC6 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:27:23] 987*2^1424549-1 is not prime. Res64: A2EFCA720EE0F585 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:29:20] 657*2^1424546-1 is not prime. Res64: 6C402FDC02BBC622 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:29:21] 735*2^1424546-1 is not prime. Res64: 64FAAC1985EDF4A6 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:29:21] 953*2^1424546-1 is not prime. Res64: C7B95688526A1E11 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:29:22] 751*2^1424547-1 is not prime. Res64: DE04610EE0CE4C93 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:29:22] 795*2^1424547-1 is not prime. Res64: BF80E1CEA68DE90A Time : 0.0 sec. user=mdettweiler [2016-03-28 06:39:50] 829*2^1424547-1 is not prime. Res64: 2363376D1841043D Time : 0.0 sec. user=mdettweiler [2016-03-28 06:39:50] 963*2^1424547-1 is not prime. Res64: D83AFEAC6B4C148F Time : 0.0 sec. user=mdettweiler [2016-03-28 06:39:51] 973*2^1424547-1 is not prime. Res64: CA4FD4172A1A4DB4 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:39:51] 629*2^1424548-1 is not prime. Res64: 72BD850B0FC44A00 Time : 0.0 sec. user=mdettweiler [2016-03-28 06:39:52] 869*2^1424548-1 is not prime. Res64: 1C795E5DA7851EB6 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:02:53] 875*2^1424548-1 is not prime. Res64: 79181E478E7EDE8D Time : 0.0 sec. user=mdettweiler [2016-03-28 07:02:54] 899*2^1424548-1 is not prime. Res64: 609737582ECB5963 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:02:55] 999*2^1424548-1 is not prime. Res64: 8574AF5AD0306FEA Time : 0.0 sec. user=mdettweiler [2016-03-28 07:02:55] 787*2^1424549-1 is not prime. Res64: CAA8BB8AEB2F3720 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:02:56] 925*2^1424549-1 is not prime. Res64: 54097392D277F751 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:04:43] 647*2^1424550-1 is not prime. Res64: F09A810050A55C69 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:04:45] 657*2^1424550-1 is not prime. Res64: 264880CA522850FD Time : 0.0 sec. user=mdettweiler [2016-03-28 07:04:46] 681*2^1424550-1 is not prime. Res64: 8670A4030899D476 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:04:47] 695*2^1424550-1 is not prime. Res64: 8B5CC32E22244079 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:04:48] 845*2^1424550-1 is not prime. Res64: 35722D55A6696A4A Time : 0.0 sec. user=mdettweiler [2016-03-28 07:14:08] 851*2^1424550-1 is not prime. Res64: 4BBDD023BBC1C3F2 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:14:09] 923*2^1424550-1 is not prime. Res64: 07F9CEF05D7AA5E0 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:14:09] 709*2^1424551-1 is not prime. Res64: 98BF029C52E76114 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:14:09] 943*2^1424551-1 is not prime. Res64: A74C1C6B6D6E6244 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:14:10] 973*2^1424551-1 is not prime. Res64: 157768C6118915DC Time : 0.0 sec. user=mdettweiler [2016-03-28 07:20:35] 799*2^1424555-1 is not prime. Res64: 4F5A4AA94DCC8159 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:24:57] 699*2^1424552-1 is not prime. Res64: 289310744FD431C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:24:58] 785*2^1424552-1 is not prime. Res64: 7DE2D89186A3CAD9 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:24:58] 825*2^1424552-1 is not prime. Res64: DA7EA7639DF3B679 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:24:58] 873*2^1424552-1 is not prime. Res64: 1E5D5564D537F1FA Time : 0.0 sec. user=mdettweiler [2016-03-28 07:24:59] 959*2^1424552-1 is not prime. Res64: BF38D2CBF1F0C9CE Time : 0.0 sec. user=mdettweiler [2016-03-28 07:37:54] 847*2^1424557-1 is not prime. Res64: 149B9F95FA16F83C Time : 0.0 sec. user=mdettweiler [2016-03-28 07:47:43] 983*2^1424552-1 is not prime. Res64: A01164548913DCFB Time : 0.0 sec. user=mdettweiler [2016-03-28 07:47:43] 685*2^1424553-1 is not prime. Res64: 3D577AB073F7F27F Time : 0.0 sec. user=mdettweiler [2016-03-28 07:47:43] 741*2^1424553-1 is not prime. Res64: 69E691B5F42012D1 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:47:44] 745*2^1424553-1 is not prime. Res64: 5BA9D32144DC2CA9 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:47:44] 817*2^1424553-1 is not prime. Res64: 77DA94A38BF9CB57 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:49:38] 877*2^1424553-1 is not prime. Res64: 366807EFDA5762D2 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:49:38] 885*2^1424554-1 is not prime. Res64: D7DA2DAEAD752A0F Time : 0.0 sec. user=mdettweiler [2016-03-28 07:49:39] 915*2^1424554-1 is not prime. Res64: 2497A228B006DF8B Time : 0.0 sec. user=mdettweiler [2016-03-28 07:49:39] 603*2^1424555-1 is not prime. Res64: 07B5C9AC1BA282F3 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:49:39] 759*2^1424555-1 is not prime. Res64: 4799CF9C18238654 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:55:11] 859*2^1424557-1 is not prime. Res64: E98E88A38381498D Time : 0.0 sec. user=mdettweiler [2016-03-28 07:55:32] 641*2^1424558-1 is not prime. Res64: 651861E2A196DFCA Time : 0.0 sec. user=mdettweiler [2016-03-28 07:58:55] 861*2^1424555-1 is not prime. Res64: 55CB764790A27389 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:58:55] 999*2^1424555-1 is not prime. Res64: E5E2EEBFE826BF2A Time : 0.0 sec. user=mdettweiler [2016-03-28 07:58:56] 717*2^1424556-1 is not prime. Res64: D1BEB5E5861E25CF Time : 0.0 sec. user=mdettweiler [2016-03-28 07:58:56] 783*2^1424556-1 is not prime. Res64: A2CC4416532B24A3 Time : 0.0 sec. user=mdettweiler [2016-03-28 07:58:56] 839*2^1424556-1 is not prime. Res64: 3A349F0605D0A3A9 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:09:50] 893*2^1424556-1 is not prime. Res64: 3F269E53B71E23A8 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:09:52] 969*2^1424556-1 is not prime. Res64: 9DDE4FE59D7DE993 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:09:55] 975*2^1424556-1 is not prime. Res64: B5579BAD3A69E4C3 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:09:56] 801*2^1424557-1 is not prime. Res64: D35D0351CB2D24FD Time : 0.0 sec. user=mdettweiler [2016-03-28 08:10:01] 817*2^1424557-1 is not prime. Res64: 792962C5558FBBDD Time : 0.0 sec. user=mdettweiler [2016-03-28 08:13:45] 797*2^1424560-1 is not prime. Res64: E3FC8E8F4C824490 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:32:26] 665*2^1424558-1 is not prime. Res64: 9331D2D2FF0FAA4F Time : 0.0 sec. user=mdettweiler [2016-03-28 08:32:27] 671*2^1424558-1 is not prime. Res64: 74358CB684DBF968 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:32:27] 683*2^1424558-1 is not prime. Res64: 2C3B0309E5163B7A Time : 0.0 sec. user=mdettweiler [2016-03-28 08:32:28] 755*2^1424558-1 is not prime. Res64: 57CC0E1148B22A07 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:32:28] 773*2^1424558-1 is not prime. Res64: 89E0EC56F936B5FB Time : 0.0 sec. user=mdettweiler [2016-03-28 08:34:27] 893*2^1424558-1 is not prime. Res64: 8C50279257D896D3 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:34:27] 915*2^1424558-1 is not prime. Res64: 6CF05EE2499AC0E5 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:34:28] 625*2^1424559-1 is not prime. Res64: 64A717B8CE3C78C2 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:34:28] 691*2^1424559-1 is not prime. Res64: C0F75921AF3C784B Time : 0.0 sec. user=mdettweiler [2016-03-28 08:34:28] 711*2^1424559-1 is not prime. Res64: E7D832D66F369951 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:43:46] 763*2^1424559-1 is not prime. Res64: 0768C79A71831B34 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:43:47] 843*2^1424559-1 is not prime. Res64: 652BDE8BE83D4407 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:43:47] 861*2^1424559-1 is not prime. Res64: 56F95C1367F5C64C Time : 0.0 sec. user=mdettweiler [2016-03-28 08:43:48] 991*2^1424559-1 is not prime. Res64: 997DDBC25550DE0A Time : 0.0 sec. user=mdettweiler [2016-03-28 08:43:48] 665*2^1424560-1 is not prime. Res64: 82ECC40578DD1409 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:54:49] 905*2^1424560-1 is not prime. Res64: 8044795753A655A6 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:54:49] 917*2^1424560-1 is not prime. Res64: 1AFD740B85DDD777 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:54:49] 697*2^1424561-1 is not prime. Res64: B524BC9783BD7A7F Time : 0.0 sec. user=mdettweiler [2016-03-28 08:54:50] 741*2^1424561-1 is not prime. Res64: 96014FB690F83D90 Time : 0.0 sec. user=mdettweiler [2016-03-28 08:54:50] 789*2^1424561-1 is not prime. Res64: 097DCF603226CF4C Time : 0.0 sec. user=mdettweiler [2016-03-28 09:17:15] 955*2^1424561-1 is not prime. Res64: FD018921ED6AB522 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:17:16] 633*2^1424562-1 is not prime. Res64: 6F7029236E2F9184 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:17:16] 635*2^1424562-1 is not prime. Res64: 0CF034CA38622D84 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:17:16] 713*2^1424562-1 is not prime. Res64: BD8270DEA370B13C Time : 0.0 sec. user=mdettweiler [2016-03-28 09:17:17] 747*2^1424562-1 is not prime. Res64: B422F7CD5D1F39B0 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:19:05] 767*2^1424562-1 is not prime. Res64: 208944B804039CBF Time : 0.0 sec. user=mdettweiler [2016-03-28 09:19:05] 797*2^1424562-1 is not prime. Res64: 3222F9D5F3DC3551 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:19:06] 977*2^1424562-1 is not prime. Res64: 9A41DE16621CDBDF Time : 0.0 sec. user=mdettweiler [2016-03-28 09:19:06] 819*2^1424563-1 is not prime. Res64: 6A551C0E0AB4CA32 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:19:06] 871*2^1424563-1 is not prime. Res64: 745A04D3A1F55205 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:24:31] 765*2^1424565-1 is not prime. Res64: EF1754744CD7FD52 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:28:43] 915*2^1424563-1 is not prime. Res64: C7E1D4AEDED92FAA Time : 0.0 sec. user=mdettweiler [2016-03-28 09:28:43] 629*2^1424564-1 is not prime. Res64: F2B69CE5D1B10ABC Time : 0.0 sec. user=mdettweiler [2016-03-28 09:28:44] 675*2^1424564-1 is not prime. Res64: 6031EBF6E3C24C3D Time : 0.0 sec. user=mdettweiler [2016-03-28 09:28:44] 753*2^1424564-1 is not prime. Res64: 11BD522CA52F3B99 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:28:45] 875*2^1424564-1 is not prime. Res64: 08E4A87B4F6A7E40 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:39:47] 959*2^1424564-1 is not prime. Res64: 58C5E30A0A2F96C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:39:48] 649*2^1424565-1 is not prime. Res64: 83702E0FFFE8B519 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:39:48] 699*2^1424565-1 is not prime. Res64: C3D88605B346B079 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:39:49] 711*2^1424565-1 is not prime. Res64: 00E6E99A5A9B6EA9 Time : 0.0 sec. user=mdettweiler [2016-03-28 09:39:49] 727*2^1424565-1 is not prime. Res64: 1B55A29612A71047 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:02:01] 789*2^1424565-1 is not prime. Res64: 3953085D1718C350 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:02:02] 811*2^1424565-1 is not prime. Res64: C26B3FB7121114BA Time : 0.0 sec. user=mdettweiler [2016-03-28 10:02:03] 825*2^1424565-1 is not prime. Res64: BC3E20A8C6D8730A Time : 0.0 sec. user=mdettweiler [2016-03-28 10:02:03] 695*2^1424566-1 is not prime. Res64: 54539B37B7B170BA Time : 0.0 sec. user=mdettweiler [2016-03-28 10:02:04] 705*2^1424566-1 is not prime. Res64: 2F5F861F0DE2DA23 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:03:47] 801*2^1424566-1 is not prime. Res64: BB0E766EFDD43037 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:03:48] 897*2^1424566-1 is not prime. Res64: C010F466F140052D Time : 0.0 sec. user=mdettweiler [2016-03-28 10:03:49] 981*2^1424566-1 is not prime. Res64: C032AB31A0F6E0D3 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:03:50] 619*2^1424567-1 is not prime. Res64: 6802A14908DDD9B2 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:03:51] 711*2^1424567-1 is not prime. Res64: 0C43C24846474E30 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:13:22] 729*2^1424567-1 is not prime. Res64: 387145B7068DA352 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:13:23] 763*2^1424567-1 is not prime. Res64: 78B0C860A0113655 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:13:23] 799*2^1424567-1 is not prime. Res64: 79B3B908978AC965 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:13:24] 861*2^1424567-1 is not prime. Res64: 3BBE1E41641DF8E4 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:13:25] 879*2^1424567-1 is not prime. Res64: 209FD92DD09ACA44 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:24:35] 901*2^1424567-1 is not prime. Res64: 824653B1937224CA Time : 0.0 sec. user=mdettweiler [2016-03-28 10:24:36] 979*2^1424567-1 is not prime. Res64: 55AC73E60377E1EF Time : 0.0 sec. user=mdettweiler [2016-03-28 10:24:36] 665*2^1424568-1 is not prime. Res64: 820B3278263DD678 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:24:37] 669*2^1424568-1 is not prime. Res64: 0A1FD4055975CE77 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:24:37] 753*2^1424568-1 is not prime. Res64: 76C41916F29B8EC1 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:47:02] 795*2^1424568-1 is not prime. Res64: DB01C11DF86AD736 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:47:03] 809*2^1424568-1 is not prime. Res64: D6F55A3021F6FA4B Time : 0.0 sec. user=mdettweiler [2016-03-28 10:47:04] 815*2^1424568-1 is not prime. Res64: 4D1A9D6ADFD49B30 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:47:04] 819*2^1424568-1 is not prime. Res64: 8E457B11EC02A314 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:47:05] 947*2^1424568-1 is not prime. Res64: A20975C178C8FB97 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:48:59] 999*2^1424568-1 is not prime. Res64: F30C58FFE951B01A Time : 0.0 sec. user=mdettweiler [2016-03-28 10:48:59] 705*2^1424569-1 is not prime. Res64: A6410A91D97DE9E5 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:49:00] 807*2^1424569-1 is not prime. Res64: 716A32177A9F72A3 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:49:00] 829*2^1424569-1 is not prime. Res64: A20C0F0FE0AB407D Time : 0.0 sec. user=mdettweiler [2016-03-28 10:49:00] 797*2^1424570-1 is not prime. Res64: BBE4EB939B5FF742 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:52:28] 873*2^1424572-1 is not prime. Res64: EDE7601C8D06ABCB Time : 0.0 sec. user=mdettweiler [2016-03-28 10:52:32] 869*2^1424572-1 is not prime. Res64: 5879D28CF023AC07 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:58:19] 915*2^1424570-1 is not prime. Res64: BC6ECA5A07FF9085 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:58:19] 977*2^1424570-1 is not prime. Res64: 36FEBFDE148D074A Time : 0.0 sec. user=mdettweiler [2016-03-28 10:58:19] 625*2^1424571-1 is not prime. Res64: A1CE3B7C5ADF6AFE Time : 0.0 sec. user=mdettweiler [2016-03-28 10:58:20] 679*2^1424571-1 is not prime. Res64: 85FEA292F0F68735 Time : 0.0 sec. user=mdettweiler [2016-03-28 10:58:20] 829*2^1424571-1 is not prime. Res64: EB83AC34CD5C4782 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:09:37] 879*2^1424571-1 is not prime. Res64: 0AFC8FCE36987EB5 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:09:38] 647*2^1424572-1 is not prime. Res64: 736EDD774F1C928C Time : 0.0 sec. user=mdettweiler [2016-03-28 11:09:38] 735*2^1424572-1 is not prime. Res64: E34D895D5AF4A367 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:09:38] 797*2^1424572-1 is not prime. Res64: DB45F32CBEFEF173 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:09:39] 813*2^1424572-1 is not prime. Res64: 61803F4CC27009C7 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:10:39] 873*2^1424575-1 is not prime. Res64: DB09887E06E5DED3 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:27:51] 927*2^1424576-1 is not prime. Res64: E5A2808AB183502A Time : 0.0 sec. user=mdettweiler [2016-03-28 11:31:42] 903*2^1424572-1 is not prime. Res64: 3F40D5B5E7926C69 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:31:42] 909*2^1424572-1 is not prime. Res64: 252E3956655484E9 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:31:42] 923*2^1424572-1 is not prime. Res64: A940B3D72FA020F8 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:31:43] 939*2^1424572-1 is not prime. Res64: CB8301546477C559 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:31:43] 987*2^1424572-1 is not prime. Res64: 58BE1F09E17CBAA6 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:33:50] 607*2^1424573-1 is not prime. Res64: 7D3342FC2D716CE9 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:33:50] 735*2^1424573-1 is not prime. Res64: B66BC2C115BCC28B Time : 0.0 sec. user=mdettweiler [2016-03-28 11:33:50] 757*2^1424573-1 is not prime. Res64: 1D65864CCF56E915 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:33:51] 681*2^1424574-1 is not prime. Res64: F32F468F21C843A7 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:33:51] 797*2^1424574-1 is not prime. Res64: 41A10B2ABE33EF08 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:43:12] 881*2^1424574-1 is not prime. Res64: 8ECE7276F36DD651 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:43:12] 885*2^1424574-1 is not prime. Res64: 1D42459EC12A3157 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:43:13] 603*2^1424575-1 is not prime. Res64: 052FA49EF6DB2774 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:43:13] 609*2^1424575-1 is not prime. Res64: 8564BE9236472E92 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:43:13] 723*2^1424575-1 is not prime. Res64: D8B3D321EED679F5 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:45:12] 815*2^1424578-1 is not prime. Res64: 52A37507CD2228E7 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:45:42] 857*2^1424578-1 is not prime. Res64: 67FB84262B2A66E0 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:54:36] 961*2^1424575-1 is not prime. Res64: 5176FA1B52618539 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:54:36] 635*2^1424576-1 is not prime. Res64: CF288692ADA3EE8A Time : 0.0 sec. user=mdettweiler [2016-03-28 11:54:37] 873*2^1424576-1 is not prime. Res64: D0214469381D029A Time : 0.0 sec. user=mdettweiler [2016-03-28 11:54:37] 893*2^1424576-1 is not prime. Res64: 79BD1BCF1B678323 Time : 0.0 sec. user=mdettweiler [2016-03-28 11:54:37] 903*2^1424576-1 is not prime. Res64: E038D10D52E6D2E8 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:16:15] 963*2^1424576-1 is not prime. Res64: 8385DE74ADB06151 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:16:16] 685*2^1424577-1 is not prime. Res64: 9FCC04D8AC9AFAF1 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:16:16] 717*2^1424577-1 is not prime. Res64: 5C2B7A2B32ED8903 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:16:17] 741*2^1424577-1 is not prime. Res64: C7EBEDE29EE0D06B Time : 0.0 sec. user=mdettweiler [2016-03-28 12:16:17] 849*2^1424577-1 is not prime. Res64: D94024477A0262BC Time : 0.0 sec. user=mdettweiler [2016-03-28 12:18:38] 889*2^1424577-1 is not prime. Res64: 9C2D9CE56F85A631 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:18:39] 949*2^1424577-1 is not prime. Res64: 766311A5BBEA614B Time : 0.0 sec. user=mdettweiler [2016-03-28 12:18:39] 603*2^1424578-1 is not prime. Res64: 1E3E70E7961A4BC0 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:18:40] 611*2^1424578-1 is not prime. Res64: 2E5B1FC5B972AB08 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:18:40] 801*2^1424578-1 is not prime. Res64: 6B8CFBBCE26F6F7E Time : 0.0 sec. user=mdettweiler [2016-03-28 12:21:36] 615*2^1424580-1 is not prime. Res64: A6C52EA4C98174A7 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:27:57] 891*2^1424578-1 is not prime. Res64: 564FF05337CE0AC1 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:27:58] 987*2^1424578-1 is not prime. Res64: 12CBDFCCFDF3AB66 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:27:58] 609*2^1424579-1 is not prime. Res64: 54D3DA7F472BFAE3 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:27:59] 655*2^1424579-1 is not prime. Res64: 7BF0408E7262E140 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:27:59] 675*2^1424579-1 is not prime. Res64: CCDC958B048F603E Time : 0.0 sec. user=mdettweiler [2016-03-28 12:39:19] 735*2^1424579-1 is not prime. Res64: D07C5E8BF687692B Time : 0.0 sec. user=mdettweiler [2016-03-28 12:39:20] 841*2^1424579-1 is not prime. Res64: D8CF23A20E895557 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:39:20] 853*2^1424579-1 is not prime. Res64: 7ED3F3831360E1F7 Time : 0.0 sec. user=mdettweiler [2016-03-28 12:39:20] 861*2^1424579-1 is not prime. Res64: C0535D88C5DA148A Time : 0.0 sec. user=mdettweiler [2016-03-28 12:39:21] 985*2^1424579-1 is not prime. Res64: D168916FF8389E79 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:01:03] 629*2^1424580-1 is not prime. Res64: F70D36F332AFE6C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:01:04] 689*2^1424580-1 is not prime. Res64: CBAA006E8A7C3F03 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:01:05] 737*2^1424580-1 is not prime. Res64: AB72F84227D2075C Time : 0.0 sec. user=mdettweiler [2016-03-28 13:01:06] 681*2^1424581-1 is not prime. Res64: 9760E75BE05D8825 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:01:08] 691*2^1424581-1 is not prime. Res64: 212A5864CB8D93CE Time : 0.0 sec. user=mdettweiler [2016-03-28 13:03:29] 727*2^1424581-1 is not prime. Res64: C015B08B175C77BF Time : 0.0 sec. user=mdettweiler [2016-03-28 13:03:30] 855*2^1424581-1 is not prime. Res64: BB264A2CFFB822C1 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:03:31] 987*2^1424581-1 is not prime. Res64: 9FA910A6E5A123CA Time : 0.0 sec. user=mdettweiler [2016-03-28 13:03:32] 651*2^1424582-1 is not prime. Res64: FBF7EDDB7D7B0DCD Time : 0.0 sec. user=mdettweiler [2016-03-28 13:03:33] 753*2^1424582-1 is not prime. Res64: ABD7E17BE81B4D8A Time : 0.0 sec. user=mdettweiler [2016-03-28 13:12:54] 843*2^1424582-1 is not prime. Res64: 8C3F826A9BB81598 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:12:54] 1001*2^1424582-1 is not prime. Res64: 981353931BB04C57 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:12:54] 751*2^1424583-1 is not prime. Res64: AD53139C8EEECC72 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:12:55] 775*2^1424583-1 is not prime. Res64: 79360476C8BD1DBD Time : 0.0 sec. user=mdettweiler [2016-03-28 13:12:55] 955*2^1424583-1 is not prime. Res64: C39E826C13A9419C Time : 0.0 sec. user=mdettweiler [2016-03-28 13:24:06] 609*2^1424584-1 is not prime. Res64: 6F0E134A1ECFCAF0 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:24:06] 635*2^1424584-1 is not prime. Res64: 1AEA35088306CDC8 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:24:07] 827*2^1424584-1 is not prime. Res64: B9ADF4530DE8ADC4 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:24:07] 843*2^1424584-1 is not prime. Res64: 004C82C3BA28741E Time : 0.0 sec. user=mdettweiler [2016-03-28 13:24:07] 903*2^1424584-1 is not prime. Res64: 35C99038E3CAF800 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:46:11] 939*2^1424584-1 is not prime. Res64: FBB538DD62BA41BB Time : 0.0 sec. user=mdettweiler [2016-03-28 13:46:11] 619*2^1424585-1 is not prime. Res64: 4578ED52B0B79979 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:46:12] 645*2^1424585-1 is not prime. Res64: 884BC910DAA3BFB2 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:46:12] 669*2^1424585-1 is not prime. Res64: 8D2665B2B2D4C63A Time : 0.0 sec. user=mdettweiler [2016-03-28 13:46:12] 705*2^1424586-1 is not prime. Res64: 33CAD44ED44BE2C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:48:25] 713*2^1424586-1 is not prime. Res64: F853AB78F2D3A125 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:48:25] 783*2^1424586-1 is not prime. Res64: ABF79CF89EAAC7CB Time : 0.0 sec. user=mdettweiler [2016-03-28 13:48:26] 971*2^1424586-1 is not prime. Res64: 0969DD3C0FCD778B Time : 0.0 sec. user=mdettweiler [2016-03-28 13:48:26] 603*2^1424587-1 is not prime. Res64: EA1380FC3EDD5284 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:48:27] 631*2^1424587-1 is not prime. Res64: 61A1132FB8E7109A Time : 0.0 sec. user=mdettweiler [2016-03-28 13:57:50] 805*2^1424587-1 is not prime. Res64: 850CFCE01BF823B3 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:57:51] 871*2^1424587-1 is not prime. Res64: A239617C99832FE4 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:57:51] 873*2^1424587-1 is not prime. Res64: F6FA912B008CF0A5 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:57:52] 915*2^1424587-1 is not prime. Res64: 4BBEF49C36002E08 Time : 0.0 sec. user=mdettweiler [2016-03-28 13:57:52] 919*2^1424587-1 is not prime. Res64: 0A525E4CB9EF3FFC Time : 0.0 sec. user=mdettweiler [2016-03-28 14:08:49] 975*2^1424587-1 is not prime. Res64: 3AE214D970A91D04 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:08:50] 677*2^1424588-1 is not prime. Res64: 595117E99AA446D3 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:08:50] 735*2^1424588-1 is not prime. Res64: E6EA5AE1958DBB10 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:08:51] 753*2^1424588-1 is not prime. Res64: 2A2803BF9684B570 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:08:51] 893*2^1424588-1 is not prime. Res64: 12A2B08B210FFB85 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:31:43] 923*2^1424588-1 is not prime. Res64: 461D82BAD7680132 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:31:43] 927*2^1424588-1 is not prime. Res64: 4317002EBFC86EA8 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:31:44] 649*2^1424589-1 is not prime. Res64: E7F747C48F56E89B Time : 0.0 sec. user=mdettweiler [2016-03-28 14:31:44] 675*2^1424589-1 is not prime. Res64: 03BF4E32F0F09282 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:31:44] 709*2^1424589-1 is not prime. Res64: FAB27A6E1BE02E71 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:34:34] 745*2^1424589-1 is not prime. Res64: BCE8C555D93833D8 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:34:34] 969*2^1424589-1 is not prime. Res64: 6C1FF068447F906D Time : 0.0 sec. user=mdettweiler [2016-03-28 14:34:34] 987*2^1424589-1 is not prime. Res64: 5E317E08DA32C116 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:34:35] 647*2^1424590-1 is not prime. Res64: 90E23B8FEBB5BAF3 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:34:35] 731*2^1424590-1 is not prime. Res64: CE1E4CD54D2A44CE Time : 0.0 sec. user=mdettweiler [2016-03-28 14:41:28] 909*2^1424592-1 is not prime. Res64: 7F38DAEAD9D1BD25 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:41:48] 983*2^1424592-1 is not prime. Res64: 09FF0BD94F59E1A1 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:44:38] 867*2^1424590-1 is not prime. Res64: 38422A5E06FF9833 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:44:38] 609*2^1424591-1 is not prime. Res64: FD0A572C0CCECAEB Time : 0.0 sec. user=mdettweiler [2016-03-28 14:44:38] 615*2^1424591-1 is not prime. Res64: 7087156EFA83D162 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:44:38] 621*2^1424591-1 is not prime. Res64: EF476672A33FB22F Time : 0.0 sec. user=mdettweiler [2016-03-28 14:44:38] 645*2^1424591-1 is not prime. Res64: BED79C9FAB6CDD29 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:56:11] 651*2^1424591-1 is not prime. Res64: 1319E2CCCE6297AC Time : 0.0 sec. user=mdettweiler [2016-03-28 14:56:12] 679*2^1424591-1 is not prime. Res64: BDC2B3692EBC73F4 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:56:12] 685*2^1424591-1 is not prime. Res64: D7B819CCAC40F477 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:56:13] 703*2^1424591-1 is not prime. Res64: 606F983C3A7B8D82 Time : 0.0 sec. user=mdettweiler [2016-03-28 14:56:13] 991*2^1424591-1 is not prime. Res64: 190DFFC6649EF707 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:18:58] 605*2^1424592-1 is not prime. Res64: 4B3BC7EBB7996C6A Time : 0.0 sec. user=mdettweiler [2016-03-28 15:18:59] 639*2^1424592-1 is not prime. Res64: 9254011798C5AA2F Time : 0.0 sec. user=mdettweiler [2016-03-28 15:18:59] 675*2^1424592-1 is not prime. Res64: 01C09971CE0D2B8E Time : 0.0 sec. user=mdettweiler [2016-03-28 15:18:59] 767*2^1424592-1 is not prime. Res64: B31FB1CC9AB7E80A Time : 0.0 sec. user=mdettweiler [2016-03-28 15:19:00] 797*2^1424592-1 is not prime. Res64: 18BD6FFC2C103BA6 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:22:00] 649*2^1424593-1 is not prime. Res64: 35DB11880517D70E Time : 0.0 sec. user=mdettweiler [2016-03-28 15:22:00] 705*2^1424593-1 is not prime. Res64: 5FA706A1891696B5 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:22:01] 817*2^1424593-1 is not prime. Res64: 7036A90D9B52C34F Time : 0.0 sec. user=mdettweiler [2016-03-28 15:22:01] 831*2^1424593-1 is not prime. Res64: 555C21231FDE12A2 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:22:01] 939*2^1424593-1 is not prime. Res64: A12F190F2D9845E5 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:31:33] 687*2^1424594-1 is not prime. Res64: C45B26E9E36DE6B8 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:31:34] 701*2^1424594-1 is not prime. Res64: 2550C4EA3D51A54A Time : 0.0 sec. user=mdettweiler [2016-03-28 15:31:34] 755*2^1424594-1 is not prime. Res64: AD55CA49D9BF0CE2 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:31:35] 797*2^1424594-1 is not prime. Res64: 342D04CDE86E7F52 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:31:35] 885*2^1424594-1 is not prime. Res64: 6BA4B973D8EC82EF Time : 0.0 sec. user=mdettweiler [2016-03-28 15:43:13] 887*2^1424594-1 is not prime. Res64: 1BA38C1CD553DF95 Time : 0.0 sec. user=mdettweiler [2016-03-28 15:43:13] 663*2^1424595-1 is not prime. Res64: D94DBA5CB14F547B Time : 0.0 sec. user=mdettweiler [2016-03-28 15:43:14] 699*2^1424595-1 is not prime. Res64: F7B9E08F449A31DF Time : 0.0 sec. user=mdettweiler [2016-03-28 15:43:14] 741*2^1424595-1 is not prime. Res64: 508921FC962C32CF Time : 0.0 sec. user=mdettweiler [2016-03-28 15:43:14] 961*2^1424595-1 is not prime. Res64: 5C44DDC637951F8B Time : 0.0 sec. user=mdettweiler [2016-03-28 16:04:17] 615*2^1424596-1 is not prime. Res64: 4A320BF0EBD5F50F Time : 0.0 sec. user=mdettweiler [2016-03-28 16:04:18] 873*2^1424596-1 is not prime. Res64: A7712DC33AB3DC6D Time : 0.0 sec. user=mdettweiler [2016-03-28 16:04:20] 897*2^1424596-1 is not prime. Res64: AAB1954F93815B50 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:04:20] 685*2^1424597-1 is not prime. Res64: BD45C1D37050EBA4 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:04:21] 697*2^1424597-1 is not prime. Res64: 797D945919C4EA71 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:07:29] 769*2^1424597-1 is not prime. Res64: B0E5D003EEE5AE82 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:07:29] 861*2^1424597-1 is not prime. Res64: 7CB8CF7F05D76D58 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:07:30] 867*2^1424597-1 is not prime. Res64: 70D69E84A30B2067 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:07:30] 879*2^1424597-1 is not prime. Res64: 7C19EBF90BB4FCB8 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:07:31] 611*2^1424598-1 is not prime. Res64: D1FB13AE69EC9057 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:16:32] 621*2^1424598-1 is not prime. Res64: 173355B0012EC48E Time : 0.0 sec. user=mdettweiler [2016-03-28 16:16:32] 725*2^1424598-1 is not prime. Res64: AB89E14D80B3C075 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:16:32] 755*2^1424598-1 is not prime. Res64: 9207FDDE9A93AB33 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:16:33] 797*2^1424598-1 is not prime. Res64: F52C1F1EFA82AD09 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:16:33] 971*2^1424598-1 is not prime. Res64: 49D0A2B09B2DDEAD Time : 0.0 sec. user=mdettweiler [2016-03-28 16:28:09] 977*2^1424598-1 is not prime. Res64: 49E07096FFE41C93 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:28:10] 601*2^1424599-1 is not prime. Res64: E8D18B5A0BEF5064 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:28:10] 649*2^1424599-1 is not prime. Res64: 180AF6A528F09588 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:28:11] 675*2^1424599-1 is not prime. Res64: 5757327235C34388 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:28:11] 679*2^1424599-1 is not prime. Res64: 96E76F0C60424073 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:49:31] 729*2^1424599-1 is not prime. Res64: 150024E9EB9AA163 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:49:32] 765*2^1424599-1 is not prime. Res64: CF394C05B574F9BC Time : 0.0 sec. user=mdettweiler [2016-03-28 16:49:32] 873*2^1424599-1 is not prime. Res64: 2E884E9031B7F93F Time : 0.0 sec. user=mdettweiler [2016-03-28 16:49:32] 943*2^1424599-1 is not prime. Res64: A33AA6AEB633FACE Time : 0.0 sec. user=mdettweiler [2016-03-28 16:49:33] 713*2^1424600-1 is not prime. Res64: 3B0F0351926E0944 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:52:31] 797*2^1424600-1 is not prime. Res64: B9A10B47666D554A Time : 0.0 sec. user=mdettweiler [2016-03-28 16:52:31] 855*2^1424600-1 is not prime. Res64: 7B922F5EB6193558 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:52:32] 893*2^1424600-1 is not prime. Res64: D4BE3807D436D8DB Time : 0.0 sec. user=mdettweiler [2016-03-28 16:52:32] 977*2^1424600-1 is not prime. Res64: B46C935AAACDA5A8 Time : 0.0 sec. user=mdettweiler [2016-03-28 16:52:32] 999*2^1424600-1 is not prime. Res64: 1834091ED1E75EAD Time : 0.0 sec. user=mdettweiler [2016-03-28 17:01:22] 615*2^1424601-1 is not prime. Res64: 3664F6076EEEF9FB Time : 0.0 sec. user=mdettweiler [2016-03-28 17:01:23] 637*2^1424601-1 is not prime. Res64: F2B06BC23FEBBEE8 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:01:24] 717*2^1424601-1 is not prime. Res64: 45F96C0DC98571A6 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:01:25] 741*2^1424601-1 is not prime. Res64: E157335F86E5108C Time : 0.0 sec. user=mdettweiler [2016-03-28 17:01:26] 807*2^1424601-1 is not prime. Res64: A787D6B1C4DA47CA Time : 0.0 sec. user=mdettweiler [2016-03-28 17:13:08] 871*2^1424601-1 is not prime. Res64: 8825251ADAE27FD7 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:13:08] 645*2^1424602-1 is not prime. Res64: E9B0ADCE25BC7AC4 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:13:09] 881*2^1424602-1 is not prime. Res64: 0115C89A2D94BA98 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:13:09] 945*2^1424602-1 is not prime. Res64: A4B32389D0C3EF30 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:13:10] 947*2^1424602-1 is not prime. Res64: B707F1A68D5277F5 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:19:47] 905*2^1424604-1 is not prime. Res64: FF58631C36ADA368 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:34:13] 631*2^1424603-1 is not prime. Res64: C23B4ADF7A86C74B Time : 0.0 sec. user=mdettweiler [2016-03-28 17:34:14] 669*2^1424603-1 is not prime. Res64: 19C091708B78D145 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:34:14] 685*2^1424603-1 is not prime. Res64: 0927BA98A8202BD2 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:34:15] 693*2^1424603-1 is not prime. Res64: FAD3640564BE6665 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:34:15] 699*2^1424603-1 is not prime. Res64: 98B4FCCE8452BCE1 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:37:28] 705*2^1424603-1 is not prime. Res64: AEDC70BF74A02BED Time : 0.0 sec. user=mdettweiler [2016-03-28 17:37:28] 735*2^1424603-1 is not prime. Res64: 4C7E10193673D5AD Time : 0.0 sec. user=mdettweiler [2016-03-28 17:37:29] 753*2^1424603-1 is not prime. Res64: 80E21A18D04F0C26 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:37:29] 943*2^1424603-1 is not prime. Res64: E29B377BE7F9EA4F Time : 0.0 sec. user=mdettweiler [2016-03-28 17:37:30] 963*2^1424603-1 is not prime. Res64: E64751B37991D3D2 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:46:11] 635*2^1424604-1 is not prime. Res64: 77762787EB2A7F30 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:46:12] 683*2^1424604-1 is not prime. Res64: 96ED73B394A77A27 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:46:12] 825*2^1424604-1 is not prime. Res64: B6E14B21A6E0CB26 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:46:12] 887*2^1424604-1 is not prime. Res64: 9352BF9CF76C6F49 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:46:13] 903*2^1424604-1 is not prime. Res64: 8A6CDB559017D7B5 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:54:35] 603*2^1424608-1 is not prime. Res64: D73C565B76364EA7 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:54:44] 979*2^1424607-1 is not prime. Res64: 8CB117D92848027C Time : 0.0 sec. user=mdettweiler [2016-03-28 17:58:00] 965*2^1424604-1 is not prime. Res64: 05E8E009A5BA2286 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:58:01] 975*2^1424604-1 is not prime. Res64: 5B48078F5590CC47 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:58:01] 993*2^1424604-1 is not prime. Res64: 97FA48EEFF32322E Time : 0.0 sec. user=mdettweiler [2016-03-28 17:58:01] 645*2^1424605-1 is not prime. Res64: BBAD7525261AECD0 Time : 0.0 sec. user=mdettweiler [2016-03-28 17:58:02] 789*2^1424605-1 is not prime. Res64: CEB37587894602C3 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:18:52] 801*2^1424605-1 is not prime. Res64: BCA96C0BD677ACAD Time : 0.0 sec. user=mdettweiler [2016-03-28 18:18:53] 831*2^1424605-1 is not prime. Res64: 0E2F9161D1985B84 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:18:53] 895*2^1424605-1 is not prime. Res64: 0C590BE009F8959A Time : 0.0 sec. user=mdettweiler [2016-03-28 18:18:54] 961*2^1424605-1 is not prime. Res64: 91E63CE62928522B Time : 0.0 sec. user=mdettweiler [2016-03-28 18:18:54] 677*2^1424606-1 is not prime. Res64: 2AB9C007555CEFD3 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:22:13] 717*2^1424606-1 is not prime. Res64: 0AFD8D998E0A262C Time : 0.0 sec. user=mdettweiler [2016-03-28 18:22:13] 785*2^1424606-1 is not prime. Res64: 6D7F7A8CC03D8165 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:22:14] 801*2^1424606-1 is not prime. Res64: 8015A9E826BD21C7 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:22:14] 981*2^1424606-1 is not prime. Res64: 236A11B054402704 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:22:14] 609*2^1424607-1 is not prime. Res64: F20DB6C281994F3B Time : 0.0 sec. user=mdettweiler [2016-03-28 18:31:08] 615*2^1424607-1 is not prime. Res64: C91087913048BEFC Time : 0.0 sec. user=mdettweiler [2016-03-28 18:31:08] 739*2^1424607-1 is not prime. Res64: 8405D63979672079 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:31:09] 751*2^1424607-1 is not prime. Res64: BEC036173BF38371 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:31:09] 861*2^1424607-1 is not prime. Res64: 82F837BB98C715E1 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:31:10] 919*2^1424607-1 is not prime. Res64: 784DAE7F0C4EC471 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:43:06] 639*2^1424608-1 is not prime. Res64: A91F751A9A7D0CF9 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:43:06] 755*2^1424608-1 is not prime. Res64: D9055C0A82629709 Time : 0.0 sec. user=mdettweiler [2016-03-28 18:43:06] 803*2^1424608-1 is not prime. Res64: 9B768B01FAED2B6E Time : 0.0 sec. user=mdettweiler [2016-03-28 18:43:07] 839*2^1424608-1 is not prime. Res64: 187DCAA2DAB6B6DA Time : 0.0 sec. user=mdettweiler [2016-03-28 18:43:07] 843*2^1424608-1 is not prime. Res64: 881907B168536A96 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:03:41] 863*2^1424608-1 is not prime. Res64: 22A450A315BFF5BD Time : 0.0 sec. user=mdettweiler [2016-03-28 19:03:42] 899*2^1424608-1 is not prime. Res64: ADE2C119C20AA914 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:03:44] 619*2^1424609-1 is not prime. Res64: 26DD985B92E29E6B Time : 0.0 sec. user=mdettweiler [2016-03-28 19:03:46] 691*2^1424609-1 is not prime. Res64: 27F9EBB7F198B4F7 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:03:49] 729*2^1424609-1 is not prime. Res64: FDAA2F2596B6EFC1 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:07:07] 769*2^1424609-1 is not prime. Res64: 022B75DFDC732DDD Time : 0.0 sec. user=mdettweiler [2016-03-28 19:07:07] 879*2^1424609-1 is not prime. Res64: 29C6EFCCF15E3BCA Time : 0.0 sec. user=mdettweiler [2016-03-28 19:07:07] 889*2^1424609-1 is not prime. Res64: CD1A4891D39E8329 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:07:08] 931*2^1424609-1 is not prime. Res64: 58123BA4F8F6FC3A Time : 0.0 sec. user=mdettweiler [2016-03-28 19:07:08] 969*2^1424609-1 is not prime. Res64: 20E24FDC0A82891E Time : 0.0 sec. user=mdettweiler [2016-03-28 19:15:58] 611*2^1424610-1 is not prime. Res64: 3FFB8DAEB2D55BD6 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:15:59] 777*2^1424610-1 is not prime. Res64: 70E0C8E142DF09AE Time : 0.0 sec. user=mdettweiler [2016-03-28 19:15:59] 851*2^1424610-1 is not prime. Res64: 27FF63D70FC396DC Time : 0.0 sec. user=mdettweiler [2016-03-28 19:16:00] 663*2^1424611-1 is not prime. Res64: DF710C7F40DFFC9C Time : 0.0 sec. user=mdettweiler [2016-03-28 19:16:00] 691*2^1424611-1 is not prime. Res64: 037E183BDECFAF40 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:28:10] 693*2^1424611-1 is not prime. Res64: 4BE302F156B04107 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:28:11] 775*2^1424611-1 is not prime. Res64: 4145450AE80EDD78 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:28:11] 855*2^1424611-1 is not prime. Res64: 6C95CB361588CB70 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:28:12] 885*2^1424611-1 is not prime. Res64: 2607C01C14AED606 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:28:12] 951*2^1424611-1 is not prime. Res64: 2182943BF0149427 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:48:47] 961*2^1424611-1 is not prime. Res64: D2844F9744A31EA0 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:48:48] 609*2^1424612-1 is not prime. Res64: 41E1C865BCB92593 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:48:48] 767*2^1424612-1 is not prime. Res64: 3DABC5EE1D6EC2B5 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:48:49] 797*2^1424612-1 is not prime. Res64: A5C151E5A6ECE35D Time : 0.0 sec. user=mdettweiler [2016-03-28 19:48:49] 833*2^1424612-1 is not prime. Res64: 2058166135949C7B Time : 0.0 sec. user=mdettweiler [2016-03-28 19:52:01] 855*2^1424612-1 is not prime. Res64: A4541566E87E91C0 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:52:01] 915*2^1424612-1 is not prime. Res64: 9A79C485A4C96855 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:52:02] 963*2^1424612-1 is not prime. Res64: E2957568CC4B9FBE Time : 0.0 sec. user=mdettweiler [2016-03-28 19:52:02] 977*2^1424612-1 is not prime. Res64: FD9719B6348579A9 Time : 0.0 sec. user=mdettweiler [2016-03-28 19:52:02] 675*2^1424613-1 is not prime. Res64: 9BA944ACAF22B331 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:00:56] 745*2^1424613-1 is not prime. Res64: 8B604D78B32AE55E Time : 0.0 sec. user=mdettweiler [2016-03-28 20:00:57] 751*2^1424613-1 is not prime. Res64: 211BFA66A4DA3943 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:00:58] 805*2^1424613-1 is not prime. Res64: 1F34D9B301A1F428 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:00:59] 847*2^1424613-1 is not prime. Res64: 1349F3EAB0D14331 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:01:00] 621*2^1424614-1 is not prime. Res64: FF809565BA7AC84E Time : 0.0 sec. user=mdettweiler [2016-03-28 20:13:05] 821*2^1424614-1 is not prime. Res64: 01C58075BD73C95C Time : 0.0 sec. user=mdettweiler [2016-03-28 20:13:06] 891*2^1424614-1 is not prime. Res64: D8451FF0B5293524 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:13:07] 897*2^1424614-1 is not prime. Res64: ED5A96492F9410B3 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:13:07] 971*2^1424614-1 is not prime. Res64: 40A1B5621D9CABAF Time : 0.0 sec. user=mdettweiler [2016-03-28 20:13:08] 983*2^1424614-1 is not prime. Res64: 6661FC17FF9442A5 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:33:37] 799*2^1424615-1 is not prime. Res64: A17DF159B6676BDA Time : 0.0 sec. user=mdettweiler [2016-03-28 20:33:38] 841*2^1424615-1 is not prime. Res64: ABBD6D2BCF7969CD Time : 0.0 sec. user=mdettweiler [2016-03-28 20:33:38] 843*2^1424615-1 is not prime. Res64: D805F7A202E87058 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:33:38] 895*2^1424615-1 is not prime. Res64: D8FBA9A710FD3AED Time : 0.0 sec. user=mdettweiler [2016-03-28 20:33:39] 909*2^1424615-1 is not prime. Res64: D63488E4A3DC1A5B Time : 0.0 sec. user=mdettweiler [2016-03-28 20:36:53] 963*2^1424615-1 is not prime. Res64: DD58820E49DA179A Time : 0.0 sec. user=mdettweiler [2016-03-28 20:36:53] 981*2^1424615-1 is not prime. Res64: EC3991C50B357615 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:36:54] 779*2^1424616-1 is not prime. Res64: 3364B0CF61C86168 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:36:54] 879*2^1424616-1 is not prime. Res64: 43149D4A99CC3417 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:36:55] 927*2^1424616-1 is not prime. Res64: 755B1CACCA6B2DF3 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:45:56] 607*2^1424617-1 is not prime. Res64: 5D810E083A512FFB Time : 0.0 sec. user=mdettweiler [2016-03-28 20:45:57] 685*2^1424617-1 is not prime. Res64: A46DF89B6D99526D Time : 0.0 sec. user=mdettweiler [2016-03-28 20:45:57] 799*2^1424617-1 is not prime. Res64: 998934572D84C0C8 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:45:57] 861*2^1424617-1 is not prime. Res64: 8D9B33DCA16D2573 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:45:58] 931*2^1424617-1 is not prime. Res64: 843D7716B0538854 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:57:55] 603*2^1424618-1 is not prime. Res64: F410B96F4E497F31 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:57:56] 623*2^1424618-1 is not prime. Res64: E15E13A54A929542 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:57:56] 705*2^1424618-1 is not prime. Res64: 605BF0568DD798B1 Time : 0.0 sec. user=mdettweiler [2016-03-28 20:57:57] 747*2^1424618-1 is not prime. Res64: FAFDC755F5C76C9E Time : 0.0 sec. user=mdettweiler [2016-03-28 20:57:57] 755*2^1424618-1 is not prime. Res64: CD2F08E39D33E6AD Time : 0.0 sec. user=mdettweiler [2016-03-28 21:18:25] 773*2^1424618-1 is not prime. Res64: D42027A38071FB34 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:18:26] 857*2^1424618-1 is not prime. Res64: 1AD1DCBEB36FCC46 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:18:26] 927*2^1424618-1 is not prime. Res64: 9DF6078397CBA41C Time : 0.0 sec. user=mdettweiler [2016-03-28 21:18:26] 935*2^1424618-1 is not prime. Res64: 1C953CC260440A82 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:18:27] 971*2^1424618-1 is not prime. Res64: 3FAE991BEB1A89F8 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:21:30] 633*2^1424619-1 is not prime. Res64: 8F8FF99749744A15 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:21:31] 639*2^1424619-1 is not prime. Res64: 6E9674CD056A1847 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:21:31] 705*2^1424619-1 is not prime. Res64: 34B21A8D94A5E099 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:21:32] 753*2^1424619-1 is not prime. Res64: 631D098431E02946 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:21:32] 861*2^1424619-1 is not prime. Res64: DE54310AB9A38D1C Time : 0.0 sec. user=mdettweiler [2016-03-28 21:30:47] 955*2^1424619-1 is not prime. Res64: 21084BDE6B9502B9 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:30:48] 629*2^1424620-1 is not prime. Res64: 6F3BD683D005EFF1 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:30:48] 695*2^1424620-1 is not prime. Res64: CB13C750B25C00AE Time : 0.0 sec. user=mdettweiler [2016-03-28 21:30:49] 759*2^1424620-1 is not prime. Res64: FF3F4E460E0F9FD1 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:30:49] 873*2^1424620-1 is not prime. Res64: 8522D646946EC9AE Time : 0.0 sec. user=mdettweiler [2016-03-28 21:42:49] 965*2^1424620-1 is not prime. Res64: 9418CC50E371197F Time : 0.0 sec. user=mdettweiler [2016-03-28 21:42:49] 989*2^1424620-1 is not prime. Res64: 05AC431AA15E9DC9 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:42:50] 999*2^1424620-1 is not prime. Res64: 5BBD8706D94C0E9C Time : 0.0 sec. user=mdettweiler [2016-03-28 21:42:50] 631*2^1424621-1 is not prime. Res64: A20E6D76E2BB4323 Time : 0.0 sec. user=mdettweiler [2016-03-28 21:42:50] 735*2^1424621-1 is not prime. Res64: 058152815845E10A Time : 0.0 sec. user=mdettweiler [2016-03-28 21:43:51] 699*2^1424624-1 is not prime. Res64: B5D28068A48D4A5B Time : 0.0 sec. user=mdettweiler [2016-03-28 22:03:16] 781*2^1424621-1 is not prime. Res64: 05D8CD3C74C9CD72 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:03:17] 789*2^1424621-1 is not prime. Res64: 8D21FC874F8C31B5 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:03:19] 865*2^1424621-1 is not prime. Res64: 643C1433C55637A7 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:03:19] 635*2^1424622-1 is not prime. Res64: 7315AA5C94E4B7EF Time : 0.0 sec. user=mdettweiler [2016-03-28 22:03:20] 683*2^1424622-1 is not prime. Res64: 3D4C4FFAF3DBACAF Time : 0.0 sec. user=mdettweiler [2016-03-28 22:06:26] 711*2^1424622-1 is not prime. Res64: 08BFC46EA1947DEA Time : 0.0 sec. user=mdettweiler [2016-03-28 22:06:28] 737*2^1424622-1 is not prime. Res64: 3679029EDF29557C Time : 0.0 sec. user=mdettweiler [2016-03-28 22:06:29] 777*2^1424622-1 is not prime. Res64: 0A6D4FE672E3B383 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:06:30] 603*2^1424623-1 is not prime. Res64: E3E5410EBEFAF792 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:06:32] 681*2^1424623-1 is not prime. Res64: C1B7CDCC5E51C378 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:15:36] 861*2^1424623-1 is not prime. Res64: CF3CCB071A5C3948 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:15:37] 871*2^1424623-1 is not prime. Res64: 02749A1DDB30AD31 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:15:37] 901*2^1424623-1 is not prime. Res64: 8F81DC67C0C8C0D2 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:15:38] 951*2^1424623-1 is not prime. Res64: 7ECA5AD20F1645C3 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:15:38] 683*2^1424624-1 is not prime. Res64: 1AB431BCA58064FC Time : 0.0 sec. user=mdettweiler [2016-03-28 22:27:53] 743*2^1424624-1 is not prime. Res64: A11A148A1BFD2960 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:27:53] 789*2^1424624-1 is not prime. Res64: 836964A07664FE45 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:27:54] 843*2^1424624-1 is not prime. Res64: E9A5DE8A15CC530E Time : 0.0 sec. user=mdettweiler [2016-03-28 22:27:54] 897*2^1424624-1 is not prime. Res64: 1A13942CFE46BAE3 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:27:55] 929*2^1424624-1 is not prime. Res64: 404DF4CAB9428105 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:48:15] 649*2^1424625-1 is not prime. Res64: 4A18D7839B3D7A6C Time : 0.0 sec. user=mdettweiler [2016-03-28 22:48:16] 679*2^1424625-1 is not prime. Res64: 5A6C604D46E665C9 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:48:16] 765*2^1424625-1 is not prime. Res64: 5B624B8C8CA1EC97 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:48:16] 837*2^1424625-1 is not prime. Res64: E07847CA1A2D999E Time : 0.0 sec. user=mdettweiler [2016-03-28 22:48:17] 919*2^1424625-1 is not prime. Res64: 66C9028433F1BFE6 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:51:40] 921*2^1424625-1 is not prime. Res64: DF29926671E067AE Time : 0.0 sec. user=mdettweiler [2016-03-28 22:51:40] 611*2^1424626-1 is not prime. Res64: 6EE1054F9B016C56 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:51:40] 635*2^1424626-1 is not prime. Res64: 147758168C246182 Time : 0.0 sec. user=mdettweiler [2016-03-28 22:51:41] 735*2^1424626-1 is not prime. Res64: 1B7C331BADD38E1D Time : 0.0 sec. user=mdettweiler [2016-03-28 22:51:41] 825*2^1424626-1 is not prime. Res64: A200F84F80D07181 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:00:27] 843*2^1424626-1 is not prime. Res64: 18FAE3625775D833 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:00:28] 873*2^1424626-1 is not prime. Res64: 63E96819BABE009E Time : 0.0 sec. user=mdettweiler [2016-03-28 23:00:29] 887*2^1424626-1 is not prime. Res64: 5E0ACE1BABD3E839 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:00:30] 891*2^1424626-1 is not prime. Res64: EEF646604A2AE969 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:00:31] 923*2^1424626-1 is not prime. Res64: 3CAECA95F497CB7B Time : 0.0 sec. user=mdettweiler [2016-03-28 23:12:54] 603*2^1424627-1 is not prime. Res64: 847562C52941C53C Time : 0.0 sec. user=mdettweiler [2016-03-28 23:12:55] 609*2^1424627-1 is not prime. Res64: 16F3FDE35B740D50 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:12:55] 733*2^1424627-1 is not prime. Res64: 98AC00B717CAE700 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:12:56] 859*2^1424627-1 is not prime. Res64: A8C4B6AC4127B896 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:12:56] 931*2^1424627-1 is not prime. Res64: F45F88E1AB53804B Time : 0.0 sec. user=mdettweiler [2016-03-28 23:33:17] 749*2^1424628-1 is not prime. Res64: 5E5A36EDF3620081 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:33:17] 803*2^1424628-1 is not prime. Res64: 7EACB5A657712DB4 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:33:18] 899*2^1424628-1 is not prime. Res64: 2D4527DC4DDC3DBD Time : 0.0 sec. user=mdettweiler [2016-03-28 23:33:18] 923*2^1424628-1 is not prime. Res64: A955A5EC43524DDA Time : 0.0 sec. user=mdettweiler [2016-03-28 23:33:19] 987*2^1424628-1 is not prime. Res64: A628C487BD9546A0 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:36:44] 999*2^1424628-1 is not prime. Res64: DC71B23CA0825D70 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:36:44] 757*2^1424629-1 is not prime. Res64: 76EF874331E09BDA Time : 0.0 sec. user=mdettweiler [2016-03-28 23:36:45] 771*2^1424629-1 is not prime. Res64: F4E51D44E3CFBEA0 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:36:45] 799*2^1424629-1 is not prime. Res64: D97F712E2B35A897 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:36:46] 831*2^1424629-1 is not prime. Res64: 3A294B6BCB533A7F Time : 0.0 sec. user=mdettweiler [2016-03-28 23:45:30] 855*2^1424629-1 is not prime. Res64: 006F643DBE409025 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:45:31] 877*2^1424629-1 is not prime. Res64: CC535CB3FED00554 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:45:31] 919*2^1424629-1 is not prime. Res64: CEBE12282E7ABB65 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:45:32] 931*2^1424629-1 is not prime. Res64: 080B3BB45F9F8BCC Time : 0.0 sec. user=mdettweiler [2016-03-28 23:45:32] 957*2^1424629-1 is not prime. Res64: 0C44229028D4E5C2 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:57:59] 985*2^1424629-1 is not prime. Res64: 793DBC3BFC1B4D1C Time : 0.0 sec. user=mdettweiler [2016-03-28 23:57:59] 623*2^1424630-1 is not prime. Res64: 77645DE6361F410A Time : 0.0 sec. user=mdettweiler [2016-03-28 23:58:00] 677*2^1424630-1 is not prime. Res64: C49E43D1333F39B4 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:58:00] 753*2^1424630-1 is not prime. Res64: A2328999AA1D2C07 Time : 0.0 sec. user=mdettweiler [2016-03-28 23:58:00] 827*2^1424630-1 is not prime. Res64: C2EA525A9EF1C2E1 Time : 0.0 sec.