user=mdettweiler [2018-05-13 00:04:01] 957*2^1509568-1 is not prime. Res64: 9E9D70D9EBF6F450 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:04:02] 975*2^1509568-1 is not prime. Res64: 34FEE73A62E24BCD Time : 0.0 sec. user=mdettweiler [2018-05-13 00:04:04] 649*2^1509569-1 is not prime. Res64: E4E6C6C6F89F5430 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:04:06] 685*2^1509569-1 is not prime. Res64: A1F9845EBB0201D0 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:04:08] 841*2^1509569-1 is not prime. Res64: 3A66955AE6349C50 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:08:24] 879*2^1509569-1 is not prime. Res64: 6DE72AD327B5277D Time : 0.0 sec. user=mdettweiler [2018-05-13 00:08:27] 897*2^1509569-1 is not prime. Res64: AF59522E88086982 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:08:28] 955*2^1509569-1 is not prime. Res64: 90406EAD2035E055 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:08:31] 641*2^1509570-1 is not prime. Res64: 09DB1E3AD795B93F Time : 0.0 sec. user=mdettweiler [2018-05-13 00:08:34] 677*2^1509570-1 is not prime. Res64: 25DCD4772C45BB29 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:09:15] 725*2^1509570-1 is not prime. Res64: 51E509FA5C23A89B Time : 0.0 sec. user=mdettweiler [2018-05-13 00:09:17] 777*2^1509570-1 is not prime. Res64: 6D084A12A61FC3C0 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:09:18] 783*2^1509570-1 is not prime. Res64: 714CC5EEFCF531B8 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:09:19] 797*2^1509570-1 is not prime. Res64: B781ABFC5F99B746 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:09:20] 851*2^1509570-1 is not prime. Res64: DFF4556857F0686F Time : 0.0 sec. user=mdettweiler [2018-05-13 00:10:36] 915*2^1509570-1 is not prime. Res64: 9C9F30BFEE9778F4 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:10:39] 783*2^1509571-1 is not prime. Res64: B12A208D8358B3D3 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:10:40] 843*2^1509571-1 is not prime. Res64: 63FC09277CB34C1F Time : 0.0 sec. user=mdettweiler [2018-05-13 00:10:40] 855*2^1509571-1 is not prime. Res64: 124095BED89B4293 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:10:42] 871*2^1509571-1 is not prime. Res64: 0FE227D005714610 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:54:46] 961*2^1509571-1 is not prime. Res64: 99CD8B1CDFF88E22 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:54:46] 669*2^1509572-1 is not prime. Res64: 76E09333F1364914 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:54:47] 753*2^1509572-1 is not prime. Res64: 74590189B11A7CFA Time : 0.0 sec. user=mdettweiler [2018-05-13 00:54:47] 837*2^1509572-1 is not prime. Res64: B6882049AB2C28AE Time : 0.0 sec. user=mdettweiler [2018-05-13 00:54:47] 963*2^1509572-1 is not prime. Res64: 9D2246EECC47AC5C Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:04] 741*2^1509573-1 is not prime. Res64: 34464405D52D7354 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:04] 805*2^1509573-1 is not prime. Res64: 2743A39B4A2B3666 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:05] 961*2^1509573-1 is not prime. Res64: A3522D0F4FCF99BB Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:05] 969*2^1509573-1 is not prime. Res64: EC79E090D9883B03 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:06] 681*2^1509574-1 is not prime. Res64: 423EBF5946A7DF3E Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:47] 687*2^1509574-1 is not prime. Res64: D9824C83C35B49AC Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:47] 741*2^1509574-1 is not prime. Res64: F59BB054F78A7EEB Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:48] 815*2^1509574-1 is not prime. Res64: A8BE1AF55F2638A7 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:48] 821*2^1509574-1 is not prime. Res64: FE4E840A41CE50E4 Time : 0.0 sec. user=mdettweiler [2018-05-13 00:59:48] 831*2^1509574-1 is not prime. Res64: 0E905AFDC3C5779E Time : 0.0 sec. user=mdettweiler [2018-05-13 01:01:33] 945*2^1509574-1 is not prime. Res64: 60D11503225B4C7A Time : 0.0 sec. user=mdettweiler [2018-05-13 01:01:34] 971*2^1509574-1 is not prime. Res64: 8BDCBF579575F71D Time : 0.0 sec. user=mdettweiler [2018-05-13 01:01:35] 715*2^1509575-1 is not prime. Res64: 83EC077BFB0D3124 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:01:36] 741*2^1509575-1 is not prime. Res64: C33B1DA6FACFAD9B Time : 0.0 sec. user=mdettweiler [2018-05-13 01:01:37] 759*2^1509575-1 is not prime. Res64: 6BF65F44A141739D Time : 0.0 sec. user=mdettweiler [2018-05-13 01:47:23] 781*2^1509575-1 is not prime. Res64: 5502A4060988D7BA Time : 0.0 sec. user=mdettweiler [2018-05-13 01:47:24] 799*2^1509575-1 is not prime. Res64: A2F8335C6164F86F Time : 0.0 sec. user=mdettweiler [2018-05-13 01:47:24] 805*2^1509575-1 is not prime. Res64: CC6D50DF21027BC4 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:47:25] 865*2^1509575-1 is not prime. Res64: 82BB782F3DBE64CA Time : 0.0 sec. user=mdettweiler [2018-05-13 01:47:25] 895*2^1509575-1 is not prime. Res64: 2024178AF75ACF51 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:03] 843*2^1509576-1 is not prime. Res64: 3AFC8FC984EC880B Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:04] 887*2^1509576-1 is not prime. Res64: CE4EEDC96E01A50A Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:04] 983*2^1509576-1 is not prime. Res64: B50908F3BE298CBD Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:05] 625*2^1509577-1 is not prime. Res64: 5B394B50B6C02863 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:05] 651*2^1509577-1 is not prime. Res64: 0E5DF6046A60BAFD Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:18] 913*2^1509575-1 is not prime. Res64: 349633E4A384E47F Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:18] 629*2^1509576-1 is not prime. Res64: 00FDC789AD43F5BA Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:19] 669*2^1509576-1 is not prime. Res64: 8399BD842101E344 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:20] 683*2^1509576-1 is not prime. Res64: CA000518CCF48706 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:51:20] 777*2^1509576-1 is not prime. Res64: 1D04C56BC29086C9 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:53:20] 667*2^1509577-1 is not prime. Res64: 1E50A2D834C1911F Time : 0.0 sec. user=mdettweiler [2018-05-13 01:53:23] 691*2^1509577-1 is not prime. Res64: 20BD9995318F38A4 Time : 0.0 sec. user=mdettweiler [2018-05-13 01:53:23] 717*2^1509577-1 is not prime. Res64: 755EF8E217B8A26B Time : 0.0 sec. user=mdettweiler [2018-05-13 01:53:23] 741*2^1509577-1 is not prime. Res64: E24C2A333439901C Time : 0.0 sec. user=mdettweiler [2018-05-13 01:53:24] 747*2^1509577-1 is not prime. Res64: B626F912A53A46F0 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:40:10] 751*2^1509577-1 is not prime. Res64: 7AEBC4EDC93522E2 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:40:10] 867*2^1509577-1 is not prime. Res64: A1FD091116166047 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:40:11] 945*2^1509577-1 is not prime. Res64: 7859E08E297937FD Time : 0.0 sec. user=mdettweiler [2018-05-13 02:40:12] 605*2^1509578-1 is not prime. Res64: 0F173E666F0D2579 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:40:12] 641*2^1509578-1 is not prime. Res64: 6CB15D0F0769EAD9 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:41:56] 687*2^1509578-1 is not prime. Res64: FA8CCFB350D9F33E Time : 0.0 sec. user=mdettweiler [2018-05-13 02:41:58] 747*2^1509578-1 is not prime. Res64: ACD2E514C3C40AF3 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:41:58] 755*2^1509578-1 is not prime. Res64: 3772D51F431A4D4E Time : 0.0 sec. user=mdettweiler [2018-05-13 02:41:58] 867*2^1509578-1 is not prime. Res64: 61C1ECB0BAC580E8 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:41:59] 921*2^1509578-1 is not prime. Res64: 69F2C7F8B317FF6D Time : 0.0 sec. user=mdettweiler [2018-05-13 02:42:34] 923*2^1509578-1 is not prime. Res64: 8604814E01FFF680 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:42:34] 709*2^1509579-1 is not prime. Res64: 5F4DB8C83E858C11 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:42:35] 735*2^1509579-1 is not prime. Res64: 14ACEC55D55DA78C Time : 0.0 sec. user=mdettweiler [2018-05-13 02:42:35] 795*2^1509579-1 is not prime. Res64: 6E68CCE4B48FC323 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:42:36] 909*2^1509579-1 is not prime. Res64: 8604A93CBC6F3DC2 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:44:13] 931*2^1509579-1 is not prime. Res64: A2DBBD44E564372F Time : 0.0 sec. user=mdettweiler [2018-05-13 02:44:13] 973*2^1509579-1 is not prime. Res64: 91AFD61E24EDA679 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:44:14] 623*2^1509580-1 is not prime. Res64: ADBA017DF2CC2008 Time : 0.0 sec. user=mdettweiler [2018-05-13 02:44:14] 647*2^1509580-1 is not prime. Res64: 22D9E9C5FB13893A Time : 0.0 sec. user=mdettweiler [2018-05-13 02:44:15] 743*2^1509580-1 is not prime. Res64: 0B50F3B5EDCBA2B2 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:12] 777*2^1509580-1 is not prime. Res64: BE4B60295B609858 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:13] 857*2^1509580-1 is not prime. Res64: 36E6F3FDD0F7CEDA Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:14] 873*2^1509580-1 is not prime. Res64: E185963298DBBA13 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:16] 875*2^1509580-1 is not prime. Res64: 55FD364ABB37574A Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:17] 887*2^1509580-1 is not prime. Res64: 48A9424280847582 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:33:57] 927*2^1509580-1 is not prime. Res64: B0E603C41DACEF3D Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:00] 789*2^1509581-1 is not prime. Res64: 1DAD3B5E2511951D Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:01] 871*2^1509581-1 is not prime. Res64: 61D11FF3FFB518A5 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:02] 879*2^1509581-1 is not prime. Res64: C77E1E758744423B Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:04] 889*2^1509581-1 is not prime. Res64: 65611D44F9126713 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:09] 967*2^1509581-1 is not prime. Res64: 9D50E8503271A66B Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:10] 621*2^1509582-1 is not prime. Res64: 429B4935F1B8EC05 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:11] 671*2^1509582-1 is not prime. Res64: 59BC321372C11581 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:13] 713*2^1509582-1 is not prime. Res64: 4EEA837F3ED7364B Time : 0.0 sec. user=mdettweiler [2018-05-13 03:34:15] 737*2^1509582-1 is not prime. Res64: 40564000D8F5F3DB Time : 0.0 sec. user=mdettweiler [2018-05-13 03:36:20] 755*2^1509582-1 is not prime. Res64: B459860F0853F826 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:36:21] 791*2^1509582-1 is not prime. Res64: ABD1C85F4CDB8CD4 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:36:22] 825*2^1509582-1 is not prime. Res64: 741C433042600076 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:36:24] 893*2^1509582-1 is not prime. Res64: 2B2F576992571507 Time : 0.0 sec. user=mdettweiler [2018-05-13 03:36:26] 751*2^1509583-1 is not prime. Res64: 662ECAFD92596337 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:04] 659*2^1509584-1 is not prime. Res64: E679F1167E679126 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:06] 663*2^1509584-1 is not prime. Res64: 83160FCFED396080 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:08] 743*2^1509584-1 is not prime. Res64: A813F938EA45EF79 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:09] 827*2^1509584-1 is not prime. Res64: 198344DD597658ED Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:10] 915*2^1509584-1 is not prime. Res64: 91716534FCDF5FB1 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:35] 849*2^1509585-1 is not prime. Res64: CA15E809D2D0A3D3 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:37] 949*2^1509585-1 is not prime. Res64: D5557C97AD258A8E Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:39] 951*2^1509585-1 is not prime. Res64: 9A62D8EE474DD543 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:40] 773*2^1509586-1 is not prime. Res64: 322DBF5AE44AA31A Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:41] 815*2^1509586-1 is not prime. Res64: A986AE859A02C7E6 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:45] 935*2^1509584-1 is not prime. Res64: 005CC73B769B97F7 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:46] 995*2^1509584-1 is not prime. Res64: 1A5B2FB25FF9E749 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:48] 607*2^1509585-1 is not prime. Res64: DC6831D4EB72F931 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:49] 765*2^1509585-1 is not prime. Res64: E211555F42BB5E21 Time : 0.0 sec. user=mdettweiler [2018-05-13 04:27:50] 777*2^1509585-1 is not prime. Res64: 1E581DB2BE84AB8C Time : 0.0 sec. user=mdettweiler [2018-05-13 04:30:58] 891*2^1509586-1 is not prime. Res64: 8D1C9CF719F2C0F3 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:27:27] 609*2^1509589-1 is not prime. Res64: 3DA9FC5BA2499753 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:27:27] 619*2^1509589-1 is not prime. Res64: B1A7D011B0D6185F Time : 0.0 sec. user=mdettweiler [2018-05-13 05:27:28] 639*2^1509589-1 is not prime. Res64: F43618097A9A4A6F Time : 0.0 sec. user=mdettweiler [2018-05-13 05:27:29] 741*2^1509589-1 is not prime. Res64: C1C3AA76DC1303D5 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:27:30] 819*2^1509589-1 is not prime. Res64: 65ABBB3E652C603E Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:44] 925*2^1509589-1 is not prime. Res64: 51C3BE85CD736C67 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:44] 951*2^1509589-1 is not prime. Res64: CCC4A100F88B759F Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:45] 961*2^1509589-1 is not prime. Res64: 555D3E03A8633040 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:47] 711*2^1509590-1 is not prime. Res64: 1D006554D1BB912D Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:48] 713*2^1509590-1 is not prime. Res64: E345557720938E14 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:54] 981*2^1509587-1 is not prime. Res64: 82B81A22D76FDF01 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:55] 797*2^1509588-1 is not prime. Res64: 03744606011E2898 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:55] 819*2^1509588-1 is not prime. Res64: 3958164BA5EFD8DF Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:56] 893*2^1509588-1 is not prime. Res64: 81127C11148E00B2 Time : 0.0 sec. user=mdettweiler [2018-05-13 05:29:56] 935*2^1509588-1 is not prime. Res64: 5406A54673CC8A15 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:01] 623*2^1509592-1 is not prime. Res64: A8DABCE788569FB4 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:01] 705*2^1509592-1 is not prime. Res64: 8988D2542BD40E32 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:02] 723*2^1509592-1 is not prime. Res64: 83DC86EA3E6883E6 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:02] 855*2^1509592-1 is not prime. Res64: 40EB06F4304D1FF0 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:03] 615*2^1509593-1 is not prime. Res64: 9A74C6F4EEE5B237 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:11] 813*2^1509590-1 is not prime. Res64: 9361AC68E652009F Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:12] 857*2^1509590-1 is not prime. Res64: CE593185C29C7E9F Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:12] 911*2^1509590-1 is not prime. Res64: F7C0ACECAF63AA3E Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:13] 935*2^1509590-1 is not prime. Res64: DCF509DCA94ACA4D Time : 0.0 sec. user=mdettweiler [2018-05-13 06:23:13] 621*2^1509591-1 is not prime. Res64: 507E612E00C0240D Time : 0.0 sec. user=mdettweiler [2018-05-13 06:24:02] 625*2^1509591-1 is not prime. Res64: 01393FD673A4F280 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:24:03] 651*2^1509591-1 is not prime. Res64: 79E91630CC4AF050 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:24:03] 723*2^1509591-1 is not prime. Res64: 4587B2751C4D8070 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:24:04] 861*2^1509591-1 is not prime. Res64: 6CAE76F58DB17D88 Time : 0.0 sec. user=mdettweiler [2018-05-13 06:24:04] 955*2^1509591-1 is not prime. Res64: E70A7D668C225888 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:15:23] 871*2^1509593-1 is not prime. Res64: A7AAAD532171148F Time : 0.0 sec. user=mdettweiler [2018-05-13 07:15:24] 889*2^1509593-1 is not prime. Res64: 257FD3A065EAAD26 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:15:24] 955*2^1509593-1 is not prime. Res64: 57B13C89CBE2BDB0 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:15:25] 621*2^1509594-1 is not prime. Res64: C7CF50CF925BA382 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:15:25] 651*2^1509594-1 is not prime. Res64: 5A87D91C77161288 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:16:04] 663*2^1509594-1 is not prime. Res64: 3669276904C4BA2F Time : 0.0 sec. user=mdettweiler [2018-05-13 07:16:04] 815*2^1509594-1 is not prime. Res64: 191EB781EEBAD326 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:16:05] 893*2^1509594-1 is not prime. Res64: D3D4DE7961C91585 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:16:06] 975*2^1509594-1 is not prime. Res64: 2459DB5A8A63FACF Time : 0.0 sec. user=mdettweiler [2018-05-13 07:16:06] 645*2^1509595-1 is not prime. Res64: DAC22B572B148EF0 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:17:26] 697*2^1509593-1 is not prime. Res64: 67194EEEAFDE2D8E Time : 0.0 sec. user=mdettweiler [2018-05-13 07:17:26] 715*2^1509593-1 is not prime. Res64: 82F6D147A5863476 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:17:27] 789*2^1509593-1 is not prime. Res64: E7FEC69FD19BE974 Time : 0.0 sec. user=mdettweiler [2018-05-13 07:17:27] 829*2^1509593-1 is not prime. Res64: 93B938310B55E25F Time : 0.0 sec. user=mdettweiler [2018-05-13 07:17:28] 831*2^1509593-1 is not prime. Res64: 11C7743382F5CAB0 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:09:10] 647*2^1509596-1 is not prime. Res64: EBF9C1DE051D2026 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:09:13] 879*2^1509596-1 is not prime. Res64: ED81C42189D9D410 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:09:15] 927*2^1509596-1 is not prime. Res64: DE2ED796E5812FF3 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:09:16] 983*2^1509596-1 is not prime. Res64: 2822485EF7CA9B40 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:09:19] 685*2^1509597-1 is not prime. Res64: 0083CCB6B7AEC1CD Time : 0.0 sec. user=mdettweiler [2018-05-13 08:10:54] 691*2^1509597-1 is not prime. Res64: 9D424D7211A0293D Time : 0.0 sec. user=mdettweiler [2018-05-13 08:10:55] 777*2^1509597-1 is not prime. Res64: D942FB915A05BBEF Time : 0.0 sec. user=mdettweiler [2018-05-13 08:10:55] 837*2^1509597-1 is not prime. Res64: 9CE61758FB1B596E Time : 0.0 sec. user=mdettweiler [2018-05-13 08:10:56] 901*2^1509597-1 is not prime. Res64: 14B6C21946F5819B Time : 0.0 sec. user=mdettweiler [2018-05-13 08:10:56] 937*2^1509597-1 is not prime. Res64: BF47FEBE22B158A7 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:14:45] 673*2^1509595-1 is not prime. Res64: CB9E80BB0AE9C0D5 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:14:45] 783*2^1509595-1 is not prime. Res64: 08A6831C6615AFF0 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:14:46] 805*2^1509595-1 is not prime. Res64: C3001F0BFED89218 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:14:46] 849*2^1509595-1 is not prime. Res64: 8DE1DF334122471D Time : 0.0 sec. user=mdettweiler [2018-05-13 08:14:46] 909*2^1509595-1 is not prime. Res64: 2A393580830F0A48 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:28:07] 917*2^1509586-1 is not prime. Res64: 3D93C17A55721C91 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:28:07] 649*2^1509587-1 is not prime. Res64: 578106F4747BD436 Time : 0.0 sec. user=mdettweiler [2018-05-13 08:28:08] 843*2^1509587-1 is not prime. Res64: CDF550DC4469997E Time : 0.0 sec. user=mdettweiler [2018-05-13 08:28:08] 939*2^1509587-1 is not prime. Res64: 38941B20C674D64D Time : 0.0 sec. user=mdettweiler [2018-05-13 09:00:17] 945*2^1509597-1 is not prime. Res64: ADDE4DF1F8CDF32C Time : 0.0 sec. user=mdettweiler [2018-05-13 09:00:19] 975*2^1509597-1 is not prime. Res64: F54C41D724EC232F Time : 0.0 sec. user=mdettweiler [2018-05-13 09:00:20] 651*2^1509598-1 is not prime. Res64: F546C60F761A6DF9 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:00:22] 713*2^1509598-1 is not prime. Res64: EB116AAF015CC727 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:00:23] 755*2^1509598-1 is not prime. Res64: 98A8B01CDA023F04 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:02:37] 777*2^1509598-1 is not prime. Res64: E1EBDED91D9EA45B Time : 0.0 sec. user=mdettweiler [2018-05-13 09:02:38] 801*2^1509598-1 is not prime. Res64: 324DCC5B04CC7507 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:02:39] 827*2^1509598-1 is not prime. Res64: 79C9C0969E002B28 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:02:40] 867*2^1509598-1 is not prime. Res64: 82F6B08F80CA5518 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:02:42] 885*2^1509598-1 is not prime. Res64: 85F6A387EF0EB3E7 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:06:27] 887*2^1509598-1 is not prime. Res64: 15FB4F6AAD4E5C63 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:06:28] 643*2^1509599-1 is not prime. Res64: 7546CFD3F96AD6C2 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:06:29] 645*2^1509599-1 is not prime. Res64: 6F76AB011952A04D Time : 0.0 sec. user=mdettweiler [2018-05-13 09:06:30] 661*2^1509599-1 is not prime. Res64: 1FC3F7AB37BB96DF Time : 0.0 sec. user=mdettweiler [2018-05-13 09:06:32] 843*2^1509599-1 is not prime. Res64: 77DFC4776857E5E3 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:18:50] 885*2^1509599-1 is not prime. Res64: DBA800959BA8C36E Time : 0.0 sec. user=mdettweiler [2018-05-13 09:18:51] 895*2^1509599-1 is not prime. Res64: 7871574D35B6E562 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:18:51] 949*2^1509599-1 is not prime. Res64: 1989AE2095F0BD23 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:18:52] 665*2^1509600-1 is not prime. Res64: 60E4D42AD0650FFA Time : 0.0 sec. user=mdettweiler [2018-05-13 09:18:52] 717*2^1509600-1 is not prime. Res64: 8265EB3E648C7643 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:51:09] 735*2^1509600-1 is not prime. Res64: 961B63E5A03FAB94 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:51:09] 765*2^1509600-1 is not prime. Res64: DAD4D95B9672A1AE Time : 0.0 sec. user=mdettweiler [2018-05-13 09:51:10] 839*2^1509600-1 is not prime. Res64: 9432CB164DA29818 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:51:10] 923*2^1509600-1 is not prime. Res64: 2BF192BA03F86F27 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:51:10] 769*2^1509601-1 is not prime. Res64: 7778D7CB4E84AAD8 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:52:29] 861*2^1509601-1 is not prime. Res64: 635408BDC90F42EC Time : 0.0 sec. user=mdettweiler [2018-05-13 09:52:29] 975*2^1509601-1 is not prime. Res64: FACEE3F04681E049 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:52:31] 627*2^1509602-1 is not prime. Res64: 351774F82B531BAF Time : 0.0 sec. user=mdettweiler [2018-05-13 09:52:32] 705*2^1509602-1 is not prime. Res64: C5306165790BFB7B Time : 0.0 sec. user=mdettweiler [2018-05-13 09:52:32] 735*2^1509602-1 is not prime. Res64: D2A06191CE7E5C9C Time : 0.0 sec. user=mdettweiler [2018-05-13 09:57:27] 987*2^1509602-1 is not prime. Res64: 67552AD141B8060B Time : 0.0 sec. user=mdettweiler [2018-05-13 09:57:28] 723*2^1509603-1 is not prime. Res64: 57C66A73C557112D Time : 0.0 sec. user=mdettweiler [2018-05-13 09:57:28] 849*2^1509603-1 is not prime. Res64: 3D381060D7991DCB Time : 0.0 sec. user=mdettweiler [2018-05-13 09:57:29] 859*2^1509603-1 is not prime. Res64: 94C1018D5CDD4080 Time : 0.0 sec. user=mdettweiler [2018-05-13 09:57:29] 873*2^1509603-1 is not prime. Res64: FDEDA22FF2C0B67C Time : 0.0 sec. user=mdettweiler [2018-05-13 10:09:20] 895*2^1509603-1 is not prime. Res64: 14C04F141895E71B Time : 0.0 sec. user=mdettweiler [2018-05-13 10:09:21] 961*2^1509603-1 is not prime. Res64: 8090D9103018F818 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:09:21] 623*2^1509604-1 is not prime. Res64: C192059617F3FF41 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:09:22] 693*2^1509604-1 is not prime. Res64: 78361B1279097CAE Time : 0.0 sec. user=mdettweiler [2018-05-13 10:09:22] 785*2^1509604-1 is not prime. Res64: A37330C7619B82BD Time : 0.0 sec. user=mdettweiler [2018-05-13 10:41:53] 899*2^1509604-1 is not prime. Res64: 11DAA02A7DDC02E4 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:41:54] 927*2^1509604-1 is not prime. Res64: 2BD7A78FA240003B Time : 0.0 sec. user=mdettweiler [2018-05-13 10:41:54] 691*2^1509605-1 is not prime. Res64: 0E2BE028B8664804 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:41:55] 727*2^1509605-1 is not prime. Res64: DEA09FD22944BBA5 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:41:55] 741*2^1509605-1 is not prime. Res64: C44DA3EA98C07EDC Time : 0.0 sec. user=mdettweiler [2018-05-13 10:43:53] 795*2^1509605-1 is not prime. Res64: 9A175B57974E2507 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:43:53] 811*2^1509605-1 is not prime. Res64: D7FCF51A16A8C810 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:43:54] 831*2^1509605-1 is not prime. Res64: 6525CADE4E39C6C8 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:43:54] 981*2^1509605-1 is not prime. Res64: CE7B460E7EC81E63 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:43:54] 987*2^1509605-1 is not prime. Res64: 134B8840014376E1 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:49:24] 611*2^1509606-1 is not prime. Res64: FC61B39F2E1023AE Time : 0.0 sec. user=mdettweiler [2018-05-13 10:49:25] 627*2^1509606-1 is not prime. Res64: DDB7941E58EE753A Time : 0.0 sec. user=mdettweiler [2018-05-13 10:49:25] 711*2^1509606-1 is not prime. Res64: 4168FD755111C108 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:49:25] 765*2^1509606-1 is not prime. Res64: D864EC7781D0F924 Time : 0.0 sec. user=mdettweiler [2018-05-13 10:49:26] 821*2^1509606-1 is not prime. Res64: 671CF6043F926011 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:01:01] 881*2^1509606-1 is not prime. Res64: ADE77B4D28482E23 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:01:02] 893*2^1509606-1 is not prime. Res64: F399121E4EABB415 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:01:03] 975*2^1509606-1 is not prime. Res64: C2EF860898B7C878 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:01:04] 961*2^1509607-1 is not prime. Res64: BCA5FA1EDF0243AF Time : 0.0 sec. user=mdettweiler [2018-05-13 11:01:05] 975*2^1509607-1 is not prime. Res64: EB5448984181719A Time : 0.0 sec. user=mdettweiler [2018-05-13 11:33:05] 603*2^1509608-1 is not prime. Res64: BF9F6A1B6D29EFF2 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:33:05] 663*2^1509608-1 is not prime. Res64: 17C7AE322D09C5E5 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:33:06] 735*2^1509608-1 is not prime. Res64: BD8591BDF94FFCF0 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:33:06] 825*2^1509608-1 is not prime. Res64: D900AE721C1D1734 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:33:07] 855*2^1509608-1 is not prime. Res64: 9ADDBBC8065B851D Time : 0.0 sec. user=mdettweiler [2018-05-13 11:36:09] 893*2^1509608-1 is not prime. Res64: A76612E0F3E92DF9 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:36:09] 969*2^1509608-1 is not prime. Res64: 24558E673533758D Time : 0.0 sec. user=mdettweiler [2018-05-13 11:36:10] 741*2^1509609-1 is not prime. Res64: 3D017F9C2B53CDB8 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:36:10] 759*2^1509609-1 is not prime. Res64: 333F4DC39F71A1B9 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:36:10] 787*2^1509609-1 is not prime. Res64: 917618EB84768750 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:41:07] 795*2^1509609-1 is not prime. Res64: BB50E94FD85909CC Time : 0.0 sec. user=mdettweiler [2018-05-13 11:41:08] 945*2^1509609-1 is not prime. Res64: 06259F4543275580 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:41:08] 951*2^1509609-1 is not prime. Res64: 2AF7D6DF0354284E Time : 0.0 sec. user=mdettweiler [2018-05-13 11:41:09] 657*2^1509610-1 is not prime. Res64: B3DC65F02AC01455 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:41:10] 735*2^1509610-1 is not prime. Res64: 5026474B9CA55A74 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:56:16] 741*2^1509610-1 is not prime. Res64: D65E87292BA57859 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:56:16] 833*2^1509610-1 is not prime. Res64: 15AF1DA4A17DC518 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:56:17] 843*2^1509610-1 is not prime. Res64: 4CDC0F116668328B Time : 0.0 sec. user=mdettweiler [2018-05-13 11:56:17] 951*2^1509610-1 is not prime. Res64: 8BAB4605FD416937 Time : 0.0 sec. user=mdettweiler [2018-05-13 11:56:18] 971*2^1509610-1 is not prime. Res64: 9E2FFEE96DE1443E Time : 0.0 sec. user=mdettweiler [2018-05-13 12:24:52] 753*2^1509611-1 is not prime. Res64: CDA64A2C0F81F242 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:24:52] 759*2^1509611-1 is not prime. Res64: AF43BBE653404C6C Time : 0.0 sec. user=mdettweiler [2018-05-13 12:24:53] 783*2^1509611-1 is not prime. Res64: 6C49D6216D026893 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:24:53] 825*2^1509611-1 is not prime. Res64: 9274B64545A479A8 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:24:54] 855*2^1509611-1 is not prime. Res64: C8948BB194FA928C Time : 0.0 sec. user=mdettweiler [2018-05-13 12:28:42] 981*2^1509611-1 is not prime. Res64: D2B8D3EEC5C178E9 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:28:42] 719*2^1509612-1 is not prime. Res64: D43821D73939C291 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:28:43] 797*2^1509612-1 is not prime. Res64: 929BC391BCCC3894 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:28:43] 857*2^1509612-1 is not prime. Res64: DCF1CBC5D19D713C Time : 0.0 sec. user=mdettweiler [2018-05-13 12:28:43] 875*2^1509612-1 is not prime. Res64: A68F2990F0ED64B0 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:33:49] 887*2^1509612-1 is not prime. Res64: 3435C0CCEDE0CD1C Time : 0.0 sec. user=mdettweiler [2018-05-13 12:33:49] 945*2^1509612-1 is not prime. Res64: 77B61E06F03CC153 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:33:50] 965*2^1509612-1 is not prime. Res64: 7C7684F9EDC317E4 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:33:50] 615*2^1509613-1 is not prime. Res64: DB8D9A8B78155661 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:33:51] 685*2^1509613-1 is not prime. Res64: 09D4E694A2EBD2A1 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:47:22] 741*2^1509613-1 is not prime. Res64: 9FCBF4B8A0B39CD4 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:47:23] 811*2^1509613-1 is not prime. Res64: 779CD7AD879CC5C1 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:47:23] 895*2^1509613-1 is not prime. Res64: 10EE717F4D22D0B2 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:47:24] 925*2^1509613-1 is not prime. Res64: 198ABBE0CA6ED601 Time : 0.0 sec. user=mdettweiler [2018-05-13 12:47:24] 665*2^1509614-1 is not prime. Res64: 375B13A2C72F702B Time : 0.0 sec. user=mdettweiler [2018-05-13 13:15:46] 741*2^1509614-1 is not prime. Res64: 80E840EEC172A4BA Time : 0.0 sec. user=mdettweiler [2018-05-13 13:15:47] 851*2^1509614-1 is not prime. Res64: B6951EE52FD5DA97 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:15:47] 923*2^1509614-1 is not prime. Res64: C3AE83F8883ACE7F Time : 0.0 sec. user=mdettweiler [2018-05-13 13:15:48] 1001*2^1509614-1 is not prime. Res64: 24125DE12CDB9720 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:15:48] 619*2^1509615-1 is not prime. Res64: 85114C97008AD677 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:19:38] 685*2^1509615-1 is not prime. Res64: 9F1DBEB0D580D1D2 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:19:39] 741*2^1509615-1 is not prime. Res64: 0694BC167A600FD0 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:19:39] 805*2^1509615-1 is not prime. Res64: 78AAFD3C27EBE3EA Time : 0.0 sec. user=mdettweiler [2018-05-13 13:19:40] 909*2^1509615-1 is not prime. Res64: 927956733F6C501A Time : 0.0 sec. user=mdettweiler [2018-05-13 13:19:40] 913*2^1509615-1 is not prime. Res64: E3223D759A5C640B Time : 0.0 sec. user=mdettweiler [2018-05-13 13:25:36] 603*2^1509616-1 is not prime. Res64: 270A726C6B0A19E6 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:25:38] 653*2^1509616-1 is not prime. Res64: F0F56DD66E981DC8 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:25:39] 873*2^1509616-1 is not prime. Res64: 55DEA4F740D12540 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:25:40] 615*2^1509617-1 is not prime. Res64: E8D555028D3A7C94 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:25:41] 727*2^1509617-1 is not prime. Res64: 18B3A65D3EC1FF11 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:38:22] 741*2^1509617-1 is not prime. Res64: AB161EA0E8AFC166 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:38:22] 759*2^1509617-1 is not prime. Res64: 5E775E894B6215EE Time : 0.0 sec. user=mdettweiler [2018-05-13 13:38:22] 769*2^1509617-1 is not prime. Res64: 87E35FF8334711DA Time : 0.0 sec. user=mdettweiler [2018-05-13 13:38:23] 805*2^1509617-1 is not prime. Res64: C2A72B7D9D8AFAF9 Time : 0.0 sec. user=mdettweiler [2018-05-13 13:38:23] 841*2^1509617-1 is not prime. Res64: E80FD89562C2EA53 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:05:31] 955*2^1509617-1 is not prime. Res64: 9A68BC1C3D6D94A5 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:05:34] 957*2^1509617-1 is not prime. Res64: 0F3A1671B563CCAF Time : 0.0 sec. user=mdettweiler [2018-05-13 14:05:40] 611*2^1509618-1 is not prime. Res64: 56B0567D88866157 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:05:44] 621*2^1509618-1 is not prime. Res64: B343D3EC2EDECBBC Time : 0.0 sec. user=mdettweiler [2018-05-13 14:05:48] 681*2^1509618-1 is not prime. Res64: C66AB04C8B6568A1 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:10:40] 791*2^1509618-1 is not prime. Res64: 898A09366DE150D1 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:10:42] 797*2^1509618-1 is not prime. Res64: 8E8EA916C8BF2BF5 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:10:44] 833*2^1509618-1 is not prime. Res64: 7AE648B1A3A50C6F Time : 0.0 sec. user=mdettweiler [2018-05-13 14:10:45] 861*2^1509618-1 is not prime. Res64: C786DCC3F41B0B14 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:10:47] 933*2^1509618-1 is not prime. Res64: 513493E49B0F5EF2 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:16:17] 895*2^1509619-1 is not prime. Res64: 7BE5D1AE0A62AB21 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:16:17] 913*2^1509619-1 is not prime. Res64: 74F6F167FFE0D798 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:16:18] 943*2^1509619-1 is not prime. Res64: 91A3028F5EAF978A Time : 0.0 sec. user=mdettweiler [2018-05-13 14:16:18] 999*2^1509619-1 is not prime. Res64: 6F7B55220FFC5FE5 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:16:19] 635*2^1509620-1 is not prime. Res64: 6C21443D122ABD17 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:29:13] 675*2^1509620-1 is not prime. Res64: F3D5F8E5BEE4E3F4 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:29:15] 839*2^1509620-1 is not prime. Res64: 8391C4334DD389AA Time : 0.0 sec. user=mdettweiler [2018-05-13 14:29:15] 855*2^1509620-1 is not prime. Res64: 9F6FA7EAC56EE607 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:29:16] 953*2^1509620-1 is not prime. Res64: BE4C339551D237A9 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:29:17] 963*2^1509620-1 is not prime. Res64: F8B62CBB8A635242 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:56:45] 621*2^1509621-1 is not prime. Res64: 2C1B58B93414A7DB Time : 0.0 sec. user=mdettweiler [2018-05-13 14:56:46] 627*2^1509621-1 is not prime. Res64: D4C6B2635941E3F3 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:56:46] 727*2^1509621-1 is not prime. Res64: 8AFB6320E877C611 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:56:46] 751*2^1509621-1 is not prime. Res64: 1951689775E1ED62 Time : 0.0 sec. user=mdettweiler [2018-05-13 14:56:47] 781*2^1509621-1 is not prime. Res64: C14E08C3EB65BD01 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:02:17] 795*2^1509621-1 is not prime. Res64: 9E59B5DF24DF8285 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:02:18] 835*2^1509621-1 is not prime. Res64: 104BCDD894722CA5 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:02:19] 991*2^1509621-1 is not prime. Res64: 4E6090E33893AAE9 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:02:20] 741*2^1509622-1 is not prime. Res64: 2875874A2C8E3FDE Time : 0.0 sec. user=mdettweiler [2018-05-13 15:02:21] 923*2^1509622-1 is not prime. Res64: E05718514E057F66 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:07:25] 945*2^1509622-1 is not prime. Res64: 31B817E7B0079DC2 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:07:27] 965*2^1509622-1 is not prime. Res64: D852FBE9DD16CEC4 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:07:28] 981*2^1509622-1 is not prime. Res64: 5D872E753613317B Time : 0.0 sec. user=mdettweiler [2018-05-13 15:07:30] 987*2^1509622-1 is not prime. Res64: 9D78DFFF2C8EEEC4 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:07:32] 735*2^1509623-1 is not prime. Res64: 52490E2353C010A5 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:22:00] 745*2^1509623-1 is not prime. Res64: 1E05ABBF81D051D5 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:22:00] 783*2^1509623-1 is not prime. Res64: 6A05A9FB34430428 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:22:01] 879*2^1509623-1 is not prime. Res64: 7385AD57AB32917F Time : 0.0 sec. user=mdettweiler [2018-05-13 15:22:01] 955*2^1509623-1 is not prime. Res64: D2EDFA7A29AFA66B Time : 0.0 sec. user=mdettweiler [2018-05-13 15:22:01] 985*2^1509623-1 is not prime. Res64: 4310F5C745CDE426 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:50:38] 719*2^1509624-1 is not prime. Res64: E7E91906A143271F Time : 0.0 sec. user=mdettweiler [2018-05-13 15:50:40] 753*2^1509624-1 is not prime. Res64: A012B1343CE03A36 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:50:42] 789*2^1509624-1 is not prime. Res64: C80A5F25F74B9D73 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:50:43] 601*2^1509625-1 is not prime. Res64: 99D7FCFD01E498BC Time : 0.0 sec. user=mdettweiler [2018-05-13 15:50:45] 607*2^1509625-1 is not prime. Res64: D3F669AE781236CF Time : 0.0 sec. user=mdettweiler [2018-05-13 15:54:37] 651*2^1509625-1 is not prime. Res64: CEFD87EA436C8BC9 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:54:37] 661*2^1509625-1 is not prime. Res64: 570277172E57DB27 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:54:39] 687*2^1509625-1 is not prime. Res64: 73AF44278986F365 Time : 0.0 sec. user=mdettweiler [2018-05-13 15:54:39] 705*2^1509625-1 is not prime. Res64: 8E7CB52971A7480F Time : 0.0 sec. user=mdettweiler [2018-05-13 15:54:40] 805*2^1509625-1 is not prime. Res64: 48CA7971D79FE918 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:00:22] 849*2^1509625-1 is not prime. Res64: EF5695D55DA31F62 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:00:23] 955*2^1509625-1 is not prime. Res64: FCC900BFE56A60DC Time : 0.0 sec. user=mdettweiler [2018-05-13 16:00:24] 633*2^1509626-1 is not prime. Res64: 53CA64A5C15883F5 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:00:25] 635*2^1509626-1 is not prime. Res64: 7B5E93A0D45D85FC Time : 0.0 sec. user=mdettweiler [2018-05-13 16:00:26] 645*2^1509626-1 is not prime. Res64: D941BB3227E87854 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:15:38] 801*2^1509626-1 is not prime. Res64: EEA495795E607E8A Time : 0.0 sec. user=mdettweiler [2018-05-13 16:15:39] 827*2^1509626-1 is not prime. Res64: 74DA35DA6E957769 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:15:39] 903*2^1509626-1 is not prime. Res64: CF82B5149A78006F Time : 0.0 sec. user=mdettweiler [2018-05-13 16:15:40] 983*2^1509626-1 is not prime. Res64: 9C169011CBE72234 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:15:41] 705*2^1509627-1 is not prime. Res64: 35E2CF20E75C72E0 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:40:54] 709*2^1509627-1 is not prime. Res64: DDF57360E0076EEC Time : 0.0 sec. user=mdettweiler [2018-05-13 16:40:55] 849*2^1509627-1 is not prime. Res64: B0F6E1B910ECE43E Time : 0.0 sec. user=mdettweiler [2018-05-13 16:40:55] 979*2^1509627-1 is not prime. Res64: 5273912F5BEC8272 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:40:56] 615*2^1509628-1 is not prime. Res64: 03772061E123F76A Time : 0.0 sec. user=mdettweiler [2018-05-13 16:40:56] 617*2^1509628-1 is not prime. Res64: F9AE52952A6F1316 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:44:52] 665*2^1509628-1 is not prime. Res64: 662451A808FEFA7A Time : 0.0 sec. user=mdettweiler [2018-05-13 16:44:52] 687*2^1509628-1 is not prime. Res64: 0F3169ECFCBE5271 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:44:53] 755*2^1509628-1 is not prime. Res64: 5F59AEF2E22C2132 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:44:53] 825*2^1509628-1 is not prime. Res64: E52B534E1FA835DA Time : 0.0 sec. user=mdettweiler [2018-05-13 16:44:54] 915*2^1509628-1 is not prime. Res64: 2F8642A1CEBB909F Time : 0.0 sec. user=mdettweiler [2018-05-13 16:53:16] 619*2^1509629-1 is not prime. Res64: 1847F9B1DD6A0EC2 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:53:18] 631*2^1509629-1 is not prime. Res64: 5E272A574657BD55 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:53:18] 741*2^1509629-1 is not prime. Res64: 775DFB2DA0A7DB62 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:53:19] 775*2^1509629-1 is not prime. Res64: 8C2478834B22D600 Time : 0.0 sec. user=mdettweiler [2018-05-13 16:53:19] 825*2^1509629-1 is not prime. Res64: 94426DD91B521C0B Time : 0.0 sec. user=mdettweiler [2018-05-13 17:06:33] 847*2^1509629-1 is not prime. Res64: DD736B345B03703A Time : 0.0 sec. user=mdettweiler [2018-05-13 17:06:35] 861*2^1509629-1 is not prime. Res64: 33F0D0F9807E0DE7 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:06:36] 897*2^1509629-1 is not prime. Res64: FF824AE61E39DC12 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:06:37] 615*2^1509630-1 is not prime. Res64: E85607C6E6C0338D Time : 0.0 sec. user=mdettweiler [2018-05-13 17:06:37] 707*2^1509630-1 is not prime. Res64: 7A422010B9979173 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:33:01] 791*2^1509630-1 is not prime. Res64: F6CF40FB834CA86B Time : 0.0 sec. user=mdettweiler [2018-05-13 17:33:01] 821*2^1509630-1 is not prime. Res64: 4B0740752558B2AE Time : 0.0 sec. user=mdettweiler [2018-05-13 17:33:02] 933*2^1509630-1 is not prime. Res64: 670BCA330B4EDD78 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:33:02] 971*2^1509630-1 is not prime. Res64: B767DDE85B5F842F Time : 0.0 sec. user=mdettweiler [2018-05-13 17:33:03] 603*2^1509631-1 is not prime. Res64: 657F805D0FD640D8 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:35:18] 615*2^1509631-1 is not prime. Res64: 8E7BD8BEB4CD80D9 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:35:19] 679*2^1509631-1 is not prime. Res64: E0D9B653F930632A Time : 0.0 sec. user=mdettweiler [2018-05-13 17:35:19] 703*2^1509631-1 is not prime. Res64: 23DD63E38C8A15FC Time : 0.0 sec. user=mdettweiler [2018-05-13 17:35:20] 769*2^1509631-1 is not prime. Res64: 6721B2E9D0C3EA66 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:35:20] 843*2^1509631-1 is not prime. Res64: 48242E230637B96F Time : 0.0 sec. user=mdettweiler [2018-05-13 17:46:20] 885*2^1509631-1 is not prime. Res64: A9E462E9EE947F21 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:46:21] 717*2^1509632-1 is not prime. Res64: 0247ADF1000C3E6B Time : 0.0 sec. user=mdettweiler [2018-05-13 17:46:21] 797*2^1509632-1 is not prime. Res64: 7578C1426FD58F74 Time : 0.0 sec. user=mdettweiler [2018-05-13 17:46:21] 813*2^1509632-1 is not prime. Res64: 84D4E3C2E314F95A Time : 0.0 sec. user=mdettweiler [2018-05-13 17:46:22] 977*2^1509632-1 is not prime. Res64: 91AC314F6E2B4F51 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:01:59] 625*2^1509633-1 is not prime. Res64: BA5293BB53DA9BD1 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:02:01] 747*2^1509633-1 is not prime. Res64: 550C2B6440CF762E Time : 0.0 sec. user=mdettweiler [2018-05-13 18:02:02] 769*2^1509633-1 is not prime. Res64: 18C8ACE3153B890B Time : 0.0 sec. user=mdettweiler [2018-05-13 18:02:03] 817*2^1509633-1 is not prime. Res64: 4F37CE03746B19DF Time : 0.0 sec. user=mdettweiler [2018-05-13 18:02:04] 867*2^1509633-1 is not prime. Res64: 044505B6AE9CDC8E Time : 0.0 sec. user=mdettweiler [2018-05-13 18:25:49] 915*2^1509633-1 is not prime. Res64: C9AFEAFEAD49129A Time : 0.0 sec. user=mdettweiler [2018-05-13 18:25:49] 937*2^1509633-1 is not prime. Res64: 04F9DEFF52BF6FC9 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:25:50] 605*2^1509634-1 is not prime. Res64: F9C75E4D75364863 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:25:50] 651*2^1509634-1 is not prime. Res64: 5DE27A8008352602 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:25:51] 671*2^1509634-1 is not prime. Res64: 0EA7CB2380F89E29 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:27:05] 971*2^1509634-1 is not prime. Res64: 756D96A30C3CC409 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:27:06] 651*2^1509635-1 is not prime. Res64: B2D30FE4CE2112FA Time : 0.0 sec. user=mdettweiler [2018-05-13 18:27:06] 825*2^1509635-1 is not prime. Res64: 8E95B0072D5D313A Time : 0.0 sec. user=mdettweiler [2018-05-13 18:27:07] 841*2^1509635-1 is not prime. Res64: AC71E5070D19963F Time : 0.0 sec. user=mdettweiler [2018-05-13 18:27:07] 885*2^1509635-1 is not prime. Res64: A11F123C41A370E0 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:37:31] 909*2^1509635-1 is not prime. Res64: 1C1EBCD1528DF3AC Time : 0.0 sec. user=mdettweiler [2018-05-13 18:37:31] 693*2^1509636-1 is not prime. Res64: 6AC3515777C41FAB Time : 0.0 sec. user=mdettweiler [2018-05-13 18:37:32] 759*2^1509636-1 is not prime. Res64: F1BE2DBE5067348A Time : 0.0 sec. user=mdettweiler [2018-05-13 18:37:33] 803*2^1509636-1 is not prime. Res64: E131F977A1E34CA3 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:37:33] 893*2^1509636-1 is not prime. Res64: 791C5AEDF60555F7 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:55:29] 945*2^1509636-1 is not prime. Res64: 03652D756C05F979 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:55:29] 999*2^1509636-1 is not prime. Res64: 5EE939A4E8CDB477 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:55:30] 667*2^1509637-1 is not prime. Res64: E5ECA7565303E3CC Time : 0.0 sec. user=mdettweiler [2018-05-13 18:55:30] 727*2^1509637-1 is not prime. Res64: 3DACE0B2A3DA5D99 Time : 0.0 sec. user=mdettweiler [2018-05-13 18:55:31] 961*2^1509637-1 is not prime. Res64: 9904E0E364C26783 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:16:31] 623*2^1509638-1 is not prime. Res64: 9F70D08F1376AD98 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:16:32] 755*2^1509638-1 is not prime. Res64: C6F022624E47F107 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:16:33] 977*2^1509638-1 is not prime. Res64: DE9CD3E39B8DE41A Time : 0.0 sec. user=mdettweiler [2018-05-13 19:16:33] 649*2^1509639-1 is not prime. Res64: 9DF436875694A755 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:16:34] 751*2^1509639-1 is not prime. Res64: 144F37969DA057D0 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:17:48] 859*2^1509639-1 is not prime. Res64: 8904961C0CBE575E Time : 0.0 sec. user=mdettweiler [2018-05-13 19:17:49] 961*2^1509639-1 is not prime. Res64: 382C7C233D4D787B Time : 0.0 sec. user=mdettweiler [2018-05-13 19:17:49] 623*2^1509640-1 is not prime. Res64: 81213F85EC5111A1 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:17:50] 785*2^1509640-1 is not prime. Res64: 7F3C5C0B4A480751 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:17:50] 845*2^1509640-1 is not prime. Res64: 1C64EC881F3D7C01 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:28:22] 857*2^1509640-1 is not prime. Res64: E4B5C01CB27BF4C1 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:28:24] 939*2^1509640-1 is not prime. Res64: B404929DA483BA45 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:28:26] 637*2^1509641-1 is not prime. Res64: 4F45DD51F4FF26EC Time : 0.0 sec. user=mdettweiler [2018-05-13 19:28:28] 675*2^1509641-1 is not prime. Res64: A9EEE31A5E4E922C Time : 0.0 sec. user=mdettweiler [2018-05-13 19:28:29] 745*2^1509641-1 is not prime. Res64: EFA075F2DBC8CD3D Time : 0.0 sec. user=mdettweiler [2018-05-13 19:46:54] 829*2^1509641-1 is not prime. Res64: 984B04A61EDE36A4 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:46:55] 865*2^1509641-1 is not prime. Res64: 229F8C472D59C101 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:46:55] 867*2^1509641-1 is not prime. Res64: 02E5BF5E82A888F5 Time : 0.0 sec. user=mdettweiler [2018-05-13 19:46:55] 967*2^1509641-1 is not prime. Res64: D4DA569589FBDEDB Time : 0.0 sec. user=mdettweiler [2018-05-13 19:46:56] 981*2^1509641-1 is not prime. Res64: 3D3CF1B49CF1757B Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:17] 717*2^1509642-1 is not prime. Res64: C77477E224E74A6F Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:19] 801*2^1509642-1 is not prime. Res64: FF14BC9CFA9E89FA Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:20] 807*2^1509642-1 is not prime. Res64: 00A8D0C4241F3AA0 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:21] 815*2^1509642-1 is not prime. Res64: 8FAD11FDCCED989D Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:22] 833*2^1509642-1 is not prime. Res64: 3DAC4C6C675E543E Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:42] 923*2^1509642-1 is not prime. Res64: 921CDA58D139A1FD Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:43] 947*2^1509642-1 is not prime. Res64: 8419CCC224248570 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:43] 983*2^1509642-1 is not prime. Res64: AF61C6F2EB22F0A7 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:44] 663*2^1509643-1 is not prime. Res64: 3801BE7B1609E9BC Time : 0.0 sec. user=mdettweiler [2018-05-13 20:08:45] 793*2^1509643-1 is not prime. Res64: 19603B6A6906DACC Time : 0.0 sec. user=mdettweiler [2018-05-13 20:18:44] 939*2^1509643-1 is not prime. Res64: 0BA243679C5EB779 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:18:45] 973*2^1509643-1 is not prime. Res64: 13E39E303A4FE52A Time : 0.0 sec. user=mdettweiler [2018-05-13 20:18:45] 635*2^1509644-1 is not prime. Res64: 72A618A8E72C1DF7 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:18:46] 663*2^1509644-1 is not prime. Res64: C2B41306CBDE5F8C Time : 0.0 sec. user=mdettweiler [2018-05-13 20:18:46] 687*2^1509644-1 is not prime. Res64: 2CD6E65677B7D407 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:37:58] 719*2^1509644-1 is not prime. Res64: 6FA13A7CBB3061C1 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:37:58] 759*2^1509644-1 is not prime. Res64: E91423910C329AA2 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:37:59] 909*2^1509644-1 is not prime. Res64: 77A8614D65F42438 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:37:59] 651*2^1509645-1 is not prime. Res64: 097CEF5A34EB0115 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:37:59] 667*2^1509645-1 is not prime. Res64: 3FB49B7B7EFFCB8B Time : 0.0 sec. user=mdettweiler [2018-05-13 20:58:36] 679*2^1509645-1 is not prime. Res64: 327D18811808C53E Time : 0.0 sec. user=mdettweiler [2018-05-13 20:58:36] 699*2^1509645-1 is not prime. Res64: 4CDC44ECF012C505 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:58:37] 949*2^1509645-1 is not prime. Res64: 841B3523FCE0CA5D Time : 0.0 sec. user=mdettweiler [2018-05-13 20:58:38] 951*2^1509645-1 is not prime. Res64: 283B86D1CE5D5BF5 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:58:39] 603*2^1509646-1 is not prime. Res64: C48ABD203F4D5489 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:59:16] 635*2^1509646-1 is not prime. Res64: FF9E0CA9524EA257 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:59:17] 675*2^1509646-1 is not prime. Res64: 06D54915F233CCFF Time : 0.0 sec. user=mdettweiler [2018-05-13 20:59:18] 917*2^1509646-1 is not prime. Res64: A4ED6FC9C6559D58 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:59:18] 945*2^1509646-1 is not prime. Res64: 5BA9A419ABC01459 Time : 0.0 sec. user=mdettweiler [2018-05-13 20:59:18] 965*2^1509646-1 is not prime. Res64: 9E0C8E6A0C64E6A5 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:09:38] 971*2^1509646-1 is not prime. Res64: 67CA79A43A048433 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:09:39] 983*2^1509646-1 is not prime. Res64: 9016A111ABEBAD0B Time : 0.0 sec. user=mdettweiler [2018-05-13 21:09:40] 987*2^1509646-1 is not prime. Res64: 17422210209F467A Time : 0.0 sec. user=mdettweiler [2018-05-13 21:09:41] 1001*2^1509646-1 is not prime. Res64: 0C6A5521CB262DF6 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:09:42] 643*2^1509647-1 is not prime. Res64: 2986AF913DAA9AD1 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:27:59] 645*2^1509647-1 is not prime. Res64: AB84C39DE6E8F2CA Time : 0.0 sec. user=mdettweiler [2018-05-13 21:28:00] 655*2^1509647-1 is not prime. Res64: BF435F6A82377E51 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:28:00] 663*2^1509647-1 is not prime. Res64: 527F493A2C7D5CF3 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:28:00] 685*2^1509647-1 is not prime. Res64: 6F25E2B15DB6F364 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:28:01] 823*2^1509647-1 is not prime. Res64: 3B8D54FD8E7333F4 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:48:56] 669*2^1509648-1 is not prime. Res64: 41C0DBAD57CB8C91 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:48:57] 707*2^1509648-1 is not prime. Res64: 6BAA8F7E386891F8 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:48:57] 849*2^1509648-1 is not prime. Res64: 8062460E8065A819 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:48:58] 915*2^1509648-1 is not prime. Res64: 012E19E8A3727DE6 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:48:58] 975*2^1509648-1 is not prime. Res64: 0B4631F156370D1F Time : 0.0 sec. user=mdettweiler [2018-05-13 21:49:36] 771*2^1509649-1 is not prime. Res64: 83ECDBC2773E6409 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:49:36] 817*2^1509649-1 is not prime. Res64: E8FD0D0C32941B69 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:49:37] 831*2^1509649-1 is not prime. Res64: CED3B8A3C94B5552 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:49:37] 877*2^1509649-1 is not prime. Res64: 2081FF19326AC594 Time : 0.0 sec. user=mdettweiler [2018-05-13 21:49:38] 665*2^1509650-1 is not prime. Res64: B452F1BD3208A447 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:01:05] 767*2^1509650-1 is not prime. Res64: E23FCBB385ECF1B4 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:01:07] 791*2^1509650-1 is not prime. Res64: 893528C9F4F29400 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:01:08] 935*2^1509650-1 is not prime. Res64: 9E366D4C9AE47271 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:01:09] 953*2^1509650-1 is not prime. Res64: BE9C771CEB97141C Time : 0.0 sec. user=mdettweiler [2018-05-13 22:01:10] 977*2^1509650-1 is not prime. Res64: 09F3DA8202511B13 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:19:42] 741*2^1509651-1 is not prime. Res64: 6491523F2A94F757 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:19:43] 745*2^1509651-1 is not prime. Res64: 466367F40F25E4F9 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:19:43] 795*2^1509651-1 is not prime. Res64: E119D213C7AE6A9B Time : 0.0 sec. user=mdettweiler [2018-05-13 22:19:44] 951*2^1509651-1 is not prime. Res64: 3EE6FB1887BC1C5E Time : 0.0 sec. user=mdettweiler [2018-05-13 22:19:44] 639*2^1509652-1 is not prime. Res64: 791A209CE5450C3D Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:01] 855*2^1509652-1 is not prime. Res64: F4DB911373B4C07D Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:01] 929*2^1509652-1 is not prime. Res64: 14F5D502943D6D32 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:02] 965*2^1509652-1 is not prime. Res64: 30EE8B35627F69D1 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:02] 983*2^1509652-1 is not prime. Res64: 17FE418B159BCE9B Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:03] 995*2^1509652-1 is not prime. Res64: 0C4A7D7850480345 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:45] 685*2^1509653-1 is not prime. Res64: 760A438EF038BDF0 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:45] 691*2^1509653-1 is not prime. Res64: 8C0BBF5B6F3AD71F Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:46] 745*2^1509653-1 is not prime. Res64: 8970962CD14CB596 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:46] 801*2^1509653-1 is not prime. Res64: 35ECCA952D8D6771 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:40:46] 879*2^1509653-1 is not prime. Res64: C394C37F8D5FC2F6 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:52:26] 925*2^1509653-1 is not prime. Res64: D2957F552B416391 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:52:26] 937*2^1509653-1 is not prime. Res64: CBDE6075B4AA485D Time : 0.0 sec. user=mdettweiler [2018-05-13 22:52:27] 951*2^1509653-1 is not prime. Res64: 4FBEB4E987E88511 Time : 0.0 sec. user=mdettweiler [2018-05-13 22:52:27] 987*2^1509653-1 is not prime. Res64: 1C24200235A5FBAC Time : 0.0 sec. user=mdettweiler [2018-05-13 22:52:27] 611*2^1509654-1 is not prime. Res64: 5BE008CE5B9B2A38 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:09:57] 677*2^1509654-1 is not prime. Res64: E500794A91108020 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:09:58] 683*2^1509654-1 is not prime. Res64: 410CF665BAF97F4A Time : 0.0 sec. user=mdettweiler [2018-05-13 23:09:58] 705*2^1509654-1 is not prime. Res64: EB5B72D289CFD98A Time : 0.0 sec. user=mdettweiler [2018-05-13 23:09:59] 707*2^1509654-1 is not prime. Res64: 7AD3127A51587108 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:10:00] 717*2^1509654-1 is not prime. Res64: 894A8C3669EB3B0E Time : 0.0 sec. user=mdettweiler [2018-05-13 23:31:48] 851*2^1509654-1 is not prime. Res64: FBBC17313228AE7B Time : 0.0 sec. user=mdettweiler [2018-05-13 23:31:49] 893*2^1509654-1 is not prime. Res64: 775F7CF9BC9E1D46 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:31:49] 947*2^1509654-1 is not prime. Res64: 95940028F30A721E Time : 0.0 sec. user=mdettweiler [2018-05-13 23:31:50] 773*2^1509656-1 is not prime. Res64: FE755AA2FC848D4A Time : 0.0 sec. user=mdettweiler [2018-05-13 23:31:51] 815*2^1509656-1 is not prime. Res64: 21CEA32AB5EDC0C9 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:32:25] 969*2^1509656-1 is not prime. Res64: A20C58DD137896F1 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:32:26] 993*2^1509656-1 is not prime. Res64: 036B65621CFC3341 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:32:26] 999*2^1509656-1 is not prime. Res64: 1AEB79C41FCE28FA Time : 0.0 sec. user=mdettweiler [2018-05-13 23:32:26] 669*2^1509657-1 is not prime. Res64: D0B8FD888ECC1201 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:32:27] 765*2^1509657-1 is not prime. Res64: 5B44F4B1E9ACF9AF Time : 0.0 sec. user=mdettweiler [2018-05-13 23:43:40] 777*2^1509657-1 is not prime. Res64: 3E03D521FC34FFFB Time : 0.0 sec. user=mdettweiler [2018-05-13 23:43:40] 831*2^1509657-1 is not prime. Res64: 4F6B0546CA846F73 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:43:40] 885*2^1509657-1 is not prime. Res64: 7B490A0D55634583 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:43:41] 605*2^1509658-1 is not prime. Res64: BFA0EC1FB331E3A6 Time : 0.0 sec. user=mdettweiler [2018-05-13 23:43:41] 663*2^1509658-1 is not prime. Res64: FA2B054589A9AC06 Time : 0.0 sec. user=mdettweiler [2018-05-14 00:00:27] 681*2^1509658-1 is not prime. Res64: B578D0C0FE93875D Time : 0.0 sec. user=mdettweiler [2018-05-14 00:00:28] 777*2^1509658-1 is not prime. Res64: 6F1634C082CC2111 Time : 0.0 sec. user=mdettweiler [2018-05-14 00:00:29] 845*2^1509658-1 is not prime. Res64: 8D7A82F6B2E7C5A4 Time : 0.0 sec. user=mdettweiler [2018-05-14 00:00:29] 945*2^1509658-1 is not prime. Res64: 152A1725C3BBDBC9 Time : 0.0 sec. user=mdettweiler [2018-05-14 00:00:29] 987*2^1509658-1 is not prime. Res64: 1C481F3AA4EC0A98 Time : 0.0 sec.