user=mdettweiler [2019-10-26 00:22:17] 895*2^1547847-1 is not prime. Res64: 27B5CA33836267A7 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:22:18] 931*2^1547847-1 is not prime. Res64: EAF050DB1372EFCD Time : 0.0 sec. user=mdettweiler [2019-10-26 00:22:19] 963*2^1547847-1 is not prime. Res64: 59F227FDAB707770 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:22:20] 665*2^1547848-1 is not prime. Res64: 60BCBE21A2054E66 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:22:21] 735*2^1547848-1 is not prime. Res64: F8B19ECC8B102258 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:23:44] 825*2^1547848-1 is not prime. Res64: 6212099C0AFD4A47 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:23:44] 675*2^1547849-1 is not prime. Res64: AAB70673708E8706 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:23:45] 769*2^1547849-1 is not prime. Res64: 12316F9CD2E0C91C Time : 0.0 sec. user=mdettweiler [2019-10-26 00:23:45] 775*2^1547849-1 is not prime. Res64: C1229D1D30A9EEDD Time : 0.0 sec. user=mdettweiler [2019-10-26 00:23:45] 855*2^1547849-1 is not prime. Res64: 20669ECE6CF2D228 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:45:07] 939*2^1547849-1 is not prime. Res64: 6B1153FD9C827212 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:45:08] 875*2^1547850-1 is not prime. Res64: 5BC7783715E81890 Time : 0.0 sec. user=mdettweiler [2019-10-26 00:45:10] 945*2^1547850-1 is not prime. Res64: DC95176EEC6A882F Time : 0.0 sec. user=mdettweiler [2019-10-26 00:45:10] 649*2^1547851-1 is not prime. Res64: 7B182056806396EB Time : 0.0 sec. user=mdettweiler [2019-10-26 00:45:11] 733*2^1547851-1 is not prime. Res64: 594009FA67CCD6AD Time : 0.0 sec. user=mdettweiler [2019-10-26 01:14:39] 771*2^1547851-1 is not prime. Res64: 5ED717584C648391 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:14:40] 801*2^1547851-1 is not prime. Res64: 2E4001431EA59469 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:14:41] 885*2^1547851-1 is not prime. Res64: D6661C3787A17379 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:14:42] 961*2^1547851-1 is not prime. Res64: 1B686A9A2E21BD50 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:14:43] 975*2^1547851-1 is not prime. Res64: 07AAA6A3E3CBED7E Time : 0.0 sec. user=mdettweiler [2019-10-26 01:16:14] 993*2^1547851-1 is not prime. Res64: 3AA06F155D049D74 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:16:15] 657*2^1547852-1 is not prime. Res64: BFE5AD47E6FE47E3 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:16:17] 675*2^1547852-1 is not prime. Res64: 933BA451FFAA4A8A Time : 0.0 sec. user=mdettweiler [2019-10-26 01:16:22] 725*2^1547852-1 is not prime. Res64: 1B5CF114F62F7A1F Time : 0.0 sec. user=mdettweiler [2019-10-26 01:16:23] 857*2^1547852-1 is not prime. Res64: 07E1249ECACEDB75 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:36:33] 915*2^1547852-1 is not prime. Res64: 7788756558E142A6 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:36:33] 929*2^1547852-1 is not prime. Res64: B0A5AB48B4A993AE Time : 0.0 sec. user=mdettweiler [2019-10-26 01:36:34] 609*2^1547853-1 is not prime. Res64: 5E2A44AE61811638 Time : 0.0 sec. user=mdettweiler [2019-10-26 01:36:34] 649*2^1547853-1 is not prime. Res64: 1224284F707B8D6F Time : 0.0 sec. user=mdettweiler [2019-10-26 01:36:34] 721*2^1547853-1 is not prime. Res64: 92CEF1E4587F18D8 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:05:55] 765*2^1547853-1 is not prime. Res64: 5C56698F8DF32FB0 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:05:56] 849*2^1547853-1 is not prime. Res64: 69C44046249E9645 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:05:57] 671*2^1547854-1 is not prime. Res64: 8313CC0E1E5A3B38 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:05:58] 723*2^1547854-1 is not prime. Res64: FC3BC7C84EF70557 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:05:59] 741*2^1547854-1 is not prime. Res64: B957C2192C5F02EB Time : 0.0 sec. user=mdettweiler [2019-10-26 02:08:50] 773*2^1547854-1 is not prime. Res64: C2823FC4EBDCEFCD Time : 0.0 sec. user=mdettweiler [2019-10-26 02:08:52] 813*2^1547854-1 is not prime. Res64: FFDEE7C61F75B895 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:08:54] 825*2^1547854-1 is not prime. Res64: 00128231CE6A028F Time : 0.0 sec. user=mdettweiler [2019-10-26 02:08:55] 975*2^1547854-1 is not prime. Res64: 601D148FF3516112 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:08:56] 1001*2^1547854-1 is not prime. Res64: 4331C713C22813DA Time : 0.0 sec. user=mdettweiler [2019-10-26 02:27:22] 609*2^1547855-1 is not prime. Res64: ECBB1CE4536B54CC Time : 0.0 sec. user=mdettweiler [2019-10-26 02:27:23] 643*2^1547855-1 is not prime. Res64: 88CF3A76924BD3E4 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:27:23] 669*2^1547855-1 is not prime. Res64: 2CE1CCA626B1D54B Time : 0.0 sec. user=mdettweiler [2019-10-26 02:27:24] 673*2^1547855-1 is not prime. Res64: 4E91617280C8E29C Time : 0.0 sec. user=mdettweiler [2019-10-26 02:27:25] 715*2^1547855-1 is not prime. Res64: 526D959E7CB17983 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:58:15] 721*2^1547855-1 is not prime. Res64: 1222268A27363350 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:58:15] 763*2^1547855-1 is not prime. Res64: C6DCA720AB5AA53B Time : 0.0 sec. user=mdettweiler [2019-10-26 02:58:15] 843*2^1547855-1 is not prime. Res64: 3946C4D2F7989259 Time : 0.0 sec. user=mdettweiler [2019-10-26 02:58:16] 871*2^1547855-1 is not prime. Res64: F18DA706AFEF0B0C Time : 0.0 sec. user=mdettweiler [2019-10-26 02:58:16] 921*2^1547855-1 is not prime. Res64: 78B007A3AF4A6CD8 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:00:58] 653*2^1547856-1 is not prime. Res64: A5F13C02A8D0C798 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:01:00] 735*2^1547856-1 is not prime. Res64: F4E1792F3A70D567 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:01:02] 849*2^1547856-1 is not prime. Res64: BFC1B421ACCECE52 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:01:03] 667*2^1547857-1 is not prime. Res64: 79ABA99CB044D3C7 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:01:04] 717*2^1547857-1 is not prime. Res64: D7142C33AE140B2A Time : 0.0 sec. user=mdettweiler [2019-10-26 03:19:29] 849*2^1547857-1 is not prime. Res64: 723CCB90DB414F86 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:19:30] 889*2^1547857-1 is not prime. Res64: B93C328751A697D6 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:19:31] 901*2^1547857-1 is not prime. Res64: 94E97419B6DC1425 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:19:32] 909*2^1547857-1 is not prime. Res64: 45BD68C9F06D0CDD Time : 0.0 sec. user=mdettweiler [2019-10-26 03:19:33] 633*2^1547858-1 is not prime. Res64: 0E9BD36FB5EB4EC1 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:49:19] 711*2^1547858-1 is not prime. Res64: 45DB1647F3350D4A Time : 0.0 sec. user=mdettweiler [2019-10-26 03:49:20] 935*2^1547858-1 is not prime. Res64: C8602E7E8337A37C Time : 0.0 sec. user=mdettweiler [2019-10-26 03:49:22] 613*2^1547859-1 is not prime. Res64: 891FF320285ED16D Time : 0.0 sec. user=mdettweiler [2019-10-26 03:49:22] 679*2^1547859-1 is not prime. Res64: 05CB370ED950CDE2 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:49:23] 709*2^1547859-1 is not prime. Res64: 378C1766B076CE9C Time : 0.0 sec. user=mdettweiler [2019-10-26 03:54:47] 895*2^1547859-1 is not prime. Res64: C263C6FA24205831 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:54:54] 921*2^1547859-1 is not prime. Res64: 846C4A88840F045B Time : 0.0 sec. user=mdettweiler [2019-10-26 03:54:55] 969*2^1547859-1 is not prime. Res64: 64FA55C8BEF2CA61 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:54:57] 975*2^1547859-1 is not prime. Res64: 9244F8AFA22A8560 Time : 0.0 sec. user=mdettweiler [2019-10-26 03:55:29] 999*2^1547859-1 is not prime. Res64: D0E6DDA6DD1AC65E Time : 0.0 sec. user=mdettweiler [2019-10-26 04:11:12] 603*2^1547860-1 is not prime. Res64: 3E75C0F721095262 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:11:13] 695*2^1547860-1 is not prime. Res64: FF3D1E77CF12C6EB Time : 0.0 sec. user=mdettweiler [2019-10-26 04:11:15] 777*2^1547860-1 is not prime. Res64: 506F7E0F614F5823 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:11:18] 819*2^1547860-1 is not prime. Res64: AD7881D9636AC355 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:11:21] 843*2^1547860-1 is not prime. Res64: BB10EBCFF5FB4596 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:43:25] 857*2^1547860-1 is not prime. Res64: DB982F65EA30FAFE Time : 0.0 sec. user=mdettweiler [2019-10-26 04:43:27] 905*2^1547860-1 is not prime. Res64: 9FB4CB92E0C1D689 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:43:28] 909*2^1547860-1 is not prime. Res64: F5FDD8D457F7E697 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:43:29] 939*2^1547860-1 is not prime. Res64: 9955C84424EAB9C4 Time : 0.0 sec. user=mdettweiler [2019-10-26 04:43:31] 989*2^1547860-1 is not prime. Res64: 8DF696364C4E1452 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:03:55] 615*2^1547861-1 is not prime. Res64: CDDA815719745917 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:03:56] 619*2^1547861-1 is not prime. Res64: 5DADBE0B983F394B Time : 0.0 sec. user=mdettweiler [2019-10-26 05:03:57] 627*2^1547861-1 is not prime. Res64: E259D52C44EB4A7E Time : 0.0 sec. user=mdettweiler [2019-10-26 05:03:57] 631*2^1547861-1 is not prime. Res64: D78184AE127C4ED1 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:03:58] 717*2^1547861-1 is not prime. Res64: B6BB878BE1E114DD Time : 0.0 sec. user=mdettweiler [2019-10-26 05:36:34] 735*2^1547861-1 is not prime. Res64: F5D751B9F6F51ACA Time : 0.0 sec. user=mdettweiler [2019-10-26 05:36:35] 901*2^1547861-1 is not prime. Res64: DD2CA6724F3BFA84 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:36:35] 937*2^1547861-1 is not prime. Res64: BA3E6C8C0A30CFC6 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:36:36] 949*2^1547861-1 is not prime. Res64: 2D5264FB39C0E19D Time : 0.0 sec. user=mdettweiler [2019-10-26 05:36:36] 979*2^1547861-1 is not prime. Res64: 74A383FBA1BC7CE5 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:55:38] 611*2^1547862-1 is not prime. Res64: 2779DD165499BCA8 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:55:38] 723*2^1547862-1 is not prime. Res64: 681A86E0A69281E5 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:55:39] 725*2^1547862-1 is not prime. Res64: 5A66F95218D4126B Time : 0.0 sec. user=mdettweiler [2019-10-26 05:55:39] 747*2^1547862-1 is not prime. Res64: 629BC753DA3DD7C6 Time : 0.0 sec. user=mdettweiler [2019-10-26 05:55:39] 765*2^1547862-1 is not prime. Res64: F63D4C917FCE8CB4 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:28:42] 777*2^1547862-1 is not prime. Res64: 896C60024D64573A Time : 0.0 sec. user=mdettweiler [2019-10-26 06:28:43] 801*2^1547862-1 is not prime. Res64: 958C63BCC03109AD Time : 0.0 sec. user=mdettweiler [2019-10-26 06:28:43] 875*2^1547862-1 is not prime. Res64: 86DF3CD5DD05FF09 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:28:44] 917*2^1547862-1 is not prime. Res64: B804F3D5B65200F7 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:28:44] 977*2^1547862-1 is not prime. Res64: 7FAC7A67CE6BD6A0 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:47:57] 811*2^1547863-1 is not prime. Res64: BE63AF6908494C28 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:47:57] 853*2^1547863-1 is not prime. Res64: EC91E12E28184911 Time : 0.0 sec. user=mdettweiler [2019-10-26 06:47:58] 951*2^1547863-1 is not prime. Res64: 7BD3CEE0F0289ECF Time : 0.0 sec. user=mdettweiler [2019-10-26 06:47:58] 875*2^1547864-1 is not prime. Res64: 26A4AEBE4E18ED1F Time : 0.0 sec. user=mdettweiler [2019-10-26 06:47:59] 917*2^1547864-1 is not prime. Res64: 8B6F441D00476704 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:20:04] 927*2^1547864-1 is not prime. Res64: 32B6D73E62FBB88A Time : 0.0 sec. user=mdettweiler [2019-10-26 07:20:05] 651*2^1547865-1 is not prime. Res64: CFBB23361387433E Time : 0.0 sec. user=mdettweiler [2019-10-26 07:20:05] 679*2^1547865-1 is not prime. Res64: 2A5DCA777D96CD6F Time : 0.0 sec. user=mdettweiler [2019-10-26 07:20:05] 735*2^1547865-1 is not prime. Res64: 7BA947FE60279AF3 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:20:06] 751*2^1547865-1 is not prime. Res64: DCC206BB74316742 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:40:58] 837*2^1547865-1 is not prime. Res64: 2695C51105398710 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:40:59] 895*2^1547865-1 is not prime. Res64: 5FE0CF6158F2AF51 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:40:59] 999*2^1547865-1 is not prime. Res64: 1C02D5E30623BC6D Time : 0.0 sec. user=mdettweiler [2019-10-26 07:41:00] 603*2^1547866-1 is not prime. Res64: 2E8DCDBD90634EB7 Time : 0.0 sec. user=mdettweiler [2019-10-26 07:41:00] 623*2^1547866-1 is not prime. Res64: E96A3322C9E11347 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:11:06] 657*2^1547866-1 is not prime. Res64: 7D2395BF002AF319 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:11:07] 701*2^1547866-1 is not prime. Res64: A1D70A84F462C2AB Time : 0.0 sec. user=mdettweiler [2019-10-26 08:11:07] 737*2^1547866-1 is not prime. Res64: 78B5F1381A9A5555 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:11:08] 699*2^1547867-1 is not prime. Res64: C009EAB34EDB7001 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:11:09] 705*2^1547867-1 is not prime. Res64: A505DB17229FCD75 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:32:40] 801*2^1547867-1 is not prime. Res64: C76EEBD5EF591411 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:32:41] 813*2^1547867-1 is not prime. Res64: 969BCE0FA9AFE36C Time : 0.0 sec. user=mdettweiler [2019-10-26 08:32:41] 823*2^1547867-1 is not prime. Res64: E551A15EAD87F0FD Time : 0.0 sec. user=mdettweiler [2019-10-26 08:32:42] 861*2^1547867-1 is not prime. Res64: 78C984A6142B8071 Time : 0.0 sec. user=mdettweiler [2019-10-26 08:32:42] 913*2^1547867-1 is not prime. Res64: A21EC49D7E3E64AD Time : 0.0 sec. user=mdettweiler [2019-10-26 09:03:06] 963*2^1547867-1 is not prime. Res64: BCB24AC863296573 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:03:07] 981*2^1547867-1 is not prime. Res64: FD5A0F83B161DEA6 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:03:09] 605*2^1547868-1 is not prime. Res64: A4CD12808EF4186A Time : 0.0 sec. user=mdettweiler [2019-10-26 09:03:10] 635*2^1547868-1 is not prime. Res64: CD2BB4D2D4543F77 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:03:11] 723*2^1547868-1 is not prime. Res64: AA8A88BE8C424C5F Time : 0.0 sec. user=mdettweiler [2019-10-26 09:18:06] 759*2^1547868-1 is not prime. Res64: AC48FAFDEFE3078E Time : 0.0 sec. user=mdettweiler [2019-10-26 09:18:06] 837*2^1547868-1 is not prime. Res64: CDF969BC9FA1E4DC Time : 0.0 sec. user=mdettweiler [2019-10-26 09:18:07] 887*2^1547868-1 is not prime. Res64: 212A65819A619B2B Time : 0.0 sec. user=mdettweiler [2019-10-26 09:18:07] 893*2^1547868-1 is not prime. Res64: A1E14C89539EE98B Time : 0.0 sec. user=mdettweiler [2019-10-26 09:18:08] 615*2^1547869-1 is not prime. Res64: 641A16A943DFC256 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:24:07] 729*2^1547869-1 is not prime. Res64: 9EC7767FDEED36A7 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:24:07] 829*2^1547869-1 is not prime. Res64: 8FBF58AC7C617822 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:24:08] 855*2^1547869-1 is not prime. Res64: 237ED30582FA607A Time : 0.0 sec. user=mdettweiler [2019-10-26 09:24:08] 677*2^1547870-1 is not prime. Res64: 0A1BC4FC3EDA8B25 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:24:09] 707*2^1547870-1 is not prime. Res64: 86650E0238406D73 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:55:38] 717*2^1547870-1 is not prime. Res64: C579AAEA4DD7962B Time : 0.0 sec. user=mdettweiler [2019-10-26 09:55:38] 755*2^1547870-1 is not prime. Res64: AFCB7F964C828F64 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:55:39] 917*2^1547870-1 is not prime. Res64: 8397CCCA8770D67F Time : 0.0 sec. user=mdettweiler [2019-10-26 09:55:39] 945*2^1547870-1 is not prime. Res64: 2872F646F2DAA7B9 Time : 0.0 sec. user=mdettweiler [2019-10-26 09:55:40] 609*2^1547871-1 is not prime. Res64: 763995D59F9E282A Time : 0.0 sec. user=mdettweiler [2019-10-26 10:11:22] 735*2^1547871-1 is not prime. Res64: A01C62D9FD1E9A00 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:11:24] 829*2^1547871-1 is not prime. Res64: F40A0E4CFB1DE1DB Time : 0.0 sec. user=mdettweiler [2019-10-26 10:11:25] 879*2^1547871-1 is not prime. Res64: E5FEEC62027D97E6 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:11:27] 885*2^1547871-1 is not prime. Res64: 9CF69A16847D8DCD Time : 0.0 sec. user=mdettweiler [2019-10-26 10:11:28] 999*2^1547871-1 is not prime. Res64: 536D573CB6E26C03 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:14:52] 603*2^1547872-1 is not prime. Res64: 1437C2271E72C854 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:14:53] 605*2^1547872-1 is not prime. Res64: 7BC6EC12C7DC7919 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:14:53] 615*2^1547872-1 is not prime. Res64: B41B7C19C0498C57 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:14:54] 677*2^1547872-1 is not prime. Res64: 75D4FCE5316CE990 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:14:54] 689*2^1547872-1 is not prime. Res64: AA443B53F10F15DE Time : 0.0 sec. user=mdettweiler [2019-10-26 10:46:59] 743*2^1547872-1 is not prime. Res64: DEFAAF34A15C8839 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:46:59] 765*2^1547872-1 is not prime. Res64: C6B7F04D56745020 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:47:00] 849*2^1547872-1 is not prime. Res64: 857B8C64262E1325 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:47:00] 887*2^1547872-1 is not prime. Res64: 3FB49F0E8DC335D2 Time : 0.0 sec. user=mdettweiler [2019-10-26 10:47:01] 651*2^1547873-1 is not prime. Res64: E7D75ECC900183F4 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:02:54] 657*2^1547873-1 is not prime. Res64: D99127531F1D9EAB Time : 0.0 sec. user=mdettweiler [2019-10-26 11:02:55] 729*2^1547873-1 is not prime. Res64: 872E59BEA2C3A877 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:02:56] 663*2^1547874-1 is not prime. Res64: 201AABD2D7BA5CAE Time : 0.0 sec. user=mdettweiler [2019-10-26 11:02:56] 773*2^1547874-1 is not prime. Res64: D2112FC150E5313B Time : 0.0 sec. user=mdettweiler [2019-10-26 11:02:57] 803*2^1547874-1 is not prime. Res64: EDE0166A99132EB7 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:06:14] 861*2^1547874-1 is not prime. Res64: C521EDA517AC8DD3 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:06:15] 917*2^1547874-1 is not prime. Res64: FE2CB3E21B90A3B2 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:06:16] 639*2^1547875-1 is not prime. Res64: 5A046D15B6CCAB46 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:06:16] 645*2^1547875-1 is not prime. Res64: CE64277AD7A31B47 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:06:17] 775*2^1547875-1 is not prime. Res64: EB4CFA8D436F3FA5 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:38:52] 793*2^1547875-1 is not prime. Res64: 1A04AFE51ECE0A10 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:38:53] 891*2^1547875-1 is not prime. Res64: 64935F466D5EEF69 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:38:54] 909*2^1547875-1 is not prime. Res64: 9F75DF98BFF1DFD1 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:38:54] 743*2^1547876-1 is not prime. Res64: 1207C629475127A3 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:38:54] 833*2^1547876-1 is not prime. Res64: 207CB706E9676FC2 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:56:21] 957*2^1547876-1 is not prime. Res64: 943A417D8123F5C1 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:56:21] 999*2^1547876-1 is not prime. Res64: 8BC4B968ED9C4CA6 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:56:22] 625*2^1547877-1 is not prime. Res64: D8763AB4816BD5D3 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:56:22] 691*2^1547877-1 is not prime. Res64: EA187B385A78E755 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:56:23] 741*2^1547877-1 is not prime. Res64: 7F1783B56574B670 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:58:06] 777*2^1547877-1 is not prime. Res64: 7CD8F898CA057971 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:58:06] 781*2^1547877-1 is not prime. Res64: 3529C6B85B52A1D2 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:58:07] 805*2^1547877-1 is not prime. Res64: 997D3D8B36955DE4 Time : 0.0 sec. user=mdettweiler [2019-10-26 11:58:07] 961*2^1547877-1 is not prime. Res64: 43A575F3BA2DA3AA Time : 0.0 sec. user=mdettweiler [2019-10-26 11:58:08] 621*2^1547878-1 is not prime. Res64: EA6E1A0890B97EF2 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:31:27] 663*2^1547878-1 is not prime. Res64: 12E80DBB4A3670B5 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:31:29] 681*2^1547878-1 is not prime. Res64: 91D5CD053F5DA582 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:31:30] 911*2^1547878-1 is not prime. Res64: 15C47DFA018B7D70 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:31:31] 933*2^1547878-1 is not prime. Res64: BEC99C347039D092 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:31:32] 633*2^1547879-1 is not prime. Res64: 844D6342FBE3434B Time : 0.0 sec. user=mdettweiler [2019-10-26 12:48:23] 895*2^1547879-1 is not prime. Res64: 8F8AD99173EB61B4 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:48:23] 921*2^1547879-1 is not prime. Res64: D1768E833C862C22 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:48:24] 615*2^1547880-1 is not prime. Res64: 3A74C39CBDBEF540 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:48:24] 627*2^1547880-1 is not prime. Res64: D134389BB5B2D990 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:48:24] 633*2^1547880-1 is not prime. Res64: E7C10200133A3480 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:49:25] 713*2^1547880-1 is not prime. Res64: 832C16AC0644B825 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:49:26] 719*2^1547880-1 is not prime. Res64: 7F98F9C0ADFBBB65 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:49:26] 725*2^1547880-1 is not prime. Res64: CC5F37BB481BD8DF Time : 0.0 sec. user=mdettweiler [2019-10-26 12:49:27] 737*2^1547880-1 is not prime. Res64: 309405166A9A80F5 Time : 0.0 sec. user=mdettweiler [2019-10-26 12:49:27] 789*2^1547880-1 is not prime. Res64: 31FEB8697B705237 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:24:11] 825*2^1547880-1 is not prime. Res64: 3A3585310DE59E88 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:24:14] 863*2^1547880-1 is not prime. Res64: 5F9F791DA46A0F13 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:24:14] 867*2^1547880-1 is not prime. Res64: 39205AE18772D633 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:24:15] 875*2^1547880-1 is not prime. Res64: DA95510E2E03941F Time : 0.0 sec. user=mdettweiler [2019-10-26 13:24:15] 909*2^1547880-1 is not prime. Res64: 21C364F5E51D8582 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:39:35] 945*2^1547880-1 is not prime. Res64: 684B9B1079D1F8E7 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:39:36] 615*2^1547881-1 is not prime. Res64: 9CFB95385F5AF171 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:39:36] 625*2^1547881-1 is not prime. Res64: AB4D4A70EC03987A Time : 0.0 sec. user=mdettweiler [2019-10-26 13:39:37] 691*2^1547881-1 is not prime. Res64: 5EA38D3BD648F136 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:39:37] 769*2^1547881-1 is not prime. Res64: A8E3B973D18184F4 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:40:56] 771*2^1547881-1 is not prime. Res64: D24F66E500801AAB Time : 0.0 sec. user=mdettweiler [2019-10-26 13:40:57] 799*2^1547881-1 is not prime. Res64: 6C5AD52890814311 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:40:57] 801*2^1547881-1 is not prime. Res64: 789F323747857542 Time : 0.0 sec. user=mdettweiler [2019-10-26 13:40:58] 867*2^1547881-1 is not prime. Res64: 9C2D02E04EE7297D Time : 0.0 sec. user=mdettweiler [2019-10-26 13:40:58] 871*2^1547881-1 is not prime. Res64: C68A1576DA445B5E Time : 0.0 sec. user=mdettweiler [2019-10-26 14:16:57] 937*2^1547881-1 is not prime. Res64: 5F09A0968E6234F5 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:16:58] 987*2^1547881-1 is not prime. Res64: A84E7BD4F49B92D3 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:16:58] 615*2^1547882-1 is not prime. Res64: F3567BD9E06324CC Time : 0.0 sec. user=mdettweiler [2019-10-26 14:16:59] 657*2^1547882-1 is not prime. Res64: 3D69B0D5865ACEF6 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:16:59] 675*2^1547882-1 is not prime. Res64: 3FBFF07AE32E9E83 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:31:28] 713*2^1547882-1 is not prime. Res64: 8322F77DCAFAC915 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:31:29] 827*2^1547882-1 is not prime. Res64: A2B441C73ED8E95E Time : 0.0 sec. user=mdettweiler [2019-10-26 14:31:29] 843*2^1547882-1 is not prime. Res64: 91B4C858844AFD64 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:31:30] 977*2^1547882-1 is not prime. Res64: 13037DBC3AC10212 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:31:30] 983*2^1547882-1 is not prime. Res64: FCA58A419BD8EDA5 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:33:51] 859*2^1547883-1 is not prime. Res64: 18BE5FD956AFB12A Time : 0.0 sec. user=mdettweiler [2019-10-26 14:33:52] 963*2^1547883-1 is not prime. Res64: CFBC0F1B53F411C8 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:33:52] 985*2^1547883-1 is not prime. Res64: 7B89DEF56636C8E1 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:33:52] 605*2^1547884-1 is not prime. Res64: 8E0BCCB396173739 Time : 0.0 sec. user=mdettweiler [2019-10-26 14:33:53] 657*2^1547884-1 is not prime. Res64: F32E2EF3A846068A Time : 0.0 sec. user=mdettweiler [2019-10-26 15:09:25] 749*2^1547884-1 is not prime. Res64: 796E650E6DA7BCB4 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:09:25] 857*2^1547884-1 is not prime. Res64: 41ECF9D3CC6B1251 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:09:26] 873*2^1547884-1 is not prime. Res64: 212A0BEB2DC21BEC Time : 0.0 sec. user=mdettweiler [2019-10-26 15:09:26] 909*2^1547884-1 is not prime. Res64: 6EDC2F4631DE60A2 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:09:27] 939*2^1547884-1 is not prime. Res64: 1ACBA1212942C653 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:22:47] 975*2^1547884-1 is not prime. Res64: 1C5D506EE124D8CD Time : 0.0 sec. user=mdettweiler [2019-10-26 15:22:48] 607*2^1547885-1 is not prime. Res64: 1E04155D728373C4 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:22:49] 669*2^1547885-1 is not prime. Res64: E7F1305B19E705D6 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:22:49] 771*2^1547885-1 is not prime. Res64: 91978274076F9C51 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:22:50] 789*2^1547885-1 is not prime. Res64: 2D18CC28A10854C4 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:25:11] 861*2^1547885-1 is not prime. Res64: B7197C751024B378 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:25:11] 641*2^1547886-1 is not prime. Res64: 85D85EF19C7E50C0 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:25:12] 677*2^1547886-1 is not prime. Res64: 8508F2DB17C38AD0 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:25:12] 713*2^1547886-1 is not prime. Res64: 2A7D001A4E38D5A5 Time : 0.0 sec. user=mdettweiler [2019-10-26 15:25:12] 825*2^1547886-1 is not prime. Res64: 08309B0B35104086 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:02:06] 875*2^1547886-1 is not prime. Res64: 88863757F24B684D Time : 0.0 sec. user=mdettweiler [2019-10-26 16:02:09] 993*2^1547886-1 is not prime. Res64: 9CD2CFFB91CDD32A Time : 0.0 sec. user=mdettweiler [2019-10-26 16:02:12] 673*2^1547887-1 is not prime. Res64: 69BC3A1EA7CA91BA Time : 0.0 sec. user=mdettweiler [2019-10-26 16:02:13] 685*2^1547887-1 is not prime. Res64: 8ED33F49BDD8BFAF Time : 0.0 sec. user=mdettweiler [2019-10-26 16:02:14] 759*2^1547887-1 is not prime. Res64: C92E40B4B264DA32 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:14:13] 793*2^1547887-1 is not prime. Res64: C91589A79B143CF8 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:14:19] 945*2^1547887-1 is not prime. Res64: 06DB3A54E96C2CA2 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:14:21] 755*2^1547888-1 is not prime. Res64: 666EF87DE3D6CA86 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:14:24] 625*2^1547889-1 is not prime. Res64: 3E4447E06F4F9AC1 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:14:26] 669*2^1547889-1 is not prime. Res64: C90ED808A857F7A4 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:16:08] 745*2^1547889-1 is not prime. Res64: EDAF46C21BEB43A5 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:16:10] 603*2^1547890-1 is not prime. Res64: CBE862DDB76E7DB3 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:16:11] 611*2^1547890-1 is not prime. Res64: 9249782F2CAF8153 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:16:12] 657*2^1547890-1 is not prime. Res64: 228F2C3634060E49 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:16:14] 723*2^1547890-1 is not prime. Res64: 992A051619C63970 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:55:30] 791*2^1547890-1 is not prime. Res64: 1C461A9899A7FCD7 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:55:31] 813*2^1547890-1 is not prime. Res64: 0A89998246BAFE93 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:55:31] 857*2^1547890-1 is not prime. Res64: 2535D2CE995E0777 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:55:32] 861*2^1547890-1 is not prime. Res64: 6E92B04BEB65EDB9 Time : 0.0 sec. user=mdettweiler [2019-10-26 16:55:32] 951*2^1547890-1 is not prime. Res64: 2BC742126579FFC6 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:08:41] 745*2^1547891-1 is not prime. Res64: AD687655BD87AD6F Time : 0.0 sec. user=mdettweiler [2019-10-26 17:08:43] 825*2^1547891-1 is not prime. Res64: FFC687714F9F43F8 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:08:44] 871*2^1547891-1 is not prime. Res64: 7C6A027777B460BD Time : 0.0 sec. user=mdettweiler [2019-10-26 17:08:45] 885*2^1547891-1 is not prime. Res64: ED0E991F887A0E82 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:08:47] 939*2^1547891-1 is not prime. Res64: 6EA1EEC8067A4304 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:09:00] 987*2^1547890-1 is not prime. Res64: 45B3BC87C39D71D2 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:09:02] 995*2^1547890-1 is not prime. Res64: 4EC141652C145DFF Time : 0.0 sec. user=mdettweiler [2019-10-26 17:09:07] 603*2^1547891-1 is not prime. Res64: BF52A9C54B3CB7F0 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:09:09] 621*2^1547891-1 is not prime. Res64: 9FA170A7CD337F09 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:09:12] 643*2^1547891-1 is not prime. Res64: 10BF8B4B69973CD9 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:46:27] 605*2^1547892-1 is not prime. Res64: 779250A131C19BC7 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:46:28] 719*2^1547892-1 is not prime. Res64: 71CE29A26A24CB34 Time : 0.0 sec. user=mdettweiler [2019-10-26 17:46:29] 749*2^1547892-1 is not prime. Res64: 5716D0F6DCBEB52B Time : 0.0 sec. user=mdettweiler [2019-10-26 17:46:29] 759*2^1547892-1 is not prime. Res64: 79D63D849E18F18B Time : 0.0 sec. user=mdettweiler [2019-10-26 17:46:30] 803*2^1547892-1 is not prime. Res64: 5B6291F2C8A28DC2 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:13] 887*2^1547892-1 is not prime. Res64: B3FE770E90421238 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:18] 957*2^1547892-1 is not prime. Res64: AF2D3FAFD491623F Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:21] 619*2^1547893-1 is not prime. Res64: 77B65F2177B9A33E Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:24] 687*2^1547893-1 is not prime. Res64: DEDDE0FF2DB9A049 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:28] 817*2^1547893-1 is not prime. Res64: AF9C9E4250D657E1 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:54] 859*2^1547893-1 is not prime. Res64: BBA051F3BA423247 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:56] 925*2^1547893-1 is not prime. Res64: 8557EC4D93876E6C Time : 0.0 sec. user=mdettweiler [2019-10-26 18:01:59] 955*2^1547893-1 is not prime. Res64: 4543B9B8549A04CF Time : 0.0 sec. user=mdettweiler [2019-10-26 18:02:01] 693*2^1547894-1 is not prime. Res64: C9437B80FADF4A9E Time : 0.0 sec. user=mdettweiler [2019-10-26 18:02:05] 851*2^1547894-1 is not prime. Res64: F7483CD35448B231 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:37:53] 945*2^1547894-1 is not prime. Res64: 64AFC0C3846AA0A3 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:37:54] 619*2^1547895-1 is not prime. Res64: 7508404C732ECCB7 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:37:54] 679*2^1547895-1 is not prime. Res64: BAECF301CE9BCEDA Time : 0.0 sec. user=mdettweiler [2019-10-26 18:37:55] 711*2^1547895-1 is not prime. Res64: 397CE7906F20C034 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:37:55] 805*2^1547895-1 is not prime. Res64: 56A47318654918A0 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:53:33] 615*2^1547896-1 is not prime. Res64: 4E8D80C038559D65 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:53:34] 645*2^1547896-1 is not prime. Res64: 52C8F952A2715A41 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:53:34] 903*2^1547896-1 is not prime. Res64: 949F3D9204BC5743 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:53:35] 601*2^1547897-1 is not prime. Res64: 31FDF731DC523B10 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:53:35] 741*2^1547897-1 is not prime. Res64: 5FE7A38545604C27 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:54:00] 747*2^1547897-1 is not prime. Res64: FFBF98303C3B24E8 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:54:01] 771*2^1547897-1 is not prime. Res64: E0CB47EAD4F629E0 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:54:01] 805*2^1547897-1 is not prime. Res64: A1D0B4F0CB6F1CA1 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:54:02] 829*2^1547897-1 is not prime. Res64: C162A0CEB9CFB072 Time : 0.0 sec. user=mdettweiler [2019-10-26 18:54:02] 889*2^1547897-1 is not prime. Res64: 1548DB008A824F4F Time : 0.0 sec. user=mdettweiler [2019-10-26 19:29:37] 939*2^1547897-1 is not prime. Res64: 63050E7C0D9E86C1 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:29:37] 635*2^1547898-1 is not prime. Res64: E7992B304138D0DE Time : 0.0 sec. user=mdettweiler [2019-10-26 19:29:38] 651*2^1547898-1 is not prime. Res64: 1D0176A5A09A0B88 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:29:38] 777*2^1547898-1 is not prime. Res64: E1A5945DC2D1E931 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:29:39] 881*2^1547898-1 is not prime. Res64: A82711706B2A2045 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:44:44] 977*2^1547898-1 is not prime. Res64: 5E5A15134972C71D Time : 0.0 sec. user=mdettweiler [2019-10-26 19:44:45] 639*2^1547899-1 is not prime. Res64: CF12B8294E7C5B9E Time : 0.0 sec. user=mdettweiler [2019-10-26 19:44:45] 735*2^1547899-1 is not prime. Res64: 645B67B872CA9259 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:44:46] 609*2^1547900-1 is not prime. Res64: C927A708D77EA48C Time : 0.0 sec. user=mdettweiler [2019-10-26 19:44:46] 635*2^1547900-1 is not prime. Res64: ED09C1A649E00059 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:45:04] 755*2^1547900-1 is not prime. Res64: CC96293C28A4A093 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:45:06] 767*2^1547900-1 is not prime. Res64: BFA31DE27B47ACE5 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:45:08] 963*2^1547900-1 is not prime. Res64: E1323EA925BB5CF5 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:45:08] 661*2^1547901-1 is not prime. Res64: BDAD42E1C918C225 Time : 0.0 sec. user=mdettweiler [2019-10-26 19:45:09] 717*2^1547901-1 is not prime. Res64: 5E9BC7C96D5E4482 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:21:04] 811*2^1547901-1 is not prime. Res64: 02A7BE111F49A8BA Time : 0.0 sec. user=mdettweiler [2019-10-26 20:21:06] 895*2^1547901-1 is not prime. Res64: BA620DBCCFD0BEE7 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:21:07] 675*2^1547902-1 is not prime. Res64: 1FEE1A24ECCA9B02 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:21:07] 813*2^1547902-1 is not prime. Res64: B444A70F34F2B206 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:21:08] 881*2^1547902-1 is not prime. Res64: 2C1E448CF2BF537E Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:15] 915*2^1547902-1 is not prime. Res64: 306FE1EC7DCB3524 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:15] 995*2^1547902-1 is not prime. Res64: 942002E25C2A916D Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:15] 661*2^1547903-1 is not prime. Res64: 789E94EA8F858A08 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:16] 693*2^1547903-1 is not prime. Res64: DD23317C1739D51D Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:16] 729*2^1547903-1 is not prime. Res64: F1FA41ABCB5A9F0E Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:31] 813*2^1547903-1 is not prime. Res64: C54A96CD545F251B Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:31] 825*2^1547903-1 is not prime. Res64: 12D7476449803291 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:32] 901*2^1547903-1 is not prime. Res64: 2043235351FB50AD Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:32] 991*2^1547903-1 is not prime. Res64: 76F9264C74F6D470 Time : 0.0 sec. user=mdettweiler [2019-10-26 20:37:32] 675*2^1547904-1 is not prime. Res64: 23A09E9B08D8B655 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:05:30] 685*2^1547907-1 is not prime. Res64: A7E9A5AFBA1EC418 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:13:52] 705*2^1547904-1 is not prime. Res64: 24A38E2CB297DCE7 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:13:54] 737*2^1547904-1 is not prime. Res64: 2065294D7B11BBC6 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:13:56] 809*2^1547904-1 is not prime. Res64: F2EC309522D71E9F Time : 0.0 sec. user=mdettweiler [2019-10-26 21:13:57] 863*2^1547904-1 is not prime. Res64: 649E92E50F50149C Time : 0.0 sec. user=mdettweiler [2019-10-26 21:13:59] 993*2^1547904-1 is not prime. Res64: 84DE4BA31CED59B5 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:16] 615*2^1547906-1 is not prime. Res64: B2913F86DDD4621C Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:17] 677*2^1547906-1 is not prime. Res64: 09A527E477E9FCEC Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:17] 701*2^1547906-1 is not prime. Res64: 405AF9B1A3E980C3 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:18] 755*2^1547906-1 is not prime. Res64: E2A02B5B5C96390F Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:18] 669*2^1547907-1 is not prime. Res64: DEF580F7449EDC55 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:35] 649*2^1547905-1 is not prime. Res64: CFF7783D0B6A5F48 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:35] 661*2^1547905-1 is not prime. Res64: 27954DD4BBC89E71 Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:36] 805*2^1547905-1 is not prime. Res64: D6E3FD3B35DFA3FD Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:36] 861*2^1547905-1 is not prime. Res64: 51E5C2907DDEA90B Time : 0.0 sec. user=mdettweiler [2019-10-26 21:28:36] 951*2^1547905-1 is not prime. Res64: 24AEE5C6FE61A83A Time : 0.0 sec. user=mdettweiler [2019-10-26 22:06:10] 765*2^1547907-1 is not prime. Res64: EF4BFC59C0B23503 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:06:12] 879*2^1547907-1 is not prime. Res64: B55EC04CAC7C96FB Time : 0.0 sec. user=mdettweiler [2019-10-26 22:06:13] 895*2^1547907-1 is not prime. Res64: 7BD959EA8703AD4A Time : 0.0 sec. user=mdettweiler [2019-10-26 22:06:15] 687*2^1547908-1 is not prime. Res64: 9270047D939997D9 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:06:16] 777*2^1547908-1 is not prime. Res64: CA769AF423D26825 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:19:43] 923*2^1547908-1 is not prime. Res64: 1EFC4C617E8179DA Time : 0.0 sec. user=mdettweiler [2019-10-26 22:19:44] 957*2^1547908-1 is not prime. Res64: CE11BC43FDC11B4B Time : 0.0 sec. user=mdettweiler [2019-10-26 22:19:47] 697*2^1547909-1 is not prime. Res64: 6BCB29C3FDC32D48 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:19:50] 699*2^1547909-1 is not prime. Res64: CE9762C8FE2CF2E9 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:19:50] 727*2^1547909-1 is not prime. Res64: 2877A202DE166B24 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:20:59] 729*2^1547909-1 is not prime. Res64: 729370C5687EE98D Time : 0.0 sec. user=mdettweiler [2019-10-26 22:20:59] 801*2^1547909-1 is not prime. Res64: D4448212F107F41E Time : 0.0 sec. user=mdettweiler [2019-10-26 22:21:00] 825*2^1547909-1 is not prime. Res64: 3F680DE7217198D5 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:21:00] 907*2^1547909-1 is not prime. Res64: 8FB16693C87FB6DA Time : 0.0 sec. user=mdettweiler [2019-10-26 22:21:01] 985*2^1547909-1 is not prime. Res64: 4B496E196A93DFED Time : 0.0 sec. user=mdettweiler [2019-10-26 22:58:04] 641*2^1547910-1 is not prime. Res64: 931CDCCA4745EE76 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:58:05] 651*2^1547910-1 is not prime. Res64: 8D619B84DA3023F9 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:58:05] 765*2^1547910-1 is not prime. Res64: AE4AE66C6C313DFB Time : 0.0 sec. user=mdettweiler [2019-10-26 22:58:05] 821*2^1547910-1 is not prime. Res64: 9270D57F7FBC7C27 Time : 0.0 sec. user=mdettweiler [2019-10-26 22:58:06] 851*2^1547910-1 is not prime. Res64: E40587972A8E636C Time : 0.0 sec. user=mdettweiler [2019-10-26 23:11:42] 891*2^1547910-1 is not prime. Res64: 17E159DA0191B787 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:11:44] 963*2^1547910-1 is not prime. Res64: E263E90951E68043 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:11:47] 971*2^1547910-1 is not prime. Res64: DBEACBD0034ACA19 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:11:50] 619*2^1547911-1 is not prime. Res64: 2D819369207F0A16 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:11:51] 625*2^1547911-1 is not prime. Res64: DB166A0B10464840 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:12:22] 693*2^1547911-1 is not prime. Res64: 40E1205ADAA81BB8 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:12:24] 849*2^1547911-1 is not prime. Res64: 69261EE865B6E171 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:12:26] 969*2^1547911-1 is not prime. Res64: AD09D67733E1422D Time : 0.0 sec. user=mdettweiler [2019-10-26 23:12:35] 603*2^1547912-1 is not prime. Res64: 7C95A9DF6965C798 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:12:36] 767*2^1547912-1 is not prime. Res64: 061183BE3259374F Time : 0.0 sec. user=mdettweiler [2019-10-26 23:49:55] 797*2^1547912-1 is not prime. Res64: 96EE21E867A5766B Time : 0.0 sec. user=mdettweiler [2019-10-26 23:49:55] 855*2^1547912-1 is not prime. Res64: B0CFDAF582FC727A Time : 0.0 sec. user=mdettweiler [2019-10-26 23:49:55] 819*2^1547913-1 is not prime. Res64: EA1B6DC43AA5B6B7 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:49:56] 871*2^1547913-1 is not prime. Res64: 9DBC7E94FA7FBE74 Time : 0.0 sec. user=mdettweiler [2019-10-26 23:49:56] 885*2^1547913-1 is not prime. Res64: BCB25F47D1C45C9A Time : 0.0 sec.