user=mdettweiler [2018-11-20 00:02:02] 895*2^1531777-1 is not prime. Res64: A4F7D59FFC8067AC Time : 0.0 sec. user=mdettweiler [2018-11-20 00:02:03] 919*2^1531777-1 is not prime. Res64: 3BFE48D5D658C57E Time : 0.0 sec. user=mdettweiler [2018-11-20 00:02:03] 671*2^1531778-1 is not prime. Res64: 87BA6A745A5FC36F Time : 0.0 sec. user=mdettweiler [2018-11-20 00:02:04] 731*2^1531778-1 is not prime. Res64: 039006441D9D7124 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:02:04] 827*2^1531778-1 is not prime. Res64: FECCB3EC938B7BE6 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:04:19] 971*2^1531778-1 is not prime. Res64: 7EA71EAED8442CEB Time : 0.0 sec. user=mdettweiler [2018-11-20 00:04:20] 625*2^1531779-1 is not prime. Res64: 81AAA707FB56B8A6 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:04:22] 685*2^1531779-1 is not prime. Res64: 4A87E1E565BFA4FC Time : 0.0 sec. user=mdettweiler [2018-11-20 00:04:23] 873*2^1531779-1 is not prime. Res64: AE3062664748C6C0 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:04:24] 895*2^1531779-1 is not prime. Res64: D299DEA4927BE883 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:13:43] 951*2^1531779-1 is not prime. Res64: C5CC3F111172C0FF Time : 0.0 sec. user=mdettweiler [2018-11-20 00:13:43] 955*2^1531779-1 is not prime. Res64: A5C609B886B4C54F Time : 0.0 sec. user=mdettweiler [2018-11-20 00:13:43] 719*2^1531780-1 is not prime. Res64: 3ECF322224CA9918 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:13:44] 743*2^1531780-1 is not prime. Res64: A2FD915AD4C857CC Time : 0.0 sec. user=mdettweiler [2018-11-20 00:13:44] 939*2^1531780-1 is not prime. Res64: 63129C0F669BEA6F Time : 0.0 sec. user=mdettweiler [2018-11-20 00:36:08] 989*2^1531780-1 is not prime. Res64: DD1BDF1535B8721D Time : 0.0 sec. user=mdettweiler [2018-11-20 00:36:08] 711*2^1531781-1 is not prime. Res64: 8A4705B8B2859800 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:36:08] 735*2^1531781-1 is not prime. Res64: 83C9C89548F99812 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:36:09] 741*2^1531781-1 is not prime. Res64: 237A9DDBEFA38262 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:36:09] 801*2^1531781-1 is not prime. Res64: BA49E4AAAD3730B8 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:55:59] 825*2^1531781-1 is not prime. Res64: 7935416C97DF6DD3 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:55:59] 859*2^1531781-1 is not prime. Res64: F05D5B2AEC80332B Time : 0.0 sec. user=mdettweiler [2018-11-20 00:55:59] 867*2^1531781-1 is not prime. Res64: 3ED6AFB6B6DB2CCA Time : 0.0 sec. user=mdettweiler [2018-11-20 00:56:00] 635*2^1531782-1 is not prime. Res64: 4E89CD3D90A8DC67 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:56:00] 717*2^1531782-1 is not prime. Res64: 188EE53F15258E55 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:58:29] 825*2^1531782-1 is not prime. Res64: 0E54440101CA1EB3 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:58:29] 885*2^1531782-1 is not prime. Res64: 8495C6898E03B06E Time : 0.0 sec. user=mdettweiler [2018-11-20 00:58:30] 893*2^1531782-1 is not prime. Res64: 95EBBF7576023971 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:58:30] 957*2^1531782-1 is not prime. Res64: DF54BC79C767ECD8 Time : 0.0 sec. user=mdettweiler [2018-11-20 00:58:30] 977*2^1531782-1 is not prime. Res64: 21D8A0CD541F33DD Time : 0.0 sec. user=mdettweiler [2018-11-20 01:07:09] 673*2^1531783-1 is not prime. Res64: 7E1D905DEE862D94 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:07:09] 793*2^1531783-1 is not prime. Res64: 663BB5656D191C2F Time : 0.0 sec. user=mdettweiler [2018-11-20 01:07:10] 951*2^1531783-1 is not prime. Res64: E984A013DC530C20 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:07:10] 969*2^1531783-1 is not prime. Res64: 026D6AAC60CEC6DC Time : 0.0 sec. user=mdettweiler [2018-11-20 01:07:11] 789*2^1531784-1 is not prime. Res64: FAAF54F50CE48CC2 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:28:06] 983*2^1531784-1 is not prime. Res64: FFAF669C3C922288 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:28:08] 699*2^1531785-1 is not prime. Res64: 962D63BBD565BD20 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:28:09] 741*2^1531785-1 is not prime. Res64: EEF1B6F8EB53C891 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:28:11] 787*2^1531785-1 is not prime. Res64: 43E34A61981D2017 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:28:13] 795*2^1531785-1 is not prime. Res64: A43A96FB5F895A50 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:50:47] 833*2^1531786-1 is not prime. Res64: AA2FF0CE33663159 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:50:48] 843*2^1531786-1 is not prime. Res64: D96CEF95AE3EE1D7 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:50:48] 733*2^1531787-1 is not prime. Res64: B58315CE7CA2446F Time : 0.0 sec. user=mdettweiler [2018-11-20 01:50:48] 843*2^1531787-1 is not prime. Res64: 211E8C13074FEF4A Time : 0.0 sec. user=mdettweiler [2018-11-20 01:50:50] 895*2^1531787-1 is not prime. Res64: 04C290BFC7FDAD8C Time : 0.0 sec. user=mdettweiler [2018-11-20 01:51:55] 819*2^1531785-1 is not prime. Res64: 7B05AA7FC11CFDB4 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:51:55] 919*2^1531785-1 is not prime. Res64: 97D30DD5259762FA Time : 0.0 sec. user=mdettweiler [2018-11-20 01:51:57] 603*2^1531786-1 is not prime. Res64: 1770B5D69DFA3E87 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:51:57] 675*2^1531786-1 is not prime. Res64: 87E4EEEBE900F3C6 Time : 0.0 sec. user=mdettweiler [2018-11-20 01:51:58] 713*2^1531786-1 is not prime. Res64: 42FE162E667E7843 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:00:14] 909*2^1531787-1 is not prime. Res64: 9A01E97F506AE98F Time : 0.0 sec. user=mdettweiler [2018-11-20 02:00:15] 629*2^1531788-1 is not prime. Res64: 12A5E6874C8696A9 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:00:15] 699*2^1531788-1 is not prime. Res64: 8378FC8BC00DE920 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:00:16] 723*2^1531788-1 is not prime. Res64: 76E2DD9C2D1DDDB3 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:00:17] 767*2^1531788-1 is not prime. Res64: FDB2A1AEEACB270D Time : 0.0 sec. user=mdettweiler [2018-11-20 02:20:44] 843*2^1531788-1 is not prime. Res64: 1B2E2A5CED7A913C Time : 0.0 sec. user=mdettweiler [2018-11-20 02:20:45] 975*2^1531788-1 is not prime. Res64: BF9DCB0B5203B64B Time : 0.0 sec. user=mdettweiler [2018-11-20 02:20:45] 799*2^1531789-1 is not prime. Res64: C1D4529CB8592E7C Time : 0.0 sec. user=mdettweiler [2018-11-20 02:20:47] 819*2^1531789-1 is not prime. Res64: BA219A77C759DB5A Time : 0.0 sec. user=mdettweiler [2018-11-20 02:20:48] 829*2^1531789-1 is not prime. Res64: 93A7143D76C05B81 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:10] 885*2^1531789-1 is not prime. Res64: B1B425DDA3E9A7D2 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:10] 961*2^1531789-1 is not prime. Res64: 92732F383639790F Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:11] 677*2^1531790-1 is not prime. Res64: CCD067251DB49FC9 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:11] 743*2^1531790-1 is not prime. Res64: 6EBA18064DEE0789 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:12] 785*2^1531790-1 is not prime. Res64: 2928DC1CE04E0103 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:47] 831*2^1531790-1 is not prime. Res64: 8B4BF7C030673F2B Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:48] 851*2^1531790-1 is not prime. Res64: 79F17526EC2F50C9 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:48] 921*2^1531790-1 is not prime. Res64: 1A6903342FD11072 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:48] 957*2^1531790-1 is not prime. Res64: 75E999C1C98BA97F Time : 0.0 sec. user=mdettweiler [2018-11-20 02:43:49] 981*2^1531790-1 is not prime. Res64: 5115CF5A157AFF99 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:54:16] 669*2^1531791-1 is not prime. Res64: 249D028A1B3463A5 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:54:17] 709*2^1531791-1 is not prime. Res64: 577DEE407B857707 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:54:17] 861*2^1531791-1 is not prime. Res64: D8B8EF897CF9DE09 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:54:18] 955*2^1531791-1 is not prime. Res64: 4B7B9BFEE3334387 Time : 0.0 sec. user=mdettweiler [2018-11-20 02:54:18] 975*2^1531791-1 is not prime. Res64: F1B2F90B52CF7E62 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:16:51] 605*2^1531792-1 is not prime. Res64: 796C307B250133F3 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:16:52] 609*2^1531792-1 is not prime. Res64: F52CF31546B3DE27 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:16:52] 677*2^1531792-1 is not prime. Res64: E62878C4C272EEC2 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:16:53] 917*2^1531792-1 is not prime. Res64: 750F08473EAAE13F Time : 0.0 sec. user=mdettweiler [2018-11-20 03:16:53] 999*2^1531792-1 is not prime. Res64: A3AF5131074280A8 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:39:48] 925*2^1531793-1 is not prime. Res64: D358B7246EE8D713 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:39:49] 731*2^1531794-1 is not prime. Res64: ABEAAABEF4E0CD16 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:39:49] 765*2^1531794-1 is not prime. Res64: 0D61DFD019A3CBAB Time : 0.0 sec. user=mdettweiler [2018-11-20 03:39:50] 917*2^1531794-1 is not prime. Res64: 643F3C90DFDAC782 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:39:51] 941*2^1531794-1 is not prime. Res64: 92CFB2D8C6119F9A Time : 0.0 sec. user=mdettweiler [2018-11-20 03:40:18] 631*2^1531793-1 is not prime. Res64: 8C4744D954D3D9F7 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:40:18] 741*2^1531793-1 is not prime. Res64: E696EF929D020793 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:40:19] 829*2^1531793-1 is not prime. Res64: EFE688B6582E8808 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:40:20] 855*2^1531793-1 is not prime. Res64: BE2064E02CE7A8A3 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:40:21] 867*2^1531793-1 is not prime. Res64: C8B038AED7ADD27C Time : 0.0 sec. user=mdettweiler [2018-11-20 03:52:11] 639*2^1531795-1 is not prime. Res64: B60BC329841EAF49 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:52:14] 649*2^1531795-1 is not prime. Res64: C878F9CD2B71699E Time : 0.0 sec. user=mdettweiler [2018-11-20 03:52:16] 673*2^1531795-1 is not prime. Res64: F076272A4A222550 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:52:17] 715*2^1531795-1 is not prime. Res64: C6BDA542BA86F776 Time : 0.0 sec. user=mdettweiler [2018-11-20 03:52:18] 765*2^1531795-1 is not prime. Res64: 4CFD54C3B5E13392 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:08:44] 801*2^1531795-1 is not prime. Res64: 6B8AEE0334E9E4D7 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:08:46] 873*2^1531795-1 is not prime. Res64: 6B5B5660DFF5C2E3 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:08:49] 915*2^1531795-1 is not prime. Res64: 761611205E353521 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:08:51] 969*2^1531795-1 is not prime. Res64: 4A83A367CAB5076C Time : 0.0 sec. user=mdettweiler [2018-11-20 04:08:54] 725*2^1531796-1 is not prime. Res64: FE8FF0B8FAEDEBAA Time : 0.0 sec. user=mdettweiler [2018-11-20 04:30:56] 749*2^1531796-1 is not prime. Res64: 32F334D8B333DF8F Time : 0.0 sec. user=mdettweiler [2018-11-20 04:30:57] 767*2^1531796-1 is not prime. Res64: C8C215A50B87682A Time : 0.0 sec. user=mdettweiler [2018-11-20 04:30:57] 923*2^1531796-1 is not prime. Res64: 53063768B6733C6F Time : 0.0 sec. user=mdettweiler [2018-11-20 04:30:58] 999*2^1531796-1 is not prime. Res64: 30499A840F979451 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:30:58] 607*2^1531797-1 is not prime. Res64: FDB735B8C9AEDB8F Time : 0.0 sec. user=mdettweiler [2018-11-20 04:31:27] 681*2^1531797-1 is not prime. Res64: 644B5B83713BC552 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:31:27] 781*2^1531797-1 is not prime. Res64: D42A9EE518597398 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:31:27] 819*2^1531797-1 is not prime. Res64: CAC01CFB2232172B Time : 0.0 sec. user=mdettweiler [2018-11-20 04:31:27] 829*2^1531797-1 is not prime. Res64: DBA6CCEB0023AA79 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:31:28] 945*2^1531797-1 is not prime. Res64: 1899A016C972EE33 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:43:34] 827*2^1531798-1 is not prime. Res64: 6A0EA7B2B8D53F83 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:43:34] 881*2^1531798-1 is not prime. Res64: 38B337E3F3CB815B Time : 0.0 sec. user=mdettweiler [2018-11-20 04:43:35] 923*2^1531798-1 is not prime. Res64: 2F29D3DB7A9FA5AE Time : 0.0 sec. user=mdettweiler [2018-11-20 04:43:35] 729*2^1531799-1 is not prime. Res64: 460BE9C0D737F762 Time : 0.0 sec. user=mdettweiler [2018-11-20 04:43:35] 759*2^1531799-1 is not prime. Res64: 2C95678F25D1687D Time : 0.0 sec. user=mdettweiler [2018-11-20 05:00:51] 949*2^1531799-1 is not prime. Res64: 5C258607851C8634 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:00:53] 955*2^1531799-1 is not prime. Res64: 7D0C776632FDD7A1 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:00:54] 969*2^1531799-1 is not prime. Res64: A6A68190C269862F Time : 0.0 sec. user=mdettweiler [2018-11-20 05:01:02] 635*2^1531800-1 is not prime. Res64: B5148FF8E8ECF3E4 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:01:05] 707*2^1531800-1 is not prime. Res64: DEF9C3873522BD3B Time : 0.0 sec. user=mdettweiler [2018-11-20 05:21:55] 735*2^1531800-1 is not prime. Res64: 802346CAEE193F1B Time : 0.0 sec. user=mdettweiler [2018-11-20 05:21:56] 765*2^1531800-1 is not prime. Res64: 346D310F258E33E4 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:21:56] 773*2^1531800-1 is not prime. Res64: 8BBCBBA9687AC007 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:21:56] 857*2^1531800-1 is not prime. Res64: 4C9CF55283B739D6 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:21:57] 863*2^1531800-1 is not prime. Res64: 2C3B23DB64FE01C0 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:22:33] 887*2^1531800-1 is not prime. Res64: 5873FDA579DDD05C Time : 0.0 sec. user=mdettweiler [2018-11-20 05:22:34] 915*2^1531800-1 is not prime. Res64: 2240B70B54E5C846 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:22:34] 957*2^1531800-1 is not prime. Res64: 2BE5A3E72AF1F1EA Time : 0.0 sec. user=mdettweiler [2018-11-20 05:22:34] 983*2^1531800-1 is not prime. Res64: A3A7A9F7633BB7F2 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:22:35] 705*2^1531801-1 is not prime. Res64: 417AAE6DF4483469 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:34:52] 717*2^1531801-1 is not prime. Res64: 564B9B59859A088A Time : 0.0 sec. user=mdettweiler [2018-11-20 05:34:53] 835*2^1531801-1 is not prime. Res64: DDAB4D710153D740 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:34:53] 847*2^1531801-1 is not prime. Res64: ADB3475289A78ACC Time : 0.0 sec. user=mdettweiler [2018-11-20 05:34:54] 849*2^1531801-1 is not prime. Res64: F61AD06B241B2C5F Time : 0.0 sec. user=mdettweiler [2018-11-20 05:34:54] 937*2^1531801-1 is not prime. Res64: EE7354ED286A858E Time : 0.0 sec. user=mdettweiler [2018-11-20 05:52:30] 945*2^1531801-1 is not prime. Res64: B7C6E1E3C0D71D86 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:52:30] 997*2^1531801-1 is not prime. Res64: 6456C4FAC3B465B0 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:52:30] 677*2^1531802-1 is not prime. Res64: 3058942CF9901290 Time : 0.0 sec. user=mdettweiler [2018-11-20 05:52:31] 743*2^1531802-1 is not prime. Res64: 75B3F59F527311BD Time : 0.0 sec. user=mdettweiler [2018-11-20 05:52:31] 747*2^1531802-1 is not prime. Res64: F9AD9ADC37E9CA9F Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:09] 791*2^1531802-1 is not prime. Res64: 3609FC8830625A4D Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:10] 867*2^1531802-1 is not prime. Res64: 1047B69E9F1A063F Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:10] 887*2^1531802-1 is not prime. Res64: 2F2C683C1D1F23C2 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:10] 911*2^1531802-1 is not prime. Res64: BFCF91803FD108DC Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:11] 1001*2^1531802-1 is not prime. Res64: 82F56F0587224E70 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:44] 741*2^1531803-1 is not prime. Res64: F5132E056F1FB697 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:45] 819*2^1531803-1 is not prime. Res64: 5467EE7B7BD2E8AF Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:45] 835*2^1531803-1 is not prime. Res64: 9703DA979EA2414D Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:45] 969*2^1531803-1 is not prime. Res64: 62B6C2B16DC6D4FE Time : 0.0 sec. user=mdettweiler [2018-11-20 06:13:46] 609*2^1531804-1 is not prime. Res64: 1AE681DD7AF2DD73 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:26:15] 629*2^1531804-1 is not prime. Res64: 5FC00386A4F5082E Time : 0.0 sec. user=mdettweiler [2018-11-20 06:26:15] 665*2^1531804-1 is not prime. Res64: 8D6D9BE6704ED16E Time : 0.0 sec. user=mdettweiler [2018-11-20 06:26:16] 693*2^1531804-1 is not prime. Res64: D044DE6279FE8681 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:26:16] 813*2^1531804-1 is not prime. Res64: CF425424291847CE Time : 0.0 sec. user=mdettweiler [2018-11-20 06:26:16] 873*2^1531804-1 is not prime. Res64: 6CBD2EB410CD1764 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:43:46] 875*2^1531804-1 is not prime. Res64: 4701C5B61D5343C3 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:43:47] 989*2^1531804-1 is not prime. Res64: D03BA84DB33C3865 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:43:47] 607*2^1531805-1 is not prime. Res64: 940080FEDA12C7C6 Time : 0.0 sec. user=mdettweiler [2018-11-20 06:43:47] 669*2^1531805-1 is not prime. Res64: 2CC0A5F7D3B5C5FC Time : 0.0 sec. user=mdettweiler [2018-11-20 06:43:47] 699*2^1531805-1 is not prime. Res64: 91095B5961EC1159 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:04:33] 729*2^1531805-1 is not prime. Res64: BD36AE998AF10C4D Time : 0.0 sec. user=mdettweiler [2018-11-20 07:04:34] 787*2^1531805-1 is not prime. Res64: 473D1347311B511D Time : 0.0 sec. user=mdettweiler [2018-11-20 07:04:35] 897*2^1531805-1 is not prime. Res64: D7F234731FA19726 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:04:35] 951*2^1531805-1 is not prime. Res64: E6DF494E5729CE51 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:04:36] 625*2^1531807-1 is not prime. Res64: 60CE57A8E01B3730 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:05:03] 885*2^1531807-1 is not prime. Res64: 6C6AA0015352A6BE Time : 0.0 sec. user=mdettweiler [2018-11-20 07:05:06] 919*2^1531807-1 is not prime. Res64: 1926289EF46B2460 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:05:07] 945*2^1531807-1 is not prime. Res64: ED1526E2CD19CACA Time : 0.0 sec. user=mdettweiler [2018-11-20 07:05:08] 603*2^1531808-1 is not prime. Res64: D430C54799B24861 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:05:09] 629*2^1531808-1 is not prime. Res64: 3C1066DDB0CEF373 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:19:41] 633*2^1531808-1 is not prime. Res64: EA85402DBEBBD212 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:19:42] 665*2^1531808-1 is not prime. Res64: 9575E23546CEA1B9 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:19:42] 677*2^1531808-1 is not prime. Res64: C339645C1E882416 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:19:42] 683*2^1531808-1 is not prime. Res64: 2607C6652A56354E Time : 0.0 sec. user=mdettweiler [2018-11-20 07:19:43] 699*2^1531808-1 is not prime. Res64: BCF481767CCE7675 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:35:25] 725*2^1531808-1 is not prime. Res64: 8D4BB578092B6B0D Time : 0.0 sec. user=mdettweiler [2018-11-20 07:35:26] 759*2^1531808-1 is not prime. Res64: BEB5C6C247190FFD Time : 0.0 sec. user=mdettweiler [2018-11-20 07:35:27] 803*2^1531808-1 is not prime. Res64: 23C415C4831BD5B3 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:35:27] 869*2^1531808-1 is not prime. Res64: F280844824225FB3 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:35:28] 995*2^1531808-1 is not prime. Res64: AD66ED2F65686AEF Time : 0.0 sec. user=mdettweiler [2018-11-20 07:56:34] 685*2^1531809-1 is not prime. Res64: 3A7EB0FAD0A24E34 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:56:35] 861*2^1531809-1 is not prime. Res64: 434CCBAD46C10BC4 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:56:35] 885*2^1531809-1 is not prime. Res64: 4A6DA25039CB8CC0 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:56:35] 909*2^1531809-1 is not prime. Res64: F046719FBFF62AAF Time : 0.0 sec. user=mdettweiler [2018-11-20 07:56:36] 945*2^1531809-1 is not prime. Res64: 5D9E3F4B08731660 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:57:29] 605*2^1531810-1 is not prime. Res64: 40D5032FE2838D9A Time : 0.0 sec. user=mdettweiler [2018-11-20 07:57:31] 657*2^1531810-1 is not prime. Res64: 9BC8047A362B8706 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:57:31] 723*2^1531810-1 is not prime. Res64: EE4E676AAB711021 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:57:32] 783*2^1531810-1 is not prime. Res64: F43E62894F556524 Time : 0.0 sec. user=mdettweiler [2018-11-20 07:57:32] 833*2^1531810-1 is not prime. Res64: AC86218D18505DB0 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:15:43] 885*2^1531810-1 is not prime. Res64: 5DB0CFA8FE7814AA Time : 0.0 sec. user=mdettweiler [2018-11-20 08:15:43] 887*2^1531810-1 is not prime. Res64: 47402DCF7E5084D8 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:15:43] 951*2^1531810-1 is not prime. Res64: 2D4785B8D9F647E6 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:15:44] 619*2^1531811-1 is not prime. Res64: 16BA618DB16E0139 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:15:44] 643*2^1531811-1 is not prime. Res64: 14E978C0E5C10C45 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:27:41] 663*2^1531811-1 is not prime. Res64: 953A962F48A3C3EF Time : 0.0 sec. user=mdettweiler [2018-11-20 08:27:42] 741*2^1531811-1 is not prime. Res64: E46F2AAACCE42894 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:27:42] 781*2^1531811-1 is not prime. Res64: 90867629B47A0E80 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:27:42] 841*2^1531811-1 is not prime. Res64: 5B36286C64955CEA Time : 0.0 sec. user=mdettweiler [2018-11-20 08:27:43] 921*2^1531811-1 is not prime. Res64: C2F58C49B7866E9D Time : 0.0 sec. user=mdettweiler [2018-11-20 08:48:16] 609*2^1531812-1 is not prime. Res64: 2614F8C9F74CFE1A Time : 0.0 sec. user=mdettweiler [2018-11-20 08:48:16] 627*2^1531812-1 is not prime. Res64: 4FF1E0EAA029764B Time : 0.0 sec. user=mdettweiler [2018-11-20 08:48:17] 753*2^1531812-1 is not prime. Res64: 63F42363CA96CFDF Time : 0.0 sec. user=mdettweiler [2018-11-20 08:48:18] 797*2^1531812-1 is not prime. Res64: F80C066D2D9EF964 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:48:19] 825*2^1531812-1 is not prime. Res64: 375F1DAAA9C3C33D Time : 0.0 sec. user=mdettweiler [2018-11-20 08:49:09] 899*2^1531812-1 is not prime. Res64: D352DEE7960E7289 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:49:09] 615*2^1531813-1 is not prime. Res64: 0BEEFC554B865AC8 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:49:10] 741*2^1531813-1 is not prime. Res64: 1DBE16D494F05D34 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:49:10] 757*2^1531813-1 is not prime. Res64: 96F2CC094B86E753 Time : 0.0 sec. user=mdettweiler [2018-11-20 08:49:10] 915*2^1531813-1 is not prime. Res64: 486E324E0F6C422F Time : 0.0 sec. user=mdettweiler [2018-11-20 09:07:11] 939*2^1531813-1 is not prime. Res64: 1B7B4A28B7038299 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:07:13] 961*2^1531813-1 is not prime. Res64: 34FA85A47F51E84E Time : 0.0 sec. user=mdettweiler [2018-11-20 09:07:14] 999*2^1531813-1 is not prime. Res64: 57E884164A9CE718 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:07:15] 623*2^1531814-1 is not prime. Res64: C54FFB466F0CDEF7 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:07:16] 731*2^1531814-1 is not prime. Res64: 7AAF11E626B3CC1B Time : 0.0 sec. user=mdettweiler [2018-11-20 09:19:34] 885*2^1531814-1 is not prime. Res64: 54905AB340D5FCA0 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:19:34] 941*2^1531814-1 is not prime. Res64: FBAF5A4B87C5A7CF Time : 0.0 sec. user=mdettweiler [2018-11-20 09:19:35] 945*2^1531814-1 is not prime. Res64: BFEDB90443AA9FF5 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:19:35] 601*2^1531815-1 is not prime. Res64: 16D77700629EB6C6 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:19:36] 693*2^1531815-1 is not prime. Res64: DF0D72F72B5D3B5C Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:27] 775*2^1531815-1 is not prime. Res64: 87CAD94BC917E0F7 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:27] 829*2^1531815-1 is not prime. Res64: A67EFD88C1BAECCF Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:28] 865*2^1531815-1 is not prime. Res64: 2852A3E0F2AB71E0 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:28] 871*2^1531815-1 is not prime. Res64: 4C5D948AAD54CBEE Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:28] 919*2^1531815-1 is not prime. Res64: 7FA1508917D93011 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:35] 969*2^1531815-1 is not prime. Res64: 1B9F55B02E3A3E82 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:35] 603*2^1531816-1 is not prime. Res64: B95D57B93EA21D08 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:35] 623*2^1531816-1 is not prime. Res64: FF03B77A9539ECB0 Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:36] 657*2^1531816-1 is not prime. Res64: 34D3845F5F022CCE Time : 0.0 sec. user=mdettweiler [2018-11-20 09:40:36] 719*2^1531816-1 is not prime. Res64: B67437CBAEAC53BE Time : 0.0 sec. user=mdettweiler [2018-11-20 10:00:15] 899*2^1531816-1 is not prime. Res64: 6B79BCA70D8C7EA7 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:00:17] 969*2^1531816-1 is not prime. Res64: 6A6CBE43E1B80C49 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:00:20] 975*2^1531816-1 is not prime. Res64: 789E3706FE5C7F25 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:00:22] 989*2^1531816-1 is not prime. Res64: 4DD0C2B1FBEDCF6E Time : 0.0 sec. user=mdettweiler [2018-11-20 10:00:25] 645*2^1531817-1 is not prime. Res64: 843188566A4FFFC6 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:11:51] 747*2^1531817-1 is not prime. Res64: 6C2AECE6FCCF17BE Time : 0.0 sec. user=mdettweiler [2018-11-20 10:11:51] 759*2^1531817-1 is not prime. Res64: EFDCD20BE78E1DE2 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:11:51] 847*2^1531817-1 is not prime. Res64: 6151D7A50EDE20DB Time : 0.0 sec. user=mdettweiler [2018-11-20 10:11:52] 865*2^1531817-1 is not prime. Res64: 96AFB5C4BA8AECA9 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:11:52] 949*2^1531817-1 is not prime. Res64: 4E2B6B81A542D6E2 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:32:26] 605*2^1531818-1 is not prime. Res64: 0DCAC80106D53DC2 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:32:28] 621*2^1531818-1 is not prime. Res64: 71A853CEA3E604E5 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:32:28] 713*2^1531818-1 is not prime. Res64: 3D27963AEAD06A94 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:32:28] 815*2^1531818-1 is not prime. Res64: 7DDF0B9971CB5BEC Time : 0.0 sec. user=mdettweiler [2018-11-20 10:32:29] 867*2^1531818-1 is not prime. Res64: 147CE1F6452989B0 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:34:08] 891*2^1531818-1 is not prime. Res64: 33036427E55CB2A8 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:34:10] 645*2^1531819-1 is not prime. Res64: 3B36A2DD76EED367 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:34:10] 723*2^1531819-1 is not prime. Res64: 6B10FC008DDC7D68 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:34:11] 733*2^1531819-1 is not prime. Res64: A01F365FC1E1FD69 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:34:12] 835*2^1531819-1 is not prime. Res64: 23FD0EB82FD2479F Time : 0.0 sec. user=mdettweiler [2018-11-20 10:53:05] 895*2^1531819-1 is not prime. Res64: EBF20D82F612A516 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:53:05] 717*2^1531820-1 is not prime. Res64: BD6F1684619036C7 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:53:05] 777*2^1531820-1 is not prime. Res64: 51A9928A667EDA22 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:53:05] 839*2^1531820-1 is not prime. Res64: 2B67BF8A0F3364F7 Time : 0.0 sec. user=mdettweiler [2018-11-20 10:53:06] 875*2^1531820-1 is not prime. Res64: 0E3473591D4AAFA9 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:03:14] 957*2^1531820-1 is not prime. Res64: 2CDDB131CAD70DA5 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:03:15] 963*2^1531820-1 is not prime. Res64: 29BC99FEFA9F2B0D Time : 0.0 sec. user=mdettweiler [2018-11-20 11:03:17] 625*2^1531821-1 is not prime. Res64: 45ABFE269A6F8F48 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:03:18] 649*2^1531821-1 is not prime. Res64: A614F225461305AC Time : 0.0 sec. user=mdettweiler [2018-11-20 11:03:19] 657*2^1531821-1 is not prime. Res64: FA57479692F0392C Time : 0.0 sec. user=mdettweiler [2018-11-20 11:24:27] 789*2^1531821-1 is not prime. Res64: DA98DC9306C3E781 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:24:27] 861*2^1531821-1 is not prime. Res64: A3471947C532F89E Time : 0.0 sec. user=mdettweiler [2018-11-20 11:24:27] 877*2^1531821-1 is not prime. Res64: 3F9ED55524579FF6 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:24:27] 889*2^1531821-1 is not prime. Res64: 8ABA0062032F5721 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:24:28] 603*2^1531822-1 is not prime. Res64: E37457748A0AF970 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:27:18] 675*2^1531822-1 is not prime. Res64: C842099C78E26FAF Time : 0.0 sec. user=mdettweiler [2018-11-20 11:27:19] 713*2^1531822-1 is not prime. Res64: AB6F1E5094989094 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:27:19] 717*2^1531822-1 is not prime. Res64: 6B847D330E3B81B6 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:27:19] 741*2^1531822-1 is not prime. Res64: 5EF084ABC511C91B Time : 0.0 sec. user=mdettweiler [2018-11-20 11:27:19] 917*2^1531822-1 is not prime. Res64: C43F6B89ECA44449 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:45:34] 923*2^1531822-1 is not prime. Res64: 8D1C5C6BA5BEFC14 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:45:34] 965*2^1531822-1 is not prime. Res64: 6E33DAEE5F565E4F Time : 0.0 sec. user=mdettweiler [2018-11-20 11:45:35] 663*2^1531823-1 is not prime. Res64: 41E8ED1A3821CEA2 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:45:35] 759*2^1531823-1 is not prime. Res64: BC0E6B95C1DDFBB1 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:45:35] 789*2^1531823-1 is not prime. Res64: 3B9645842D6A17CE Time : 0.0 sec. user=mdettweiler [2018-11-20 11:56:33] 811*2^1531823-1 is not prime. Res64: E07F2CE45F2B8756 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:56:33] 699*2^1531824-1 is not prime. Res64: 75C35A69A1FD5D3A Time : 0.0 sec. user=mdettweiler [2018-11-20 11:56:33] 725*2^1531824-1 is not prime. Res64: A9BC4E37A1EA2ED6 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:56:33] 765*2^1531824-1 is not prime. Res64: E223133BD4872868 Time : 0.0 sec. user=mdettweiler [2018-11-20 11:56:34] 825*2^1531824-1 is not prime. Res64: 4BEED887078B0678 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:16:26] 893*2^1531824-1 is not prime. Res64: C62F3EAD7DF4A403 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:16:26] 927*2^1531824-1 is not prime. Res64: 142EBC1E206CA4B3 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:16:27] 691*2^1531825-1 is not prime. Res64: 08D9C545EA000B0D Time : 0.0 sec. user=mdettweiler [2018-11-20 12:16:27] 831*2^1531825-1 is not prime. Res64: B14EF33197E56E8D Time : 0.0 sec. user=mdettweiler [2018-11-20 12:16:27] 937*2^1531825-1 is not prime. Res64: 6850A23A5BB0ED92 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:19:17] 633*2^1531826-1 is not prime. Res64: AAEC9EF784C110AD Time : 0.0 sec. user=mdettweiler [2018-11-20 12:19:18] 645*2^1531826-1 is not prime. Res64: E324F0F689ED6098 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:19:18] 705*2^1531826-1 is not prime. Res64: 2564E672B4060BE1 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:19:19] 843*2^1531826-1 is not prime. Res64: 79825E344A5F3C00 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:19:19] 917*2^1531826-1 is not prime. Res64: AAC42F6D819DE81C Time : 0.0 sec. user=mdettweiler [2018-11-20 12:37:51] 711*2^1531827-1 is not prime. Res64: B08645EAF211E532 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:37:51] 805*2^1531827-1 is not prime. Res64: 008091BFB92BFED2 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:37:51] 843*2^1531827-1 is not prime. Res64: 0EF91E0C5FAEFF2E Time : 0.0 sec. user=mdettweiler [2018-11-20 12:37:52] 605*2^1531828-1 is not prime. Res64: 5BE6AE52B7F7CBF5 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:37:52] 623*2^1531828-1 is not prime. Res64: A5718592A273C92F Time : 0.0 sec. user=mdettweiler [2018-11-20 12:47:58] 657*2^1531828-1 is not prime. Res64: D792F48A7EC56539 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:47:59] 677*2^1531828-1 is not prime. Res64: 72DB9AF741F021E7 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:47:59] 695*2^1531828-1 is not prime. Res64: 540209E83266949C Time : 0.0 sec. user=mdettweiler [2018-11-20 12:47:59] 827*2^1531828-1 is not prime. Res64: 516DBDDFB815AD55 Time : 0.0 sec. user=mdettweiler [2018-11-20 12:47:59] 855*2^1531828-1 is not prime. Res64: E4520751602CF9AB Time : 0.0 sec. user=mdettweiler [2018-11-20 13:08:21] 875*2^1531828-1 is not prime. Res64: D9ED9BC036E4AF83 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:08:22] 899*2^1531828-1 is not prime. Res64: 13C2A535EA053DAC Time : 0.0 sec. user=mdettweiler [2018-11-20 13:08:23] 621*2^1531829-1 is not prime. Res64: BAE29DE405F174F6 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:08:23] 759*2^1531829-1 is not prime. Res64: D3AAE7F8BE43B8D4 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:08:23] 889*2^1531829-1 is not prime. Res64: 5F1093F57C5949CD Time : 0.0 sec. user=mdettweiler [2018-11-20 13:10:59] 987*2^1531829-1 is not prime. Res64: 2E0A4EF13DB70DE8 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:11:00] 635*2^1531830-1 is not prime. Res64: 907EB5814C307D22 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:11:01] 665*2^1531830-1 is not prime. Res64: 045706B0CC59D3E8 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:11:02] 717*2^1531830-1 is not prime. Res64: F548A90337FEDF0D Time : 0.0 sec. user=mdettweiler [2018-11-20 13:11:02] 917*2^1531830-1 is not prime. Res64: 01E638234DB57240 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:29:16] 941*2^1531830-1 is not prime. Res64: 624D4DACE567D887 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:29:17] 971*2^1531830-1 is not prime. Res64: 39D98B313DC45995 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:29:17] 651*2^1531831-1 is not prime. Res64: 4E96EA516536D900 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:29:18] 685*2^1531831-1 is not prime. Res64: 8F0FBE26A74878BC Time : 0.0 sec. user=mdettweiler [2018-11-20 13:29:19] 775*2^1531831-1 is not prime. Res64: 8B40982DBE156472 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:39:43] 813*2^1531831-1 is not prime. Res64: A2B231421D16455A Time : 0.0 sec. user=mdettweiler [2018-11-20 13:39:43] 885*2^1531831-1 is not prime. Res64: 3CD59B43A11C1987 Time : 0.0 sec. user=mdettweiler [2018-11-20 13:39:43] 939*2^1531831-1 is not prime. Res64: 97B30B36DA9AF2DD Time : 0.0 sec. user=mdettweiler [2018-11-20 13:39:43] 999*2^1531831-1 is not prime. Res64: A8B542C89DCE1B7C Time : 0.0 sec. user=mdettweiler [2018-11-20 13:39:44] 617*2^1531832-1 is not prime. Res64: 7CB3D8EBA2B0C78F Time : 0.0 sec. user=mdettweiler [2018-11-20 14:00:09] 683*2^1531832-1 is not prime. Res64: 1373419948240C27 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:00:10] 797*2^1531832-1 is not prime. Res64: CC27FF41F2344F03 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:00:11] 903*2^1531832-1 is not prime. Res64: 7130064636A5B472 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:00:12] 929*2^1531832-1 is not prime. Res64: 0FB94622E6222FFA Time : 0.0 sec. user=mdettweiler [2018-11-20 14:00:13] 615*2^1531833-1 is not prime. Res64: BFD458D082CA2919 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:02:44] 627*2^1531833-1 is not prime. Res64: 11B7024F01DD47CD Time : 0.0 sec. user=mdettweiler [2018-11-20 14:02:45] 705*2^1531833-1 is not prime. Res64: C5D0551556A4A069 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:02:46] 727*2^1531833-1 is not prime. Res64: 35CF3A3B94A4D469 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:02:47] 795*2^1531833-1 is not prime. Res64: 1224AFBB95FDB137 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:02:48] 807*2^1531833-1 is not prime. Res64: 5D628A22CD5060C4 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:21:10] 819*2^1531833-1 is not prime. Res64: 9723B01AE77991EC Time : 0.0 sec. user=mdettweiler [2018-11-20 14:21:11] 835*2^1531833-1 is not prime. Res64: 93BD2652BB1E8F9D Time : 0.0 sec. user=mdettweiler [2018-11-20 14:21:11] 885*2^1531833-1 is not prime. Res64: 7F4F75A52C0A71C5 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:21:11] 681*2^1531834-1 is not prime. Res64: 6E0AD08EB469502E Time : 0.0 sec. user=mdettweiler [2018-11-20 14:21:11] 687*2^1531834-1 is not prime. Res64: 144E9059472CE46D Time : 0.0 sec. user=mdettweiler [2018-11-20 14:31:17] 717*2^1531834-1 is not prime. Res64: 5B7ACFC360294D1B Time : 0.0 sec. user=mdettweiler [2018-11-20 14:31:17] 741*2^1531834-1 is not prime. Res64: FB6BC5BE2498AC7D Time : 0.0 sec. user=mdettweiler [2018-11-20 14:31:17] 791*2^1531834-1 is not prime. Res64: 9CE2CC162A920A54 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:31:17] 861*2^1531834-1 is not prime. Res64: 9823C1E98F5E94CD Time : 0.0 sec. user=mdettweiler [2018-11-20 14:31:18] 887*2^1531834-1 is not prime. Res64: EB1F7E3DF4D1A19A Time : 0.0 sec. user=mdettweiler [2018-11-20 14:51:51] 619*2^1531835-1 is not prime. Res64: D03BF9507A33DDD7 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:51:51] 679*2^1531835-1 is not prime. Res64: 84E68E0C6DD09E1A Time : 0.0 sec. user=mdettweiler [2018-11-20 14:51:51] 735*2^1531835-1 is not prime. Res64: 3B29693C123A2A2B Time : 0.0 sec. user=mdettweiler [2018-11-20 14:51:52] 759*2^1531835-1 is not prime. Res64: 181DBCB5E9C6D516 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:51:52] 801*2^1531835-1 is not prime. Res64: 8E83AECE86B60DD3 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:55:09] 759*2^1531836-1 is not prime. Res64: F8FCE82378D353F6 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:55:09] 639*2^1531837-1 is not prime. Res64: F43A2C673CAB8AC0 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:55:09] 777*2^1531837-1 is not prime. Res64: A95F4F125632048C Time : 0.0 sec. user=mdettweiler [2018-11-20 14:55:10] 801*2^1531837-1 is not prime. Res64: 09A16085AD37C729 Time : 0.0 sec. user=mdettweiler [2018-11-20 14:55:10] 847*2^1531837-1 is not prime. Res64: BAACA145C99C893D Time : 0.0 sec. user=mdettweiler [2018-11-20 15:13:22] 871*2^1531837-1 is not prime. Res64: 55C56A475DB3341F Time : 0.0 sec. user=mdettweiler [2018-11-20 15:13:22] 889*2^1531837-1 is not prime. Res64: D180BD381F16AA60 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:13:23] 931*2^1531837-1 is not prime. Res64: 7E4571961AB1A484 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:13:23] 997*2^1531837-1 is not prime. Res64: 03BE019293B61D43 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:13:23] 771*2^1531838-1 is not prime. Res64: 0A12E0EA91D221D8 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:22:42] 791*2^1531838-1 is not prime. Res64: 68269B2DDD9C5D38 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:22:42] 831*2^1531838-1 is not prime. Res64: 20E910943B129F84 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:22:43] 887*2^1531838-1 is not prime. Res64: DC6F854841FF3743 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:22:43] 911*2^1531838-1 is not prime. Res64: B13284592891F6E9 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:22:43] 977*2^1531838-1 is not prime. Res64: 04EBC6EA8B57A2C2 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:43:22] 711*2^1531839-1 is not prime. Res64: 44BE79620BFED57A Time : 0.0 sec. user=mdettweiler [2018-11-20 15:43:23] 735*2^1531839-1 is not prime. Res64: 25096331613C661D Time : 0.0 sec. user=mdettweiler [2018-11-20 15:43:23] 769*2^1531839-1 is not prime. Res64: FAB5E95F4B332B96 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:43:23] 951*2^1531839-1 is not prime. Res64: A2F11EA72FB46631 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:43:23] 985*2^1531839-1 is not prime. Res64: 946C46F18E623044 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:47:01] 735*2^1531840-1 is not prime. Res64: 16FA756924347C9A Time : 0.0 sec. user=mdettweiler [2018-11-20 15:47:02] 759*2^1531840-1 is not prime. Res64: 987A05512C405679 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:47:03] 933*2^1531840-1 is not prime. Res64: C026E23E592B0B7A Time : 0.0 sec. user=mdettweiler [2018-11-20 15:47:04] 669*2^1531841-1 is not prime. Res64: 9B749E092691E140 Time : 0.0 sec. user=mdettweiler [2018-11-20 15:47:04] 861*2^1531841-1 is not prime. Res64: 8708F16CB9A10C2D Time : 0.0 sec. user=mdettweiler [2018-11-20 16:05:19] 889*2^1531841-1 is not prime. Res64: 012A68254A9F1F40 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:05:20] 907*2^1531841-1 is not prime. Res64: DDA4DED617E681BF Time : 0.0 sec. user=mdettweiler [2018-11-20 16:05:21] 931*2^1531841-1 is not prime. Res64: 333E361407695F30 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:05:22] 945*2^1531841-1 is not prime. Res64: 6CC25361524527C5 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:05:23] 957*2^1531841-1 is not prime. Res64: 53E60B2555236980 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:14:36] 843*2^1531842-1 is not prime. Res64: C33F2915AE3B0075 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:14:37] 947*2^1531842-1 is not prime. Res64: CA3DAE1A83234ADF Time : 0.0 sec. user=mdettweiler [2018-11-20 16:14:37] 951*2^1531842-1 is not prime. Res64: 3D52E402230A06C1 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:14:37] 975*2^1531842-1 is not prime. Res64: C94B16A9AC2340E8 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:14:37] 679*2^1531843-1 is not prime. Res64: CBA3B42B85B004C5 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:35:28] 723*2^1531843-1 is not prime. Res64: 489F4AE879D599D9 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:35:29] 741*2^1531843-1 is not prime. Res64: 1943413EDAB0571D Time : 0.0 sec. user=mdettweiler [2018-11-20 16:35:29] 783*2^1531843-1 is not prime. Res64: 8B73732A0DAB5219 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:35:29] 829*2^1531843-1 is not prime. Res64: C7203D38B86F5BF0 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:35:29] 871*2^1531843-1 is not prime. Res64: 8DDA7C7E5FC980F9 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:39:12] 883*2^1531843-1 is not prime. Res64: A3B04465CA399B96 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:39:13] 919*2^1531843-1 is not prime. Res64: 3DF09BDF73245138 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:39:13] 973*2^1531843-1 is not prime. Res64: 01AC3305C216D5FB Time : 0.0 sec. user=mdettweiler [2018-11-20 16:39:13] 759*2^1531844-1 is not prime. Res64: 1F316E66C55C3C61 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:39:13] 893*2^1531844-1 is not prime. Res64: CCBFB9BA472B43BE Time : 0.0 sec. user=mdettweiler [2018-11-20 16:57:29] 935*2^1531844-1 is not prime. Res64: 88C627E946F8DAD7 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:57:30] 685*2^1531845-1 is not prime. Res64: 5E4B334F170B9286 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:57:30] 727*2^1531845-1 is not prime. Res64: CE7E04D763258619 Time : 0.0 sec. user=mdettweiler [2018-11-20 16:57:30] 819*2^1531845-1 is not prime. Res64: 0210E7AE5BEF17FC Time : 0.0 sec. user=mdettweiler [2018-11-20 16:57:30] 861*2^1531845-1 is not prime. Res64: 99DDD7754F59BFD6 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:06:21] 999*2^1531845-1 is not prime. Res64: 41DC275B996C880F Time : 0.0 sec. user=mdettweiler [2018-11-20 17:06:22] 645*2^1531846-1 is not prime. Res64: 6DD2B8C2BE826269 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:06:25] 657*2^1531846-1 is not prime. Res64: F6AF764067C18F95 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:06:26] 755*2^1531846-1 is not prime. Res64: 9700E81B126C28B5 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:06:28] 821*2^1531846-1 is not prime. Res64: C47C152820B1998B Time : 0.0 sec. user=mdettweiler [2018-11-20 17:27:29] 833*2^1531846-1 is not prime. Res64: 90DE845DF14D4EDC Time : 0.0 sec. user=mdettweiler [2018-11-20 17:27:30] 897*2^1531846-1 is not prime. Res64: 55EAD0121BB97CC6 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:27:30] 911*2^1531846-1 is not prime. Res64: 7F4785A4C0D65B3D Time : 0.0 sec. user=mdettweiler [2018-11-20 17:27:30] 971*2^1531846-1 is not prime. Res64: 7C57F9E80FCF0237 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:27:30] 975*2^1531846-1 is not prime. Res64: D3AD9A00F6044A24 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:31:15] 655*2^1531847-1 is not prime. Res64: 8C6947501FE5137A Time : 0.0 sec. user=mdettweiler [2018-11-20 17:31:16] 813*2^1531847-1 is not prime. Res64: E4E97A3AE96B6E1D Time : 0.0 sec. user=mdettweiler [2018-11-20 17:31:16] 825*2^1531847-1 is not prime. Res64: 546AC94152E4FD0F Time : 0.0 sec. user=mdettweiler [2018-11-20 17:31:16] 981*2^1531847-1 is not prime. Res64: A924D94622D77C9F Time : 0.0 sec. user=mdettweiler [2018-11-20 17:31:17] 723*2^1531848-1 is not prime. Res64: 9E922DF39E90AB9E Time : 0.0 sec. user=mdettweiler [2018-11-20 17:49:38] 797*2^1531848-1 is not prime. Res64: D256D54ADAA443EF Time : 0.0 sec. user=mdettweiler [2018-11-20 17:49:39] 849*2^1531848-1 is not prime. Res64: 0892BE2758A13BE8 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:49:39] 879*2^1531848-1 is not prime. Res64: BC6A623904206BD4 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:49:39] 893*2^1531848-1 is not prime. Res64: C3FF1FC52602B211 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:49:39] 609*2^1531849-1 is not prime. Res64: DCC28B4C1C99EA4E Time : 0.0 sec. user=mdettweiler [2018-11-20 17:58:52] 639*2^1531849-1 is not prime. Res64: FF28767EA476C4CD Time : 0.0 sec. user=mdettweiler [2018-11-20 17:58:53] 661*2^1531849-1 is not prime. Res64: 0E83952CCD04E4D4 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:58:53] 687*2^1531849-1 is not prime. Res64: C2A24FEB46502015 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:58:53] 741*2^1531849-1 is not prime. Res64: CDF3A72DC5EC65D5 Time : 0.0 sec. user=mdettweiler [2018-11-20 17:58:54] 765*2^1531849-1 is not prime. Res64: E4468718EF4E822D Time : 0.0 sec. user=mdettweiler [2018-11-20 18:21:13] 867*2^1531849-1 is not prime. Res64: 55E28B63AC545824 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:21:14] 885*2^1531849-1 is not prime. Res64: 8F0DA28147C3A630 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:21:14] 931*2^1531849-1 is not prime. Res64: B80DECE6B07B239B Time : 0.0 sec. user=mdettweiler [2018-11-20 18:21:14] 985*2^1531849-1 is not prime. Res64: 54CC1531211D0191 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:21:15] 603*2^1531850-1 is not prime. Res64: 29C67E8E8D33B32D Time : 0.0 sec. user=mdettweiler [2018-11-20 18:25:11] 645*2^1531850-1 is not prime. Res64: 26773D44C22072BB Time : 0.0 sec. user=mdettweiler [2018-11-20 18:25:11] 731*2^1531850-1 is not prime. Res64: F4533CACCCE31EF2 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:25:11] 743*2^1531850-1 is not prime. Res64: E3E8A76F3D378568 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:25:12] 831*2^1531850-1 is not prime. Res64: 72A6A7789E41D272 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:25:12] 851*2^1531850-1 is not prime. Res64: 368FE1A7346BF005 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:43:07] 953*2^1531850-1 is not prime. Res64: 28258D69DAA8615B Time : 0.0 sec. user=mdettweiler [2018-11-20 18:43:07] 987*2^1531850-1 is not prime. Res64: F6D3ED722C83B3AB Time : 0.0 sec. user=mdettweiler [2018-11-20 18:43:07] 609*2^1531851-1 is not prime. Res64: E263235AFED508DD Time : 0.0 sec. user=mdettweiler [2018-11-20 18:43:08] 735*2^1531851-1 is not prime. Res64: 3568FD8B4DD7A9B6 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:43:08] 783*2^1531851-1 is not prime. Res64: D78C60DAD8D00EC3 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:51:50] 789*2^1531851-1 is not prime. Res64: B7C9EDBAB3EAE2C9 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:51:50] 931*2^1531851-1 is not prime. Res64: 3C5E10E89F5646F3 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:51:51] 969*2^1531851-1 is not prime. Res64: 045924D9E3DA471C Time : 0.0 sec. user=mdettweiler [2018-11-20 18:51:51] 615*2^1531852-1 is not prime. Res64: 59FB761EE1513135 Time : 0.0 sec. user=mdettweiler [2018-11-20 18:51:51] 623*2^1531852-1 is not prime. Res64: 6BDE61054429B3BA Time : 0.0 sec. user=mdettweiler [2018-11-20 19:12:43] 885*2^1531852-1 is not prime. Res64: AEE2FF036316ACD1 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:12:44] 899*2^1531852-1 is not prime. Res64: EEFBC505FF38EA99 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:12:45] 915*2^1531852-1 is not prime. Res64: 2D24E348069DB5A8 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:12:45] 959*2^1531852-1 is not prime. Res64: FCBBF2092220C003 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:12:46] 801*2^1531853-1 is not prime. Res64: 3738E8CEABA9D98E Time : 0.0 sec. user=mdettweiler [2018-11-20 19:17:24] 829*2^1531853-1 is not prime. Res64: 3B5CA65B54C83F51 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:17:25] 807*2^1531854-1 is not prime. Res64: 2830BC6AFEA6C6FE Time : 0.0 sec. user=mdettweiler [2018-11-20 19:17:26] 821*2^1531854-1 is not prime. Res64: FAB93F92BAC6E4ED Time : 0.0 sec. user=mdettweiler [2018-11-20 19:17:26] 873*2^1531854-1 is not prime. Res64: F3D5A5DFDBBEB373 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:17:27] 891*2^1531854-1 is not prime. Res64: 2512E6082687F986 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:36:31] 903*2^1531854-1 is not prime. Res64: 61AFD3C49CD4E15E Time : 0.0 sec. user=mdettweiler [2018-11-20 19:36:31] 971*2^1531854-1 is not prime. Res64: 84BED7CF5BCDD581 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:36:32] 685*2^1531855-1 is not prime. Res64: 89FEFAF91E57C36A Time : 0.0 sec. user=mdettweiler [2018-11-20 19:36:32] 735*2^1531855-1 is not prime. Res64: 6887B6432EF4C95B Time : 0.0 sec. user=mdettweiler [2018-11-20 19:36:32] 763*2^1531855-1 is not prime. Res64: 1845590D9585922D Time : 0.0 sec. user=mdettweiler [2018-11-20 19:45:31] 819*2^1531855-1 is not prime. Res64: 8E4CE10398E84385 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:45:32] 885*2^1531855-1 is not prime. Res64: B30B9C8C2A284F21 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:45:32] 915*2^1531855-1 is not prime. Res64: 79283CFAEFED4D4D Time : 0.0 sec. user=mdettweiler [2018-11-20 19:45:33] 663*2^1531856-1 is not prime. Res64: B88A6D6732583E65 Time : 0.0 sec. user=mdettweiler [2018-11-20 19:45:33] 735*2^1531856-1 is not prime. Res64: 8DD36CBAED404F5E Time : 0.0 sec. user=mdettweiler [2018-11-20 20:06:02] 767*2^1531856-1 is not prime. Res64: 05C7D41E1D2071E6 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:06:05] 873*2^1531856-1 is not prime. Res64: C07492BBAC168259 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:06:07] 637*2^1531857-1 is not prime. Res64: A18375202F99621A Time : 0.0 sec. user=mdettweiler [2018-11-20 20:06:10] 781*2^1531857-1 is not prime. Res64: 01D64AF9C209B45C Time : 0.0 sec. user=mdettweiler [2018-11-20 20:06:13] 865*2^1531857-1 is not prime. Res64: 9F2D6BF6DBBF384A Time : 0.0 sec. user=mdettweiler [2018-11-20 20:10:46] 871*2^1531857-1 is not prime. Res64: 781F63DB17D09FC6 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:10:47] 915*2^1531857-1 is not prime. Res64: B59CB67A05265CAE Time : 0.0 sec. user=mdettweiler [2018-11-20 20:10:48] 603*2^1531858-1 is not prime. Res64: F41FD3E41B4F9DBB Time : 0.0 sec. user=mdettweiler [2018-11-20 20:10:49] 647*2^1531858-1 is not prime. Res64: E055BF4A64EB8C4A Time : 0.0 sec. user=mdettweiler [2018-11-20 20:10:49] 657*2^1531858-1 is not prime. Res64: 50509F6F30757B75 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:28:46] 723*2^1531858-1 is not prime. Res64: 577BCA3100C77DA2 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:28:46] 737*2^1531858-1 is not prime. Res64: 8B790E84ECA304A7 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:28:46] 765*2^1531858-1 is not prime. Res64: D5C891D7BDDE0BF7 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:28:47] 777*2^1531858-1 is not prime. Res64: 3E83DCBED629263A Time : 0.0 sec. user=mdettweiler [2018-11-20 20:28:47] 843*2^1531858-1 is not prime. Res64: 07B174004DE4F74C Time : 0.0 sec. user=mdettweiler [2018-11-20 20:37:28] 887*2^1531858-1 is not prime. Res64: 42F41200F0B39965 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:37:29] 945*2^1531858-1 is not prime. Res64: 3F10D38F7644DF36 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:37:29] 609*2^1531859-1 is not prime. Res64: 40A9EC849FB523C4 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:37:29] 631*2^1531859-1 is not prime. Res64: 2D3F4E9F5BCAD019 Time : 0.0 sec. user=mdettweiler [2018-11-20 20:37:30] 645*2^1531859-1 is not prime. Res64: 35EB08BE519217A0 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:00:43] 861*2^1531859-1 is not prime. Res64: D201AA4BA4B3101D Time : 0.0 sec. user=mdettweiler [2018-11-20 21:00:45] 609*2^1531860-1 is not prime. Res64: A1B72216DC914DFD Time : 0.0 sec. user=mdettweiler [2018-11-20 21:00:46] 929*2^1531860-1 is not prime. Res64: C0DF6F2AB4ED6997 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:00:48] 601*2^1531861-1 is not prime. Res64: FFFF827241D9CBC1 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:00:50] 745*2^1531861-1 is not prime. Res64: 0C87159D2F4BBA45 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:09:54] 861*2^1531861-1 is not prime. Res64: 00359AC4255ADD0D Time : 0.0 sec. user=mdettweiler [2018-11-20 21:09:54] 979*2^1531861-1 is not prime. Res64: CC7DD73A9870A49F Time : 0.0 sec. user=mdettweiler [2018-11-20 21:09:55] 665*2^1531862-1 is not prime. Res64: AAF96662F3C68EB4 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:09:56] 893*2^1531862-1 is not prime. Res64: 501A669D05A6AFF5 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:09:56] 963*2^1531862-1 is not prime. Res64: 060F81B2B18023F5 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:23:56] 981*2^1531862-1 is not prime. Res64: A99D31128C2DAE04 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:23:57] 625*2^1531863-1 is not prime. Res64: 358B737E2B74B468 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:23:57] 663*2^1531863-1 is not prime. Res64: BBD6DE04610EA704 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:23:58] 723*2^1531863-1 is not prime. Res64: 1A116F786A4D7422 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:23:58] 735*2^1531863-1 is not prime. Res64: 2C69BC267C9D79D6 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:31:26] 741*2^1531863-1 is not prime. Res64: E06CF5DCB6ECB802 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:31:26] 789*2^1531863-1 is not prime. Res64: B84DB43A046D5206 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:31:27] 823*2^1531863-1 is not prime. Res64: C3E5020157E301AC Time : 0.0 sec. user=mdettweiler [2018-11-20 21:31:27] 861*2^1531863-1 is not prime. Res64: 12CDBC7DECAC343E Time : 0.0 sec. user=mdettweiler [2018-11-20 21:31:28] 985*2^1531863-1 is not prime. Res64: 5C25664AB7E90EFD Time : 0.0 sec. user=mdettweiler [2018-11-20 21:52:59] 991*2^1531863-1 is not prime. Res64: 26D58D3B67FB9510 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:53:00] 623*2^1531864-1 is not prime. Res64: 29EE26A682E90945 Time : 0.0 sec. user=mdettweiler [2018-11-20 21:53:02] 729*2^1531864-1 is not prime. Res64: 9A50AEA49CBD642E Time : 0.0 sec. user=mdettweiler [2018-11-20 21:53:02] 747*2^1531864-1 is not prime. Res64: C9F780DE757FE47A Time : 0.0 sec. user=mdettweiler [2018-11-20 21:53:02] 773*2^1531864-1 is not prime. Res64: 550F92ACFA7B907A Time : 0.0 sec. user=mdettweiler [2018-11-20 22:01:54] 869*2^1531864-1 is not prime. Res64: A1199A26EE761AAF Time : 0.0 sec. user=mdettweiler [2018-11-20 22:01:56] 899*2^1531864-1 is not prime. Res64: 4BBAA36BF7FFD69C Time : 0.0 sec. user=mdettweiler [2018-11-20 22:01:58] 969*2^1531864-1 is not prime. Res64: 913FBDF5EC5C2DC4 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:01:59] 729*2^1531865-1 is not prime. Res64: 55720E24B8C988AC Time : 0.0 sec. user=mdettweiler [2018-11-20 22:02:00] 759*2^1531865-1 is not prime. Res64: E16E70F4C86D7578 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:15:21] 811*2^1531865-1 is not prime. Res64: 258E23A19928D0C4 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:15:21] 939*2^1531865-1 is not prime. Res64: 9C6B45F0437F3C8B Time : 0.0 sec. user=mdettweiler [2018-11-20 22:15:22] 949*2^1531865-1 is not prime. Res64: FB75A90FC6FA95EA Time : 0.0 sec. user=mdettweiler [2018-11-20 22:15:22] 801*2^1531866-1 is not prime. Res64: E84B727563F36CF3 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:15:22] 825*2^1531866-1 is not prime. Res64: DD9A66C06258626C Time : 0.0 sec. user=mdettweiler [2018-11-20 22:22:44] 601*2^1531867-1 is not prime. Res64: 2F9E3E4F765ED166 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:22:45] 619*2^1531867-1 is not prime. Res64: 37AE1A62BA2B66B1 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:22:45] 633*2^1531867-1 is not prime. Res64: C70FB99A9B8E2F19 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:22:46] 645*2^1531867-1 is not prime. Res64: A4890D872AA63EC1 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:22:46] 733*2^1531867-1 is not prime. Res64: 6E16F80548706AE5 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:44:54] 805*2^1531867-1 is not prime. Res64: 105A955E44804618 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:44:54] 861*2^1531867-1 is not prime. Res64: FE4B49220FDFE23E Time : 0.0 sec. user=mdettweiler [2018-11-20 22:44:55] 895*2^1531867-1 is not prime. Res64: 3C5432C964B272F8 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:44:55] 985*2^1531867-1 is not prime. Res64: A73CEA0AD41C9C6C Time : 0.0 sec. user=mdettweiler [2018-11-20 22:44:55] 993*2^1531867-1 is not prime. Res64: 0AC2B47BA67DA1A7 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:48:37] 833*2^1531870-1 is not prime. Res64: 249DFDEC7032B83D Time : 0.0 sec. user=mdettweiler [2018-11-20 22:54:48] 773*2^1531868-1 is not prime. Res64: DB5DB59E42BBCB0D Time : 0.0 sec. user=mdettweiler [2018-11-20 22:54:49] 777*2^1531868-1 is not prime. Res64: FFD4511BC63E9E0F Time : 0.0 sec. user=mdettweiler [2018-11-20 22:54:49] 839*2^1531868-1 is not prime. Res64: 1BBC48E2758E4AF1 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:54:49] 963*2^1531868-1 is not prime. Res64: D4841C8E1A7BB155 Time : 0.0 sec. user=mdettweiler [2018-11-20 22:54:50] 999*2^1531868-1 is not prime. Res64: ED69E33E7506D84D Time : 0.0 sec. user=mdettweiler [2018-11-20 23:09:46] 609*2^1531869-1 is not prime. Res64: 6307899584C911CA Time : 0.0 sec. user=mdettweiler [2018-11-20 23:09:46] 661*2^1531869-1 is not prime. Res64: E228702E4764730A Time : 0.0 sec. user=mdettweiler [2018-11-20 23:09:47] 759*2^1531869-1 is not prime. Res64: 6B1C3F98DF6841FD Time : 0.0 sec. user=mdettweiler [2018-11-20 23:09:47] 781*2^1531869-1 is not prime. Res64: F1AF8D02CB5E88A4 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:09:48] 829*2^1531869-1 is not prime. Res64: 97DB09FD5A41E7C9 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:16:00] 979*2^1531869-1 is not prime. Res64: 53499697D06C879B Time : 0.0 sec. user=mdettweiler [2018-11-20 23:16:00] 987*2^1531869-1 is not prime. Res64: C086B629D71ED9FF Time : 0.0 sec. user=mdettweiler [2018-11-20 23:16:01] 675*2^1531870-1 is not prime. Res64: 82184FD626FCFF90 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:16:01] 791*2^1531870-1 is not prime. Res64: 30B51DABA3BD3867 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:16:01] 831*2^1531870-1 is not prime. Res64: ECFF0F3350D1FDE3 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:37:19] 845*2^1531870-1 is not prime. Res64: C8A1B93233919D76 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:37:19] 857*2^1531870-1 is not prime. Res64: 1C0EB4227F82B42C Time : 0.0 sec. user=mdettweiler [2018-11-20 23:37:20] 915*2^1531870-1 is not prime. Res64: A06AA231984619DA Time : 0.0 sec. user=mdettweiler [2018-11-20 23:37:20] 923*2^1531870-1 is not prime. Res64: B75F15E6A8B8FC2A Time : 0.0 sec. user=mdettweiler [2018-11-20 23:37:20] 643*2^1531871-1 is not prime. Res64: D2CAF73992F048AA Time : 0.0 sec. user=mdettweiler [2018-11-20 23:47:30] 855*2^1531871-1 is not prime. Res64: D75E4205B4798353 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:47:30] 859*2^1531871-1 is not prime. Res64: 36D4D8481C0E66ED Time : 0.0 sec. user=mdettweiler [2018-11-20 23:47:31] 871*2^1531871-1 is not prime. Res64: CA2477962A97577E Time : 0.0 sec. user=mdettweiler [2018-11-20 23:47:31] 913*2^1531871-1 is not prime. Res64: CB5A0347EABDADB8 Time : 0.0 sec. user=mdettweiler [2018-11-20 23:47:31] 949*2^1531871-1 is not prime. Res64: 91211BA4E6CB63A1 Time : 0.0 sec.