user=mdettweiler [2016-04-27 00:24:07] 987*2^1427485-1 is not prime. Res64: E2FC70FDF4CCFA01 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:07] 773*2^1427486-1 is not prime. Res64: F182B1E3B2065EBC Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:08] 867*2^1427486-1 is not prime. Res64: DB9BB7F4B84CD7C8 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:08] 921*2^1427486-1 is not prime. Res64: C0FD43C978A18DD3 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:09] 945*2^1427486-1 is not prime. Res64: 47C642A0DC55D131 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:20] 709*2^1427487-1 is not prime. Res64: C881281115CA87B5 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:20] 793*2^1427487-1 is not prime. Res64: 64E47FF27BFF3671 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:21] 871*2^1427487-1 is not prime. Res64: 0F8429526EE80466 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:21] 873*2^1427487-1 is not prime. Res64: 25B82FEF4360EF69 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:24:22] 677*2^1427488-1 is not prime. Res64: 21B7B164F229A5E3 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:40:34] 803*2^1427488-1 is not prime. Res64: 784EBF6298F7E0F9 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:40:35] 839*2^1427488-1 is not prime. Res64: E9F08B3715DECBBB Time : 0.0 sec. user=mdettweiler [2016-04-27 00:40:35] 909*2^1427488-1 is not prime. Res64: 039328132818B2D1 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:40:36] 933*2^1427488-1 is not prime. Res64: 1C32CB530CE05D42 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:40:36] 947*2^1427488-1 is not prime. Res64: 54430D1EC825BDBC Time : 0.0 sec. user=mdettweiler [2016-04-27 00:42:11] 969*2^1427488-1 is not prime. Res64: 86529574BD59BC8A Time : 0.0 sec. user=mdettweiler [2016-04-27 00:42:11] 615*2^1427489-1 is not prime. Res64: 34C14248093B68E4 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:42:12] 619*2^1427489-1 is not prime. Res64: C53362735593893B Time : 0.0 sec. user=mdettweiler [2016-04-27 00:42:12] 741*2^1427489-1 is not prime. Res64: 700B5759AA19A352 Time : 0.0 sec. user=mdettweiler [2016-04-27 00:42:13] 909*2^1427489-1 is not prime. Res64: 53ADEE70184EA1F8 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:08:57] 931*2^1427489-1 is not prime. Res64: DE1BF96ED1037EC7 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:08:57] 677*2^1427490-1 is not prime. Res64: 281C02F02EC30A7B Time : 0.0 sec. user=mdettweiler [2016-04-27 01:08:58] 783*2^1427490-1 is not prime. Res64: CF894170E97905F9 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:08:58] 891*2^1427490-1 is not prime. Res64: EE8735188024CDA2 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:08:59] 609*2^1427491-1 is not prime. Res64: 36B04EF9F0DCACFC Time : 0.0 sec. user=mdettweiler [2016-04-27 01:09:17] 673*2^1427491-1 is not prime. Res64: 179398906CE60708 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:09:18] 775*2^1427491-1 is not prime. Res64: F0848DEBC6D20786 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:09:18] 819*2^1427491-1 is not prime. Res64: 1B140B4A760FE7A8 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:09:18] 891*2^1427491-1 is not prime. Res64: 9A2F580EC4FB8806 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:09:19] 901*2^1427491-1 is not prime. Res64: 1D2B4EA945AE63DC Time : 0.0 sec. user=mdettweiler [2016-04-27 01:26:17] 961*2^1427491-1 is not prime. Res64: C2E1DCD22108AEB7 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:26:18] 969*2^1427491-1 is not prime. Res64: 5791675123523926 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:26:19] 973*2^1427491-1 is not prime. Res64: DABD0BD3AA322203 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:26:20] 605*2^1427492-1 is not prime. Res64: 333D0CF991977958 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:26:21] 687*2^1427492-1 is not prime. Res64: 95D1172E743FACE7 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:28:19] 873*2^1427492-1 is not prime. Res64: A8A2DC29A8D961E6 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:28:20] 893*2^1427492-1 is not prime. Res64: 0739A2DA7F34239E Time : 0.0 sec. user=mdettweiler [2016-04-27 01:28:21] 903*2^1427492-1 is not prime. Res64: 41B56DCE4F8FB9F7 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:28:22] 909*2^1427492-1 is not prime. Res64: 057FD7EF10ADEDCD Time : 0.0 sec. user=mdettweiler [2016-04-27 01:28:22] 923*2^1427492-1 is not prime. Res64: B15E98B6A7569B82 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:07] 691*2^1427493-1 is not prime. Res64: 5AFD18689FE4C369 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:08] 741*2^1427493-1 is not prime. Res64: C6D2C2A4A7A2EF18 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:08] 745*2^1427493-1 is not prime. Res64: E53EEAAB1ADAC95B Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:08] 759*2^1427493-1 is not prime. Res64: 6DF6DF802C2CF865 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:09] 795*2^1427493-1 is not prime. Res64: BBF612287C58B72F Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:34] 919*2^1427493-1 is not prime. Res64: BB165D63056ABD55 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:35] 611*2^1427494-1 is not prime. Res64: EECA96FCC1CA5C65 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:35] 617*2^1427494-1 is not prime. Res64: 6FA1019246B76841 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:36] 657*2^1427494-1 is not prime. Res64: 4EBB28F37660E648 Time : 0.0 sec. user=mdettweiler [2016-04-27 01:55:36] 723*2^1427494-1 is not prime. Res64: AA2788C928DCD78C Time : 0.0 sec. user=mdettweiler [2016-04-27 02:11:23] 827*2^1427494-1 is not prime. Res64: EC610FCF1EDC309D Time : 0.0 sec. user=mdettweiler [2016-04-27 02:11:24] 833*2^1427494-1 is not prime. Res64: 208626AB3CB5DA85 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:11:25] 947*2^1427494-1 is not prime. Res64: F53E33389C0564D0 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:11:25] 1001*2^1427494-1 is not prime. Res64: 4FD0CA6A19B640CB Time : 0.0 sec. user=mdettweiler [2016-04-27 02:11:26] 603*2^1427495-1 is not prime. Res64: 932B742A23EA7D3D Time : 0.0 sec. user=mdettweiler [2016-04-27 02:13:20] 645*2^1427495-1 is not prime. Res64: 5A70CFB7C421ED57 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:13:20] 685*2^1427495-1 is not prime. Res64: 3EA9F38BFB4DEDCE Time : 0.0 sec. user=mdettweiler [2016-04-27 02:13:20] 825*2^1427495-1 is not prime. Res64: D13A7E22704DE955 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:13:21] 963*2^1427495-1 is not prime. Res64: 22DEA7A34A0F493E Time : 0.0 sec. user=mdettweiler [2016-04-27 02:13:21] 609*2^1427496-1 is not prime. Res64: 2F96062CDA31CD77 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:07] 669*2^1427496-1 is not prime. Res64: 164D4DA7C4A9FC97 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:08] 707*2^1427496-1 is not prime. Res64: 0612BF154865F5BF Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:08] 759*2^1427496-1 is not prime. Res64: E28C9137397E5872 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:09] 765*2^1427496-1 is not prime. Res64: 9FD75F3932D30158 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:09] 857*2^1427496-1 is not prime. Res64: B3598FD63ABE1E1D Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:34] 903*2^1427496-1 is not prime. Res64: B65185A4FA8FF8C7 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:34] 975*2^1427496-1 is not prime. Res64: 539C20961EFD6069 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:35] 691*2^1427497-1 is not prime. Res64: 2F765BEA7ABCB6F3 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:35] 867*2^1427497-1 is not prime. Res64: 600D4C54620A08C8 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:40:35] 897*2^1427497-1 is not prime. Res64: 4833579ABE5BA98E Time : 0.0 sec. user=mdettweiler [2016-04-27 02:56:33] 633*2^1427498-1 is not prime. Res64: 8A56DECDB824CF14 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:56:33] 677*2^1427498-1 is not prime. Res64: 85A408B45BB28388 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:56:33] 813*2^1427498-1 is not prime. Res64: 39B75036613972F9 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:56:34] 861*2^1427498-1 is not prime. Res64: E6F17BF2B26EB8AC Time : 0.0 sec. user=mdettweiler [2016-04-27 02:56:34] 935*2^1427498-1 is not prime. Res64: 090C10EAFE39F002 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:58:24] 941*2^1427498-1 is not prime. Res64: B701EED35782AC63 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:58:24] 971*2^1427498-1 is not prime. Res64: 7B430A8964D77E6D Time : 0.0 sec. user=mdettweiler [2016-04-27 02:58:25] 769*2^1427499-1 is not prime. Res64: 431560292A01878E Time : 0.0 sec. user=mdettweiler [2016-04-27 02:58:25] 825*2^1427499-1 is not prime. Res64: D91E05712D040487 Time : 0.0 sec. user=mdettweiler [2016-04-27 02:58:25] 895*2^1427499-1 is not prime. Res64: 171DE84D52DEFF7E Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:00] 921*2^1427499-1 is not prime. Res64: BE91EC79B38234CF Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:01] 603*2^1427500-1 is not prime. Res64: 907A635B74AB288E Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:02] 615*2^1427500-1 is not prime. Res64: B57DE5F562E928C0 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:03] 819*2^1427500-1 is not prime. Res64: 884DF5F8D7D9ED83 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:03] 649*2^1427501-1 is not prime. Res64: 9A1C8E961A710D0C Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:22] 745*2^1427501-1 is not prime. Res64: DD4FC2D1C563CC3C Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:23] 769*2^1427501-1 is not prime. Res64: 2399761DE354112E Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:24] 799*2^1427501-1 is not prime. Res64: 7CC29FB643844238 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:25] 801*2^1427501-1 is not prime. Res64: DB83FD813A4AC892 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:25:26] 811*2^1427501-1 is not prime. Res64: 1DA2D7306AE12A54 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:41:28] 825*2^1427501-1 is not prime. Res64: 8C3F28161B06469C Time : 0.0 sec. user=mdettweiler [2016-04-27 03:41:30] 925*2^1427501-1 is not prime. Res64: 2E96DC033C518F3E Time : 0.0 sec. user=mdettweiler [2016-04-27 03:41:31] 991*2^1427501-1 is not prime. Res64: F3D35BB5DB05A1E7 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:41:31] 627*2^1427502-1 is not prime. Res64: 220A8AB5D06FDA0D Time : 0.0 sec. user=mdettweiler [2016-04-27 03:41:32] 731*2^1427502-1 is not prime. Res64: B4BBB6F6043A546D Time : 0.0 sec. user=mdettweiler [2016-04-27 03:43:18] 833*2^1427502-1 is not prime. Res64: F3EA0BC4E0CD057F Time : 0.0 sec. user=mdettweiler [2016-04-27 03:43:20] 965*2^1427502-1 is not prime. Res64: A917EAA4FF61571E Time : 0.0 sec. user=mdettweiler [2016-04-27 03:43:20] 619*2^1427503-1 is not prime. Res64: 6250303FEEB1CA15 Time : 0.0 sec. user=mdettweiler [2016-04-27 03:43:21] 705*2^1427503-1 is not prime. Res64: 0FBC1597DCAF78EF Time : 0.0 sec. user=mdettweiler [2016-04-27 03:43:22] 751*2^1427503-1 is not prime. Res64: CC0BF67F561A04C7 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:10:59] 765*2^1427503-1 is not prime. Res64: 6F7D802C65DA9459 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:11:00] 789*2^1427503-1 is not prime. Res64: 440AAEF9123DCBAD Time : 0.0 sec. user=mdettweiler [2016-04-27 04:11:00] 873*2^1427503-1 is not prime. Res64: DC2BBA9542A0B0D4 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:11:01] 885*2^1427503-1 is not prime. Res64: 8D962F668FA5D902 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:11:01] 943*2^1427503-1 is not prime. Res64: C86FCD976A6361D5 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:12:00] 985*2^1427503-1 is not prime. Res64: 423CE41EAB557B48 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:12:01] 993*2^1427503-1 is not prime. Res64: 8285A7E60E12D3D1 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:12:01] 999*2^1427503-1 is not prime. Res64: F59305F700E0FBA1 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:12:02] 609*2^1427504-1 is not prime. Res64: 30AB0F69398A8D2A Time : 0.0 sec. user=mdettweiler [2016-04-27 04:12:02] 635*2^1427504-1 is not prime. Res64: 835F31A97D457A2D Time : 0.0 sec. user=mdettweiler [2016-04-27 04:27:30] 659*2^1427504-1 is not prime. Res64: 2ED041E752CA9B4B Time : 0.0 sec. user=mdettweiler [2016-04-27 04:27:30] 747*2^1427504-1 is not prime. Res64: C6CE7B8FFD72C66C Time : 0.0 sec. user=mdettweiler [2016-04-27 04:27:30] 755*2^1427504-1 is not prime. Res64: F09E18A0A80DC30F Time : 0.0 sec. user=mdettweiler [2016-04-27 04:27:31] 813*2^1427504-1 is not prime. Res64: 2A548A6D47582323 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:27:31] 917*2^1427504-1 is not prime. Res64: 2218B2BF5ED63B31 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:28:58] 995*2^1427504-1 is not prime. Res64: E43C3B8FA43E2087 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:28:59] 795*2^1427505-1 is not prime. Res64: 57A71574A756A770 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:28:59] 937*2^1427505-1 is not prime. Res64: F2EB33C5F53B1590 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:28:59] 999*2^1427505-1 is not prime. Res64: 710C99F5CB93241B Time : 0.0 sec. user=mdettweiler [2016-04-27 04:29:00] 657*2^1427506-1 is not prime. Res64: 5DA7E2EC52BB4A2A Time : 0.0 sec. user=mdettweiler [2016-04-27 04:56:06] 663*2^1427506-1 is not prime. Res64: E1AA676092D0D370 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:56:07] 743*2^1427506-1 is not prime. Res64: 3BDAFA3630443924 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:56:07] 843*2^1427506-1 is not prime. Res64: 30E6AB8C36D3D6C5 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:56:07] 867*2^1427506-1 is not prime. Res64: F7ED107FF3550DA4 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:56:08] 911*2^1427506-1 is not prime. Res64: 4383C4B59FC35F85 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:57:10] 945*2^1427506-1 is not prime. Res64: 94A2B9BE5C269599 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:57:11] 669*2^1427507-1 is not prime. Res64: 1C7A15C5A81A006D Time : 0.0 sec. user=mdettweiler [2016-04-27 04:57:11] 673*2^1427507-1 is not prime. Res64: F71D68F957D93967 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:57:12] 675*2^1427507-1 is not prime. Res64: 7EE73DF7A9FC16D7 Time : 0.0 sec. user=mdettweiler [2016-04-27 04:57:12] 693*2^1427507-1 is not prime. Res64: 39882225A8FC0C1C Time : 0.0 sec. user=mdettweiler [2016-04-27 05:12:45] 735*2^1427507-1 is not prime. Res64: 2E20E5D8271B7D87 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:12:46] 741*2^1427507-1 is not prime. Res64: CC4BEE082F5F7AD2 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:12:46] 799*2^1427507-1 is not prime. Res64: 912FADBAEBE24264 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:12:46] 859*2^1427507-1 is not prime. Res64: 707F4EEED668CFC5 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:12:47] 885*2^1427507-1 is not prime. Res64: F0E8227D29F53B6F Time : 0.0 sec. user=mdettweiler [2016-04-27 05:14:05] 889*2^1427507-1 is not prime. Res64: 724341DD1B37AFCB Time : 0.0 sec. user=mdettweiler [2016-04-27 05:14:05] 913*2^1427507-1 is not prime. Res64: AB49BBD8C570068F Time : 0.0 sec. user=mdettweiler [2016-04-27 05:14:06] 955*2^1427507-1 is not prime. Res64: 3CC23D1735008B48 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:14:06] 963*2^1427507-1 is not prime. Res64: 3C5CF952D1147A0E Time : 0.0 sec. user=mdettweiler [2016-04-27 05:14:06] 707*2^1427508-1 is not prime. Res64: A53E009758E55DF5 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:41:21] 737*2^1427508-1 is not prime. Res64: CB24D8A734589BBC Time : 0.0 sec. user=mdettweiler [2016-04-27 05:41:22] 845*2^1427508-1 is not prime. Res64: F3481BFF1C38A4C0 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:41:22] 887*2^1427508-1 is not prime. Res64: 861084089870C01C Time : 0.0 sec. user=mdettweiler [2016-04-27 05:41:22] 899*2^1427508-1 is not prime. Res64: F77155D6C6421B58 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:41:23] 957*2^1427508-1 is not prime. Res64: 753CF48EA3204C37 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:42:19] 661*2^1427509-1 is not prime. Res64: 700A4DFBE2FCDDCE Time : 0.0 sec. user=mdettweiler [2016-04-27 05:42:20] 729*2^1427509-1 is not prime. Res64: 17F9B62651ADBC09 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:42:20] 741*2^1427509-1 is not prime. Res64: E3A7C89F06575AFF Time : 0.0 sec. user=mdettweiler [2016-04-27 05:42:21] 801*2^1427509-1 is not prime. Res64: 4BCC266650C026C6 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:42:21] 811*2^1427509-1 is not prime. Res64: F6CF8424E62F16ED Time : 0.0 sec. user=mdettweiler [2016-04-27 05:57:58] 817*2^1427509-1 is not prime. Res64: FD5C42EBACB04087 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:57:58] 861*2^1427509-1 is not prime. Res64: 7E103A9B9BD5C772 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:57:58] 931*2^1427509-1 is not prime. Res64: 59ACEC008FFBEE27 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:57:59] 939*2^1427509-1 is not prime. Res64: 3474FD140D2F4DAC Time : 0.0 sec. user=mdettweiler [2016-04-27 05:57:59] 675*2^1427510-1 is not prime. Res64: 39C59BEFC09126D4 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:59:24] 741*2^1427510-1 is not prime. Res64: 4D8196FB0816916A Time : 0.0 sec. user=mdettweiler [2016-04-27 05:59:24] 747*2^1427510-1 is not prime. Res64: FC04B663CD8351B5 Time : 0.0 sec. user=mdettweiler [2016-04-27 05:59:25] 791*2^1427510-1 is not prime. Res64: 2945333706CF10DE Time : 0.0 sec. user=mdettweiler [2016-04-27 05:59:25] 801*2^1427510-1 is not prime. Res64: 5FD0213ABD9FC73F Time : 0.0 sec. user=mdettweiler [2016-04-27 05:59:25] 827*2^1427510-1 is not prime. Res64: 330750E6830B8A5B Time : 0.0 sec. user=mdettweiler [2016-04-27 06:26:35] 851*2^1427510-1 is not prime. Res64: 4B3566389A848CC3 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:26:36] 893*2^1427510-1 is not prime. Res64: C8B77DAB81B68E13 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:26:36] 951*2^1427510-1 is not prime. Res64: 01EAD9F59A175A4D Time : 0.0 sec. user=mdettweiler [2016-04-27 06:26:37] 987*2^1427510-1 is not prime. Res64: 21919946898CD1DB Time : 0.0 sec. user=mdettweiler [2016-04-27 06:26:37] 1001*2^1427510-1 is not prime. Res64: 81EB5DCA238996F4 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:27:29] 615*2^1427511-1 is not prime. Res64: 480B33CF625B6B21 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:27:29] 619*2^1427511-1 is not prime. Res64: 75DA613DF2DCFF44 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:27:30] 751*2^1427511-1 is not prime. Res64: DB4530A205C31872 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:27:30] 781*2^1427511-1 is not prime. Res64: 0CA198A2FCD7151D Time : 0.0 sec. user=mdettweiler [2016-04-27 06:27:30] 823*2^1427511-1 is not prime. Res64: C8767DE55C6495FA Time : 0.0 sec. user=mdettweiler [2016-04-27 06:43:10] 969*2^1427511-1 is not prime. Res64: 8C145EF93A812081 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:43:11] 615*2^1427512-1 is not prime. Res64: 27A66D6B0CBAEB31 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:43:11] 629*2^1427512-1 is not prime. Res64: 613D5BFBE9047044 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:43:11] 719*2^1427512-1 is not prime. Res64: 37768A183A8C3A37 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:43:12] 827*2^1427512-1 is not prime. Res64: 2685CE7EE649B9B2 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:44:25] 995*2^1427512-1 is not prime. Res64: 0EBC84A6A2711854 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:44:25] 847*2^1427513-1 is not prime. Res64: A175339390E723D9 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:44:26] 889*2^1427513-1 is not prime. Res64: A4B6B4FE2869DBF8 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:44:26] 979*2^1427513-1 is not prime. Res64: 1F5B63BCE9813D41 Time : 0.0 sec. user=mdettweiler [2016-04-27 06:44:26] 987*2^1427513-1 is not prime. Res64: A75EDFB1EB76487C Time : 0.0 sec. user=mdettweiler [2016-04-27 07:11:40] 681*2^1427514-1 is not prime. Res64: DAA87A8E25373341 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:11:40] 807*2^1427514-1 is not prime. Res64: A25B00A73F5D2DCE Time : 0.0 sec. user=mdettweiler [2016-04-27 07:11:41] 833*2^1427514-1 is not prime. Res64: 39240027BE74445E Time : 0.0 sec. user=mdettweiler [2016-04-27 07:11:41] 837*2^1427514-1 is not prime. Res64: 76AFB48495CA13D0 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:11:42] 927*2^1427514-1 is not prime. Res64: 5F73A09F169DFDC1 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:12:39] 951*2^1427514-1 is not prime. Res64: D69C1BA58AEED55D Time : 0.0 sec. user=mdettweiler [2016-04-27 07:12:39] 983*2^1427514-1 is not prime. Res64: 1B16A8130C768A6B Time : 0.0 sec. user=mdettweiler [2016-04-27 07:12:39] 993*2^1427514-1 is not prime. Res64: A7EB6B66A2E7D303 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:12:40] 783*2^1427515-1 is not prime. Res64: 289F9658C997F1A7 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:12:40] 793*2^1427515-1 is not prime. Res64: 8CF6DC734BC81D63 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:28:26] 841*2^1427515-1 is not prime. Res64: 36B0ECD609D8F839 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:28:27] 871*2^1427515-1 is not prime. Res64: B5DB3D07BDFA442D Time : 0.0 sec. user=mdettweiler [2016-04-27 07:28:27] 885*2^1427515-1 is not prime. Res64: 16F01DDE291C4DDE Time : 0.0 sec. user=mdettweiler [2016-04-27 07:28:27] 855*2^1427516-1 is not prime. Res64: 7F10F6C94483302A Time : 0.0 sec. user=mdettweiler [2016-04-27 07:28:28] 867*2^1427516-1 is not prime. Res64: D56AC6DD37045275 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:29:42] 879*2^1427516-1 is not prime. Res64: DE40CDA1A49A7329 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:29:43] 899*2^1427516-1 is not prime. Res64: 8B3516480E7A0B47 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:29:43] 945*2^1427516-1 is not prime. Res64: 58FD9B0CDCA7CCEF Time : 0.0 sec. user=mdettweiler [2016-04-27 07:29:43] 983*2^1427516-1 is not prime. Res64: 762E48B861CCF24B Time : 0.0 sec. user=mdettweiler [2016-04-27 07:29:44] 993*2^1427516-1 is not prime. Res64: E632FBB4F072AD00 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:56:55] 691*2^1427517-1 is not prime. Res64: BDD3F4A85EB313E9 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:56:55] 769*2^1427517-1 is not prime. Res64: 234A9252C23B17AD Time : 0.0 sec. user=mdettweiler [2016-04-27 07:56:56] 805*2^1427517-1 is not prime. Res64: F0923B8644B518C5 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:56:56] 847*2^1427517-1 is not prime. Res64: B4DC0EFBE450FD9B Time : 0.0 sec. user=mdettweiler [2016-04-27 07:56:57] 861*2^1427517-1 is not prime. Res64: 6ED3FA1E735D52E2 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:57:47] 603*2^1427518-1 is not prime. Res64: 30B148C49123E619 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:57:47] 713*2^1427518-1 is not prime. Res64: BCA852F2D8F18B8A Time : 0.0 sec. user=mdettweiler [2016-04-27 07:57:47] 815*2^1427518-1 is not prime. Res64: 521959BAC47B03A1 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:57:48] 975*2^1427518-1 is not prime. Res64: 13B30D4C77769B85 Time : 0.0 sec. user=mdettweiler [2016-04-27 07:57:48] 995*2^1427518-1 is not prime. Res64: D9EBA79B739E9C17 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:13:38] 711*2^1427519-1 is not prime. Res64: C413C3584AC8922C Time : 0.0 sec. user=mdettweiler [2016-04-27 08:13:39] 721*2^1427519-1 is not prime. Res64: 7030024BD12873BF Time : 0.0 sec. user=mdettweiler [2016-04-27 08:13:39] 735*2^1427519-1 is not prime. Res64: 975EDA4C5545AB29 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:13:40] 741*2^1427519-1 is not prime. Res64: 690E1BD6903B3FD9 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:13:40] 789*2^1427519-1 is not prime. Res64: 110914D260FF5619 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:14:51] 799*2^1427519-1 is not prime. Res64: A441A9B05B2DA9DE Time : 0.0 sec. user=mdettweiler [2016-04-27 08:14:52] 859*2^1427519-1 is not prime. Res64: 237885045994F950 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:14:52] 861*2^1427519-1 is not prime. Res64: FB11C2B6081C1A2A Time : 0.0 sec. user=mdettweiler [2016-04-27 08:14:53] 955*2^1427519-1 is not prime. Res64: AEA02C690485C0D8 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:14:53] 999*2^1427519-1 is not prime. Res64: F63537707C991846 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:41:57] 675*2^1427520-1 is not prime. Res64: 9A890208CBBC4BF8 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:41:57] 707*2^1427520-1 is not prime. Res64: 374EDD432E21985C Time : 0.0 sec. user=mdettweiler [2016-04-27 08:41:58] 849*2^1427520-1 is not prime. Res64: AAB18FBCCAB6DC1B Time : 0.0 sec. user=mdettweiler [2016-04-27 08:41:58] 863*2^1427520-1 is not prime. Res64: 59C1EB006DF96662 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:41:58] 619*2^1427521-1 is not prime. Res64: E4DE640F6889992E Time : 0.0 sec. user=mdettweiler [2016-04-27 08:42:56] 685*2^1427521-1 is not prime. Res64: 3DBCDF0B21AD5CF7 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:42:56] 691*2^1427521-1 is not prime. Res64: E1850821C429D498 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:42:56] 741*2^1427521-1 is not prime. Res64: 026E66F77B223898 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:42:57] 747*2^1427521-1 is not prime. Res64: B04FB985443B3F61 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:42:57] 789*2^1427521-1 is not prime. Res64: B5F6EE45A680F81D Time : 0.0 sec. user=mdettweiler [2016-04-27 08:58:52] 801*2^1427521-1 is not prime. Res64: E97076D911AA9B72 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:58:52] 807*2^1427521-1 is not prime. Res64: 2A37638186216868 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:58:52] 931*2^1427521-1 is not prime. Res64: 32E7710D992D7368 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:58:53] 975*2^1427521-1 is not prime. Res64: E9A07806CF714001 Time : 0.0 sec. user=mdettweiler [2016-04-27 08:58:53] 635*2^1427522-1 is not prime. Res64: 2B895E3DF2F0C2CD Time : 0.0 sec. user=mdettweiler [2016-04-27 09:00:08] 683*2^1427522-1 is not prime. Res64: 6F07B23230F88CC3 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:00:09] 701*2^1427522-1 is not prime. Res64: B132615EB3CC7429 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:00:09] 705*2^1427522-1 is not prime. Res64: B9195082334E50AC Time : 0.0 sec. user=mdettweiler [2016-04-27 09:00:10] 791*2^1427522-1 is not prime. Res64: B18F0ECB8189ABA6 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:00:10] 827*2^1427522-1 is not prime. Res64: 290535F0DAC8DA1A Time : 0.0 sec. user=mdettweiler [2016-04-27 09:27:12] 875*2^1427522-1 is not prime. Res64: 95CD908CC5B887A4 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:27:13] 643*2^1427523-1 is not prime. Res64: 33E8AA8D26F1B1E6 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:27:13] 691*2^1427523-1 is not prime. Res64: EBB7835D92147F4C Time : 0.0 sec. user=mdettweiler [2016-04-27 09:27:14] 721*2^1427523-1 is not prime. Res64: 79A9494EC60D2422 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:27:14] 835*2^1427523-1 is not prime. Res64: ED31A3B0B4ADE403 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:28:03] 895*2^1427523-1 is not prime. Res64: 1C7C8F4885BB3389 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:28:03] 609*2^1427524-1 is not prime. Res64: D0AA9DB8B4F726B4 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:28:04] 629*2^1427524-1 is not prime. Res64: CF44A89DEEE64446 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:28:04] 675*2^1427524-1 is not prime. Res64: 8EBB4E704A2BB805 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:28:05] 833*2^1427524-1 is not prime. Res64: 5BD06637F048878B Time : 0.0 sec. user=mdettweiler [2016-04-27 09:44:07] 873*2^1427524-1 is not prime. Res64: 5B7D3380D53CFD66 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:44:07] 885*2^1427524-1 is not prime. Res64: 6E811D62B3A4F0A6 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:44:08] 993*2^1427524-1 is not prime. Res64: 49EDF3D2FE375E86 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:44:08] 607*2^1427525-1 is not prime. Res64: 8C2EA84B2AC23EEF Time : 0.0 sec. user=mdettweiler [2016-04-27 09:44:08] 907*2^1427525-1 is not prime. Res64: 30E3ECA349E3551A Time : 0.0 sec. user=mdettweiler [2016-04-27 09:45:21] 939*2^1427525-1 is not prime. Res64: E6D0AC0D8D7921DC Time : 0.0 sec. user=mdettweiler [2016-04-27 09:45:21] 969*2^1427525-1 is not prime. Res64: B0972F357953A5AF Time : 0.0 sec. user=mdettweiler [2016-04-27 09:45:21] 981*2^1427525-1 is not prime. Res64: 66240164207F2579 Time : 0.0 sec. user=mdettweiler [2016-04-27 09:45:22] 705*2^1427526-1 is not prime. Res64: 81D29D48F66B967B Time : 0.0 sec. user=mdettweiler [2016-04-27 09:45:22] 707*2^1427526-1 is not prime. Res64: CE492513DA2D0E41 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:12:14] 711*2^1427526-1 is not prime. Res64: A4522D096B316407 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:12:15] 807*2^1427526-1 is not prime. Res64: 82E9C5B50D232644 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:12:15] 851*2^1427526-1 is not prime. Res64: E29C8CA5DFBA96F8 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:12:16] 891*2^1427526-1 is not prime. Res64: 037B7863AC5F6115 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:12:16] 633*2^1427527-1 is not prime. Res64: 94EB22C77E50A71C Time : 0.0 sec. user=mdettweiler [2016-04-27 10:13:02] 819*2^1427527-1 is not prime. Res64: 2849BBF3C47CC2A4 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:13:03] 883*2^1427527-1 is not prime. Res64: 96C7503B5B6F4053 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:13:03] 961*2^1427527-1 is not prime. Res64: 44B989E90F85710B Time : 0.0 sec. user=mdettweiler [2016-04-27 10:13:04] 993*2^1427527-1 is not prime. Res64: C5A202D8C7EA6C2E Time : 0.0 sec. user=mdettweiler [2016-04-27 10:13:04] 603*2^1427528-1 is not prime. Res64: EEA81CFF2AA197FE Time : 0.0 sec. user=mdettweiler [2016-04-27 10:29:21] 669*2^1427528-1 is not prime. Res64: BFDAA81F88BDF9D2 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:29:22] 767*2^1427528-1 is not prime. Res64: 44A3DD2D35051B8E Time : 0.0 sec. user=mdettweiler [2016-04-27 10:29:22] 795*2^1427528-1 is not prime. Res64: 36C5137916F5D04C Time : 0.0 sec. user=mdettweiler [2016-04-27 10:29:23] 815*2^1427528-1 is not prime. Res64: 245155092F12823A Time : 0.0 sec. user=mdettweiler [2016-04-27 10:29:23] 609*2^1427529-1 is not prime. Res64: CEB755D9D5D23C29 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:30:24] 667*2^1427529-1 is not prime. Res64: E14FB4A9EAADB634 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:30:25] 681*2^1427529-1 is not prime. Res64: 1A1608A602241A86 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:30:26] 711*2^1427529-1 is not prime. Res64: 6EDD32426AB001B5 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:30:26] 877*2^1427529-1 is not prime. Res64: 8D5BF3ED962A5557 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:30:26] 975*2^1427529-1 is not prime. Res64: A5E277750EA072F2 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:57:25] 611*2^1427530-1 is not prime. Res64: BEBADF652CC1BB94 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:57:26] 801*2^1427530-1 is not prime. Res64: 6B39A21EFFC50906 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:57:26] 831*2^1427530-1 is not prime. Res64: F860449CC64F3E6F Time : 0.0 sec. user=mdettweiler [2016-04-27 10:57:27] 911*2^1427530-1 is not prime. Res64: 3D495DF1EF80AA8E Time : 0.0 sec. user=mdettweiler [2016-04-27 10:57:27] 917*2^1427530-1 is not prime. Res64: 84D900F4CB3AF3B8 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:58:09] 945*2^1427530-1 is not prime. Res64: 06650E2CF5D0668E Time : 0.0 sec. user=mdettweiler [2016-04-27 10:58:10] 957*2^1427530-1 is not prime. Res64: FBB19BA5A4C83CD6 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:58:10] 735*2^1427531-1 is not prime. Res64: 5D7A69ABEE739E8A Time : 0.0 sec. user=mdettweiler [2016-04-27 10:58:10] 775*2^1427531-1 is not prime. Res64: 2AD08E960E356270 Time : 0.0 sec. user=mdettweiler [2016-04-27 10:58:11] 913*2^1427531-1 is not prime. Res64: 767C681381CF981E Time : 0.0 sec. user=mdettweiler [2016-04-27 11:14:24] 981*2^1427531-1 is not prime. Res64: AA1C055BFF0CC209 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:14:25] 993*2^1427531-1 is not prime. Res64: 6E81AB3686B9EF5B Time : 0.0 sec. user=mdettweiler [2016-04-27 11:14:25] 635*2^1427532-1 is not prime. Res64: 26E4641E0148612A Time : 0.0 sec. user=mdettweiler [2016-04-27 11:14:26] 725*2^1427532-1 is not prime. Res64: BA148A837EBC7376 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:14:26] 765*2^1427532-1 is not prime. Res64: 3BD5515DFEC70156 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:15:38] 767*2^1427532-1 is not prime. Res64: 41FC2804D9C1ECF3 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:15:38] 863*2^1427532-1 is not prime. Res64: CC9DF3AE429066F1 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:15:38] 903*2^1427532-1 is not prime. Res64: A3820801B9BACB42 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:15:39] 915*2^1427532-1 is not prime. Res64: 2A734850E14CDE69 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:15:39] 639*2^1427533-1 is not prime. Res64: AE5F02811792D759 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:07] 847*2^1427533-1 is not prime. Res64: 3B90524D0ECE3696 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:07] 877*2^1427533-1 is not prime. Res64: 671EDD6548886BAA Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:08] 897*2^1427533-1 is not prime. Res64: 663F6FD3D3EC526D Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:08] 919*2^1427533-1 is not prime. Res64: EA648F203B6C08EE Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:09] 875*2^1427534-1 is not prime. Res64: 66053105A13E1514 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:40] 935*2^1427534-1 is not prime. Res64: 9B828A016676428C Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:40] 981*2^1427534-1 is not prime. Res64: 7C3B128BE6E0A555 Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:40] 633*2^1427535-1 is not prime. Res64: 74BA8C4D76DA3C1F Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:41] 649*2^1427535-1 is not prime. Res64: ECE07CCB998F52CA Time : 0.0 sec. user=mdettweiler [2016-04-27 11:43:41] 691*2^1427535-1 is not prime. Res64: 5012639B8C068CC2 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:01:46] 899*2^1427536-1 is not prime. Res64: BC1DDDA187C4DAD4 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:01:47] 923*2^1427536-1 is not prime. Res64: 09095A3CDC9543FE Time : 0.0 sec. user=mdettweiler [2016-04-27 12:01:48] 601*2^1427537-1 is not prime. Res64: 7903C5331031345D Time : 0.0 sec. user=mdettweiler [2016-04-27 12:01:48] 691*2^1427537-1 is not prime. Res64: 6BA7F5CBC9EF67CA Time : 0.0 sec. user=mdettweiler [2016-04-27 12:01:49] 715*2^1427537-1 is not prime. Res64: 7DAC748E163059E4 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:30:48] 865*2^1427537-1 is not prime. Res64: A2A0E4DD3598847A Time : 0.0 sec. user=mdettweiler [2016-04-27 12:30:48] 885*2^1427537-1 is not prime. Res64: 4EA6F04973D4F1A1 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:30:48] 985*2^1427537-1 is not prime. Res64: DE7050923810690A Time : 0.0 sec. user=mdettweiler [2016-04-27 12:30:49] 755*2^1427538-1 is not prime. Res64: 6D86E015683771B7 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:30:49] 815*2^1427538-1 is not prime. Res64: 0406319E988687CD Time : 0.0 sec. user=mdettweiler [2016-04-27 12:31:08] 875*2^1427538-1 is not prime. Res64: FDCA61B2F0E03727 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:31:08] 933*2^1427538-1 is not prime. Res64: D3AA403CF97357A6 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:31:09] 603*2^1427539-1 is not prime. Res64: 316F4DC863C4FDD1 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:31:09] 625*2^1427539-1 is not prime. Res64: E40D2408287FE409 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:31:10] 723*2^1427539-1 is not prime. Res64: AD1EC365091805DF Time : 0.0 sec. user=mdettweiler [2016-04-27 12:49:43] 741*2^1427539-1 is not prime. Res64: AB94CDE9366820C3 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:49:43] 859*2^1427539-1 is not prime. Res64: 8E3B43ED05E4739E Time : 0.0 sec. user=mdettweiler [2016-04-27 12:49:43] 895*2^1427539-1 is not prime. Res64: 825CE0B4BC886867 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:49:44] 975*2^1427539-1 is not prime. Res64: 946E62ED20440079 Time : 0.0 sec. user=mdettweiler [2016-04-27 12:49:44] 647*2^1427540-1 is not prime. Res64: 46B62D837EB1E471 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:24] 675*2^1427540-1 is not prime. Res64: CB23E2275A60A3BF Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:25] 767*2^1427540-1 is not prime. Res64: EE5DBFCF6854BBC8 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:25] 839*2^1427540-1 is not prime. Res64: 2EC3B5059BE5C661 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:26] 845*2^1427540-1 is not prime. Res64: A1AD05685618588A Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:26] 899*2^1427540-1 is not prime. Res64: 3BE342355E16CE85 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:36] 915*2^1427540-1 is not prime. Res64: 1865C781C99C2A60 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:36] 983*2^1427540-1 is not prime. Res64: 6638A345337B6D4A Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:36] 995*2^1427540-1 is not prime. Res64: 5C690B9A282C4BC6 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:37] 999*2^1427540-1 is not prime. Res64: DF3ED6CA94EDF9FF Time : 0.0 sec. user=mdettweiler [2016-04-27 13:19:38] 609*2^1427541-1 is not prime. Res64: 01A499E75A05CD82 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:37:50] 621*2^1427541-1 is not prime. Res64: A5CA81609987D1FA Time : 0.0 sec. user=mdettweiler [2016-04-27 13:37:50] 625*2^1427541-1 is not prime. Res64: 00F5CA68A4A408C5 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:37:51] 657*2^1427541-1 is not prime. Res64: F398B0B42428C462 Time : 0.0 sec. user=mdettweiler [2016-04-27 13:37:51] 661*2^1427541-1 is not prime. Res64: 87B01F4E3BA6F15E Time : 0.0 sec. user=mdettweiler [2016-04-27 13:37:52] 679*2^1427541-1 is not prime. Res64: 49592FB43ED10792 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:17] 745*2^1427541-1 is not prime. Res64: D9F4F245BBC5C1EA Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:19] 867*2^1427541-1 is not prime. Res64: C2701B804F124B00 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:20] 871*2^1427541-1 is not prime. Res64: E0369C2FCA981395 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:22] 877*2^1427541-1 is not prime. Res64: 25A1D6174C82CB79 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:23] 951*2^1427541-1 is not prime. Res64: 3E65A3A7AC6ADBC3 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:49] 987*2^1427541-1 is not prime. Res64: 871D1A95D959CE04 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:49] 881*2^1427542-1 is not prime. Res64: F08AF744EDD54F70 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:50] 957*2^1427542-1 is not prime. Res64: 608C91AB4E5685F4 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:50] 621*2^1427543-1 is not prime. Res64: 7CE5609A2B127C86 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:06:51] 669*2^1427543-1 is not prime. Res64: 71E5BA0267EADC4A Time : 0.0 sec. user=mdettweiler [2016-04-27 14:18:51] 763*2^1427535-1 is not prime. Res64: 72163610241F3E2E Time : 0.0 sec. user=mdettweiler [2016-04-27 14:18:52] 955*2^1427535-1 is not prime. Res64: 4DB9F0903441370B Time : 0.0 sec. user=mdettweiler [2016-04-27 14:18:52] 969*2^1427535-1 is not prime. Res64: B09BA7AFCEB829C7 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:18:53] 979*2^1427535-1 is not prime. Res64: 51C3D8C62E302209 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:18:53] 843*2^1427536-1 is not prime. Res64: 24D37B2A07C06B6C Time : 0.0 sec. user=mdettweiler [2016-04-27 14:25:16] 675*2^1427543-1 is not prime. Res64: 75802FA73D754508 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:25:16] 981*2^1427543-1 is not prime. Res64: 19DD92BD1D1FFEB8 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:25:17] 623*2^1427544-1 is not prime. Res64: B5C5FD94B0DBD6F3 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:25:17] 693*2^1427544-1 is not prime. Res64: 76ADC7F699DE38D5 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:25:17] 773*2^1427544-1 is not prime. Res64: A332CF32A64DB105 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:30] 893*2^1427544-1 is not prime. Res64: 5AEBCE72EC38321B Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:30] 903*2^1427544-1 is not prime. Res64: 5C0AD79D4EEAF409 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:30] 909*2^1427544-1 is not prime. Res64: 84E828E32EB8CA14 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:31] 945*2^1427544-1 is not prime. Res64: 47FFC85DD36253AD Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:31] 983*2^1427544-1 is not prime. Res64: E2BF716D8658007F Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:50] 691*2^1427545-1 is not prime. Res64: 8D4DA351D59CFA5D Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:51] 775*2^1427545-1 is not prime. Res64: 367D4486DFC2F8BF Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:51] 817*2^1427545-1 is not prime. Res64: 6E7404989D709915 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:51] 819*2^1427545-1 is not prime. Res64: 86BC004A82625EC5 Time : 0.0 sec. user=mdettweiler [2016-04-27 14:55:52] 677*2^1427546-1 is not prime. Res64: 84502B3B08E55A04 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:07:05] 707*2^1427546-1 is not prime. Res64: 9A67140DBB7CA246 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:07:05] 833*2^1427546-1 is not prime. Res64: B1C3C478168B380D Time : 0.0 sec. user=mdettweiler [2016-04-27 15:07:06] 857*2^1427546-1 is not prime. Res64: 064F835C036123CB Time : 0.0 sec. user=mdettweiler [2016-04-27 15:07:06] 903*2^1427546-1 is not prime. Res64: FC5525804A51E9F6 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:07:07] 1001*2^1427546-1 is not prime. Res64: CD23687DEE532759 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:13:19] 615*2^1427547-1 is not prime. Res64: 6164D36FFA074CD6 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:13:19] 705*2^1427547-1 is not prime. Res64: 59A6AAC0B9C59223 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:13:20] 739*2^1427547-1 is not prime. Res64: E06C42DCD93E5011 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:13:20] 765*2^1427547-1 is not prime. Res64: C4301C09BBD1FA76 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:13:20] 979*2^1427547-1 is not prime. Res64: 847AF695C974110B Time : 0.0 sec. user=mdettweiler [2016-04-27 15:40:36] 985*2^1427547-1 is not prime. Res64: 4BE55A7DE171B92D Time : 0.0 sec. user=mdettweiler [2016-04-27 15:40:36] 603*2^1427548-1 is not prime. Res64: 98508ECA00C4138C Time : 0.0 sec. user=mdettweiler [2016-04-27 15:40:37] 657*2^1427548-1 is not prime. Res64: ACCE6CB091E95691 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:40:37] 665*2^1427548-1 is not prime. Res64: 2270638502BD44BE Time : 0.0 sec. user=mdettweiler [2016-04-27 15:40:38] 783*2^1427548-1 is not prime. Res64: 5891F54C006F982D Time : 0.0 sec. user=mdettweiler [2016-04-27 15:41:04] 813*2^1427548-1 is not prime. Res64: 090E2F1C3F88703E Time : 0.0 sec. user=mdettweiler [2016-04-27 15:41:04] 843*2^1427548-1 is not prime. Res64: EA2FFCF38E680C20 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:41:05] 855*2^1427548-1 is not prime. Res64: ED3D4680278DD7F1 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:41:05] 953*2^1427548-1 is not prime. Res64: 0DDDC531E65B2969 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:41:05] 741*2^1427549-1 is not prime. Res64: 7BCD169CF8C4C2B0 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:52:32] 747*2^1427549-1 is not prime. Res64: 10686A6C7A100660 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:52:33] 771*2^1427549-1 is not prime. Res64: FD762945CF908662 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:52:33] 837*2^1427549-1 is not prime. Res64: 10B552D0C6780392 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:52:34] 847*2^1427549-1 is not prime. Res64: 8C303BE413880ABE Time : 0.0 sec. user=mdettweiler [2016-04-27 15:52:34] 927*2^1427549-1 is not prime. Res64: 4B681B83C2380F6C Time : 0.0 sec. user=mdettweiler [2016-04-27 15:58:38] 939*2^1427549-1 is not prime. Res64: 81103F26AFB8155D Time : 0.0 sec. user=mdettweiler [2016-04-27 15:58:38] 985*2^1427549-1 is not prime. Res64: E8EFCDF4A95CB2DB Time : 0.0 sec. user=mdettweiler [2016-04-27 15:58:39] 761*2^1427550-1 is not prime. Res64: 05E724EABB267A59 Time : 0.0 sec. user=mdettweiler [2016-04-27 15:58:39] 765*2^1427550-1 is not prime. Res64: DD9F91BADAF99B3D Time : 0.0 sec. user=mdettweiler [2016-04-27 15:58:39] 867*2^1427550-1 is not prime. Res64: CEC113E9D915D6A4 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:25:49] 887*2^1427550-1 is not prime. Res64: C666319B2DC55CF4 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:25:50] 759*2^1427551-1 is not prime. Res64: 0E0D632B214FF1D3 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:25:50] 861*2^1427551-1 is not prime. Res64: 5790699A04376AB6 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:25:51] 975*2^1427551-1 is not prime. Res64: 39C6AB96889757E5 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:25:51] 999*2^1427551-1 is not prime. Res64: 6872532D71856B2B Time : 0.0 sec. user=mdettweiler [2016-04-27 16:26:29] 615*2^1427552-1 is not prime. Res64: D90BD669B0C6E749 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:26:30] 635*2^1427552-1 is not prime. Res64: 4744864888D034E6 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:26:30] 683*2^1427552-1 is not prime. Res64: CE6254DA6BF3AB20 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:26:30] 797*2^1427552-1 is not prime. Res64: CFFE0B26BA75BAEB Time : 0.0 sec. user=mdettweiler [2016-04-27 16:26:31] 897*2^1427552-1 is not prime. Res64: E70E9D3B75F5FCEC Time : 0.0 sec. user=mdettweiler [2016-04-27 16:38:05] 959*2^1427552-1 is not prime. Res64: E2FB8EA13F5EE0AE Time : 0.0 sec. user=mdettweiler [2016-04-27 16:38:05] 679*2^1427553-1 is not prime. Res64: 2C7FB6EC062B0573 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:38:06] 739*2^1427553-1 is not prime. Res64: 39B45A0152D11734 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:38:06] 789*2^1427553-1 is not prime. Res64: 039FE0F6551A584B Time : 0.0 sec. user=mdettweiler [2016-04-27 16:38:06] 645*2^1427554-1 is not prime. Res64: 3D106AB68D2A6FA4 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:44:02] 657*2^1427554-1 is not prime. Res64: 5B560FD1AB010520 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:44:03] 815*2^1427554-1 is not prime. Res64: ED6634C04E29299C Time : 0.0 sec. user=mdettweiler [2016-04-27 16:44:03] 831*2^1427554-1 is not prime. Res64: A78DFF0412159019 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:44:03] 857*2^1427554-1 is not prime. Res64: 4021A24354E4CC24 Time : 0.0 sec. user=mdettweiler [2016-04-27 16:44:04] 881*2^1427554-1 is not prime. Res64: B5350C4341AFA0FC Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:09] 975*2^1427554-1 is not prime. Res64: 600540DADAF5537D Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:09] 601*2^1427555-1 is not prime. Res64: F9ABCA5026492C5D Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:10] 693*2^1427555-1 is not prime. Res64: F0B9ED47AE3516B5 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:10] 733*2^1427555-1 is not prime. Res64: DD73DD07C7D330A4 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:11] 741*2^1427555-1 is not prime. Res64: E657008045E1056F Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:50] 759*2^1427555-1 is not prime. Res64: 0563DA199593138D Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:51] 775*2^1427555-1 is not prime. Res64: ABCFD58F4C41AB1B Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:51] 825*2^1427555-1 is not prime. Res64: 9AB938DDD97590EE Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:52] 885*2^1427555-1 is not prime. Res64: CD7BA6F832220C11 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:11:52] 889*2^1427555-1 is not prime. Res64: F238948C9C40EC4A Time : 0.0 sec. user=mdettweiler [2016-04-27 17:23:16] 895*2^1427555-1 is not prime. Res64: 2962AD98C72D85E1 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:23:16] 913*2^1427555-1 is not prime. Res64: A553B10B8D80DAC0 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:23:17] 943*2^1427555-1 is not prime. Res64: B793C4F521CDEB8B Time : 0.0 sec. user=mdettweiler [2016-04-27 17:23:17] 999*2^1427555-1 is not prime. Res64: 3ADCC488F3348DBD Time : 0.0 sec. user=mdettweiler [2016-04-27 17:23:17] 737*2^1427556-1 is not prime. Res64: 7A1F2F9C332FD0F2 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:29:11] 825*2^1427556-1 is not prime. Res64: AB644B99E56B3345 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:29:11] 845*2^1427556-1 is not prime. Res64: 970987CB76A439C8 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:29:11] 903*2^1427556-1 is not prime. Res64: 08E2635945250F85 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:29:12] 923*2^1427556-1 is not prime. Res64: 1837C42E2B5C4AB4 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:29:12] 927*2^1427556-1 is not prime. Res64: FEEE3F9F20AF480D Time : 0.0 sec. user=mdettweiler [2016-04-27 17:56:12] 775*2^1427557-1 is not prime. Res64: C09AD29A3DF822A9 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:56:12] 897*2^1427557-1 is not prime. Res64: 173D1889ECB9D540 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:56:13] 671*2^1427558-1 is not prime. Res64: F121BB2D02FEB542 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:56:13] 755*2^1427558-1 is not prime. Res64: 37F5E0A77CA09943 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:56:13] 773*2^1427558-1 is not prime. Res64: A868BE5917888E11 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:57:07] 893*2^1427558-1 is not prime. Res64: F1977CDFAB887975 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:57:07] 915*2^1427558-1 is not prime. Res64: 2287F495A6CABE58 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:57:08] 935*2^1427558-1 is not prime. Res64: 160242517F78D2BD Time : 0.0 sec. user=mdettweiler [2016-04-27 17:57:08] 963*2^1427558-1 is not prime. Res64: 15C6AD9BFD949496 Time : 0.0 sec. user=mdettweiler [2016-04-27 17:57:09] 853*2^1427559-1 is not prime. Res64: E61DF4DE506831CE Time : 0.0 sec. user=mdettweiler [2016-04-27 18:08:28] 861*2^1427559-1 is not prime. Res64: 35FC71A8676392FC Time : 0.0 sec. user=mdettweiler [2016-04-27 18:08:28] 663*2^1427560-1 is not prime. Res64: C2DBCE9F3450C80C Time : 0.0 sec. user=mdettweiler [2016-04-27 18:08:28] 675*2^1427560-1 is not prime. Res64: B7F8535FFECE2443 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:08:29] 689*2^1427560-1 is not prime. Res64: A8DB31F5C97A9DF6 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:08:29] 839*2^1427560-1 is not prime. Res64: 8BA501665F2CFAD6 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:14:17] 845*2^1427560-1 is not prime. Res64: B1D381C765836235 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:14:18] 855*2^1427560-1 is not prime. Res64: 25F513E7D371A085 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:14:18] 917*2^1427560-1 is not prime. Res64: 999C6C3A6385F057 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:14:19] 989*2^1427560-1 is not prime. Res64: B8E809244D88A75E Time : 0.0 sec. user=mdettweiler [2016-04-27 18:14:19] 607*2^1427561-1 is not prime. Res64: F2C665D9FE42F1E8 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:41:41] 631*2^1427561-1 is not prime. Res64: E4E1C57390514208 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:41:42] 657*2^1427561-1 is not prime. Res64: 056FE640332E4E12 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:41:42] 691*2^1427561-1 is not prime. Res64: 7E9A1B068139B9C5 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:41:42] 727*2^1427561-1 is not prime. Res64: A5B476A653DA6359 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:41:43] 789*2^1427561-1 is not prime. Res64: 3DB250BE0885BC49 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:42:26] 865*2^1427561-1 is not prime. Res64: 81C268258198DD7C Time : 0.0 sec. user=mdettweiler [2016-04-27 18:42:26] 871*2^1427561-1 is not prime. Res64: A92BA99A7EEC8FE1 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:42:26] 909*2^1427561-1 is not prime. Res64: 6D8CDD79BC0FFB17 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:42:27] 945*2^1427561-1 is not prime. Res64: 35C48DBEAB4650F3 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:42:27] 791*2^1427562-1 is not prime. Res64: 290DD90CCACAB42B Time : 0.0 sec. user=mdettweiler [2016-04-27 18:53:51] 873*2^1427562-1 is not prime. Res64: C5DDC6D987096128 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:53:52] 891*2^1427562-1 is not prime. Res64: CC4F45C2E482B845 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:53:52] 631*2^1427563-1 is not prime. Res64: 913C137EA5B6191D Time : 0.0 sec. user=mdettweiler [2016-04-27 18:53:53] 709*2^1427563-1 is not prime. Res64: 74579D816E106765 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:53:53] 723*2^1427563-1 is not prime. Res64: E54FC39E319EBA8F Time : 0.0 sec. user=mdettweiler [2016-04-27 18:59:38] 849*2^1427563-1 is not prime. Res64: 761848643A364922 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:59:38] 861*2^1427563-1 is not prime. Res64: 199676653D42BCDD Time : 0.0 sec. user=mdettweiler [2016-04-27 18:59:38] 945*2^1427563-1 is not prime. Res64: A882C20A59CF5C54 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:59:39] 973*2^1427563-1 is not prime. Res64: 2547A56FDDBF2BE1 Time : 0.0 sec. user=mdettweiler [2016-04-27 18:59:39] 999*2^1427563-1 is not prime. Res64: 5FA3F8E6AD62D9D1 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:27:01] 677*2^1427564-1 is not prime. Res64: 2360E1728A16B786 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:27:01] 795*2^1427564-1 is not prime. Res64: 306FF2939DD1C251 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:27:02] 969*2^1427564-1 is not prime. Res64: 563A87359EF0E131 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:27:02] 983*2^1427564-1 is not prime. Res64: C629B44514DE5BD8 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:27:02] 625*2^1427565-1 is not prime. Res64: 6F52A2F462781F28 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:28:02] 759*2^1427565-1 is not prime. Res64: FA668CAB9F8A0485 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:28:03] 849*2^1427565-1 is not prime. Res64: C507FFDD0880DFCF Time : 0.0 sec. user=mdettweiler [2016-04-27 19:28:03] 859*2^1427565-1 is not prime. Res64: 72DF043283E98874 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:28:03] 861*2^1427565-1 is not prime. Res64: D3049BC95A6729E9 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:28:04] 949*2^1427565-1 is not prime. Res64: 5E62883604801757 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:41:12] 961*2^1427565-1 is not prime. Res64: 92337F1E7F419208 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:41:13] 761*2^1427566-1 is not prime. Res64: 2A19C12E763EC140 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:41:13] 857*2^1427566-1 is not prime. Res64: B302F35D6C7A3DE4 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:41:13] 923*2^1427566-1 is not prime. Res64: F1206EF64D632E75 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:41:14] 945*2^1427566-1 is not prime. Res64: 8410397998399E1F Time : 0.0 sec. user=mdettweiler [2016-04-27 19:49:11] 993*2^1427566-1 is not prime. Res64: C722763BC0F24F6F Time : 0.0 sec. user=mdettweiler [2016-04-27 19:49:11] 651*2^1427567-1 is not prime. Res64: DC85340EB043BDD5 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:49:11] 661*2^1427567-1 is not prime. Res64: 9E3D5BFA0DF98D47 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:49:12] 759*2^1427567-1 is not prime. Res64: 8BF01846C7F99998 Time : 0.0 sec. user=mdettweiler [2016-04-27 19:49:12] 883*2^1427567-1 is not prime. Res64: 25B140F3E2EB80AA Time : 0.0 sec. user=mdettweiler [2016-04-27 20:25:54] 633*2^1427568-1 is not prime. Res64: 8DD3C1BD74D1481D Time : 0.0 sec. user=mdettweiler [2016-04-27 20:25:54] 737*2^1427568-1 is not prime. Res64: 77BB62B4A8D6076B Time : 0.0 sec. user=mdettweiler [2016-04-27 20:25:55] 773*2^1427568-1 is not prime. Res64: DB5F0E02C47DB463 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:25:55] 879*2^1427568-1 is not prime. Res64: CCB0932C7F36C963 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:25:55] 887*2^1427568-1 is not prime. Res64: 6A48B3BB675E1068 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:27:27] 929*2^1427568-1 is not prime. Res64: 32E567D96B4B444D Time : 0.0 sec. user=mdettweiler [2016-04-27 20:27:28] 969*2^1427568-1 is not prime. Res64: A8A44E531BE037A1 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:27:28] 601*2^1427569-1 is not prime. Res64: BB9BFD09A49B8DD5 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:27:28] 747*2^1427569-1 is not prime. Res64: 8015A85C7675BA56 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:27:29] 799*2^1427569-1 is not prime. Res64: 83CA84163A2BEFE5 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:43:48] 877*2^1427569-1 is not prime. Res64: 2266E94C0E8E7428 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:43:48] 895*2^1427569-1 is not prime. Res64: CBD730E456DE10A6 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:43:48] 951*2^1427569-1 is not prime. Res64: 19740F8E55F4B70A Time : 0.0 sec. user=mdettweiler [2016-04-27 20:43:49] 999*2^1427569-1 is not prime. Res64: 46FBA8DD02F44ACC Time : 0.0 sec. user=mdettweiler [2016-04-27 20:43:49] 615*2^1427570-1 is not prime. Res64: 92A719ECEBAB3B38 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:52:18] 665*2^1427570-1 is not prime. Res64: 9471E275CDB498BB Time : 0.0 sec. user=mdettweiler [2016-04-27 20:52:18] 711*2^1427570-1 is not prime. Res64: 2839FCF8FF04660D Time : 0.0 sec. user=mdettweiler [2016-04-27 20:52:19] 785*2^1427570-1 is not prime. Res64: 09CF02DCD1082A06 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:52:19] 887*2^1427570-1 is not prime. Res64: E6BE13D0A7EADB48 Time : 0.0 sec. user=mdettweiler [2016-04-27 20:52:19] 613*2^1427571-1 is not prime. Res64: 9B2D207433B8B559 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:22:47] 619*2^1427571-1 is not prime. Res64: FC2FF75CE739F2B7 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:22:47] 753*2^1427571-1 is not prime. Res64: BA6C7EEE80545337 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:22:47] 781*2^1427571-1 is not prime. Res64: 0E5A0D3DAD843B6A Time : 0.0 sec. user=mdettweiler [2016-04-27 21:22:48] 825*2^1427571-1 is not prime. Res64: B1EB97BA0A5BC3F6 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:22:49] 829*2^1427571-1 is not prime. Res64: 855BF56A39ADAB83 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:23:49] 945*2^1427571-1 is not prime. Res64: 0F74E105ECFD3436 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:23:49] 657*2^1427572-1 is not prime. Res64: 16B9A4670EC14434 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:23:50] 687*2^1427572-1 is not prime. Res64: 0AD71F1F75172B15 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:23:50] 863*2^1427572-1 is not prime. Res64: B13218391E20CE96 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:23:50] 909*2^1427572-1 is not prime. Res64: B1007422139A2C04 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:35:05] 651*2^1427573-1 is not prime. Res64: 8B80216C71F379C9 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:35:06] 715*2^1427573-1 is not prime. Res64: CD9D91BB0C2FCB42 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:35:06] 727*2^1427573-1 is not prime. Res64: 63E7C5BA920D0597 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:35:06] 801*2^1427573-1 is not prime. Res64: FD6A1F3A7FB85B64 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:35:07] 889*2^1427573-1 is not prime. Res64: DCDE5053741A76CB Time : 0.0 sec. user=mdettweiler [2016-04-27 21:41:02] 939*2^1427573-1 is not prime. Res64: 1ECA2673241ACD2D Time : 0.0 sec. user=mdettweiler [2016-04-27 21:41:02] 991*2^1427573-1 is not prime. Res64: 339B6C3B64B2FECA Time : 0.0 sec. user=mdettweiler [2016-04-27 21:41:03] 741*2^1427574-1 is not prime. Res64: F56C272D58757F67 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:41:04] 975*2^1427574-1 is not prime. Res64: 152759CC5A2C2A57 Time : 0.0 sec. user=mdettweiler [2016-04-27 21:41:04] 675*2^1427575-1 is not prime. Res64: 15F53D1DDCC0676F Time : 0.0 sec. user=mdettweiler [2016-04-27 22:08:09] 723*2^1427575-1 is not prime. Res64: 4DEEB2192C69F335 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:08:09] 805*2^1427575-1 is not prime. Res64: B11E76D9B1DFD394 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:08:10] 843*2^1427575-1 is not prime. Res64: 1860D22C3042EBC1 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:08:10] 855*2^1427575-1 is not prime. Res64: 74BAA29241CEB985 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:08:11] 871*2^1427575-1 is not prime. Res64: B6FB9C7874C7CCC3 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:09:08] 889*2^1427575-1 is not prime. Res64: 3CEC06E4D6EA4BB0 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:09:08] 895*2^1427575-1 is not prime. Res64: 06D43C255303E8D9 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:09:09] 933*2^1427575-1 is not prime. Res64: 031021DCE7198F83 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:09:09] 961*2^1427575-1 is not prime. Res64: F7B84B0DFF48296A Time : 0.0 sec. user=mdettweiler [2016-04-27 22:09:10] 617*2^1427576-1 is not prime. Res64: C8FE13FBFC795AE0 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:20:17] 659*2^1427576-1 is not prime. Res64: E3B8CDED3DD05BE5 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:20:17] 663*2^1427576-1 is not prime. Res64: 487A8BC3F2F007EC Time : 0.0 sec. user=mdettweiler [2016-04-27 22:20:18] 777*2^1427576-1 is not prime. Res64: 8BFA890F137A4E1D Time : 0.0 sec. user=mdettweiler [2016-04-27 22:20:18] 785*2^1427576-1 is not prime. Res64: 2100D1663F6935F3 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:20:18] 803*2^1427576-1 is not prime. Res64: 6989959452451073 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:26:20] 845*2^1427576-1 is not prime. Res64: 4D832050329BC3C2 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:26:21] 855*2^1427576-1 is not prime. Res64: CC951E1013BC23BF Time : 0.0 sec. user=mdettweiler [2016-04-27 22:26:21] 935*2^1427576-1 is not prime. Res64: 27910AC68D4EA693 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:26:22] 651*2^1427577-1 is not prime. Res64: 631294B733B2FB54 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:26:22] 685*2^1427577-1 is not prime. Res64: D8B6D57202B52F1D Time : 0.0 sec. user=mdettweiler [2016-04-27 22:53:10] 741*2^1427577-1 is not prime. Res64: 2C1A3588E992AB9E Time : 0.0 sec. user=mdettweiler [2016-04-27 22:53:10] 795*2^1427577-1 is not prime. Res64: 2CD0C47655A63B20 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:53:11] 865*2^1427577-1 is not prime. Res64: 8E6A97362B9A9032 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:53:11] 605*2^1427578-1 is not prime. Res64: E090943FC3909ECE Time : 0.0 sec. user=mdettweiler [2016-04-27 22:53:11] 663*2^1427578-1 is not prime. Res64: D52DBF08DDF23634 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:54:08] 677*2^1427578-1 is not prime. Res64: 10EB32A0FEAD6F71 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:54:08] 755*2^1427578-1 is not prime. Res64: 1100776CB225DBED Time : 0.0 sec. user=mdettweiler [2016-04-27 22:54:09] 791*2^1427578-1 is not prime. Res64: 73E3DB147943474C Time : 0.0 sec. user=mdettweiler [2016-04-27 22:54:09] 881*2^1427578-1 is not prime. Res64: 7EF46E9AC9047D12 Time : 0.0 sec. user=mdettweiler [2016-04-27 22:54:09] 887*2^1427578-1 is not prime. Res64: A151C20AC5926065 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:05:31] 945*2^1427578-1 is not prime. Res64: 9D3377615309E4AB Time : 0.0 sec. user=mdettweiler [2016-04-27 23:05:33] 975*2^1427578-1 is not prime. Res64: D10EE522D273CA53 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:05:34] 603*2^1427579-1 is not prime. Res64: 7B23124BE47B65B1 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:05:36] 643*2^1427579-1 is not prime. Res64: 94669A4DED3FCCB9 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:05:38] 645*2^1427579-1 is not prime. Res64: 379FDC7F1D250BA1 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:11:34] 841*2^1427579-1 is not prime. Res64: 7BA1BE658E12FEB6 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:11:34] 885*2^1427579-1 is not prime. Res64: A7F793043CA21C76 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:11:35] 633*2^1427580-1 is not prime. Res64: 76F2B0A76A8E3FE4 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:11:35] 653*2^1427580-1 is not prime. Res64: 7C876CD9074A4975 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:11:36] 909*2^1427580-1 is not prime. Res64: 5216D898AAEDCB78 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:38:26] 935*2^1427580-1 is not prime. Res64: FC6F272D46AA7D9A Time : 0.0 sec. user=mdettweiler [2016-04-27 23:38:27] 957*2^1427580-1 is not prime. Res64: 6C5FB8966344F5E6 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:38:27] 639*2^1427581-1 is not prime. Res64: 2E566D936CDC49A1 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:38:28] 651*2^1427581-1 is not prime. Res64: 6174B94291C8B9CA Time : 0.0 sec. user=mdettweiler [2016-04-27 23:38:28] 747*2^1427581-1 is not prime. Res64: 9888E440531BBD03 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:39:16] 801*2^1427581-1 is not prime. Res64: 339706A77B41AD28 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:39:16] 825*2^1427581-1 is not prime. Res64: 2599D38A104FB49A Time : 0.0 sec. user=mdettweiler [2016-04-27 23:39:17] 855*2^1427581-1 is not prime. Res64: 574F20A3408F8E86 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:39:17] 931*2^1427581-1 is not prime. Res64: 47C4626E36522BD8 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:39:17] 987*2^1427581-1 is not prime. Res64: 83D74467AA225627 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:51:06] 755*2^1427582-1 is not prime. Res64: B6B09B9D21463E0C Time : 0.0 sec. user=mdettweiler [2016-04-27 23:51:06] 827*2^1427582-1 is not prime. Res64: BDB8E4FE7765AB82 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:51:07] 867*2^1427582-1 is not prime. Res64: 2994865007F4072B Time : 0.0 sec. user=mdettweiler [2016-04-27 23:51:07] 619*2^1427583-1 is not prime. Res64: C874B016514423BF Time : 0.0 sec. user=mdettweiler [2016-04-27 23:51:07] 669*2^1427583-1 is not prime. Res64: 997820D800500B7D Time : 0.0 sec. user=mdettweiler [2016-04-27 23:56:56] 709*2^1427583-1 is not prime. Res64: A415A2199263014B Time : 0.0 sec. user=mdettweiler [2016-04-27 23:56:56] 783*2^1427583-1 is not prime. Res64: 4779F194714439EF Time : 0.0 sec. user=mdettweiler [2016-04-27 23:56:57] 793*2^1427583-1 is not prime. Res64: D3B67F125683E5C9 Time : 0.0 sec. user=mdettweiler [2016-04-27 23:56:57] 885*2^1427583-1 is not prime. Res64: 4AFE3800C215F2BF Time : 0.0 sec. user=mdettweiler [2016-04-27 23:56:57] 609*2^1427584-1 is not prime. Res64: 903E4B6975CA6A61 Time : 0.0 sec.