user=mdettweiler [2018-05-03 00:04:04] 665*2^1508764-1 is not prime. Res64: 50100EB5A8FDAA83 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:04:05] 699*2^1508764-1 is not prime. Res64: 1E4E07EE6570623E Time : 0.0 sec. user=mdettweiler [2018-05-03 00:04:06] 743*2^1508764-1 is not prime. Res64: A24D5A1A37D07087 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:04:07] 755*2^1508764-1 is not prime. Res64: ADFEFCA7E0B9472F Time : 0.0 sec. user=mdettweiler [2018-05-03 00:04:08] 783*2^1508764-1 is not prime. Res64: 1263F812D447134B Time : 0.0 sec. user=mdettweiler [2018-05-03 00:10:45] 843*2^1508764-1 is not prime. Res64: 099A36C15C21450B Time : 0.0 sec. user=mdettweiler [2018-05-03 00:10:45] 873*2^1508764-1 is not prime. Res64: 1CCD8ED52CB6B607 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:10:46] 915*2^1508764-1 is not prime. Res64: 042D6F761AE6F5CD Time : 0.0 sec. user=mdettweiler [2018-05-03 00:10:47] 675*2^1508765-1 is not prime. Res64: 4E63BE99C88CC0AB Time : 0.0 sec. user=mdettweiler [2018-05-03 00:10:47] 691*2^1508765-1 is not prime. Res64: 431407E14AB0132E Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:39] 697*2^1508765-1 is not prime. Res64: B98947F76E37B279 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:39] 939*2^1508765-1 is not prime. Res64: 7F5EF0AAC4E5DE16 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:40] 725*2^1508766-1 is not prime. Res64: 21A26F297D18ADA0 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:40] 891*2^1508766-1 is not prime. Res64: 8EDD95C061BB5B12 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:40] 917*2^1508766-1 is not prime. Res64: C14E11C35842F857 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:57] 945*2^1508766-1 is not prime. Res64: 3A7522FCB2F12248 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:58] 1001*2^1508766-1 is not prime. Res64: A1BC485EB39D7F6A Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:59] 919*2^1508767-1 is not prime. Res64: 0239363BCC6A1F38 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:25:59] 633*2^1508768-1 is not prime. Res64: D27C013A1E856F15 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:26:00] 689*2^1508768-1 is not prime. Res64: 4007FE1ECB3E597B Time : 0.0 sec. user=mdettweiler [2018-05-03 00:54:52] 839*2^1508768-1 is not prime. Res64: AB40B456B495C7E5 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:54:52] 639*2^1508769-1 is not prime. Res64: D8F97C08F31CB6DE Time : 0.0 sec. user=mdettweiler [2018-05-03 00:54:53] 657*2^1508769-1 is not prime. Res64: 3F40A5B95BA8E8C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:54:53] 907*2^1508769-1 is not prime. Res64: EE1D48D4FD7550A4 Time : 0.0 sec. user=mdettweiler [2018-05-03 00:54:54] 909*2^1508769-1 is not prime. Res64: 3056A40CBEF1D316 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:01:50] 985*2^1508769-1 is not prime. Res64: 4D182DB7A33D4725 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:01:51] 677*2^1508770-1 is not prime. Res64: 4BB9848DB12CBEBC Time : 0.0 sec. user=mdettweiler [2018-05-03 01:01:51] 777*2^1508770-1 is not prime. Res64: CA0FD9EBF798AF2B Time : 0.0 sec. user=mdettweiler [2018-05-03 01:01:52] 855*2^1508770-1 is not prime. Res64: 4EFCFF63DB584BF6 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:01:53] 873*2^1508770-1 is not prime. Res64: 9BE564D36D1EE1E2 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:15:43] 981*2^1508771-1 is not prime. Res64: 155E18F95B9B7BE4 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:15:43] 999*2^1508771-1 is not prime. Res64: 101D11AF30E51814 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:15:44] 635*2^1508772-1 is not prime. Res64: 2793E55BD0977991 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:15:44] 657*2^1508772-1 is not prime. Res64: 52412706F29E988E Time : 0.0 sec. user=mdettweiler [2018-05-03 01:15:45] 669*2^1508772-1 is not prime. Res64: BE17E9A384ED9DFD Time : 0.0 sec. user=mdettweiler [2018-05-03 01:16:25] 933*2^1508770-1 is not prime. Res64: E3705A78E1D845A5 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:16:25] 975*2^1508770-1 is not prime. Res64: C2AE880FB19F62BD Time : 0.0 sec. user=mdettweiler [2018-05-03 01:16:26] 781*2^1508771-1 is not prime. Res64: 182859F27606ADFF Time : 0.0 sec. user=mdettweiler [2018-05-03 01:16:26] 823*2^1508771-1 is not prime. Res64: 00BBEF8088767A0E Time : 0.0 sec. user=mdettweiler [2018-05-03 01:16:26] 955*2^1508771-1 is not prime. Res64: 6755CDC7F5742BC3 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:47:46] 683*2^1508772-1 is not prime. Res64: EEF19D861C39614F Time : 0.0 sec. user=mdettweiler [2018-05-03 01:47:46] 875*2^1508772-1 is not prime. Res64: 7F662BB1684C987C Time : 0.0 sec. user=mdettweiler [2018-05-03 01:47:47] 607*2^1508773-1 is not prime. Res64: B41FAA01C049C9C0 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:47:47] 715*2^1508773-1 is not prime. Res64: 9CAE8F40F5B900C4 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:47:48] 775*2^1508773-1 is not prime. Res64: C6AA7A78CA1BB686 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:56:00] 889*2^1508773-1 is not prime. Res64: 721EC2542BD96C64 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:56:01] 937*2^1508773-1 is not prime. Res64: B1ABF34A4FFC915F Time : 0.0 sec. user=mdettweiler [2018-05-03 01:56:03] 951*2^1508773-1 is not prime. Res64: EC71DDDD721573AB Time : 0.0 sec. user=mdettweiler [2018-05-03 01:56:03] 635*2^1508774-1 is not prime. Res64: 02022DE3639AB957 Time : 0.0 sec. user=mdettweiler [2018-05-03 01:56:05] 641*2^1508774-1 is not prime. Res64: E7C12D2D6CAA936B Time : 0.0 sec. user=mdettweiler [2018-05-03 02:08:49] 651*2^1508775-1 is not prime. Res64: 9224D2D96B8A6F3E Time : 0.0 sec. user=mdettweiler [2018-05-03 02:08:51] 741*2^1508775-1 is not prime. Res64: FBC8757583ABFFD5 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:08:53] 793*2^1508775-1 is not prime. Res64: B8B16A1088C47231 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:08:55] 829*2^1508775-1 is not prime. Res64: 6E3FE45FF91577A2 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:08:56] 913*2^1508775-1 is not prime. Res64: 86FF53CA1AA51CFA Time : 0.0 sec. user=mdettweiler [2018-05-03 02:12:18] 707*2^1508774-1 is not prime. Res64: 4873ADB1686E8B1E Time : 0.0 sec. user=mdettweiler [2018-05-03 02:12:18] 857*2^1508774-1 is not prime. Res64: AF687AF8FE13EF09 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:12:19] 861*2^1508774-1 is not prime. Res64: D9E5B5DAE7B00228 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:12:20] 885*2^1508774-1 is not prime. Res64: FA8A2DF36AC4126E Time : 0.0 sec. user=mdettweiler [2018-05-03 02:12:20] 633*2^1508775-1 is not prime. Res64: 0A600EC8307E5E90 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:40:39] 985*2^1508775-1 is not prime. Res64: 86DED1F08D76F8FE Time : 0.0 sec. user=mdettweiler [2018-05-03 02:40:39] 719*2^1508776-1 is not prime. Res64: 669A6EA6AA73E898 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:40:40] 803*2^1508776-1 is not prime. Res64: 13C132DC517F41EB Time : 0.0 sec. user=mdettweiler [2018-05-03 02:40:40] 839*2^1508776-1 is not prime. Res64: 24C9884BE6311D78 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:40:41] 843*2^1508776-1 is not prime. Res64: 45EA26E435EDA872 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:49:57] 887*2^1508776-1 is not prime. Res64: 93F1C8639755FADE Time : 0.0 sec. user=mdettweiler [2018-05-03 02:49:59] 903*2^1508776-1 is not prime. Res64: 051826ADEBAA025A Time : 0.0 sec. user=mdettweiler [2018-05-03 02:50:01] 947*2^1508776-1 is not prime. Res64: 0B372061C4437D8A Time : 0.0 sec. user=mdettweiler [2018-05-03 02:50:01] 631*2^1508777-1 is not prime. Res64: 4E15EFA6CB372E40 Time : 0.0 sec. user=mdettweiler [2018-05-03 02:50:02] 759*2^1508777-1 is not prime. Res64: C55A94805BB8178C Time : 0.0 sec. user=mdettweiler [2018-05-03 03:02:17] 915*2^1508777-1 is not prime. Res64: 2912DBE8FDC0F955 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:02:18] 949*2^1508777-1 is not prime. Res64: E5F153905FAF9F7F Time : 0.0 sec. user=mdettweiler [2018-05-03 03:02:19] 957*2^1508777-1 is not prime. Res64: B6599432EE0D980F Time : 0.0 sec. user=mdettweiler [2018-05-03 03:02:21] 985*2^1508777-1 is not prime. Res64: 2674426F8ADD396D Time : 0.0 sec. user=mdettweiler [2018-05-03 03:02:22] 695*2^1508778-1 is not prime. Res64: D592E3344F3C3F26 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:04:22] 747*2^1508778-1 is not prime. Res64: 4EADB0C8ED42680C Time : 0.0 sec. user=mdettweiler [2018-05-03 03:04:24] 755*2^1508778-1 is not prime. Res64: 9DD55A91ADA891B8 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:04:27] 833*2^1508778-1 is not prime. Res64: 7764AB6CA531BF35 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:04:28] 861*2^1508778-1 is not prime. Res64: B69E03D4E116E463 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:04:29] 957*2^1508778-1 is not prime. Res64: 7D1FC82731E90954 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:33:49] 975*2^1508778-1 is not prime. Res64: 0D15123914C26035 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:33:50] 639*2^1508779-1 is not prime. Res64: D16C961953FDDDB6 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:33:51] 645*2^1508779-1 is not prime. Res64: 5CA570D6E3D64B2B Time : 0.0 sec. user=mdettweiler [2018-05-03 03:33:52] 681*2^1508779-1 is not prime. Res64: 9D1C894AA154A18A Time : 0.0 sec. user=mdettweiler [2018-05-03 03:33:53] 723*2^1508779-1 is not prime. Res64: C08CEB2C23CA290C Time : 0.0 sec. user=mdettweiler [2018-05-03 03:42:44] 841*2^1508779-1 is not prime. Res64: 46697DDEEC26172D Time : 0.0 sec. user=mdettweiler [2018-05-03 03:42:45] 909*2^1508779-1 is not prime. Res64: 88D07D0A072E41EF Time : 0.0 sec. user=mdettweiler [2018-05-03 03:42:46] 609*2^1508780-1 is not prime. Res64: 1857A4C6C983D331 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:42:47] 777*2^1508780-1 is not prime. Res64: 0307B9792CFA1F5C Time : 0.0 sec. user=mdettweiler [2018-05-03 03:42:48] 789*2^1508780-1 is not prime. Res64: 8A11CD7F599D5BBC Time : 0.0 sec. user=mdettweiler [2018-05-03 03:54:01] 977*2^1508780-1 is not prime. Res64: 48F1FC6864E0E841 Time : 0.0 sec. user=mdettweiler [2018-05-03 03:54:03] 999*2^1508780-1 is not prime. Res64: 01819C3BA858FA1E Time : 0.0 sec. user=mdettweiler [2018-05-03 03:54:05] 621*2^1508781-1 is not prime. Res64: CFE5A1029AF9B79F Time : 0.0 sec. user=mdettweiler [2018-05-03 03:54:06] 657*2^1508781-1 is not prime. Res64: CB5470B2649405CC Time : 0.0 sec. user=mdettweiler [2018-05-03 03:54:10] 741*2^1508781-1 is not prime. Res64: C8C7B0697F065B2A Time : 0.0 sec. user=mdettweiler [2018-05-03 04:00:07] 747*2^1508781-1 is not prime. Res64: 4BB1DF7F2C4F048A Time : 0.0 sec. user=mdettweiler [2018-05-03 04:00:13] 921*2^1508781-1 is not prime. Res64: 27563ABF5D064DC2 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:00:20] 951*2^1508781-1 is not prime. Res64: 333C115B56D3755B Time : 0.0 sec. user=mdettweiler [2018-05-03 04:00:22] 969*2^1508781-1 is not prime. Res64: 365B8E97CDDC2866 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:00:31] 681*2^1508782-1 is not prime. Res64: F697877DF7375B49 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:25:16] 717*2^1508782-1 is not prime. Res64: C143215E86FFAFAC Time : 0.0 sec. user=mdettweiler [2018-05-03 04:25:17] 723*2^1508782-1 is not prime. Res64: 417877DDDA41C256 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:25:18] 741*2^1508782-1 is not prime. Res64: B27E85A9559CA7FC Time : 0.0 sec. user=mdettweiler [2018-05-03 04:25:19] 887*2^1508782-1 is not prime. Res64: F0DC9E775E190BCB Time : 0.0 sec. user=mdettweiler [2018-05-03 04:25:20] 951*2^1508782-1 is not prime. Res64: CCCEDF7D040E3AA7 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:34:08] 663*2^1508783-1 is not prime. Res64: 13100D07ABDE245C Time : 0.0 sec. user=mdettweiler [2018-05-03 04:34:09] 729*2^1508783-1 is not prime. Res64: 57DC8D0E7ECCF613 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:34:09] 735*2^1508783-1 is not prime. Res64: B0B9D801EBF33500 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:34:09] 753*2^1508783-1 is not prime. Res64: 6BD9990D63736A65 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:34:10] 783*2^1508783-1 is not prime. Res64: 38C1BCA54F5A46C7 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:44:45] 859*2^1508783-1 is not prime. Res64: 805C55AE1166B4B0 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:44:45] 705*2^1508784-1 is not prime. Res64: E7E84A30C0C54687 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:44:46] 747*2^1508784-1 is not prime. Res64: 12ABD6156E30422A Time : 0.0 sec. user=mdettweiler [2018-05-03 04:44:47] 759*2^1508784-1 is not prime. Res64: D65A2568CEBF9221 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:44:47] 815*2^1508784-1 is not prime. Res64: F8F2DAC6244AF085 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:51:59] 609*2^1508785-1 is not prime. Res64: 363787D50F028980 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:51:59] 841*2^1508785-1 is not prime. Res64: CE3E0EC4A3736D78 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:52:00] 955*2^1508785-1 is not prime. Res64: 84AF179D24764D8E Time : 0.0 sec. user=mdettweiler [2018-05-03 04:52:01] 683*2^1508786-1 is not prime. Res64: A44379B405403FD8 Time : 0.0 sec. user=mdettweiler [2018-05-03 04:52:01] 711*2^1508786-1 is not prime. Res64: F09248A054C8396E Time : 0.0 sec. user=mdettweiler [2018-05-03 05:16:20] 735*2^1508786-1 is not prime. Res64: 3AA117FF51456B68 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:16:21] 783*2^1508786-1 is not prime. Res64: 7FF69BB1F7D9EBE1 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:16:22] 801*2^1508786-1 is not prime. Res64: 0F2A48B783F2C79F Time : 0.0 sec. user=mdettweiler [2018-05-03 05:16:22] 843*2^1508786-1 is not prime. Res64: 5C64B272771CEBD1 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:16:23] 867*2^1508786-1 is not prime. Res64: 2417A6C630DBB63C Time : 0.0 sec. user=mdettweiler [2018-05-03 05:24:14] 911*2^1508786-1 is not prime. Res64: 6385D5BEC00E0283 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:24:14] 941*2^1508786-1 is not prime. Res64: 295AFDC8A68AAE0C Time : 0.0 sec. user=mdettweiler [2018-05-03 05:24:15] 643*2^1508787-1 is not prime. Res64: C036407A939BB603 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:24:16] 699*2^1508787-1 is not prime. Res64: 3C483FB0B2CCF2DA Time : 0.0 sec. user=mdettweiler [2018-05-03 05:24:19] 703*2^1508787-1 is not prime. Res64: B0154807E05822B2 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:36:51] 705*2^1508787-1 is not prime. Res64: D2C0AD12B767ABD8 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:36:52] 735*2^1508787-1 is not prime. Res64: 1A9DFCE16EDB378D Time : 0.0 sec. user=mdettweiler [2018-05-03 05:36:52] 741*2^1508787-1 is not prime. Res64: 853FB2404DC3454F Time : 0.0 sec. user=mdettweiler [2018-05-03 05:36:53] 769*2^1508787-1 is not prime. Res64: DFDCA50AD81D869B Time : 0.0 sec. user=mdettweiler [2018-05-03 05:36:53] 825*2^1508787-1 is not prime. Res64: 5C2A782D87C1B060 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:45:56] 979*2^1508787-1 is not prime. Res64: B1DC9AD3F79C2BDD Time : 0.0 sec. user=mdettweiler [2018-05-03 05:45:57] 969*2^1508788-1 is not prime. Res64: D12A1640062E59E6 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:45:57] 781*2^1508789-1 is not prime. Res64: C1AED2A6B919D6C7 Time : 0.0 sec. user=mdettweiler [2018-05-03 05:45:57] 825*2^1508789-1 is not prime. Res64: CF54A5FB64E3C13A Time : 0.0 sec. user=mdettweiler [2018-05-03 05:45:58] 837*2^1508789-1 is not prime. Res64: DB288F4EA060AAF3 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:12:19] 955*2^1508789-1 is not prime. Res64: 1784815A690D7CF2 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:12:19] 711*2^1508790-1 is not prime. Res64: 9D6157DDDD282F23 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:12:20] 971*2^1508790-1 is not prime. Res64: 2F672D1CFC279DB4 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:12:20] 885*2^1508791-1 is not prime. Res64: 63CE6B89A06BAFA4 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:12:21] 909*2^1508791-1 is not prime. Res64: 89B382D858D2C360 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:16:32] 609*2^1508792-1 is not prime. Res64: E7B763D5D6CABFE8 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:16:32] 687*2^1508792-1 is not prime. Res64: B2BDCE9BFC4DE315 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:16:33] 693*2^1508792-1 is not prime. Res64: F7854F2014BAE7D0 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:16:33] 753*2^1508792-1 is not prime. Res64: 4C88EA584123211D Time : 0.0 sec. user=mdettweiler [2018-05-03 06:16:33] 759*2^1508792-1 is not prime. Res64: BFD8302835191FE1 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:28:44] 767*2^1508792-1 is not prime. Res64: A150E4E2687D3F43 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:28:44] 797*2^1508792-1 is not prime. Res64: 395CCBD71B0B378D Time : 0.0 sec. user=mdettweiler [2018-05-03 06:28:44] 813*2^1508792-1 is not prime. Res64: C7B788F793CD1611 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:28:45] 873*2^1508792-1 is not prime. Res64: 4B08FC434645ED13 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:28:45] 879*2^1508792-1 is not prime. Res64: 99D1CE73C151A20C Time : 0.0 sec. user=mdettweiler [2018-05-03 06:37:02] 935*2^1508792-1 is not prime. Res64: FA4D3E28BB1E83E1 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:37:02] 977*2^1508792-1 is not prime. Res64: E50829CA88A65D89 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:37:02] 999*2^1508792-1 is not prime. Res64: 781EFF8FF6F5E808 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:37:03] 751*2^1508793-1 is not prime. Res64: 64F0355D18E42FE1 Time : 0.0 sec. user=mdettweiler [2018-05-03 06:37:03] 849*2^1508793-1 is not prime. Res64: AE288B1644C67054 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:04:12] 889*2^1508793-1 is not prime. Res64: DF60D997762AECDF Time : 0.0 sec. user=mdettweiler [2018-05-03 07:04:16] 895*2^1508793-1 is not prime. Res64: EC70DC71FAF046DE Time : 0.0 sec. user=mdettweiler [2018-05-03 07:04:18] 919*2^1508793-1 is not prime. Res64: FF8377E6F59BE2E5 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:04:19] 999*2^1508793-1 is not prime. Res64: FC167A7CB82307B5 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:04:23] 723*2^1508794-1 is not prime. Res64: BD49C50555512B4C Time : 0.0 sec. user=mdettweiler [2018-05-03 07:07:59] 773*2^1508794-1 is not prime. Res64: A2AC8FF34DBE6E81 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:08:00] 825*2^1508794-1 is not prime. Res64: 0715FC2E9342E572 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:08:01] 915*2^1508794-1 is not prime. Res64: 68ED45A657EEE455 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:08:02] 675*2^1508795-1 is not prime. Res64: 0CCFC671CEE8222F Time : 0.0 sec. user=mdettweiler [2018-05-03 07:08:03] 789*2^1508795-1 is not prime. Res64: F1037DB663C519A8 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:20:34] 801*2^1508795-1 is not prime. Res64: C921430FDE782472 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:20:34] 883*2^1508795-1 is not prime. Res64: 963E4F190148261E Time : 0.0 sec. user=mdettweiler [2018-05-03 07:20:34] 915*2^1508795-1 is not prime. Res64: F293AE34B1426A76 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:20:35] 963*2^1508795-1 is not prime. Res64: C70A23B4B83F9DAD Time : 0.0 sec. user=mdettweiler [2018-05-03 07:20:35] 981*2^1508795-1 is not prime. Res64: 176E7FE163190FE1 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:28:53] 669*2^1508796-1 is not prime. Res64: DC3135F1C4DCEA71 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:28:54] 675*2^1508796-1 is not prime. Res64: 8FB1E16B36715746 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:28:54] 689*2^1508796-1 is not prime. Res64: B68BADEF95F3095A Time : 0.0 sec. user=mdettweiler [2018-05-03 07:28:54] 717*2^1508796-1 is not prime. Res64: 254E3A974F8B9BCF Time : 0.0 sec. user=mdettweiler [2018-05-03 07:28:55] 765*2^1508796-1 is not prime. Res64: C75B8DC38AAA8FED Time : 0.0 sec. user=mdettweiler [2018-05-03 07:57:48] 893*2^1508796-1 is not prime. Res64: A289B3826742AA34 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:57:48] 899*2^1508796-1 is not prime. Res64: F0C255E5C1B6ECDE Time : 0.0 sec. user=mdettweiler [2018-05-03 07:57:48] 933*2^1508796-1 is not prime. Res64: 4A19EC951F645AAE Time : 0.0 sec. user=mdettweiler [2018-05-03 07:57:49] 983*2^1508796-1 is not prime. Res64: 8CA56FD1A273B324 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:57:49] 615*2^1508797-1 is not prime. Res64: F0D56E4DF586BE7B Time : 0.0 sec. user=mdettweiler [2018-05-03 07:58:24] 691*2^1508797-1 is not prime. Res64: 26E725EBC25C1ACF Time : 0.0 sec. user=mdettweiler [2018-05-03 07:58:24] 819*2^1508797-1 is not prime. Res64: B6C77A17AA2843B1 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:58:25] 671*2^1508798-1 is not prime. Res64: 2BCFB123669A9F29 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:58:25] 755*2^1508798-1 is not prime. Res64: B52E250D149D4091 Time : 0.0 sec. user=mdettweiler [2018-05-03 07:58:25] 893*2^1508798-1 is not prime. Res64: 58EE0BEA4783D42B Time : 0.0 sec. user=mdettweiler [2018-05-03 08:11:10] 951*2^1508798-1 is not prime. Res64: 9938DDF90149DEB3 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:11:11] 691*2^1508799-1 is not prime. Res64: CD98495F712E9472 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:11:11] 853*2^1508799-1 is not prime. Res64: BEA555A6FB6EC7AA Time : 0.0 sec. user=mdettweiler [2018-05-03 08:11:11] 859*2^1508799-1 is not prime. Res64: 0E57F022BC32DAA6 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:11:12] 629*2^1508800-1 is not prime. Res64: 2AA6FE863CEC31D4 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:18:53] 635*2^1508800-1 is not prime. Res64: 4EB398E4AFB9AFAB Time : 0.0 sec. user=mdettweiler [2018-05-03 08:18:53] 695*2^1508800-1 is not prime. Res64: D2CF4371F700FD58 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:18:54] 713*2^1508800-1 is not prime. Res64: 5350CC55CAC4599E Time : 0.0 sec. user=mdettweiler [2018-05-03 08:18:54] 843*2^1508800-1 is not prime. Res64: C5FDE4ABB80E6AD1 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:18:54] 855*2^1508800-1 is not prime. Res64: 772DD5771CF45456 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:48:38] 863*2^1508800-1 is not prime. Res64: 379B4D6428B065C3 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:48:39] 929*2^1508800-1 is not prime. Res64: 4B4DC0A98288FDE2 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:48:39] 983*2^1508800-1 is not prime. Res64: AB12C44D3A94426D Time : 0.0 sec. user=mdettweiler [2018-05-03 08:48:39] 685*2^1508801-1 is not prime. Res64: D66B91B2A7B3FAB0 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:48:40] 711*2^1508801-1 is not prime. Res64: CDA8911C1A75016A Time : 0.0 sec. user=mdettweiler [2018-05-03 08:49:05] 715*2^1508801-1 is not prime. Res64: 0015035271B772B6 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:49:05] 717*2^1508801-1 is not prime. Res64: 53F4096F9F8ABDE1 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:49:05] 735*2^1508801-1 is not prime. Res64: 0D0A93F961B906EC Time : 0.0 sec. user=mdettweiler [2018-05-03 08:49:06] 931*2^1508801-1 is not prime. Res64: CE3BFDD8A1EC4355 Time : 0.0 sec. user=mdettweiler [2018-05-03 08:49:06] 937*2^1508801-1 is not prime. Res64: 43A6A37DD71D3EF5 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:03:00] 681*2^1508802-1 is not prime. Res64: 7BD0E997B5E0F7C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:03:02] 833*2^1508802-1 is not prime. Res64: 7425317A348B311D Time : 0.0 sec. user=mdettweiler [2018-05-03 09:03:03] 893*2^1508802-1 is not prime. Res64: A5C64D9DB91D289E Time : 0.0 sec. user=mdettweiler [2018-05-03 09:03:04] 975*2^1508802-1 is not prime. Res64: D0CA8A0C0AC020D7 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:03:05] 609*2^1508803-1 is not prime. Res64: 6DE1E3CE6E3DAF3E Time : 0.0 sec. user=mdettweiler [2018-05-03 09:10:34] 615*2^1508803-1 is not prime. Res64: 3724596B33CD1B22 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:10:35] 631*2^1508803-1 is not prime. Res64: 79EDB2DC25C6FB24 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:10:36] 703*2^1508803-1 is not prime. Res64: 55ABEBE0385B159F Time : 0.0 sec. user=mdettweiler [2018-05-03 09:10:36] 765*2^1508803-1 is not prime. Res64: 70940D9347775129 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:10:36] 855*2^1508803-1 is not prime. Res64: 08450063DEA72731 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:36] 843*2^1508804-1 is not prime. Res64: 7D04B5E687738082 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:36] 873*2^1508804-1 is not prime. Res64: C616CF94162B4E31 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:37] 795*2^1508805-1 is not prime. Res64: FBBF9C1C893A8078 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:37] 819*2^1508805-1 is not prime. Res64: 382535B78435FFBB Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:37] 831*2^1508805-1 is not prime. Res64: FF22BFDFFDFE4EC1 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:59] 861*2^1508803-1 is not prime. Res64: F351EDC1B5014B5B Time : 0.0 sec. user=mdettweiler [2018-05-03 09:41:59] 943*2^1508803-1 is not prime. Res64: ABEC4151B2206A9F Time : 0.0 sec. user=mdettweiler [2018-05-03 09:42:00] 985*2^1508803-1 is not prime. Res64: CEF2A44572F4D094 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:42:00] 615*2^1508804-1 is not prime. Res64: 2349D67F0E6325A6 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:42:01] 719*2^1508804-1 is not prime. Res64: 8386ECD93802B8D3 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:57:44] 951*2^1508805-1 is not prime. Res64: A429378D796963CA Time : 0.0 sec. user=mdettweiler [2018-05-03 09:57:44] 723*2^1508806-1 is not prime. Res64: DA48C41C390F553C Time : 0.0 sec. user=mdettweiler [2018-05-03 09:57:45] 783*2^1508806-1 is not prime. Res64: 0079C8BB1D7FF5D4 Time : 0.0 sec. user=mdettweiler [2018-05-03 09:57:45] 815*2^1508806-1 is not prime. Res64: 3D15E93C20F4B5AF Time : 0.0 sec. user=mdettweiler [2018-05-03 09:57:45] 855*2^1508806-1 is not prime. Res64: EF5B6A6FBAC319F5 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:01:28] 873*2^1508806-1 is not prime. Res64: B27A95B47556BA51 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:01:30] 987*2^1508806-1 is not prime. Res64: 267FF2DFE721C8C5 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:01:33] 615*2^1508807-1 is not prime. Res64: B16E0F6F145C023C Time : 0.0 sec. user=mdettweiler [2018-05-03 10:01:35] 685*2^1508807-1 is not prime. Res64: 09C7FE298CEED77D Time : 0.0 sec. user=mdettweiler [2018-05-03 10:01:37] 705*2^1508807-1 is not prime. Res64: 254B0910E8676B74 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:31:07] 601*2^1508809-1 is not prime. Res64: 76B896A8F0238282 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:31:08] 615*2^1508809-1 is not prime. Res64: 9F4E35311B914C88 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:31:08] 637*2^1508809-1 is not prime. Res64: B4FFAAEFBF590A30 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:31:08] 705*2^1508809-1 is not prime. Res64: 95D434E505C7F3E1 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:31:09] 771*2^1508809-1 is not prime. Res64: EC295EBA2C4BB6B6 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:32:33] 805*2^1508807-1 is not prime. Res64: BB4979B2D1971AA5 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:32:33] 885*2^1508807-1 is not prime. Res64: AD714CC28F3D047F Time : 0.0 sec. user=mdettweiler [2018-05-03 10:32:34] 963*2^1508807-1 is not prime. Res64: E6B1A37F42964E69 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:32:34] 735*2^1508808-1 is not prime. Res64: F6C898551189D70D Time : 0.0 sec. user=mdettweiler [2018-05-03 10:32:34] 875*2^1508808-1 is not prime. Res64: 35317381D757A236 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:47:50] 603*2^1508810-1 is not prime. Res64: 3D94D61F12F6B964 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:47:50] 711*2^1508810-1 is not prime. Res64: CD6F693BAA88D350 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:47:51] 845*2^1508810-1 is not prime. Res64: 17E3BE79B03D08B6 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:47:51] 857*2^1508810-1 is not prime. Res64: 71D2AE3AF992A1B2 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:47:52] 875*2^1508810-1 is not prime. Res64: F3744B16D4FA4E2C Time : 0.0 sec. user=mdettweiler [2018-05-03 10:53:24] 887*2^1508810-1 is not prime. Res64: 7FDD3A23025420B0 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:53:24] 893*2^1508810-1 is not prime. Res64: E9E72537EC7F5D3A Time : 0.0 sec. user=mdettweiler [2018-05-03 10:53:24] 723*2^1508811-1 is not prime. Res64: 8BD411C5FBE9B549 Time : 0.0 sec. user=mdettweiler [2018-05-03 10:53:25] 849*2^1508811-1 is not prime. Res64: 2D27D425CC99B27C Time : 0.0 sec. user=mdettweiler [2018-05-03 10:53:25] 879*2^1508811-1 is not prime. Res64: 290B4BCA02223011 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:21:01] 903*2^1508811-1 is not prime. Res64: CC221814FF6AB971 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:21:01] 921*2^1508811-1 is not prime. Res64: D249BE633232F118 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:21:01] 975*2^1508811-1 is not prime. Res64: 6AEDE3C77BA18695 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:21:02] 677*2^1508812-1 is not prime. Res64: 32D339769B50F05F Time : 0.0 sec. user=mdettweiler [2018-05-03 11:21:02] 689*2^1508812-1 is not prime. Res64: 19C33E19A2750C5B Time : 0.0 sec. user=mdettweiler [2018-05-03 11:22:22] 693*2^1508812-1 is not prime. Res64: 5D1E33FBFEE8B65B Time : 0.0 sec. user=mdettweiler [2018-05-03 11:22:23] 695*2^1508812-1 is not prime. Res64: 1FECD282BAB206C5 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:22:23] 719*2^1508812-1 is not prime. Res64: 0018E4C4C8DB6AE7 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:22:24] 885*2^1508812-1 is not prime. Res64: FA043A533980B76E Time : 0.0 sec. user=mdettweiler [2018-05-03 11:22:24] 903*2^1508812-1 is not prime. Res64: 6CE68CADD747E5E7 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:40:38] 939*2^1508812-1 is not prime. Res64: 3DE3D5CCD325F7CD Time : 0.0 sec. user=mdettweiler [2018-05-03 11:40:38] 741*2^1508813-1 is not prime. Res64: 2752FAB3248ECA8D Time : 0.0 sec. user=mdettweiler [2018-05-03 11:40:39] 757*2^1508813-1 is not prime. Res64: AF12BA9966ADFE08 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:40:39] 795*2^1508813-1 is not prime. Res64: D8D9D91CAA96A102 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:40:40] 871*2^1508813-1 is not prime. Res64: 83FE0653A70F310A Time : 0.0 sec. user=mdettweiler [2018-05-03 11:43:58] 981*2^1508813-1 is not prime. Res64: 44242E5F45525393 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:43:58] 693*2^1508814-1 is not prime. Res64: 52D2B7821DCAAD32 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:43:59] 861*2^1508814-1 is not prime. Res64: F3809ADD88F6DE11 Time : 0.0 sec. user=mdettweiler [2018-05-03 11:43:59] 881*2^1508814-1 is not prime. Res64: 671239C615630B2A Time : 0.0 sec. user=mdettweiler [2018-05-03 11:44:00] 885*2^1508814-1 is not prime. Res64: F4BF5BA915271247 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:15:27] 849*2^1508815-1 is not prime. Res64: 92A12A105FF1EA93 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:15:27] 871*2^1508815-1 is not prime. Res64: 7137A72D39BFD469 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:15:28] 985*2^1508815-1 is not prime. Res64: 931E4442A94B1ADA Time : 0.0 sec. user=mdettweiler [2018-05-03 12:15:28] 617*2^1508816-1 is not prime. Res64: FB4D8C340DABB21D Time : 0.0 sec. user=mdettweiler [2018-05-03 12:15:29] 663*2^1508816-1 is not prime. Res64: 68F94263789D2E13 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:17:17] 1001*2^1508814-1 is not prime. Res64: B92E5203CB2227F9 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:17:17] 609*2^1508815-1 is not prime. Res64: 8BA0CE6A6998D17B Time : 0.0 sec. user=mdettweiler [2018-05-03 12:17:18] 673*2^1508815-1 is not prime. Res64: FA5064015E4D1F5E Time : 0.0 sec. user=mdettweiler [2018-05-03 12:17:19] 831*2^1508815-1 is not prime. Res64: 16C1E0C4111347C6 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:17:19] 843*2^1508815-1 is not prime. Res64: 8E8CFD9EBFF8CBE7 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:38:41] 741*2^1508817-1 is not prime. Res64: 486212E52D261F15 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:38:42] 937*2^1508817-1 is not prime. Res64: 12D663BD71B37A78 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:38:42] 635*2^1508818-1 is not prime. Res64: 32248326EEAE3E96 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:38:42] 677*2^1508818-1 is not prime. Res64: E1BD81DD8063942F Time : 0.0 sec. user=mdettweiler [2018-05-03 12:38:43] 695*2^1508818-1 is not prime. Res64: 931C734F851DC942 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:41:34] 857*2^1508816-1 is not prime. Res64: 4943AFB6DEFBF5C5 Time : 0.0 sec. user=mdettweiler [2018-05-03 12:41:34] 869*2^1508816-1 is not prime. Res64: 33677AAC40D762DB Time : 0.0 sec. user=mdettweiler [2018-05-03 12:41:35] 923*2^1508816-1 is not prime. Res64: F45003EA5615A93B Time : 0.0 sec. user=mdettweiler [2018-05-03 12:41:35] 963*2^1508816-1 is not prime. Res64: E6DE9E4B47A9CB0B Time : 0.0 sec. user=mdettweiler [2018-05-03 12:41:36] 609*2^1508817-1 is not prime. Res64: F25F17EB894128CB Time : 0.0 sec. user=mdettweiler [2018-05-03 13:07:04] 857*2^1508818-1 is not prime. Res64: E84BB14C600CF9CB Time : 0.0 sec. user=mdettweiler [2018-05-03 13:07:05] 891*2^1508818-1 is not prime. Res64: 90C8DB51649B16F7 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:07:06] 957*2^1508818-1 is not prime. Res64: 1331B81ECD9F426C Time : 0.0 sec. user=mdettweiler [2018-05-03 13:07:07] 609*2^1508819-1 is not prime. Res64: D6C8BA9902E44B49 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:07:08] 771*2^1508819-1 is not prime. Res64: 8A5A13EB23B6CFCC Time : 0.0 sec. user=mdettweiler [2018-05-03 13:09:24] 843*2^1508819-1 is not prime. Res64: 353B39D9D4BCDDFE Time : 0.0 sec. user=mdettweiler [2018-05-03 13:09:25] 855*2^1508819-1 is not prime. Res64: A00FE4CBE5EB95F2 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:09:25] 879*2^1508819-1 is not prime. Res64: 055B694A9329A06F Time : 0.0 sec. user=mdettweiler [2018-05-03 13:09:26] 885*2^1508819-1 is not prime. Res64: 7012B0D3BD5DEBFF Time : 0.0 sec. user=mdettweiler [2018-05-03 13:09:26] 921*2^1508819-1 is not prime. Res64: 615830794B0796B9 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:30:50] 627*2^1508820-1 is not prime. Res64: 7FA87991DDD8994B Time : 0.0 sec. user=mdettweiler [2018-05-03 13:30:50] 647*2^1508820-1 is not prime. Res64: 85594BE534CFF8C7 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:30:50] 795*2^1508820-1 is not prime. Res64: 8E69C7FA08B9DAD4 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:30:51] 819*2^1508820-1 is not prime. Res64: E4792745998BE865 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:30:51] 843*2^1508820-1 is not prime. Res64: 18F1C500A354F039 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:34:25] 845*2^1508820-1 is not prime. Res64: 0F25DA68D39C1381 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:34:25] 899*2^1508820-1 is not prime. Res64: 60ACA1252524A5D9 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:34:26] 987*2^1508820-1 is not prime. Res64: 6F6C05D20C83B0B5 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:34:26] 639*2^1508821-1 is not prime. Res64: 6571D60AEA4CBD46 Time : 0.0 sec. user=mdettweiler [2018-05-03 13:34:27] 801*2^1508821-1 is not prime. Res64: E21E492C8830E5F1 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:01:39] 645*2^1508822-1 is not prime. Res64: 801BDAF451FDB19B Time : 0.0 sec. user=mdettweiler [2018-05-03 14:01:40] 675*2^1508822-1 is not prime. Res64: 3787E0D881FC9A5D Time : 0.0 sec. user=mdettweiler [2018-05-03 14:01:41] 747*2^1508822-1 is not prime. Res64: EB964330DAE206D2 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:01:42] 761*2^1508822-1 is not prime. Res64: 22027327BCCD4C82 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:01:43] 941*2^1508822-1 is not prime. Res64: F9CD1E82CB747817 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:07:16] 817*2^1508821-1 is not prime. Res64: 2461B0570BD44C22 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:07:20] 855*2^1508821-1 is not prime. Res64: 9927D273A1729F83 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:07:23] 861*2^1508821-1 is not prime. Res64: 6913F09295362618 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:07:26] 979*2^1508821-1 is not prime. Res64: D6FE5C193F1C865C Time : 0.0 sec. user=mdettweiler [2018-05-03 14:07:31] 987*2^1508821-1 is not prime. Res64: 42AF705438C6EFC0 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:22:32] 953*2^1508822-1 is not prime. Res64: 6F10F01B370227DF Time : 0.0 sec. user=mdettweiler [2018-05-03 14:22:33] 963*2^1508822-1 is not prime. Res64: 8B1A394CCD281146 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:22:33] 643*2^1508823-1 is not prime. Res64: DA82CDCDE08B4276 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:22:33] 795*2^1508823-1 is not prime. Res64: FAB78DEFAE46611C Time : 0.0 sec. user=mdettweiler [2018-05-03 14:22:34] 805*2^1508823-1 is not prime. Res64: EBEC119A96E64215 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:26:10] 853*2^1508823-1 is not prime. Res64: 48E2E9BFD805BA15 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:26:10] 973*2^1508823-1 is not prime. Res64: 8358F0C1CA0D92DC Time : 0.0 sec. user=mdettweiler [2018-05-03 14:26:10] 677*2^1508824-1 is not prime. Res64: F46D26B8BD77BCBA Time : 0.0 sec. user=mdettweiler [2018-05-03 14:26:11] 897*2^1508824-1 is not prime. Res64: DC98BCAB9C5EB8C2 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:26:11] 923*2^1508824-1 is not prime. Res64: 03B80DFC4CE87DC4 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:57:40] 601*2^1508825-1 is not prime. Res64: A2DDA6422CAAA74E Time : 0.0 sec. user=mdettweiler [2018-05-03 14:57:40] 619*2^1508825-1 is not prime. Res64: 8442C2896321D4E3 Time : 0.0 sec. user=mdettweiler [2018-05-03 14:57:41] 871*2^1508825-1 is not prime. Res64: C0D380B20C07A10C Time : 0.0 sec. user=mdettweiler [2018-05-03 14:57:41] 937*2^1508825-1 is not prime. Res64: 0C94246ED203D08A Time : 0.0 sec. user=mdettweiler [2018-05-03 14:57:42] 939*2^1508825-1 is not prime. Res64: 01EEA8E64BC0E437 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:05:19] 949*2^1508825-1 is not prime. Res64: 0F3E6A692C44A3E2 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:05:21] 987*2^1508825-1 is not prime. Res64: 1178539D1565AB78 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:05:24] 635*2^1508826-1 is not prime. Res64: 235EC3286AA17F3A Time : 0.0 sec. user=mdettweiler [2018-05-03 15:05:27] 861*2^1508826-1 is not prime. Res64: 4B52E7FAD7E86F9B Time : 0.0 sec. user=mdettweiler [2018-05-03 15:05:30] 873*2^1508826-1 is not prime. Res64: C47C60B918DF47D3 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:16:52] 905*2^1508826-1 is not prime. Res64: 4B76810D5E9DD624 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:16:53] 917*2^1508826-1 is not prime. Res64: 0CCD60556CFDC73F Time : 0.0 sec. user=mdettweiler [2018-05-03 15:16:53] 923*2^1508826-1 is not prime. Res64: 1C2F0A13A5BA2DEF Time : 0.0 sec. user=mdettweiler [2018-05-03 15:16:53] 601*2^1508827-1 is not prime. Res64: 619096B7F03DA4B0 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:16:54] 603*2^1508827-1 is not prime. Res64: 54A8F8D5DA510A78 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:20:22] 649*2^1508827-1 is not prime. Res64: 1A2F9EBDA87502BA Time : 0.0 sec. user=mdettweiler [2018-05-03 15:20:22] 693*2^1508827-1 is not prime. Res64: 821744CE3AF15969 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:20:22] 841*2^1508827-1 is not prime. Res64: 5DC026496A76F709 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:20:23] 843*2^1508827-1 is not prime. Res64: 4CCB18385A445B57 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:20:23] 859*2^1508827-1 is not prime. Res64: F4E4E0E08081AE4F Time : 0.0 sec. user=mdettweiler [2018-05-03 15:50:37] 871*2^1508827-1 is not prime. Res64: D253DC88E0893499 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:50:38] 973*2^1508827-1 is not prime. Res64: 3F29322762BDD4D7 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:50:38] 975*2^1508827-1 is not prime. Res64: 9F26AFC74153707C Time : 0.0 sec. user=mdettweiler [2018-05-03 15:50:39] 615*2^1508828-1 is not prime. Res64: 7A06D9DCB5B0C348 Time : 0.0 sec. user=mdettweiler [2018-05-03 15:50:39] 669*2^1508828-1 is not prime. Res64: AB339F8B23981A24 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:01:37] 707*2^1508828-1 is not prime. Res64: 3AFDFB8E0762DF1F Time : 0.0 sec. user=mdettweiler [2018-05-03 16:01:38] 837*2^1508828-1 is not prime. Res64: CF10E6291CFF6F5A Time : 0.0 sec. user=mdettweiler [2018-05-03 16:01:41] 959*2^1508828-1 is not prime. Res64: F912C833E1DBF64D Time : 0.0 sec. user=mdettweiler [2018-05-03 16:01:42] 609*2^1508829-1 is not prime. Res64: 28A0A7CF7EBA7450 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:01:44] 669*2^1508829-1 is not prime. Res64: E997A8700628C1C8 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:12:54] 671*2^1508830-1 is not prime. Res64: 3906D7E92BB4A94B Time : 0.0 sec. user=mdettweiler [2018-05-03 16:12:55] 765*2^1508830-1 is not prime. Res64: 136710075457FF7C Time : 0.0 sec. user=mdettweiler [2018-05-03 16:12:55] 891*2^1508830-1 is not prime. Res64: 344F8E09BF2C08AC Time : 0.0 sec. user=mdettweiler [2018-05-03 16:12:56] 603*2^1508831-1 is not prime. Res64: 7838F9300BD9BDA5 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:12:56] 615*2^1508831-1 is not prime. Res64: C28BD1127988DED8 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:15:03] 781*2^1508829-1 is not prime. Res64: 2A94BB771619F666 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:15:04] 829*2^1508829-1 is not prime. Res64: 3FA85BAB09795D07 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:15:04] 885*2^1508829-1 is not prime. Res64: 5FC974D7A4F1E29A Time : 0.0 sec. user=mdettweiler [2018-05-03 16:15:05] 961*2^1508829-1 is not prime. Res64: 7FFC1D2452B24316 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:15:05] 985*2^1508829-1 is not prime. Res64: 6A8475AE224CE4A8 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:41:08] 643*2^1508831-1 is not prime. Res64: 1EA0B97F2777FD94 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:41:08] 669*2^1508831-1 is not prime. Res64: F1BA85AE95020602 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:41:09] 693*2^1508831-1 is not prime. Res64: D45F8944A303E4A5 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:41:09] 703*2^1508831-1 is not prime. Res64: 085062EC84F4DE82 Time : 0.0 sec. user=mdettweiler [2018-05-03 16:41:10] 711*2^1508831-1 is not prime. Res64: A71B441946F10863 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:00:10] 759*2^1508831-1 is not prime. Res64: 9724C9D312CF1AA5 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:00:11] 813*2^1508831-1 is not prime. Res64: 6ECF6DC242CD7648 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:00:11] 843*2^1508831-1 is not prime. Res64: 8DF5EAFDF6A85C02 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:00:12] 991*2^1508831-1 is not prime. Res64: 81B1247E7D240942 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:00:12] 623*2^1508832-1 is not prime. Res64: 03F2BF926A57AA24 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:06:41] 719*2^1508832-1 is not prime. Res64: 3FAE21457FDB3BD1 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:06:43] 797*2^1508832-1 is not prime. Res64: 2EEB0875BA029011 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:06:45] 887*2^1508832-1 is not prime. Res64: 2103A936F4B5F5E3 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:06:48] 945*2^1508832-1 is not prime. Res64: BC09420C2D9B6310 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:06:51] 977*2^1508832-1 is not prime. Res64: B02A71098BF8A0C3 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:09:11] 983*2^1508832-1 is not prime. Res64: BFCDA7A39AEF8B3A Time : 0.0 sec. user=mdettweiler [2018-05-03 17:09:13] 609*2^1508833-1 is not prime. Res64: D3D893E835E6E66C Time : 0.0 sec. user=mdettweiler [2018-05-03 17:09:14] 649*2^1508833-1 is not prime. Res64: A5FC3E3F309FDACE Time : 0.0 sec. user=mdettweiler [2018-05-03 17:09:15] 715*2^1508833-1 is not prime. Res64: EF334864EBC65E57 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:09:17] 771*2^1508833-1 is not prime. Res64: CA5106D232B0EA07 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:35:45] 855*2^1508833-1 is not prime. Res64: E2522B6D4873BAFB Time : 0.0 sec. user=mdettweiler [2018-05-03 17:35:46] 701*2^1508834-1 is not prime. Res64: 60927D902BEFE3B5 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:35:46] 747*2^1508834-1 is not prime. Res64: DC24F56B0985BEA6 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:35:47] 791*2^1508834-1 is not prime. Res64: A8B43558203E98C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:35:47] 921*2^1508834-1 is not prime. Res64: 70DBA74C4D059EA4 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:51:59] 981*2^1508834-1 is not prime. Res64: 24017EA2A2492668 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:52:00] 633*2^1508835-1 is not prime. Res64: 102AD0B646B5FB56 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:52:00] 853*2^1508835-1 is not prime. Res64: B5F86A6BE5AD06D7 Time : 0.0 sec. user=mdettweiler [2018-05-03 17:52:00] 859*2^1508835-1 is not prime. Res64: 8FD56E20BA598DCE Time : 0.0 sec. user=mdettweiler [2018-05-03 17:52:01] 895*2^1508835-1 is not prime. Res64: 1C205CC8549B52BA Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:36] 949*2^1508835-1 is not prime. Res64: E08809664B97E8EB Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:37] 955*2^1508835-1 is not prime. Res64: D85FD632739DCCD9 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:38] 779*2^1508836-1 is not prime. Res64: 832833B79AC4A2C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:39] 631*2^1508837-1 is not prime. Res64: 0842EB2E9D586CE0 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:39] 795*2^1508837-1 is not prime. Res64: F1B1E1D103E97841 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:44] 861*2^1508837-1 is not prime. Res64: 88659AD85DCEC0D2 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:46] 957*2^1508837-1 is not prime. Res64: CC25FFC6D9780433 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:47] 979*2^1508837-1 is not prime. Res64: FBE9564B7E08BCDD Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:49] 693*2^1508838-1 is not prime. Res64: 5B2927C635FB6973 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:00:51] 765*2^1508838-1 is not prime. Res64: 6E41F39C1B0E319E Time : 0.0 sec. user=mdettweiler [2018-05-03 18:26:52] 777*2^1508838-1 is not prime. Res64: 7017FD4FA19B4158 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:26:53] 951*2^1508838-1 is not prime. Res64: 109D78FF3C106A05 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:26:53] 639*2^1508839-1 is not prime. Res64: 2BDE641CD0EC0E58 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:26:54] 745*2^1508839-1 is not prime. Res64: 4FFE7A07FF59F8AB Time : 0.0 sec. user=mdettweiler [2018-05-03 18:26:54] 759*2^1508839-1 is not prime. Res64: 2E7C0B279C5651BF Time : 0.0 sec. user=mdettweiler [2018-05-03 18:42:54] 961*2^1508839-1 is not prime. Res64: 0102B15351963762 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:42:54] 677*2^1508840-1 is not prime. Res64: D80BC101F767E886 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:42:55] 689*2^1508840-1 is not prime. Res64: 5ECB333E90425BBE Time : 0.0 sec. user=mdettweiler [2018-05-03 18:42:55] 753*2^1508840-1 is not prime. Res64: 046E043A1253517F Time : 0.0 sec. user=mdettweiler [2018-05-03 18:42:55] 875*2^1508840-1 is not prime. Res64: 50B7453A8F3133C6 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:40] 893*2^1508840-1 is not prime. Res64: 922CDBA762C104E4 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:40] 983*2^1508840-1 is not prime. Res64: 5D0AE18DD719A005 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:40] 995*2^1508840-1 is not prime. Res64: E81A48B20BD6D562 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:41] 999*2^1508840-1 is not prime. Res64: 687E23D6458A66BA Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:41] 615*2^1508841-1 is not prime. Res64: D917D15BA1FCCDDC Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:44] 625*2^1508841-1 is not prime. Res64: B92763E1EE401D05 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:44] 637*2^1508841-1 is not prime. Res64: A4008F0987C01614 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:45] 679*2^1508841-1 is not prime. Res64: F0C83A53C3FE84C0 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:45] 885*2^1508841-1 is not prime. Res64: 1C898914359DD2F6 Time : 0.0 sec. user=mdettweiler [2018-05-03 18:51:46] 937*2^1508841-1 is not prime. Res64: ECC6A0ECE3765B86 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:21:02] 991*2^1508841-1 is not prime. Res64: 0F3E2864DCA8BFFA Time : 0.0 sec. user=mdettweiler [2018-05-03 19:21:03] 997*2^1508841-1 is not prime. Res64: F795F16A8BED99CC Time : 0.0 sec. user=mdettweiler [2018-05-03 19:21:04] 999*2^1508841-1 is not prime. Res64: E6A15EC8836C6532 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:21:04] 603*2^1508842-1 is not prime. Res64: 9041A97144E0423E Time : 0.0 sec. user=mdettweiler [2018-05-03 19:21:05] 633*2^1508842-1 is not prime. Res64: 0EF588B6980E8A6A Time : 0.0 sec. user=mdettweiler [2018-05-03 19:38:06] 645*2^1508842-1 is not prime. Res64: F511B06E82996E66 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:38:06] 831*2^1508842-1 is not prime. Res64: 13AF11000F0A5AAE Time : 0.0 sec. user=mdettweiler [2018-05-03 19:38:07] 843*2^1508842-1 is not prime. Res64: 61323E2C7F28857E Time : 0.0 sec. user=mdettweiler [2018-05-03 19:38:07] 917*2^1508842-1 is not prime. Res64: 9A3AC4A7099B7744 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:38:07] 609*2^1508843-1 is not prime. Res64: EFF6EF931B04970F Time : 0.0 sec. user=mdettweiler [2018-05-03 19:47:41] 969*2^1508843-1 is not prime. Res64: 28F5C8025EF10497 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:47:41] 973*2^1508843-1 is not prime. Res64: 99439715F18A6E3D Time : 0.0 sec. user=mdettweiler [2018-05-03 19:47:42] 605*2^1508844-1 is not prime. Res64: 9F8F151E176085AB Time : 0.0 sec. user=mdettweiler [2018-05-03 19:47:42] 663*2^1508844-1 is not prime. Res64: 044DA4CB7DC2D060 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:47:43] 675*2^1508844-1 is not prime. Res64: BA83034F47A38DA6 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:48:59] 615*2^1508843-1 is not prime. Res64: A506A786F892A48D Time : 0.0 sec. user=mdettweiler [2018-05-03 19:48:59] 741*2^1508843-1 is not prime. Res64: F7A03749F9B85F54 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:48:59] 885*2^1508843-1 is not prime. Res64: 4B54D62F68582999 Time : 0.0 sec. user=mdettweiler [2018-05-03 19:49:00] 921*2^1508843-1 is not prime. Res64: 1ED1D6941829672C Time : 0.0 sec. user=mdettweiler [2018-05-03 19:49:00] 949*2^1508843-1 is not prime. Res64: 5F238999DEC2E227 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:23:25] 809*2^1508844-1 is not prime. Res64: 1CDEB311C416230B Time : 0.0 sec. user=mdettweiler [2018-05-03 20:23:25] 875*2^1508844-1 is not prime. Res64: F3193C70AA8A21C4 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:23:26] 923*2^1508844-1 is not prime. Res64: 6A1A80B45C971406 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:23:26] 699*2^1508845-1 is not prime. Res64: 13B37CE6DD8A3078 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:23:26] 771*2^1508845-1 is not prime. Res64: 2E34444482046651 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:35:57] 775*2^1508845-1 is not prime. Res64: 4126EA8DB43126E7 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:35:57] 817*2^1508845-1 is not prime. Res64: 931688C4C8C12EBD Time : 0.0 sec. user=mdettweiler [2018-05-03 20:35:58] 825*2^1508845-1 is not prime. Res64: D269B6DFF3240690 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:35:58] 919*2^1508845-1 is not prime. Res64: E0F4EA0F059487C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:35:58] 645*2^1508846-1 is not prime. Res64: 8BE4B14FD5ABB9FC Time : 0.0 sec. user=mdettweiler [2018-05-03 20:45:07] 657*2^1508846-1 is not prime. Res64: 0676E42224C9ED41 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:45:07] 705*2^1508846-1 is not prime. Res64: 171948CA59A14C28 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:45:08] 711*2^1508846-1 is not prime. Res64: EE68CBC5D90BDF9B Time : 0.0 sec. user=mdettweiler [2018-05-03 20:45:08] 773*2^1508846-1 is not prime. Res64: 9BFD79C0C3F24BCA Time : 0.0 sec. user=mdettweiler [2018-05-03 20:45:09] 815*2^1508846-1 is not prime. Res64: 912E549AFB271C79 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:46:41] 923*2^1508846-1 is not prime. Res64: 0655B645947EC5C9 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:46:42] 971*2^1508846-1 is not prime. Res64: 1DA6DF0BCB705EDA Time : 0.0 sec. user=mdettweiler [2018-05-03 20:46:42] 981*2^1508846-1 is not prime. Res64: 3190859BF6ABEB80 Time : 0.0 sec. user=mdettweiler [2018-05-03 20:46:42] 615*2^1508847-1 is not prime. Res64: 95C3E04F1BFCFE0C Time : 0.0 sec. user=mdettweiler [2018-05-03 20:46:43] 651*2^1508847-1 is not prime. Res64: 1E2059C6BD56BD57 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:17:02] 741*2^1508847-1 is not prime. Res64: 509A8181ED8F9A9C Time : 0.0 sec. user=mdettweiler [2018-05-03 21:17:03] 687*2^1508848-1 is not prime. Res64: 22AA5151D42AF59C Time : 0.0 sec. user=mdettweiler [2018-05-03 21:17:04] 705*2^1508848-1 is not prime. Res64: 995898383545149D Time : 0.0 sec. user=mdettweiler [2018-05-03 21:17:05] 743*2^1508848-1 is not prime. Res64: E337C5BD93C0B0E9 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:17:06] 755*2^1508848-1 is not prime. Res64: 26491403221D25A0 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:29:11] 849*2^1508848-1 is not prime. Res64: FD34B866AF510FD5 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:29:12] 899*2^1508848-1 is not prime. Res64: EBCFD2E05F1F0F08 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:29:12] 933*2^1508848-1 is not prime. Res64: A1FA49EC5BB21749 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:29:12] 615*2^1508849-1 is not prime. Res64: 1C5F8484C36BBD4B Time : 0.0 sec. user=mdettweiler [2018-05-03 21:29:13] 685*2^1508849-1 is not prime. Res64: 20A1A8C6003149F1 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:37:37] 855*2^1508849-1 is not prime. Res64: E0CC010E4AADC344 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:37:38] 867*2^1508849-1 is not prime. Res64: EE2632BB84206DBA Time : 0.0 sec. user=mdettweiler [2018-05-03 21:37:38] 931*2^1508849-1 is not prime. Res64: 5CC3C540DC48ADFC Time : 0.0 sec. user=mdettweiler [2018-05-03 21:37:39] 633*2^1508850-1 is not prime. Res64: 9D7334CA37846909 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:37:39] 735*2^1508850-1 is not prime. Res64: A6E33D2B5D46BBEB Time : 0.0 sec. user=mdettweiler [2018-05-03 21:39:23] 893*2^1508850-1 is not prime. Res64: CFF61F7CD3600D6F Time : 0.0 sec. user=mdettweiler [2018-05-03 21:39:24] 917*2^1508850-1 is not prime. Res64: 75F10701CBF1B646 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:39:24] 945*2^1508850-1 is not prime. Res64: A4528146E8F11262 Time : 0.0 sec. user=mdettweiler [2018-05-03 21:39:24] 741*2^1508851-1 is not prime. Res64: 6EE79CC9EB2EEA8F Time : 0.0 sec. user=mdettweiler [2018-05-03 21:39:25] 939*2^1508851-1 is not prime. Res64: D6186061120E28AA Time : 0.0 sec. user=mdettweiler [2018-05-03 22:08:35] 665*2^1508852-1 is not prime. Res64: FCAEA782037A4C6F Time : 0.0 sec. user=mdettweiler [2018-05-03 22:08:37] 843*2^1508852-1 is not prime. Res64: 7D627F0CBE841824 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:08:38] 855*2^1508852-1 is not prime. Res64: 70050D8865309FC4 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:08:39] 893*2^1508852-1 is not prime. Res64: 9A38296810BA2C1F Time : 0.0 sec. user=mdettweiler [2018-05-03 22:08:40] 999*2^1508852-1 is not prime. Res64: 669B206CA6474EF5 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:21:03] 625*2^1508853-1 is not prime. Res64: 5AC92A07D1BF2388 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:21:03] 699*2^1508853-1 is not prime. Res64: 38D9744B9A1B8BF4 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:21:03] 877*2^1508853-1 is not prime. Res64: 40A4A98819C477ED Time : 0.0 sec. user=mdettweiler [2018-05-03 22:21:04] 901*2^1508853-1 is not prime. Res64: B49A295AE825AF5D Time : 0.0 sec. user=mdettweiler [2018-05-03 22:21:04] 937*2^1508853-1 is not prime. Res64: 460FF4B9F3BE37C3 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:29:20] 825*2^1508854-1 is not prime. Res64: 920AFF2409F15C55 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:29:21] 831*2^1508854-1 is not prime. Res64: 9C9DAE9D4912475A Time : 0.0 sec. user=mdettweiler [2018-05-03 22:29:21] 951*2^1508854-1 is not prime. Res64: 9B0EF0F4CD14BA93 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:29:21] 983*2^1508854-1 is not prime. Res64: 9DF39377A9A6012B Time : 0.0 sec. user=mdettweiler [2018-05-03 22:29:22] 643*2^1508855-1 is not prime. Res64: 0225C0B326B5D223 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:31:12] 661*2^1508855-1 is not prime. Res64: 0FCB144CDED79AB6 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:31:12] 939*2^1508855-1 is not prime. Res64: 4B7F555CA57F7843 Time : 0.0 sec. user=mdettweiler [2018-05-03 22:31:13] 979*2^1508855-1 is not prime. Res64: 5BFC03EC38BDD90A Time : 0.0 sec. user=mdettweiler [2018-05-03 22:31:13] 627*2^1508856-1 is not prime. Res64: 7B8A6EA1AA962FAB Time : 0.0 sec. user=mdettweiler [2018-05-03 22:31:14] 669*2^1508856-1 is not prime. Res64: 614F98B056B4FBC7 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:07:31] 683*2^1508856-1 is not prime. Res64: 43ECE9FDD5C02DF9 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:07:32] 777*2^1508856-1 is not prime. Res64: 6F2C4F653CC06607 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:07:33] 899*2^1508856-1 is not prime. Res64: 754E0ABD59ABC3FE Time : 0.0 sec. user=mdettweiler [2018-05-03 23:07:35] 993*2^1508856-1 is not prime. Res64: 0B2667183AC128EB Time : 0.0 sec. user=mdettweiler [2018-05-03 23:07:36] 607*2^1508857-1 is not prime. Res64: 3493625679174309 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:27:13] 637*2^1508857-1 is not prime. Res64: 247BBBC20471E243 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:27:13] 777*2^1508857-1 is not prime. Res64: 0DE0B681F67D00AC Time : 0.0 sec. user=mdettweiler [2018-05-03 23:27:14] 799*2^1508857-1 is not prime. Res64: A6F8A987C5E3C501 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:27:14] 831*2^1508857-1 is not prime. Res64: 920AD6F7F885E8F8 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:27:15] 871*2^1508857-1 is not prime. Res64: 012659AF4464075B Time : 0.0 sec. user=mdettweiler [2018-05-03 23:41:34] 1001*2^1508858-1 is not prime. Res64: 79BA14F8FC30FC7E Time : 0.0 sec. user=mdettweiler [2018-05-03 23:41:34] 649*2^1508859-1 is not prime. Res64: DD7E771CCE30057D Time : 0.0 sec. user=mdettweiler [2018-05-03 23:41:34] 853*2^1508859-1 is not prime. Res64: C31FEC9D07E187C6 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:41:35] 903*2^1508859-1 is not prime. Res64: CC2EA14EBA330EA6 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:41:35] 985*2^1508859-1 is not prime. Res64: E6DB2A4177364A4A Time : 0.0 sec. user=mdettweiler [2018-05-03 23:42:15] 931*2^1508857-1 is not prime. Res64: 5B806DDFF4618EF8 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:42:15] 985*2^1508857-1 is not prime. Res64: 5F480E41EBA6AD5D Time : 0.0 sec. user=mdettweiler [2018-05-03 23:42:15] 801*2^1508858-1 is not prime. Res64: F283CFDDEDDF9B33 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:42:16] 831*2^1508858-1 is not prime. Res64: 04FFA1EDDD690AD8 Time : 0.0 sec. user=mdettweiler [2018-05-03 23:42:16] 995*2^1508858-1 is not prime. Res64: 13CE5B54DC34B4D3 Time : 0.0 sec.