user=mdettweiler [2019-07-11 00:02:10] 909*2^1541627-1 is not prime. Res64: DA0BB23C618E1A94 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:02:16] 949*2^1541627-1 is not prime. Res64: C62A300D27429CF4 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:02:21] 663*2^1541628-1 is not prime. Res64: 159A37B4AF4593DA Time : 0.0 sec. user=mdettweiler [2019-07-11 00:02:25] 699*2^1541628-1 is not prime. Res64: 75B692B509041CE1 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:02:34] 839*2^1541628-1 is not prime. Res64: 47B4BD6D08296766 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:15:27] 755*2^1541630-1 is not prime. Res64: 58BB479F60090995 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:15:33] 801*2^1541630-1 is not prime. Res64: 089EC56A2A87AE4C Time : 0.0 sec. user=mdettweiler [2019-07-11 00:15:41] 813*2^1541630-1 is not prime. Res64: F3D8C48F5B11AD1F Time : 0.0 sec. user=mdettweiler [2019-07-11 00:15:46] 867*2^1541630-1 is not prime. Res64: 2E704D5541DB31BC Time : 0.0 sec. user=mdettweiler [2019-07-11 00:15:52] 887*2^1541630-1 is not prime. Res64: F63E4B5DAF1EB840 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:16:03] 681*2^1541629-1 is not prime. Res64: 8D10B5634BDBF981 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:17:36] 661*2^1541631-1 is not prime. Res64: E093C5AEB6D256B5 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:17:43] 751*2^1541631-1 is not prime. Res64: 4F6811E07BE8AC98 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:17:46] 973*2^1541631-1 is not prime. Res64: FF7BDBE037FC5B7C Time : 0.0 sec. user=mdettweiler [2019-07-11 00:17:50] 999*2^1541631-1 is not prime. Res64: F1EEF4BE8CFF83D4 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:17:54] 629*2^1541632-1 is not prime. Res64: FDB074905988FBD6 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:56:16] 965*2^1541632-1 is not prime. Res64: 3690A00EDA55C8FB Time : 0.0 sec. user=mdettweiler [2019-07-11 00:56:17] 615*2^1541633-1 is not prime. Res64: CEB5D5BA43FB6A33 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:56:17] 627*2^1541633-1 is not prime. Res64: 701BD702F797BB1C Time : 0.0 sec. user=mdettweiler [2019-07-11 00:56:18] 705*2^1541633-1 is not prime. Res64: 2607D9F349ADC1B5 Time : 0.0 sec. user=mdettweiler [2019-07-11 00:56:18] 811*2^1541633-1 is not prime. Res64: 98D5B64ECDEE04A5 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:06] 847*2^1541633-1 is not prime. Res64: DEA318F8E8604D02 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:09] 861*2^1541633-1 is not prime. Res64: CF0D76ED97683E85 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:11] 987*2^1541633-1 is not prime. Res64: FDACA6D44CCE7AEC Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:12] 671*2^1541634-1 is not prime. Res64: C626C1FD001F98BE Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:14] 681*2^1541634-1 is not prime. Res64: 4B48C95D9D4A0C53 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:19] 683*2^1541634-1 is not prime. Res64: 7AFD21E23D7FB416 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:24] 725*2^1541634-1 is not prime. Res64: 23DA49D757AC3C52 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:30] 875*2^1541634-1 is not prime. Res64: 8457DA9E489744D0 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:34] 921*2^1541634-1 is not prime. Res64: E0C71BD8133BB73B Time : 0.0 sec. user=mdettweiler [2019-07-11 01:10:37] 691*2^1541635-1 is not prime. Res64: A1C238F7DAE0DB19 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:47:52] 733*2^1541635-1 is not prime. Res64: 16B0489B137179D7 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:47:53] 855*2^1541635-1 is not prime. Res64: 92B22F54EB84D88D Time : 0.0 sec. user=mdettweiler [2019-07-11 01:47:53] 603*2^1541636-1 is not prime. Res64: CC49F17F227419BE Time : 0.0 sec. user=mdettweiler [2019-07-11 01:47:54] 617*2^1541636-1 is not prime. Res64: C9935D3ADB6D5432 Time : 0.0 sec. user=mdettweiler [2019-07-11 01:47:54] 623*2^1541636-1 is not prime. Res64: 6A6C7024A466EBA2 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:45] 601*2^1541637-1 is not prime. Res64: 61ACB5C2FC8AF198 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:47] 615*2^1541637-1 is not prime. Res64: 5F9AB2042549DC7A Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:48] 639*2^1541637-1 is not prime. Res64: 1BC1D19F026D330B Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:49] 649*2^1541637-1 is not prime. Res64: 02936D4690C9EB8E Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:51] 669*2^1541637-1 is not prime. Res64: 03720E3259B89931 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:55] 647*2^1541636-1 is not prime. Res64: 73157B470AB6F2BF Time : 0.0 sec. user=mdettweiler [2019-07-11 02:04:56] 677*2^1541636-1 is not prime. Res64: 4E238C39982D2AAA Time : 0.0 sec. user=mdettweiler [2019-07-11 02:05:00] 689*2^1541636-1 is not prime. Res64: D0EDEC1BCD0D231B Time : 0.0 sec. user=mdettweiler [2019-07-11 02:05:03] 833*2^1541636-1 is not prime. Res64: C77799876518A215 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:05:06] 969*2^1541636-1 is not prime. Res64: 8CFF8D3F3D6DBDAC Time : 0.0 sec. user=mdettweiler [2019-07-11 02:21:39] 641*2^1541630-1 is not prime. Res64: 6A7603AC04F73986 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:21:39] 663*2^1541630-1 is not prime. Res64: B277266A5CF409BF Time : 0.0 sec. user=mdettweiler [2019-07-11 02:21:40] 741*2^1541630-1 is not prime. Res64: 263D610B2226AAE2 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:21:40] 935*2^1541630-1 is not prime. Res64: 3B925301113A6B56 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:54:07] 685*2^1541637-1 is not prime. Res64: 1B32E849C5CFB8FA Time : 0.0 sec. user=mdettweiler [2019-07-11 02:54:08] 735*2^1541637-1 is not prime. Res64: 1FE8CB5F6B87E0AB Time : 0.0 sec. user=mdettweiler [2019-07-11 02:54:09] 847*2^1541637-1 is not prime. Res64: 28D35494B2A5E773 Time : 0.0 sec. user=mdettweiler [2019-07-11 02:54:10] 997*2^1541637-1 is not prime. Res64: AF8B90F5FE3E599F Time : 0.0 sec. user=mdettweiler [2019-07-11 02:54:11] 645*2^1541638-1 is not prime. Res64: 6692A08096A31A7C Time : 0.0 sec. user=mdettweiler [2019-07-11 03:03:43] 707*2^1541638-1 is not prime. Res64: D52C0DED7634B7DB Time : 0.0 sec. user=mdettweiler [2019-07-11 03:03:46] 777*2^1541638-1 is not prime. Res64: 629436521A451177 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:03:47] 815*2^1541638-1 is not prime. Res64: 95E3D0F37824DB05 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:03:49] 843*2^1541638-1 is not prime. Res64: BF584EC8C00DDB28 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:03:51] 867*2^1541638-1 is not prime. Res64: ECD0EF0487E12AE7 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:04:21] 915*2^1541638-1 is not prime. Res64: BE57062C1E50840E Time : 0.0 sec. user=mdettweiler [2019-07-11 03:04:24] 1001*2^1541638-1 is not prime. Res64: 3ED125BDC0EFF57F Time : 0.0 sec. user=mdettweiler [2019-07-11 03:04:26] 661*2^1541639-1 is not prime. Res64: 8F6FE2B6AFF17EDD Time : 0.0 sec. user=mdettweiler [2019-07-11 03:04:28] 705*2^1541639-1 is not prime. Res64: CE4D587E269AF075 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:04:31] 771*2^1541639-1 is not prime. Res64: 231490E65DF061A1 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:47:54] 895*2^1541639-1 is not prime. Res64: 5C92DC362CA9C323 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:47:56] 943*2^1541639-1 is not prime. Res64: E81EE8AC24DBDC12 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:47:57] 665*2^1541640-1 is not prime. Res64: 906358E52BB770A0 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:47:58] 719*2^1541640-1 is not prime. Res64: DEDBEC999D219EA2 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:48:00] 747*2^1541640-1 is not prime. Res64: ED213BCE63EFD935 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:57:15] 797*2^1541640-1 is not prime. Res64: 54792FBE1FA3FE0A Time : 0.0 sec. user=mdettweiler [2019-07-11 03:57:19] 893*2^1541640-1 is not prime. Res64: 05285E8CFABA4F77 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:57:22] 899*2^1541640-1 is not prime. Res64: D11EAD13F9929542 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:57:23] 975*2^1541640-1 is not prime. Res64: BCE7924591D03C12 Time : 0.0 sec. user=mdettweiler [2019-07-11 03:57:28] 649*2^1541641-1 is not prime. Res64: 3A10678A7313DB47 Time : 0.0 sec. user=mdettweiler [2019-07-11 04:41:14] 691*2^1541641-1 is not prime. Res64: DBFB3468E85C4779 Time : 0.0 sec. user=mdettweiler [2019-07-11 04:41:22] 855*2^1541641-1 is not prime. Res64: 9DA42908020A6B95 Time : 0.0 sec. user=mdettweiler [2019-07-11 04:41:30] 931*2^1541641-1 is not prime. Res64: F7E00F969E8D728B Time : 0.0 sec. user=mdettweiler [2019-07-11 04:50:00] 617*2^1541642-1 is not prime. Res64: F186CC8927F500D6 Time : 0.0 sec. user=mdettweiler [2019-07-11 04:50:01] 743*2^1541642-1 is not prime. Res64: C3D455A1446618BD Time : 0.0 sec. user=mdettweiler [2019-07-11 04:50:01] 771*2^1541642-1 is not prime. Res64: 8E9F9B249D7BDCCA Time : 0.0 sec. user=mdettweiler [2019-07-11 04:50:02] 837*2^1541642-1 is not prime. Res64: B804301CEAA0D3D8 Time : 0.0 sec. user=mdettweiler [2019-07-11 04:50:03] 951*2^1541642-1 is not prime. Res64: 28F291D26E574FE4 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:16:06] 857*2^1541644-1 is not prime. Res64: 0151E8A7F9D2FD93 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:43:00] 987*2^1541642-1 is not prime. Res64: 3F79E89E71B81FA7 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:43:00] 739*2^1541643-1 is not prime. Res64: 737643B15E76DBF0 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:43:01] 861*2^1541643-1 is not prime. Res64: 506530993791A954 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:43:01] 951*2^1541643-1 is not prime. Res64: 1912CEF04DAF7831 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:43:02] 969*2^1541643-1 is not prime. Res64: EC46E70AC6F0841C Time : 0.0 sec. user=mdettweiler [2019-07-11 05:49:28] 723*2^1541644-1 is not prime. Res64: 60C02D5950FD0991 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:49:29] 755*2^1541644-1 is not prime. Res64: 718A23281A1660A8 Time : 0.0 sec. user=mdettweiler [2019-07-11 05:49:30] 803*2^1541644-1 is not prime. Res64: B6312FE5C89955AC Time : 0.0 sec. user=mdettweiler [2019-07-11 05:49:31] 833*2^1541644-1 is not prime. Res64: 387E857D0B96779E Time : 0.0 sec. user=mdettweiler [2019-07-11 05:49:32] 855*2^1541644-1 is not prime. Res64: F454DD17B539C193 Time : 0.0 sec. user=mdettweiler [2019-07-11 06:34:47] 863*2^1541644-1 is not prime. Res64: 77C31302B59103FC Time : 0.0 sec. user=mdettweiler [2019-07-11 06:34:48] 959*2^1541644-1 is not prime. Res64: 3986F11639473763 Time : 0.0 sec. user=mdettweiler [2019-07-11 06:34:49] 619*2^1541645-1 is not prime. Res64: 6C85DBD768DEC6D0 Time : 0.0 sec. user=mdettweiler [2019-07-11 06:34:49] 651*2^1541645-1 is not prime. Res64: D77A3451B1951FC4 Time : 0.0 sec. user=mdettweiler [2019-07-11 06:34:50] 787*2^1541645-1 is not prime. Res64: F1694B573CA3AC5C Time : 0.0 sec. user=mdettweiler [2019-07-11 06:41:39] 789*2^1541645-1 is not prime. Res64: CCCF3D78BC38DB3B Time : 0.0 sec. user=mdettweiler [2019-07-11 06:41:40] 801*2^1541645-1 is not prime. Res64: FF5588999C572AF7 Time : 0.0 sec. user=mdettweiler [2019-07-11 06:41:40] 825*2^1541645-1 is not prime. Res64: 5A998BBA64791EFA Time : 0.0 sec. user=mdettweiler [2019-07-11 06:41:41] 847*2^1541645-1 is not prime. Res64: A5F7067B17E8830A Time : 0.0 sec. user=mdettweiler [2019-07-11 06:41:41] 907*2^1541645-1 is not prime. Res64: BFB3F1505EE50B8A Time : 0.0 sec. user=mdettweiler [2019-07-11 07:26:54] 915*2^1541645-1 is not prime. Res64: 845E68160BD9E29E Time : 0.0 sec. user=mdettweiler [2019-07-11 07:26:55] 657*2^1541646-1 is not prime. Res64: 3D7366D405F71E30 Time : 0.0 sec. user=mdettweiler [2019-07-11 07:26:56] 713*2^1541646-1 is not prime. Res64: 8CE22FCE461C8DF8 Time : 0.0 sec. user=mdettweiler [2019-07-11 07:26:57] 737*2^1541646-1 is not prime. Res64: 03214582B85BC553 Time : 0.0 sec. user=mdettweiler [2019-07-11 07:26:58] 741*2^1541646-1 is not prime. Res64: B1CE138044BF11CC Time : 0.0 sec. user=mdettweiler [2019-07-11 07:33:34] 807*2^1541646-1 is not prime. Res64: 3FDC3C4E678D11C6 Time : 0.0 sec. user=mdettweiler [2019-07-11 07:33:34] 861*2^1541646-1 is not prime. Res64: 74934C66BE8037D4 Time : 0.0 sec. user=mdettweiler [2019-07-11 07:33:35] 891*2^1541646-1 is not prime. Res64: C1ABAF1637DF509B Time : 0.0 sec. user=mdettweiler [2019-07-11 07:33:35] 947*2^1541646-1 is not prime. Res64: E5745B412848907A Time : 0.0 sec. user=mdettweiler [2019-07-11 07:33:36] 649*2^1541647-1 is not prime. Res64: CF0CD534227907BB Time : 0.0 sec. user=mdettweiler [2019-07-11 08:17:06] 673*2^1541647-1 is not prime. Res64: EB05AE5F96E93BCE Time : 0.0 sec. user=mdettweiler [2019-07-11 08:17:08] 871*2^1541647-1 is not prime. Res64: 37602C7A10006D89 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:17:09] 939*2^1541647-1 is not prime. Res64: E769CD70BF582D59 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:17:10] 945*2^1541647-1 is not prime. Res64: 0B4EBA05DFC3B45F Time : 0.0 sec. user=mdettweiler [2019-07-11 08:17:11] 617*2^1541648-1 is not prime. Res64: 4913B498F2FE31F4 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:18:24] 635*2^1541648-1 is not prime. Res64: E681157FB71046D8 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:18:25] 663*2^1541648-1 is not prime. Res64: 0AFFEA1D7E4F1A92 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:18:26] 795*2^1541648-1 is not prime. Res64: 61DC79D0010AA39D Time : 0.0 sec. user=mdettweiler [2019-07-11 08:18:27] 843*2^1541648-1 is not prime. Res64: 844383D38545F590 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:18:28] 923*2^1541648-1 is not prime. Res64: 90B91EFF8E8E2F65 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:25:04] 959*2^1541648-1 is not prime. Res64: 7105B854B679A10F Time : 0.0 sec. user=mdettweiler [2019-07-11 08:25:04] 637*2^1541649-1 is not prime. Res64: 7F4CE25C80D18B4C Time : 0.0 sec. user=mdettweiler [2019-07-11 08:25:05] 745*2^1541649-1 is not prime. Res64: 2633448D431B1795 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:25:05] 769*2^1541649-1 is not prime. Res64: D7C41424F08B3D19 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:25:06] 811*2^1541649-1 is not prime. Res64: DB48E915490D1D89 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:30:01] 951*2^1541641-1 is not prime. Res64: 14A68604AACBB197 Time : 0.0 sec. user=mdettweiler [2019-07-11 08:30:03] 955*2^1541641-1 is not prime. Res64: 620B754C9D69E548 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:13] 835*2^1541649-1 is not prime. Res64: F6519937BD2FF09D Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:17] 877*2^1541649-1 is not prime. Res64: 1EE3D8DEB74B99E9 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:21] 895*2^1541649-1 is not prime. Res64: E259BD59CF9C59D6 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:25] 909*2^1541649-1 is not prime. Res64: 4E10D550EFD0A35C Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:29] 777*2^1541650-1 is not prime. Res64: B65F158D5E415310 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:09:59] 911*2^1541650-1 is not prime. Res64: D1BD5FD94CCFA458 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:10:04] 603*2^1541651-1 is not prime. Res64: 9DFA4814C872F1ED Time : 0.0 sec. user=mdettweiler [2019-07-11 09:10:10] 615*2^1541651-1 is not prime. Res64: F99FABD583589575 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:10:17] 663*2^1541651-1 is not prime. Res64: FE19F27A4EA8BE60 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:10:27] 753*2^1541651-1 is not prime. Res64: 1BDBA4C855D3239B Time : 0.0 sec. user=mdettweiler [2019-07-11 09:17:03] 825*2^1541651-1 is not prime. Res64: 32F7D058957C59D1 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:17:03] 895*2^1541651-1 is not prime. Res64: A9A45A31154B2E5D Time : 0.0 sec. user=mdettweiler [2019-07-11 09:17:04] 981*2^1541651-1 is not prime. Res64: FDDDA9553ECC501D Time : 0.0 sec. user=mdettweiler [2019-07-11 09:17:05] 965*2^1541652-1 is not prime. Res64: 60CD017D6D1B8671 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:17:06] 625*2^1541653-1 is not prime. Res64: E604D5E700DE2B04 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:21:53] 685*2^1541653-1 is not prime. Res64: 97A961D7014C918F Time : 0.0 sec. user=mdettweiler [2019-07-11 09:21:54] 751*2^1541653-1 is not prime. Res64: E3B2B749ABCF19E4 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:21:54] 765*2^1541653-1 is not prime. Res64: E310804F9A91CDCC Time : 0.0 sec. user=mdettweiler [2019-07-11 09:21:55] 847*2^1541653-1 is not prime. Res64: 86AE519502606A27 Time : 0.0 sec. user=mdettweiler [2019-07-11 09:21:56] 867*2^1541653-1 is not prime. Res64: 158948802FF64B1B Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:08] 671*2^1541654-1 is not prime. Res64: 255786F416E780AA Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:10] 683*2^1541654-1 is not prime. Res64: AECC41B78973074D Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:13] 687*2^1541654-1 is not prime. Res64: 891DB9B8DEEBF962 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:16] 705*2^1541654-1 is not prime. Res64: 68732567849FD4A7 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:19] 717*2^1541654-1 is not prime. Res64: E30200E8F0E1FCB4 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:51] 753*2^1541654-1 is not prime. Res64: 98354B0B14C84557 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:53] 857*2^1541654-1 is not prime. Res64: 2813CD05191DBDBE Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:56] 903*2^1541654-1 is not prime. Res64: 5DF67D77003FBFB4 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:02:59] 965*2^1541654-1 is not prime. Res64: A7F03B66A348B01E Time : 0.0 sec. user=mdettweiler [2019-07-11 10:03:03] 981*2^1541654-1 is not prime. Res64: CC7539AEE5A10801 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:09:16] 601*2^1541655-1 is not prime. Res64: 30D51E3A45C22D70 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:09:19] 625*2^1541655-1 is not prime. Res64: 135500552BFFF056 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:09:22] 735*2^1541655-1 is not prime. Res64: 7B188DB2091AC176 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:09:24] 951*2^1541655-1 is not prime. Res64: 0451671C4F6F3774 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:09:28] 985*2^1541655-1 is not prime. Res64: 72BE9A36C19C69C3 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:13:07] 645*2^1541656-1 is not prime. Res64: 0D688EDBA5CA38CF Time : 0.0 sec. user=mdettweiler [2019-07-11 10:13:11] 755*2^1541656-1 is not prime. Res64: E80C6970A9306A27 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:13:15] 785*2^1541656-1 is not prime. Res64: 656721AF35D6CCAC Time : 0.0 sec. user=mdettweiler [2019-07-11 10:13:18] 843*2^1541656-1 is not prime. Res64: F10CC6AB4C7494BA Time : 0.0 sec. user=mdettweiler [2019-07-11 10:13:24] 905*2^1541656-1 is not prime. Res64: FC3B80FC839CD7B1 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:54:56] 965*2^1541656-1 is not prime. Res64: 8A6163DB255245D7 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:54:57] 715*2^1541657-1 is not prime. Res64: F3558323A857CB93 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:54:58] 741*2^1541657-1 is not prime. Res64: 5913C7B8EC392B7C Time : 0.0 sec. user=mdettweiler [2019-07-11 10:54:58] 889*2^1541657-1 is not prime. Res64: 6E2AFFE4DC2C52CD Time : 0.0 sec. user=mdettweiler [2019-07-11 10:54:59] 901*2^1541657-1 is not prime. Res64: 4A2F6E06E9A1C383 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:55:06] 915*2^1541657-1 is not prime. Res64: 723C2DD935C0B2C0 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:55:07] 997*2^1541657-1 is not prime. Res64: 50C099DE81C800AB Time : 0.0 sec. user=mdettweiler [2019-07-11 10:55:08] 605*2^1541658-1 is not prime. Res64: AF582DD12E3A1EE1 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:55:08] 627*2^1541658-1 is not prime. Res64: 7198ED918EE533D0 Time : 0.0 sec. user=mdettweiler [2019-07-11 10:55:09] 665*2^1541658-1 is not prime. Res64: 1C938B71E50D0DB8 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:02:31] 683*2^1541658-1 is not prime. Res64: 9702BBB2BD31BC53 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:06:59] 691*2^1541659-1 is not prime. Res64: 148C3612B7F0699C Time : 0.0 sec. user=mdettweiler [2019-07-11 11:07:02] 873*2^1541659-1 is not prime. Res64: 04DD6E73D85204F5 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:07:04] 939*2^1541659-1 is not prime. Res64: AB69E110BA6177FE Time : 0.0 sec. user=mdettweiler [2019-07-11 11:07:06] 943*2^1541659-1 is not prime. Res64: 9E4F68AE484C466A Time : 0.0 sec. user=mdettweiler [2019-07-11 11:07:08] 767*2^1541660-1 is not prime. Res64: 46936F62038899D2 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:10] 789*2^1541660-1 is not prime. Res64: 06F702CEFBBBAE1C Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:10] 607*2^1541661-1 is not prime. Res64: 8929417A3D08EDF5 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:11] 625*2^1541661-1 is not prime. Res64: AD406E3C9C1E68B3 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:11] 727*2^1541661-1 is not prime. Res64: F3E92975176453EE Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:12] 735*2^1541661-1 is not prime. Res64: 30D3DACF9025D93F Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:38] 777*2^1541661-1 is not prime. Res64: 82BD5BFB4842EFDC Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:38] 789*2^1541661-1 is not prime. Res64: 219A0FD0602A5766 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:38] 795*2^1541661-1 is not prime. Res64: 4B47FB006501EC00 Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:39] 997*2^1541661-1 is not prime. Res64: 8CB5964B0ECA780B Time : 0.0 sec. user=mdettweiler [2019-07-11 11:47:39] 603*2^1541662-1 is not prime. Res64: 31F0571B2EB70FCE Time : 0.0 sec. user=mdettweiler [2019-07-11 12:01:19] 713*2^1541662-1 is not prime. Res64: 4B0B41AAE484813E Time : 0.0 sec. user=mdettweiler [2019-07-11 12:41:50] 615*2^1541663-1 is not prime. Res64: A788FEA08339D225 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:41:51] 621*2^1541663-1 is not prime. Res64: 602D2648DC2AC199 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:41:51] 633*2^1541663-1 is not prime. Res64: BA32AC28B138B2AA Time : 0.0 sec. user=mdettweiler [2019-07-11 12:41:52] 771*2^1541663-1 is not prime. Res64: 1BE776D979801300 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:41:53] 993*2^1541663-1 is not prime. Res64: 4ED68C4E0B72696F Time : 0.0 sec. user=mdettweiler [2019-07-11 12:42:20] 615*2^1541664-1 is not prime. Res64: 532BC90738E8F8C2 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:42:21] 689*2^1541664-1 is not prime. Res64: F6AF3099BDB46CA3 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:42:21] 737*2^1541664-1 is not prime. Res64: 79CCD449CDB70AC2 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:42:22] 795*2^1541664-1 is not prime. Res64: 02F5BE4DC1C7FAE6 Time : 0.0 sec. user=mdettweiler [2019-07-11 12:42:23] 809*2^1541664-1 is not prime. Res64: 84D43222ABEAB7D6 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:25] 917*2^1541664-1 is not prime. Res64: CC979EF5D699026B Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:26] 927*2^1541664-1 is not prime. Res64: DE2F10812F8E752B Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:27] 929*2^1541664-1 is not prime. Res64: 9FF8E436F97E08F2 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:28] 619*2^1541665-1 is not prime. Res64: FC1260B818C7BDB3 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:29] 705*2^1541665-1 is not prime. Res64: 978E6DFF330F36DD Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:31] 717*2^1541665-1 is not prime. Res64: 0A35129F71C803BB Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:32] 777*2^1541665-1 is not prime. Res64: 5900294C542DEFE7 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:33] 877*2^1541665-1 is not prime. Res64: 9D93FDF59B62A141 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:33] 919*2^1541665-1 is not prime. Res64: EB73553A2D2E14C1 Time : 0.0 sec. user=mdettweiler [2019-07-11 13:38:34] 957*2^1541665-1 is not prime. Res64: 388BD73B5C151919 Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:03] 635*2^1541666-1 is not prime. Res64: 943DC61E46B01BC2 Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:03] 645*2^1541666-1 is not prime. Res64: 9C41547DCA5E0CED Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:04] 717*2^1541666-1 is not prime. Res64: 800DBA42109A86DF Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:05] 831*2^1541666-1 is not prime. Res64: 24744F5377684B38 Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:06] 1001*2^1541666-1 is not prime. Res64: BCA18379671560AB Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:06] 843*2^1541666-1 is not prime. Res64: 88A43FFEAE435E69 Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:08] 615*2^1541667-1 is not prime. Res64: 60EBB2F57B17103E Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:09] 625*2^1541667-1 is not prime. Res64: 964F50C9CCA7502D Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:10] 651*2^1541667-1 is not prime. Res64: 02002E1C429573C5 Time : 0.0 sec. user=mdettweiler [2019-07-11 14:31:12] 825*2^1541667-1 is not prime. Res64: EE18D7A304AD8891 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:16] 919*2^1541667-1 is not prime. Res64: 91CF8E321E1DF7A3 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:17] 603*2^1541668-1 is not prime. Res64: 717CF24B57B42082 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:17] 695*2^1541668-1 is not prime. Res64: C99B0DCBF6D39B6D Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:18] 707*2^1541668-1 is not prime. Res64: 63171E8BACEA0C44 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:19] 723*2^1541668-1 is not prime. Res64: 2563BC3D13666AC1 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:30] 743*2^1541668-1 is not prime. Res64: DE3285327F2F15E8 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:30] 777*2^1541668-1 is not prime. Res64: 9D550A36FDFAA194 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:31] 813*2^1541668-1 is not prime. Res64: 52126919D84E3793 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:31] 845*2^1541668-1 is not prime. Res64: 9B592C98A28129AC Time : 0.0 sec. user=mdettweiler [2019-07-11 15:25:32] 929*2^1541668-1 is not prime. Res64: 743DE1F85FDA0C80 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:27:40] 797*2^1541658-1 is not prime. Res64: 61985E9EA5E352D0 Time : 0.0 sec. user=mdettweiler [2019-07-11 15:27:41] 977*2^1541658-1 is not prime. Res64: 5615542086DEFE7E Time : 0.0 sec. user=mdettweiler [2019-07-11 15:27:41] 1001*2^1541658-1 is not prime. Res64: F5CCE36FE31043CD Time : 0.0 sec. user=mdettweiler [2019-07-11 15:27:42] 615*2^1541659-1 is not prime. Res64: 5D76AE315400A2EB Time : 0.0 sec. user=mdettweiler [2019-07-11 16:05:32] 705*2^1541671-1 is not prime. Res64: FB94D29899559A74 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:07:13] 717*2^1541662-1 is not prime. Res64: 6537EC4E4361735E Time : 0.0 sec. user=mdettweiler [2019-07-11 16:07:18] 885*2^1541662-1 is not prime. Res64: 793B5ADE9CAAE271 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:07:22] 887*2^1541662-1 is not prime. Res64: F3D9CA9E12940A3E Time : 0.0 sec. user=mdettweiler [2019-07-11 16:07:26] 891*2^1541662-1 is not prime. Res64: 84C1373473EEF1B1 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:32] 989*2^1541668-1 is not prime. Res64: FB1AABD97EC21C6F Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:35] 619*2^1541669-1 is not prime. Res64: C52D7B3F01C8AC90 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:39] 745*2^1541669-1 is not prime. Res64: FA1E014B05435D09 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:42] 831*2^1541669-1 is not prime. Res64: 8EBD8ED3869F9E99 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:45] 925*2^1541669-1 is not prime. Res64: 95B6A345B8E03A3E Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:51] 945*2^1541669-1 is not prime. Res64: 0DC26022BA7C1766 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:54] 949*2^1541669-1 is not prime. Res64: ACF5D39A3A03F6B9 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:19:58] 653*2^1541670-1 is not prime. Res64: 24D43B25DBB26A1D Time : 0.0 sec. user=mdettweiler [2019-07-11 16:20:01] 755*2^1541670-1 is not prime. Res64: 128BCBE23CE9F04B Time : 0.0 sec. user=mdettweiler [2019-07-11 16:20:07] 761*2^1541670-1 is not prime. Res64: 88343AEBFFA1D042 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:22:40] 945*2^1541670-1 is not prime. Res64: C732101E566CA80B Time : 0.0 sec. user=mdettweiler [2019-07-11 16:22:41] 951*2^1541670-1 is not prime. Res64: EDDDCDA59E74461A Time : 0.0 sec. user=mdettweiler [2019-07-11 16:22:41] 619*2^1541671-1 is not prime. Res64: 213AEFAD0D210744 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:22:42] 621*2^1541671-1 is not prime. Res64: 3140C3D5407121E3 Time : 0.0 sec. user=mdettweiler [2019-07-11 16:22:44] 663*2^1541671-1 is not prime. Res64: 0BA61249A787D9EC Time : 0.0 sec. user=mdettweiler [2019-07-11 17:01:40] 841*2^1541671-1 is not prime. Res64: F5C434A0BE83A89C Time : 0.0 sec. user=mdettweiler [2019-07-11 17:01:46] 913*2^1541671-1 is not prime. Res64: 61B8E539F5580DA5 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:01:49] 665*2^1541672-1 is not prime. Res64: C82DCA028447C753 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:01:52] 867*2^1541672-1 is not prime. Res64: 00854B9AF6A1FDA2 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:01:58] 897*2^1541672-1 is not prime. Res64: 189FA78C659CBE88 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:13:29] 807*2^1541673-1 is not prime. Res64: BF7B9128E58FF156 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:13:33] 849*2^1541673-1 is not prime. Res64: DDC0805A557C2270 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:13:35] 861*2^1541673-1 is not prime. Res64: 8EE0223F6343A6F3 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:13:36] 645*2^1541674-1 is not prime. Res64: 71774DDD3D588424 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:13:38] 651*2^1541674-1 is not prime. Res64: 51937240B1E9B20F Time : 0.0 sec. user=mdettweiler [2019-07-11 17:14:01] 915*2^1541672-1 is not prime. Res64: 62D6E9899CB1D6A9 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:14:05] 917*2^1541672-1 is not prime. Res64: 513C2AD0A71724F9 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:14:11] 609*2^1541673-1 is not prime. Res64: FA96167545D49A35 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:14:13] 615*2^1541673-1 is not prime. Res64: E0D04C58E2D7BF4D Time : 0.0 sec. user=mdettweiler [2019-07-11 17:14:16] 639*2^1541673-1 is not prime. Res64: DE932627E616A184 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:16:05] 657*2^1541674-1 is not prime. Res64: D9BF0A1D517967FE Time : 0.0 sec. user=mdettweiler [2019-07-11 17:16:10] 687*2^1541674-1 is not prime. Res64: 1EDCC22633B5B4B4 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:16:15] 705*2^1541674-1 is not prime. Res64: DDB97494A48C1B7B Time : 0.0 sec. user=mdettweiler [2019-07-11 17:16:19] 717*2^1541674-1 is not prime. Res64: 33D56A68E5848D58 Time : 0.0 sec. user=mdettweiler [2019-07-11 17:16:23] 815*2^1541674-1 is not prime. Res64: 123EFF4BC630078B Time : 0.0 sec. user=mdettweiler [2019-07-11 17:57:33] 885*2^1541674-1 is not prime. Res64: 343FD841CCD7247D Time : 0.0 sec. user=mdettweiler [2019-07-11 17:57:33] 917*2^1541674-1 is not prime. Res64: D0FB76390F3AED9E Time : 0.0 sec. user=mdettweiler [2019-07-11 17:57:34] 945*2^1541674-1 is not prime. Res64: 2D191E3FEA84F46D Time : 0.0 sec. user=mdettweiler [2019-07-11 17:57:34] 993*2^1541674-1 is not prime. Res64: A7F980E6576B147F Time : 0.0 sec. user=mdettweiler [2019-07-11 17:57:35] 619*2^1541675-1 is not prime. Res64: B74B6F06399E0363 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:04] 609*2^1541676-1 is not prime. Res64: A1993C17B9EC6E9D Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:13] 693*2^1541676-1 is not prime. Res64: EA902DF0AB267127 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:20] 707*2^1541676-1 is not prime. Res64: 8F725F31F800702A Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:23] 643*2^1541675-1 is not prime. Res64: A8A5DEE47BA7D626 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:25] 717*2^1541676-1 is not prime. Res64: 9E01624F36F12BED Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:30] 719*2^1541676-1 is not prime. Res64: B5705E3D8F311AA7 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:53] 725*2^1541676-1 is not prime. Res64: 88EFB418EDADC837 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:09:58] 759*2^1541676-1 is not prime. Res64: 134AA239F9C58D32 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:10:02] 779*2^1541676-1 is not prime. Res64: 64451C69E4781179 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:10:06] 875*2^1541676-1 is not prime. Res64: 929A463726318975 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:10:11] 945*2^1541676-1 is not prime. Res64: 0DF47E5EC5C8C2E9 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:49:50] 661*2^1541677-1 is not prime. Res64: C282BEB4D908E4FB Time : 0.0 sec. user=mdettweiler [2019-07-11 18:49:51] 691*2^1541677-1 is not prime. Res64: 09BFA40D3501BE84 Time : 0.0 sec. user=mdettweiler [2019-07-11 18:49:51] 699*2^1541677-1 is not prime. Res64: 445DC4E16D17086F Time : 0.0 sec. user=mdettweiler [2019-07-11 18:49:52] 751*2^1541677-1 is not prime. Res64: 5F12DC2D6CA2960F Time : 0.0 sec. user=mdettweiler [2019-07-11 18:49:52] 817*2^1541677-1 is not prime. Res64: EC287A062A63EB87 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:20] 939*2^1541677-1 is not prime. Res64: 0398B29F638508E4 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:24] 955*2^1541677-1 is not prime. Res64: 186CAA496B80338D Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:28] 635*2^1541678-1 is not prime. Res64: C3BA2C59B5D6590F Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:31] 645*2^1541678-1 is not prime. Res64: 9305CDB78772400A Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:32] 731*2^1541678-1 is not prime. Res64: 04CE4215DA627517 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:40] 797*2^1541678-1 is not prime. Res64: E4398B6E121B2F2B Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:42] 831*2^1541678-1 is not prime. Res64: F870034C00388A40 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:45] 897*2^1541678-1 is not prime. Res64: 82F3885A7977F3DD Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:48] 935*2^1541678-1 is not prime. Res64: 7440FCFA8ABD00BC Time : 0.0 sec. user=mdettweiler [2019-07-11 19:04:49] 945*2^1541678-1 is not prime. Res64: F5ED69E2C5C3E513 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:41:41] 649*2^1541679-1 is not prime. Res64: 67FD918A71AB23CF Time : 0.0 sec. user=mdettweiler [2019-07-11 19:41:43] 691*2^1541679-1 is not prime. Res64: FA4DF106948AFD4E Time : 0.0 sec. user=mdettweiler [2019-07-11 19:41:45] 741*2^1541679-1 is not prime. Res64: EA22753FB1034480 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:41:46] 865*2^1541679-1 is not prime. Res64: AB2AC68F4F028719 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:41:47] 885*2^1541679-1 is not prime. Res64: 93408597EA7B526C Time : 0.0 sec. user=mdettweiler [2019-07-11 19:57:36] 895*2^1541679-1 is not prime. Res64: E64846856CC966D1 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:57:37] 931*2^1541679-1 is not prime. Res64: E2E6BDD932D38266 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:57:39] 645*2^1541680-1 is not prime. Res64: C3740C3B5A58C5A4 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:57:40] 849*2^1541680-1 is not prime. Res64: 7960D769888C3587 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:57:41] 873*2^1541680-1 is not prime. Res64: 443BBD7FEF1D8108 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:58:14] 875*2^1541680-1 is not prime. Res64: 5BB5D9D43FB282AA Time : 0.0 sec. user=mdettweiler [2019-07-11 19:58:17] 927*2^1541680-1 is not prime. Res64: D54C187DDBF42EE0 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:58:20] 939*2^1541680-1 is not prime. Res64: 4D96370F5FD36C1B Time : 0.0 sec. user=mdettweiler [2019-07-11 19:58:23] 965*2^1541680-1 is not prime. Res64: 5E09F5FA09EE2028 Time : 0.0 sec. user=mdettweiler [2019-07-11 19:58:26] 601*2^1541681-1 is not prime. Res64: 7E44BDE718039488 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:34:02] 607*2^1541681-1 is not prime. Res64: BD5F80B58C89BA92 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:34:03] 651*2^1541681-1 is not prime. Res64: 27E3ED280F84BC8C Time : 0.0 sec. user=mdettweiler [2019-07-11 20:34:04] 691*2^1541681-1 is not prime. Res64: B4B28E708776502B Time : 0.0 sec. user=mdettweiler [2019-07-11 20:34:04] 697*2^1541681-1 is not prime. Res64: 1987F6E6D1F5E633 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:34:04] 789*2^1541681-1 is not prime. Res64: D13323E77A95E58A Time : 0.0 sec. user=mdettweiler [2019-07-11 20:50:26] 683*2^1541682-1 is not prime. Res64: B4E0B59209CEE599 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:50:29] 725*2^1541682-1 is not prime. Res64: 412F3CFD8E9D8008 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:50:30] 741*2^1541682-1 is not prime. Res64: DE401B668A8BBC47 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:50:31] 821*2^1541682-1 is not prime. Res64: 7F7CB50D74406480 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:50:32] 891*2^1541682-1 is not prime. Res64: 96D01B1B39170AAE Time : 0.0 sec. user=mdettweiler [2019-07-11 20:51:18] 801*2^1541681-1 is not prime. Res64: 65A05BB6A8DAD17B Time : 0.0 sec. user=mdettweiler [2019-07-11 20:51:19] 949*2^1541681-1 is not prime. Res64: AA4ECE4FBE3A498D Time : 0.0 sec. user=mdettweiler [2019-07-11 20:51:19] 611*2^1541682-1 is not prime. Res64: 3C8E6A6A9BA291C1 Time : 0.0 sec. user=mdettweiler [2019-07-11 20:51:20] 917*2^1541682-1 is not prime. Res64: 70527D547A418A7F Time : 0.0 sec. user=mdettweiler [2019-07-11 20:51:20] 625*2^1541683-1 is not prime. Res64: 87AC80291F90DEB4 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:05:50] 617*2^1541686-1 is not prime. Res64: 5ADE6E17F22B038D Time : 0.0 sec. user=mdettweiler [2019-07-11 21:26:08] 631*2^1541683-1 is not prime. Res64: 8742AC21254F62D9 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:26:09] 805*2^1541683-1 is not prime. Res64: 0CE5C7D58D01A9C7 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:26:09] 901*2^1541683-1 is not prime. Res64: 485F3274CCB7519A Time : 0.0 sec. user=mdettweiler [2019-07-11 21:26:10] 615*2^1541684-1 is not prime. Res64: D0373D4C06853B8E Time : 0.0 sec. user=mdettweiler [2019-07-11 21:26:10] 699*2^1541684-1 is not prime. Res64: 8A596F4B729F7E5C Time : 0.0 sec. user=mdettweiler [2019-07-11 21:42:38] 707*2^1541684-1 is not prime. Res64: 273D58A8B5960B62 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:42:38] 719*2^1541684-1 is not prime. Res64: E96FBB108DBCF431 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:42:39] 753*2^1541684-1 is not prime. Res64: E8EE6A7A8CD97BA8 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:42:39] 789*2^1541684-1 is not prime. Res64: D1BD54B106B6BC98 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:42:40] 855*2^1541684-1 is not prime. Res64: 795DD38616688AC9 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:44:06] 875*2^1541684-1 is not prime. Res64: BE1820E04F94C030 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:44:06] 675*2^1541685-1 is not prime. Res64: 9258535E81B8FCAF Time : 0.0 sec. user=mdettweiler [2019-07-11 21:44:06] 951*2^1541685-1 is not prime. Res64: 37BA99FF704ECCE8 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:44:07] 955*2^1541685-1 is not prime. Res64: 33E17FF0753C7691 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:44:07] 997*2^1541685-1 is not prime. Res64: 5BF7D8519F9D37F9 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:46:06] 733*2^1541675-1 is not prime. Res64: 6CAC2D683C4F9BE3 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:46:07] 819*2^1541675-1 is not prime. Res64: 72B7499B76CFFC13 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:46:07] 913*2^1541675-1 is not prime. Res64: BD8F0E9C5BADD633 Time : 0.0 sec. user=mdettweiler [2019-07-11 21:46:08] 999*2^1541675-1 is not prime. Res64: C06E6094A5319AE4 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:18:08] 645*2^1541686-1 is not prime. Res64: B0BCC10DDFE89A9B Time : 0.0 sec. user=mdettweiler [2019-07-11 22:18:09] 657*2^1541686-1 is not prime. Res64: 3910684A7AA6554B Time : 0.0 sec. user=mdettweiler [2019-07-11 22:18:10] 677*2^1541686-1 is not prime. Res64: 2497708A7164959D Time : 0.0 sec. user=mdettweiler [2019-07-11 22:18:11] 821*2^1541686-1 is not prime. Res64: 60AA50B5459FC2C3 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:18:11] 983*2^1541686-1 is not prime. Res64: A5C030ABE4F9E275 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:35:04] 1001*2^1541686-1 is not prime. Res64: 3EBA2F1AA3FC2C44 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:35:06] 759*2^1541687-1 is not prime. Res64: BE5AABB2A9AB8058 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:35:08] 775*2^1541687-1 is not prime. Res64: 38525EDE039B4B0B Time : 0.0 sec. user=mdettweiler [2019-07-11 22:35:09] 825*2^1541687-1 is not prime. Res64: B6D2B6B5E317BE86 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:35:10] 909*2^1541687-1 is not prime. Res64: 8EB550A31918657A Time : 0.0 sec. user=mdettweiler [2019-07-11 22:36:29] 939*2^1541687-1 is not prime. Res64: D1424CADA650C62E Time : 0.0 sec. user=mdettweiler [2019-07-11 22:36:29] 993*2^1541687-1 is not prime. Res64: B5D2726B7BB95CDE Time : 0.0 sec. user=mdettweiler [2019-07-11 22:36:30] 683*2^1541688-1 is not prime. Res64: 96EEB9706792FE66 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:36:30] 705*2^1541688-1 is not prime. Res64: 1DFDE3B9F340309A Time : 0.0 sec. user=mdettweiler [2019-07-11 22:36:31] 707*2^1541688-1 is not prime. Res64: 40438E5C91F65AAA Time : 0.0 sec. user=mdettweiler [2019-07-11 22:38:03] 825*2^1541688-1 is not prime. Res64: 21D46B9BF15B07AC Time : 0.0 sec. user=mdettweiler [2019-07-11 22:38:05] 875*2^1541688-1 is not prime. Res64: 9F8954486CD7272A Time : 0.0 sec. user=mdettweiler [2019-07-11 22:38:06] 977*2^1541688-1 is not prime. Res64: F3B56ECF755AF58E Time : 0.0 sec. user=mdettweiler [2019-07-11 22:38:08] 619*2^1541689-1 is not prime. Res64: 48094B15993D7F25 Time : 0.0 sec. user=mdettweiler [2019-07-11 22:38:08] 639*2^1541689-1 is not prime. Res64: FF09E254473BE929 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:11:17] 765*2^1541689-1 is not prime. Res64: F197228702D519BB Time : 0.0 sec. user=mdettweiler [2019-07-11 23:11:20] 919*2^1541689-1 is not prime. Res64: 1C588195E9F8BD48 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:11:23] 945*2^1541689-1 is not prime. Res64: 538191CCC4961982 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:11:26] 987*2^1541689-1 is not prime. Res64: 9FF407C5DCCB8F57 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:11:29] 657*2^1541690-1 is not prime. Res64: F2289B18B5574363 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:27:47] 671*2^1541690-1 is not prime. Res64: B824A1B91D9E365A Time : 0.0 sec. user=mdettweiler [2019-07-11 23:27:47] 717*2^1541690-1 is not prime. Res64: 872B2FA44BA43270 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:27:48] 731*2^1541690-1 is not prime. Res64: 9A709568C523E4D9 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:27:48] 893*2^1541690-1 is not prime. Res64: C9E02430DE9B1985 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:27:49] 911*2^1541690-1 is not prime. Res64: 7E22E4794C32D134 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:29:26] 917*2^1541690-1 is not prime. Res64: A568C75C8BB71C76 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:29:27] 927*2^1541690-1 is not prime. Res64: 192F8F4DC20042E8 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:29:27] 977*2^1541690-1 is not prime. Res64: 84E252EF2E0FFCEF Time : 0.0 sec. user=mdettweiler [2019-07-11 23:29:28] 651*2^1541691-1 is not prime. Res64: C941CCF27AAF67BA Time : 0.0 sec. user=mdettweiler [2019-07-11 23:29:28] 711*2^1541691-1 is not prime. Res64: 48316D52723600AA Time : 0.0 sec. user=mdettweiler [2019-07-11 23:30:33] 723*2^1541691-1 is not prime. Res64: 1640EA3DE4F8E7D5 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:30:33] 741*2^1541691-1 is not prime. Res64: F73F8398717B3613 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:30:34] 795*2^1541691-1 is not prime. Res64: A798446B1CF685B7 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:30:34] 829*2^1541691-1 is not prime. Res64: FA5D4ED32BECE064 Time : 0.0 sec. user=mdettweiler [2019-07-11 23:30:34] 901*2^1541691-1 is not prime. Res64: A80D6176677C0BCA Time : 0.0 sec.