user=mdettweiler [2018-08-02 00:02:46] 747*2^1520129-1 is not prime. Res64: CAD6800BDAF5091E Time : 0.0 sec. user=mdettweiler [2018-08-02 00:02:46] 769*2^1520129-1 is not prime. Res64: 61EB7F793C060748 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:02:47] 819*2^1520129-1 is not prime. Res64: 26C3965215E5F7B1 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:02:48] 855*2^1520129-1 is not prime. Res64: FB380217BD995FB5 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:02:48] 951*2^1520129-1 is not prime. Res64: 581BB31E35C881F3 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:12:28] 957*2^1520129-1 is not prime. Res64: 2989D41EEE2FA356 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:12:28] 969*2^1520129-1 is not prime. Res64: 66705D3CB1A58BA1 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:12:29] 987*2^1520129-1 is not prime. Res64: CB983EF9CC0E9F9C Time : 0.0 sec. user=mdettweiler [2018-08-02 00:12:29] 997*2^1520129-1 is not prime. Res64: B36766C7ABB12D1F Time : 0.0 sec. user=mdettweiler [2018-08-02 00:12:30] 635*2^1520130-1 is not prime. Res64: FEC53DD8D933EB02 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:30:59] 801*2^1520131-1 is not prime. Res64: 22AA1BF72B37288E Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:00] 805*2^1520131-1 is not prime. Res64: 87F3ACF57DFCECE8 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:00] 901*2^1520131-1 is not prime. Res64: B7E4E15DE948B8C0 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:01] 913*2^1520131-1 is not prime. Res64: 5D96F95FB495B45C Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:01] 813*2^1520132-1 is not prime. Res64: 25308148B7E72B32 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:21] 945*2^1520130-1 is not prime. Res64: 23F153F78C5792BD Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:21] 619*2^1520131-1 is not prime. Res64: 5AFA2B9672FA14C3 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:22] 639*2^1520131-1 is not prime. Res64: 41A4327A1B0753B5 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:22] 715*2^1520131-1 is not prime. Res64: 30554C5B12727219 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:31:22] 741*2^1520131-1 is not prime. Res64: EF0D95BB38A14867 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:53:31] 825*2^1520132-1 is not prime. Res64: C17D3B900DC8BD74 Time : 0.0 sec. user=mdettweiler [2018-08-02 00:53:32] 873*2^1520132-1 is not prime. Res64: E50CF0879011394E Time : 0.0 sec. user=mdettweiler [2018-08-02 00:53:32] 885*2^1520132-1 is not prime. Res64: 6043D5D0D5D069FE Time : 0.0 sec. user=mdettweiler [2018-08-02 00:53:33] 899*2^1520132-1 is not prime. Res64: 6B82FC678133CE3D Time : 0.0 sec. user=mdettweiler [2018-08-02 00:53:33] 903*2^1520132-1 is not prime. Res64: 11899AC7DFEBC86F Time : 0.0 sec. user=mdettweiler [2018-08-02 01:03:12] 837*2^1520133-1 is not prime. Res64: 3E45A34404622667 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:03:13] 921*2^1520133-1 is not prime. Res64: 3D19B5FBC32F29B7 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:03:14] 987*2^1520133-1 is not prime. Res64: 49FA21CCCCEFEEFB Time : 0.0 sec. user=mdettweiler [2018-08-02 01:03:15] 791*2^1520134-1 is not prime. Res64: A9150B83174422CF Time : 0.0 sec. user=mdettweiler [2018-08-02 01:03:16] 815*2^1520134-1 is not prime. Res64: 1CA9F7BBB0217CF9 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:20] 661*2^1520135-1 is not prime. Res64: A759416708057750 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:21] 669*2^1520135-1 is not prime. Res64: 5F4E6889E6C86D7A Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:21] 675*2^1520135-1 is not prime. Res64: A203AE7B2BD42376 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:22] 715*2^1520135-1 is not prime. Res64: 0D04A66CB4D0255F Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:22] 943*2^1520135-1 is not prime. Res64: A6940AAA26555A17 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:34] 827*2^1520134-1 is not prime. Res64: 2675FC71D406ABE2 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:35] 915*2^1520134-1 is not prime. Res64: EDF87D6ECA5373FA Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:35] 957*2^1520134-1 is not prime. Res64: 667A362409461686 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:36] 965*2^1520134-1 is not prime. Res64: C46A7A1C2DCF3503 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:22:36] 971*2^1520134-1 is not prime. Res64: C95DE91B79CEC783 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:44:46] 635*2^1520136-1 is not prime. Res64: 88C5903AC628E7C9 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:44:47] 705*2^1520136-1 is not prime. Res64: 6B8BD2130B548273 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:44:47] 849*2^1520136-1 is not prime. Res64: C16A00D43F9BF891 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:44:48] 639*2^1520137-1 is not prime. Res64: 617C9963B3ECCED5 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:44:49] 661*2^1520137-1 is not prime. Res64: 6B0790673D08BDA0 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:54:10] 741*2^1520137-1 is not prime. Res64: 1C84A4CF28DFAFC6 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:54:11] 985*2^1520137-1 is not prime. Res64: 0302D9F8491E019F Time : 0.0 sec. user=mdettweiler [2018-08-02 01:54:11] 603*2^1520138-1 is not prime. Res64: 1671D75A8C099220 Time : 0.0 sec. user=mdettweiler [2018-08-02 01:54:12] 665*2^1520138-1 is not prime. Res64: CE239E0853E2EDCD Time : 0.0 sec. user=mdettweiler [2018-08-02 01:54:12] 677*2^1520138-1 is not prime. Res64: 0DE5B352B7FBAD64 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:24] 843*2^1520138-1 is not prime. Res64: 36A596764E3D26EF Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:24] 921*2^1520138-1 is not prime. Res64: 84AB5B8E977F4CD3 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:25] 927*2^1520138-1 is not prime. Res64: 82F766E1370B6733 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:25] 941*2^1520138-1 is not prime. Res64: AFDF0EEC10D0F45E Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:25] 1001*2^1520138-1 is not prime. Res64: F65ECA5C4C26DE6C Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:30] 769*2^1520139-1 is not prime. Res64: 0A201F02E6D8A506 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:30] 775*2^1520139-1 is not prime. Res64: 37A7242EA26A0988 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:31] 909*2^1520139-1 is not prime. Res64: 3D5300D2E00871D7 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:31] 755*2^1520140-1 is not prime. Res64: 0D3FD516C1A1701D Time : 0.0 sec. user=mdettweiler [2018-08-02 02:13:32] 855*2^1520140-1 is not prime. Res64: 9169CD0226D156F4 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:35:53] 953*2^1520140-1 is not prime. Res64: 1F9E5929F69D9A0B Time : 0.0 sec. user=mdettweiler [2018-08-02 02:35:53] 957*2^1520140-1 is not prime. Res64: EFC1E4E087762D59 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:35:54] 657*2^1520141-1 is not prime. Res64: BFED32ED3947DF9A Time : 0.0 sec. user=mdettweiler [2018-08-02 02:35:54] 727*2^1520141-1 is not prime. Res64: FB9D918BCEDCBC2A Time : 0.0 sec. user=mdettweiler [2018-08-02 02:35:55] 865*2^1520141-1 is not prime. Res64: 53BB3CD1C08154A2 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:46:39] 957*2^1520141-1 is not prime. Res64: 60EF4C166B90C531 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:46:41] 693*2^1520142-1 is not prime. Res64: 063BD68E60275A43 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:46:42] 705*2^1520142-1 is not prime. Res64: 0E5453B8635BD717 Time : 0.0 sec. user=mdettweiler [2018-08-02 02:46:43] 755*2^1520142-1 is not prime. Res64: D00A1D38ECC1155F Time : 0.0 sec. user=mdettweiler [2018-08-02 02:46:44] 777*2^1520142-1 is not prime. Res64: 5810C6A147509A69 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:05:32] 801*2^1520142-1 is not prime. Res64: 599A755A7F90CCA7 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:05:33] 873*2^1520142-1 is not prime. Res64: 1C7AD63F4EFDE402 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:05:34] 983*2^1520142-1 is not prime. Res64: 07089B830EC91AA3 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:05:36] 639*2^1520143-1 is not prime. Res64: 73A881D703EB32C4 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:05:37] 783*2^1520143-1 is not prime. Res64: 9CD80CFD231B961D Time : 0.0 sec. user=mdettweiler [2018-08-02 03:06:20] 789*2^1520143-1 is not prime. Res64: 812E27350EC99BD8 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:06:20] 883*2^1520143-1 is not prime. Res64: 7E66B4028F8A1891 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:06:22] 891*2^1520143-1 is not prime. Res64: 8BED89C957C1DB90 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:06:23] 925*2^1520143-1 is not prime. Res64: ADAC860CF61C05F1 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:06:24] 961*2^1520143-1 is not prime. Res64: 17E1CADB27287CA4 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:28:12] 687*2^1520144-1 is not prime. Res64: 7E206F6809AFC152 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:28:14] 717*2^1520144-1 is not prime. Res64: A79090DE005EE607 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:28:16] 719*2^1520144-1 is not prime. Res64: 1E586907DF6E2082 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:28:16] 743*2^1520144-1 is not prime. Res64: 9256D04B131AE3FF Time : 0.0 sec. user=mdettweiler [2018-08-02 03:28:18] 825*2^1520144-1 is not prime. Res64: F37368C92066FE9D Time : 0.0 sec. user=mdettweiler [2018-08-02 03:38:27] 959*2^1520144-1 is not prime. Res64: 43BE468FDEC27A0F Time : 0.0 sec. user=mdettweiler [2018-08-02 03:38:29] 625*2^1520145-1 is not prime. Res64: 4F00785E23B150DA Time : 0.0 sec. user=mdettweiler [2018-08-02 03:38:29] 777*2^1520145-1 is not prime. Res64: B69090FD9359F856 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:38:31] 847*2^1520145-1 is not prime. Res64: ADA204E0855B615E Time : 0.0 sec. user=mdettweiler [2018-08-02 03:38:32] 861*2^1520145-1 is not prime. Res64: 3CD21467B0AB8854 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:58:10] 675*2^1520146-1 is not prime. Res64: E7BF829636F59966 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:58:11] 717*2^1520146-1 is not prime. Res64: 4733480E22A5B391 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:58:12] 801*2^1520146-1 is not prime. Res64: EC1EAAB17F4E76BC Time : 0.0 sec. user=mdettweiler [2018-08-02 03:58:13] 873*2^1520146-1 is not prime. Res64: 5B3EE467C2AB1371 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:58:14] 917*2^1520146-1 is not prime. Res64: 78327674BAB291FE Time : 0.0 sec. user=mdettweiler [2018-08-02 03:59:46] 975*2^1520145-1 is not prime. Res64: CC5A8DF20917D533 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:59:47] 979*2^1520145-1 is not prime. Res64: 8BA1F0E1CC538D34 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:59:47] 999*2^1520145-1 is not prime. Res64: 9C0FFD28B5C08445 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:59:48] 645*2^1520146-1 is not prime. Res64: 24D4F616BB1B79C6 Time : 0.0 sec. user=mdettweiler [2018-08-02 03:59:48] 657*2^1520146-1 is not prime. Res64: 97F857A7030AC119 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:20:26] 941*2^1520146-1 is not prime. Res64: 5017210EB6DFB2A4 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:20:27] 983*2^1520146-1 is not prime. Res64: 50589414EB5F3B20 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:20:27] 619*2^1520147-1 is not prime. Res64: F4E606953A193C74 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:20:28] 655*2^1520147-1 is not prime. Res64: B1DA40552D4EF1D9 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:20:31] 705*2^1520147-1 is not prime. Res64: 0E25E662C5F8723A Time : 0.0 sec. user=mdettweiler [2018-08-02 04:29:39] 825*2^1520147-1 is not prime. Res64: 99A180265213E306 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:29:39] 963*2^1520147-1 is not prime. Res64: 1967D0400D663BEF Time : 0.0 sec. user=mdettweiler [2018-08-02 04:29:40] 985*2^1520147-1 is not prime. Res64: 1A81B22035F25C39 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:29:41] 725*2^1520148-1 is not prime. Res64: 0E52230AA9EB918E Time : 0.0 sec. user=mdettweiler [2018-08-02 04:29:41] 679*2^1520149-1 is not prime. Res64: 00D871D7B78FD473 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:49:15] 681*2^1520149-1 is not prime. Res64: DA3CD20CF2D23364 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:49:15] 747*2^1520149-1 is not prime. Res64: 44042266305FE921 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:49:16] 829*2^1520149-1 is not prime. Res64: 10D9458F2961E91F Time : 0.0 sec. user=mdettweiler [2018-08-02 04:49:16] 831*2^1520149-1 is not prime. Res64: 6B6C1744483CC130 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:49:17] 855*2^1520149-1 is not prime. Res64: E3C35BE50AD7A69D Time : 0.0 sec. user=mdettweiler [2018-08-02 04:50:31] 867*2^1520149-1 is not prime. Res64: 790F35B4878B93A7 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:50:31] 895*2^1520149-1 is not prime. Res64: 21347F0424B9C52A Time : 0.0 sec. user=mdettweiler [2018-08-02 04:50:32] 897*2^1520149-1 is not prime. Res64: 08D4551B5D618DB6 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:50:32] 939*2^1520149-1 is not prime. Res64: 329764A72F3A3997 Time : 0.0 sec. user=mdettweiler [2018-08-02 04:50:33] 955*2^1520149-1 is not prime. Res64: C46BE3DAD9767525 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:11:01] 985*2^1520149-1 is not prime. Res64: 8473FFB732D14505 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:11:02] 603*2^1520150-1 is not prime. Res64: ABB99750D9FE07D9 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:11:02] 635*2^1520150-1 is not prime. Res64: 151DC2E4FD90DD20 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:11:03] 675*2^1520150-1 is not prime. Res64: 3326F4B004F14912 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:11:03] 677*2^1520150-1 is not prime. Res64: 618FE7FB3FFE88E9 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:20:21] 707*2^1520150-1 is not prime. Res64: 0148A1B446F0380D Time : 0.0 sec. user=mdettweiler [2018-08-02 05:20:21] 741*2^1520150-1 is not prime. Res64: ACABF5712293CB51 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:20:21] 773*2^1520150-1 is not prime. Res64: 2BFFCC0E869F4B52 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:20:22] 851*2^1520150-1 is not prime. Res64: DEB4203266F10CCA Time : 0.0 sec. user=mdettweiler [2018-08-02 05:20:24] 897*2^1520150-1 is not prime. Res64: E5D5C116C1FDD6A6 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:40:25] 917*2^1520150-1 is not prime. Res64: 198F00B4285FAA3D Time : 0.0 sec. user=mdettweiler [2018-08-02 05:40:27] 953*2^1520150-1 is not prime. Res64: 91AB3ED7ADE20022 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:40:28] 613*2^1520151-1 is not prime. Res64: F76FCA852C986790 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:40:28] 615*2^1520151-1 is not prime. Res64: 5C90C432F5EA8184 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:40:29] 735*2^1520151-1 is not prime. Res64: 730C8C9C20A4B6B9 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:41:16] 859*2^1520151-1 is not prime. Res64: A5AC231C75776CBF Time : 0.0 sec. user=mdettweiler [2018-08-02 05:41:16] 961*2^1520151-1 is not prime. Res64: 3680BB2B3E88561F Time : 0.0 sec. user=mdettweiler [2018-08-02 05:41:17] 603*2^1520152-1 is not prime. Res64: CDD329AFBD928DA8 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:41:17] 675*2^1520152-1 is not prime. Res64: D4884A36095F1CC1 Time : 0.0 sec. user=mdettweiler [2018-08-02 05:41:18] 765*2^1520152-1 is not prime. Res64: EF5CE6FDAAB08797 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:02:28] 903*2^1520152-1 is not prime. Res64: F4DE18C2B83E14EF Time : 0.0 sec. user=mdettweiler [2018-08-02 06:02:29] 957*2^1520152-1 is not prime. Res64: 1339A55403E6B21F Time : 0.0 sec. user=mdettweiler [2018-08-02 06:02:29] 615*2^1520153-1 is not prime. Res64: 24FFC49EE5282DA4 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:02:30] 657*2^1520153-1 is not prime. Res64: 26FA91BA14EAA0D9 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:02:30] 699*2^1520153-1 is not prime. Res64: 2EC5AE58C698C676 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:11:11] 771*2^1520153-1 is not prime. Res64: F8167FFD7FA19E5D Time : 0.0 sec. user=mdettweiler [2018-08-02 06:11:11] 831*2^1520153-1 is not prime. Res64: E3F9F16F99D8C24B Time : 0.0 sec. user=mdettweiler [2018-08-02 06:11:11] 879*2^1520153-1 is not prime. Res64: 973E15F0EBCD3495 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:11:12] 945*2^1520153-1 is not prime. Res64: 257AD7627DE04E93 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:11:12] 657*2^1520154-1 is not prime. Res64: 92196C9B86896970 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:31:54] 755*2^1520154-1 is not prime. Res64: 1F3334B02DC3FDF2 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:31:55] 927*2^1520154-1 is not prime. Res64: 1C74EAC5400AFB4E Time : 0.0 sec. user=mdettweiler [2018-08-02 06:31:55] 699*2^1520155-1 is not prime. Res64: 492DD382208D1789 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:31:55] 939*2^1520155-1 is not prime. Res64: D712024D6414E33D Time : 0.0 sec. user=mdettweiler [2018-08-02 06:31:56] 629*2^1520156-1 is not prime. Res64: DD75BB08067B1B38 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:32:30] 693*2^1520156-1 is not prime. Res64: D3B08B1232CA1968 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:32:31] 789*2^1520156-1 is not prime. Res64: 6FCB59067A93F6A6 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:32:31] 833*2^1520156-1 is not prime. Res64: E561735F6ED26863 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:32:31] 867*2^1520156-1 is not prime. Res64: C41616501C1C3E5B Time : 0.0 sec. user=mdettweiler [2018-08-02 06:32:32] 987*2^1520156-1 is not prime. Res64: D3FBC994CB260109 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:53:37] 621*2^1520157-1 is not prime. Res64: 28306C198D1B4B9C Time : 0.0 sec. user=mdettweiler [2018-08-02 06:53:38] 625*2^1520157-1 is not prime. Res64: ACFD80A5C6D94569 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:53:38] 651*2^1520157-1 is not prime. Res64: 1FC70E426FDB8D29 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:53:38] 691*2^1520157-1 is not prime. Res64: 9C01E717198EE6D3 Time : 0.0 sec. user=mdettweiler [2018-08-02 06:53:39] 835*2^1520157-1 is not prime. Res64: 7231425B144450BA Time : 0.0 sec. user=mdettweiler [2018-08-02 07:02:27] 865*2^1520157-1 is not prime. Res64: F4AC8975D14B1686 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:02:28] 871*2^1520157-1 is not prime. Res64: 1803BFF060AAFA53 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:02:29] 997*2^1520157-1 is not prime. Res64: 8FF6E95BA77466DC Time : 0.0 sec. user=mdettweiler [2018-08-02 07:02:30] 713*2^1520158-1 is not prime. Res64: 7369AA3CAA1EC435 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:02:31] 731*2^1520158-1 is not prime. Res64: 03489989E6680ADE Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:14] 737*2^1520158-1 is not prime. Res64: B620C4B1D017D34E Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:15] 743*2^1520158-1 is not prime. Res64: 273CC6973C0B6DC1 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:15] 777*2^1520158-1 is not prime. Res64: F7C2FA09CEB6F09F Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:15] 791*2^1520158-1 is not prime. Res64: DA6BF1C5F762AE9D Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:16] 843*2^1520158-1 is not prime. Res64: F3C8484C21D7D0B1 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:22] 887*2^1520158-1 is not prime. Res64: 055E961911BF6E5F Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:23] 609*2^1520159-1 is not prime. Res64: 293E897CA5306345 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:23] 741*2^1520159-1 is not prime. Res64: 17DCAB66E4EEFF7A Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:24] 799*2^1520159-1 is not prime. Res64: 3FB97433FAE46584 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:23:24] 985*2^1520159-1 is not prime. Res64: 55A112CC1EE8D8E7 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:44:22] 609*2^1520160-1 is not prime. Res64: D2C23366D530A4D0 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:44:22] 633*2^1520160-1 is not prime. Res64: C57670454BF8CF12 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:44:22] 653*2^1520160-1 is not prime. Res64: BCEED7BC8B4A1C62 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:44:23] 693*2^1520160-1 is not prime. Res64: DC74F477421EDD35 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:44:23] 747*2^1520160-1 is not prime. Res64: CD90D4708EEEB65B Time : 0.0 sec. user=mdettweiler [2018-08-02 07:54:43] 767*2^1520160-1 is not prime. Res64: 8B72DA962E781F31 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:54:43] 879*2^1520160-1 is not prime. Res64: D9161473FE7FDBB6 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:54:44] 905*2^1520160-1 is not prime. Res64: D0B9AADF8851F059 Time : 0.0 sec. user=mdettweiler [2018-08-02 07:54:44] 705*2^1520161-1 is not prime. Res64: AEAE5251AFF4DA8C Time : 0.0 sec. user=mdettweiler [2018-08-02 07:54:44] 745*2^1520161-1 is not prime. Res64: 86E72AACCE4BD9AC Time : 0.0 sec. user=mdettweiler [2018-08-02 08:15:31] 835*2^1520161-1 is not prime. Res64: 9A8C27CC3FB55866 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:15:31] 937*2^1520161-1 is not prime. Res64: 4E086C8F0F5AF6D4 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:15:32] 979*2^1520161-1 is not prime. Res64: F7A6F2D5CA79C523 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:15:32] 797*2^1520162-1 is not prime. Res64: AB66FE77E81B47E0 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:15:33] 887*2^1520162-1 is not prime. Res64: 5214ADADDA21B252 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:17:16] 911*2^1520162-1 is not prime. Res64: 837C9E1A364711FE Time : 0.0 sec. user=mdettweiler [2018-08-02 08:17:16] 795*2^1520163-1 is not prime. Res64: 448A318BDBE75AB3 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:17:17] 609*2^1520164-1 is not prime. Res64: BAF0D29EA93C5CFD Time : 0.0 sec. user=mdettweiler [2018-08-02 08:17:17] 635*2^1520164-1 is not prime. Res64: 9ADB11F062979A59 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:17:17] 665*2^1520164-1 is not prime. Res64: 7F9676F3DA1D0908 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:35:52] 759*2^1520164-1 is not prime. Res64: B378B57425D09BC7 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:35:52] 897*2^1520164-1 is not prime. Res64: 8B84F86989823502 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:35:53] 927*2^1520164-1 is not prime. Res64: DEA905F119143DE5 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:35:53] 965*2^1520164-1 is not prime. Res64: 030B163501152424 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:35:53] 983*2^1520164-1 is not prime. Res64: B0976E95B2AD1479 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:46:24] 655*2^1520165-1 is not prime. Res64: EAD7129346861284 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:46:24] 657*2^1520165-1 is not prime. Res64: 79EF687FEFAE4B79 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:46:24] 777*2^1520165-1 is not prime. Res64: 7F9D666DC4B92AA7 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:46:25] 799*2^1520165-1 is not prime. Res64: BA97A5E894F1E297 Time : 0.0 sec. user=mdettweiler [2018-08-02 08:46:25] 865*2^1520165-1 is not prime. Res64: F57ED0742575C263 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:07:26] 871*2^1520165-1 is not prime. Res64: 05332F3B035B4565 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:07:27] 671*2^1520166-1 is not prime. Res64: 4B1C4275097D2E3F Time : 0.0 sec. user=mdettweiler [2018-08-02 09:07:27] 707*2^1520166-1 is not prime. Res64: 0D411F0D667C6FE5 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:07:28] 717*2^1520166-1 is not prime. Res64: 36045502F2373DFE Time : 0.0 sec. user=mdettweiler [2018-08-02 09:07:28] 747*2^1520166-1 is not prime. Res64: FBE541F777CB1162 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:11:04] 815*2^1520166-1 is not prime. Res64: 63F35A3F7127A320 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:11:04] 861*2^1520166-1 is not prime. Res64: 6028ABE399B527F4 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:11:04] 923*2^1520166-1 is not prime. Res64: 4B64F01AACB636A2 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:11:05] 975*2^1520166-1 is not prime. Res64: F0B3F42071927B2B Time : 0.0 sec. user=mdettweiler [2018-08-02 09:11:05] 983*2^1520166-1 is not prime. Res64: AA75296991AC3FA2 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:27:12] 633*2^1520167-1 is not prime. Res64: 879D06934DB35742 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:27:12] 651*2^1520167-1 is not prime. Res64: 57628DA96D19BD8D Time : 0.0 sec. user=mdettweiler [2018-08-02 09:27:12] 673*2^1520167-1 is not prime. Res64: ACFB6D4654F9366C Time : 0.0 sec. user=mdettweiler [2018-08-02 09:27:13] 675*2^1520167-1 is not prime. Res64: 0F5E28B1EF72EE65 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:27:13] 729*2^1520167-1 is not prime. Res64: 8D75C71DAB2A6D5D Time : 0.0 sec. user=mdettweiler [2018-08-02 09:37:58] 773*2^1520168-1 is not prime. Res64: 3892ED483A847C26 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:37:58] 897*2^1520168-1 is not prime. Res64: 21737D19DFD450FF Time : 0.0 sec. user=mdettweiler [2018-08-02 09:37:59] 625*2^1520169-1 is not prime. Res64: E51D018BB5E9A490 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:37:59] 657*2^1520169-1 is not prime. Res64: 94403974CD29C67A Time : 0.0 sec. user=mdettweiler [2018-08-02 09:37:59] 669*2^1520169-1 is not prime. Res64: 73D2F28B0F14A2F0 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:58:17] 705*2^1520169-1 is not prime. Res64: 85D30218D36FB249 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:58:18] 759*2^1520169-1 is not prime. Res64: 8FA041941D2A7331 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:58:18] 861*2^1520169-1 is not prime. Res64: 13CB37BB48BB6F94 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:58:18] 605*2^1520170-1 is not prime. Res64: 702F83B53C924B04 Time : 0.0 sec. user=mdettweiler [2018-08-02 09:58:19] 657*2^1520170-1 is not prime. Res64: E37CD8A74F63C2B8 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:02:29] 677*2^1520170-1 is not prime. Res64: 729233616B7ED771 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:02:31] 777*2^1520170-1 is not prime. Res64: 0BF435A000A89C2F Time : 0.0 sec. user=mdettweiler [2018-08-02 10:02:33] 857*2^1520170-1 is not prime. Res64: 4D8FB49E9CE8612C Time : 0.0 sec. user=mdettweiler [2018-08-02 10:02:34] 891*2^1520170-1 is not prime. Res64: 7127E98365E2E9B2 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:02:35] 911*2^1520170-1 is not prime. Res64: 5F8244C9B4F9DE4C Time : 0.0 sec. user=mdettweiler [2018-08-02 10:18:26] 915*2^1520170-1 is not prime. Res64: 69C123210B104EA5 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:18:27] 995*2^1520170-1 is not prime. Res64: D12F3D30D5AF664B Time : 0.0 sec. user=mdettweiler [2018-08-02 10:18:27] 649*2^1520171-1 is not prime. Res64: 87F2902CE49872B6 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:18:28] 679*2^1520171-1 is not prime. Res64: 3BB2E6244AC52903 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:18:28] 711*2^1520171-1 is not prime. Res64: C843A7470AD32433 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:28:49] 735*2^1520171-1 is not prime. Res64: 8F2D624CB8ACC56D Time : 0.0 sec. user=mdettweiler [2018-08-02 10:28:49] 753*2^1520171-1 is not prime. Res64: 1CD73578BFC353E3 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:28:50] 775*2^1520171-1 is not prime. Res64: 9766505B3AE8C86C Time : 0.0 sec. user=mdettweiler [2018-08-02 10:28:50] 789*2^1520171-1 is not prime. Res64: 3FAB38C77FF8F487 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:28:50] 813*2^1520171-1 is not prime. Res64: 5792C8B11F63F92D Time : 0.0 sec. user=mdettweiler [2018-08-02 10:49:02] 885*2^1520171-1 is not prime. Res64: CD52B66796284F5F Time : 0.0 sec. user=mdettweiler [2018-08-02 10:49:02] 889*2^1520171-1 is not prime. Res64: 519B72A0099A8A54 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:49:02] 629*2^1520172-1 is not prime. Res64: AE481CAA3C2A0215 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:49:03] 693*2^1520172-1 is not prime. Res64: EE4777312E5E6BA6 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:49:03] 695*2^1520172-1 is not prime. Res64: C4455FF943AC92EF Time : 0.0 sec. user=mdettweiler [2018-08-02 10:54:08] 803*2^1520172-1 is not prime. Res64: 628445560C2F5BAB Time : 0.0 sec. user=mdettweiler [2018-08-02 10:54:09] 819*2^1520172-1 is not prime. Res64: 3E6867DBE0B8DD4B Time : 0.0 sec. user=mdettweiler [2018-08-02 10:54:09] 947*2^1520172-1 is not prime. Res64: 8514395B1648C025 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:54:10] 983*2^1520172-1 is not prime. Res64: 5FF0953F6B08D032 Time : 0.0 sec. user=mdettweiler [2018-08-02 10:54:10] 727*2^1520173-1 is not prime. Res64: CC0FB734B7AC9471 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:09:32] 889*2^1520173-1 is not prime. Res64: 1459DE448BBF105C Time : 0.0 sec. user=mdettweiler [2018-08-02 11:09:32] 961*2^1520173-1 is not prime. Res64: 269205652295046A Time : 0.0 sec. user=mdettweiler [2018-08-02 11:09:32] 617*2^1520174-1 is not prime. Res64: C8D2D598C4CDEFBA Time : 0.0 sec. user=mdettweiler [2018-08-02 11:09:33] 663*2^1520174-1 is not prime. Res64: B10F541338CF28AD Time : 0.0 sec. user=mdettweiler [2018-08-02 11:09:33] 707*2^1520174-1 is not prime. Res64: 98029BA8BA66B36C Time : 0.0 sec. user=mdettweiler [2018-08-02 11:20:05] 915*2^1520174-1 is not prime. Res64: 24FDACA3718DD869 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:20:06] 921*2^1520174-1 is not prime. Res64: C8E1F8387A1F290C Time : 0.0 sec. user=mdettweiler [2018-08-02 11:20:06] 951*2^1520174-1 is not prime. Res64: 467CFEB5F62432FE Time : 0.0 sec. user=mdettweiler [2018-08-02 11:20:06] 971*2^1520174-1 is not prime. Res64: D11404A75BC6A4A4 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:20:07] 981*2^1520174-1 is not prime. Res64: 206672024A32F61E Time : 0.0 sec. user=mdettweiler [2018-08-02 11:39:47] 1001*2^1520174-1 is not prime. Res64: 780FF754D90B50A4 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:39:48] 609*2^1520175-1 is not prime. Res64: A8B544CE2B386475 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:39:48] 735*2^1520175-1 is not prime. Res64: 57D86F832CDE9FDC Time : 0.0 sec. user=mdettweiler [2018-08-02 11:39:48] 805*2^1520175-1 is not prime. Res64: 86D9F1590BCC5EA7 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:39:49] 825*2^1520175-1 is not prime. Res64: 911E1FAE7127BC31 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:45:11] 873*2^1520175-1 is not prime. Res64: 6D1E0977FA1F31E6 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:45:12] 921*2^1520175-1 is not prime. Res64: DFFF1C4C6C3CD949 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:45:12] 979*2^1520175-1 is not prime. Res64: 126055F790352B0F Time : 0.0 sec. user=mdettweiler [2018-08-02 11:45:12] 869*2^1520176-1 is not prime. Res64: B843A02C5EE4D680 Time : 0.0 sec. user=mdettweiler [2018-08-02 11:45:13] 873*2^1520176-1 is not prime. Res64: 2C06820F0B34FD92 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:00:15] 903*2^1520176-1 is not prime. Res64: D7427E32B4FE37C2 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:00:16] 957*2^1520176-1 is not prime. Res64: 297F1D3529DD78C3 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:00:17] 999*2^1520176-1 is not prime. Res64: FB18E554A5924C1C Time : 0.0 sec. user=mdettweiler [2018-08-02 12:00:17] 729*2^1520177-1 is not prime. Res64: BD082ABB6BE522AD Time : 0.0 sec. user=mdettweiler [2018-08-02 12:00:18] 837*2^1520177-1 is not prime. Res64: B7500958AF052D9A Time : 0.0 sec. user=mdettweiler [2018-08-02 12:10:54] 889*2^1520177-1 is not prime. Res64: 6680E48A5649146C Time : 0.0 sec. user=mdettweiler [2018-08-02 12:10:54] 909*2^1520177-1 is not prime. Res64: 8677325BD488075E Time : 0.0 sec. user=mdettweiler [2018-08-02 12:10:55] 731*2^1520178-1 is not prime. Res64: 79EC332A7D72D2E8 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:10:55] 821*2^1520178-1 is not prime. Res64: EADDE2443EF249CB Time : 0.0 sec. user=mdettweiler [2018-08-02 12:10:56] 915*2^1520178-1 is not prime. Res64: 604E11A1A7592155 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:31:11] 963*2^1520178-1 is not prime. Res64: 3FBD3EA0C13E7D89 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:31:12] 971*2^1520178-1 is not prime. Res64: A36EF331395E3126 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:31:12] 993*2^1520178-1 is not prime. Res64: BC608A145014A96C Time : 0.0 sec. user=mdettweiler [2018-08-02 12:31:12] 723*2^1520179-1 is not prime. Res64: 3B44D23C3A7D2493 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:31:13] 999*2^1520179-1 is not prime. Res64: 972C1125FE8DF1AF Time : 0.0 sec. user=mdettweiler [2018-08-02 12:36:28] 785*2^1520180-1 is not prime. Res64: 990A68AEA5F74702 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:36:29] 959*2^1520180-1 is not prime. Res64: 386BA21870AF4899 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:36:29] 685*2^1520181-1 is not prime. Res64: 1BC102E31629B8C4 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:36:30] 819*2^1520181-1 is not prime. Res64: C28182CBF976B994 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:36:30] 829*2^1520181-1 is not prime. Res64: 13E9826F469EE353 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:50:50] 889*2^1520181-1 is not prime. Res64: 81487B7B94BE46A5 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:50:50] 961*2^1520181-1 is not prime. Res64: BA2095A5FE624279 Time : 0.0 sec. user=mdettweiler [2018-08-02 12:50:51] 603*2^1520182-1 is not prime. Res64: 4AF913AD21D4895E Time : 0.0 sec. user=mdettweiler [2018-08-02 12:50:51] 635*2^1520182-1 is not prime. Res64: 8AC8C44148E0409C Time : 0.0 sec. user=mdettweiler [2018-08-02 12:50:52] 705*2^1520182-1 is not prime. Res64: 2C203DBC63CB67FF Time : 0.0 sec. user=mdettweiler [2018-08-02 13:02:51] 765*2^1520182-1 is not prime. Res64: 7E2DEBA72DAD9425 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:02:52] 843*2^1520182-1 is not prime. Res64: 9B4C4AD6F519F18B Time : 0.0 sec. user=mdettweiler [2018-08-02 13:02:53] 885*2^1520182-1 is not prime. Res64: 14740A16DF9F7CBA Time : 0.0 sec. user=mdettweiler [2018-08-02 13:02:54] 897*2^1520182-1 is not prime. Res64: 223533496C82754B Time : 0.0 sec. user=mdettweiler [2018-08-02 13:02:55] 981*2^1520182-1 is not prime. Res64: 7EF969A44B261E89 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:21:54] 609*2^1520183-1 is not prime. Res64: 6721FA114656A709 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:21:55] 675*2^1520183-1 is not prime. Res64: EF22F78F56847482 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:21:55] 729*2^1520183-1 is not prime. Res64: 7B82825B55329C20 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:21:55] 753*2^1520183-1 is not prime. Res64: 0283CD0189F8E98F Time : 0.0 sec. user=mdettweiler [2018-08-02 13:21:56] 825*2^1520183-1 is not prime. Res64: 017789D6E5BDB214 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:27:40] 861*2^1520183-1 is not prime. Res64: 3C642EF68E74153E Time : 0.0 sec. user=mdettweiler [2018-08-02 13:27:40] 885*2^1520183-1 is not prime. Res64: 8AD74D9620022E34 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:27:41] 913*2^1520183-1 is not prime. Res64: 03151DDF66759FD7 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:27:41] 955*2^1520183-1 is not prime. Res64: F385787B92B6EA29 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:27:42] 985*2^1520183-1 is not prime. Res64: EE3A511219989C0C Time : 0.0 sec. user=mdettweiler [2018-08-02 13:41:17] 605*2^1520184-1 is not prime. Res64: 6E04631789A809DA Time : 0.0 sec. user=mdettweiler [2018-08-02 13:41:17] 609*2^1520184-1 is not prime. Res64: F4FE041B0493A85F Time : 0.0 sec. user=mdettweiler [2018-08-02 13:41:17] 747*2^1520184-1 is not prime. Res64: 026C1092C060EF8D Time : 0.0 sec. user=mdettweiler [2018-08-02 13:41:18] 927*2^1520184-1 is not prime. Res64: AC2D2BFD7D7E94B1 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:41:18] 687*2^1520185-1 is not prime. Res64: C992B8538A6A9D4E Time : 0.0 sec. user=mdettweiler [2018-08-02 13:54:54] 691*2^1520185-1 is not prime. Res64: 991468235CAC4605 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:54:54] 789*2^1520185-1 is not prime. Res64: F9AB4945F5561D19 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:54:55] 979*2^1520185-1 is not prime. Res64: B19F4E63D43A4DCA Time : 0.0 sec. user=mdettweiler [2018-08-02 13:54:55] 627*2^1520186-1 is not prime. Res64: 4F68A3A9F35DE0E4 Time : 0.0 sec. user=mdettweiler [2018-08-02 13:54:56] 677*2^1520186-1 is not prime. Res64: 2D88FDADFD500766 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:13:15] 893*2^1520186-1 is not prime. Res64: AA010D55D007EE46 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:13:15] 923*2^1520186-1 is not prime. Res64: D0BA21F66D194336 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:13:16] 945*2^1520186-1 is not prime. Res64: A5621B68A0904510 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:13:17] 953*2^1520186-1 is not prime. Res64: 91B1E97AED98851F Time : 0.0 sec. user=mdettweiler [2018-08-02 14:13:18] 619*2^1520187-1 is not prime. Res64: 62B8138A2C99DE9D Time : 0.0 sec. user=mdettweiler [2018-08-02 14:18:50] 705*2^1520187-1 is not prime. Res64: 5D71E7EE54DFCB94 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:18:50] 829*2^1520187-1 is not prime. Res64: 30A026B0BA8B876A Time : 0.0 sec. user=mdettweiler [2018-08-02 14:18:51] 849*2^1520187-1 is not prime. Res64: 877344F9D9DD80F2 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:18:52] 903*2^1520187-1 is not prime. Res64: 2D3F1A79F34E3189 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:18:52] 975*2^1520187-1 is not prime. Res64: 297CE5E804D6775E Time : 0.0 sec. user=mdettweiler [2018-08-02 14:32:14] 979*2^1520187-1 is not prime. Res64: CD2865A6C7803461 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:32:15] 749*2^1520188-1 is not prime. Res64: 1DDC68E173FB8E30 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:32:15] 819*2^1520188-1 is not prime. Res64: 0DE0E40CD4813545 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:32:16] 845*2^1520188-1 is not prime. Res64: 6D1AB3AD344DFB9F Time : 0.0 sec. user=mdettweiler [2018-08-02 14:32:16] 923*2^1520188-1 is not prime. Res64: A844135E11E69F54 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:46:26] 619*2^1520189-1 is not prime. Res64: 71DABADD799D9A10 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:46:27] 711*2^1520189-1 is not prime. Res64: 3AC7EFBD5A2B1751 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:46:27] 769*2^1520189-1 is not prime. Res64: 0322B40BDCD9FBF5 Time : 0.0 sec. user=mdettweiler [2018-08-02 14:46:27] 771*2^1520189-1 is not prime. Res64: 30EEF3A8C12BFD5C Time : 0.0 sec. user=mdettweiler [2018-08-02 14:46:28] 787*2^1520189-1 is not prime. Res64: 08E71A2647EE17E5 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:04:26] 825*2^1520189-1 is not prime. Res64: 563FCF892B97B5BD Time : 0.0 sec. user=mdettweiler [2018-08-02 15:04:27] 831*2^1520189-1 is not prime. Res64: FB61333DFE51A3E9 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:04:27] 861*2^1520189-1 is not prime. Res64: 931A1D7969EA63A2 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:04:28] 969*2^1520189-1 is not prime. Res64: 0EE1757DCE523D21 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:04:29] 985*2^1520189-1 is not prime. Res64: DF5AC4C5FEE75121 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:09:49] 681*2^1520190-1 is not prime. Res64: 3FF3F87056ECD9C8 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:09:50] 713*2^1520190-1 is not prime. Res64: DBB6B5BB3B138309 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:09:50] 851*2^1520190-1 is not prime. Res64: 85218A2BF9DAF26E Time : 0.0 sec. user=mdettweiler [2018-08-02 15:09:51] 957*2^1520190-1 is not prime. Res64: F5CD3742F96B34B2 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:09:51] 693*2^1520191-1 is not prime. Res64: DB6FA633DF476E86 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:23:10] 745*2^1520191-1 is not prime. Res64: 704A96A5C78791D1 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:23:10] 783*2^1520191-1 is not prime. Res64: 0629793DA7F80EEA Time : 0.0 sec. user=mdettweiler [2018-08-02 15:23:11] 793*2^1520191-1 is not prime. Res64: 4691B2C3E3581D6B Time : 0.0 sec. user=mdettweiler [2018-08-02 15:23:11] 813*2^1520191-1 is not prime. Res64: E4A02860CDEED9F1 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:23:12] 883*2^1520191-1 is not prime. Res64: 15D8E26F657234C8 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:36:51] 603*2^1520192-1 is not prime. Res64: EB06FF8404D554CA Time : 0.0 sec. user=mdettweiler [2018-08-02 15:36:51] 633*2^1520192-1 is not prime. Res64: AF4D38B2BCA77766 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:36:52] 665*2^1520192-1 is not prime. Res64: DBDFCF20EFB688AA Time : 0.0 sec. user=mdettweiler [2018-08-02 15:36:52] 719*2^1520192-1 is not prime. Res64: A5E30F7A82661AD1 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:36:52] 843*2^1520192-1 is not prime. Res64: 5FBA0CB3312FBB33 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:55:39] 675*2^1520193-1 is not prime. Res64: 516A17CC8DEEE5AD Time : 0.0 sec. user=mdettweiler [2018-08-02 15:55:39] 745*2^1520193-1 is not prime. Res64: 63C7A01F3596BC7C Time : 0.0 sec. user=mdettweiler [2018-08-02 15:55:40] 789*2^1520193-1 is not prime. Res64: 298E8E6C0598DDE9 Time : 0.0 sec. user=mdettweiler [2018-08-02 15:55:40] 605*2^1520194-1 is not prime. Res64: 6A1358C68F89B70F Time : 0.0 sec. user=mdettweiler [2018-08-02 15:55:40] 681*2^1520194-1 is not prime. Res64: B54E1AE2F7698318 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:00:58] 917*2^1520194-1 is not prime. Res64: 78870989BC2D7D46 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:01:01] 619*2^1520195-1 is not prime. Res64: 894B7E834851D0AA Time : 0.0 sec. user=mdettweiler [2018-08-02 16:01:02] 643*2^1520195-1 is not prime. Res64: EC130463EBE5918D Time : 0.0 sec. user=mdettweiler [2018-08-02 16:01:03] 675*2^1520195-1 is not prime. Res64: C521274C04C81DA9 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:01:03] 693*2^1520195-1 is not prime. Res64: B79200A49500F978 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:13:57] 759*2^1520195-1 is not prime. Res64: C17F431AB4282ACB Time : 0.0 sec. user=mdettweiler [2018-08-02 16:13:58] 981*2^1520195-1 is not prime. Res64: 5F99671D28DF4ABB Time : 0.0 sec. user=mdettweiler [2018-08-02 16:13:58] 627*2^1520196-1 is not prime. Res64: 1E2318A3CE399F5E Time : 0.0 sec. user=mdettweiler [2018-08-02 16:13:59] 725*2^1520196-1 is not prime. Res64: 3365278B0B992756 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:13:59] 843*2^1520196-1 is not prime. Res64: 023DA768F6EF38EE Time : 0.0 sec. user=mdettweiler [2018-08-02 16:28:06] 857*2^1520196-1 is not prime. Res64: ACE26981EC19B7A9 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:28:06] 887*2^1520196-1 is not prime. Res64: 8EE1DC33633B3941 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:28:06] 893*2^1520196-1 is not prime. Res64: 5E70CCEC4AA485BB Time : 0.0 sec. user=mdettweiler [2018-08-02 16:28:07] 615*2^1520197-1 is not prime. Res64: 5F235AC96EDE468A Time : 0.0 sec. user=mdettweiler [2018-08-02 16:28:07] 817*2^1520197-1 is not prime. Res64: 81E8999F6D73D67A Time : 0.0 sec. user=mdettweiler [2018-08-02 16:46:52] 957*2^1520197-1 is not prime. Res64: 2D7219ACB28111D4 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:46:53] 961*2^1520197-1 is not prime. Res64: 26B76F91B1E4332D Time : 0.0 sec. user=mdettweiler [2018-08-02 16:46:53] 979*2^1520197-1 is not prime. Res64: B7D728558E8D5030 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:46:54] 651*2^1520198-1 is not prime. Res64: 84CF5D5D3A4471EF Time : 0.0 sec. user=mdettweiler [2018-08-02 16:46:54] 761*2^1520198-1 is not prime. Res64: E30B55BA9CADF460 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:53:04] 827*2^1520198-1 is not prime. Res64: 1AA57F1E1DFE6DFA Time : 0.0 sec. user=mdettweiler [2018-08-02 16:53:04] 875*2^1520198-1 is not prime. Res64: F2775733224BD619 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:53:04] 663*2^1520199-1 is not prime. Res64: B639ABFE063DAF16 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:53:05] 703*2^1520199-1 is not prime. Res64: 6EEAD21C30676C29 Time : 0.0 sec. user=mdettweiler [2018-08-02 16:53:05] 741*2^1520199-1 is not prime. Res64: A731B6161C1CDD59 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:04:26] 909*2^1520199-1 is not prime. Res64: BB5683D4C08E7FA7 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:04:27] 913*2^1520199-1 is not prime. Res64: 1E527380BBCA5F03 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:04:30] 605*2^1520200-1 is not prime. Res64: 8A48ABC721FC6896 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:04:31] 623*2^1520200-1 is not prime. Res64: 8E038117EAB197BB Time : 0.0 sec. user=mdettweiler [2018-08-02 17:04:32] 677*2^1520200-1 is not prime. Res64: 686DFF77AD756B5D Time : 0.0 sec. user=mdettweiler [2018-08-02 17:18:36] 687*2^1520200-1 is not prime. Res64: 797848593ABB9C92 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:18:37] 827*2^1520200-1 is not prime. Res64: 886A4BDDAE939953 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:18:37] 855*2^1520200-1 is not prime. Res64: 251D435035A715A9 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:18:38] 607*2^1520201-1 is not prime. Res64: 00B448ABF28D86B4 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:18:38] 627*2^1520201-1 is not prime. Res64: 004B304245624D06 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:37:44] 805*2^1520201-1 is not prime. Res64: FF3F00FEA07E08EE Time : 0.0 sec. user=mdettweiler [2018-08-02 17:37:44] 871*2^1520201-1 is not prime. Res64: F1C2B95EC90B7FFE Time : 0.0 sec. user=mdettweiler [2018-08-02 17:37:44] 949*2^1520201-1 is not prime. Res64: 88D8C5975E61058D Time : 0.0 sec. user=mdettweiler [2018-08-02 17:37:45] 951*2^1520201-1 is not prime. Res64: E58AB91A0480B7B6 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:37:45] 665*2^1520202-1 is not prime. Res64: ABE0C8CC284B8E0D Time : 0.0 sec. user=mdettweiler [2018-08-02 17:43:46] 705*2^1520202-1 is not prime. Res64: E4495AFF6D5EC115 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:43:46] 723*2^1520202-1 is not prime. Res64: 749224A53FECF313 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:43:47] 791*2^1520202-1 is not prime. Res64: 105AECA89BBA7BDC Time : 0.0 sec. user=mdettweiler [2018-08-02 17:43:47] 803*2^1520202-1 is not prime. Res64: 6D666A4E481633F2 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:43:48] 951*2^1520202-1 is not prime. Res64: 0DA2359710419AED Time : 0.0 sec. user=mdettweiler [2018-08-02 17:55:28] 603*2^1520203-1 is not prime. Res64: 694A2B46DCB6D7A1 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:55:28] 699*2^1520203-1 is not prime. Res64: 0D66770743619593 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:55:29] 945*2^1520203-1 is not prime. Res64: FFFDE76F25885F8B Time : 0.0 sec. user=mdettweiler [2018-08-02 17:55:29] 683*2^1520204-1 is not prime. Res64: 06CFAA94FC985AD7 Time : 0.0 sec. user=mdettweiler [2018-08-02 17:55:30] 707*2^1520204-1 is not prime. Res64: 1978AEAA050E6879 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:09:18] 753*2^1520204-1 is not prime. Res64: D4F53128E8493C75 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:09:19] 773*2^1520204-1 is not prime. Res64: 199B27A8439C9634 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:09:19] 923*2^1520204-1 is not prime. Res64: B29F81D52F15948D Time : 0.0 sec. user=mdettweiler [2018-08-02 18:09:20] 625*2^1520205-1 is not prime. Res64: C3977B71A0C14216 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:09:20] 669*2^1520205-1 is not prime. Res64: C45E93537025851C Time : 0.0 sec. user=mdettweiler [2018-08-02 18:28:39] 679*2^1520205-1 is not prime. Res64: 5649BAD944EE0A5A Time : 0.0 sec. user=mdettweiler [2018-08-02 18:28:39] 741*2^1520205-1 is not prime. Res64: 48FF709974C3481E Time : 0.0 sec. user=mdettweiler [2018-08-02 18:28:40] 817*2^1520205-1 is not prime. Res64: 9BAEBA38D5AF3D49 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:28:40] 921*2^1520205-1 is not prime. Res64: B76A50C7A2DCAB63 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:28:40] 623*2^1520206-1 is not prime. Res64: 0ACB06E4D635A56F Time : 0.0 sec. user=mdettweiler [2018-08-02 18:35:22] 713*2^1520206-1 is not prime. Res64: 1826C2DBCD8FAA5E Time : 0.0 sec. user=mdettweiler [2018-08-02 18:35:23] 741*2^1520206-1 is not prime. Res64: C19C7638DB61FF19 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:35:23] 843*2^1520206-1 is not prime. Res64: C91717603163EE10 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:35:24] 857*2^1520206-1 is not prime. Res64: 1464EAB187ED0C79 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:35:24] 867*2^1520206-1 is not prime. Res64: 7B494D65E2AED663 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:46:24] 619*2^1520207-1 is not prime. Res64: A66AB210CCB34E77 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:46:24] 661*2^1520207-1 is not prime. Res64: 9BBFC2A172C2E17C Time : 0.0 sec. user=mdettweiler [2018-08-02 18:46:24] 871*2^1520207-1 is not prime. Res64: 9D098C968C19C446 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:46:25] 879*2^1520207-1 is not prime. Res64: 7C2BC42D7CE71ED9 Time : 0.0 sec. user=mdettweiler [2018-08-02 18:46:25] 945*2^1520207-1 is not prime. Res64: 7AB75613464197EF Time : 0.0 sec. user=mdettweiler [2018-08-02 19:01:31] 633*2^1520208-1 is not prime. Res64: B183CB72A1AA08DA Time : 0.0 sec. user=mdettweiler [2018-08-02 19:01:32] 669*2^1520208-1 is not prime. Res64: B0189D9A764DC70D Time : 0.0 sec. user=mdettweiler [2018-08-02 19:01:32] 725*2^1520208-1 is not prime. Res64: 738F83D3FC8BBC82 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:01:33] 845*2^1520208-1 is not prime. Res64: 39F4D389E2092E49 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:01:33] 879*2^1520208-1 is not prime. Res64: 362730241F53A004 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:21:31] 959*2^1520208-1 is not prime. Res64: B709E7667C4A4883 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:21:31] 615*2^1520209-1 is not prime. Res64: DD8A19476B6D59C8 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:21:32] 681*2^1520209-1 is not prime. Res64: 19F5577084161F18 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:21:32] 721*2^1520209-1 is not prime. Res64: 3EFEC58336A6190B Time : 0.0 sec. user=mdettweiler [2018-08-02 19:21:33] 841*2^1520209-1 is not prime. Res64: 40F2A21D5CFCAD43 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:27:24] 847*2^1520209-1 is not prime. Res64: 08233B582186588B Time : 0.0 sec. user=mdettweiler [2018-08-02 19:27:24] 975*2^1520209-1 is not prime. Res64: 65EFE95DBF9582B1 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:27:25] 635*2^1520210-1 is not prime. Res64: 181CC16367AF5865 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:27:25] 675*2^1520210-1 is not prime. Res64: A84ABE80A4025AC8 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:27:25] 743*2^1520210-1 is not prime. Res64: D98B96C47E3CAB00 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:38:46] 801*2^1520210-1 is not prime. Res64: C0DF09C409DC224B Time : 0.0 sec. user=mdettweiler [2018-08-02 19:38:46] 813*2^1520210-1 is not prime. Res64: 7458EEC03FFAA882 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:38:46] 831*2^1520210-1 is not prime. Res64: 76E688F6C1BB9F2C Time : 0.0 sec. user=mdettweiler [2018-08-02 19:38:47] 857*2^1520210-1 is not prime. Res64: 4771EBA5FE054897 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:38:47] 941*2^1520210-1 is not prime. Res64: 32A8DCA1628767D6 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:53:06] 957*2^1520210-1 is not prime. Res64: CDB474048EDD2C5B Time : 0.0 sec. user=mdettweiler [2018-08-02 19:53:06] 609*2^1520211-1 is not prime. Res64: 2565A295E7108602 Time : 0.0 sec. user=mdettweiler [2018-08-02 19:53:06] 685*2^1520211-1 is not prime. Res64: 125D41DCD5AAC4BF Time : 0.0 sec. user=mdettweiler [2018-08-02 19:53:07] 705*2^1520211-1 is not prime. Res64: 35FB40AD589ECF2C Time : 0.0 sec. user=mdettweiler [2018-08-02 19:53:07] 871*2^1520211-1 is not prime. Res64: 6835A2B44BDE5145 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:14:02] 955*2^1520211-1 is not prime. Res64: E169CEA5453381D8 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:14:02] 973*2^1520211-1 is not prime. Res64: 9F6D746B12A46A90 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:14:03] 999*2^1520211-1 is not prime. Res64: 2040CC8031AE788F Time : 0.0 sec. user=mdettweiler [2018-08-02 20:14:03] 609*2^1520212-1 is not prime. Res64: 7CBB5FB1F161D2FE Time : 0.0 sec. user=mdettweiler [2018-08-02 20:14:04] 629*2^1520212-1 is not prime. Res64: C9272CEBD010C265 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:19:22] 639*2^1520212-1 is not prime. Res64: 7281320616940491 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:19:22] 827*2^1520212-1 is not prime. Res64: 63208AEB66F844A5 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:19:23] 855*2^1520212-1 is not prime. Res64: 62388DF753194E4D Time : 0.0 sec. user=mdettweiler [2018-08-02 20:19:23] 873*2^1520212-1 is not prime. Res64: 68F0B45E5DECF3DE Time : 0.0 sec. user=mdettweiler [2018-08-02 20:19:23] 915*2^1520212-1 is not prime. Res64: 450C5D405B32698E Time : 0.0 sec. user=mdettweiler [2018-08-02 20:29:46] 999*2^1520212-1 is not prime. Res64: C56A46BEECACE2EF Time : 0.0 sec. user=mdettweiler [2018-08-02 20:29:46] 621*2^1520213-1 is not prime. Res64: A006AA894183AB35 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:29:47] 657*2^1520213-1 is not prime. Res64: D305EE9C398E0A5B Time : 0.0 sec. user=mdettweiler [2018-08-02 20:29:47] 747*2^1520213-1 is not prime. Res64: 8E8B64A0C468ADEE Time : 0.0 sec. user=mdettweiler [2018-08-02 20:29:48] 757*2^1520213-1 is not prime. Res64: BF89CD6937AF25FC Time : 0.0 sec. user=mdettweiler [2018-08-02 20:44:10] 987*2^1520213-1 is not prime. Res64: 83D56B3BAB4685F7 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:44:10] 615*2^1520214-1 is not prime. Res64: 7E4F7D99F7A42600 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:44:11] 635*2^1520214-1 is not prime. Res64: 5710CE4839D3D5C6 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:44:11] 671*2^1520214-1 is not prime. Res64: 3A28962833CAE5E3 Time : 0.0 sec. user=mdettweiler [2018-08-02 20:44:12] 705*2^1520214-1 is not prime. Res64: 495D2314B74B3D1A Time : 0.0 sec. user=mdettweiler [2018-08-02 21:05:00] 723*2^1520214-1 is not prime. Res64: 07764898201DD338 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:05:02] 791*2^1520214-1 is not prime. Res64: 91782197CD11A325 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:05:04] 807*2^1520214-1 is not prime. Res64: DBBF6B9795E13986 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:05:05] 903*2^1520214-1 is not prime. Res64: 1EC848D467441ABA Time : 0.0 sec. user=mdettweiler [2018-08-02 21:05:06] 951*2^1520214-1 is not prime. Res64: 61A6CEA847725709 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:10:14] 975*2^1520214-1 is not prime. Res64: 6826F316F6803636 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:10:15] 633*2^1520215-1 is not prime. Res64: 5E0E52B6C51A3EF8 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:10:15] 679*2^1520215-1 is not prime. Res64: 615E88534C06DFF0 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:10:16] 763*2^1520215-1 is not prime. Res64: 3A3ECD7C54CAB878 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:10:16] 829*2^1520215-1 is not prime. Res64: D85251B3842E2F3B Time : 0.0 sec. user=mdettweiler [2018-08-02 21:20:34] 831*2^1520215-1 is not prime. Res64: D3D3979F621A06C8 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:20:34] 859*2^1520215-1 is not prime. Res64: D7258D0C85BDEA2E Time : 0.0 sec. user=mdettweiler [2018-08-02 21:20:34] 915*2^1520215-1 is not prime. Res64: C6242A21F9FB38F8 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:20:35] 683*2^1520216-1 is not prime. Res64: D78C54287C9265B8 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:20:35] 767*2^1520216-1 is not prime. Res64: D53E403D0FF52911 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:34:54] 963*2^1520216-1 is not prime. Res64: 5E3872827DACB7B7 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:34:54] 969*2^1520216-1 is not prime. Res64: 0D7A91FB3B1639BF Time : 0.0 sec. user=mdettweiler [2018-08-02 21:34:55] 615*2^1520217-1 is not prime. Res64: 89BB39F7772B294C Time : 0.0 sec. user=mdettweiler [2018-08-02 21:34:55] 735*2^1520217-1 is not prime. Res64: D6D22EF564A9F834 Time : 0.0 sec. user=mdettweiler [2018-08-02 21:34:56] 741*2^1520217-1 is not prime. Res64: 7538147FD481139E Time : 0.0 sec. user=mdettweiler [2018-08-02 21:56:39] 817*2^1520217-1 is not prime. Res64: A668A783CF1D2D1D Time : 0.0 sec. user=mdettweiler [2018-08-02 21:56:39] 919*2^1520217-1 is not prime. Res64: 57BACF853B3B2EDF Time : 0.0 sec. user=mdettweiler [2018-08-02 21:56:40] 985*2^1520217-1 is not prime. Res64: DFC433F420DAE33C Time : 0.0 sec. user=mdettweiler [2018-08-02 21:56:40] 611*2^1520218-1 is not prime. Res64: 3490DC4B86CCB44D Time : 0.0 sec. user=mdettweiler [2018-08-02 21:56:41] 687*2^1520218-1 is not prime. Res64: 5A51368504C0239B Time : 0.0 sec. user=mdettweiler [2018-08-02 22:01:39] 747*2^1520218-1 is not prime. Res64: AF98544B48B427FD Time : 0.0 sec. user=mdettweiler [2018-08-02 22:01:41] 765*2^1520218-1 is not prime. Res64: 11806B501707C39C Time : 0.0 sec. user=mdettweiler [2018-08-02 22:01:42] 881*2^1520218-1 is not prime. Res64: A50753D97233F19F Time : 0.0 sec. user=mdettweiler [2018-08-02 22:01:43] 911*2^1520218-1 is not prime. Res64: 9475D43660F1FAC5 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:01:44] 945*2^1520218-1 is not prime. Res64: A9366B720BF83C84 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:11:29] 981*2^1520218-1 is not prime. Res64: 2870C5C8FAE1BFEA Time : 0.0 sec. user=mdettweiler [2018-08-02 22:11:30] 601*2^1520219-1 is not prime. Res64: F14B962B217C9725 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:11:30] 633*2^1520219-1 is not prime. Res64: CB3EDA6EEEC01368 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:11:31] 655*2^1520219-1 is not prime. Res64: DFF69BF284C035EB Time : 0.0 sec. user=mdettweiler [2018-08-02 22:11:31] 771*2^1520219-1 is not prime. Res64: AB623697F6DC599C Time : 0.0 sec. user=mdettweiler [2018-08-02 22:27:10] 819*2^1520219-1 is not prime. Res64: DDEEB01EA1D5D819 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:27:12] 949*2^1520219-1 is not prime. Res64: 428DC5780A0F7799 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:27:12] 669*2^1520220-1 is not prime. Res64: 450F9728FF3B07D2 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:27:13] 693*2^1520220-1 is not prime. Res64: DD99AE966AB58FEC Time : 0.0 sec. user=mdettweiler [2018-08-02 22:27:14] 707*2^1520220-1 is not prime. Res64: 7B9F5BE67E9D0259 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:47:41] 753*2^1520220-1 is not prime. Res64: 8F3D733129092E86 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:47:41] 795*2^1520220-1 is not prime. Res64: BBF737769FF3A8C8 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:47:42] 863*2^1520220-1 is not prime. Res64: 541120B805E66E6C Time : 0.0 sec. user=mdettweiler [2018-08-02 22:47:42] 899*2^1520220-1 is not prime. Res64: 92C0EBE750DB75C4 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:47:42] 965*2^1520220-1 is not prime. Res64: 0A3EA6DFD6C4EE6C Time : 0.0 sec. user=mdettweiler [2018-08-02 22:53:29] 615*2^1520221-1 is not prime. Res64: CDFB624FB1B7E590 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:53:29] 681*2^1520221-1 is not prime. Res64: A45997CDB87A4C2C Time : 0.0 sec. user=mdettweiler [2018-08-02 22:53:29] 687*2^1520221-1 is not prime. Res64: 54CDCFC66A41A60D Time : 0.0 sec. user=mdettweiler [2018-08-02 22:53:30] 757*2^1520221-1 is not prime. Res64: 4BF2CB615EF2C655 Time : 0.0 sec. user=mdettweiler [2018-08-02 22:53:30] 799*2^1520221-1 is not prime. Res64: C759B63CAD9FA491 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:02:30] 895*2^1520221-1 is not prime. Res64: 1ED8086F643C1405 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:02:31] 999*2^1520221-1 is not prime. Res64: 720FCED5E4D1B93D Time : 0.0 sec. user=mdettweiler [2018-08-02 23:02:31] 603*2^1520222-1 is not prime. Res64: CF57725F24C7A681 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:02:32] 657*2^1520222-1 is not prime. Res64: 4070FAAA2970B374 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:02:33] 693*2^1520222-1 is not prime. Res64: 82622B48F17A093A Time : 0.0 sec. user=mdettweiler [2018-08-02 23:18:54] 767*2^1520222-1 is not prime. Res64: AC5D3E7B25053E76 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:18:55] 771*2^1520222-1 is not prime. Res64: A203A14BA0E58342 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:18:55] 831*2^1520222-1 is not prime. Res64: 65C030A9802E15CF Time : 0.0 sec. user=mdettweiler [2018-08-02 23:18:55] 887*2^1520222-1 is not prime. Res64: BDB13C7EA6B66690 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:18:56] 945*2^1520222-1 is not prime. Res64: A507CD1FF9926071 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:39:03] 1001*2^1520222-1 is not prime. Res64: 879BD2E552F3F78E Time : 0.0 sec. user=mdettweiler [2018-08-02 23:39:03] 609*2^1520224-1 is not prime. Res64: 6AE7C238679D2619 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:39:04] 819*2^1520224-1 is not prime. Res64: 7FDA5354F28A7F84 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:39:04] 855*2^1520224-1 is not prime. Res64: D4B6AF115319F9FF Time : 0.0 sec. user=mdettweiler [2018-08-02 23:39:04] 873*2^1520224-1 is not prime. Res64: 0FEE0EED2D9BC9AD Time : 0.0 sec. user=mdettweiler [2018-08-02 23:45:01] 887*2^1520224-1 is not prime. Res64: CBD46B2094C1357B Time : 0.0 sec. user=mdettweiler [2018-08-02 23:45:02] 929*2^1520224-1 is not prime. Res64: 639D2BB32E8D3485 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:45:02] 717*2^1520225-1 is not prime. Res64: 5035A5E5374BA34B Time : 0.0 sec. user=mdettweiler [2018-08-02 23:45:03] 759*2^1520225-1 is not prime. Res64: B9C213B033BE4C07 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:45:03] 787*2^1520225-1 is not prime. Res64: 4C94784247DD9361 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:53:48] 801*2^1520225-1 is not prime. Res64: FDBB8BCA765B883E Time : 0.0 sec. user=mdettweiler [2018-08-02 23:53:48] 855*2^1520225-1 is not prime. Res64: F8F28A6156988AFB Time : 0.0 sec. user=mdettweiler [2018-08-02 23:53:49] 861*2^1520225-1 is not prime. Res64: 0FECD6E59E32FD50 Time : 0.0 sec. user=mdettweiler [2018-08-02 23:53:49] 949*2^1520225-1 is not prime. Res64: A99B630DAD6200DA Time : 0.0 sec. user=mdettweiler [2018-08-02 23:53:49] 741*2^1520226-1 is not prime. Res64: E1992382F345A22D Time : 0.0 sec.