user=mdettweiler [2020-02-17 00:37:52] 903*2^1554176-1 is not prime. Res64: 01D8ABDB2F6C1C84 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:37:52] 957*2^1554176-1 is not prime. Res64: A860F19087F08AA4 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:37:53] 607*2^1554177-1 is not prime. Res64: 728BFFA943C1AD27 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:37:53] 741*2^1554177-1 is not prime. Res64: 1F06C329D03742C6 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:37:54] 871*2^1554177-1 is not prime. Res64: 82BE291FA50EEC43 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:20] 603*2^1554178-1 is not prime. Res64: 9A779A9FD19D7E6D Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:21] 647*2^1554178-1 is not prime. Res64: E04971CD421EB34C Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:21] 755*2^1554178-1 is not prime. Res64: 2F5AEE031F252AE2 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:22] 855*2^1554178-1 is not prime. Res64: ED14A849A3FFA886 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:22] 995*2^1554178-1 is not prime. Res64: A802614D497F2340 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:25] 909*2^1554179-1 is not prime. Res64: B9496F253BAC0524 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:26] 627*2^1554180-1 is not prime. Res64: 2326C28DBEC66DA1 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:26] 689*2^1554180-1 is not prime. Res64: 93C44B0E51DC7028 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:26] 719*2^1554180-1 is not prime. Res64: 93907EFE8C063E31 Time : 0.0 sec. user=mdettweiler [2020-02-17 00:39:27] 753*2^1554180-1 is not prime. Res64: 95F028E399D5F087 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:32:08] 867*2^1554182-1 is not prime. Res64: 2C8D77BE5FB5C531 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:14] 795*2^1554180-1 is not prime. Res64: E3A0AE3DA0FC50D8 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:17] 905*2^1554180-1 is not prime. Res64: 52583D924CFA3734 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:19] 959*2^1554180-1 is not prime. Res64: E06BB6151724BB6A Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:22] 975*2^1554180-1 is not prime. Res64: 4297A708F46C380E Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:25] 645*2^1554181-1 is not prime. Res64: 897392128D487923 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:26] 859*2^1554181-1 is not prime. Res64: C5400BDE1E97433D Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:34] 925*2^1554181-1 is not prime. Res64: 781209711DDDDF65 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:37] 951*2^1554181-1 is not prime. Res64: 4519AF16C671FB54 Time : 0.0 sec. user=mdettweiler [2020-02-17 01:33:55] 731*2^1554182-1 is not prime. Res64: BAA41516937E410D Time : 0.0 sec. user=mdettweiler [2020-02-17 02:26:52] 763*2^1554183-1 is not prime. Res64: 8C9BEF4B2589A03B Time : 0.0 sec. user=mdettweiler [2020-02-17 02:26:54] 793*2^1554183-1 is not prime. Res64: 080B73045B040872 Time : 0.0 sec. user=mdettweiler [2020-02-17 02:26:54] 805*2^1554183-1 is not prime. Res64: 89769A1FE35285AD Time : 0.0 sec. user=mdettweiler [2020-02-17 02:26:55] 825*2^1554183-1 is not prime. Res64: 78F82018BBBF104B Time : 0.0 sec. user=mdettweiler [2020-02-17 02:26:56] 879*2^1554183-1 is not prime. Res64: A46FCBB861E38270 Time : 0.0 sec. user=mdettweiler [2020-02-17 03:19:47] 891*2^1554183-1 is not prime. Res64: 7FB171D326F027BF Time : 0.0 sec. user=mdettweiler [2020-02-17 03:19:47] 695*2^1554184-1 is not prime. Res64: 6B3786C90EE702A2 Time : 0.0 sec. user=mdettweiler [2020-02-17 03:19:48] 765*2^1554184-1 is not prime. Res64: 23547B8E22128900 Time : 0.0 sec. user=mdettweiler [2020-02-17 03:19:48] 773*2^1554184-1 is not prime. Res64: 32862C420B18BA98 Time : 0.0 sec. user=mdettweiler [2020-02-17 03:19:49] 813*2^1554184-1 is not prime. Res64: 56435274C906DBA3 Time : 0.0 sec. user=mdettweiler [2020-02-17 04:15:17] 827*2^1554184-1 is not prime. Res64: 68B5A653A9D8EFE4 Time : 0.0 sec. user=mdettweiler [2020-02-17 04:15:21] 887*2^1554184-1 is not prime. Res64: B701455303BA3874 Time : 0.0 sec. user=mdettweiler [2020-02-17 04:15:24] 903*2^1554184-1 is not prime. Res64: 8E109C81F96802D8 Time : 0.0 sec. user=mdettweiler [2020-02-17 04:15:28] 927*2^1554184-1 is not prime. Res64: 88931A7200E211F1 Time : 0.0 sec. user=mdettweiler [2020-02-17 04:15:32] 939*2^1554184-1 is not prime. Res64: 01C2F590983166BC Time : 0.0 sec. user=mdettweiler [2020-02-17 05:07:39] 669*2^1554185-1 is not prime. Res64: 8525CF8654C3F532 Time : 0.0 sec. user=mdettweiler [2020-02-17 05:07:43] 711*2^1554185-1 is not prime. Res64: 948FBDD69946129C Time : 0.0 sec. user=mdettweiler [2020-02-17 05:07:45] 841*2^1554185-1 is not prime. Res64: 784BF7F52C9143D9 Time : 0.0 sec. user=mdettweiler [2020-02-17 05:07:47] 635*2^1554186-1 is not prime. Res64: F401DA804177DF50 Time : 0.0 sec. user=mdettweiler [2020-02-17 05:07:48] 711*2^1554186-1 is not prime. Res64: 81B9282145A78BFF Time : 0.0 sec. user=mdettweiler [2020-02-17 06:02:01] 713*2^1554186-1 is not prime. Res64: 8D5A21ECCDD21B20 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:02:03] 735*2^1554186-1 is not prime. Res64: BB373CF55B810EF7 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:02:04] 765*2^1554186-1 is not prime. Res64: 57ABFDD6AEF293BE Time : 0.0 sec. user=mdettweiler [2020-02-17 06:02:05] 783*2^1554186-1 is not prime. Res64: B1E90984443BFA29 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:02:07] 905*2^1554186-1 is not prime. Res64: E5178060BF4C086A Time : 0.0 sec. user=mdettweiler [2020-02-17 06:23:16] 747*2^1554182-1 is not prime. Res64: AA8EE01364E2E6D7 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:29:26] 917*2^1554182-1 is not prime. Res64: 182ED68692EC6694 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:29:27] 649*2^1554183-1 is not prime. Res64: 3826AD4B2F1A164C Time : 0.0 sec. user=mdettweiler [2020-02-17 06:29:27] 705*2^1554183-1 is not prime. Res64: 20B96A8C223687B1 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:29:27] 735*2^1554183-1 is not prime. Res64: F059775264D9F670 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:59:08] 947*2^1554186-1 is not prime. Res64: 67C4EAF5ECF214D8 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:59:08] 963*2^1554186-1 is not prime. Res64: E6822F6BC2153A6E Time : 0.0 sec. user=mdettweiler [2020-02-17 06:59:09] 993*2^1554186-1 is not prime. Res64: 4E34CE49053D6202 Time : 0.0 sec. user=mdettweiler [2020-02-17 06:59:09] 1001*2^1554186-1 is not prime. Res64: 65EB796399FA306E Time : 0.0 sec. user=mdettweiler [2020-02-17 06:59:09] 603*2^1554187-1 is not prime. Res64: AA65883A0A61814B Time : 0.0 sec. user=mdettweiler [2020-02-17 07:14:34] 619*2^1554187-1 is not prime. Res64: A3CB22C963E30885 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:14:35] 645*2^1554187-1 is not prime. Res64: 0B2F1D8800EDB43E Time : 0.0 sec. user=mdettweiler [2020-02-17 07:14:35] 651*2^1554187-1 is not prime. Res64: 6F75FD9258606B2C Time : 0.0 sec. user=mdettweiler [2020-02-17 07:14:35] 751*2^1554187-1 is not prime. Res64: 4718BFD5DFC7549A Time : 0.0 sec. user=mdettweiler [2020-02-17 07:14:36] 891*2^1554187-1 is not prime. Res64: D5B1EC89E222C58C Time : 0.0 sec. user=mdettweiler [2020-02-17 07:22:09] 939*2^1554187-1 is not prime. Res64: 960A0A62566B8567 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:22:09] 659*2^1554188-1 is not prime. Res64: E25B07E5A3C33789 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:22:10] 699*2^1554188-1 is not prime. Res64: 5835E6222F13DFD6 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:22:10] 755*2^1554188-1 is not prime. Res64: 842C37CE3324C319 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:22:11] 777*2^1554188-1 is not prime. Res64: 4EA4EFB287DAAB56 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:52:43] 945*2^1554188-1 is not prime. Res64: BCC2D4BDE696A3C7 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:52:43] 835*2^1554189-1 is not prime. Res64: 37AC3BA86FC2948E Time : 0.0 sec. user=mdettweiler [2020-02-17 07:52:44] 861*2^1554189-1 is not prime. Res64: FDD82ABF32269871 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:52:44] 885*2^1554189-1 is not prime. Res64: 0F3B216FCD41AD52 Time : 0.0 sec. user=mdettweiler [2020-02-17 07:52:45] 889*2^1554189-1 is not prime. Res64: 1DEFA4A10841EB69 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:11:10] 951*2^1554189-1 is not prime. Res64: BA54FB161D2A1D9D Time : 0.0 sec. user=mdettweiler [2020-02-17 08:11:10] 961*2^1554189-1 is not prime. Res64: 19D4DCC9BDF5E6CF Time : 0.0 sec. user=mdettweiler [2020-02-17 08:11:12] 985*2^1554189-1 is not prime. Res64: DD2785271718269F Time : 0.0 sec. user=mdettweiler [2020-02-17 08:11:12] 997*2^1554189-1 is not prime. Res64: 3A56B72CDBE1571D Time : 0.0 sec. user=mdettweiler [2020-02-17 08:11:13] 657*2^1554190-1 is not prime. Res64: 995C0DB346342F4C Time : 0.0 sec. user=mdettweiler [2020-02-17 08:14:07] 717*2^1554190-1 is not prime. Res64: 8437BD7830656BB6 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:14:07] 693*2^1554191-1 is not prime. Res64: 89D6766B1465538B Time : 0.0 sec. user=mdettweiler [2020-02-17 08:14:08] 855*2^1554191-1 is not prime. Res64: B80CE85C21C720DA Time : 0.0 sec. user=mdettweiler [2020-02-17 08:14:08] 879*2^1554191-1 is not prime. Res64: E36B99A8EFDBEC67 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:14:09] 883*2^1554191-1 is not prime. Res64: 285FAA6FC430E3B4 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:48:10] 885*2^1554191-1 is not prime. Res64: 63C36B6E80895F4B Time : 0.0 sec. user=mdettweiler [2020-02-17 08:48:10] 981*2^1554191-1 is not prime. Res64: 04741376E50B7271 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:48:10] 629*2^1554192-1 is not prime. Res64: 5BA74D4D973B1052 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:48:11] 909*2^1554192-1 is not prime. Res64: 1DB59F54988F8310 Time : 0.0 sec. user=mdettweiler [2020-02-17 08:48:11] 929*2^1554192-1 is not prime. Res64: 8B7075F57308C07B Time : 0.0 sec. user=mdettweiler [2020-02-17 09:05:20] 933*2^1554192-1 is not prime. Res64: ED1F385DF417B6AD Time : 0.0 sec. user=mdettweiler [2020-02-17 09:05:21] 959*2^1554192-1 is not prime. Res64: 7D1FECB162061B9A Time : 0.0 sec. user=mdettweiler [2020-02-17 09:05:22] 649*2^1554193-1 is not prime. Res64: 9075D77A7DC01E33 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:05:23] 727*2^1554193-1 is not prime. Res64: EB5D08C3DB44A0B5 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:05:24] 861*2^1554193-1 is not prime. Res64: 2376B7B946A0EF40 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:08:52] 951*2^1554193-1 is not prime. Res64: D5B521F19788519A Time : 0.0 sec. user=mdettweiler [2020-02-17 09:08:54] 967*2^1554193-1 is not prime. Res64: E0CDA8CBD10D6FDC Time : 0.0 sec. user=mdettweiler [2020-02-17 09:08:55] 815*2^1554194-1 is not prime. Res64: 9B8AA203E0A72C57 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:08:57] 827*2^1554194-1 is not prime. Res64: 4AE1F1E3C0A05599 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:08:58] 875*2^1554194-1 is not prime. Res64: CA66DB9358E74824 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:41:55] 945*2^1554194-1 is not prime. Res64: 0E6DC5B25E3CC538 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:41:55] 983*2^1554194-1 is not prime. Res64: 8BAFFA34F8395BA8 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:41:56] 613*2^1554195-1 is not prime. Res64: DCEC171BB3011B32 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:41:56] 679*2^1554195-1 is not prime. Res64: 13F7DE4BCCDAD97C Time : 0.0 sec. user=mdettweiler [2020-02-17 09:41:56] 691*2^1554195-1 is not prime. Res64: 69AEBAC217494553 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:58:06] 765*2^1554195-1 is not prime. Res64: B5B3DD8DDDED6EC0 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:58:07] 775*2^1554195-1 is not prime. Res64: 6E885777DE88C3F0 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:58:07] 783*2^1554195-1 is not prime. Res64: C1CEE1AA3E5F0ECF Time : 0.0 sec. user=mdettweiler [2020-02-17 09:58:08] 801*2^1554195-1 is not prime. Res64: 03101D8F0E6531F8 Time : 0.0 sec. user=mdettweiler [2020-02-17 09:58:08] 859*2^1554195-1 is not prime. Res64: 5894E853F46BC212 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:02:49] 903*2^1554195-1 is not prime. Res64: 00E574A38A400F1C Time : 0.0 sec. user=mdettweiler [2020-02-17 10:02:50] 949*2^1554195-1 is not prime. Res64: DBB5E19ED388A7F9 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:02:51] 623*2^1554196-1 is not prime. Res64: FF23B91B0557AC76 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:02:52] 779*2^1554196-1 is not prime. Res64: 381CBE37C4DD9237 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:02:53] 783*2^1554196-1 is not prime. Res64: 9EEC55088155BD39 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:36:31] 803*2^1554196-1 is not prime. Res64: 2945F9DF1EE2325B Time : 0.0 sec. user=mdettweiler [2020-02-17 10:36:33] 855*2^1554196-1 is not prime. Res64: 1173BDDC69C23639 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:36:33] 887*2^1554196-1 is not prime. Res64: 311E795F79B3C7B4 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:36:33] 953*2^1554196-1 is not prime. Res64: FCDD541179FDF9A8 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:36:34] 989*2^1554196-1 is not prime. Res64: CC8CF73B527CE8A6 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:50:51] 601*2^1554197-1 is not prime. Res64: 46623F21FA300BA9 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:50:51] 697*2^1554197-1 is not prime. Res64: C1D87363901EBF05 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:50:52] 747*2^1554197-1 is not prime. Res64: CA44DA3AC8D448B1 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:50:52] 859*2^1554197-1 is not prime. Res64: 5B8885EF1B05EBC5 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:50:52] 939*2^1554197-1 is not prime. Res64: F1917724A163DA47 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:55:21] 955*2^1554197-1 is not prime. Res64: F2A7F5F86C7BF96E Time : 0.0 sec. user=mdettweiler [2020-02-17 10:55:22] 635*2^1554198-1 is not prime. Res64: 51632916A93B7804 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:55:22] 647*2^1554198-1 is not prime. Res64: ABD29BDA1AF0AA47 Time : 0.0 sec. user=mdettweiler [2020-02-17 10:55:22] 725*2^1554198-1 is not prime. Res64: 1C17C4BFA003172F Time : 0.0 sec. user=mdettweiler [2020-02-17 10:55:23] 755*2^1554198-1 is not prime. Res64: A0800D0C8463E75D Time : 0.0 sec. user=mdettweiler [2020-02-17 11:30:09] 795*2^1554198-1 is not prime. Res64: EB0D6B1F11E911B6 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:30:09] 861*2^1554198-1 is not prime. Res64: 10D22809CEB34FD4 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:30:10] 875*2^1554198-1 is not prime. Res64: 3956E28E94425FA5 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:30:10] 893*2^1554198-1 is not prime. Res64: C3BB034C69C3BDBB Time : 0.0 sec. user=mdettweiler [2020-02-17 11:30:11] 963*2^1554198-1 is not prime. Res64: DA1F4F22662F7A61 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:44:09] 977*2^1554198-1 is not prime. Res64: 0CBD7A2A5A5BD032 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:44:09] 745*2^1554199-1 is not prime. Res64: B7386D609B7E4662 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:44:10] 771*2^1554199-1 is not prime. Res64: 3A8C4FE639E57AFF Time : 0.0 sec. user=mdettweiler [2020-02-17 11:44:10] 789*2^1554199-1 is not prime. Res64: 0F32D5C480AC4697 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:44:10] 883*2^1554199-1 is not prime. Res64: 9984B8E0024F00D4 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:49:02] 969*2^1554199-1 is not prime. Res64: 3B6FC0D70548C07E Time : 0.0 sec. user=mdettweiler [2020-02-17 11:49:03] 985*2^1554199-1 is not prime. Res64: 4369F0029B153348 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:49:03] 609*2^1554200-1 is not prime. Res64: D8176392DC6F936B Time : 0.0 sec. user=mdettweiler [2020-02-17 11:49:03] 665*2^1554200-1 is not prime. Res64: C1C481A5C0BBFC47 Time : 0.0 sec. user=mdettweiler [2020-02-17 11:49:04] 675*2^1554200-1 is not prime. Res64: B37EC3EA79835779 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:22:06] 677*2^1554200-1 is not prime. Res64: 46E722DC61A92D1A Time : 0.0 sec. user=mdettweiler [2020-02-17 12:22:07] 717*2^1554200-1 is not prime. Res64: B6675F627577301F Time : 0.0 sec. user=mdettweiler [2020-02-17 12:22:07] 795*2^1554200-1 is not prime. Res64: 817058F6C97C3E69 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:22:08] 833*2^1554200-1 is not prime. Res64: 851EE530965B7ABC Time : 0.0 sec. user=mdettweiler [2020-02-17 12:22:08] 879*2^1554200-1 is not prime. Res64: D21F8E7E74DC01EC Time : 0.0 sec. user=mdettweiler [2020-02-17 12:39:58] 959*2^1554200-1 is not prime. Res64: F915E4CEA9F21B08 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:39:58] 983*2^1554200-1 is not prime. Res64: C5AF5FB25BA0AEC8 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:39:58] 999*2^1554200-1 is not prime. Res64: 4CAE1982C0548446 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:39:59] 807*2^1554201-1 is not prime. Res64: F516E8EB4B9A4982 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:39:59] 817*2^1554201-1 is not prime. Res64: 48E8214F389F6F1F Time : 0.0 sec. user=mdettweiler [2020-02-17 12:41:51] 889*2^1554201-1 is not prime. Res64: 35AD2C93D9A89061 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:41:51] 969*2^1554201-1 is not prime. Res64: FD228CF5EA248870 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:41:51] 665*2^1554202-1 is not prime. Res64: 03AD746F83BAE120 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:41:52] 677*2^1554202-1 is not prime. Res64: 1F6ADA258C814512 Time : 0.0 sec. user=mdettweiler [2020-02-17 12:41:52] 755*2^1554202-1 is not prime. Res64: 3904065C69F34546 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:14:55] 827*2^1554202-1 is not prime. Res64: C2E40E2DE47CA4C4 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:14:56] 947*2^1554202-1 is not prime. Res64: FD23374C940DFA4C Time : 0.0 sec. user=mdettweiler [2020-02-17 13:14:56] 621*2^1554203-1 is not prime. Res64: 7DFB95ABA559423E Time : 0.0 sec. user=mdettweiler [2020-02-17 13:14:57] 643*2^1554203-1 is not prime. Res64: E61B0E029B02C450 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:14:57] 693*2^1554203-1 is not prime. Res64: B666127767EA66DE Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:39] 699*2^1554203-1 is not prime. Res64: 7DA53F9EDC3BDAC4 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:39] 939*2^1554203-1 is not prime. Res64: 1A182CE23E5E7EC2 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:40] 943*2^1554203-1 is not prime. Res64: B43A6275E1C9E100 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:41] 663*2^1554204-1 is not prime. Res64: BE7526923413A3BF Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:41] 665*2^1554204-1 is not prime. Res64: 4CEF2863D50AA73D Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:50] 759*2^1554204-1 is not prime. Res64: B7294043325699F8 Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:50] 773*2^1554204-1 is not prime. Res64: C8A5C49255C04BEB Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:50] 789*2^1554204-1 is not prime. Res64: 379F78B549695AED Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:51] 875*2^1554204-1 is not prime. Res64: 4533EC8DCF8F5D4A Time : 0.0 sec. user=mdettweiler [2020-02-17 13:33:51] 687*2^1554205-1 is not prime. Res64: CDC454C8B667FD90 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:07:19] 715*2^1554205-1 is not prime. Res64: E125FEC019FB5192 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:07:21] 771*2^1554205-1 is not prime. Res64: 7D688525665BD19B Time : 0.0 sec. user=mdettweiler [2020-02-17 14:07:23] 799*2^1554205-1 is not prime. Res64: 44F62B37DC75BA8A Time : 0.0 sec. user=mdettweiler [2020-02-17 14:07:24] 825*2^1554205-1 is not prime. Res64: 90C516B1BA9F1AE3 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:07:25] 859*2^1554205-1 is not prime. Res64: 35271C7EC5FA28E9 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:26:44] 885*2^1554205-1 is not prime. Res64: 6783D48C8701AD8F Time : 0.0 sec. user=mdettweiler [2020-02-17 14:26:45] 997*2^1554205-1 is not prime. Res64: 1B67F26F37CE7C9F Time : 0.0 sec. user=mdettweiler [2020-02-17 14:26:45] 683*2^1554206-1 is not prime. Res64: AEFD756954F8503F Time : 0.0 sec. user=mdettweiler [2020-02-17 14:26:46] 717*2^1554206-1 is not prime. Res64: 4FA41E9A2AA0F7A4 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:26:47] 815*2^1554206-1 is not prime. Res64: 0B6971693B2E98EC Time : 0.0 sec. user=mdettweiler [2020-02-17 14:29:13] 861*2^1554206-1 is not prime. Res64: 38822D3787D275B8 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:29:13] 921*2^1554206-1 is not prime. Res64: A2E821510BCFE611 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:29:14] 953*2^1554206-1 is not prime. Res64: 94E1CB70068B45D9 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:29:14] 987*2^1554206-1 is not prime. Res64: E2490AD3FCD75654 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:29:14] 703*2^1554207-1 is not prime. Res64: 6FA7F92E172BF54A Time : 0.0 sec. user=mdettweiler [2020-02-17 14:59:39] 829*2^1554207-1 is not prime. Res64: 22E9C4CED20B04EA Time : 0.0 sec. user=mdettweiler [2020-02-17 14:59:39] 895*2^1554207-1 is not prime. Res64: 1462E8D4B954CFBA Time : 0.0 sec. user=mdettweiler [2020-02-17 14:59:40] 747*2^1554208-1 is not prime. Res64: 3E3D6F2559DAB958 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:59:40] 825*2^1554208-1 is not prime. Res64: 52BD2B5F7CD972C9 Time : 0.0 sec. user=mdettweiler [2020-02-17 14:59:40] 863*2^1554208-1 is not prime. Res64: 3F89FD257E42F661 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:18:56] 699*2^1554209-1 is not prime. Res64: 42D51B9A64109EFC Time : 0.0 sec. user=mdettweiler [2020-02-17 15:18:57] 771*2^1554209-1 is not prime. Res64: 563AFEE0B2ACFA47 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:18:58] 811*2^1554209-1 is not prime. Res64: 8808484D4594EA18 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:18:58] 829*2^1554209-1 is not prime. Res64: DE6EFC00A3DC166F Time : 0.0 sec. user=mdettweiler [2020-02-17 15:18:58] 855*2^1554209-1 is not prime. Res64: A44EA5AA681324CE Time : 0.0 sec. user=mdettweiler [2020-02-17 15:22:26] 861*2^1554209-1 is not prime. Res64: 16A606ABDADC04DF Time : 0.0 sec. user=mdettweiler [2020-02-17 15:22:27] 885*2^1554209-1 is not prime. Res64: 38C366DDD42C1832 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:22:27] 889*2^1554209-1 is not prime. Res64: 03DA59813CEE4962 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:22:27] 985*2^1554209-1 is not prime. Res64: EAED4B64AB187BD1 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:22:28] 741*2^1554210-1 is not prime. Res64: A7BED80207E9D0A0 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:55:23] 791*2^1554210-1 is not prime. Res64: 4E6614B5DBC268DF Time : 0.0 sec. user=mdettweiler [2020-02-17 15:55:23] 843*2^1554210-1 is not prime. Res64: 0DC58325A35D37CA Time : 0.0 sec. user=mdettweiler [2020-02-17 15:55:23] 905*2^1554210-1 is not prime. Res64: CB95F5A6FA66ABEC Time : 0.0 sec. user=mdettweiler [2020-02-17 15:55:25] 921*2^1554210-1 is not prime. Res64: 1E459DD565129782 Time : 0.0 sec. user=mdettweiler [2020-02-17 15:55:25] 977*2^1554210-1 is not prime. Res64: 14000EB7E4AAEEF8 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:13:22] 705*2^1554211-1 is not prime. Res64: DDC34A2F00EBD609 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:13:22] 859*2^1554211-1 is not prime. Res64: 994A491897E7CA0E Time : 0.0 sec. user=mdettweiler [2020-02-17 16:13:23] 871*2^1554211-1 is not prime. Res64: 26BF5DCBE394E449 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:13:23] 951*2^1554211-1 is not prime. Res64: 445B09AE1A8EC3C4 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:13:23] 961*2^1554211-1 is not prime. Res64: 4922BDA345A50537 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:14:04] 617*2^1554212-1 is not prime. Res64: 6487A62B85CFDFBA Time : 0.0 sec. user=mdettweiler [2020-02-17 16:14:05] 735*2^1554212-1 is not prime. Res64: 688BB6BBF75A9BAD Time : 0.0 sec. user=mdettweiler [2020-02-17 16:14:05] 743*2^1554212-1 is not prime. Res64: 7562069D123DA536 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:14:05] 777*2^1554212-1 is not prime. Res64: 267DFB46F857F455 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:14:06] 797*2^1554212-1 is not prime. Res64: 6BFECC8C0CA45BC8 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:48:40] 833*2^1554212-1 is not prime. Res64: F487BF5CB6237F19 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:48:41] 747*2^1554213-1 is not prime. Res64: 53E87803F39AD4BB Time : 0.0 sec. user=mdettweiler [2020-02-17 16:48:41] 811*2^1554213-1 is not prime. Res64: 93B80DEF84ADFF63 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:48:41] 835*2^1554213-1 is not prime. Res64: F6F7492031838E17 Time : 0.0 sec. user=mdettweiler [2020-02-17 16:48:42] 961*2^1554213-1 is not prime. Res64: F3686EA5750A0DAE Time : 0.0 sec. user=mdettweiler [2020-02-17 17:05:22] 707*2^1554214-1 is not prime. Res64: EC63135A884460AB Time : 0.0 sec. user=mdettweiler [2020-02-17 17:05:25] 755*2^1554214-1 is not prime. Res64: CD48A550A3DA8BE0 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:05:26] 773*2^1554214-1 is not prime. Res64: A5BAE7FC2411FA26 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:05:28] 813*2^1554214-1 is not prime. Res64: 8EB3CE5224E21F72 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:05:29] 887*2^1554214-1 is not prime. Res64: FC96236B7FCE2241 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:08:13] 609*2^1554216-1 is not prime. Res64: F33F3204FAFE9E03 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:10:33] 923*2^1554214-1 is not prime. Res64: C926425758EF76AA Time : 0.0 sec. user=mdettweiler [2020-02-17 17:10:34] 971*2^1554214-1 is not prime. Res64: C0F90557ABCF0E8C Time : 0.0 sec. user=mdettweiler [2020-02-17 17:10:35] 983*2^1554214-1 is not prime. Res64: 72ECDA47196CCBB7 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:10:37] 993*2^1554214-1 is not prime. Res64: 77B48E5F70AF6C7B Time : 0.0 sec. user=mdettweiler [2020-02-17 17:10:38] 685*2^1554215-1 is not prime. Res64: 4C06499088CBB5B9 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:41:54] 705*2^1554215-1 is not prime. Res64: 46034DEF0BFE6BA5 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:41:54] 841*2^1554215-1 is not prime. Res64: 7318F3694D2B00A9 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:41:55] 861*2^1554215-1 is not prime. Res64: 44FDD75CF13B1D3E Time : 0.0 sec. user=mdettweiler [2020-02-17 17:41:55] 865*2^1554215-1 is not prime. Res64: C2C34C936D4B45B1 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:41:55] 999*2^1554215-1 is not prime. Res64: 22843F0F5497DA7C Time : 0.0 sec. user=mdettweiler [2020-02-17 17:57:10] 627*2^1554216-1 is not prime. Res64: E75EB0E8417420F1 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:57:10] 683*2^1554216-1 is not prime. Res64: 8C3DC67F834C0829 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:57:11] 735*2^1554216-1 is not prime. Res64: C1434CDDFA2B22E6 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:57:11] 765*2^1554216-1 is not prime. Res64: FF66F5BC3E6237F3 Time : 0.0 sec. user=mdettweiler [2020-02-17 17:57:12] 845*2^1554216-1 is not prime. Res64: 1222D8B304E5156E Time : 0.0 sec. user=mdettweiler [2020-02-17 18:04:55] 917*2^1554216-1 is not prime. Res64: 31802290C5DD7ABB Time : 0.0 sec. user=mdettweiler [2020-02-17 18:04:58] 945*2^1554216-1 is not prime. Res64: 9C32403DA236327A Time : 0.0 sec. user=mdettweiler [2020-02-17 18:04:59] 609*2^1554217-1 is not prime. Res64: B932CE11954AFB4F Time : 0.0 sec. user=mdettweiler [2020-02-17 18:05:01] 691*2^1554217-1 is not prime. Res64: 7A6D51934ADE6FD5 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:05:03] 819*2^1554217-1 is not prime. Res64: 21F5414CFD771CBF Time : 0.0 sec. user=mdettweiler [2020-02-17 18:36:11] 835*2^1554217-1 is not prime. Res64: 7C92475DD8F5D1E1 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:36:12] 885*2^1554217-1 is not prime. Res64: B3EE3222158DE626 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:36:12] 931*2^1554217-1 is not prime. Res64: AE6BB3A4DBBE5DF8 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:36:13] 967*2^1554217-1 is not prime. Res64: 39F38A2D23BE4EBE Time : 0.0 sec. user=mdettweiler [2020-02-17 18:36:14] 707*2^1554218-1 is not prime. Res64: 877BDE2F24867D67 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:51:54] 801*2^1554218-1 is not prime. Res64: C3F434870A3547A8 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:51:55] 827*2^1554218-1 is not prime. Res64: 62CE64531F3EF9C3 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:51:55] 875*2^1554218-1 is not prime. Res64: 2C78781E1974B833 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:51:56] 921*2^1554218-1 is not prime. Res64: CB17EB632644385E Time : 0.0 sec. user=mdettweiler [2020-02-17 18:51:56] 935*2^1554218-1 is not prime. Res64: 558A105DD5AC0761 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:59:10] 995*2^1554218-1 is not prime. Res64: E4942C590B9E478A Time : 0.0 sec. user=mdettweiler [2020-02-17 18:59:11] 1001*2^1554218-1 is not prime. Res64: 8CC8973AF0A9FF95 Time : 0.0 sec. user=mdettweiler [2020-02-17 18:59:11] 633*2^1554219-1 is not prime. Res64: 2F42534F72957C6A Time : 0.0 sec. user=mdettweiler [2020-02-17 18:59:12] 751*2^1554219-1 is not prime. Res64: 0CABBCC74AE3656E Time : 0.0 sec. user=mdettweiler [2020-02-17 18:59:12] 793*2^1554219-1 is not prime. Res64: B0D10377F0896416 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:27:52] 829*2^1554219-1 is not prime. Res64: 91612A388F880728 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:27:53] 853*2^1554219-1 is not prime. Res64: 5ADB5EE06339AC23 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:27:53] 605*2^1554220-1 is not prime. Res64: EE86C2CDF7060F5F Time : 0.0 sec. user=mdettweiler [2020-02-17 19:27:54] 647*2^1554220-1 is not prime. Res64: 2EFCF221E035C700 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:27:54] 689*2^1554220-1 is not prime. Res64: 67F0DFFB166D7D0D Time : 0.0 sec. user=mdettweiler [2020-02-17 19:44:19] 695*2^1554220-1 is not prime. Res64: 4263914927133039 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:44:19] 707*2^1554220-1 is not prime. Res64: 7CC6827CB9DDB8B8 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:44:20] 759*2^1554220-1 is not prime. Res64: 9AEEA46A046E9E88 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:44:20] 989*2^1554220-1 is not prime. Res64: 422C6BDF8C0C862D Time : 0.0 sec. user=mdettweiler [2020-02-17 19:44:20] 631*2^1554221-1 is not prime. Res64: 367AE6788684A5FE Time : 0.0 sec. user=mdettweiler [2020-02-17 19:52:13] 651*2^1554221-1 is not prime. Res64: 59A1A85ECE4309F8 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:52:14] 871*2^1554221-1 is not prime. Res64: A399E170AE00BA48 Time : 0.0 sec. user=mdettweiler [2020-02-17 19:52:14] 885*2^1554221-1 is not prime. Res64: 81422520BD65342A Time : 0.0 sec. user=mdettweiler [2020-02-17 19:52:14] 967*2^1554221-1 is not prime. Res64: 21716E91A0F0D15E Time : 0.0 sec. user=mdettweiler [2020-02-17 19:52:15] 731*2^1554222-1 is not prime. Res64: B666CC344985860A Time : 0.0 sec. user=mdettweiler [2020-02-17 20:21:13] 737*2^1554222-1 is not prime. Res64: 6866EAE30267EA0C Time : 0.0 sec. user=mdettweiler [2020-02-17 20:21:14] 885*2^1554222-1 is not prime. Res64: 02667EB50749E96A Time : 0.0 sec. user=mdettweiler [2020-02-17 20:21:14] 887*2^1554222-1 is not prime. Res64: E5EE8F66F8B0FC32 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:21:14] 951*2^1554222-1 is not prime. Res64: B762CCBD587C1F07 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:21:15] 633*2^1554223-1 is not prime. Res64: 380869796801A9E0 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:36:53] 693*2^1554223-1 is not prime. Res64: 72BFF66487F1B8AE Time : 0.0 sec. user=mdettweiler [2020-02-17 20:36:53] 789*2^1554223-1 is not prime. Res64: 8196B782983ADC5C Time : 0.0 sec. user=mdettweiler [2020-02-17 20:36:53] 855*2^1554223-1 is not prime. Res64: EC0AFCC630DC93A8 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:36:53] 861*2^1554223-1 is not prime. Res64: 8C64D20D49F8DA39 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:36:54] 873*2^1554223-1 is not prime. Res64: 2BFAD701F236E967 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:47:41] 915*2^1554223-1 is not prime. Res64: DAE44C5212E615F5 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:47:41] 943*2^1554223-1 is not prime. Res64: AF3B4DA6BC943B93 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:47:42] 951*2^1554223-1 is not prime. Res64: 7427837F8F516AE1 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:47:42] 699*2^1554224-1 is not prime. Res64: 3CBA4409742BE582 Time : 0.0 sec. user=mdettweiler [2020-02-17 20:47:42] 753*2^1554224-1 is not prime. Res64: DBD48C06F9F261F9 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:15:13] 773*2^1554224-1 is not prime. Res64: 61523C989F13B19B Time : 0.0 sec. user=mdettweiler [2020-02-17 21:15:14] 827*2^1554224-1 is not prime. Res64: 013FE65E4C7D08EB Time : 0.0 sec. user=mdettweiler [2020-02-17 21:15:14] 855*2^1554224-1 is not prime. Res64: B6E083F364615A55 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:15:15] 857*2^1554224-1 is not prime. Res64: 870BFB75FB444A99 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:15:15] 927*2^1554224-1 is not prime. Res64: 0718081EE290E675 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:30:42] 795*2^1554225-1 is not prime. Res64: 8E4B516B2984426B Time : 0.0 sec. user=mdettweiler [2020-02-17 21:30:42] 819*2^1554225-1 is not prime. Res64: 7B774168F6D6355A Time : 0.0 sec. user=mdettweiler [2020-02-17 21:30:43] 837*2^1554225-1 is not prime. Res64: 1526C61FD4CEC71B Time : 0.0 sec. user=mdettweiler [2020-02-17 21:30:43] 889*2^1554225-1 is not prime. Res64: 4F44FE5DBF3CC164 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:30:44] 937*2^1554225-1 is not prime. Res64: C9A570AB3A0754AB Time : 0.0 sec. user=mdettweiler [2020-02-17 21:41:37] 985*2^1554225-1 is not prime. Res64: 6FD226832D80E168 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:41:37] 999*2^1554225-1 is not prime. Res64: FBF0071DCD632A55 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:41:37] 645*2^1554226-1 is not prime. Res64: D7126170339B47C0 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:41:38] 677*2^1554226-1 is not prime. Res64: 8708E9E5028615C2 Time : 0.0 sec. user=mdettweiler [2020-02-17 21:41:38] 609*2^1554227-1 is not prime. Res64: 195B658978AF69B2 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:06:51] 655*2^1554227-1 is not prime. Res64: 6ABF44AE419A6989 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:06:53] 735*2^1554227-1 is not prime. Res64: AD5FB9E74B2DE05B Time : 0.0 sec. user=mdettweiler [2020-02-17 22:06:55] 753*2^1554227-1 is not prime. Res64: 82618E6A482E60A7 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:06:57] 879*2^1554227-1 is not prime. Res64: 1E291BC8C6B8A97D Time : 0.0 sec. user=mdettweiler [2020-02-17 22:07:02] 883*2^1554227-1 is not prime. Res64: 5E125BF6C07E947F Time : 0.0 sec. user=mdettweiler [2020-02-17 22:23:32] 991*2^1554227-1 is not prime. Res64: 235B043E231D88B4 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:23:33] 663*2^1554228-1 is not prime. Res64: A641E05EA76F599D Time : 0.0 sec. user=mdettweiler [2020-02-17 22:23:33] 699*2^1554228-1 is not prime. Res64: 09C7E1BB29071ACB Time : 0.0 sec. user=mdettweiler [2020-02-17 22:23:34] 753*2^1554228-1 is not prime. Res64: 3987581BCBDFC258 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:23:34] 797*2^1554228-1 is not prime. Res64: 96F9DF9D0D38E0A9 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:34:55] 839*2^1554228-1 is not prime. Res64: EFF08F9AF93F68EE Time : 0.0 sec. user=mdettweiler [2020-02-17 22:34:55] 843*2^1554228-1 is not prime. Res64: 7FC12F9CD470DBF9 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:34:56] 867*2^1554228-1 is not prime. Res64: C942CCC311562BB7 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:34:56] 987*2^1554228-1 is not prime. Res64: A7CFAB765A707B26 Time : 0.0 sec. user=mdettweiler [2020-02-17 22:34:57] 609*2^1554229-1 is not prime. Res64: 45CA663BD7F41099 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:01:17] 679*2^1554229-1 is not prime. Res64: 11441859CC47E69E Time : 0.0 sec. user=mdettweiler [2020-02-17 23:01:18] 775*2^1554229-1 is not prime. Res64: AB56DB132366AF41 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:01:20] 945*2^1554229-1 is not prime. Res64: F1EE91D185F1339C Time : 0.0 sec. user=mdettweiler [2020-02-17 23:01:22] 951*2^1554229-1 is not prime. Res64: B9DF4DA242E16870 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:01:22] 645*2^1554230-1 is not prime. Res64: 6DFD71EFEFE31AB5 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:16:32] 707*2^1554230-1 is not prime. Res64: DD997BA884437909 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:16:33] 813*2^1554230-1 is not prime. Res64: 3084614F53CAC67A Time : 0.0 sec. user=mdettweiler [2020-02-17 23:16:33] 893*2^1554230-1 is not prime. Res64: 6E33582959DB144E Time : 0.0 sec. user=mdettweiler [2020-02-17 23:16:34] 921*2^1554230-1 is not prime. Res64: 47CE07A8AD1B7D10 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:16:34] 619*2^1554231-1 is not prime. Res64: EA6B0521BEFD6EE7 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:30:17] 739*2^1554231-1 is not prime. Res64: DBFE24B3C0B7110B Time : 0.0 sec. user=mdettweiler [2020-02-17 23:30:18] 781*2^1554231-1 is not prime. Res64: B950340F6840F19E Time : 0.0 sec. user=mdettweiler [2020-02-17 23:30:18] 973*2^1554231-1 is not prime. Res64: 1BEFD7E267FD2ADD Time : 0.0 sec. user=mdettweiler [2020-02-17 23:30:18] 979*2^1554231-1 is not prime. Res64: 192A931690C036E5 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:30:19] 999*2^1554231-1 is not prime. Res64: 7329FFD328CCE265 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:52:44] 635*2^1554232-1 is not prime. Res64: EF67837CEC684DB1 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:52:45] 677*2^1554232-1 is not prime. Res64: F30AD7E5947FFDA9 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:52:45] 735*2^1554232-1 is not prime. Res64: B179C88CCD77A97D Time : 0.0 sec. user=mdettweiler [2020-02-17 23:52:45] 743*2^1554232-1 is not prime. Res64: 9B9F4CD46CBA9814 Time : 0.0 sec. user=mdettweiler [2020-02-17 23:52:46] 827*2^1554232-1 is not prime. Res64: BC83176AB4B684E1 Time : 0.0 sec.