user=juhehe [2018-07-26 02:37:06] 751*2^1519501-1 is not prime. Res64: 2358F56D0DF49045 Time : 0.0 sec. user=juhehe [2018-07-26 03:22:48] 843*2^1519499-1 is not prime. Res64: 98A061A75218BCE1 Time : 0.0 sec. user=mdettweiler [2018-07-26 03:36:45] 897*2^1519496-1 is not prime. Res64: 8FBE1146AC4A5144 Time : 0.0 sec. user=mdettweiler [2018-07-26 03:36:46] 927*2^1519496-1 is not prime. Res64: 0F531669B8854FBC Time : 0.0 sec. user=juhehe [2018-07-26 04:08:35] 895*2^1519499-1 is not prime. Res64: 8B5E1693E5013794 Time : 0.0 sec. user=mdettweiler [2018-07-26 04:39:43] 993*2^1519499-1 is not prime. Res64: 6B4340F6DC8102C4 Time : 0.0 sec. user=mdettweiler [2018-07-26 04:39:44] 647*2^1519500-1 is not prime. Res64: E6AF81DE7328F98E Time : 0.0 sec. user=mdettweiler [2018-07-26 04:39:44] 707*2^1519500-1 is not prime. Res64: 0A9D2541789E25C9 Time : 0.0 sec. user=mdettweiler [2018-07-26 04:39:44] 737*2^1519500-1 is not prime. Res64: 5F89BEC153D4C456 Time : 0.0 sec. user=mdettweiler [2018-07-26 04:39:45] 753*2^1519500-1 is not prime. Res64: F8BF9B8948D5C4AA Time : 0.0 sec. user=juhehe [2018-07-26 04:55:00] 779*2^1519500-1 is not prime. Res64: C8E6DDE9C80D8B5B Time : 0.0 sec. user=juhehe [2018-07-26 05:40:44] 987*2^1519501-1 is not prime. Res64: 3B8E0B579808737C Time : 0.0 sec. user=mdettweiler [2018-07-26 05:49:26] 923*2^1519500-1 is not prime. Res64: BD2BC2323B43CB91 Time : 0.0 sec. user=mdettweiler [2018-07-26 05:49:26] 679*2^1519501-1 is not prime. Res64: D4B9FB07B051CBAB Time : 0.0 sec. user=mdettweiler [2018-07-26 05:49:26] 769*2^1519501-1 is not prime. Res64: E7E24068A1ABAA59 Time : 0.0 sec. user=mdettweiler [2018-07-26 05:49:26] 771*2^1519501-1 is not prime. Res64: D62EA8C229E56B03 Time : 0.0 sec. user=mdettweiler [2018-07-26 05:49:27] 861*2^1519501-1 is not prime. Res64: A1C9839E335BFCE1 Time : 0.0 sec. user=juhehe [2018-07-26 06:26:30] 999*2^1519501-1 is not prime. Res64: 81F430C7E045177B Time : 0.0 sec. user=mdettweiler [2018-07-26 06:51:21] 769*2^1519491-1 is not prime. Res64: 7068C1376E9D1339 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:51:21] 823*2^1519491-1 is not prime. Res64: D012BEB8C4247A53 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:59:50] 675*2^1519502-1 is not prime. Res64: 23B5483A496B4853 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:59:50] 785*2^1519502-1 is not prime. Res64: 7AAACA457B516FE2 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:59:51] 857*2^1519502-1 is not prime. Res64: E34CAE575342A373 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:59:51] 685*2^1519503-1 is not prime. Res64: 0706F6B3ED0349C1 Time : 0.0 sec. user=mdettweiler [2018-07-26 06:59:51] 735*2^1519503-1 is not prime. Res64: B76262E80867FE7B Time : 0.0 sec. user=juhehe [2018-07-26 07:12:13] 763*2^1519503-1 is not prime. Res64: 7F0DE4B37023D6C6 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:29:47] 643*2^1519499-1 is not prime. Res64: 902C8DB4236949E7 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:29:47] 771*2^1519499-1 is not prime. Res64: B3E504E5F50E7CCB Time : 0.0 sec. user=mdettweiler [2018-07-26 07:42:32] 611*2^1519498-1 is not prime. Res64: 682CA870214B043B Time : 0.0 sec. user=mdettweiler [2018-07-26 07:42:32] 723*2^1519498-1 is not prime. Res64: FEC05A93947BF12A Time : 0.0 sec. user=mdettweiler [2018-07-26 07:45:19] 765*2^1519503-1 is not prime. Res64: 0646231A77917661 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:45:19] 885*2^1519503-1 is not prime. Res64: 0FD538105F0580AE Time : 0.0 sec. user=mdettweiler [2018-07-26 07:45:20] 919*2^1519503-1 is not prime. Res64: 3F134EAA08CDEE14 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:45:20] 963*2^1519503-1 is not prime. Res64: B794C0B3E074F9AD Time : 0.0 sec. user=mdettweiler [2018-07-26 07:45:20] 623*2^1519504-1 is not prime. Res64: 8D30ED8871B43912 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:52:58] 693*2^1519504-1 is not prime. Res64: 0B9B162B099608DD Time : 0.0 sec. user=mdettweiler [2018-07-26 07:52:59] 887*2^1519504-1 is not prime. Res64: 19E9629C0646A476 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:52:59] 899*2^1519504-1 is not prime. Res64: 89CBDC5407D5A419 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:52:59] 909*2^1519504-1 is not prime. Res64: C2387B46056B1288 Time : 0.0 sec. user=mdettweiler [2018-07-26 07:52:59] 965*2^1519504-1 is not prime. Res64: 7C951C878D6BCCDC Time : 0.0 sec. user=juhehe [2018-07-26 07:57:56] 975*2^1519504-1 is not prime. Res64: 093E50C515A435A1 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:22:12] 601*2^1519505-1 is not prime. Res64: B019EDA940BD4B09 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:22:12] 727*2^1519505-1 is not prime. Res64: E1975DF6245E79DE Time : 0.0 sec. user=mdettweiler [2018-07-26 08:22:12] 957*2^1519505-1 is not prime. Res64: E0E064A1D9D28052 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:22:12] 683*2^1519506-1 is not prime. Res64: 156C3D56E37B450E Time : 0.0 sec. user=mdettweiler [2018-07-26 08:22:13] 705*2^1519506-1 is not prime. Res64: 9E4F2F5B2D17A528 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:34:49] 711*2^1519506-1 is not prime. Res64: 576DEA276BBC106D Time : 0.0 sec. user=mdettweiler [2018-07-26 08:34:50] 735*2^1519506-1 is not prime. Res64: 120310470FA42855 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:34:50] 777*2^1519506-1 is not prime. Res64: 84AD7821EE528C58 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:34:50] 815*2^1519506-1 is not prime. Res64: 65C9DDA025014481 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:34:50] 861*2^1519506-1 is not prime. Res64: 7891C8C5E8867FB9 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:37:27] 893*2^1519506-1 is not prime. Res64: D050765BE9D1D2F1 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:37:27] 917*2^1519506-1 is not prime. Res64: BBD54547FD420223 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:37:28] 941*2^1519506-1 is not prime. Res64: 257A89F90A0DC6EF Time : 0.0 sec. user=mdettweiler [2018-07-26 08:37:28] 971*2^1519506-1 is not prime. Res64: 0CA9367FBDF630C9 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:37:28] 975*2^1519506-1 is not prime. Res64: 36E637307D9AE4D5 Time : 0.0 sec. user=juhehe [2018-07-26 08:43:37] 885*2^1519507-1 is not prime. Res64: D01283952E1BED4D Time : 0.0 sec. user=mdettweiler [2018-07-26 08:44:30] 1001*2^1519506-1 is not prime. Res64: D6712999BB945596 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:44:30] 609*2^1519507-1 is not prime. Res64: 70C64433EFCB85F1 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:44:30] 673*2^1519507-1 is not prime. Res64: E6AACA815FC0588A Time : 0.0 sec. user=mdettweiler [2018-07-26 08:44:31] 681*2^1519507-1 is not prime. Res64: E34054F0B3B71111 Time : 0.0 sec. user=mdettweiler [2018-07-26 08:44:31] 805*2^1519507-1 is not prime. Res64: FE82C50A7B2298A9 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:13:25] 889*2^1519507-1 is not prime. Res64: AE129AC8E9F770B8 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:13:25] 925*2^1519507-1 is not prime. Res64: 648FAA8DA3C08F2B Time : 0.0 sec. user=mdettweiler [2018-07-26 09:13:26] 975*2^1519507-1 is not prime. Res64: 40271357B6FBF9D1 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:13:26] 767*2^1519508-1 is not prime. Res64: 2C47D8FE96707CDC Time : 0.0 sec. user=mdettweiler [2018-07-26 09:13:26] 773*2^1519508-1 is not prime. Res64: 250AFFC5E08C42C0 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:25:59] 795*2^1519508-1 is not prime. Res64: 3282F201A1FCBA32 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:26:00] 797*2^1519508-1 is not prime. Res64: 2ED936A0CC9E1885 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:26:00] 869*2^1519508-1 is not prime. Res64: 9D059068155354A4 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:26:00] 625*2^1519509-1 is not prime. Res64: 58CE42A9F9427939 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:26:01] 661*2^1519509-1 is not prime. Res64: 910F777A058AD168 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:28:40] 781*2^1519509-1 is not prime. Res64: 5C889E277B289932 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:28:41] 945*2^1519509-1 is not prime. Res64: E2816C061AE2108F Time : 0.0 sec. user=mdettweiler [2018-07-26 09:28:41] 717*2^1519510-1 is not prime. Res64: ADB69C49136AC7D6 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:28:41] 887*2^1519510-1 is not prime. Res64: 62265991EFA19361 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:28:41] 941*2^1519510-1 is not prime. Res64: BCF7034ADFA38569 Time : 0.0 sec. user=juhehe [2018-07-26 09:29:22] 945*2^1519510-1 is not prime. Res64: 7EA5F1D8FE70382F Time : 0.0 sec. user=mdettweiler [2018-07-26 09:35:16] 609*2^1519511-1 is not prime. Res64: A228C3B6F4DC3325 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:35:17] 643*2^1519511-1 is not prime. Res64: C42B9D59DD604038 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:35:17] 705*2^1519511-1 is not prime. Res64: 9153CD4229EE927C Time : 0.0 sec. user=mdettweiler [2018-07-26 09:35:17] 775*2^1519511-1 is not prime. Res64: 6E5FA45D51DDAEF2 Time : 0.0 sec. user=mdettweiler [2018-07-26 09:35:17] 789*2^1519511-1 is not prime. Res64: 490B333C21829E83 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:04:13] 813*2^1519511-1 is not prime. Res64: 2998DEFF121C19E3 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:04:14] 895*2^1519511-1 is not prime. Res64: 1B1C104E6258AA33 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:04:15] 949*2^1519511-1 is not prime. Res64: 7B06A2883E5AE469 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:04:16] 969*2^1519511-1 is not prime. Res64: E3D509498DC24273 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:04:16] 615*2^1519512-1 is not prime. Res64: A68A696CB122D2D0 Time : 0.0 sec. user=juhehe [2018-07-26 10:15:01] 817*2^1519513-1 is not prime. Res64: 49AADCC01CF61241 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:17:01] 725*2^1519512-1 is not prime. Res64: 0EFB6AD16F876EC6 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:17:02] 849*2^1519512-1 is not prime. Res64: 9F0B2C4FCD907861 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:17:02] 899*2^1519512-1 is not prime. Res64: E136DEBE9A675B78 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:17:02] 903*2^1519512-1 is not prime. Res64: 0A10023EBDC16A79 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:17:02] 909*2^1519512-1 is not prime. Res64: 66F321296DA126F1 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:19:59] 945*2^1519512-1 is not prime. Res64: 12B29739BB7B2FED Time : 0.0 sec. user=mdettweiler [2018-07-26 10:19:59] 983*2^1519512-1 is not prime. Res64: D0DAFC7C4CE52829 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:20:00] 625*2^1519513-1 is not prime. Res64: 20BA605B5992C717 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:20:00] 771*2^1519513-1 is not prime. Res64: FCC0B2341D931195 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:20:01] 801*2^1519513-1 is not prime. Res64: C6A08C4B7F53F049 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:26:28] 855*2^1519513-1 is not prime. Res64: 5E0D2CB79D573267 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:26:29] 877*2^1519513-1 is not prime. Res64: 881B3C0688F18419 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:26:29] 895*2^1519513-1 is not prime. Res64: EC7B9D91B9AACFA0 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:26:29] 919*2^1519513-1 is not prime. Res64: 6F818523DEC7B5B4 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:26:29] 951*2^1519513-1 is not prime. Res64: 9263D4A47D953933 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:55:52] 979*2^1519513-1 is not prime. Res64: 12D81A9339C9D7B4 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:55:52] 987*2^1519513-1 is not prime. Res64: 88CCB5FE065FC5F9 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:55:52] 635*2^1519514-1 is not prime. Res64: 49926267CDFCC395 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:55:52] 641*2^1519514-1 is not prime. Res64: A69B255F882CC5E8 Time : 0.0 sec. user=mdettweiler [2018-07-26 10:55:53] 677*2^1519514-1 is not prime. Res64: E2B7AA5C0F1E9762 Time : 0.0 sec. user=juhehe [2018-07-26 11:00:49] 707*2^1519514-1 is not prime. Res64: F2586C1072F1201D Time : 0.0 sec. user=mdettweiler [2018-07-26 11:08:23] 639*2^1519515-1 is not prime. Res64: 0EA8B49034EBF7DA Time : 0.0 sec. user=mdettweiler [2018-07-26 11:08:23] 829*2^1519515-1 is not prime. Res64: 0BA6BF9D01A7A2B7 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:08:23] 853*2^1519515-1 is not prime. Res64: AF6EB34039DD8DC6 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:08:24] 861*2^1519515-1 is not prime. Res64: C98CCBD672A14E1E Time : 0.0 sec. user=mdettweiler [2018-07-26 11:08:24] 903*2^1519515-1 is not prime. Res64: A2B475186A0E6195 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:11:05] 973*2^1519515-1 is not prime. Res64: 0BBE20612BB8F723 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:11:06] 991*2^1519515-1 is not prime. Res64: 9C6D338016EF5613 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:11:07] 609*2^1519516-1 is not prime. Res64: 7A58A34A8B301029 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:11:07] 723*2^1519516-1 is not prime. Res64: 3F35D7A047F7783E Time : 0.0 sec. user=mdettweiler [2018-07-26 11:11:07] 773*2^1519516-1 is not prime. Res64: 4CC5BCD99CBB9F2E Time : 0.0 sec. user=mdettweiler [2018-07-26 11:17:44] 843*2^1519516-1 is not prime. Res64: 4E6B54E421DEE64D Time : 0.0 sec. user=mdettweiler [2018-07-26 11:17:44] 933*2^1519516-1 is not prime. Res64: 3AEC4FF9947A868C Time : 0.0 sec. user=mdettweiler [2018-07-26 11:17:44] 645*2^1519517-1 is not prime. Res64: E844FCD48985C727 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:17:45] 655*2^1519517-1 is not prime. Res64: F687FCEE7D82A8E6 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:17:45] 741*2^1519517-1 is not prime. Res64: 9CBD5308F34DDB7F Time : 0.0 sec. user=juhehe [2018-07-26 11:46:33] 651*2^1519518-1 is not prime. Res64: C2D48CD14EA5E530 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:47:19] 759*2^1519517-1 is not prime. Res64: 4DB39FD879314EC9 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:47:20] 799*2^1519517-1 is not prime. Res64: 0D403851A46FBE08 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:47:20] 825*2^1519517-1 is not prime. Res64: 9A801AA76A3FDBC7 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:47:20] 949*2^1519517-1 is not prime. Res64: A1302C03CC59421F Time : 0.0 sec. user=mdettweiler [2018-07-26 11:47:20] 621*2^1519518-1 is not prime. Res64: 0F8784789DB98119 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:59:11] 765*2^1519518-1 is not prime. Res64: D28A2F759677B784 Time : 0.0 sec. user=mdettweiler [2018-07-26 11:59:11] 801*2^1519518-1 is not prime. Res64: 2C22E866D8B4BEAA Time : 0.0 sec. user=mdettweiler [2018-07-26 11:59:12] 933*2^1519518-1 is not prime. Res64: 6E1A454838C427BA Time : 0.0 sec. user=mdettweiler [2018-07-26 11:59:12] 1001*2^1519518-1 is not prime. Res64: FCC38F036FA091FC Time : 0.0 sec. user=mdettweiler [2018-07-26 11:59:12] 601*2^1519519-1 is not prime. Res64: C206DCE36116A045 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:02:23] 615*2^1519519-1 is not prime. Res64: CA45903771BCEC5B Time : 0.0 sec. user=mdettweiler [2018-07-26 12:02:23] 685*2^1519519-1 is not prime. Res64: 39B32371071C0CE6 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:02:24] 775*2^1519519-1 is not prime. Res64: 375D94AE4ADA4848 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:02:24] 831*2^1519519-1 is not prime. Res64: 15FDC681B4AD8183 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:02:24] 885*2^1519519-1 is not prime. Res64: DE5A89DEA0486076 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:09:01] 891*2^1519519-1 is not prime. Res64: AD036680B4786BDE Time : 0.0 sec. user=mdettweiler [2018-07-26 12:09:01] 973*2^1519519-1 is not prime. Res64: AFFC47AE00D8F83F Time : 0.0 sec. user=mdettweiler [2018-07-26 12:09:02] 985*2^1519519-1 is not prime. Res64: 52E7A0070F6CBE87 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:09:02] 999*2^1519519-1 is not prime. Res64: B052F448BF70B3EF Time : 0.0 sec. user=mdettweiler [2018-07-26 12:09:03] 669*2^1519520-1 is not prime. Res64: 4C9412878155779E Time : 0.0 sec. user=juhehe [2018-07-26 12:32:22] 741*2^1519521-1 is not prime. Res64: 170E88E3840CCCD7 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:40:48] 745*2^1519521-1 is not prime. Res64: 72350AA451385AB6 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:40:48] 747*2^1519521-1 is not prime. Res64: C03CC88F4EFA7C96 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:40:49] 789*2^1519521-1 is not prime. Res64: 3012182CC85FBFA5 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:40:49] 795*2^1519521-1 is not prime. Res64: 77FB2F7D416FD869 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:40:50] 817*2^1519521-1 is not prime. Res64: 84D2317215247871 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:51:54] 829*2^1519521-1 is not prime. Res64: 313E105BEC335052 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:51:55] 895*2^1519521-1 is not prime. Res64: 704F472CFC6A0040 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:51:55] 909*2^1519521-1 is not prime. Res64: 654FCD2F3E53EC5D Time : 0.0 sec. user=mdettweiler [2018-07-26 12:51:55] 945*2^1519521-1 is not prime. Res64: AC3E623B416ED4EF Time : 0.0 sec. user=mdettweiler [2018-07-26 12:51:56] 741*2^1519522-1 is not prime. Res64: 7A341792B37346EE Time : 0.0 sec. user=mdettweiler [2018-07-26 12:55:09] 765*2^1519522-1 is not prime. Res64: 6D0481464CCF692C Time : 0.0 sec. user=mdettweiler [2018-07-26 12:55:09] 813*2^1519522-1 is not prime. Res64: 9036C3B25739F4C5 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:55:09] 885*2^1519522-1 is not prime. Res64: ED8BB1973FCF912F Time : 0.0 sec. user=mdettweiler [2018-07-26 12:55:10] 1001*2^1519522-1 is not prime. Res64: BCE924FE6A3F2D25 Time : 0.0 sec. user=mdettweiler [2018-07-26 12:55:10] 603*2^1519523-1 is not prime. Res64: D44DCEB6D9C0E8B8 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:01:49] 669*2^1519523-1 is not prime. Res64: 5811CBD6FF3DE001 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:01:50] 675*2^1519523-1 is not prime. Res64: 07562C4A9D2A58D5 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:01:50] 693*2^1519523-1 is not prime. Res64: 148C6D06C9B199C8 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:01:51] 699*2^1519523-1 is not prime. Res64: FD8A161F13B957DB Time : 0.0 sec. user=mdettweiler [2018-07-26 13:01:51] 861*2^1519523-1 is not prime. Res64: D0BAE37ACD7CCABA Time : 0.0 sec. user=juhehe [2018-07-26 13:18:24] 921*2^1519523-1 is not prime. Res64: C1BEDB3ADFEF029F Time : 0.0 sec. user=mdettweiler [2018-07-26 13:37:15] 943*2^1519523-1 is not prime. Res64: 55B589656464DEDA Time : 0.0 sec. user=mdettweiler [2018-07-26 13:37:15] 615*2^1519524-1 is not prime. Res64: CF26693862817813 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:37:15] 629*2^1519524-1 is not prime. Res64: 08BE51876FB770CA Time : 0.0 sec. user=mdettweiler [2018-07-26 13:37:15] 705*2^1519524-1 is not prime. Res64: BA00BFFD1EF8FFC1 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:37:16] 717*2^1519524-1 is not prime. Res64: 386C578D86258996 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:47:55] 719*2^1519524-1 is not prime. Res64: D6F7404EDB89309B Time : 0.0 sec. user=mdettweiler [2018-07-26 13:47:56] 737*2^1519524-1 is not prime. Res64: BA6DCC7F64CB0D65 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:47:56] 795*2^1519524-1 is not prime. Res64: 4BA32BCD41F35392 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:47:56] 843*2^1519524-1 is not prime. Res64: 8104DCDF0450B781 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:47:57] 887*2^1519524-1 is not prime. Res64: D65CC7F2B7BC952C Time : 0.0 sec. user=mdettweiler [2018-07-26 13:50:40] 905*2^1519524-1 is not prime. Res64: 5C5EEFBA213CD34F Time : 0.0 sec. user=mdettweiler [2018-07-26 13:50:40] 801*2^1519525-1 is not prime. Res64: 4CACBDEAFAD56BFD Time : 0.0 sec. user=mdettweiler [2018-07-26 13:50:41] 811*2^1519525-1 is not prime. Res64: D2FCB70B8B28928C Time : 0.0 sec. user=mdettweiler [2018-07-26 13:50:41] 861*2^1519525-1 is not prime. Res64: 8EB485F4E4C031AA Time : 0.0 sec. user=mdettweiler [2018-07-26 13:50:41] 871*2^1519525-1 is not prime. Res64: 92707EF2C40E33B4 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:57:15] 877*2^1519525-1 is not prime. Res64: 57ADB1DAC0BCAD84 Time : 0.0 sec. user=mdettweiler [2018-07-26 13:57:16] 937*2^1519525-1 is not prime. Res64: 85A54EDC772F538A Time : 0.0 sec. user=mdettweiler [2018-07-26 13:57:16] 955*2^1519525-1 is not prime. Res64: 1123DA91154A68AF Time : 0.0 sec. user=mdettweiler [2018-07-26 13:57:17] 635*2^1519526-1 is not prime. Res64: AC5FBA7B929C76CB Time : 0.0 sec. user=mdettweiler [2018-07-26 13:57:17] 707*2^1519526-1 is not prime. Res64: 39812588E60C753A Time : 0.0 sec. user=mdettweiler [2018-07-26 14:28:52] 747*2^1519526-1 is not prime. Res64: 02CB55C91F02C86A Time : 0.0 sec. user=mdettweiler [2018-07-26 14:28:52] 867*2^1519526-1 is not prime. Res64: 733A18DF6F6A4801 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:28:52] 923*2^1519526-1 is not prime. Res64: 24052766CBCD9F53 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:28:53] 935*2^1519526-1 is not prime. Res64: 250C8FDA612722CD Time : 0.0 sec. user=mdettweiler [2018-07-26 14:28:53] 661*2^1519527-1 is not prime. Res64: 232DC1AAA3E5D1ED Time : 0.0 sec. user=mdettweiler [2018-07-26 14:38:40] 675*2^1519527-1 is not prime. Res64: 56C5D4FC963CEAA2 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:38:40] 703*2^1519527-1 is not prime. Res64: A56B2EA93CEDCD56 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:38:40] 879*2^1519527-1 is not prime. Res64: 4160E957D086B1D5 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:38:41] 891*2^1519527-1 is not prime. Res64: ECE886C8791B5530 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:38:41] 657*2^1519528-1 is not prime. Res64: C5DDEB52456A6DEA Time : 0.0 sec. user=mdettweiler [2018-07-26 14:41:37] 699*2^1519528-1 is not prime. Res64: F744600D32BD079C Time : 0.0 sec. user=mdettweiler [2018-07-26 14:41:37] 705*2^1519528-1 is not prime. Res64: CA131AA83A6F6768 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:41:38] 755*2^1519528-1 is not prime. Res64: 3BC4384DA2AA6D2F Time : 0.0 sec. user=mdettweiler [2018-07-26 14:41:38] 869*2^1519528-1 is not prime. Res64: E7AFCC0DC3A24A2C Time : 0.0 sec. user=mdettweiler [2018-07-26 14:41:38] 897*2^1519528-1 is not prime. Res64: E878BFC1F0E60C74 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:48:02] 959*2^1519528-1 is not prime. Res64: 7B7815CB40A4F515 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:48:02] 729*2^1519529-1 is not prime. Res64: 6554C94860DA2BD6 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:48:02] 945*2^1519529-1 is not prime. Res64: D120136F98D24A2B Time : 0.0 sec. user=mdettweiler [2018-07-26 14:48:03] 949*2^1519529-1 is not prime. Res64: 01B9E6F9F5DD7918 Time : 0.0 sec. user=mdettweiler [2018-07-26 14:48:03] 979*2^1519529-1 is not prime. Res64: 2F520C4ED05FC4A8 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:20:03] 985*2^1519529-1 is not prime. Res64: 123832A81CF7B2F6 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:20:03] 987*2^1519529-1 is not prime. Res64: 796718D67A465A77 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:20:04] 711*2^1519530-1 is not prime. Res64: 233AA0EAFB550A93 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:20:04] 765*2^1519530-1 is not prime. Res64: ECC2E6CB7AF49D1E Time : 0.0 sec. user=mdettweiler [2018-07-26 15:20:05] 777*2^1519530-1 is not prime. Res64: 38800C29C103CD7B Time : 0.0 sec. user=mdettweiler [2018-07-26 15:30:38] 783*2^1519530-1 is not prime. Res64: 8ED05B8C5094B8AC Time : 0.0 sec. user=mdettweiler [2018-07-26 15:30:38] 887*2^1519530-1 is not prime. Res64: FC56F27A177A9FB3 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:30:39] 891*2^1519530-1 is not prime. Res64: 413D91440388F3B8 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:30:39] 921*2^1519530-1 is not prime. Res64: 1C78BCB2F693B15B Time : 0.0 sec. user=mdettweiler [2018-07-26 15:30:39] 933*2^1519530-1 is not prime. Res64: B0FCA232BCF1F50E Time : 0.0 sec. user=mdettweiler [2018-07-26 15:33:37] 681*2^1519531-1 is not prime. Res64: 3E960E4031A4D4E3 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:33:37] 723*2^1519531-1 is not prime. Res64: 7215E483805EF32B Time : 0.0 sec. user=mdettweiler [2018-07-26 15:33:38] 745*2^1519531-1 is not prime. Res64: CA303E5709BC7760 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:33:38] 759*2^1519531-1 is not prime. Res64: 1D27D94F3C281FE4 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:33:39] 861*2^1519531-1 is not prime. Res64: CB6C9C1BA6610D56 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:39:20] 615*2^1519532-1 is not prime. Res64: 3E877192EC80C096 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:39:20] 833*2^1519532-1 is not prime. Res64: 99F4D48B0A863725 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:39:21] 903*2^1519532-1 is not prime. Res64: B2D8C9544DA9F7F2 Time : 0.0 sec. user=mdettweiler [2018-07-26 15:39:21] 957*2^1519532-1 is not prime. Res64: AD9A468E877D99DB Time : 0.0 sec. user=mdettweiler [2018-07-26 15:39:21] 615*2^1519533-1 is not prime. Res64: AC27B2E200429DC7 Time : 0.0 sec. user=juhehe [2018-07-26 15:39:27] 639*2^1519533-1 is not prime. Res64: 9891E75705760601 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:11:32] 741*2^1519533-1 is not prime. Res64: 06CA3504146130BD Time : 0.0 sec. user=mdettweiler [2018-07-26 16:11:32] 747*2^1519533-1 is not prime. Res64: 67DE71ACBF63299F Time : 0.0 sec. user=mdettweiler [2018-07-26 16:11:33] 789*2^1519533-1 is not prime. Res64: BE13F8121FE1717C Time : 0.0 sec. user=mdettweiler [2018-07-26 16:11:33] 817*2^1519533-1 is not prime. Res64: 1962CEACE0E06A34 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:11:34] 921*2^1519533-1 is not prime. Res64: 33780C08B6A76412 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:23:15] 705*2^1519534-1 is not prime. Res64: 93853245CEAF219F Time : 0.0 sec. user=mdettweiler [2018-07-26 16:23:15] 723*2^1519534-1 is not prime. Res64: 7276C9333D00788A Time : 0.0 sec. user=mdettweiler [2018-07-26 16:23:15] 773*2^1519534-1 is not prime. Res64: 06E5C30073863FDC Time : 0.0 sec. user=mdettweiler [2018-07-26 16:23:16] 857*2^1519534-1 is not prime. Res64: AE802142BF9F0985 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:23:16] 861*2^1519534-1 is not prime. Res64: 1C6EEB959AC554FD Time : 0.0 sec. user=mdettweiler [2018-07-26 16:25:14] 887*2^1519534-1 is not prime. Res64: 78970BAE3384D60C Time : 0.0 sec. user=mdettweiler [2018-07-26 16:25:15] 897*2^1519534-1 is not prime. Res64: 99774BB2F2ABC4EB Time : 0.0 sec. user=mdettweiler [2018-07-26 16:25:15] 903*2^1519534-1 is not prime. Res64: 5FABA24194E9EE74 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:25:15] 951*2^1519534-1 is not prime. Res64: 445B6CBDEEC04948 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:25:16] 975*2^1519534-1 is not prime. Res64: 98AAC8DEB61CCD1C Time : 0.0 sec. user=mdettweiler [2018-07-26 16:30:41] 981*2^1519534-1 is not prime. Res64: E9A4CA720AE1017A Time : 0.0 sec. user=mdettweiler [2018-07-26 16:30:41] 771*2^1519535-1 is not prime. Res64: CC88F4555CF9C4DC Time : 0.0 sec. user=mdettweiler [2018-07-26 16:30:41] 799*2^1519535-1 is not prime. Res64: D825A6C8C3A5D3B1 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:30:42] 623*2^1519536-1 is not prime. Res64: 7396C625E85A5B93 Time : 0.0 sec. user=mdettweiler [2018-07-26 16:30:42] 635*2^1519536-1 is not prime. Res64: E78CE1510E114962 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:02:41] 669*2^1519536-1 is not prime. Res64: 651322B608360D7C Time : 0.0 sec. user=mdettweiler [2018-07-26 17:02:42] 725*2^1519536-1 is not prime. Res64: 5A71C33CE0D3C30D Time : 0.0 sec. user=mdettweiler [2018-07-26 17:02:42] 759*2^1519536-1 is not prime. Res64: D9441991E82AAC23 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:02:43] 857*2^1519536-1 is not prime. Res64: FA4881CE1E559F89 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:02:44] 903*2^1519536-1 is not prime. Res64: C9933988EFD4805A Time : 0.0 sec. user=mdettweiler [2018-07-26 17:14:42] 625*2^1519537-1 is not prime. Res64: 35F3FD4389DD177C Time : 0.0 sec. user=mdettweiler [2018-07-26 17:14:43] 871*2^1519537-1 is not prime. Res64: E6E214E2E5BAC285 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:14:43] 885*2^1519537-1 is not prime. Res64: C89B4F698D723C63 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:14:44] 901*2^1519537-1 is not prime. Res64: 61134F09B2F2AA7B Time : 0.0 sec. user=mdettweiler [2018-07-26 17:14:44] 955*2^1519537-1 is not prime. Res64: 191687CB37F321BC Time : 0.0 sec. user=mdettweiler [2018-07-26 17:16:41] 633*2^1519538-1 is not prime. Res64: EFC65A73EAC14A15 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:16:42] 635*2^1519538-1 is not prime. Res64: 355642C52AE16725 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:16:42] 645*2^1519538-1 is not prime. Res64: E71AC282706279E7 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:16:42] 743*2^1519538-1 is not prime. Res64: 099B9C148D045B8F Time : 0.0 sec. user=mdettweiler [2018-07-26 17:16:43] 791*2^1519538-1 is not prime. Res64: 7D1981C8E17EAC22 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:22:25] 893*2^1519538-1 is not prime. Res64: 2E8BA43AC3C0AB48 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:22:26] 911*2^1519538-1 is not prime. Res64: 2BB9D2C1B56077A9 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:22:26] 745*2^1519539-1 is not prime. Res64: 637FCD90B6B7603C Time : 0.0 sec. user=mdettweiler [2018-07-26 17:22:26] 823*2^1519539-1 is not prime. Res64: 3BFFA7C5846BC01E Time : 0.0 sec. user=mdettweiler [2018-07-26 17:22:27] 975*2^1519539-1 is not prime. Res64: D47B77D1F5D12713 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:54:43] 647*2^1519540-1 is not prime. Res64: FF68F6B87B11E640 Time : 0.0 sec. user=mdettweiler [2018-07-26 17:54:44] 689*2^1519540-1 is not prime. Res64: 87FABF2B66DDAC0F Time : 0.0 sec. user=mdettweiler [2018-07-26 17:54:44] 735*2^1519540-1 is not prime. Res64: 01CA51C37B00A9CB Time : 0.0 sec. user=mdettweiler [2018-07-26 17:54:44] 857*2^1519540-1 is not prime. Res64: 01F26A5440E73CFD Time : 0.0 sec. user=mdettweiler [2018-07-26 17:54:45] 645*2^1519541-1 is not prime. Res64: 571471D0B998FF60 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:07:28] 691*2^1519541-1 is not prime. Res64: 55FD8B317FEF0F32 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:07:30] 745*2^1519541-1 is not prime. Res64: 2342BFA9536115AD Time : 0.0 sec. user=mdettweiler [2018-07-26 18:07:32] 865*2^1519541-1 is not prime. Res64: C7294646226C54AE Time : 0.0 sec. user=mdettweiler [2018-07-26 18:07:34] 885*2^1519541-1 is not prime. Res64: 5BFA1E32171C555F Time : 0.0 sec. user=mdettweiler [2018-07-26 18:07:36] 949*2^1519541-1 is not prime. Res64: 9469F550F699DF09 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:09:35] 923*2^1519542-1 is not prime. Res64: 04CB09F41A05D5EF Time : 0.0 sec. user=mdettweiler [2018-07-26 18:09:36] 625*2^1519543-1 is not prime. Res64: F74922545A8E5864 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:09:36] 649*2^1519543-1 is not prime. Res64: 5DF05B0DC779D56D Time : 0.0 sec. user=mdettweiler [2018-07-26 18:09:37] 681*2^1519543-1 is not prime. Res64: 941FDD257B0EEB13 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:09:37] 703*2^1519543-1 is not prime. Res64: 94DF2A87B53A96C3 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:15:26] 805*2^1519543-1 is not prime. Res64: 572A48E00E9245A2 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:15:26] 859*2^1519543-1 is not prime. Res64: 1051057479DF1D91 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:15:26] 875*2^1519544-1 is not prime. Res64: F9D6A8CAF9DCB838 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:15:27] 625*2^1519545-1 is not prime. Res64: 27C0803D214E1FC7 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:15:27] 649*2^1519545-1 is not prime. Res64: 99FAD848C06CDB45 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:47:16] 735*2^1519545-1 is not prime. Res64: 667DBE66D60DA603 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:47:16] 759*2^1519545-1 is not prime. Res64: 13E8DAEDC054C411 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:47:17] 765*2^1519545-1 is not prime. Res64: 3CC719487CF0E0E0 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:47:17] 919*2^1519545-1 is not prime. Res64: B210391183E8BAD4 Time : 0.0 sec. user=mdettweiler [2018-07-26 18:47:17] 979*2^1519545-1 is not prime. Res64: B0C59C3E697F45F8 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:02:19] 713*2^1519546-1 is not prime. Res64: 4BFBAF180271AD1B Time : 0.0 sec. user=mdettweiler [2018-07-26 19:02:20] 735*2^1519546-1 is not prime. Res64: ECAE6A1E81DB4B36 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:02:21] 813*2^1519546-1 is not prime. Res64: 75AEFAE217792084 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:02:22] 857*2^1519546-1 is not prime. Res64: 7D43B35B49A46560 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:02:23] 867*2^1519546-1 is not prime. Res64: AC52003E59EDDA1F Time : 0.0 sec. user=mdettweiler [2018-07-26 19:03:22] 663*2^1519547-1 is not prime. Res64: 6A293DFCA06CE5F0 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:03:23] 703*2^1519547-1 is not prime. Res64: 2EBF89CA61EC80C6 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:03:23] 805*2^1519547-1 is not prime. Res64: 32E91BC1A69C3C2A Time : 0.0 sec. user=mdettweiler [2018-07-26 19:03:25] 861*2^1519547-1 is not prime. Res64: 8C12FF7311DAF529 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:03:26] 871*2^1519547-1 is not prime. Res64: FF35D5C37965B3F9 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:08:00] 777*2^1519548-1 is not prime. Res64: 06D32C088F08BC13 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:08:03] 825*2^1519548-1 is not prime. Res64: EB9AB5DCBD16352B Time : 0.0 sec. user=mdettweiler [2018-07-26 19:08:04] 915*2^1519548-1 is not prime. Res64: B7A085383F8A2134 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:08:05] 929*2^1519548-1 is not prime. Res64: 69260FE06D45BEFF Time : 0.0 sec. user=mdettweiler [2018-07-26 19:08:06] 945*2^1519548-1 is not prime. Res64: 7DD9BFF858CDD974 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:40:09] 615*2^1519549-1 is not prime. Res64: 4649106596E6285C Time : 0.0 sec. user=mdettweiler [2018-07-26 19:40:09] 691*2^1519549-1 is not prime. Res64: 4CDEA70A80617511 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:40:10] 789*2^1519549-1 is not prime. Res64: 8B5678338529D200 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:40:10] 895*2^1519549-1 is not prime. Res64: 071B5343EF9E8207 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:40:10] 897*2^1519549-1 is not prime. Res64: 0A8F42635BB4BD3A Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:27] 831*2^1519550-1 is not prime. Res64: 1DC1EDE1C5B14B98 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:28] 917*2^1519550-1 is not prime. Res64: E2995E61C6BA5EBE Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:28] 965*2^1519550-1 is not prime. Res64: A628A31A96E694EB Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:29] 685*2^1519551-1 is not prime. Res64: 37F1AACD3108048F Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:29] 735*2^1519551-1 is not prime. Res64: 63A4C2D7BCCA8A33 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:35] 925*2^1519549-1 is not prime. Res64: 326A9DA819FB2622 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:36] 931*2^1519549-1 is not prime. Res64: EF9E619210FD3BFC Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:36] 955*2^1519549-1 is not prime. Res64: E050811B5909B438 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:36] 627*2^1519550-1 is not prime. Res64: A86936010A2DC185 Time : 0.0 sec. user=mdettweiler [2018-07-26 19:57:37] 731*2^1519550-1 is not prime. Res64: 81CF47C61489F478 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:04:27] 741*2^1519551-1 is not prime. Res64: 2B794410EA3F46BF Time : 0.0 sec. user=mdettweiler [2018-07-26 20:04:28] 751*2^1519551-1 is not prime. Res64: C44245DA53949096 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:04:29] 819*2^1519551-1 is not prime. Res64: 8C407FEEC48A90AE Time : 0.0 sec. user=mdettweiler [2018-07-26 20:04:30] 885*2^1519551-1 is not prime. Res64: 075963D8CB84E481 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:04:31] 951*2^1519551-1 is not prime. Res64: 4B4CFC4BF43F9D68 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:37:06] 961*2^1519551-1 is not prime. Res64: 0BE05EC523BE46B6 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:37:07] 999*2^1519551-1 is not prime. Res64: EBBCD876040ED22A Time : 0.0 sec. user=mdettweiler [2018-07-26 20:37:07] 639*2^1519552-1 is not prime. Res64: 1DE5DD0E1BD57C46 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:37:08] 705*2^1519552-1 is not prime. Res64: 2448BDA70D41DAF0 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:37:08] 765*2^1519552-1 is not prime. Res64: A792DD127A72321E Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:01] 819*2^1519552-1 is not prime. Res64: 6F17B5E76825C2D2 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:01] 987*2^1519553-1 is not prime. Res64: 77DE42EC5C82237D Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:02] 635*2^1519554-1 is not prime. Res64: 7F9971605722DEAE Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:02] 995*2^1519552-1 is not prime. Res64: 10B7C8C9B742EE08 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:02] 619*2^1519553-1 is not prime. Res64: 192A04B31D719A44 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:02] 681*2^1519554-1 is not prime. Res64: 8FB7A25B22016610 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:03] 649*2^1519553-1 is not prime. Res64: E356FF6E8F0DEA39 Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:03] 711*2^1519554-1 is not prime. Res64: D5097C70DBF26A0C Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:03] 925*2^1519553-1 is not prime. Res64: A9CDF15774922F5A Time : 0.0 sec. user=mdettweiler [2018-07-26 20:55:03] 975*2^1519554-1 is not prime. Res64: A7298653BA1DFF79 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:03:12] 705*2^1519555-1 is not prime. Res64: 8AE619489F2D76AB Time : 0.0 sec. user=mdettweiler [2018-07-26 21:03:13] 733*2^1519555-1 is not prime. Res64: 08B3A220F7E82E54 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:03:13] 853*2^1519555-1 is not prime. Res64: 3093DB607509B2DD Time : 0.0 sec. user=mdettweiler [2018-07-26 21:03:14] 859*2^1519555-1 is not prime. Res64: 707DD8F6BBB2A38A Time : 0.0 sec. user=mdettweiler [2018-07-26 21:03:14] 889*2^1519555-1 is not prime. Res64: 4438D0D620C5B69F Time : 0.0 sec. user=mdettweiler [2018-07-26 21:34:08] 891*2^1519555-1 is not prime. Res64: 252642BBED3AF67D Time : 0.0 sec. user=mdettweiler [2018-07-26 21:34:08] 951*2^1519555-1 is not prime. Res64: 6A9960815CC37ED9 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:34:08] 961*2^1519555-1 is not prime. Res64: 2EA221E46706C984 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:34:09] 985*2^1519555-1 is not prime. Res64: B3F249BC451AD3EC Time : 0.0 sec. user=mdettweiler [2018-07-26 21:34:09] 635*2^1519556-1 is not prime. Res64: B91C717C76D3D0E0 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:49:08] 969*2^1519556-1 is not prime. Res64: 2B906437729F9381 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:49:08] 993*2^1519556-1 is not prime. Res64: 4D50CE66136E794B Time : 0.0 sec. user=mdettweiler [2018-07-26 21:49:09] 601*2^1519557-1 is not prime. Res64: 75B588A25C0486F5 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:49:09] 609*2^1519557-1 is not prime. Res64: 7CB0522042D03159 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:49:09] 615*2^1519557-1 is not prime. Res64: 38A27B9BDF239EFC Time : 0.0 sec. user=mdettweiler [2018-07-26 21:51:57] 675*2^1519556-1 is not prime. Res64: 8E7E75079C5B7C3C Time : 0.0 sec. user=mdettweiler [2018-07-26 21:51:57] 699*2^1519556-1 is not prime. Res64: DBCC0D324FF06D33 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:51:58] 843*2^1519556-1 is not prime. Res64: 86CFCC3A1955C8EA Time : 0.0 sec. user=mdettweiler [2018-07-26 21:51:58] 875*2^1519556-1 is not prime. Res64: 6D0C018783478565 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:51:58] 953*2^1519556-1 is not prime. Res64: D8EE5916C81884BC Time : 0.0 sec. user=mdettweiler [2018-07-26 21:59:06] 861*2^1519557-1 is not prime. Res64: 2E1433A9E2003C0B Time : 0.0 sec. user=mdettweiler [2018-07-26 21:59:07] 867*2^1519557-1 is not prime. Res64: F2B24B4B7297C47B Time : 0.0 sec. user=mdettweiler [2018-07-26 21:59:07] 985*2^1519557-1 is not prime. Res64: 559EF7E6F999ED05 Time : 0.0 sec. user=mdettweiler [2018-07-26 21:59:07] 991*2^1519557-1 is not prime. Res64: 8A34043AE87E759B Time : 0.0 sec. user=mdettweiler [2018-07-26 21:59:08] 657*2^1519558-1 is not prime. Res64: 1815089E07496F95 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:27:51] 695*2^1519558-1 is not prime. Res64: 554C2CD93B4ADCC7 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:27:51] 713*2^1519558-1 is not prime. Res64: 18C342F7E2F8000B Time : 0.0 sec. user=mdettweiler [2018-07-26 22:27:51] 777*2^1519558-1 is not prime. Res64: DD8ABD522EC7DF0B Time : 0.0 sec. user=mdettweiler [2018-07-26 22:27:52] 887*2^1519558-1 is not prime. Res64: 24A9E7CF4436A5FD Time : 0.0 sec. user=mdettweiler [2018-07-26 22:27:52] 923*2^1519558-1 is not prime. Res64: 9D9C961BFABABA88 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:42:07] 987*2^1519558-1 is not prime. Res64: 3ED8DA1EAC8E0501 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:42:08] 615*2^1519559-1 is not prime. Res64: 1E92903B24D05C7E Time : 0.0 sec. user=mdettweiler [2018-07-26 22:42:08] 619*2^1519559-1 is not prime. Res64: E1AD0A8CFE0FDB2A Time : 0.0 sec. user=mdettweiler [2018-07-26 22:42:08] 663*2^1519559-1 is not prime. Res64: 4FABEBEF3A77E38A Time : 0.0 sec. user=mdettweiler [2018-07-26 22:42:09] 679*2^1519559-1 is not prime. Res64: 8B801D061E373A63 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:45:19] 685*2^1519559-1 is not prime. Res64: 1CD4B2534AC6F62A Time : 0.0 sec. user=mdettweiler [2018-07-26 22:45:20] 865*2^1519559-1 is not prime. Res64: 11574E576DAB772E Time : 0.0 sec. user=mdettweiler [2018-07-26 22:45:20] 999*2^1519559-1 is not prime. Res64: A0BA68268E7A60E0 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:45:20] 767*2^1519560-1 is not prime. Res64: BDF31B606C9BF5DF Time : 0.0 sec. user=mdettweiler [2018-07-26 22:45:21] 773*2^1519560-1 is not prime. Res64: D96435B606F87B5D Time : 0.0 sec. user=mdettweiler [2018-07-26 22:51:55] 839*2^1519560-1 is not prime. Res64: 8BC84201C9A4C88D Time : 0.0 sec. user=mdettweiler [2018-07-26 22:51:56] 651*2^1519561-1 is not prime. Res64: 8CD798CF665BFE47 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:51:56] 777*2^1519561-1 is not prime. Res64: AE1EFE17054E5CA0 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:51:57] 801*2^1519561-1 is not prime. Res64: 40817CCE79458961 Time : 0.0 sec. user=mdettweiler [2018-07-26 22:51:57] 889*2^1519561-1 is not prime. Res64: B972F78CC24470E1 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:21:18] 705*2^1519562-1 is not prime. Res64: 4EC074ED2DFE2D03 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:21:18] 977*2^1519562-1 is not prime. Res64: 8E844292553D935A Time : 0.0 sec. user=mdettweiler [2018-07-26 23:21:19] 983*2^1519562-1 is not prime. Res64: E5134C49EA02ADC3 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:21:19] 741*2^1519563-1 is not prime. Res64: 408556FD8E035B31 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:21:19] 775*2^1519563-1 is not prime. Res64: 7732B27BDBFEC14A Time : 0.0 sec. user=mdettweiler [2018-07-26 23:32:38] 781*2^1519563-1 is not prime. Res64: 5B91827C70365445 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:32:39] 819*2^1519563-1 is not prime. Res64: 93EC55749C0CC1E3 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:32:39] 859*2^1519563-1 is not prime. Res64: BF403C6EAE0558A5 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:32:40] 891*2^1519563-1 is not prime. Res64: 2409A61D2B394D0E Time : 0.0 sec. user=mdettweiler [2018-07-26 23:32:40] 609*2^1519564-1 is not prime. Res64: 25AE59CF29F4A21E Time : 0.0 sec. user=mdettweiler [2018-07-26 23:36:08] 657*2^1519564-1 is not prime. Res64: 5D2082F153CD27B7 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:36:09] 677*2^1519564-1 is not prime. Res64: 822E20AD9D1CCB11 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:36:09] 783*2^1519564-1 is not prime. Res64: 6687C7C8042CB11A Time : 0.0 sec. user=mdettweiler [2018-07-26 23:36:09] 819*2^1519564-1 is not prime. Res64: E362D911D27D2551 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:36:10] 929*2^1519564-1 is not prime. Res64: 9B6ED25A6BDCFD4A Time : 0.0 sec. user=mdettweiler [2018-07-26 23:42:29] 675*2^1519565-1 is not prime. Res64: 618C88CEEB9B35B9 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:42:30] 771*2^1519565-1 is not prime. Res64: 37B62962C50EC020 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:42:30] 861*2^1519565-1 is not prime. Res64: 6E1C7069E8585FA7 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:42:30] 987*2^1519565-1 is not prime. Res64: E6C2F06910EC67D3 Time : 0.0 sec. user=mdettweiler [2018-07-26 23:42:31] 615*2^1519566-1 is not prime. Res64: D23EFA333FCCA382 Time : 0.0 sec.