user=mdettweiler [2017-04-14 00:03:53] 721*2^1451533-1 is not prime. Res64: 0D91F61CADBE699A Time : 0.0 sec. user=mdettweiler [2017-04-14 00:03:54] 741*2^1451533-1 is not prime. Res64: 8FBAE1BE3344DBB0 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:03:54] 771*2^1451533-1 is not prime. Res64: AD80F70D42E5611F Time : 0.0 sec. user=mdettweiler [2017-04-14 00:03:55] 775*2^1451533-1 is not prime. Res64: 50964BF3D2846C19 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:03:56] 829*2^1451533-1 is not prime. Res64: 3BB6B75F81CD7CCA Time : 0.0 sec. user=mdettweiler [2017-04-14 00:04:05] 847*2^1451533-1 is not prime. Res64: 1F8C037533D4CB22 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:04:06] 657*2^1451534-1 is not prime. Res64: C0851C9F0999EA58 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:04:07] 671*2^1451534-1 is not prime. Res64: 33963EC253AE469A Time : 0.0 sec. user=mdettweiler [2017-04-14 00:04:08] 711*2^1451534-1 is not prime. Res64: 05716D7F1E9258D1 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:04:09] 797*2^1451534-1 is not prime. Res64: 5819269DFDE65152 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:26:48] 897*2^1451534-1 is not prime. Res64: 8B3354D5AC20DA2C Time : 0.0 sec. user=mdettweiler [2017-04-14 00:26:48] 923*2^1451534-1 is not prime. Res64: A7F41E7047D63C07 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:26:49] 1001*2^1451534-1 is not prime. Res64: DD68ED561BADB03B Time : 0.0 sec. user=mdettweiler [2017-04-14 00:26:49] 613*2^1451535-1 is not prime. Res64: 94E255E9CDADFD84 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:26:50] 643*2^1451535-1 is not prime. Res64: 7566C48B5FF05A8F Time : 0.0 sec. user=mdettweiler [2017-04-14 00:37:11] 793*2^1451535-1 is not prime. Res64: DD7B65529D0C1AC9 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:37:11] 849*2^1451535-1 is not prime. Res64: 56B7F88CA2A8C1AD Time : 0.0 sec. user=mdettweiler [2017-04-14 00:37:12] 853*2^1451535-1 is not prime. Res64: 587A919132F6D61B Time : 0.0 sec. user=mdettweiler [2017-04-14 00:37:12] 909*2^1451535-1 is not prime. Res64: B49A15A4A3B7C5EA Time : 0.0 sec. user=mdettweiler [2017-04-14 00:37:12] 609*2^1451536-1 is not prime. Res64: 0564ECDADEA2A86A Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:03] 861*2^1451537-1 is not prime. Res64: 2B0656B2DF086FDB Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:03] 909*2^1451537-1 is not prime. Res64: F3BCC4B87ACEB833 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:04] 765*2^1451538-1 is not prime. Res64: A6A41A129606B280 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:04] 773*2^1451538-1 is not prime. Res64: FA245C223A705612 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:05] 843*2^1451538-1 is not prime. Res64: 70DB1F0870200124 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:17] 615*2^1451536-1 is not prime. Res64: 2CEEB91D38140E6B Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:18] 623*2^1451536-1 is not prime. Res64: BA46CBCBD579AEB1 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:18] 601*2^1451537-1 is not prime. Res64: 59791C3FF6EDBF3A Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:18] 675*2^1451537-1 is not prime. Res64: 3C1CB582E3293818 Time : 0.0 sec. user=mdettweiler [2017-04-14 00:49:19] 747*2^1451537-1 is not prime. Res64: A1FD922FD14D7863 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:11:49] 915*2^1451538-1 is not prime. Res64: CA68500A852E0109 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:11:50] 1001*2^1451538-1 is not prime. Res64: 77DE2E90A92BC32C Time : 0.0 sec. user=mdettweiler [2017-04-14 01:11:50] 631*2^1451539-1 is not prime. Res64: 66B26C117A9EFBBC Time : 0.0 sec. user=mdettweiler [2017-04-14 01:11:51] 775*2^1451539-1 is not prime. Res64: C86543B71A717A48 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:11:51] 931*2^1451539-1 is not prime. Res64: 3C397C3DBE19D19F Time : 0.0 sec. user=mdettweiler [2017-04-14 01:22:17] 961*2^1451539-1 is not prime. Res64: 9DB7A72278F6E1C5 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:22:18] 603*2^1451540-1 is not prime. Res64: 4CA4EC8DBE0A978B Time : 0.0 sec. user=mdettweiler [2017-04-14 01:22:18] 669*2^1451540-1 is not prime. Res64: 80ADF9E7D941990F Time : 0.0 sec. user=mdettweiler [2017-04-14 01:22:19] 767*2^1451540-1 is not prime. Res64: EE15CE697127DF16 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:22:19] 777*2^1451540-1 is not prime. Res64: F0DD11517A72BECD Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:18] 875*2^1451540-1 is not prime. Res64: 1D42347C811006D7 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:18] 909*2^1451540-1 is not prime. Res64: 34722B00B3F1B405 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:19] 727*2^1451541-1 is not prime. Res64: DC4D46B16523B2B9 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:19] 735*2^1451541-1 is not prime. Res64: DD86B419751F6FC4 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:20] 777*2^1451541-1 is not prime. Res64: 6480D62757B48661 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:24] 847*2^1451541-1 is not prime. Res64: AD2A913D4633329D Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:24] 849*2^1451541-1 is not prime. Res64: B2E7039E53B92760 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:25] 885*2^1451541-1 is not prime. Res64: AE77087B436274C5 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:25] 713*2^1451542-1 is not prime. Res64: 2D8A4CBD11BE6319 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:34:26] 801*2^1451542-1 is not prime. Res64: 84CF6E4196340EB9 Time : 0.0 sec. user=juhehe [2017-04-14 01:48:01] 815*2^1451542-1 is not prime. Res64: 980E237A131F9512 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:56:49] 821*2^1451542-1 is not prime. Res64: 317DD2C35E45B4F2 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:56:50] 831*2^1451542-1 is not prime. Res64: ECE2C3457A41A4C9 Time : 0.0 sec. user=mdettweiler [2017-04-14 01:56:50] 891*2^1451542-1 is not prime. Res64: 657F8A7342AF048C Time : 0.0 sec. user=mdettweiler [2017-04-14 01:56:50] 897*2^1451542-1 is not prime. Res64: 1AF9A797F09F734A Time : 0.0 sec. user=mdettweiler [2017-04-14 01:56:51] 915*2^1451542-1 is not prime. Res64: 757EDFA5FD5551A5 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:07:22] 947*2^1451542-1 is not prime. Res64: DD626B7F248E03D6 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:07:24] 987*2^1451542-1 is not prime. Res64: 042C28C8DD6BAFB1 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:07:24] 675*2^1451543-1 is not prime. Res64: A5A1D6FFEBE74D40 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:07:24] 693*2^1451543-1 is not prime. Res64: A02F22A26146B24C Time : 0.0 sec. user=mdettweiler [2017-04-14 02:07:25] 703*2^1451543-1 is not prime. Res64: 06C89C060B5A0B16 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:21] 721*2^1451543-1 is not prime. Res64: DCD860E6F4E2853C Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:22] 745*2^1451543-1 is not prime. Res64: 28C75BBF116A6CD4 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:22] 775*2^1451543-1 is not prime. Res64: 4782A7F46D5733AA Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:23] 861*2^1451543-1 is not prime. Res64: 4625546C13E06AFD Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:23] 969*2^1451543-1 is not prime. Res64: 384C58B719E67987 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:32] 985*2^1451543-1 is not prime. Res64: 5D71EA911E1966F8 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:33] 615*2^1451544-1 is not prime. Res64: 53CE695A52E9FD7A Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:33] 663*2^1451544-1 is not prime. Res64: 06CC1C2ECC050AFD Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:33] 795*2^1451544-1 is not prime. Res64: B82A9A34241E3D98 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:19:34] 945*2^1451544-1 is not prime. Res64: 895B00EED8F3996D Time : 0.0 sec. user=mdettweiler [2017-04-14 02:42:10] 959*2^1451544-1 is not prime. Res64: 5FDA97AB50D9F473 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:42:11] 609*2^1451545-1 is not prime. Res64: 4C6E48EBFF26668B Time : 0.0 sec. user=mdettweiler [2017-04-14 02:42:11] 885*2^1451545-1 is not prime. Res64: 6EE13CC47B5B30D3 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:42:12] 985*2^1451545-1 is not prime. Res64: 777982909C27DCE5 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:42:12] 641*2^1451546-1 is not prime. Res64: D52E636F377E1DEB Time : 0.0 sec. user=mdettweiler [2017-04-14 02:53:19] 705*2^1451546-1 is not prime. Res64: 5F7A251547203832 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:53:20] 707*2^1451546-1 is not prime. Res64: 521909170B6AEBCC Time : 0.0 sec. user=mdettweiler [2017-04-14 02:53:20] 711*2^1451546-1 is not prime. Res64: 9835C92EC4A7F261 Time : 0.0 sec. user=mdettweiler [2017-04-14 02:53:21] 713*2^1451546-1 is not prime. Res64: 62F5A65A3E0BECDE Time : 0.0 sec. user=mdettweiler [2017-04-14 02:53:21] 741*2^1451546-1 is not prime. Res64: 3DCDA3D8A2D6698E Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:15] 783*2^1451546-1 is not prime. Res64: EBD74156C6B0512C Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:16] 875*2^1451546-1 is not prime. Res64: 96816EA59D993A26 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:18] 953*2^1451546-1 is not prime. Res64: 177F264A958F4B87 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:19] 601*2^1451547-1 is not prime. Res64: A4C87509CAE08347 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:20] 633*2^1451547-1 is not prime. Res64: 95C71BAA33D381BE Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:24] 703*2^1451547-1 is not prime. Res64: 9500E183351E4BB6 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:25] 801*2^1451547-1 is not prime. Res64: 1BA98FB4529F8520 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:27] 823*2^1451547-1 is not prime. Res64: 357BD4A9EFD4DCD6 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:29] 829*2^1451547-1 is not prime. Res64: 933ABFE1452256D9 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:05:30] 859*2^1451547-1 is not prime. Res64: 523D6F3C3AAD012A Time : 0.0 sec. user=mdettweiler [2017-04-14 03:28:02] 615*2^1451548-1 is not prime. Res64: BD4BE5B95E58AC8E Time : 0.0 sec. user=mdettweiler [2017-04-14 03:28:03] 665*2^1451548-1 is not prime. Res64: D3CA26F11A0DA3F2 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:28:04] 839*2^1451548-1 is not prime. Res64: 7C0356411BE29790 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:28:04] 957*2^1451548-1 is not prime. Res64: EED7384DF80C82E5 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:28:05] 993*2^1451548-1 is not prime. Res64: 33E50D07C7C1FBC3 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:38:34] 999*2^1451548-1 is not prime. Res64: 87FD6E36AAC2BDF4 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:38:35] 631*2^1451549-1 is not prime. Res64: F9FFA6F3E3B54DD9 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:38:37] 727*2^1451549-1 is not prime. Res64: 56F2A0884D62FB37 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:38:38] 729*2^1451549-1 is not prime. Res64: 6F4A46048863EAB8 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:38:38] 759*2^1451549-1 is not prime. Res64: EEAB9FEEFCE08CA0 Time : 0.0 sec. user=juhehe [2017-04-14 03:47:21] 783*2^1451551-1 is not prime. Res64: C5AE88E73BE198C4 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:35] 795*2^1451549-1 is not prime. Res64: A43262E14EBC78EF Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:36] 837*2^1451549-1 is not prime. Res64: 55AD5B3A3C4FAC98 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:37] 889*2^1451549-1 is not prime. Res64: E81559201F19358C Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:38] 651*2^1451550-1 is not prime. Res64: 598EADA9712CDF08 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:40] 755*2^1451550-1 is not prime. Res64: 6C60F2724283C911 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:53] 765*2^1451550-1 is not prime. Res64: DFA5818F80C69EE2 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:54] 801*2^1451550-1 is not prime. Res64: 243906F629E6A9A0 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:57] 851*2^1451550-1 is not prime. Res64: D568AE49685FA366 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:58] 891*2^1451550-1 is not prime. Res64: 84BDCE214F00BFE5 Time : 0.0 sec. user=mdettweiler [2017-04-14 03:50:59] 933*2^1451550-1 is not prime. Res64: 7B27982028CA5A77 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:13:25] 819*2^1451551-1 is not prime. Res64: AE6D299B93BBA673 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:13:25] 843*2^1451551-1 is not prime. Res64: 9BFD826FDA266339 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:13:26] 871*2^1451551-1 is not prime. Res64: 3FFCE5503C0E5E50 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:13:26] 993*2^1451551-1 is not prime. Res64: BB5C4BD5B55D6709 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:13:27] 633*2^1451552-1 is not prime. Res64: 914E98436B360EB5 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:24:05] 677*2^1451552-1 is not prime. Res64: 158DFF9837A882EF Time : 0.0 sec. user=mdettweiler [2017-04-14 04:24:05] 743*2^1451552-1 is not prime. Res64: C62ACEB1A91AF806 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:24:05] 813*2^1451552-1 is not prime. Res64: 0DD13D31A7F37BC2 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:24:06] 827*2^1451552-1 is not prime. Res64: 950EA465B88D3EF9 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:24:06] 609*2^1451553-1 is not prime. Res64: B99C1EDA1DB571BF Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:06] 765*2^1451553-1 is not prime. Res64: 70D0D9D6123780F5 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:07] 781*2^1451553-1 is not prime. Res64: 7C396163C177828D Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:07] 835*2^1451553-1 is not prime. Res64: 9254DF4E094715BF Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:07] 919*2^1451553-1 is not prime. Res64: BD14C233C996C700 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:08] 833*2^1451554-1 is not prime. Res64: AB784CF7989550C3 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:09] 861*2^1451554-1 is not prime. Res64: 7C2586F1EBB7FEDE Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:10] 885*2^1451555-1 is not prime. Res64: CB01F839DCE8C719 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:10] 909*2^1451555-1 is not prime. Res64: E5B8707B1961C02D Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:11] 949*2^1451555-1 is not prime. Res64: E6D641DB1D16E641 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:36:11] 627*2^1451556-1 is not prime. Res64: 0FCC95A1EC944F4A Time : 0.0 sec. user=mdettweiler [2017-04-14 04:58:33] 759*2^1451556-1 is not prime. Res64: A56DDE740DD5EB7A Time : 0.0 sec. user=mdettweiler [2017-04-14 04:58:34] 839*2^1451556-1 is not prime. Res64: 3B7A926E20CA10F8 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:58:34] 987*2^1451556-1 is not prime. Res64: 00787B324682FAD9 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:58:34] 999*2^1451556-1 is not prime. Res64: 41A074E9BEA08460 Time : 0.0 sec. user=mdettweiler [2017-04-14 04:58:35] 715*2^1451557-1 is not prime. Res64: C2A88EDFFE5E4ECF Time : 0.0 sec. user=mdettweiler [2017-04-14 05:09:50] 777*2^1451557-1 is not prime. Res64: 9836E22D283222CA Time : 0.0 sec. user=mdettweiler [2017-04-14 05:09:50] 829*2^1451557-1 is not prime. Res64: 5C678973C8F1B9F3 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:09:51] 919*2^1451557-1 is not prime. Res64: 96D6E6F597CB7359 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:09:51] 937*2^1451557-1 is not prime. Res64: 5C6D1DD7F0DD2708 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:09:52] 957*2^1451557-1 is not prime. Res64: A1BD0E384FD28588 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:21:54] 893*2^1451558-1 is not prime. Res64: A3943A82CECD94F7 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:21:54] 923*2^1451558-1 is not prime. Res64: AA37E944B8828C33 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:21:54] 957*2^1451558-1 is not prime. Res64: 708C747D66C9FB87 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:21:55] 621*2^1451559-1 is not prime. Res64: BAD4977BEAD21C1E Time : 0.0 sec. user=mdettweiler [2017-04-14 05:21:55] 735*2^1451559-1 is not prime. Res64: 3C51566981A0905B Time : 0.0 sec. user=mdettweiler [2017-04-14 05:22:09] 763*2^1451559-1 is not prime. Res64: 4ED54972C8ABEA39 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:22:10] 873*2^1451559-1 is not prime. Res64: 79519881A6735BF2 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:22:10] 603*2^1451560-1 is not prime. Res64: D2A193C4A5C804AF Time : 0.0 sec. user=mdettweiler [2017-04-14 05:22:11] 717*2^1451560-1 is not prime. Res64: 5A6280AD37CC564E Time : 0.0 sec. user=mdettweiler [2017-04-14 05:22:11] 849*2^1451560-1 is not prime. Res64: C3942DAD6165FF18 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:44:19] 863*2^1451560-1 is not prime. Res64: 2DC4D44CA5F74B2F Time : 0.0 sec. user=mdettweiler [2017-04-14 05:44:19] 927*2^1451560-1 is not prime. Res64: 46CF426B009529F4 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:44:20] 959*2^1451560-1 is not prime. Res64: 8C6189E8846B5C91 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:44:20] 989*2^1451560-1 is not prime. Res64: 462A45E95A5F9AE4 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:44:21] 999*2^1451560-1 is not prime. Res64: 589B211A1F73F746 Time : 0.0 sec. user=juhehe [2017-04-14 05:45:13] 627*2^1451561-1 is not prime. Res64: BCCDA94AC3121F98 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:54:57] 631*2^1451561-1 is not prime. Res64: 575AEFC4C34C7B08 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:54:58] 889*2^1451561-1 is not prime. Res64: 4A5CC399C6CF0FDF Time : 0.0 sec. user=mdettweiler [2017-04-14 05:54:58] 997*2^1451561-1 is not prime. Res64: B349BAB99A39FDF6 Time : 0.0 sec. user=mdettweiler [2017-04-14 05:54:58] 683*2^1451562-1 is not prime. Res64: B1AF8AE9731EE1BD Time : 0.0 sec. user=mdettweiler [2017-04-14 05:54:59] 983*2^1451562-1 is not prime. Res64: ECAAAAB757F23748 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:05] 709*2^1451563-1 is not prime. Res64: A2401656BA767845 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:06] 783*2^1451563-1 is not prime. Res64: D84837BAF0E03424 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:06] 853*2^1451563-1 is not prime. Res64: 80358349BAB9BF00 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:07] 973*2^1451563-1 is not prime. Res64: 87171DD250AF3E83 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:07] 617*2^1451564-1 is not prime. Res64: CD2C150504D02AC2 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:28] 675*2^1451564-1 is not prime. Res64: 634BB452CFD61E2E Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:28] 767*2^1451564-1 is not prime. Res64: 3C744BD1DE335CF3 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:28] 803*2^1451564-1 is not prime. Res64: 01CBCCE70627CDDC Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:29] 837*2^1451564-1 is not prime. Res64: 5D1079D62D5CC3F1 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:07:29] 843*2^1451564-1 is not prime. Res64: F0FBB5600987DD41 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:29:21] 885*2^1451564-1 is not prime. Res64: 5B5167DD2A932FC0 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:29:21] 717*2^1451565-1 is not prime. Res64: 4F3F1B161351964C Time : 0.0 sec. user=mdettweiler [2017-04-14 06:29:22] 765*2^1451565-1 is not prime. Res64: 77362120D710759A Time : 0.0 sec. user=mdettweiler [2017-04-14 06:29:22] 795*2^1451565-1 is not prime. Res64: 32BAB997F6D52954 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:29:22] 861*2^1451565-1 is not prime. Res64: 895C4208A61990E9 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:40:01] 867*2^1451565-1 is not prime. Res64: 3B96AA95E80731DB Time : 0.0 sec. user=mdettweiler [2017-04-14 06:40:02] 951*2^1451565-1 is not prime. Res64: 03A3A6FC515C48CF Time : 0.0 sec. user=mdettweiler [2017-04-14 06:40:02] 979*2^1451565-1 is not prime. Res64: 7036B73F11068F14 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:40:03] 603*2^1451566-1 is not prime. Res64: EF9AF9400220B866 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:40:03] 645*2^1451566-1 is not prime. Res64: 259ADF3F8EB8E704 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:15] 675*2^1451566-1 is not prime. Res64: 25360ACC1EB40389 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:15] 761*2^1451566-1 is not prime. Res64: A2FF8B776B0E8EFA Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:16] 765*2^1451566-1 is not prime. Res64: BF0773D177D7D04E Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:16] 773*2^1451566-1 is not prime. Res64: FE399968C5909FCD Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:17] 813*2^1451566-1 is not prime. Res64: CBF1F69A7619A80B Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:30] 825*2^1451566-1 is not prime. Res64: A37E8565F41F5653 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:30] 661*2^1451567-1 is not prime. Res64: 86EEE4A9A72DC3C0 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:31] 673*2^1451567-1 is not prime. Res64: DF2BCCFF7E4DAD6B Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:31] 735*2^1451567-1 is not prime. Res64: 7FDDFAEBB1F7EDF3 Time : 0.0 sec. user=mdettweiler [2017-04-14 06:52:32] 805*2^1451567-1 is not prime. Res64: 31713C4DCD8FD919 Time : 0.0 sec. user=juhehe [2017-04-14 07:04:06] 823*2^1451567-1 is not prime. Res64: 6FE5CAA0432DE250 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:14:20] 865*2^1451567-1 is not prime. Res64: A448225F2CB2CF49 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:14:21] 885*2^1451567-1 is not prime. Res64: A0F71EB60B273729 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:14:21] 895*2^1451567-1 is not prime. Res64: F9BB03071E591C27 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:14:21] 901*2^1451567-1 is not prime. Res64: F1916994EFFAE1E1 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:14:22] 909*2^1451567-1 is not prime. Res64: CACCC0BE8F9EB1A0 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:25:04] 973*2^1451567-1 is not prime. Res64: 98790C8DCA3E6D91 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:25:05] 979*2^1451567-1 is not prime. Res64: E71F51986390E4FE Time : 0.0 sec. user=mdettweiler [2017-04-14 07:25:05] 981*2^1451567-1 is not prime. Res64: FE1DE8C3DFAFC628 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:25:05] 663*2^1451568-1 is not prime. Res64: 70EDDAE37A49F2D9 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:25:06] 669*2^1451568-1 is not prime. Res64: 7BD3E5BD7E8BE836 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:18] 735*2^1451568-1 is not prime. Res64: AA6EB6A9D5D03DC1 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:19] 875*2^1451568-1 is not prime. Res64: 887282A638AAAFC8 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:19] 619*2^1451569-1 is not prime. Res64: 96269DB9B7307C4F Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:19] 637*2^1451569-1 is not prime. Res64: A662E3BDF9B44A6E Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:20] 661*2^1451569-1 is not prime. Res64: 6A503970C6FAE191 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:23] 667*2^1451569-1 is not prime. Res64: 2DEA953084FD8FA3 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:23] 721*2^1451569-1 is not prime. Res64: D46FE677263BD393 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:24] 765*2^1451569-1 is not prime. Res64: 43A261BF7726A4A4 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:24] 885*2^1451569-1 is not prime. Res64: 1D504A9BFD90F465 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:37:24] 651*2^1451570-1 is not prime. Res64: DFB75C9B905A4312 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:59:27] 773*2^1451570-1 is not prime. Res64: 30BDD3C95001194D Time : 0.0 sec. user=mdettweiler [2017-04-14 07:59:27] 783*2^1451570-1 is not prime. Res64: 94F3B8865E995023 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:59:28] 885*2^1451570-1 is not prime. Res64: FDF75C8E556AC9D4 Time : 0.0 sec. user=mdettweiler [2017-04-14 07:59:28] 887*2^1451570-1 is not prime. Res64: 27DCA2F4B5D65B0E Time : 0.0 sec. user=mdettweiler [2017-04-14 07:59:29] 977*2^1451570-1 is not prime. Res64: D55538343171C54D Time : 0.0 sec. user=mdettweiler [2017-04-14 08:10:11] 675*2^1451571-1 is not prime. Res64: 78DF40236C69CA1E Time : 0.0 sec. user=mdettweiler [2017-04-14 08:10:11] 735*2^1451571-1 is not prime. Res64: 7EB3C9A756D2DDBA Time : 0.0 sec. user=mdettweiler [2017-04-14 08:10:12] 903*2^1451571-1 is not prime. Res64: 69E5FF9FD78335F3 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:10:12] 955*2^1451571-1 is not prime. Res64: E893C762CD9B489E Time : 0.0 sec. user=mdettweiler [2017-04-14 08:10:12] 675*2^1451572-1 is not prime. Res64: E2C73CB1045923DC Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:21] 705*2^1451572-1 is not prime. Res64: E3DA106CE18D196C Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:22] 765*2^1451572-1 is not prime. Res64: 5B1BF40A15E5A95A Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:22] 819*2^1451572-1 is not prime. Res64: 3D17FB1F85ED994B Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:22] 875*2^1451572-1 is not prime. Res64: 4323A1141AFBD428 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:23] 965*2^1451572-1 is not prime. Res64: 57577F6532226456 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:27] 607*2^1451573-1 is not prime. Res64: 3293219041A78573 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:28] 615*2^1451573-1 is not prime. Res64: 90D76671277483C3 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:28] 631*2^1451573-1 is not prime. Res64: 6DE3F4566FB9C31B Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:29] 657*2^1451573-1 is not prime. Res64: 767818FC9B8C6CF4 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:22:29] 669*2^1451573-1 is not prime. Res64: 088E77886B126887 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:44:24] 727*2^1451573-1 is not prime. Res64: 893C3616DEE636F1 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:44:25] 729*2^1451573-1 is not prime. Res64: F7D69D3B52FD7507 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:44:25] 837*2^1451573-1 is not prime. Res64: CE9A0048639A2B78 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:44:26] 847*2^1451573-1 is not prime. Res64: B38C7ECC5C398B67 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:44:26] 605*2^1451574-1 is not prime. Res64: 41DE3F42CF160A30 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:55:20] 663*2^1451574-1 is not prime. Res64: 6FB32ED0F89ED7DF Time : 0.0 sec. user=mdettweiler [2017-04-14 08:55:21] 707*2^1451574-1 is not prime. Res64: 33EE63F8D504A510 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:55:21] 737*2^1451574-1 is not prime. Res64: DA7BBF27B2D56201 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:55:21] 765*2^1451574-1 is not prime. Res64: D304DE15ACAD7AA2 Time : 0.0 sec. user=mdettweiler [2017-04-14 08:55:22] 921*2^1451574-1 is not prime. Res64: 9D4845417B1188B0 Time : 0.0 sec. user=juhehe [2017-04-14 09:02:21] 717*2^1451576-1 is not prime. Res64: D63E0D49DDE1CD9A Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:21] 645*2^1451575-1 is not prime. Res64: 61B65D226275FB1F Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:21] 759*2^1451575-1 is not prime. Res64: DFC2BECD889B9C44 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:22] 763*2^1451575-1 is not prime. Res64: 0F08B556B46368CE Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:22] 855*2^1451575-1 is not prime. Res64: AE5120F852972496 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:22] 871*2^1451575-1 is not prime. Res64: 0343B0B9DE33C0B5 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:31] 961*2^1451575-1 is not prime. Res64: 7646D224FC5634D1 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:32] 969*2^1451575-1 is not prime. Res64: BB3DABD394F755FA Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:32] 623*2^1451576-1 is not prime. Res64: 30DB309C8FEF070A Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:32] 629*2^1451576-1 is not prime. Res64: 6D1AA2F4A11EF0A5 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:07:33] 699*2^1451576-1 is not prime. Res64: FF6595B5AB526509 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:29:29] 735*2^1451576-1 is not prime. Res64: 49DE8D6075593F61 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:29:30] 627*2^1451577-1 is not prime. Res64: 01E2DAE9A72E6BC5 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:29:30] 649*2^1451577-1 is not prime. Res64: F768A02D20A420FE Time : 0.0 sec. user=mdettweiler [2017-04-14 09:29:31] 661*2^1451577-1 is not prime. Res64: EC01CC0CBF4782C7 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:29:31] 669*2^1451577-1 is not prime. Res64: C902FB8E814AD172 Time : 0.0 sec. user=juhehe [2017-04-14 09:38:01] 731*2^1451578-1 is not prime. Res64: AFEB0337CAE24397 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:40:24] 681*2^1451577-1 is not prime. Res64: 21C1C4F5A414EA0D Time : 0.0 sec. user=mdettweiler [2017-04-14 09:40:24] 765*2^1451577-1 is not prime. Res64: 246B3B9A97D01D65 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:40:24] 777*2^1451577-1 is not prime. Res64: EEE155EB2B69F2AE Time : 0.0 sec. user=mdettweiler [2017-04-14 09:40:25] 865*2^1451577-1 is not prime. Res64: C2A0D7E6771033C3 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:40:25] 603*2^1451578-1 is not prime. Res64: 0B4C0808653B1C3A Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:31] 615*2^1451579-1 is not prime. Res64: 358FEE3B0373BA24 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:32] 733*2^1451579-1 is not prime. Res64: 0D02CA107E1A6D53 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:32] 741*2^1451579-1 is not prime. Res64: 47A2DFEE3A3B9206 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:33] 745*2^1451579-1 is not prime. Res64: C2E9473C52D18CA1 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:33] 759*2^1451579-1 is not prime. Res64: B8C9A78710C2AED2 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:38] 743*2^1451578-1 is not prime. Res64: C97FED3B97CB6979 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:38] 755*2^1451578-1 is not prime. Res64: E49AFB5B865CA09B Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:39] 791*2^1451578-1 is not prime. Res64: D6687FD245040D0B Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:39] 845*2^1451578-1 is not prime. Res64: 4B3159B90C8860E1 Time : 0.0 sec. user=mdettweiler [2017-04-14 09:52:40] 1001*2^1451578-1 is not prime. Res64: E84798F1771917BA Time : 0.0 sec. user=mdettweiler [2017-04-14 10:14:32] 789*2^1451579-1 is not prime. Res64: 88E4608B866E8986 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:14:33] 843*2^1451579-1 is not prime. Res64: 988E847AA7B318ED Time : 0.0 sec. user=mdettweiler [2017-04-14 10:14:33] 883*2^1451579-1 is not prime. Res64: D542D7610D112C31 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:14:34] 921*2^1451579-1 is not prime. Res64: 48529B70B2B95D5B Time : 0.0 sec. user=mdettweiler [2017-04-14 10:14:34] 943*2^1451579-1 is not prime. Res64: D4B22FADC8CF4282 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:25:22] 979*2^1451579-1 is not prime. Res64: 1210C8B648E3E783 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:25:22] 689*2^1451580-1 is not prime. Res64: 6EA737F44F031A8E Time : 0.0 sec. user=mdettweiler [2017-04-14 10:25:23] 699*2^1451580-1 is not prime. Res64: A350BA1609B2A4C7 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:25:23] 719*2^1451580-1 is not prime. Res64: 556ADED80B13FC14 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:25:23] 753*2^1451580-1 is not prime. Res64: 9F2D585A7B320615 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:31] 741*2^1451581-1 is not prime. Res64: E0798BDC877D3DE3 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:31] 773*2^1451580-1 is not prime. Res64: F0C482A4C53DF099 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 835*2^1451581-1 is not prime. Res64: 33EED08C719FAFF3 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 789*2^1451580-1 is not prime. Res64: 08FB1BACACE8F40C Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 877*2^1451581-1 is not prime. Res64: 9CE49430D9CADA88 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 863*2^1451580-1 is not prime. Res64: 2F28571ED4B94E4C Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 743*2^1451582-1 is not prime. Res64: 09F91575E1FC1871 Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:32] 675*2^1451581-1 is not prime. Res64: A1772DAAA450823B Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:33] 755*2^1451582-1 is not prime. Res64: 8ACDD53A9903A5AE Time : 0.0 sec. user=mdettweiler [2017-04-14 10:37:33] 687*2^1451581-1 is not prime. Res64: F34CEAAA0C57DC5B Time : 0.0 sec. user=juhehe [2017-04-14 10:58:28] 985*2^1451583-1 is not prime. Res64: 161A73E58B7C0B1A Time : 0.0 sec. user=mdettweiler [2017-04-14 10:59:35] 831*2^1451582-1 is not prime. Res64: C1CC0EDCB2F7BF3E Time : 0.0 sec. user=mdettweiler [2017-04-14 10:59:35] 885*2^1451582-1 is not prime. Res64: A9106B6794C50F4B Time : 0.0 sec. user=mdettweiler [2017-04-14 10:59:36] 893*2^1451582-1 is not prime. Res64: C853A5251DD5C30C Time : 0.0 sec. user=mdettweiler [2017-04-14 10:59:36] 693*2^1451583-1 is not prime. Res64: FC7B73B8DFF41F9A Time : 0.0 sec. user=mdettweiler [2017-04-14 10:59:37] 805*2^1451583-1 is not prime. Res64: B50C2D47BE618A17 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:10:30] 657*2^1451584-1 is not prime. Res64: 0789673E3C8B5CA9 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:10:31] 747*2^1451584-1 is not prime. Res64: C93254391C520135 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:10:31] 833*2^1451584-1 is not prime. Res64: CE9AC5BDDF9926FA Time : 0.0 sec. user=mdettweiler [2017-04-14 11:10:32] 863*2^1451584-1 is not prime. Res64: AEFCE7F0803AD327 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:10:32] 875*2^1451584-1 is not prime. Res64: DD32523A55BCAFC3 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:36] 917*2^1451584-1 is not prime. Res64: 83A4EB4DB99BA328 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:36] 989*2^1451584-1 is not prime. Res64: 6EF224FDBC73A504 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:37] 993*2^1451584-1 is not prime. Res64: 049E40AF278AF70E Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:37] 651*2^1451585-1 is not prime. Res64: 747A39B5EC862574 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:38] 697*2^1451585-1 is not prime. Res64: B4DF45A8753D6698 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:41] 787*2^1451585-1 is not prime. Res64: C45D11AD4065600F Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:42] 799*2^1451585-1 is not prime. Res64: E604E8300E9D73FD Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:42] 801*2^1451585-1 is not prime. Res64: 25F53E905DC443B1 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:43] 855*2^1451585-1 is not prime. Res64: 36FFE655AF0BB606 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:22:43] 683*2^1451586-1 is not prime. Res64: BE1EB5998F5C0590 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:44:35] 737*2^1451586-1 is not prime. Res64: 4F2C824AAC5752F9 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:44:35] 807*2^1451586-1 is not prime. Res64: 68AED97CA0E201F9 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:44:35] 815*2^1451586-1 is not prime. Res64: 797DCD5D61C34E65 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:44:36] 821*2^1451586-1 is not prime. Res64: F19CB86CC009F162 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:44:36] 861*2^1451586-1 is not prime. Res64: EC397B61D9748668 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:55:35] 917*2^1451586-1 is not prime. Res64: E92F039125F91350 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:55:35] 699*2^1451587-1 is not prime. Res64: BE2F42AFB03E63E2 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:55:36] 733*2^1451587-1 is not prime. Res64: 9273DFCB3EDD64E2 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:55:36] 859*2^1451587-1 is not prime. Res64: 1B70448484FF7CE5 Time : 0.0 sec. user=mdettweiler [2017-04-14 11:55:36] 985*2^1451587-1 is not prime. Res64: D7B3994C155ED4A2 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:53] 603*2^1451588-1 is not prime. Res64: 81EACC2BBBDCE631 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:53] 869*2^1451588-1 is not prime. Res64: C77D644CE999EDE6 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:54] 885*2^1451588-1 is not prime. Res64: 678E6982C7C4B3C4 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:54] 915*2^1451588-1 is not prime. Res64: 33D2AE50B87A2DAF Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:55] 923*2^1451588-1 is not prime. Res64: 13DFC2BAE21968EA Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:55] 935*2^1451588-1 is not prime. Res64: 5360D09A94AD28EB Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:55] 963*2^1451588-1 is not prime. Res64: D99EF33798F08288 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:56] 829*2^1451589-1 is not prime. Res64: A9282A7BFD8DD729 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:56] 961*2^1451589-1 is not prime. Res64: 875498350E11AC3B Time : 0.0 sec. user=mdettweiler [2017-04-14 12:07:57] 605*2^1451590-1 is not prime. Res64: C8A78A5812FC7D40 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:30:33] 687*2^1451590-1 is not prime. Res64: CC504BF7CA5D80C4 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:30:34] 713*2^1451590-1 is not prime. Res64: A73931B0DF75F9DB Time : 0.0 sec. user=mdettweiler [2017-04-14 12:30:34] 777*2^1451590-1 is not prime. Res64: 603709047E83EACE Time : 0.0 sec. user=mdettweiler [2017-04-14 12:30:35] 867*2^1451590-1 is not prime. Res64: 77FD964FE94B7A56 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:30:35] 917*2^1451590-1 is not prime. Res64: BEB4590709682D66 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:41:37] 981*2^1451590-1 is not prime. Res64: F2450DF4914258CD Time : 0.0 sec. user=mdettweiler [2017-04-14 12:41:37] 661*2^1451591-1 is not prime. Res64: 7E7C5C4CF4B025CB Time : 0.0 sec. user=mdettweiler [2017-04-14 12:41:38] 663*2^1451591-1 is not prime. Res64: C2E709451B96CDD2 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:41:38] 735*2^1451591-1 is not prime. Res64: 998CC41884538E8E Time : 0.0 sec. user=mdettweiler [2017-04-14 12:41:39] 745*2^1451591-1 is not prime. Res64: E815235D8D23A9CC Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:32] 829*2^1451591-1 is not prime. Res64: 865B32C2C8B6881B Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:32] 939*2^1451591-1 is not prime. Res64: 0EC49421EA8C38AC Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:33] 627*2^1451592-1 is not prime. Res64: BBF813925F45FDE4 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:33] 653*2^1451592-1 is not prime. Res64: 8E002C9E71132722 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:34] 693*2^1451592-1 is not prime. Res64: D362FE97300BBDEE Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:46] 753*2^1451592-1 is not prime. Res64: 00BC354EE566AFD7 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:46] 809*2^1451592-1 is not prime. Res64: 95FE4E4C351B00E8 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:46] 679*2^1451593-1 is not prime. Res64: F5811BF96799BB08 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:47] 741*2^1451593-1 is not prime. Res64: 7F4CC30940642BB2 Time : 0.0 sec. user=mdettweiler [2017-04-14 12:53:47] 811*2^1451593-1 is not prime. Res64: 41938CF54065C8FF Time : 0.0 sec. user=juhehe [2017-04-14 13:00:36] 897*2^1451593-1 is not prime. Res64: 9F1715C728AC9659 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:15:39] 635*2^1451594-1 is not prime. Res64: D49DFAED07635574 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:15:39] 711*2^1451594-1 is not prime. Res64: F26D363A4FDD4B2D Time : 0.0 sec. user=mdettweiler [2017-04-14 13:15:40] 755*2^1451594-1 is not prime. Res64: 0D24A2025526FEC5 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:15:40] 815*2^1451594-1 is not prime. Res64: 082DEDC773965F8C Time : 0.0 sec. user=mdettweiler [2017-04-14 13:15:40] 861*2^1451594-1 is not prime. Res64: 71C81B59AA623118 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:26:56] 875*2^1451594-1 is not prime. Res64: 0316C26D061209AB Time : 0.0 sec. user=mdettweiler [2017-04-14 13:26:56] 921*2^1451594-1 is not prime. Res64: BD9985ACEE065912 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:26:57] 651*2^1451595-1 is not prime. Res64: 5E067771FCE890DA Time : 0.0 sec. user=mdettweiler [2017-04-14 13:26:57] 705*2^1451595-1 is not prime. Res64: 727FD970EB20869C Time : 0.0 sec. user=mdettweiler [2017-04-14 13:26:58] 709*2^1451595-1 is not prime. Res64: BC5F57F63272F23F Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:34] 781*2^1451595-1 is not prime. Res64: 691EDB684F2F53BC Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:34] 861*2^1451595-1 is not prime. Res64: B2FA2CE5C3FA8158 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:35] 871*2^1451595-1 is not prime. Res64: 79320459E4B2EDB5 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:35] 991*2^1451595-1 is not prime. Res64: 184B9EB5FDF394E5 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:35] 999*2^1451595-1 is not prime. Res64: 4D2A5C7E347A2944 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:46] 675*2^1451596-1 is not prime. Res64: 2FC98D35C0F577E6 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:46] 699*2^1451596-1 is not prime. Res64: 295AB7B5AEAD72C3 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:47] 705*2^1451596-1 is not prime. Res64: B6097CD3D4017284 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:47] 759*2^1451596-1 is not prime. Res64: DB4A9AF0B2E005A6 Time : 0.0 sec. user=mdettweiler [2017-04-14 13:38:47] 857*2^1451596-1 is not prime. Res64: 4ADD93D792BBEBFF Time : 0.0 sec. user=mdettweiler [2017-04-14 14:00:49] 887*2^1451596-1 is not prime. Res64: 2E09CCBBEAEB63B5 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:00:50] 953*2^1451596-1 is not prime. Res64: 05C23CD303341AE5 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:00:51] 645*2^1451597-1 is not prime. Res64: B53413CE86D263A0 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:00:52] 727*2^1451597-1 is not prime. Res64: 8D8763A0BB213A2F Time : 0.0 sec. user=mdettweiler [2017-04-14 14:00:53] 777*2^1451597-1 is not prime. Res64: EB75E3094EBFF27F Time : 0.0 sec. user=mdettweiler [2017-04-14 14:11:57] 871*2^1451597-1 is not prime. Res64: C95CA2EFFAE6D93E Time : 0.0 sec. user=mdettweiler [2017-04-14 14:11:58] 627*2^1451598-1 is not prime. Res64: 1356B73C69801DAA Time : 0.0 sec. user=mdettweiler [2017-04-14 14:11:58] 683*2^1451598-1 is not prime. Res64: 3C7C585927C2DA13 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:11:59] 693*2^1451598-1 is not prime. Res64: 41C1CA7C2E512BCE Time : 0.0 sec. user=mdettweiler [2017-04-14 14:11:59] 863*2^1451598-1 is not prime. Res64: FCEE0E9F032AB16B Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:43] 867*2^1451598-1 is not prime. Res64: 6D694983D5C43F42 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:43] 893*2^1451598-1 is not prime. Res64: 9E76A637EC4705F6 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:44] 663*2^1451599-1 is not prime. Res64: 016AD8201307708B Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:44] 675*2^1451599-1 is not prime. Res64: 89A8774F2546D031 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:45] 703*2^1451599-1 is not prime. Res64: C06FB678DA12BF95 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:45] 751*2^1451599-1 is not prime. Res64: C9A61B106D3A228D Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:47] 909*2^1451599-1 is not prime. Res64: 93A5E6190A1370A1 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:47] 933*2^1451599-1 is not prime. Res64: 2285EAA1143E33F1 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:48] 973*2^1451599-1 is not prime. Res64: 52B33303002A2B2E Time : 0.0 sec. user=mdettweiler [2017-04-14 14:23:48] 979*2^1451599-1 is not prime. Res64: B831436DCC8BE91B Time : 0.0 sec. user=mdettweiler [2017-04-14 14:46:11] 669*2^1451600-1 is not prime. Res64: 20FD2F1E67328C6C Time : 0.0 sec. user=mdettweiler [2017-04-14 14:46:12] 689*2^1451600-1 is not prime. Res64: 564E47C17FDD56E0 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:46:12] 713*2^1451600-1 is not prime. Res64: 4BB34E993A980712 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:46:13] 825*2^1451600-1 is not prime. Res64: 0AFD29A9C3A49BD7 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:46:13] 735*2^1451601-1 is not prime. Res64: 64C450594B1AE4B1 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:57:04] 747*2^1451601-1 is not prime. Res64: 0423DE4F55BC962F Time : 0.0 sec. user=mdettweiler [2017-04-14 14:57:04] 847*2^1451601-1 is not prime. Res64: E06E5BA4235E7ECE Time : 0.0 sec. user=mdettweiler [2017-04-14 14:57:05] 921*2^1451601-1 is not prime. Res64: 14F49D1DDCD5779E Time : 0.0 sec. user=mdettweiler [2017-04-14 14:57:05] 633*2^1451602-1 is not prime. Res64: B2C8930ECC9AE792 Time : 0.0 sec. user=mdettweiler [2017-04-14 14:57:05] 635*2^1451602-1 is not prime. Res64: 7A1AFFC64F33EA84 Time : 0.0 sec. user=juhehe [2017-04-14 15:00:33] 653*2^1451602-1 is not prime. Res64: 7626BA9C8C2CA014 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:46] 825*2^1451602-1 is not prime. Res64: 113BD98C65598904 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:46] 831*2^1451602-1 is not prime. Res64: 4166765390F2466E Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:47] 857*2^1451602-1 is not prime. Res64: 3C6080DCC0DBC936 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:48] 941*2^1451602-1 is not prime. Res64: A4088F4946B41F02 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:48] 663*2^1451604-1 is not prime. Res64: 95DB4D4128042979 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:51] 701*2^1451602-1 is not prime. Res64: C8591D6B7898F796 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:51] 705*2^1451602-1 is not prime. Res64: AD00B0E634B28E28 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:52] 713*2^1451602-1 is not prime. Res64: 159FAD6AE0E39220 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:52] 765*2^1451602-1 is not prime. Res64: 15D9850EBCE8D618 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:08:53] 813*2^1451602-1 is not prime. Res64: D50950B1FBD14F83 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:31:20] 707*2^1451604-1 is not prime. Res64: 98659FB49A94624C Time : 0.0 sec. user=mdettweiler [2017-04-14 15:31:20] 857*2^1451604-1 is not prime. Res64: 6073B9D69FDB476D Time : 0.0 sec. user=mdettweiler [2017-04-14 15:31:20] 873*2^1451604-1 is not prime. Res64: 587A6FD5588FD98A Time : 0.0 sec. user=mdettweiler [2017-04-14 15:31:21] 945*2^1451604-1 is not prime. Res64: E4AA6273CD62E750 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:31:21] 645*2^1451605-1 is not prime. Res64: E711041CF805FD71 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:42:07] 675*2^1451605-1 is not prime. Res64: 111D453E90B94FDC Time : 0.0 sec. user=mdettweiler [2017-04-14 15:42:08] 729*2^1451605-1 is not prime. Res64: 4BFE026712A1AA6A Time : 0.0 sec. user=mdettweiler [2017-04-14 15:42:08] 861*2^1451605-1 is not prime. Res64: 1D377E854CC4776B Time : 0.0 sec. user=mdettweiler [2017-04-14 15:42:08] 889*2^1451605-1 is not prime. Res64: 94D79E4782A5E20E Time : 0.0 sec. user=mdettweiler [2017-04-14 15:42:09] 915*2^1451605-1 is not prime. Res64: 953DA856086ADBFC Time : 0.0 sec. user=mdettweiler [2017-04-14 15:53:54] 957*2^1451605-1 is not prime. Res64: C26A4E4A00A863D5 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:53:55] 645*2^1451606-1 is not prime. Res64: E1D8F23A336D1D74 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:53:55] 675*2^1451606-1 is not prime. Res64: A1DC76B75CA2C687 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:53:55] 693*2^1451606-1 is not prime. Res64: 3FF3306DEFF3C0DF Time : 0.0 sec. user=mdettweiler [2017-04-14 15:53:56] 815*2^1451606-1 is not prime. Res64: CB9A2417D2A0429C Time : 0.0 sec. user=mdettweiler [2017-04-14 15:54:02] 1001*2^1451606-1 is not prime. Res64: 51899AC543BB0210 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:54:02] 615*2^1451607-1 is not prime. Res64: 0D7216E2FB50A65E Time : 0.0 sec. user=mdettweiler [2017-04-14 15:54:03] 691*2^1451607-1 is not prime. Res64: F1E7BD6054EB81C4 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:54:03] 919*2^1451607-1 is not prime. Res64: 80646875DD614F47 Time : 0.0 sec. user=mdettweiler [2017-04-14 15:54:04] 931*2^1451607-1 is not prime. Res64: FABBC7A954922E8E Time : 0.0 sec. user=mdettweiler [2017-04-14 16:16:24] 933*2^1451607-1 is not prime. Res64: 273121D0527976AF Time : 0.0 sec. user=mdettweiler [2017-04-14 16:16:24] 945*2^1451607-1 is not prime. Res64: 165A0B83064E335C Time : 0.0 sec. user=mdettweiler [2017-04-14 16:16:24] 951*2^1451607-1 is not prime. Res64: 169C71FCAB374CCD Time : 0.0 sec. user=mdettweiler [2017-04-14 16:16:25] 957*2^1451608-1 is not prime. Res64: 73E868E05560EDC2 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:16:25] 637*2^1451609-1 is not prime. Res64: A0C01FCA7C9FEE4B Time : 0.0 sec. user=mdettweiler [2017-04-14 16:27:12] 691*2^1451609-1 is not prime. Res64: B58F32297014EF7E Time : 0.0 sec. user=mdettweiler [2017-04-14 16:27:13] 829*2^1451609-1 is not prime. Res64: 1A1F0CB81FEC90F6 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:27:13] 931*2^1451609-1 is not prime. Res64: 5862147D5659261C Time : 0.0 sec. user=mdettweiler [2017-04-14 16:27:13] 955*2^1451609-1 is not prime. Res64: E2B544E196A32C60 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:27:14] 633*2^1451610-1 is not prime. Res64: 0F4F0EE098DD6E77 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:43] 657*2^1451610-1 is not prime. Res64: 0ED8C687E063B13E Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:43] 695*2^1451610-1 is not prime. Res64: ED10C717B010335F Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:44] 713*2^1451610-1 is not prime. Res64: BE71E323F849DA0F Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:44] 755*2^1451610-1 is not prime. Res64: 492EE9DB98A3F0FC Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:45] 843*2^1451610-1 is not prime. Res64: D3516AD26280D64B Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:56] 921*2^1451610-1 is not prime. Res64: BEF95B9C66C954F4 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:57] 945*2^1451610-1 is not prime. Res64: A37FFD370DAD8545 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:57] 715*2^1451611-1 is not prime. Res64: A6D7A85DC77F1AD2 Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:58] 783*2^1451611-1 is not prime. Res64: E4EA7CB7BBCAC27B Time : 0.0 sec. user=mdettweiler [2017-04-14 16:38:58] 793*2^1451611-1 is not prime. Res64: 9EF19DBE3AAD6006 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:01:37] 961*2^1451611-1 is not prime. Res64: 4D5A7371433A783B Time : 0.0 sec. user=mdettweiler [2017-04-14 17:01:38] 647*2^1451612-1 is not prime. Res64: AE8568601D4D161B Time : 0.0 sec. user=mdettweiler [2017-04-14 17:01:39] 693*2^1451612-1 is not prime. Res64: 3E08FAAE3E1868FE Time : 0.0 sec. user=mdettweiler [2017-04-14 17:01:40] 857*2^1451612-1 is not prime. Res64: 9AE2257067E3CE9C Time : 0.0 sec. user=mdettweiler [2017-04-14 17:01:41] 607*2^1451613-1 is not prime. Res64: 7035019C903E17C8 Time : 0.0 sec. user=juhehe [2017-04-14 17:02:30] 621*2^1451613-1 is not prime. Res64: 2AB08FD970172EE2 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:12:24] 649*2^1451613-1 is not prime. Res64: 504CAFAA9B4BA0CB Time : 0.0 sec. user=mdettweiler [2017-04-14 17:12:24] 745*2^1451613-1 is not prime. Res64: 8F379A08D951F100 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:12:25] 787*2^1451613-1 is not prime. Res64: 01CA60860014E95C Time : 0.0 sec. user=mdettweiler [2017-04-14 17:12:25] 915*2^1451613-1 is not prime. Res64: 300A19D72EC0A66A Time : 0.0 sec. user=mdettweiler [2017-04-14 17:12:26] 987*2^1451613-1 is not prime. Res64: 9D5AE3FCE4B1E0BF Time : 0.0 sec. user=mdettweiler [2017-04-14 17:23:54] 665*2^1451614-1 is not prime. Res64: F5234267718B9FDB Time : 0.0 sec. user=mdettweiler [2017-04-14 17:23:54] 717*2^1451614-1 is not prime. Res64: FCC600CBB01B73D3 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:23:54] 737*2^1451614-1 is not prime. Res64: 906F67EF55B6F746 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:23:55] 783*2^1451614-1 is not prime. Res64: 80A5F3E1BA181E33 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:23:55] 915*2^1451614-1 is not prime. Res64: 030B9F29940FFEB0 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:24:15] 993*2^1451614-1 is not prime. Res64: 75BC4BD0AD1C81A2 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:24:15] 651*2^1451615-1 is not prime. Res64: BA1271BCCE096BB0 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:24:15] 735*2^1451615-1 is not prime. Res64: 4E063E72C015C6CB Time : 0.0 sec. user=mdettweiler [2017-04-14 17:24:16] 753*2^1451615-1 is not prime. Res64: 5D5F544A9A3CFD38 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:24:16] 859*2^1451615-1 is not prime. Res64: E20D3547E1C20C9B Time : 0.0 sec. user=mdettweiler [2017-04-14 17:46:58] 883*2^1451615-1 is not prime. Res64: A75E8AAFFE68B059 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:46:58] 909*2^1451615-1 is not prime. Res64: 2E4FEC8EAC0B6726 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:46:59] 913*2^1451615-1 is not prime. Res64: E09FDFCA68FB5837 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:46:59] 939*2^1451615-1 is not prime. Res64: E42E3ADBC3917401 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:47:00] 969*2^1451615-1 is not prime. Res64: 9B2DB836327C162B Time : 0.0 sec. user=mdettweiler [2017-04-14 17:57:38] 973*2^1451615-1 is not prime. Res64: 6528600216C2493E Time : 0.0 sec. user=mdettweiler [2017-04-14 17:57:39] 815*2^1451616-1 is not prime. Res64: 0CD937AD0B07AD39 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:57:39] 857*2^1451616-1 is not prime. Res64: 1F4B32882AE2B947 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:57:40] 615*2^1451617-1 is not prime. Res64: 600DD4D53DB21D12 Time : 0.0 sec. user=mdettweiler [2017-04-14 17:57:40] 649*2^1451617-1 is not prime. Res64: FBE1431B180D5E8A Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:02] 747*2^1451617-1 is not prime. Res64: CA1A1C15BEE57655 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:02] 833*2^1451618-1 is not prime. Res64: 2BBBF1491ACDEBA7 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:03] 837*2^1451618-1 is not prime. Res64: 3BFEEDAC2016756C Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:03] 977*2^1451618-1 is not prime. Res64: A585FF2271BF1E60 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:03] 993*2^1451618-1 is not prime. Res64: 36D4F20719DCE982 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:28] 649*2^1451619-1 is not prime. Res64: 615216B87A646C6A Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:28] 711*2^1451619-1 is not prime. Res64: 7B9E494D7A69820A Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:29] 769*2^1451619-1 is not prime. Res64: 2288BD7F76D0CF65 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:29] 793*2^1451619-1 is not prime. Res64: 1A3B4B228A018925 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:09:30] 891*2^1451619-1 is not prime. Res64: 530EA958758CFF5E Time : 0.0 sec. user=mdettweiler [2017-04-14 18:32:12] 985*2^1451619-1 is not prime. Res64: AE44E05B7A048B87 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:32:13] 609*2^1451620-1 is not prime. Res64: DE4EB0A9E3A4DFB8 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:32:13] 635*2^1451620-1 is not prime. Res64: 1502AB3567E556BD Time : 0.0 sec. user=mdettweiler [2017-04-14 18:32:13] 839*2^1451620-1 is not prime. Res64: 6C3678C741F723B7 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:32:14] 927*2^1451620-1 is not prime. Res64: 1B34648491060073 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:42:44] 995*2^1451620-1 is not prime. Res64: 3B7399725FA740B0 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:42:44] 621*2^1451621-1 is not prime. Res64: 9D12F42FCCFCA86B Time : 0.0 sec. user=mdettweiler [2017-04-14 18:42:45] 855*2^1451621-1 is not prime. Res64: F1A6695CCA4214FB Time : 0.0 sec. user=mdettweiler [2017-04-14 18:42:45] 879*2^1451621-1 is not prime. Res64: 2C46064027160245 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:42:46] 925*2^1451621-1 is not prime. Res64: EE9230D8397E0A67 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:14] 635*2^1451622-1 is not prime. Res64: C57DDF32C76022F1 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:14] 741*2^1451622-1 is not prime. Res64: BD0692C4A1FDD428 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:15] 873*2^1451622-1 is not prime. Res64: 70C1FA2856EAD362 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:15] 887*2^1451622-1 is not prime. Res64: 7B5A77E7DE0A62CB Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:16] 983*2^1451622-1 is not prime. Res64: 42AC49B26497EF1A Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:31] 673*2^1451623-1 is not prime. Res64: 1D4DCE4EF706D6BC Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:31] 681*2^1451623-1 is not prime. Res64: F3986C6824A6CA00 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:31] 741*2^1451623-1 is not prime. Res64: 47ED03EC8E6C6305 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:32] 855*2^1451623-1 is not prime. Res64: C62952CB87A07667 Time : 0.0 sec. user=mdettweiler [2017-04-14 18:54:32] 891*2^1451623-1 is not prime. Res64: D6C9E638F223D038 Time : 0.0 sec. user=juhehe [2017-04-14 19:03:12] 913*2^1451623-1 is not prime. Res64: 56BA4F752AD30D39 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:17:12] 999*2^1451623-1 is not prime. Res64: 9455B4CB3701B612 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:17:12] 725*2^1451624-1 is not prime. Res64: 24FDF755B3B84D30 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:17:13] 789*2^1451624-1 is not prime. Res64: 87C015AC853D889A Time : 0.0 sec. user=mdettweiler [2017-04-14 19:17:14] 803*2^1451624-1 is not prime. Res64: C1DF5A597747FD47 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:17:14] 837*2^1451624-1 is not prime. Res64: D18882E24F317EFE Time : 0.0 sec. user=mdettweiler [2017-04-14 19:27:46] 917*2^1451624-1 is not prime. Res64: 49F8F62158889EA5 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:27:46] 607*2^1451625-1 is not prime. Res64: E9C8F47DA3DDEE21 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:27:47] 649*2^1451625-1 is not prime. Res64: AB9F8F442724002B Time : 0.0 sec. user=mdettweiler [2017-04-14 19:27:47] 691*2^1451625-1 is not prime. Res64: FF6862D35A1BBDAA Time : 0.0 sec. user=mdettweiler [2017-04-14 19:27:48] 741*2^1451625-1 is not prime. Res64: 6ADF1521853B99F3 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:26] 849*2^1451625-1 is not prime. Res64: 6F0ED043134BA5F6 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:27] 877*2^1451625-1 is not prime. Res64: 051151D31D8E3899 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:27] 979*2^1451625-1 is not prime. Res64: 4613A9A4694F5F9E Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:28] 677*2^1451626-1 is not prime. Res64: 0077674F999D904E Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:28] 801*2^1451626-1 is not prime. Res64: F1F6649484EE4290 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:41] 813*2^1451626-1 is not prime. Res64: 1D08076232B1B6CE Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:42] 621*2^1451627-1 is not prime. Res64: 7BBCE66505F12513 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:42] 663*2^1451627-1 is not prime. Res64: 2875073C5A7D380B Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:43] 673*2^1451627-1 is not prime. Res64: 8E34CF354E9A6134 Time : 0.0 sec. user=mdettweiler [2017-04-14 19:39:43] 813*2^1451627-1 is not prime. Res64: 4B662765BAEB8962 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:02:21] 915*2^1451627-1 is not prime. Res64: FC076E8D1227AD8B Time : 0.0 sec. user=mdettweiler [2017-04-14 20:02:22] 979*2^1451627-1 is not prime. Res64: 8BA1BE71C74A8013 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:02:23] 991*2^1451627-1 is not prime. Res64: 15B5C13AED68F8DA Time : 0.0 sec. user=mdettweiler [2017-04-14 20:02:25] 935*2^1451628-1 is not prime. Res64: D261A5688D417EBD Time : 0.0 sec. user=mdettweiler [2017-04-14 20:02:26] 959*2^1451628-1 is not prime. Res64: DA1489036A41451F Time : 0.0 sec. user=mdettweiler [2017-04-14 20:13:08] 993*2^1451628-1 is not prime. Res64: EF6F7535E1413840 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:13:09] 625*2^1451629-1 is not prime. Res64: 3FCCB05885296DFE Time : 0.0 sec. user=mdettweiler [2017-04-14 20:13:09] 661*2^1451629-1 is not prime. Res64: 080FA15F24AC7C0A Time : 0.0 sec. user=mdettweiler [2017-04-14 20:13:10] 771*2^1451629-1 is not prime. Res64: 4796836231AC6EF7 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:13:10] 811*2^1451629-1 is not prime. Res64: 43BEAD8925BBDEA9 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:38] 985*2^1451629-1 is not prime. Res64: AECF7995AB7780F2 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:38] 675*2^1451630-1 is not prime. Res64: F099832C9B955D68 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:39] 753*2^1451630-1 is not prime. Res64: 10F85D936E7AD101 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:39] 813*2^1451630-1 is not prime. Res64: 972EB846F44DC148 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:40] 833*2^1451630-1 is not prime. Res64: 19047DD4639F5624 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:47] 851*2^1451630-1 is not prime. Res64: 033757AEC8B7E326 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:47] 885*2^1451630-1 is not prime. Res64: B7E25A8BBE76184B Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:48] 911*2^1451630-1 is not prime. Res64: 0992B441BE7C971A Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:48] 927*2^1451630-1 is not prime. Res64: 7D8EAE87672AFADB Time : 0.0 sec. user=mdettweiler [2017-04-14 20:24:49] 935*2^1451630-1 is not prime. Res64: D6AB621B6DA01D80 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:47:53] 981*2^1451630-1 is not prime. Res64: 2D0CCF5D70760C3D Time : 0.0 sec. user=mdettweiler [2017-04-14 20:47:53] 1001*2^1451630-1 is not prime. Res64: F6E0EB8F30E43D85 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:47:54] 625*2^1451631-1 is not prime. Res64: 5A1412566D0CE5C0 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:47:54] 703*2^1451631-1 is not prime. Res64: 34175981E120094B Time : 0.0 sec. user=mdettweiler [2017-04-14 20:47:55] 745*2^1451631-1 is not prime. Res64: AB753CCDC30587F4 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:58:20] 783*2^1451631-1 is not prime. Res64: F3165CABF9245EB8 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:58:20] 849*2^1451631-1 is not prime. Res64: 4236B46173FEDCEA Time : 0.0 sec. user=mdettweiler [2017-04-14 20:58:20] 975*2^1451631-1 is not prime. Res64: 31B88C5D59CF5AD4 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:58:21] 605*2^1451632-1 is not prime. Res64: 7108C661D8628C15 Time : 0.0 sec. user=mdettweiler [2017-04-14 20:58:21] 677*2^1451632-1 is not prime. Res64: 9EB210A520FE3582 Time : 0.0 sec. user=juhehe [2017-04-14 21:02:58] 713*2^1451632-1 is not prime. Res64: 43D3237B800AB6E5 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:09:35] 765*2^1451632-1 is not prime. Res64: F29F676F853FBFFC Time : 0.0 sec. user=mdettweiler [2017-04-14 21:09:36] 855*2^1451632-1 is not prime. Res64: DCD60015C5AFF98C Time : 0.0 sec. user=mdettweiler [2017-04-14 21:09:36] 869*2^1451632-1 is not prime. Res64: EC3130958E92ADD4 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:09:37] 957*2^1451632-1 is not prime. Res64: 9773B015D2B16765 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:09:37] 959*2^1451632-1 is not prime. Res64: 07BE9F186C142013 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:10:05] 619*2^1451633-1 is not prime. Res64: FACDDB9F40676471 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:10:05] 747*2^1451633-1 is not prime. Res64: 46607D118D74BED0 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:10:06] 787*2^1451633-1 is not prime. Res64: 65DD2E7920F0DB8C Time : 0.0 sec. user=mdettweiler [2017-04-14 21:10:06] 871*2^1451633-1 is not prime. Res64: 5B88748E31D0F314 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:10:06] 945*2^1451633-1 is not prime. Res64: 4AB20872A511D3FA Time : 0.0 sec. user=mdettweiler [2017-04-14 21:33:06] 987*2^1451633-1 is not prime. Res64: 6A0CFFA3C12C8124 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:33:07] 663*2^1451634-1 is not prime. Res64: 6139F4CF0875D5E7 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:33:07] 731*2^1451634-1 is not prime. Res64: F0AE49A7CDB98C8E Time : 0.0 sec. user=mdettweiler [2017-04-14 21:33:07] 791*2^1451634-1 is not prime. Res64: 3C7EB385876824B3 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:33:08] 803*2^1451634-1 is not prime. Res64: F113B5657471BB6D Time : 0.0 sec. user=juhehe [2017-04-14 21:43:02] 829*2^1451635-1 is not prime. Res64: 7828823D9C306ACA Time : 0.0 sec. user=mdettweiler [2017-04-14 21:43:32] 851*2^1451634-1 is not prime. Res64: F11B986718BCC8F5 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:43:32] 945*2^1451634-1 is not prime. Res64: 5E8B7291568107FA Time : 0.0 sec. user=mdettweiler [2017-04-14 21:43:33] 673*2^1451635-1 is not prime. Res64: 04520DCCD94ACB1E Time : 0.0 sec. user=mdettweiler [2017-04-14 21:43:33] 693*2^1451635-1 is not prime. Res64: DA04BFFCC48CF10C Time : 0.0 sec. user=mdettweiler [2017-04-14 21:43:34] 751*2^1451635-1 is not prime. Res64: 3FD07C38C2D0BC96 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:54:47] 853*2^1451635-1 is not prime. Res64: 93A147798A41F83F Time : 0.0 sec. user=mdettweiler [2017-04-14 21:54:47] 979*2^1451635-1 is not prime. Res64: B08548420AFCC7F5 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:54:47] 617*2^1451636-1 is not prime. Res64: AE8D7C60B789C0C7 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:54:48] 635*2^1451636-1 is not prime. Res64: F74A4BD00E9B7FC5 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:54:48] 693*2^1451636-1 is not prime. Res64: C1BA36E27F147876 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:55:23] 875*2^1451636-1 is not prime. Res64: 7850E708030ED97E Time : 0.0 sec. user=mdettweiler [2017-04-14 21:55:23] 923*2^1451636-1 is not prime. Res64: 24EC8B60BDF99B80 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:55:24] 927*2^1451636-1 is not prime. Res64: EAA9B1FBE700E918 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:55:24] 999*2^1451636-1 is not prime. Res64: B452517E16431F36 Time : 0.0 sec. user=mdettweiler [2017-04-14 21:55:24] 601*2^1451637-1 is not prime. Res64: DD1F74F27132DC5C Time : 0.0 sec. user=mdettweiler [2017-04-14 22:18:14] 625*2^1451637-1 is not prime. Res64: BB7680A7B6293409 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:18:14] 711*2^1451637-1 is not prime. Res64: 37BFCA6291C99340 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:18:15] 805*2^1451637-1 is not prime. Res64: 9E38136A2F4FFEB3 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:18:15] 831*2^1451637-1 is not prime. Res64: 5EAC3A1D9D823C5C Time : 0.0 sec. user=mdettweiler [2017-04-14 22:18:16] 885*2^1451637-1 is not prime. Res64: FC8635EF316E62BC Time : 0.0 sec. user=juhehe [2017-04-14 22:21:43] 915*2^1451637-1 is not prime. Res64: F29D737F00A8F2DF Time : 0.0 sec. user=mdettweiler [2017-04-14 22:28:46] 623*2^1451638-1 is not prime. Res64: F5D84174394AD5ED Time : 0.0 sec. user=mdettweiler [2017-04-14 22:28:46] 755*2^1451638-1 is not prime. Res64: FDCCFA296E90DD9E Time : 0.0 sec. user=mdettweiler [2017-04-14 22:28:47] 777*2^1451638-1 is not prime. Res64: CD7C0F0C659EC7E8 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:28:47] 821*2^1451638-1 is not prime. Res64: EE31E221C120E82F Time : 0.0 sec. user=mdettweiler [2017-04-14 22:28:47] 643*2^1451639-1 is not prime. Res64: 9E498A9569194C15 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:39:55] 693*2^1451639-1 is not prime. Res64: DA415D9E33AF85A7 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:39:55] 711*2^1451639-1 is not prime. Res64: 1B442B5462F67C3A Time : 0.0 sec. user=mdettweiler [2017-04-14 22:39:55] 789*2^1451639-1 is not prime. Res64: 48A2F84EBD91CE6D Time : 0.0 sec. user=mdettweiler [2017-04-14 22:39:56] 991*2^1451639-1 is not prime. Res64: 3C241B6646C997D3 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:39:56] 689*2^1451640-1 is not prime. Res64: 49DD03FBE56AFFD8 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:40:32] 707*2^1451640-1 is not prime. Res64: 7D9F35E0F5F383B9 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:40:33] 887*2^1451640-1 is not prime. Res64: B457673522E0FEB6 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:40:33] 933*2^1451640-1 is not prime. Res64: A8C38519D4AFBB21 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:40:34] 607*2^1451641-1 is not prime. Res64: 4079092B072603C6 Time : 0.0 sec. user=mdettweiler [2017-04-14 22:40:34] 799*2^1451641-1 is not prime. Res64: 2AF78F72183D7374 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:03:16] 817*2^1451641-1 is not prime. Res64: B6D044A84FB70478 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:03:18] 829*2^1451641-1 is not prime. Res64: 696B5D7396D25C20 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:03:19] 861*2^1451641-1 is not prime. Res64: EBD9C50516808CA2 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:03:21] 603*2^1451642-1 is not prime. Res64: B20CEFB5E7C59853 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:03:23] 623*2^1451642-1 is not prime. Res64: 1C30D96E22CFFD3B Time : 0.0 sec. user=mdettweiler [2017-04-14 23:13:50] 711*2^1451642-1 is not prime. Res64: 1E25D05C4F482EDA Time : 0.0 sec. user=mdettweiler [2017-04-14 23:13:51] 785*2^1451642-1 is not prime. Res64: 1ABE4F85FC3B3311 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:13:51] 679*2^1451643-1 is not prime. Res64: 9E13FC78EAF209B9 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:13:51] 741*2^1451643-1 is not prime. Res64: 7A9A683FDEDD40FB Time : 0.0 sec. user=mdettweiler [2017-04-14 23:13:52] 753*2^1451643-1 is not prime. Res64: 8CA498B19C30894C Time : 0.0 sec. user=mdettweiler [2017-04-14 23:24:55] 801*2^1451643-1 is not prime. Res64: 6C412244AB53F930 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:24:55] 945*2^1451643-1 is not prime. Res64: B319BB9473844DDF Time : 0.0 sec. user=mdettweiler [2017-04-14 23:24:56] 961*2^1451643-1 is not prime. Res64: BD18E5C3DA0BC483 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:24:56] 985*2^1451643-1 is not prime. Res64: 87AA7559CA7DE2CA Time : 0.0 sec. user=mdettweiler [2017-04-14 23:24:56] 635*2^1451644-1 is not prime. Res64: 7DA645C1A516CF06 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:25:40] 705*2^1451644-1 is not prime. Res64: 8C74C2AD27F98BD3 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:25:41] 803*2^1451644-1 is not prime. Res64: 2B81B34E4D2B4182 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:25:41] 875*2^1451644-1 is not prime. Res64: 48E6AC6493F826AC Time : 0.0 sec. user=mdettweiler [2017-04-14 23:25:41] 905*2^1451644-1 is not prime. Res64: 6DD28E317EBE5A35 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:25:42] 939*2^1451644-1 is not prime. Res64: 5694E5ED30962EB2 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:48:47] 657*2^1451645-1 is not prime. Res64: D8C2E325B6ED1351 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:48:47] 669*2^1451645-1 is not prime. Res64: 1CD5B871112123C4 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:48:47] 855*2^1451645-1 is not prime. Res64: 6BB1985DB315618A Time : 0.0 sec. user=mdettweiler [2017-04-14 23:48:48] 861*2^1451645-1 is not prime. Res64: EAA09D95B29AC708 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:48:48] 711*2^1451646-1 is not prime. Res64: B46A93A363A08A39 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:58:51] 713*2^1451646-1 is not prime. Res64: 2CA10F6BA80EA711 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:58:51] 725*2^1451646-1 is not prime. Res64: 8821B37DBAF67330 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:58:52] 737*2^1451646-1 is not prime. Res64: C373BF0B4640B07B Time : 0.0 sec. user=mdettweiler [2017-04-14 23:58:52] 795*2^1451646-1 is not prime. Res64: 478EF9BAA64E6527 Time : 0.0 sec. user=mdettweiler [2017-04-14 23:58:52] 873*2^1451646-1 is not prime. Res64: A82E59542CEDA807 Time : 0.0 sec.