user=mdettweiler [2018-08-17 00:03:00] 847*2^1521517-1 is not prime. Res64: E46DE3429EEC994F Time : 0.0 sec. user=mdettweiler [2018-08-17 00:03:01] 861*2^1521517-1 is not prime. Res64: 2A4F3809AD5EFF7C Time : 0.0 sec. user=mdettweiler [2018-08-17 00:03:02] 871*2^1521517-1 is not prime. Res64: A2C6203FE4CAF268 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:03:03] 915*2^1521517-1 is not prime. Res64: F3DE7EB3E1C9E128 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:03:04] 945*2^1521517-1 is not prime. Res64: 093580C7B5EDE069 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:10:59] 961*2^1521517-1 is not prime. Res64: 4BC642B818B129F8 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:00] 651*2^1521518-1 is not prime. Res64: F64298AA07BC9520 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:00] 773*2^1521518-1 is not prime. Res64: 81E9EC7C5DEADD57 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:01] 857*2^1521518-1 is not prime. Res64: A8A485A31170A9FA Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:01] 875*2^1521518-1 is not prime. Res64: E2BADAB7E542B42E Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:07] 887*2^1521518-1 is not prime. Res64: 4EF186207D9839D7 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:08] 941*2^1521518-1 is not prime. Res64: 304C945595283DA3 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:09] 953*2^1521518-1 is not prime. Res64: DD7985A02858A024 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:09] 1001*2^1521518-1 is not prime. Res64: 725F68F052CBD8A3 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:10] 601*2^1521519-1 is not prime. Res64: B5373B8E69FAFC17 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:18] 705*2^1521519-1 is not prime. Res64: A2FDE5CE160FD2E5 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:19] 721*2^1521519-1 is not prime. Res64: 4424C59FA2D02E9E Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:19] 745*2^1521519-1 is not prime. Res64: D8E8B9003916D5A4 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:20] 775*2^1521519-1 is not prime. Res64: 362A1B18FB80B09F Time : 0.0 sec. user=mdettweiler [2018-08-17 00:11:20] 951*2^1521519-1 is not prime. Res64: 94C1FF8DD6634711 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:54:12] 979*2^1521519-1 is not prime. Res64: CF1424A718CE6F91 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:54:12] 723*2^1521520-1 is not prime. Res64: 58DE98ABBC2EC0E7 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:54:12] 873*2^1521520-1 is not prime. Res64: 5BEC0E6265D406A0 Time : 0.0 sec. user=mdettweiler [2018-08-17 00:54:13] 983*2^1521520-1 is not prime. Res64: 74FA806E35849BBD Time : 0.0 sec. user=mdettweiler [2018-08-17 00:54:13] 645*2^1521521-1 is not prime. Res64: 05E53C0FD4997F30 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:01:43] 649*2^1521521-1 is not prime. Res64: 711986DE01218E4F Time : 0.0 sec. user=mdettweiler [2018-08-17 01:01:43] 829*2^1521521-1 is not prime. Res64: D79A989DFD16CC52 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:01:44] 865*2^1521521-1 is not prime. Res64: B132B5B939CDCE08 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:01:45] 871*2^1521521-1 is not prime. Res64: 1E3612FC7740E9C4 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:01:45] 901*2^1521521-1 is not prime. Res64: 7035F6788742F510 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:05] 825*2^1521522-1 is not prime. Res64: 39EA1B9316E0E2E9 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:05] 945*2^1521522-1 is not prime. Res64: 40D590B5F6682B15 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:06] 907*2^1521521-1 is not prime. Res64: EF2AF0C9F2C61414 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:06] 975*2^1521522-1 is not prime. Res64: 433445F22CC45A40 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:06] 671*2^1521522-1 is not prime. Res64: 520F72E517CB2739 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:06] 619*2^1521523-1 is not prime. Res64: D0AE89642351918A Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:07] 717*2^1521522-1 is not prime. Res64: EF5931358B5A2D2D Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:07] 741*2^1521523-1 is not prime. Res64: AD4F70B6DC1E0123 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:07] 735*2^1521522-1 is not prime. Res64: D5156798C9630827 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:02:08] 807*2^1521522-1 is not prime. Res64: 05AE1D022D28E5A4 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:44:42] 951*2^1521523-1 is not prime. Res64: 54168493A3366A64 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:44:42] 605*2^1521524-1 is not prime. Res64: 6BDB1218A3E1C840 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:44:43] 935*2^1521524-1 is not prime. Res64: FAADA04D2C314B1F Time : 0.0 sec. user=mdettweiler [2018-08-17 01:44:43] 627*2^1521525-1 is not prime. Res64: 16AAAEA316517582 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:44:44] 787*2^1521525-1 is not prime. Res64: 8FA73B3A74864FFF Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:22] 795*2^1521525-1 is not prime. Res64: 39A0743E28E1111B Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:22] 603*2^1521526-1 is not prime. Res64: 9E0D139052F8ECC0 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:22] 741*2^1521526-1 is not prime. Res64: 6CF792ED404E2482 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:23] 821*2^1521526-1 is not prime. Res64: 9937DDC72345639D Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:23] 873*2^1521526-1 is not prime. Res64: A8C46BFDB18567A7 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:40] 897*2^1521526-1 is not prime. Res64: 2427E7740A2B610F Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:41] 1001*2^1521526-1 is not prime. Res64: 75F66377DA7C53D8 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:41] 705*2^1521527-1 is not prime. Res64: 499F399205B2B8DB Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:42] 981*2^1521527-1 is not prime. Res64: DC779D0FC8F37201 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:42] 993*2^1521527-1 is not prime. Res64: FC71A0D039F73CB2 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:48] 609*2^1521527-1 is not prime. Res64: AEF62C499ED8995E Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:49] 675*2^1521527-1 is not prime. Res64: 04A3C710811EC540 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:49] 735*2^1521528-1 is not prime. Res64: 196A3E8E220E659E Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:49] 797*2^1521528-1 is not prime. Res64: 3427C9AC98B5EBE0 Time : 0.0 sec. user=mdettweiler [2018-08-17 01:52:50] 687*2^1521529-1 is not prime. Res64: B5A1B6E49E3E55C4 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:36:25] 817*2^1521529-1 is not prime. Res64: C76457BC631E3B5A Time : 0.0 sec. user=mdettweiler [2018-08-17 02:36:26] 819*2^1521529-1 is not prime. Res64: F93FAA58FE40B84C Time : 0.0 sec. user=mdettweiler [2018-08-17 02:36:27] 841*2^1521529-1 is not prime. Res64: 784A2687A40EA698 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:36:27] 897*2^1521529-1 is not prime. Res64: 3720003A28157C3E Time : 0.0 sec. user=mdettweiler [2018-08-17 02:36:28] 979*2^1521529-1 is not prime. Res64: 79E2777DA92AF9B1 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:49] 711*2^1521530-1 is not prime. Res64: 554386F37E427C61 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:49] 741*2^1521530-1 is not prime. Res64: 19F8DEA7A5D49610 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:50] 783*2^1521530-1 is not prime. Res64: 4FF5CCBF05F2FEC2 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:50] 785*2^1521530-1 is not prime. Res64: 361160B78BEB6753 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:50] 911*2^1521530-1 is not prime. Res64: 40EAE3E339283BD0 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:51] 831*2^1521530-1 is not prime. Res64: 0F28BDCDB76CC04D Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:51] 917*2^1521530-1 is not prime. Res64: 2528C9069160EAF1 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:51] 995*2^1521530-1 is not prime. Res64: F8C58C6966EB0B89 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:52] 789*2^1521531-1 is not prime. Res64: 5E5D644556E0AA5B Time : 0.0 sec. user=mdettweiler [2018-08-17 02:44:52] 805*2^1521531-1 is not prime. Res64: 57902E394D7E620F Time : 0.0 sec. user=mdettweiler [2018-08-17 02:45:35] 717*2^1521532-1 is not prime. Res64: 1E775DA364AC1EF1 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:45:35] 719*2^1521532-1 is not prime. Res64: D598B61CA867BAA9 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:45:35] 755*2^1521532-1 is not prime. Res64: 838FD370F2BDDA7E Time : 0.0 sec. user=mdettweiler [2018-08-17 02:45:36] 813*2^1521532-1 is not prime. Res64: C42E53EB11AB5D82 Time : 0.0 sec. user=mdettweiler [2018-08-17 02:45:36] 873*2^1521532-1 is not prime. Res64: EFB6432D1345309F Time : 0.0 sec. user=mdettweiler [2018-08-17 03:27:50] 965*2^1521532-1 is not prime. Res64: 3DEFFE7B799B1550 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:27:51] 669*2^1521533-1 is not prime. Res64: 31743067B62E9BED Time : 0.0 sec. user=mdettweiler [2018-08-17 03:27:52] 721*2^1521533-1 is not prime. Res64: A3B894195432F2E3 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:27:52] 775*2^1521533-1 is not prime. Res64: AFDF6ABFF578EDF8 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:27:53] 937*2^1521533-1 is not prime. Res64: E1B0EC8B74AAA12B Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:20] 981*2^1521533-1 is not prime. Res64: 0FC5CB193E79AAC3 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:21] 663*2^1521534-1 is not prime. Res64: 3E3CF75006C6B8E4 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:21] 705*2^1521534-1 is not prime. Res64: 949F57EBE8CDF1DD Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:22] 711*2^1521534-1 is not prime. Res64: 163DFB560E947760 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:23] 755*2^1521534-1 is not prime. Res64: 408207A7AB9D0CE5 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:25] 791*2^1521534-1 is not prime. Res64: FFBC1A083F438918 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:26] 797*2^1521534-1 is not prime. Res64: 00ECB69D23D27A4D Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:27] 941*2^1521534-1 is not prime. Res64: 3CA10DADC1CEA284 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:27] 1001*2^1521534-1 is not prime. Res64: 79513872C52A77AE Time : 0.0 sec. user=mdettweiler [2018-08-17 03:35:28] 685*2^1521535-1 is not prime. Res64: 554FBF6EF514ED10 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:36:08] 723*2^1521535-1 is not prime. Res64: D88D8F4A92149DB6 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:36:09] 759*2^1521535-1 is not prime. Res64: 6ED623A3A464A5D4 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:36:09] 871*2^1521535-1 is not prime. Res64: 2876B6182A1A610C Time : 0.0 sec. user=mdettweiler [2018-08-17 03:36:10] 895*2^1521535-1 is not prime. Res64: 6F9FE65E9DB7FC02 Time : 0.0 sec. user=mdettweiler [2018-08-17 03:36:11] 943*2^1521535-1 is not prime. Res64: AD211CB25A3E0177 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:18:22] 961*2^1521535-1 is not prime. Res64: 9C5B537350339D69 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:18:24] 999*2^1521535-1 is not prime. Res64: 20BDF91766432A76 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:18:24] 825*2^1521536-1 is not prime. Res64: C97EE86030ADBA52 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:18:25] 897*2^1521536-1 is not prime. Res64: AA0E8A4249247648 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:18:26] 969*2^1521536-1 is not prime. Res64: 37FCB0AB6C267397 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:06] 949*2^1521537-1 is not prime. Res64: 29A288DC4EF46EDE Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:07] 825*2^1521538-1 is not prime. Res64: 90A0ED08FE619288 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:07] 831*2^1521538-1 is not prime. Res64: AFDBD02FC63F537A Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:07] 945*2^1521538-1 is not prime. Res64: E1D39731C4C2B743 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:08] 1001*2^1521538-1 is not prime. Res64: 684184983F59A85C Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:15] 681*2^1521537-1 is not prime. Res64: E695BA54A8D860A9 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:15] 727*2^1521537-1 is not prime. Res64: 98B9097F45E18F88 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:16] 739*2^1521537-1 is not prime. Res64: 5E9CE0E9F317517B Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:16] 765*2^1521537-1 is not prime. Res64: 2428CDF3304C4640 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:16] 835*2^1521537-1 is not prime. Res64: A30D20B03DBB3C7B Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:42] 663*2^1521539-1 is not prime. Res64: 0C95D748F5801CEF Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:43] 733*2^1521539-1 is not prime. Res64: C1452B317C9D3D63 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:43] 825*2^1521539-1 is not prime. Res64: 6190BD67B5DCA37A Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:44] 943*2^1521539-1 is not prime. Res64: 3EB18BE5A09BD5F3 Time : 0.0 sec. user=mdettweiler [2018-08-17 04:26:44] 991*2^1521539-1 is not prime. Res64: E7EF1C3A307F7A7F Time : 0.0 sec. user=mdettweiler [2018-08-17 05:09:26] 999*2^1521539-1 is not prime. Res64: DD330211DDF4C6A2 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:09:26] 699*2^1521540-1 is not prime. Res64: A6FCCE127ED166B4 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:09:27] 737*2^1521540-1 is not prime. Res64: 93D7D47482B77205 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:09:27] 797*2^1521540-1 is not prime. Res64: 8A64C3CD7921FB0B Time : 0.0 sec. user=mdettweiler [2018-08-17 05:09:28] 843*2^1521540-1 is not prime. Res64: B628C31583D20A50 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:42] 887*2^1521540-1 is not prime. Res64: 6F609E1ADC9A706A Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:43] 929*2^1521540-1 is not prime. Res64: 0A951B775AD4248A Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:43] 935*2^1521540-1 is not prime. Res64: 820FCA4706C139EF Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:44] 965*2^1521540-1 is not prime. Res64: 1A279FD5A01F3BE8 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:44] 619*2^1521541-1 is not prime. Res64: 2BEE888EFAE8E34E Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:53] 799*2^1521541-1 is not prime. Res64: EDC734983A121546 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:53] 889*2^1521541-1 is not prime. Res64: 3C56718979CF541B Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:53] 937*2^1521541-1 is not prime. Res64: E653586F6FEAE0DD Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:54] 957*2^1521541-1 is not prime. Res64: C4A391D93D4EFE1C Time : 0.0 sec. user=mdettweiler [2018-08-17 05:16:54] 665*2^1521542-1 is not prime. Res64: 92F4E511154A3C0E Time : 0.0 sec. user=mdettweiler [2018-08-17 05:17:18] 671*2^1521542-1 is not prime. Res64: 881EF12452AE81EC Time : 0.0 sec. user=mdettweiler [2018-08-17 05:17:19] 693*2^1521542-1 is not prime. Res64: A070C96C49883EF0 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:17:20] 711*2^1521542-1 is not prime. Res64: 1EA9635B68C0C826 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:17:20] 755*2^1521542-1 is not prime. Res64: A960D0414B25A120 Time : 0.0 sec. user=mdettweiler [2018-08-17 05:17:21] 761*2^1521542-1 is not prime. Res64: 128ADA60F2E51F87 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:00:05] 797*2^1521542-1 is not prime. Res64: E7B25CD2671B61DA Time : 0.0 sec. user=mdettweiler [2018-08-17 06:00:06] 815*2^1521542-1 is not prime. Res64: 2C7E7AC249F67654 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:00:06] 825*2^1521542-1 is not prime. Res64: 2E372D43DE258DA2 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:00:07] 873*2^1521542-1 is not prime. Res64: EE10ED3C44FCECB6 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:00:07] 911*2^1521542-1 is not prime. Res64: D65E1113830E36DD Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:21] 613*2^1521543-1 is not prime. Res64: 5267F6898A4DCCC0 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:22] 739*2^1521543-1 is not prime. Res64: 3CC83A09A815F5D1 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:22] 793*2^1521543-1 is not prime. Res64: B7388C5B5F29BA13 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:22] 859*2^1521543-1 is not prime. Res64: 7DDC43A506309348 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:23] 663*2^1521544-1 is not prime. Res64: C20768B1EAC38C9A Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:40] 687*2^1521544-1 is not prime. Res64: 12938202D5AA0620 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:40] 693*2^1521544-1 is not prime. Res64: 2E9C399FA33AD6A8 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:41] 863*2^1521544-1 is not prime. Res64: 7A24B7398E36E04F Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:41] 993*2^1521544-1 is not prime. Res64: CE2E03FE5543E4B2 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:07:42] 697*2^1521545-1 is not prime. Res64: 8587E51FBCCDC217 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:08:11] 789*2^1521545-1 is not prime. Res64: 943D6E108FC087E5 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:08:11] 847*2^1521545-1 is not prime. Res64: B5A40297AA39F9B5 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:08:12] 925*2^1521545-1 is not prime. Res64: D86D31C7CF4952EC Time : 0.0 sec. user=mdettweiler [2018-08-17 06:08:12] 615*2^1521546-1 is not prime. Res64: 042D29C25C620543 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:08:13] 807*2^1521546-1 is not prime. Res64: 1FC154ECC744346A Time : 0.0 sec. user=mdettweiler [2018-08-17 06:50:54] 833*2^1521546-1 is not prime. Res64: 79DD99033DDC00E9 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:50:54] 891*2^1521546-1 is not prime. Res64: 206E5CF4F4F99EB6 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:50:55] 921*2^1521546-1 is not prime. Res64: 897E0B81E29F8FED Time : 0.0 sec. user=mdettweiler [2018-08-17 06:50:55] 947*2^1521546-1 is not prime. Res64: 1B00F8465B8BAC0D Time : 0.0 sec. user=mdettweiler [2018-08-17 06:50:55] 615*2^1521547-1 is not prime. Res64: 15E7A9FE835CAF05 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:57:49] 651*2^1521547-1 is not prime. Res64: 0C2A2135E692BF08 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:57:50] 861*2^1521547-1 is not prime. Res64: 22DC847B421C4822 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:57:50] 925*2^1521547-1 is not prime. Res64: EB66190C7766E946 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:57:50] 975*2^1521547-1 is not prime. Res64: 5B561961AB610657 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:57:51] 623*2^1521548-1 is not prime. Res64: 5713E2A29137FE14 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:27] 629*2^1521548-1 is not prime. Res64: 24AEA8B129466529 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:27] 635*2^1521548-1 is not prime. Res64: BA2ED05635C36EFF Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:28] 687*2^1521548-1 is not prime. Res64: 5DD49409D0575BD2 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:28] 725*2^1521548-1 is not prime. Res64: 95F39D7E686B9FA6 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:28] 749*2^1521548-1 is not prime. Res64: 4D3EB4B03BE860F4 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:59] 759*2^1521548-1 is not prime. Res64: 29810E675DA375AB Time : 0.0 sec. user=mdettweiler [2018-08-17 06:58:59] 773*2^1521548-1 is not prime. Res64: F8B414357624DDA8 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:59:00] 803*2^1521548-1 is not prime. Res64: C29D42DE2766B4C3 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:59:00] 819*2^1521548-1 is not prime. Res64: 14FAB966F470DAA4 Time : 0.0 sec. user=mdettweiler [2018-08-17 06:59:00] 845*2^1521548-1 is not prime. Res64: 7B6451619C3AA4EC Time : 0.0 sec. user=mdettweiler [2018-08-17 07:41:42] 855*2^1521548-1 is not prime. Res64: A938710B6108F245 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:41:43] 885*2^1521548-1 is not prime. Res64: FA8C8EE15546DEDB Time : 0.0 sec. user=mdettweiler [2018-08-17 07:41:43] 957*2^1521548-1 is not prime. Res64: 35D1BCA0C66F4BFE Time : 0.0 sec. user=mdettweiler [2018-08-17 07:41:44] 679*2^1521549-1 is not prime. Res64: B6A48D4F955B271D Time : 0.0 sec. user=mdettweiler [2018-08-17 07:41:44] 747*2^1521549-1 is not prime. Res64: DEDE7BC9E53D3ADF Time : 0.0 sec. user=mdettweiler [2018-08-17 07:48:58] 919*2^1521549-1 is not prime. Res64: D6D1D573B1D037A2 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:48:58] 975*2^1521549-1 is not prime. Res64: 10422A5DF8792583 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:48:59] 985*2^1521549-1 is not prime. Res64: AB1380CE750B4E04 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:48:59] 997*2^1521549-1 is not prime. Res64: 6E681DFC5F5A0CA0 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:48:59] 647*2^1521550-1 is not prime. Res64: 2A3020CA230AB8B6 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:08] 663*2^1521550-1 is not prime. Res64: 621B9F8EBFC96667 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:09] 665*2^1521550-1 is not prime. Res64: 311FE2634F86F6DC Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:09] 717*2^1521550-1 is not prime. Res64: 947A3BDBA5FE9885 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:09] 831*2^1521550-1 is not prime. Res64: C46058D0DE6C0A7B Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:10] 917*2^1521550-1 is not prime. Res64: D747EDB52FC64903 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:55] 923*2^1521550-1 is not prime. Res64: 9CE71B7A73245B9D Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:55] 971*2^1521550-1 is not prime. Res64: 4172FBD3F23F5A28 Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:55] 619*2^1521551-1 is not prime. Res64: BDAD931700497FFE Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:56] 735*2^1521551-1 is not prime. Res64: 683B09A0174598DA Time : 0.0 sec. user=mdettweiler [2018-08-17 07:49:56] 781*2^1521551-1 is not prime. Res64: 7761619195C7D838 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:32:33] 819*2^1521551-1 is not prime. Res64: 3636D19A0431632D Time : 0.0 sec. user=mdettweiler [2018-08-17 08:32:34] 979*2^1521551-1 is not prime. Res64: E504577D3B1BB8C9 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:32:34] 991*2^1521551-1 is not prime. Res64: CD4D5E57D8D1AEB4 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:32:35] 657*2^1521552-1 is not prime. Res64: A3993A3E4C4B8B9E Time : 0.0 sec. user=mdettweiler [2018-08-17 08:32:35] 725*2^1521552-1 is not prime. Res64: 66B17BB4360ED2B2 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:39:41] 879*2^1521552-1 is not prime. Res64: BEEB9562F66DB096 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:39:41] 999*2^1521552-1 is not prime. Res64: A97A9E8C553C1DDC Time : 0.0 sec. user=mdettweiler [2018-08-17 08:39:42] 609*2^1521553-1 is not prime. Res64: EE012895771B4C6D Time : 0.0 sec. user=mdettweiler [2018-08-17 08:39:42] 769*2^1521553-1 is not prime. Res64: E43069F95B08273A Time : 0.0 sec. user=mdettweiler [2018-08-17 08:39:42] 817*2^1521553-1 is not prime. Res64: 57267A9D60C715F8 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:00] 855*2^1521553-1 is not prime. Res64: 48A9F080FCE84F35 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:01] 867*2^1521553-1 is not prime. Res64: D018D685FFFDEA57 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:01] 945*2^1521553-1 is not prime. Res64: B30A695A734F1136 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:02] 623*2^1521554-1 is not prime. Res64: EB964926A72D3094 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:02] 683*2^1521554-1 is not prime. Res64: 6F9AB98A3161CB71 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:38] 711*2^1521554-1 is not prime. Res64: 18A6E3004643FF8B Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:39] 755*2^1521554-1 is not prime. Res64: 8411FBBF2BE0635C Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:39] 851*2^1521554-1 is not prime. Res64: 85C310087302D934 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:40] 887*2^1521554-1 is not prime. Res64: CA4E097056841E19 Time : 0.0 sec. user=mdettweiler [2018-08-17 08:40:40] 971*2^1521554-1 is not prime. Res64: 656D5D27517D4B33 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:24:05] 709*2^1521555-1 is not prime. Res64: 31C4A5FF970C53AC Time : 0.0 sec. user=mdettweiler [2018-08-17 09:24:05] 775*2^1521555-1 is not prime. Res64: 4FE9272ECD5B2AFE Time : 0.0 sec. user=mdettweiler [2018-08-17 09:24:06] 793*2^1521555-1 is not prime. Res64: F156CFAD6EC23D27 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:24:06] 795*2^1521555-1 is not prime. Res64: 8E70E138F1AAA800 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:24:06] 805*2^1521555-1 is not prime. Res64: 84D3E422C14F9E3E Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:06] 943*2^1521555-1 is not prime. Res64: ECA2413A51CEF6A4 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:06] 617*2^1521556-1 is not prime. Res64: D96A1283A8988E59 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:07] 629*2^1521556-1 is not prime. Res64: C1BED53F0452B807 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:07] 723*2^1521556-1 is not prime. Res64: 2347F00EC253E17B Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:08] 857*2^1521556-1 is not prime. Res64: 27532941175D26DD Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:12] 869*2^1521556-1 is not prime. Res64: 42FA92C6CD9B54A8 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:12] 933*2^1521556-1 is not prime. Res64: EEACB5449B7BF583 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:12] 619*2^1521557-1 is not prime. Res64: 7C7F1338BA2E2B31 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:13] 669*2^1521557-1 is not prime. Res64: 64CE7E9B1C913EDE Time : 0.0 sec. user=mdettweiler [2018-08-17 09:31:13] 711*2^1521557-1 is not prime. Res64: 58265200DF25A24C Time : 0.0 sec. user=mdettweiler [2018-08-17 09:32:26] 729*2^1521557-1 is not prime. Res64: EB264BBEEA760037 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:32:26] 937*2^1521557-1 is not prime. Res64: 6370B734F98FE86E Time : 0.0 sec. user=mdettweiler [2018-08-17 09:32:27] 671*2^1521558-1 is not prime. Res64: CD2616097581DD69 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:32:27] 683*2^1521558-1 is not prime. Res64: 2893FFA75408E002 Time : 0.0 sec. user=mdettweiler [2018-08-17 09:32:28] 707*2^1521558-1 is not prime. Res64: F3035F37985B4F0E Time : 0.0 sec. user=mdettweiler [2018-08-17 10:14:38] 711*2^1521558-1 is not prime. Res64: 1F7E9F2DC5F00CD0 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:14:39] 821*2^1521558-1 is not prime. Res64: 3EBE720BD8F34F67 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:14:39] 933*2^1521558-1 is not prime. Res64: 6E9A277B38A85B2F Time : 0.0 sec. user=mdettweiler [2018-08-17 10:14:40] 993*2^1521558-1 is not prime. Res64: 3CB8EB491F7FC228 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:14:40] 619*2^1521559-1 is not prime. Res64: 716359A65A199FB7 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:40] 625*2^1521559-1 is not prime. Res64: 02ABC3F292D6621F Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:41] 765*2^1521559-1 is not prime. Res64: 0F36D94DDEB79389 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:41] 831*2^1521559-1 is not prime. Res64: 272BC19198885EE6 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:42] 855*2^1521559-1 is not prime. Res64: CADE2D196FA00D70 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:42] 635*2^1521560-1 is not prime. Res64: 2EBFE4AEEB024B7B Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:59] 665*2^1521560-1 is not prime. Res64: AC88826531114721 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:21:59] 669*2^1521560-1 is not prime. Res64: CD132DE3E639C1BD Time : 0.0 sec. user=mdettweiler [2018-08-17 10:22:00] 725*2^1521560-1 is not prime. Res64: B82FFB129A390350 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:22:00] 827*2^1521560-1 is not prime. Res64: E7303805B8A5631A Time : 0.0 sec. user=mdettweiler [2018-08-17 10:22:00] 923*2^1521560-1 is not prime. Res64: 9CF95ACFE660F13B Time : 0.0 sec. user=mdettweiler [2018-08-17 10:23:02] 625*2^1521561-1 is not prime. Res64: 3FE4567930EF5FC6 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:23:02] 651*2^1521561-1 is not prime. Res64: F1B3B8E63A3A5349 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:23:02] 895*2^1521561-1 is not prime. Res64: AB763DCE38E41B55 Time : 0.0 sec. user=mdettweiler [2018-08-17 10:23:03] 921*2^1521561-1 is not prime. Res64: 3B2119369BC09F9B Time : 0.0 sec. user=mdettweiler [2018-08-17 10:23:03] 651*2^1521562-1 is not prime. Res64: A95594741B452C64 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:05:22] 657*2^1521562-1 is not prime. Res64: 5A578CD664CD421E Time : 0.0 sec. user=mdettweiler [2018-08-17 11:05:24] 675*2^1521562-1 is not prime. Res64: AA2A49FD4F9C3A47 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:05:26] 731*2^1521562-1 is not prime. Res64: 5AAF01006541E0C5 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:05:28] 765*2^1521562-1 is not prime. Res64: 7F435F36A2532175 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:05:29] 777*2^1521562-1 is not prime. Res64: F7AB8F6678F2AB41 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:25] 801*2^1521562-1 is not prime. Res64: 251FBCE8D81C747A Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:25] 815*2^1521562-1 is not prime. Res64: A63394E868CFDB3C Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:26] 827*2^1521562-1 is not prime. Res64: C129BC584CAABA5C Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:26] 831*2^1521562-1 is not prime. Res64: E12F94C46473B3DF Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:27] 917*2^1521562-1 is not prime. Res64: 1A1EA4A259DA0389 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:27] 631*2^1521563-1 is not prime. Res64: DEF5C8C33C4E1ACD Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:27] 705*2^1521563-1 is not prime. Res64: DD829ED53776C9D2 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:28] 735*2^1521563-1 is not prime. Res64: C73935FD1C6973B3 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:28] 771*2^1521563-1 is not prime. Res64: 93DB4DA83DB68DC9 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:12:29] 813*2^1521563-1 is not prime. Res64: 923EFA22DC86AC4B Time : 0.0 sec. user=mdettweiler [2018-08-17 11:13:38] 949*2^1521563-1 is not prime. Res64: CB57C6AB45A96E08 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:13:39] 675*2^1521564-1 is not prime. Res64: 338C023DFF15D933 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:13:39] 683*2^1521564-1 is not prime. Res64: DEA7DC36C6C99DD3 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:13:39] 843*2^1521564-1 is not prime. Res64: A18005C24759884D Time : 0.0 sec. user=mdettweiler [2018-08-17 11:13:40] 863*2^1521564-1 is not prime. Res64: CE8B1C22C35C2087 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:57:07] 893*2^1521564-1 is not prime. Res64: A96D9FFB8EF195AD Time : 0.0 sec. user=mdettweiler [2018-08-17 11:57:08] 983*2^1521564-1 is not prime. Res64: 5CFBF8F757C053CE Time : 0.0 sec. user=mdettweiler [2018-08-17 11:57:08] 741*2^1521565-1 is not prime. Res64: 548B9EDDD5DA20F6 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:57:09] 751*2^1521565-1 is not prime. Res64: 6D63CB1E51198A22 Time : 0.0 sec. user=mdettweiler [2018-08-17 11:57:09] 819*2^1521565-1 is not prime. Res64: 2104A3F89BEAAEC7 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:03:55] 915*2^1521565-1 is not prime. Res64: 8DD6B2AD38303664 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:03:59] 925*2^1521565-1 is not prime. Res64: F61D3B91AF735700 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:02] 979*2^1521565-1 is not prime. Res64: B8C7F11C6F9A96B8 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:04] 997*2^1521565-1 is not prime. Res64: 260E79A17AF61CFD Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:05] 671*2^1521566-1 is not prime. Res64: 01F19AF252151CE6 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:11] 675*2^1521566-1 is not prime. Res64: 68A66C337608F0A3 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:13] 677*2^1521566-1 is not prime. Res64: 7A5058488CEF09C4 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:15] 825*2^1521566-1 is not prime. Res64: 7252C41EB981AB00 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:19] 935*2^1521566-1 is not prime. Res64: 24E699BDF52FE777 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:04:23] 669*2^1521567-1 is not prime. Res64: F749C4044F09E142 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:05:13] 675*2^1521567-1 is not prime. Res64: 5A18AD6A865A8A54 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:05:16] 741*2^1521567-1 is not prime. Res64: 84AB0C89DAB14438 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:05:18] 751*2^1521567-1 is not prime. Res64: F38DC53FD9397767 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:05:20] 823*2^1521567-1 is not prime. Res64: A40E0EC85A446A5A Time : 0.0 sec. user=mdettweiler [2018-08-17 12:05:21] 829*2^1521567-1 is not prime. Res64: 53135325B8D4D965 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:47:57] 885*2^1521567-1 is not prime. Res64: 327BEBF4FC7E5A7F Time : 0.0 sec. user=mdettweiler [2018-08-17 12:47:58] 979*2^1521567-1 is not prime. Res64: 8A9AF360345C0045 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:47:58] 623*2^1521568-1 is not prime. Res64: 0A456874B59BA829 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:47:58] 707*2^1521568-1 is not prime. Res64: 48CFF8323894B8C8 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:47:59] 833*2^1521568-1 is not prime. Res64: 36216CB98E9B4E68 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:55:58] 863*2^1521568-1 is not prime. Res64: 4ADDC6C19E1779F5 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:55:59] 909*2^1521568-1 is not prime. Res64: 0DDD00797AB14A3D Time : 0.0 sec. user=mdettweiler [2018-08-17 12:55:59] 975*2^1521568-1 is not prime. Res64: 5DD929CD5F5E1BA2 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:55:59] 691*2^1521569-1 is not prime. Res64: 8561B142598DB28B Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:00] 885*2^1521569-1 is not prime. Res64: 876CF31D1443F84D Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:02] 839*2^1521568-1 is not prime. Res64: A6EEE03949DFB00C Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:02] 811*2^1521569-1 is not prime. Res64: D0D62272CDC201FD Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:02] 957*2^1521569-1 is not prime. Res64: 17FC0B64667F11DC Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:03] 991*2^1521569-1 is not prime. Res64: F987E9935B920A44 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:03] 681*2^1521570-1 is not prime. Res64: B2C620762200EC33 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:22] 873*2^1521570-1 is not prime. Res64: 742B91B9D52268EF Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:22] 875*2^1521570-1 is not prime. Res64: E45FF457B7E5515B Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:23] 693*2^1521571-1 is not prime. Res64: DBB17DB927716E77 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:23] 759*2^1521571-1 is not prime. Res64: 77BC0B5B30A0C093 Time : 0.0 sec. user=mdettweiler [2018-08-17 12:56:23] 801*2^1521571-1 is not prime. Res64: 25FF11A3445DA27E Time : 0.0 sec. user=mdettweiler [2018-08-17 13:38:42] 819*2^1521571-1 is not prime. Res64: D2A82E7878CDEDC5 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:38:42] 895*2^1521571-1 is not prime. Res64: 0748D5B3D81C1E7A Time : 0.0 sec. user=mdettweiler [2018-08-17 13:38:42] 943*2^1521571-1 is not prime. Res64: DFA1DAF8B499C86A Time : 0.0 sec. user=mdettweiler [2018-08-17 13:38:43] 617*2^1521572-1 is not prime. Res64: D99AEE06A0A74A0E Time : 0.0 sec. user=mdettweiler [2018-08-17 13:38:43] 693*2^1521572-1 is not prime. Res64: E1C2F4308BD80D66 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:50] 615*2^1521573-1 is not prime. Res64: 18B5F707ACA29E96 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:51] 649*2^1521573-1 is not prime. Res64: 4057AF1D108F82D1 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:51] 819*2^1521573-1 is not prime. Res64: AF49F8ACBCA69416 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:52] 847*2^1521573-1 is not prime. Res64: AE16C79B4E48C3AF Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:52] 889*2^1521573-1 is not prime. Res64: E91758209CB525DE Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:54] 759*2^1521572-1 is not prime. Res64: 1F6D2AA8F61588DC Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:54] 797*2^1521572-1 is not prime. Res64: 2A8AF9E03E5B5EBC Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:55] 897*2^1521572-1 is not prime. Res64: B38A345B7C25DA37 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:55] 903*2^1521572-1 is not prime. Res64: 493E5953EFEC19E9 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:46:56] 999*2^1521572-1 is not prime. Res64: BC89AFF87DFFE0DD Time : 0.0 sec. user=mdettweiler [2018-08-17 13:47:15] 917*2^1521574-1 is not prime. Res64: F18CA88A107FC91E Time : 0.0 sec. user=mdettweiler [2018-08-17 13:47:16] 951*2^1521574-1 is not prime. Res64: 9F12CDEAC5D53E57 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:47:16] 971*2^1521574-1 is not prime. Res64: 39A743433922F10D Time : 0.0 sec. user=mdettweiler [2018-08-17 13:47:17] 601*2^1521575-1 is not prime. Res64: 7CF6D21F3FB95636 Time : 0.0 sec. user=mdettweiler [2018-08-17 13:47:17] 609*2^1521575-1 is not prime. Res64: 0956BC2EBE9CDCC6 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:29:12] 673*2^1521575-1 is not prime. Res64: EF3F5D2A43A912CC Time : 0.0 sec. user=mdettweiler [2018-08-17 14:29:13] 735*2^1521575-1 is not prime. Res64: 8C4319A6D73B4CA5 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:29:13] 775*2^1521575-1 is not prime. Res64: 55B9CF90B88EDA00 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:29:14] 831*2^1521575-1 is not prime. Res64: 634D353AA0A87FC3 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:29:14] 861*2^1521575-1 is not prime. Res64: 1183FD0791B3BB7F Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:31] 615*2^1521577-1 is not prime. Res64: 1B35EC53E2F4C0FB Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:31] 645*2^1521577-1 is not prime. Res64: F03E394D9918537A Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:32] 687*2^1521577-1 is not prime. Res64: 63C3287E5865907B Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:32] 847*2^1521577-1 is not prime. Res64: 2C18002546F4CF48 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:33] 871*2^1521577-1 is not prime. Res64: 27D28101876FBD59 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:34] 707*2^1521576-1 is not prime. Res64: F3A2B0521A34B1DC Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:34] 839*2^1521576-1 is not prime. Res64: 8376A61A59F9E6F2 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:35] 845*2^1521576-1 is not prime. Res64: 31168A20A9DB2BEA Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:35] 945*2^1521576-1 is not prime. Res64: E247AC81F6C155C5 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:37:35] 975*2^1521576-1 is not prime. Res64: 3765BD298E4EEF50 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:38:03] 901*2^1521577-1 is not prime. Res64: 8597B9F240B2C313 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:38:03] 931*2^1521577-1 is not prime. Res64: 7AB41941D9BAC863 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:38:03] 985*2^1521577-1 is not prime. Res64: 43B8EDB6999C4E7D Time : 0.0 sec. user=mdettweiler [2018-08-17 14:38:04] 999*2^1521577-1 is not prime. Res64: 7A801C79FDCC67E6 Time : 0.0 sec. user=mdettweiler [2018-08-17 14:38:04] 641*2^1521578-1 is not prime. Res64: 809837B71DC34790 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:20:02] 861*2^1521578-1 is not prime. Res64: EB5CF8B75859B038 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:20:02] 867*2^1521578-1 is not prime. Res64: 7C62C161C2FFE962 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:20:03] 911*2^1521578-1 is not prime. Res64: 83C5B8548F87CCEC Time : 0.0 sec. user=mdettweiler [2018-08-17 15:20:03] 1001*2^1521578-1 is not prime. Res64: A419F4F628471AA8 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:20:03] 619*2^1521579-1 is not prime. Res64: D8D62CF80089FF61 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:15] 663*2^1521579-1 is not prime. Res64: AB1134742D40CA59 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:15] 745*2^1521579-1 is not prime. Res64: 67136F7D51DE9C0D Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:15] 859*2^1521579-1 is not prime. Res64: 9165FAE4E62B3D72 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:16] 955*2^1521579-1 is not prime. Res64: D8398B3C1754BF64 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:16] 961*2^1521579-1 is not prime. Res64: EA7190BF8DD39BF4 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:21] 999*2^1521579-1 is not prime. Res64: E82311E99E67EC58 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:22] 609*2^1521580-1 is not prime. Res64: 3E09C3659E2B7479 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:22] 615*2^1521580-1 is not prime. Res64: D1475C8019EB6C70 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:22] 707*2^1521580-1 is not prime. Res64: A3CDE2404816DC63 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:23] 819*2^1521580-1 is not prime. Res64: 9EFA498139A1DDD5 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:58] 825*2^1521580-1 is not prime. Res64: 5DE98FC78D758FF3 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:58] 833*2^1521580-1 is not prime. Res64: DE5C6723A01EC55A Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:58] 855*2^1521580-1 is not prime. Res64: B907354AC7F1F8B3 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:59] 615*2^1521581-1 is not prime. Res64: 15B5803C194B8759 Time : 0.0 sec. user=mdettweiler [2018-08-17 15:28:59] 657*2^1521581-1 is not prime. Res64: EA89713309D174CB Time : 0.0 sec. user=mdettweiler [2018-08-17 16:10:34] 685*2^1521581-1 is not prime. Res64: 5EE5477AF8F15952 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:10:35] 757*2^1521581-1 is not prime. Res64: AEF32F5AD4468954 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:10:35] 949*2^1521581-1 is not prime. Res64: 192C2F649B30AD9E Time : 0.0 sec. user=mdettweiler [2018-08-17 16:10:36] 627*2^1521582-1 is not prime. Res64: 3A4182037D4A97FF Time : 0.0 sec. user=mdettweiler [2018-08-17 16:10:36] 791*2^1521582-1 is not prime. Res64: FE602CDB0340CA9E Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:45] 833*2^1521582-1 is not prime. Res64: AF1DDF1174E98550 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:45] 917*2^1521582-1 is not prime. Res64: 33985EBEF6700827 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:45] 977*2^1521582-1 is not prime. Res64: 2F10EA3B36759594 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:46] 633*2^1521583-1 is not prime. Res64: 2EBEFA7680C56C46 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:46] 679*2^1521583-1 is not prime. Res64: B19B1A3D11272F83 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:58] 751*2^1521583-1 is not prime. Res64: 6AD2D22CA3E0696F Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:58] 789*2^1521583-1 is not prime. Res64: EE984707E5BDE7C0 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:59] 855*2^1521583-1 is not prime. Res64: B204AD43E018A44E Time : 0.0 sec. user=mdettweiler [2018-08-17 16:18:59] 891*2^1521583-1 is not prime. Res64: 05E184FF648072A6 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:00] 933*2^1521583-1 is not prime. Res64: 69F28A68A3499845 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:41] 635*2^1521584-1 is not prime. Res64: E82C9AF1868BE610 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:41] 657*2^1521584-1 is not prime. Res64: 9483439EF57BA85D Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:41] 677*2^1521584-1 is not prime. Res64: 563A8E2B3EF2CBD8 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:42] 725*2^1521584-1 is not prime. Res64: 9ADFA4203A67CB38 Time : 0.0 sec. user=mdettweiler [2018-08-17 16:19:42] 819*2^1521584-1 is not prime. Res64: B03123D9ACF90EC8 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:01:12] 899*2^1521584-1 is not prime. Res64: E25233BDE09DDC2B Time : 0.0 sec. user=mdettweiler [2018-08-17 17:01:13] 917*2^1521584-1 is not prime. Res64: 44395587A6454D6A Time : 0.0 sec. user=mdettweiler [2018-08-17 17:01:14] 927*2^1521584-1 is not prime. Res64: 4D4C139B35F20397 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:01:15] 957*2^1521584-1 is not prime. Res64: F57D269A095AE4C2 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:01:16] 909*2^1521585-1 is not prime. Res64: 08DD2A1D7B9C39BB Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:15] 919*2^1521585-1 is not prime. Res64: 0DE73A056ED4712B Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:16] 653*2^1521586-1 is not prime. Res64: 995ED1281AAEB6C5 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:16] 701*2^1521586-1 is not prime. Res64: 8C609D8E66C5424E Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:17] 777*2^1521586-1 is not prime. Res64: 5F468DD2013E9D94 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:17] 975*2^1521586-1 is not prime. Res64: 34FA34FE01748DAD Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:44] 983*2^1521586-1 is not prime. Res64: 1112D39E17C9CE80 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:44] 987*2^1521586-1 is not prime. Res64: F8F26895ED2B03CB Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:44] 619*2^1521587-1 is not prime. Res64: BD960CE20477060C Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:45] 733*2^1521587-1 is not prime. Res64: F5B04F2DF597CE82 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:09:45] 843*2^1521587-1 is not prime. Res64: 71652B18EA4CFFB7 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:10:18] 963*2^1521587-1 is not prime. Res64: 1DE5F3E8E9C02484 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:10:18] 991*2^1521587-1 is not prime. Res64: E30058EE4C810C0C Time : 0.0 sec. user=mdettweiler [2018-08-17 17:10:19] 999*2^1521587-1 is not prime. Res64: 8C4E0134315C23F3 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:10:19] 723*2^1521588-1 is not prime. Res64: E091A85D8C42F854 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:10:19] 777*2^1521588-1 is not prime. Res64: B1304A2659AB1814 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:51:49] 803*2^1521588-1 is not prime. Res64: 7E9C4B043B52BF2A Time : 0.0 sec. user=mdettweiler [2018-08-17 17:51:50] 945*2^1521588-1 is not prime. Res64: 7F746EBA8D26B567 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:51:50] 947*2^1521588-1 is not prime. Res64: D73974DB42FAD328 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:51:50] 999*2^1521588-1 is not prime. Res64: BD64755AD7A21B07 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:51:51] 609*2^1521589-1 is not prime. Res64: 7EF44DAD1AF2C2ED Time : 0.0 sec. user=mdettweiler [2018-08-17 17:59:46] 687*2^1521589-1 is not prime. Res64: 110525167430CA2E Time : 0.0 sec. user=mdettweiler [2018-08-17 17:59:47] 817*2^1521589-1 is not prime. Res64: 9283ADDFCA65C71A Time : 0.0 sec. user=mdettweiler [2018-08-17 17:59:47] 707*2^1521590-1 is not prime. Res64: 6F12AED7A7B13887 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:59:47] 885*2^1521590-1 is not prime. Res64: 2672F90C99FB47D2 Time : 0.0 sec. user=mdettweiler [2018-08-17 17:59:48] 745*2^1521591-1 is not prime. Res64: 3D7F2662A48CEA94 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:18] 819*2^1521591-1 is not prime. Res64: 2B22DE6884F32797 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:19] 859*2^1521591-1 is not prime. Res64: D1BF6457D6F9C7EC Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:20] 861*2^1521591-1 is not prime. Res64: 828C58BBA439A30C Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:21] 635*2^1521592-1 is not prime. Res64: E7F078D21ADCD77A Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:23] 723*2^1521592-1 is not prime. Res64: C412D34E8292F6DD Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:53] 779*2^1521592-1 is not prime. Res64: C0C79AFD520E4672 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:54] 863*2^1521592-1 is not prime. Res64: B5320CACCF16F9FD Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:54] 873*2^1521592-1 is not prime. Res64: 2C0248B7159D60C6 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:55] 983*2^1521592-1 is not prime. Res64: 00431B1C974CAD95 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:00:56] 631*2^1521593-1 is not prime. Res64: DA79B8C99BE3EC84 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:42:21] 669*2^1521593-1 is not prime. Res64: 6414A3870ADE8F0B Time : 0.0 sec. user=mdettweiler [2018-08-17 18:42:22] 679*2^1521593-1 is not prime. Res64: 28A2E453A406C5EC Time : 0.0 sec. user=mdettweiler [2018-08-17 18:42:22] 691*2^1521593-1 is not prime. Res64: 16943685C2EFF666 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:42:22] 699*2^1521593-1 is not prime. Res64: 154686AA3D9E3708 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:42:23] 735*2^1521593-1 is not prime. Res64: 2CEABCEBC672714B Time : 0.0 sec. user=mdettweiler [2018-08-17 18:50:25] 837*2^1521593-1 is not prime. Res64: D010D0675D33C0B9 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:50:25] 945*2^1521593-1 is not prime. Res64: 57815DB0C7A88982 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:50:26] 949*2^1521593-1 is not prime. Res64: A97D50765BA31D22 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:50:26] 633*2^1521594-1 is not prime. Res64: A785D1A1DDA08FBA Time : 0.0 sec. user=mdettweiler [2018-08-17 18:50:26] 635*2^1521594-1 is not prime. Res64: E1E26156F1832BF4 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:09] 717*2^1521594-1 is not prime. Res64: D942CB7001C43241 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:10] 861*2^1521594-1 is not prime. Res64: 58275148425C6970 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:10] 881*2^1521594-1 is not prime. Res64: 4AF31E2129C58E3C Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:11] 893*2^1521594-1 is not prime. Res64: 4287210DE793BE7E Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:11] 609*2^1521595-1 is not prime. Res64: 1AE24ED1E99E41FC Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:30] 759*2^1521595-1 is not prime. Res64: 24615A0AA6CFFF23 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:30] 775*2^1521595-1 is not prime. Res64: 024A0E965A3D1531 Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:31] 843*2^1521595-1 is not prime. Res64: A2474ADCCC40160A Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:31] 853*2^1521595-1 is not prime. Res64: F582F3B6F8EEA36C Time : 0.0 sec. user=mdettweiler [2018-08-17 18:51:31] 871*2^1521595-1 is not prime. Res64: 9E9C85064B8D9507 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:34:19] 725*2^1521596-1 is not prime. Res64: 5592AF0AEC8CE2B2 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:34:19] 903*2^1521596-1 is not prime. Res64: AE4E9FC12D93EC2D Time : 0.0 sec. user=mdettweiler [2018-08-17 19:34:19] 957*2^1521596-1 is not prime. Res64: 3FC2868EDACAC9DA Time : 0.0 sec. user=mdettweiler [2018-08-17 19:34:20] 969*2^1521596-1 is not prime. Res64: 9FC1F6625B692A20 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:34:20] 999*2^1521596-1 is not prime. Res64: F1F3C2C741AAEB43 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:42:41] 651*2^1521597-1 is not prime. Res64: 1BF4ECDA761DD931 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:42:41] 717*2^1521597-1 is not prime. Res64: EBE1253E72626032 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:42:41] 735*2^1521597-1 is not prime. Res64: 3E8FFA417C6568F9 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:42:42] 819*2^1521597-1 is not prime. Res64: 3607CAD0CB079FBE Time : 0.0 sec. user=mdettweiler [2018-08-17 19:42:42] 847*2^1521597-1 is not prime. Res64: 189C7560FEB24933 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:00] 861*2^1521597-1 is not prime. Res64: B8192C0C1BCCA702 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:00] 949*2^1521597-1 is not prime. Res64: 1AD83B3A94C4F74E Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:01] 991*2^1521597-1 is not prime. Res64: 159DF4289EA58FCD Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:01] 997*2^1521597-1 is not prime. Res64: DE5593551287227D Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:02] 617*2^1521598-1 is not prime. Res64: F4E0EB6118D2C027 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:48] 687*2^1521598-1 is not prime. Res64: 6F084B59E4727186 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:49] 815*2^1521598-1 is not prime. Res64: CFA79D748E8619DE Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:49] 825*2^1521598-1 is not prime. Res64: E0BD1897E4B528D5 Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:49] 827*2^1521598-1 is not prime. Res64: F3DA7F9751D5D87A Time : 0.0 sec. user=mdettweiler [2018-08-17 19:43:50] 833*2^1521598-1 is not prime. Res64: A6C5556DAA79416E Time : 0.0 sec. user=mdettweiler [2018-08-17 20:29:39] 891*2^1521598-1 is not prime. Res64: A3B69A80E81CC2BE Time : 0.0 sec. user=mdettweiler [2018-08-17 20:29:39] 987*2^1521598-1 is not prime. Res64: A03B0C5EC1E27E50 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:29:39] 993*2^1521598-1 is not prime. Res64: 9BC5DCC0AA6CD546 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:29:40] 621*2^1521599-1 is not prime. Res64: F5EFC890AF9068A8 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:29:40] 661*2^1521599-1 is not prime. Res64: E999CC9C3579FD3D Time : 0.0 sec. user=mdettweiler [2018-08-17 20:38:45] 663*2^1521599-1 is not prime. Res64: 95D869C2FA67A4EA Time : 0.0 sec. user=mdettweiler [2018-08-17 20:38:45] 711*2^1521599-1 is not prime. Res64: 6694C4AEE6F3B83F Time : 0.0 sec. user=mdettweiler [2018-08-17 20:38:46] 813*2^1521599-1 is not prime. Res64: 9C32BD97D8C36C40 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:38:46] 955*2^1521599-1 is not prime. Res64: A57ED0B68F9ED6F2 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:38:46] 973*2^1521599-1 is not prime. Res64: E7ABF5E1972EBF7D Time : 0.0 sec. user=mdettweiler [2018-08-17 20:39:58] 623*2^1521600-1 is not prime. Res64: 388D16067F541B57 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:39:58] 635*2^1521600-1 is not prime. Res64: 8C11896AE8810F81 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:39:58] 945*2^1521600-1 is not prime. Res64: 9A2639261CCF8853 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:39:59] 975*2^1521600-1 is not prime. Res64: 87E2ACB944153937 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:39:59] 637*2^1521601-1 is not prime. Res64: 343012A328463361 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:40:25] 687*2^1521601-1 is not prime. Res64: 4B453518537A5811 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:40:26] 747*2^1521601-1 is not prime. Res64: 601BEC174E5E0DCE Time : 0.0 sec. user=mdettweiler [2018-08-17 20:40:26] 819*2^1521601-1 is not prime. Res64: C766DADF39223934 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:40:27] 847*2^1521601-1 is not prime. Res64: 628D545DBAB88742 Time : 0.0 sec. user=mdettweiler [2018-08-17 20:40:27] 867*2^1521601-1 is not prime. Res64: 911528A6A340B30D Time : 0.0 sec. user=mdettweiler [2018-08-17 21:24:58] 895*2^1521601-1 is not prime. Res64: BE23A839C58EAA25 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:24:58] 909*2^1521601-1 is not prime. Res64: C831A87D096F2B33 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:24:59] 925*2^1521601-1 is not prime. Res64: 2459A7B10A0DAFBE Time : 0.0 sec. user=mdettweiler [2018-08-17 21:24:59] 931*2^1521601-1 is not prime. Res64: 7D31B6CBF7227394 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:25:00] 615*2^1521602-1 is not prime. Res64: 0AC23C5B82A57244 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:32:52] 627*2^1521602-1 is not prime. Res64: 696A92972719FB04 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:32:53] 885*2^1521602-1 is not prime. Res64: 0F99AED32234709D Time : 0.0 sec. user=mdettweiler [2018-08-17 21:32:53] 945*2^1521602-1 is not prime. Res64: BC153CF8BA2FEB38 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:32:53] 957*2^1521602-1 is not prime. Res64: D1F4FD3DE4B63120 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:32:54] 977*2^1521602-1 is not prime. Res64: C00C7BDA24711EB1 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:04] 825*2^1521603-1 is not prime. Res64: D8D67B7D8C3A1DAE Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:05] 829*2^1521603-1 is not prime. Res64: 5D8B78CBA1244F0D Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:05] 945*2^1521603-1 is not prime. Res64: DFFE98F9669C6D8B Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:06] 605*2^1521604-1 is not prime. Res64: 84950DFC42A38D9F Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:06] 615*2^1521604-1 is not prime. Res64: 2ADCDDF30970FBCE Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:13] 625*2^1521603-1 is not prime. Res64: F3B3A331CFE95607 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:14] 649*2^1521603-1 is not prime. Res64: CA40AF2BAC8CD6A3 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:14] 663*2^1521603-1 is not prime. Res64: BB355DEF816D2D77 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:15] 751*2^1521603-1 is not prime. Res64: B10AF0D3543B8230 Time : 0.0 sec. user=mdettweiler [2018-08-17 21:34:15] 801*2^1521603-1 is not prime. Res64: 178D4FFDA02B8338 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:16:07] 923*2^1521604-1 is not prime. Res64: 7D8FE1A829BA313C Time : 0.0 sec. user=mdettweiler [2018-08-17 22:16:08] 627*2^1521605-1 is not prime. Res64: 696CC47096B8ED2B Time : 0.0 sec. user=mdettweiler [2018-08-17 22:16:08] 685*2^1521605-1 is not prime. Res64: 2F4E82FDE9BDCC3A Time : 0.0 sec. user=mdettweiler [2018-08-17 22:16:09] 715*2^1521605-1 is not prime. Res64: 349950687A8E3DAC Time : 0.0 sec. user=mdettweiler [2018-08-17 22:16:09] 741*2^1521605-1 is not prime. Res64: 3CF970933C2CB63D Time : 0.0 sec. user=mdettweiler [2018-08-17 22:23:44] 775*2^1521605-1 is not prime. Res64: 2189D32238F6E81C Time : 0.0 sec. user=mdettweiler [2018-08-17 22:23:44] 795*2^1521605-1 is not prime. Res64: CA96EA36A3B6235C Time : 0.0 sec. user=mdettweiler [2018-08-17 22:23:45] 805*2^1521605-1 is not prime. Res64: 7138801FA37BF373 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:23:45] 937*2^1521605-1 is not prime. Res64: EACA762EAB0A673C Time : 0.0 sec. user=mdettweiler [2018-08-17 22:23:46] 657*2^1521606-1 is not prime. Res64: D0B2F378DEE36792 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:49] 705*2^1521606-1 is not prime. Res64: 4DD47A5EA94B9A2B Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:49] 713*2^1521606-1 is not prime. Res64: D4F35249F3FB172E Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:49] 723*2^1521606-1 is not prime. Res64: 84F04E8E6BA553DD Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:50] 777*2^1521606-1 is not prime. Res64: AF51CC4300F0511B Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:50] 903*2^1521606-1 is not prime. Res64: 5C35C5A2EB522903 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:58] 963*2^1521606-1 is not prime. Res64: A225F8DB893CC732 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:58] 975*2^1521606-1 is not prime. Res64: 1E44AC93BEC380DF Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:58] 705*2^1521607-1 is not prime. Res64: 489CD5A561715328 Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:59] 759*2^1521607-1 is not prime. Res64: E4E7692344EF330C Time : 0.0 sec. user=mdettweiler [2018-08-17 22:24:59] 889*2^1521607-1 is not prime. Res64: 1943EF0000F884D2 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:07:45] 951*2^1521607-1 is not prime. Res64: 26589A8E65E93EE1 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:07:46] 663*2^1521608-1 is not prime. Res64: FB12FF435BBCCA84 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:07:46] 797*2^1521608-1 is not prime. Res64: 7770703925FF872F Time : 0.0 sec. user=mdettweiler [2018-08-17 23:07:47] 843*2^1521608-1 is not prime. Res64: 5B5EE89DFA4E248E Time : 0.0 sec. user=mdettweiler [2018-08-17 23:07:47] 945*2^1521608-1 is not prime. Res64: 615FF4A3F34D035D Time : 0.0 sec. user=mdettweiler [2018-08-17 23:14:48] 691*2^1521609-1 is not prime. Res64: C3820EE235C19407 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:14:48] 759*2^1521609-1 is not prime. Res64: 5BCA86057A6BB51B Time : 0.0 sec. user=mdettweiler [2018-08-17 23:14:48] 831*2^1521609-1 is not prime. Res64: A11D0181BEC13D08 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:14:49] 847*2^1521609-1 is not prime. Res64: 1D812B458C881137 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:14:49] 877*2^1521609-1 is not prime. Res64: E75760386A330266 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:15:24] 889*2^1521609-1 is not prime. Res64: 44E7F2CD45786BE8 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:15:25] 921*2^1521609-1 is not prime. Res64: 2807A154A2A5E766 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:15:25] 603*2^1521610-1 is not prime. Res64: 29B057ABD78D6711 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:15:26] 611*2^1521610-1 is not prime. Res64: 22BEB3FDC7523E6B Time : 0.0 sec. user=mdettweiler [2018-08-17 23:15:26] 665*2^1521610-1 is not prime. Res64: 3239A0AB177136E9 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:16:07] 735*2^1521610-1 is not prime. Res64: CC3DE4F5A397171A Time : 0.0 sec. user=mdettweiler [2018-08-17 23:16:07] 803*2^1521610-1 is not prime. Res64: B5A495BF7955FCD2 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:16:08] 885*2^1521610-1 is not prime. Res64: 2EA920E6CE030D86 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:16:08] 917*2^1521610-1 is not prime. Res64: 40DE2AA15353E9AD Time : 0.0 sec. user=mdettweiler [2018-08-17 23:16:08] 941*2^1521610-1 is not prime. Res64: 041881D406597807 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:58:35] 975*2^1521610-1 is not prime. Res64: EAA8A8FCAEAEB2D1 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:58:36] 651*2^1521611-1 is not prime. Res64: BA149D0E4FCF262D Time : 0.0 sec. user=mdettweiler [2018-08-17 23:58:37] 679*2^1521611-1 is not prime. Res64: 9D19E378BCD2A215 Time : 0.0 sec. user=mdettweiler [2018-08-17 23:58:37] 855*2^1521611-1 is not prime. Res64: B91C2D533FBA170D Time : 0.0 sec. user=mdettweiler [2018-08-17 23:58:38] 901*2^1521611-1 is not prime. Res64: F9091E65BE514621 Time : 0.0 sec.