user=mdettweiler [2016-08-29 07:30:03] 731*2^1438190-1 is not prime. Res64: E1EB51AD6DBAED8C Time : 0.0 sec. user=mdettweiler [2016-08-29 07:30:04] 977*2^1438190-1 is not prime. Res64: B17E1B1A20902D13 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:30:05] 783*2^1438191-1 is not prime. Res64: A296A05D122BC8BC Time : 0.0 sec. user=mdettweiler [2016-08-29 07:30:05] 775*2^1438201-1 is not prime. Res64: D7F49FF09CE37A2A Time : 0.0 sec. user=mdettweiler [2016-08-29 07:30:05] 931*2^1438201-1 is not prime. Res64: C31FC2C8A0025C59 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:42:18] 875*2^1438202-1 is not prime. Res64: D4DB99A7335FFBA6 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:42:18] 903*2^1438202-1 is not prime. Res64: 040C27D925CAAE85 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:42:18] 921*2^1438202-1 is not prime. Res64: 2AE37410BF252D33 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:42:19] 981*2^1438202-1 is not prime. Res64: 18DAE1E78B68F251 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:42:19] 615*2^1438203-1 is not prime. Res64: 06DF50253AD907B0 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:59:29] 669*2^1438203-1 is not prime. Res64: 115519455A4F0E27 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:59:29] 679*2^1438203-1 is not prime. Res64: 6C1594770267EE5F Time : 0.0 sec. user=mdettweiler [2016-08-29 07:59:30] 709*2^1438203-1 is not prime. Res64: 2C9464B4A3EB32C6 Time : 0.0 sec. user=mdettweiler [2016-08-29 07:59:30] 609*2^1438207-1 is not prime. Res64: 6A3EEB91828014DD Time : 0.0 sec. user=mdettweiler [2016-08-29 07:59:30] 619*2^1438207-1 is not prime. Res64: 18F28C575C47CBA4 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:15:06] 819*2^1438207-1 is not prime. Res64: CFEE27964541A9B4 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:15:07] 873*2^1438207-1 is not prime. Res64: 30F114A5D7A82DE0 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:15:07] 885*2^1438207-1 is not prime. Res64: 93D97D254C080627 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:15:08] 603*2^1438208-1 is not prime. Res64: 536248A47293D151 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:15:08] 629*2^1438208-1 is not prime. Res64: C813D7DA14E2D11D Time : 0.0 sec. user=mdettweiler [2016-08-29 08:27:26] 669*2^1438208-1 is not prime. Res64: 27582498255C9968 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:27:27] 735*2^1438208-1 is not prime. Res64: 4311C7D9D3276CD2 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:27:27] 797*2^1438208-1 is not prime. Res64: 8A19A3BE04BAC8CC Time : 0.0 sec. user=mdettweiler [2016-08-29 08:27:28] 897*2^1438208-1 is not prime. Res64: 2F7C3C1CB02613CF Time : 0.0 sec. user=mdettweiler [2016-08-29 08:27:28] 959*2^1438208-1 is not prime. Res64: 01A7CCB61C128AC5 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:44:27] 977*2^1438208-1 is not prime. Res64: 88584E279461BAA0 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:44:28] 615*2^1438209-1 is not prime. Res64: 307ED10FCCD279B5 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:44:28] 727*2^1438209-1 is not prime. Res64: E948663C4D1E7339 Time : 0.0 sec. user=mdettweiler [2016-08-29 08:44:28] 765*2^1438209-1 is not prime. Res64: 29220BDB74C9E59E Time : 0.0 sec. user=mdettweiler [2016-08-29 08:44:29] 955*2^1438209-1 is not prime. Res64: 2E2A09CC133E0EBC Time : 0.0 sec. user=mdettweiler [2016-08-29 09:00:01] 633*2^1438210-1 is not prime. Res64: 2996732F19ED1E93 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:00:01] 663*2^1438210-1 is not prime. Res64: 76CE3C4902997E53 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:00:01] 675*2^1438210-1 is not prime. Res64: 100579E396A9BA1A Time : 0.0 sec. user=mdettweiler [2016-08-29 09:00:02] 741*2^1438210-1 is not prime. Res64: 3565B990748A2004 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:00:03] 765*2^1438210-1 is not prime. Res64: 2162FB6B74A6AC6E Time : 0.0 sec. user=mdettweiler [2016-08-29 09:12:14] 803*2^1438210-1 is not prime. Res64: F86E6F8912943306 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:12:15] 843*2^1438210-1 is not prime. Res64: B77202FA98D0C585 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:12:15] 855*2^1438210-1 is not prime. Res64: 2E60185B0ADAB2AB Time : 0.0 sec. user=mdettweiler [2016-08-29 09:12:16] 923*2^1438210-1 is not prime. Res64: 620512811E04F562 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:12:16] 987*2^1438210-1 is not prime. Res64: D43DC628ED2E99A0 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:22:59] 663*2^1438211-1 is not prime. Res64: 1DE6973E2746EFC6 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:23:00] 775*2^1438211-1 is not prime. Res64: 6E401A8863BB2820 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:23:00] 825*2^1438211-1 is not prime. Res64: 9B08177A54B2A06D Time : 0.0 sec. user=mdettweiler [2016-08-29 09:23:01] 843*2^1438211-1 is not prime. Res64: D5A1970FEA40E704 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:23:01] 949*2^1438211-1 is not prime. Res64: BDC2A7B0D2576C71 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:29:07] 981*2^1438211-1 is not prime. Res64: 61008D74AF5F11A9 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:29:08] 993*2^1438211-1 is not prime. Res64: EAF87C3972E6C082 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:29:08] 609*2^1438212-1 is not prime. Res64: 3AD9323DD4765B84 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:29:08] 695*2^1438212-1 is not prime. Res64: 9188A8F1B5515614 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:29:09] 875*2^1438212-1 is not prime. Res64: 8897C02891384984 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:44:30] 903*2^1438212-1 is not prime. Res64: F1E2E04C495E6F5B Time : 0.0 sec. user=mdettweiler [2016-08-29 09:44:30] 609*2^1438213-1 is not prime. Res64: CD366B517C35A0C2 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:44:30] 615*2^1438213-1 is not prime. Res64: B6087CF302D6E608 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:44:31] 649*2^1438213-1 is not prime. Res64: 2908BB8C8958C9F5 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:44:31] 651*2^1438213-1 is not prime. Res64: 4A30911D25E95DCB Time : 0.0 sec. user=mdettweiler [2016-08-29 09:57:12] 741*2^1438213-1 is not prime. Res64: 7EE0A7FA0B9C602B Time : 0.0 sec. user=mdettweiler [2016-08-29 09:57:12] 855*2^1438213-1 is not prime. Res64: 30BFE256DA66FA17 Time : 0.0 sec. user=mdettweiler [2016-08-29 09:57:13] 877*2^1438213-1 is not prime. Res64: EAECE94416A178BB Time : 0.0 sec. user=mdettweiler [2016-08-29 09:57:13] 985*2^1438213-1 is not prime. Res64: D95064D5942BB10B Time : 0.0 sec. user=mdettweiler [2016-08-29 09:57:14] 987*2^1438213-1 is not prime. Res64: DC3AED8A647296EC Time : 0.0 sec. user=mdettweiler [2016-08-29 10:07:40] 641*2^1438214-1 is not prime. Res64: B2FD5B046B724FCF Time : 0.0 sec. user=mdettweiler [2016-08-29 10:07:43] 671*2^1438214-1 is not prime. Res64: 1EC63068EF562F8A Time : 0.0 sec. user=mdettweiler [2016-08-29 10:07:47] 827*2^1438214-1 is not prime. Res64: 11064F3F8DC432A6 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:07:51] 887*2^1438214-1 is not prime. Res64: 449E06F36A2C8310 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:07:53] 971*2^1438214-1 is not prime. Res64: E670E70E8D7FA889 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:13:46] 829*2^1438215-1 is not prime. Res64: EEC862A2851B8652 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:13:47] 885*2^1438215-1 is not prime. Res64: 00BB692CDDD546DA Time : 0.0 sec. user=mdettweiler [2016-08-29 10:13:47] 891*2^1438215-1 is not prime. Res64: A2C9C895C5431FB0 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:13:48] 919*2^1438215-1 is not prime. Res64: 1F2B10442AF1A9F0 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:13:48] 603*2^1438216-1 is not prime. Res64: 65FFD09B561CB0FC Time : 0.0 sec. user=mdettweiler [2016-08-29 10:29:20] 639*2^1438216-1 is not prime. Res64: 8AD93FE3224CCF56 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:29:20] 717*2^1438216-1 is not prime. Res64: 041351128D44B457 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:29:21] 777*2^1438216-1 is not prime. Res64: 45ED13F103C0C631 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:29:21] 825*2^1438216-1 is not prime. Res64: 895D7EDDBE61DE40 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:29:21] 855*2^1438216-1 is not prime. Res64: F8E5FAE6A7255FF5 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:41:59] 869*2^1438216-1 is not prime. Res64: 9E5F4FD9C8128485 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:41:59] 887*2^1438216-1 is not prime. Res64: 1E76EEB033D52E34 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:42:00] 903*2^1438216-1 is not prime. Res64: 975289E65C8EE6CD Time : 0.0 sec. user=mdettweiler [2016-08-29 10:42:00] 923*2^1438216-1 is not prime. Res64: 547D34CA7BA4D5AC Time : 0.0 sec. user=mdettweiler [2016-08-29 10:42:00] 947*2^1438216-1 is not prime. Res64: AED6613003A2DE03 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:52:54] 601*2^1438217-1 is not prime. Res64: 76588F26F012477A Time : 0.0 sec. user=mdettweiler [2016-08-29 10:52:55] 991*2^1438217-1 is not prime. Res64: 1E4EF8A7303E30ED Time : 0.0 sec. user=mdettweiler [2016-08-29 10:52:55] 605*2^1438218-1 is not prime. Res64: C5739256FB974D25 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:52:55] 657*2^1438218-1 is not prime. Res64: 4893B3F1872B63E5 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:52:56] 801*2^1438218-1 is not prime. Res64: 0C0A042563A4F999 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:58:26] 815*2^1438218-1 is not prime. Res64: 75D2C0CB67EB8683 Time : 0.0 sec. user=mdettweiler [2016-08-29 10:58:27] 957*2^1438218-1 is not prime. Res64: DEE1AA42E60DF0CF Time : 0.0 sec. user=mdettweiler [2016-08-29 10:58:27] 971*2^1438218-1 is not prime. Res64: 0C1A31DB70CB94AC Time : 0.0 sec. user=mdettweiler [2016-08-29 10:58:27] 975*2^1438218-1 is not prime. Res64: E7E07DFF2B22FCAA Time : 0.0 sec. user=mdettweiler [2016-08-29 10:58:28] 639*2^1438219-1 is not prime. Res64: 4186973615AABBCF Time : 0.0 sec. user=mdettweiler [2016-08-29 11:13:58] 645*2^1438219-1 is not prime. Res64: DD60ECD09A22A72D Time : 0.0 sec. user=mdettweiler [2016-08-29 11:13:59] 745*2^1438219-1 is not prime. Res64: 848AE3E6866AA9AA Time : 0.0 sec. user=mdettweiler [2016-08-29 11:13:59] 769*2^1438219-1 is not prime. Res64: 3489B36A1EA13D4E Time : 0.0 sec. user=mdettweiler [2016-08-29 11:14:00] 635*2^1438220-1 is not prime. Res64: 73F04A735CA67FCB Time : 0.0 sec. user=mdettweiler [2016-08-29 11:14:00] 659*2^1438220-1 is not prime. Res64: 128793069B34D602 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:26:53] 717*2^1438220-1 is not prime. Res64: 9BDE4C2CE8E206EA Time : 0.0 sec. user=mdettweiler [2016-08-29 11:26:54] 719*2^1438220-1 is not prime. Res64: A98072783C829F80 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:26:54] 753*2^1438220-1 is not prime. Res64: 8C995BBFFF136367 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:26:55] 827*2^1438220-1 is not prime. Res64: 2983D23440A38113 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:26:55] 845*2^1438220-1 is not prime. Res64: CD5710839AFC8E7F Time : 0.0 sec. user=mdettweiler [2016-08-29 11:37:33] 625*2^1438221-1 is not prime. Res64: 2E8A38CF7C79581B Time : 0.0 sec. user=mdettweiler [2016-08-29 11:37:34] 651*2^1438221-1 is not prime. Res64: AB0D322AE76C56C7 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:37:35] 901*2^1438221-1 is not prime. Res64: 0CD6D426F9A5E3DD Time : 0.0 sec. user=mdettweiler [2016-08-29 11:37:36] 653*2^1438222-1 is not prime. Res64: 3FA831479B8DAC05 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:37:37] 681*2^1438222-1 is not prime. Res64: 0C23CF890F773459 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:43:14] 695*2^1438222-1 is not prime. Res64: 5A7FC22E12B1D080 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:43:14] 705*2^1438222-1 is not prime. Res64: DE7FCE3391F076E5 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:43:14] 723*2^1438222-1 is not prime. Res64: D3F04DC66AC9CAB7 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:43:15] 891*2^1438222-1 is not prime. Res64: 9FC02EDE085F1E05 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:43:15] 951*2^1438222-1 is not prime. Res64: 7D75C14E3685AAD0 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:58:35] 609*2^1438223-1 is not prime. Res64: 7F9C874453D95F48 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:58:35] 661*2^1438223-1 is not prime. Res64: 2B16F15626651D8A Time : 0.0 sec. user=mdettweiler [2016-08-29 11:58:35] 663*2^1438223-1 is not prime. Res64: AB4FEDC889F53BE8 Time : 0.0 sec. user=mdettweiler [2016-08-29 11:58:36] 735*2^1438223-1 is not prime. Res64: 0D9FCB3C714F651A Time : 0.0 sec. user=mdettweiler [2016-08-29 11:58:36] 859*2^1438223-1 is not prime. Res64: E8583F97ED8C7982 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:11:47] 969*2^1438223-1 is not prime. Res64: BE6A8AC5B3B1CABE Time : 0.0 sec. user=mdettweiler [2016-08-29 12:11:47] 609*2^1438224-1 is not prime. Res64: BC40B5BAA3DE4DEB Time : 0.0 sec. user=mdettweiler [2016-08-29 12:11:48] 675*2^1438224-1 is not prime. Res64: 7964414BF2D8104C Time : 0.0 sec. user=mdettweiler [2016-08-29 12:11:48] 693*2^1438224-1 is not prime. Res64: 9EC7B88BF7B8BD70 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:11:49] 707*2^1438224-1 is not prime. Res64: CB5052CED8C23396 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:23:00] 719*2^1438224-1 is not prime. Res64: 53DBE2AFE3B4837F Time : 0.0 sec. user=mdettweiler [2016-08-29 12:23:00] 773*2^1438224-1 is not prime. Res64: A4199C9D526B60C4 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:23:01] 969*2^1438224-1 is not prime. Res64: B3FA5D310AA7B02A Time : 0.0 sec. user=mdettweiler [2016-08-29 12:23:01] 649*2^1438225-1 is not prime. Res64: F810DA8D7EE75FF8 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:23:01] 705*2^1438225-1 is not prime. Res64: 844A9339013CBD4B Time : 0.0 sec. user=mdettweiler [2016-08-29 12:29:20] 717*2^1438225-1 is not prime. Res64: FE665C216404CE10 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:29:21] 765*2^1438225-1 is not prime. Res64: 16C10960AB0555FC Time : 0.0 sec. user=mdettweiler [2016-08-29 12:29:21] 897*2^1438225-1 is not prime. Res64: D1103F1EDBCCE6AE Time : 0.0 sec. user=mdettweiler [2016-08-29 12:29:21] 999*2^1438225-1 is not prime. Res64: FEEEFBA40755E038 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:29:22] 633*2^1438226-1 is not prime. Res64: 2B6C04CD93E2AA33 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:45:15] 773*2^1438226-1 is not prime. Res64: EDDA8F1F342E082C Time : 0.0 sec. user=mdettweiler [2016-08-29 12:45:15] 801*2^1438226-1 is not prime. Res64: 428E12A5A2BBD31B Time : 0.0 sec. user=mdettweiler [2016-08-29 12:45:16] 887*2^1438226-1 is not prime. Res64: A5AFB72D2BFCAE97 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:59:11] 971*2^1438226-1 is not prime. Res64: 583ECA5DDD62902D Time : 0.0 sec. user=mdettweiler [2016-08-29 12:59:11] 643*2^1438227-1 is not prime. Res64: 9F19DA66728E2CF3 Time : 0.0 sec. user=mdettweiler [2016-08-29 12:59:12] 703*2^1438227-1 is not prime. Res64: 511CAC94DDCA30DC Time : 0.0 sec. user=mdettweiler [2016-08-29 12:59:12] 711*2^1438227-1 is not prime. Res64: 9F754D9F452E88AC Time : 0.0 sec. user=mdettweiler [2016-08-29 12:59:12] 895*2^1438227-1 is not prime. Res64: 8BA1D76B347A6354 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:10:04] 961*2^1438227-1 is not prime. Res64: 6DDAB3DCD34081A7 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:10:07] 975*2^1438227-1 is not prime. Res64: 5F337A130038EEF8 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:10:09] 665*2^1438228-1 is not prime. Res64: 4F64E75330D56332 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:10:13] 813*2^1438228-1 is not prime. Res64: 052FDACF52EFB94A Time : 0.0 sec. user=mdettweiler [2016-08-29 13:10:15] 855*2^1438228-1 is not prime. Res64: 6F3E3136A989632F Time : 0.0 sec. user=mdettweiler [2016-08-29 13:16:08] 863*2^1438228-1 is not prime. Res64: E44E81200AB5EA48 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:16:08] 869*2^1438228-1 is not prime. Res64: 2CD0F16AF5050A2A Time : 0.0 sec. user=mdettweiler [2016-08-29 13:16:08] 899*2^1438228-1 is not prime. Res64: 56579EBEB4E9286E Time : 0.0 sec. user=mdettweiler [2016-08-29 13:16:08] 987*2^1438228-1 is not prime. Res64: 48A5D5392A63D1F8 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:16:09] 649*2^1438229-1 is not prime. Res64: 09BABF71DEB42C15 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:45:52] 697*2^1438229-1 is not prime. Res64: ED2060B1454A2A6C Time : 0.0 sec. user=mdettweiler [2016-08-29 13:45:52] 747*2^1438229-1 is not prime. Res64: 8065D400861FF6C9 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:45:52] 819*2^1438229-1 is not prime. Res64: 4F700E37B84B33B6 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:45:53] 951*2^1438229-1 is not prime. Res64: 8D0DAB309E9DEDFA Time : 0.0 sec. user=mdettweiler [2016-08-29 13:45:53] 641*2^1438230-1 is not prime. Res64: ACE173DA295BC9F5 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:57:19] 671*2^1438230-1 is not prime. Res64: 31642D36339B9B5D Time : 0.0 sec. user=mdettweiler [2016-08-29 13:57:19] 723*2^1438230-1 is not prime. Res64: 5671BA469D308FCD Time : 0.0 sec. user=mdettweiler [2016-08-29 13:57:20] 777*2^1438230-1 is not prime. Res64: 910286121F732C61 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:57:20] 891*2^1438230-1 is not prime. Res64: F7747083619931E0 Time : 0.0 sec. user=mdettweiler [2016-08-29 13:57:21] 951*2^1438230-1 is not prime. Res64: 3B8FCB8BDDBCBF60 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:02:52] 971*2^1438230-1 is not prime. Res64: EADA450D4BBB4B89 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:02:54] 625*2^1438231-1 is not prime. Res64: FB28205715F1BB23 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:02:55] 813*2^1438231-1 is not prime. Res64: 40B32A98E5A96FA8 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:02:56] 961*2^1438231-1 is not prime. Res64: 64CA74ED33A3FBF6 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:02:57] 975*2^1438231-1 is not prime. Res64: B4808E9EEFA2EF05 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:33:56] 617*2^1438232-1 is not prime. Res64: 9C7EA83D2EC0A853 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:33:57] 633*2^1438232-1 is not prime. Res64: 8135A80CA4170083 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:33:57] 665*2^1438232-1 is not prime. Res64: 36152FA360ECEF69 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:33:58] 677*2^1438232-1 is not prime. Res64: F0CFF03FC655651F Time : 0.0 sec. user=mdettweiler [2016-08-29 14:33:58] 689*2^1438232-1 is not prime. Res64: 6CB88FF064E3266E Time : 0.0 sec. user=mdettweiler [2016-08-29 14:45:25] 717*2^1438232-1 is not prime. Res64: A6E24EE045C21A72 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:45:25] 873*2^1438232-1 is not prime. Res64: 4AA2F6C1F0429E43 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:45:26] 817*2^1438233-1 is not prime. Res64: 8327CD208F7B14FF Time : 0.0 sec. user=mdettweiler [2016-08-29 14:45:26] 949*2^1438233-1 is not prime. Res64: E70E24485419A6F1 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:45:26] 999*2^1438233-1 is not prime. Res64: 306B42BC4082D091 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:50:58] 605*2^1438234-1 is not prime. Res64: 46A9478DF9C11D0E Time : 0.0 sec. user=mdettweiler [2016-08-29 14:50:59] 617*2^1438234-1 is not prime. Res64: 6D75B304B1F4ED5E Time : 0.0 sec. user=mdettweiler [2016-08-29 14:50:59] 663*2^1438234-1 is not prime. Res64: FCF04E8808484D62 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:51:00] 687*2^1438234-1 is not prime. Res64: DBF11987CF783969 Time : 0.0 sec. user=mdettweiler [2016-08-29 14:51:00] 723*2^1438234-1 is not prime. Res64: 4A45C7D4957529E5 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:04:12] 903*2^1438226-1 is not prime. Res64: 35463489910236E0 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:04:15] 917*2^1438226-1 is not prime. Res64: 2AC1068A15397C65 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:22:45] 741*2^1438234-1 is not prime. Res64: E037EB0CDACDAD70 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:22:45] 891*2^1438234-1 is not prime. Res64: 6C06DD15969284A4 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:22:46] 987*2^1438234-1 is not prime. Res64: 0560643056E0F9CE Time : 0.0 sec. user=mdettweiler [2016-08-29 15:22:46] 693*2^1438235-1 is not prime. Res64: 700AE9DD1FDCF8CA Time : 0.0 sec. user=mdettweiler [2016-08-29 15:22:46] 771*2^1438235-1 is not prime. Res64: 06A444000ED8766C Time : 0.0 sec. user=mdettweiler [2016-08-29 15:33:14] 859*2^1438235-1 is not prime. Res64: AC6CDEE2048AD34F Time : 0.0 sec. user=mdettweiler [2016-08-29 15:33:14] 979*2^1438235-1 is not prime. Res64: 498F592E0FF6C671 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:33:14] 981*2^1438235-1 is not prime. Res64: 56836C55EB25100F Time : 0.0 sec. user=mdettweiler [2016-08-29 15:33:15] 693*2^1438236-1 is not prime. Res64: AA62A0557BC29E68 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:33:15] 773*2^1438236-1 is not prime. Res64: D808FDD14027682A Time : 0.0 sec. user=mdettweiler [2016-08-29 15:38:30] 789*2^1438236-1 is not prime. Res64: D8392430E00F7300 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:38:31] 843*2^1438236-1 is not prime. Res64: 4A0EF4481FF7ECC0 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:38:31] 845*2^1438236-1 is not prime. Res64: 71F5FA9317450B25 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:38:31] 867*2^1438236-1 is not prime. Res64: 2D5FC7DA83E083D2 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:38:31] 899*2^1438236-1 is not prime. Res64: 4B1F3433C4459FA9 Time : 0.0 sec. user=mdettweiler [2016-08-29 15:51:13] 923*2^1438236-1 is not prime. Res64: A1AD2EC76E2F498C Time : 0.0 sec. user=mdettweiler [2016-08-29 15:51:14] 999*2^1438236-1 is not prime. Res64: E51E9B1DF8E04F3D Time : 0.0 sec. user=mdettweiler [2016-08-29 15:51:14] 615*2^1438237-1 is not prime. Res64: 46F929B3EA1F832C Time : 0.0 sec. user=mdettweiler [2016-08-29 15:51:14] 639*2^1438237-1 is not prime. Res64: CA5C399DC44704EC Time : 0.0 sec. user=mdettweiler [2016-08-29 15:51:14] 667*2^1438237-1 is not prime. Res64: AF055851B39AC5EC Time : 0.0 sec. user=mdettweiler [2016-08-29 16:10:03] 757*2^1438237-1 is not prime. Res64: A34FDD48A14DAB1C Time : 0.0 sec. user=mdettweiler [2016-08-29 16:10:04] 861*2^1438237-1 is not prime. Res64: 642133596BEE65AD Time : 0.0 sec. user=mdettweiler [2016-08-29 16:10:06] 885*2^1438237-1 is not prime. Res64: DCAAE5E30DB05D65 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:10:07] 945*2^1438237-1 is not prime. Res64: BC61A40D666EFCEC Time : 0.0 sec. user=mdettweiler [2016-08-29 16:10:08] 997*2^1438237-1 is not prime. Res64: E825C0BD2BCAE079 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:19:53] 635*2^1438238-1 is not prime. Res64: 322A91D40CB0739E Time : 0.0 sec. user=mdettweiler [2016-08-29 16:19:54] 843*2^1438238-1 is not prime. Res64: 4F7E68FE7DB43D11 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:19:54] 957*2^1438238-1 is not prime. Res64: 2827F39F1D4C83A1 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:19:55] 789*2^1438239-1 is not prime. Res64: B365D9C4C8C21B2F Time : 0.0 sec. user=mdettweiler [2016-08-29 16:19:55] 675*2^1438240-1 is not prime. Res64: D24B120314B55772 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:24:46] 719*2^1438240-1 is not prime. Res64: 02FF40CB39CC16A6 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:24:46] 735*2^1438240-1 is not prime. Res64: 18C1476FE9D42615 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:24:47] 819*2^1438240-1 is not prime. Res64: C6B91485C6F9B7E8 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:24:47] 857*2^1438240-1 is not prime. Res64: 0612824B538C42CD Time : 0.0 sec. user=mdettweiler [2016-08-29 16:24:48] 959*2^1438240-1 is not prime. Res64: 70A22DFF63101CEC Time : 0.0 sec. user=mdettweiler [2016-08-29 16:37:26] 607*2^1438241-1 is not prime. Res64: B1F242F710253961 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:37:27] 619*2^1438241-1 is not prime. Res64: BEC833D77D31134C Time : 0.0 sec. user=mdettweiler [2016-08-29 16:37:27] 645*2^1438241-1 is not prime. Res64: 61F067ECA7101BF5 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:37:28] 691*2^1438241-1 is not prime. Res64: 1726882B34946BEE Time : 0.0 sec. user=mdettweiler [2016-08-29 16:37:28] 711*2^1438241-1 is not prime. Res64: FAAAAD4861D7B27B Time : 0.0 sec. user=mdettweiler [2016-08-29 16:55:48] 727*2^1438241-1 is not prime. Res64: 9B5D1ECA7A882F05 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:55:48] 789*2^1438241-1 is not prime. Res64: 6E8130FE6A1EA12D Time : 0.0 sec. user=mdettweiler [2016-08-29 16:55:49] 901*2^1438241-1 is not prime. Res64: 0AF9E82168CFBD77 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:55:50] 931*2^1438241-1 is not prime. Res64: C6FEE5E82DD6B1B5 Time : 0.0 sec. user=mdettweiler [2016-08-29 16:55:51] 981*2^1438241-1 is not prime. Res64: 44581DC9C71C1EA4 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:05:06] 997*2^1438241-1 is not prime. Res64: 87D59B17612AB845 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:05:09] 683*2^1438242-1 is not prime. Res64: 55866D2B202C4DF0 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:05:11] 713*2^1438242-1 is not prime. Res64: 35A2D7D2531452A6 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:05:13] 723*2^1438242-1 is not prime. Res64: C0B7E66C98BED685 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:05:16] 735*2^1438242-1 is not prime. Res64: BEE90473CD56606B Time : 0.0 sec. user=mdettweiler [2016-08-29 17:09:53] 747*2^1438242-1 is not prime. Res64: 58874D1594502778 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:09:56] 803*2^1438242-1 is not prime. Res64: 7CF7479A6452B787 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:09:59] 915*2^1438242-1 is not prime. Res64: 463FD2FD50B2A1B5 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:10:02] 945*2^1438242-1 is not prime. Res64: D0564EA16B85ECF5 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:10:06] 951*2^1438242-1 is not prime. Res64: 42920F7F79828853 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:22:36] 983*2^1438242-1 is not prime. Res64: 2708EB7458DAFBDE Time : 0.0 sec. user=mdettweiler [2016-08-29 17:22:36] 1001*2^1438242-1 is not prime. Res64: B19A82420BEA5F84 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:22:37] 633*2^1438243-1 is not prime. Res64: EA07632FC104A794 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:22:37] 679*2^1438243-1 is not prime. Res64: 4BB19CF7795B2FB6 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:22:38] 735*2^1438243-1 is not prime. Res64: F3A4650D684D5345 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:41:31] 629*2^1438244-1 is not prime. Res64: 05D16F489453385C Time : 0.0 sec. user=mdettweiler [2016-08-29 17:41:32] 719*2^1438244-1 is not prime. Res64: D4404360F3E067DF Time : 0.0 sec. user=mdettweiler [2016-08-29 17:41:32] 753*2^1438244-1 is not prime. Res64: B751AA3012D4E94D Time : 0.0 sec. user=mdettweiler [2016-08-29 17:41:33] 903*2^1438244-1 is not prime. Res64: 41284FCE56E7EC3F Time : 0.0 sec. user=mdettweiler [2016-08-29 17:41:33] 909*2^1438244-1 is not prime. Res64: F902162C1E2B92B4 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:51:18] 959*2^1438244-1 is not prime. Res64: 3070BEBD62329410 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:51:19] 717*2^1438245-1 is not prime. Res64: 5834E86FF7885F58 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:51:19] 735*2^1438245-1 is not prime. Res64: 7860AA905B564099 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:51:19] 871*2^1438245-1 is not prime. Res64: C5B33A763B6A6B4C Time : 0.0 sec. user=mdettweiler [2016-08-29 17:51:20] 961*2^1438245-1 is not prime. Res64: 4C4629687E0AE188 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:55:49] 985*2^1438245-1 is not prime. Res64: 9D34F337B7417797 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:55:50] 647*2^1438246-1 is not prime. Res64: 0511497DE059431A Time : 0.0 sec. user=mdettweiler [2016-08-29 17:55:50] 705*2^1438246-1 is not prime. Res64: 7B2C2307CEF87215 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:55:50] 717*2^1438246-1 is not prime. Res64: 7110414DDE140680 Time : 0.0 sec. user=mdettweiler [2016-08-29 17:55:51] 755*2^1438246-1 is not prime. Res64: F42413B0B19B3025 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:07:57] 761*2^1438246-1 is not prime. Res64: D5621766330B0319 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:07:59] 783*2^1438246-1 is not prime. Res64: 32DA29F50E6DE579 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:08:06] 815*2^1438246-1 is not prime. Res64: 361A05DB72B9817C Time : 0.0 sec. user=mdettweiler [2016-08-29 18:08:08] 825*2^1438246-1 is not prime. Res64: 20D6359F6CA261EA Time : 0.0 sec. user=mdettweiler [2016-08-29 18:08:12] 857*2^1438246-1 is not prime. Res64: FFD80C94A61A0043 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:26:56] 957*2^1438246-1 is not prime. Res64: 04FEED90B2E7FAC6 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:26:57] 601*2^1438247-1 is not prime. Res64: E89AB54230B74E97 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:26:57] 673*2^1438247-1 is not prime. Res64: F87417513CE3C60F Time : 0.0 sec. user=mdettweiler [2016-08-29 18:26:58] 685*2^1438247-1 is not prime. Res64: A568843E6608E16C Time : 0.0 sec. user=mdettweiler [2016-08-29 18:26:58] 693*2^1438247-1 is not prime. Res64: 82D9119647280F31 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:36:36] 711*2^1438247-1 is not prime. Res64: 40DC7F3EC376CBF9 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:36:37] 715*2^1438247-1 is not prime. Res64: 125DD4DBE6C7EFCE Time : 0.0 sec. user=mdettweiler [2016-08-29 18:36:37] 799*2^1438247-1 is not prime. Res64: E95D3AC67154A527 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:36:38] 885*2^1438247-1 is not prime. Res64: 703D5A380E91269B Time : 0.0 sec. user=mdettweiler [2016-08-29 18:36:38] 973*2^1438247-1 is not prime. Res64: CD380CA2DFDE8922 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:41:09] 981*2^1438247-1 is not prime. Res64: 0183A7BD24BA9801 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:41:10] 725*2^1438248-1 is not prime. Res64: 1EEC38BB646AA02F Time : 0.0 sec. user=mdettweiler [2016-08-29 18:41:10] 735*2^1438248-1 is not prime. Res64: 33366E9ED81C2806 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:41:11] 773*2^1438248-1 is not prime. Res64: A27D9EA05C5B74D6 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:41:11] 839*2^1438248-1 is not prime. Res64: B9550156CDE9B2C1 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:54:03] 845*2^1438248-1 is not prime. Res64: 8256104E4DEA7627 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:54:03] 887*2^1438248-1 is not prime. Res64: AA952D01D9D8B728 Time : 0.0 sec. user=mdettweiler [2016-08-29 18:54:03] 893*2^1438248-1 is not prime. Res64: 35B685E6AD0A770A Time : 0.0 sec. user=mdettweiler [2016-08-29 18:54:04] 923*2^1438248-1 is not prime. Res64: 38E7A8568A67A1CD Time : 0.0 sec. user=mdettweiler [2016-08-29 18:54:04] 959*2^1438248-1 is not prime. Res64: EF2A0077995180CF Time : 0.0 sec. user=mdettweiler [2016-08-29 19:12:15] 977*2^1438248-1 is not prime. Res64: 27BEA12519E29C76 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:12:17] 619*2^1438249-1 is not prime. Res64: 3402B96042D0FFC0 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:12:17] 637*2^1438249-1 is not prime. Res64: 7ECCDD84D8110ADF Time : 0.0 sec. user=mdettweiler [2016-08-29 19:12:18] 679*2^1438249-1 is not prime. Res64: BE83B0171FC4423B Time : 0.0 sec. user=mdettweiler [2016-08-29 19:12:19] 951*2^1438249-1 is not prime. Res64: 9293320CE071DE74 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:21:45] 955*2^1438249-1 is not prime. Res64: B528BEE816EC3859 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:21:46] 985*2^1438249-1 is not prime. Res64: 4E30F7AEA87E693E Time : 0.0 sec. user=mdettweiler [2016-08-29 19:21:46] 603*2^1438250-1 is not prime. Res64: 4086B6E1F68C9355 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:21:47] 651*2^1438250-1 is not prime. Res64: 557C83929420D66B Time : 0.0 sec. user=mdettweiler [2016-08-29 19:21:47] 677*2^1438250-1 is not prime. Res64: C68F2ECD53C51400 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:26:18] 717*2^1438250-1 is not prime. Res64: EF7AD83246861C9C Time : 0.0 sec. user=mdettweiler [2016-08-29 19:26:18] 743*2^1438250-1 is not prime. Res64: B82D81265B9D98AE Time : 0.0 sec. user=mdettweiler [2016-08-29 19:26:19] 753*2^1438250-1 is not prime. Res64: 16B3C0DAA7097A47 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:26:19] 851*2^1438250-1 is not prime. Res64: 23A0C3BF081E68BD Time : 0.0 sec. user=mdettweiler [2016-08-29 19:26:20] 893*2^1438250-1 is not prime. Res64: 6E3E8F8C5975F101 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:39:05] 917*2^1438250-1 is not prime. Res64: 5B7C008D72C260FB Time : 0.0 sec. user=mdettweiler [2016-08-29 19:39:05] 981*2^1438250-1 is not prime. Res64: 2BD111A579B6BF44 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:39:05] 669*2^1438251-1 is not prime. Res64: E449ECA7DD56DF85 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:39:06] 703*2^1438251-1 is not prime. Res64: FAA55FDC09438569 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:39:06] 835*2^1438251-1 is not prime. Res64: 383833A3297513B9 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:57:37] 871*2^1438251-1 is not prime. Res64: BD711B855EB929CD Time : 0.0 sec. user=mdettweiler [2016-08-29 19:57:44] 623*2^1438252-1 is not prime. Res64: 30D17AB903EB9BA1 Time : 0.0 sec. user=mdettweiler [2016-08-29 19:57:44] 657*2^1438252-1 is not prime. Res64: 4A89F70EAA5F0C2F Time : 0.0 sec. user=mdettweiler [2016-08-29 19:57:45] 675*2^1438252-1 is not prime. Res64: 040AB19D990807EB Time : 0.0 sec. user=mdettweiler [2016-08-29 19:57:45] 677*2^1438252-1 is not prime. Res64: D8740448FC14CF85 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:06:53] 827*2^1438252-1 is not prime. Res64: 8A5C8EDAFA14AD25 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:06:56] 869*2^1438252-1 is not prime. Res64: 9C139D3D8BD73323 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:07:00] 873*2^1438252-1 is not prime. Res64: 692D1B6FDD90A93B Time : 0.0 sec. user=mdettweiler [2016-08-29 20:07:01] 965*2^1438252-1 is not prime. Res64: 902AED9D0D8EB94D Time : 0.0 sec. user=mdettweiler [2016-08-29 20:07:02] 657*2^1438253-1 is not prime. Res64: 014C5B24759D1323 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:11:34] 741*2^1438253-1 is not prime. Res64: 7FCD4A4F211C8366 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:11:35] 757*2^1438253-1 is not prime. Res64: 203E1DAA4AEDDC31 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:11:35] 671*2^1438254-1 is not prime. Res64: 2127805AD9096650 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:11:36] 695*2^1438254-1 is not prime. Res64: 699B459693D5FF56 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:11:36] 725*2^1438254-1 is not prime. Res64: 47CBC6F85A0F1424 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:24:18] 755*2^1438254-1 is not prime. Res64: 9432646E6C2EFC57 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:24:18] 807*2^1438254-1 is not prime. Res64: 39611892A9BF888C Time : 0.0 sec. user=mdettweiler [2016-08-29 20:24:20] 861*2^1438254-1 is not prime. Res64: F21CC9A12C6EA52C Time : 0.0 sec. user=mdettweiler [2016-08-29 20:24:20] 983*2^1438254-1 is not prime. Res64: B63434B0DCB495F7 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:24:21] 759*2^1438255-1 is not prime. Res64: A1CFA146F59C8D3A Time : 0.0 sec. user=mdettweiler [2016-08-29 20:43:01] 973*2^1438255-1 is not prime. Res64: 9D86B2A3DABD318D Time : 0.0 sec. user=mdettweiler [2016-08-29 20:43:02] 633*2^1438256-1 is not prime. Res64: F5C236976283BA16 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:43:02] 827*2^1438256-1 is not prime. Res64: 00B85060634810BA Time : 0.0 sec. user=mdettweiler [2016-08-29 20:43:03] 957*2^1438256-1 is not prime. Res64: C9177DF87A308A90 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:43:03] 963*2^1438256-1 is not prime. Res64: F5F4A05E1BCF0AE3 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:52:50] 609*2^1438257-1 is not prime. Res64: A11FCF1AD1C07ADA Time : 0.0 sec. user=mdettweiler [2016-08-29 20:52:51] 807*2^1438257-1 is not prime. Res64: 36A2679A0546EB63 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:52:51] 861*2^1438257-1 is not prime. Res64: 571B9CF669D04B31 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:52:52] 889*2^1438257-1 is not prime. Res64: E5F0BC5F9A813D1E Time : 0.0 sec. user=mdettweiler [2016-08-29 20:52:53] 997*2^1438257-1 is not prime. Res64: CD6C114D05CA5741 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:56:44] 645*2^1438258-1 is not prime. Res64: 19D4188330599BE0 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:56:45] 755*2^1438258-1 is not prime. Res64: 7B1B9F7F155E296F Time : 0.0 sec. user=mdettweiler [2016-08-29 20:56:45] 815*2^1438258-1 is not prime. Res64: 1C6693213D31BFB6 Time : 0.0 sec. user=mdettweiler [2016-08-29 20:56:46] 845*2^1438258-1 is not prime. Res64: AA3A4D486B2B4F4C Time : 0.0 sec. user=mdettweiler [2016-08-29 20:56:46] 923*2^1438258-1 is not prime. Res64: 7BAB77D88747647E Time : 0.0 sec. user=mdettweiler [2016-08-29 21:09:49] 945*2^1438258-1 is not prime. Res64: F3207205F372BC80 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:09:51] 609*2^1438259-1 is not prime. Res64: 5B01756046AD5EEF Time : 0.0 sec. user=mdettweiler [2016-08-29 21:09:52] 663*2^1438259-1 is not prime. Res64: 135A3E5C29132B9D Time : 0.0 sec. user=mdettweiler [2016-08-29 21:09:53] 703*2^1438259-1 is not prime. Res64: C232763CD4D5E739 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:09:54] 711*2^1438259-1 is not prime. Res64: 6BE2458A6CAB1326 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:28:28] 813*2^1438259-1 is not prime. Res64: AAD5A913151F1041 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:28:28] 985*2^1438259-1 is not prime. Res64: FF14B0D74966F90A Time : 0.0 sec. user=mdettweiler [2016-08-29 21:28:28] 633*2^1438260-1 is not prime. Res64: 0045E0DA8D25B2E8 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:28:29] 689*2^1438260-1 is not prime. Res64: 201FD7B6F52B77EC Time : 0.0 sec. user=mdettweiler [2016-08-29 21:28:29] 693*2^1438260-1 is not prime. Res64: 07C0443DE8133217 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:38:10] 725*2^1438260-1 is not prime. Res64: EA4F5D057F29000F Time : 0.0 sec. user=mdettweiler [2016-08-29 21:38:10] 777*2^1438260-1 is not prime. Res64: 24EB049AAAB1D084 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:38:11] 797*2^1438260-1 is not prime. Res64: D529F5237640E158 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:38:12] 819*2^1438260-1 is not prime. Res64: 17CB2271D53696E9 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:38:13] 825*2^1438260-1 is not prime. Res64: 378C16BC69D5CC51 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:41:53] 625*2^1438261-1 is not prime. Res64: 55407C464F51FAE7 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:41:54] 741*2^1438261-1 is not prime. Res64: 18F9919821B6F650 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:41:54] 745*2^1438261-1 is not prime. Res64: FC4ED718D6767CE4 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:41:54] 751*2^1438261-1 is not prime. Res64: 0D40E56B89F37128 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:41:55] 877*2^1438261-1 is not prime. Res64: C986A8F07D8B02DE Time : 0.0 sec. user=mdettweiler [2016-08-29 21:55:15] 979*2^1438261-1 is not prime. Res64: 3321939DBA8D7968 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:55:16] 651*2^1438262-1 is not prime. Res64: A56A85DFA66E4737 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:55:16] 657*2^1438262-1 is not prime. Res64: C87CD2DB53D26A63 Time : 0.0 sec. user=mdettweiler [2016-08-29 21:55:17] 827*2^1438262-1 is not prime. Res64: 0FFB3978BC61B22C Time : 0.0 sec. user=mdettweiler [2016-08-29 21:55:17] 887*2^1438262-1 is not prime. Res64: 6BE32BC4E61939DC Time : 0.0 sec. user=mdettweiler [2016-08-29 22:13:33] 663*2^1438263-1 is not prime. Res64: FCEF1ED2F7A6C21B Time : 0.0 sec. user=mdettweiler [2016-08-29 22:13:34] 763*2^1438263-1 is not prime. Res64: 14E303D33697BC20 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:13:34] 901*2^1438263-1 is not prime. Res64: C08A0B1CC6952F7F Time : 0.0 sec. user=mdettweiler [2016-08-29 22:13:35] 951*2^1438263-1 is not prime. Res64: 2F3CD32FB2189B47 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:13:35] 963*2^1438263-1 is not prime. Res64: BD2FB3B0BF05B84E Time : 0.0 sec. user=mdettweiler [2016-08-29 22:23:20] 623*2^1438264-1 is not prime. Res64: 902A7F8E1CC568D8 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:23:21] 695*2^1438264-1 is not prime. Res64: B1C0FC466022FECF Time : 0.0 sec. user=mdettweiler [2016-08-29 22:23:21] 755*2^1438264-1 is not prime. Res64: 4EA389FD2437CF39 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:23:22] 803*2^1438264-1 is not prime. Res64: A5A53ADE84728B56 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:23:22] 827*2^1438264-1 is not prime. Res64: 7E320DBEC56AAC19 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:26:55] 849*2^1438264-1 is not prime. Res64: D94770A7DDC3B738 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:26:55] 855*2^1438264-1 is not prime. Res64: BD209D235115259D Time : 0.0 sec. user=mdettweiler [2016-08-29 22:26:56] 875*2^1438264-1 is not prime. Res64: 80B4C2E757BF436F Time : 0.0 sec. user=mdettweiler [2016-08-29 22:26:56] 903*2^1438264-1 is not prime. Res64: 7B069104DC502915 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:26:57] 675*2^1438265-1 is not prime. Res64: 95B70BE668797F85 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:40:14] 727*2^1438265-1 is not prime. Res64: D43250D5DBDC6475 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:40:15] 787*2^1438265-1 is not prime. Res64: 833633B39BFA4EAB Time : 0.0 sec. user=mdettweiler [2016-08-29 22:40:15] 861*2^1438265-1 is not prime. Res64: A7A6735C26F91E0B Time : 0.0 sec. user=mdettweiler [2016-08-29 22:40:15] 871*2^1438265-1 is not prime. Res64: 0D3A24F4CD3A2842 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:40:16] 981*2^1438265-1 is not prime. Res64: 2937BE989AC7438A Time : 0.0 sec. user=mdettweiler [2016-08-29 22:58:51] 991*2^1438265-1 is not prime. Res64: 84F85D44C19FF94B Time : 0.0 sec. user=mdettweiler [2016-08-29 22:58:51] 657*2^1438266-1 is not prime. Res64: A224CC98F99045FC Time : 0.0 sec. user=mdettweiler [2016-08-29 22:58:52] 975*2^1438266-1 is not prime. Res64: F7C6C40C337830F2 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:58:52] 1001*2^1438266-1 is not prime. Res64: 0BF5737D9CEFAD72 Time : 0.0 sec. user=mdettweiler [2016-08-29 22:58:53] 681*2^1438267-1 is not prime. Res64: 712F4111905C3E6E Time : 0.0 sec. user=mdettweiler [2016-08-29 23:08:32] 841*2^1438267-1 is not prime. Res64: ADB6080CFF8F2465 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:08:33] 871*2^1438267-1 is not prime. Res64: E889D52F19081DED Time : 0.0 sec. user=mdettweiler [2016-08-29 23:08:33] 735*2^1438268-1 is not prime. Res64: E0E5D1AD132895BA Time : 0.0 sec. user=mdettweiler [2016-08-29 23:08:33] 935*2^1438268-1 is not prime. Res64: 650EB6805A55DE81 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:08:34] 957*2^1438268-1 is not prime. Res64: 18D2015608C84CE2 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:11:56] 609*2^1438269-1 is not prime. Res64: D76207BA4447F7EF Time : 0.0 sec. user=mdettweiler [2016-08-29 23:11:56] 667*2^1438269-1 is not prime. Res64: 311B8D97672D7B06 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:11:57] 817*2^1438269-1 is not prime. Res64: E369F34F93162FC2 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:11:57] 835*2^1438269-1 is not prime. Res64: A3EE79E851A76401 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:11:57] 975*2^1438269-1 is not prime. Res64: 766D12897D3780DC Time : 0.0 sec. user=mdettweiler [2016-08-29 23:25:30] 611*2^1438270-1 is not prime. Res64: CF5511EC1A000C9D Time : 0.0 sec. user=mdettweiler [2016-08-29 23:25:30] 635*2^1438270-1 is not prime. Res64: 705D0821E9C518EA Time : 0.0 sec. user=mdettweiler [2016-08-29 23:25:31] 647*2^1438270-1 is not prime. Res64: C5B83D12D752CA1D Time : 0.0 sec. user=mdettweiler [2016-08-29 23:25:31] 653*2^1438270-1 is not prime. Res64: EBAF0D51E44D902F Time : 0.0 sec. user=mdettweiler [2016-08-29 23:25:32] 663*2^1438270-1 is not prime. Res64: 6DC385F94DB9BE58 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:44:03] 755*2^1438270-1 is not prime. Res64: E1ECD13FDEA6766A Time : 0.0 sec. user=mdettweiler [2016-08-29 23:44:03] 831*2^1438270-1 is not prime. Res64: 8BB7EFE0D32C0501 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:44:04] 861*2^1438270-1 is not prime. Res64: DB153732A8960A0C Time : 0.0 sec. user=mdettweiler [2016-08-29 23:44:04] 873*2^1438270-1 is not prime. Res64: DB0C1D83819133D5 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:44:05] 813*2^1438271-1 is not prime. Res64: 7046DCEEDDB1C36B Time : 0.0 sec. user=mdettweiler [2016-08-29 23:53:53] 841*2^1438271-1 is not prime. Res64: E5A61F1CAA737283 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:53:54] 859*2^1438271-1 is not prime. Res64: 13C4DC1A977D13A9 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:53:54] 759*2^1438272-1 is not prime. Res64: C631D601F2F7CC10 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:53:54] 767*2^1438272-1 is not prime. Res64: B95D2E5DC2DABE10 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:53:55] 779*2^1438272-1 is not prime. Res64: 5DB0E8190CE6AA27 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:57:11] 879*2^1438272-1 is not prime. Res64: 589B4BE58A3B6B4A Time : 0.0 sec. user=mdettweiler [2016-08-29 23:57:12] 983*2^1438272-1 is not prime. Res64: 652DD96A034B5057 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:57:12] 999*2^1438272-1 is not prime. Res64: FBFE0454A33A3018 Time : 0.0 sec. user=mdettweiler [2016-08-29 23:57:13] 609*2^1438273-1 is not prime. Res64: 939481A32EC6357B Time : 0.0 sec. user=mdettweiler [2016-08-29 23:57:13] 699*2^1438273-1 is not prime. Res64: B9326579BC3EAE40 Time : 0.0 sec.