user=mdettweiler [2020-02-12 00:15:41] 887*2^1553866-1 is not prime. Res64: 76FBDB6CAC3E4C8D Time : 0.0 sec. user=mdettweiler [2020-02-12 00:15:42] 621*2^1553867-1 is not prime. Res64: 81D6847E87F19316 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:15:42] 759*2^1553867-1 is not prime. Res64: C5088C3670BBA0BD Time : 0.0 sec. user=mdettweiler [2020-02-12 00:15:43] 885*2^1553867-1 is not prime. Res64: 38F5A68EBA0A9476 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:15:43] 991*2^1553867-1 is not prime. Res64: CACD93CFDDA5A3D0 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:16:51] 605*2^1553868-1 is not prime. Res64: 841B8FE6A299B5FB Time : 0.0 sec. user=mdettweiler [2020-02-12 00:16:52] 633*2^1553868-1 is not prime. Res64: 7C69207634A03FF3 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:16:52] 669*2^1553868-1 is not prime. Res64: 1263D9185E39D2D0 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:16:53] 683*2^1553868-1 is not prime. Res64: E93F86D02EC03B24 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:16:53] 803*2^1553868-1 is not prime. Res64: A5483CB6F40B2B3C Time : 0.0 sec. user=mdettweiler [2020-02-12 00:47:51] 839*2^1553868-1 is not prime. Res64: 120EE8FB45BEEDAB Time : 0.0 sec. user=mdettweiler [2020-02-12 00:47:52] 845*2^1553868-1 is not prime. Res64: EB719A39DBC0A9B2 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:47:52] 799*2^1553869-1 is not prime. Res64: D8C79EAE1FFE2BC1 Time : 0.0 sec. user=mdettweiler [2020-02-12 00:47:52] 931*2^1553869-1 is not prime. Res64: 3D5CA056A3BC36AA Time : 0.0 sec. user=mdettweiler [2020-02-12 00:47:53] 945*2^1553869-1 is not prime. Res64: 3182C9A81C35B92C Time : 0.0 sec. user=mdettweiler [2020-02-12 01:08:29] 957*2^1553869-1 is not prime. Res64: 50CB8872D37605F0 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:08:29] 605*2^1553870-1 is not prime. Res64: A04CF281A26C1D86 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:08:30] 711*2^1553870-1 is not prime. Res64: C816EEE0CCD1D5F5 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:08:30] 743*2^1553870-1 is not prime. Res64: 2132A3E35836E370 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:08:31] 795*2^1553870-1 is not prime. Res64: AAB025A3FB7F2321 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:11:33] 851*2^1553870-1 is not prime. Res64: 6E3FEDFC2DF961C7 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:11:33] 867*2^1553870-1 is not prime. Res64: 1C7AF88CFF05A99B Time : 0.0 sec. user=mdettweiler [2020-02-12 01:11:34] 887*2^1553870-1 is not prime. Res64: 21BE05E3B168BBE1 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:11:34] 915*2^1553870-1 is not prime. Res64: BE32BC9275F199BE Time : 0.0 sec. user=mdettweiler [2020-02-12 01:11:34] 923*2^1553870-1 is not prime. Res64: C4BCE7E5C6F0D3B2 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:38:55] 613*2^1553871-1 is not prime. Res64: 46DE4AEB6BF6893B Time : 0.0 sec. user=mdettweiler [2020-02-12 01:38:56] 615*2^1553871-1 is not prime. Res64: 348D58489932B400 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:38:57] 621*2^1553871-1 is not prime. Res64: 74EFF564C7A34D42 Time : 0.0 sec. user=mdettweiler [2020-02-12 01:38:58] 675*2^1553871-1 is not prime. Res64: 2954111DA5B0DC8A Time : 0.0 sec. user=mdettweiler [2020-02-12 01:38:59] 723*2^1553871-1 is not prime. Res64: EE7AF81B9361184B Time : 0.0 sec. user=mdettweiler [2020-02-12 02:04:53] 615*2^1553873-1 is not prime. Res64: 37421B99244F7D2E Time : 0.0 sec. user=mdettweiler [2020-02-12 02:04:58] 675*2^1553873-1 is not prime. Res64: 0421CEFF2C308461 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:05:01] 805*2^1553873-1 is not prime. Res64: 744C0DD2DA713F07 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:05:04] 879*2^1553873-1 is not prime. Res64: 37C2D338908054CB Time : 0.0 sec. user=mdettweiler [2020-02-12 02:05:07] 987*2^1553873-1 is not prime. Res64: 413B010618D18043 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:32:52] 705*2^1553874-1 is not prime. Res64: E63BDD59F3B97EB0 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:32:53] 765*2^1553874-1 is not prime. Res64: EF1F01FEEAE06DDD Time : 0.0 sec. user=mdettweiler [2020-02-12 02:32:53] 803*2^1553874-1 is not prime. Res64: D9C25882EDB6D504 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:32:54] 833*2^1553874-1 is not prime. Res64: BCF987E85072CDD9 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:32:54] 915*2^1553874-1 is not prime. Res64: 8D637A26854C17B7 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:57:25] 619*2^1553875-1 is not prime. Res64: 29E4997D17CA2DA1 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:57:25] 693*2^1553875-1 is not prime. Res64: D1607085DD554DB5 Time : 0.0 sec. user=mdettweiler [2020-02-12 02:57:26] 705*2^1553875-1 is not prime. Res64: C3753B342B3F582A Time : 0.0 sec. user=mdettweiler [2020-02-12 02:57:26] 805*2^1553875-1 is not prime. Res64: 3E3101909A8F510D Time : 0.0 sec. user=mdettweiler [2020-02-12 02:57:27] 861*2^1553875-1 is not prime. Res64: 28B1A22A09BD1CE3 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:24:47] 883*2^1553875-1 is not prime. Res64: 46E207B0F861E2BA Time : 0.0 sec. user=mdettweiler [2020-02-12 03:24:47] 609*2^1553876-1 is not prime. Res64: 8EF047E3E1D7DA26 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:24:47] 633*2^1553876-1 is not prime. Res64: E62EDDCF03920D2B Time : 0.0 sec. user=mdettweiler [2020-02-12 03:24:48] 743*2^1553876-1 is not prime. Res64: 87F9A235639C0FA5 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:24:48] 837*2^1553876-1 is not prime. Res64: 06A6737E332258AE Time : 0.0 sec. user=mdettweiler [2020-02-12 03:49:37] 667*2^1553877-1 is not prime. Res64: E5842F87C2C2DE38 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:49:40] 747*2^1553877-1 is not prime. Res64: C8CAD19F0A25F719 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:49:41] 795*2^1553877-1 is not prime. Res64: 8844C96BAC6DA7A7 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:49:42] 867*2^1553877-1 is not prime. Res64: 14ABA809406B9769 Time : 0.0 sec. user=mdettweiler [2020-02-12 03:49:43] 885*2^1553877-1 is not prime. Res64: 9B291DDDC0EC6B70 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:17:47] 891*2^1553877-1 is not prime. Res64: 80145EE67E761B32 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:17:53] 991*2^1553877-1 is not prime. Res64: ECC2D6FF1D990B80 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:43:59] 681*2^1553878-1 is not prime. Res64: 9FD9FCD129DA5CC0 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:43:59] 831*2^1553878-1 is not prime. Res64: 64181C763676B1B2 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:44:00] 843*2^1553878-1 is not prime. Res64: 323D0D45E75A2E6A Time : 0.0 sec. user=mdettweiler [2020-02-12 04:44:00] 863*2^1553878-1 is not prime. Res64: 5AC3DFF7467E2874 Time : 0.0 sec. user=mdettweiler [2020-02-12 04:44:00] 941*2^1553878-1 is not prime. Res64: 0B4843054878BC29 Time : 0.0 sec. user=mdettweiler [2020-02-12 05:37:26] 643*2^1553879-1 is not prime. Res64: D0824C6BDE049B17 Time : 0.0 sec. user=mdettweiler [2020-02-12 05:37:27] 729*2^1553879-1 is not prime. Res64: 4E852D54D706B18C Time : 0.0 sec. user=mdettweiler [2020-02-12 05:37:27] 799*2^1553879-1 is not prime. Res64: C05E37F348B42EEB Time : 0.0 sec. user=mdettweiler [2020-02-12 05:37:28] 811*2^1553879-1 is not prime. Res64: 27008B7AF54D7B43 Time : 0.0 sec. user=mdettweiler [2020-02-12 05:37:28] 909*2^1553879-1 is not prime. Res64: AEA43991CFFB552A Time : 0.0 sec. user=mdettweiler [2020-02-12 06:32:00] 949*2^1553879-1 is not prime. Res64: 9F9F3593C50053CF Time : 0.0 sec. user=mdettweiler [2020-02-12 06:32:00] 979*2^1553879-1 is not prime. Res64: 064436CF2FF50553 Time : 0.0 sec. user=mdettweiler [2020-02-12 06:32:01] 669*2^1553880-1 is not prime. Res64: 691FF4DEA7FD94AE Time : 0.0 sec. user=mdettweiler [2020-02-12 06:32:01] 707*2^1553880-1 is not prime. Res64: 1B8D6BA66BB1E234 Time : 0.0 sec. user=mdettweiler [2020-02-12 06:32:01] 777*2^1553880-1 is not prime. Res64: 0E21EC0ADF02C404 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:19:04] 849*2^1553871-1 is not prime. Res64: 59B9AA3090EA54DE Time : 0.0 sec. user=mdettweiler [2020-02-12 07:19:04] 975*2^1553871-1 is not prime. Res64: DBA96F4784CC9614 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:19:05] 635*2^1553872-1 is not prime. Res64: A56C3BA7278808F7 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:19:05] 887*2^1553872-1 is not prime. Res64: 836A46E75EAAB3BC Time : 0.0 sec. user=mdettweiler [2020-02-12 07:19:06] 939*2^1553872-1 is not prime. Res64: 816B6A2A66903FF8 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:25:49] 873*2^1553880-1 is not prime. Res64: BC6691AE18BFE2B4 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:25:50] 899*2^1553880-1 is not prime. Res64: 48263D0831BC1AB5 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:25:50] 975*2^1553880-1 is not prime. Res64: AA9FAAC8CF4C8DC5 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:25:51] 619*2^1553881-1 is not prime. Res64: A20477BB98228635 Time : 0.0 sec. user=mdettweiler [2020-02-12 07:25:51] 855*2^1553881-1 is not prime. Res64: 0560681B5A230E7F Time : 0.0 sec. user=mdettweiler [2020-02-12 08:12:22] 871*2^1553881-1 is not prime. Res64: FFD0185433D4FA73 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:12:24] 997*2^1553881-1 is not prime. Res64: F2A75A47D5A51459 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:12:27] 627*2^1553882-1 is not prime. Res64: EAE17855BB1BDB38 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:12:29] 741*2^1553882-1 is not prime. Res64: 0AEFC40713754155 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:12:32] 827*2^1553882-1 is not prime. Res64: EF3593DE4958C0E2 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:21:34] 885*2^1553882-1 is not prime. Res64: 55A0A987094C2041 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:21:34] 941*2^1553882-1 is not prime. Res64: F7E21F9CC4ED3E09 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:21:35] 987*2^1553882-1 is not prime. Res64: 414F724D223F801B Time : 0.0 sec. user=mdettweiler [2020-02-12 08:21:35] 1001*2^1553882-1 is not prime. Res64: 9CDF5374A2354169 Time : 0.0 sec. user=mdettweiler [2020-02-12 08:21:36] 649*2^1553883-1 is not prime. Res64: CCEBC14FEA562D08 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:05:21] 739*2^1553883-1 is not prime. Res64: 677B262F131820D0 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:05:22] 751*2^1553883-1 is not prime. Res64: 67841ECD18295EF5 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:05:23] 775*2^1553883-1 is not prime. Res64: 482063A3E976DD21 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:05:24] 801*2^1553883-1 is not prime. Res64: 3A1EC2079830A2CF Time : 0.0 sec. user=mdettweiler [2020-02-12 09:05:25] 891*2^1553883-1 is not prime. Res64: 6B5566BD5015E31B Time : 0.0 sec. user=mdettweiler [2020-02-12 09:14:26] 943*2^1553883-1 is not prime. Res64: 13FB91DB24DFAC54 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:14:26] 635*2^1553884-1 is not prime. Res64: EEE360910068DA11 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:14:27] 827*2^1553884-1 is not prime. Res64: 5CB58AEB04A48063 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:14:27] 649*2^1553885-1 is not prime. Res64: E03AFFB8BF962A04 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:14:28] 697*2^1553885-1 is not prime. Res64: 88F21D195F85D1DD Time : 0.0 sec. user=mdettweiler [2020-02-12 09:32:08] 605*2^1553878-1 is not prime. Res64: 3ED415394F40D57A Time : 0.0 sec. user=mdettweiler [2020-02-12 09:32:08] 665*2^1553878-1 is not prime. Res64: BA5205B0BB007ED1 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:32:09] 677*2^1553878-1 is not prime. Res64: 236AC75B20F6F9E5 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:58:37] 717*2^1553885-1 is not prime. Res64: 7A83519886BC80B0 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:58:37] 721*2^1553885-1 is not prime. Res64: D861EF3CAA6D9B9F Time : 0.0 sec. user=mdettweiler [2020-02-12 09:58:38] 771*2^1553885-1 is not prime. Res64: 0969725FB1A3167B Time : 0.0 sec. user=mdettweiler [2020-02-12 09:58:38] 855*2^1553885-1 is not prime. Res64: B0933EB089169A72 Time : 0.0 sec. user=mdettweiler [2020-02-12 09:58:39] 937*2^1553885-1 is not prime. Res64: D6FB704FA4665C18 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:09:45] 981*2^1553885-1 is not prime. Res64: 351158AA08521701 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:09:47] 987*2^1553885-1 is not prime. Res64: 00E2010DEF4BC6CC Time : 0.0 sec. user=mdettweiler [2020-02-12 10:09:47] 705*2^1553886-1 is not prime. Res64: 2E1A12FCED74F596 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:09:48] 717*2^1553886-1 is not prime. Res64: ACBA334423A0137A Time : 0.0 sec. user=mdettweiler [2020-02-12 10:09:49] 963*2^1553886-1 is not prime. Res64: 029529374E72DEE4 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:25:54] 983*2^1553886-1 is not prime. Res64: 5CB86738969C9531 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:25:54] 1001*2^1553886-1 is not prime. Res64: 5883E622526265A1 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:25:54] 625*2^1553887-1 is not prime. Res64: 9C90A8A90552B9E7 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:25:55] 703*2^1553887-1 is not prime. Res64: E9288B4D631631D3 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:25:55] 759*2^1553887-1 is not prime. Res64: AFF0B11D80BC6AD2 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:54:21] 763*2^1553887-1 is not prime. Res64: 6FC9FF1C9E60EF18 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:54:22] 769*2^1553887-1 is not prime. Res64: 0A64E2B6AB232A7D Time : 0.0 sec. user=mdettweiler [2020-02-12 10:54:22] 931*2^1553887-1 is not prime. Res64: 55F84DDF8F385679 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:54:22] 945*2^1553887-1 is not prime. Res64: FA6662CA1EBFA255 Time : 0.0 sec. user=mdettweiler [2020-02-12 10:54:23] 951*2^1553887-1 is not prime. Res64: 71641B21A99AB373 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:02:53] 993*2^1553887-1 is not prime. Res64: F87DC739E2944653 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:02:54] 633*2^1553888-1 is not prime. Res64: 482A81788EDD772C Time : 0.0 sec. user=mdettweiler [2020-02-12 11:02:55] 657*2^1553888-1 is not prime. Res64: E9254A32F046B0AB Time : 0.0 sec. user=mdettweiler [2020-02-12 11:02:55] 687*2^1553888-1 is not prime. Res64: 0C84C6C96C54DD29 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:02:56] 797*2^1553888-1 is not prime. Res64: 3803F829C55DDE04 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:20:37] 935*2^1553888-1 is not prime. Res64: 301C6E068A8D0154 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:20:37] 977*2^1553888-1 is not prime. Res64: 36BA37DE706F9DE0 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:20:38] 877*2^1553889-1 is not prime. Res64: 5F2B9E1265F9E590 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:20:38] 889*2^1553889-1 is not prime. Res64: 1A22A17337BC6F60 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:20:39] 895*2^1553889-1 is not prime. Res64: 4039CC3E13FC8F15 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:50:43] 907*2^1553889-1 is not prime. Res64: 4C42E3722BB6F286 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:50:44] 945*2^1553889-1 is not prime. Res64: AA78019A89DA0753 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:50:44] 997*2^1553889-1 is not prime. Res64: 052705A3776C042E Time : 0.0 sec. user=mdettweiler [2020-02-12 11:50:44] 999*2^1553889-1 is not prime. Res64: F99F28C610474900 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:50:45] 677*2^1553890-1 is not prime. Res64: A897D68E2EF57D6F Time : 0.0 sec. user=mdettweiler [2020-02-12 11:55:40] 717*2^1553890-1 is not prime. Res64: 96D95B7DC51F816C Time : 0.0 sec. user=mdettweiler [2020-02-12 11:55:40] 743*2^1553890-1 is not prime. Res64: 944B0F50F952B42B Time : 0.0 sec. user=mdettweiler [2020-02-12 11:55:40] 755*2^1553890-1 is not prime. Res64: 8E7AAB1FA1BF1BF1 Time : 0.0 sec. user=mdettweiler [2020-02-12 11:55:41] 777*2^1553890-1 is not prime. Res64: CCCC11C92FE0232F Time : 0.0 sec. user=mdettweiler [2020-02-12 11:55:41] 891*2^1553890-1 is not prime. Res64: DF3578019CC5005A Time : 0.0 sec. user=mdettweiler [2020-02-12 12:17:45] 675*2^1553891-1 is not prime. Res64: EBC17A68B8006706 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:17:46] 775*2^1553891-1 is not prime. Res64: 79EF5329C1857D4B Time : 0.0 sec. user=mdettweiler [2020-02-12 12:17:46] 913*2^1553891-1 is not prime. Res64: 1B8B4090FC4A7543 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:17:46] 931*2^1553891-1 is not prime. Res64: 49F86B8D6A790749 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:17:47] 969*2^1553891-1 is not prime. Res64: 6C70255E709FF363 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:42:46] 605*2^1553892-1 is not prime. Res64: A8CD72C64115AE46 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:42:47] 627*2^1553892-1 is not prime. Res64: 5D50CDC203CCC322 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:42:47] 635*2^1553892-1 is not prime. Res64: 978526A0B6249815 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:42:47] 689*2^1553892-1 is not prime. Res64: 1709E2182E385A8E Time : 0.0 sec. user=mdettweiler [2020-02-12 12:42:48] 767*2^1553892-1 is not prime. Res64: 28229B1640F61B03 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:50:39] 887*2^1553892-1 is not prime. Res64: B1FCA06F8ACB5D3C Time : 0.0 sec. user=mdettweiler [2020-02-12 12:50:39] 893*2^1553892-1 is not prime. Res64: 2AB165A8E3985F53 Time : 0.0 sec. user=mdettweiler [2020-02-12 12:50:39] 965*2^1553892-1 is not prime. Res64: FA0613ECAE84ACEC Time : 0.0 sec. user=mdettweiler [2020-02-12 12:50:40] 975*2^1553892-1 is not prime. Res64: B89AACCDBBD8996A Time : 0.0 sec. user=mdettweiler [2020-02-12 12:50:40] 651*2^1553893-1 is not prime. Res64: 612EDD4213F241CD Time : 0.0 sec. user=mdettweiler [2020-02-12 13:11:13] 687*2^1553893-1 is not prime. Res64: 8B472B1AB59D8ECA Time : 0.0 sec. user=mdettweiler [2020-02-12 13:11:15] 765*2^1553893-1 is not prime. Res64: 94D2888F258FFFF2 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:11:17] 801*2^1553893-1 is not prime. Res64: 35AA502DA76AFD38 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:11:19] 831*2^1553893-1 is not prime. Res64: 748FBC1469C66C55 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:11:20] 961*2^1553893-1 is not prime. Res64: 267CB8E498673079 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:35:49] 979*2^1553893-1 is not prime. Res64: EAEB7D1971397DBC Time : 0.0 sec. user=mdettweiler [2020-02-12 13:35:50] 705*2^1553894-1 is not prime. Res64: 1E3F6A016186EAFB Time : 0.0 sec. user=mdettweiler [2020-02-12 13:35:51] 711*2^1553894-1 is not prime. Res64: BF7143965E863B87 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:35:51] 831*2^1553894-1 is not prime. Res64: B62D03BE1D26DD3C Time : 0.0 sec. user=mdettweiler [2020-02-12 13:35:51] 857*2^1553894-1 is not prime. Res64: 4B61FBD2F525B45C Time : 0.0 sec. user=mdettweiler [2020-02-12 13:45:07] 887*2^1553894-1 is not prime. Res64: 9FE1A079211EE02F Time : 0.0 sec. user=mdettweiler [2020-02-12 13:45:08] 965*2^1553894-1 is not prime. Res64: 5CE73EAC30E1030A Time : 0.0 sec. user=mdettweiler [2020-02-12 13:45:08] 993*2^1553894-1 is not prime. Res64: 72BBCFF94807C6D1 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:45:09] 751*2^1553895-1 is not prime. Res64: 5CC8D33431BD2679 Time : 0.0 sec. user=mdettweiler [2020-02-12 13:45:09] 775*2^1553895-1 is not prime. Res64: 392FE0FDBFAA922F Time : 0.0 sec. user=mdettweiler [2020-02-12 14:05:45] 795*2^1553895-1 is not prime. Res64: 48CF4C05BAF3360A Time : 0.0 sec. user=mdettweiler [2020-02-12 14:05:47] 823*2^1553895-1 is not prime. Res64: 2E6779B7C21562A7 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:05:51] 895*2^1553895-1 is not prime. Res64: 625A93E7FA4BA5B5 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:05:52] 963*2^1553895-1 is not prime. Res64: 233F343339A209AD Time : 0.0 sec. user=mdettweiler [2020-02-12 14:05:54] 773*2^1553896-1 is not prime. Res64: F1CD96512E68B852 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:28:06] 779*2^1553896-1 is not prime. Res64: ADF3EDB54D589DEE Time : 0.0 sec. user=mdettweiler [2020-02-12 14:28:06] 825*2^1553896-1 is not prime. Res64: 8AE73C4369F6B266 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:28:07] 849*2^1553896-1 is not prime. Res64: D9A74C92ED75636E Time : 0.0 sec. user=mdettweiler [2020-02-12 14:28:07] 887*2^1553896-1 is not prime. Res64: 660AB4C1B2E0DC29 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:28:08] 645*2^1553897-1 is not prime. Res64: A79A4FEEC21222E0 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:38:58] 697*2^1553897-1 is not prime. Res64: 507FCC484D164BB6 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:38:58] 727*2^1553897-1 is not prime. Res64: B993105C984C4E99 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:38:59] 909*2^1553897-1 is not prime. Res64: 686C5414FBAEA1ED Time : 0.0 sec. user=mdettweiler [2020-02-12 14:38:59] 991*2^1553897-1 is not prime. Res64: 27EF299C96D98457 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:38:59] 677*2^1553898-1 is not prime. Res64: 735C58BB6E363799 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:59:06] 765*2^1553898-1 is not prime. Res64: 9C64F0917F2BBBED Time : 0.0 sec. user=mdettweiler [2020-02-12 14:59:06] 791*2^1553898-1 is not prime. Res64: C501DE47645337BA Time : 0.0 sec. user=mdettweiler [2020-02-12 14:59:07] 951*2^1553898-1 is not prime. Res64: 39798A3E2793B607 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:59:08] 675*2^1553899-1 is not prime. Res64: 36F379C90AB5A4D2 Time : 0.0 sec. user=mdettweiler [2020-02-12 14:59:08] 751*2^1553899-1 is not prime. Res64: 3BC7209823534932 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:22:49] 829*2^1553899-1 is not prime. Res64: EA51FD8B45CD9BDF Time : 0.0 sec. user=mdettweiler [2020-02-12 15:22:49] 841*2^1553899-1 is not prime. Res64: 91183710587E7653 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:22:50] 885*2^1553899-1 is not prime. Res64: 0E0A86498542715F Time : 0.0 sec. user=mdettweiler [2020-02-12 15:22:50] 961*2^1553899-1 is not prime. Res64: 672BDABDFE9024A6 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:22:51] 979*2^1553899-1 is not prime. Res64: E3B75AAD7937B179 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:31:49] 993*2^1553899-1 is not prime. Res64: 725705091E8F3C12 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:31:49] 609*2^1553900-1 is not prime. Res64: 7E49C34530412310 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:31:50] 675*2^1553900-1 is not prime. Res64: 63FC26BD9856A97C Time : 0.0 sec. user=mdettweiler [2020-02-12 15:31:50] 725*2^1553900-1 is not prime. Res64: 1AF34BA5045E36AA Time : 0.0 sec. user=mdettweiler [2020-02-12 15:31:51] 767*2^1553900-1 is not prime. Res64: 9886004BB5D72056 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:51:10] 879*2^1553900-1 is not prime. Res64: 1522923922783303 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:51:10] 669*2^1553901-1 is not prime. Res64: 425A8E38193FF342 Time : 0.0 sec. user=mdettweiler [2020-02-12 15:51:10] 741*2^1553901-1 is not prime. Res64: 18772F70D4E4C4AE Time : 0.0 sec. user=mdettweiler [2020-02-12 15:51:11] 817*2^1553901-1 is not prime. Res64: 8BC6D013C7521F8F Time : 0.0 sec. user=mdettweiler [2020-02-12 15:51:11] 889*2^1553901-1 is not prime. Res64: CBAFAE90933FB945 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:16:38] 921*2^1553901-1 is not prime. Res64: 0CAAEA58E715A90A Time : 0.0 sec. user=mdettweiler [2020-02-12 16:16:39] 975*2^1553901-1 is not prime. Res64: E04552B6AC713D63 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:16:39] 645*2^1553902-1 is not prime. Res64: 3716FBA3687ECC90 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:16:40] 647*2^1553902-1 is not prime. Res64: B79771251378FF0D Time : 0.0 sec. user=mdettweiler [2020-02-12 16:16:40] 651*2^1553902-1 is not prime. Res64: 53CD6CDC2DDEB8B9 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:26:31] 975*2^1553902-1 is not prime. Res64: DD7D4E36FAB256A2 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:26:32] 789*2^1553903-1 is not prime. Res64: BEF33202D3BFFC3E Time : 0.0 sec. user=mdettweiler [2020-02-12 16:26:32] 823*2^1553903-1 is not prime. Res64: F139221E3B30F5FB Time : 0.0 sec. user=mdettweiler [2020-02-12 16:26:33] 885*2^1553903-1 is not prime. Res64: CECD212B6C2908C0 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:26:33] 921*2^1553903-1 is not prime. Res64: E61EFF8ABC0F4377 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:45:24] 969*2^1553903-1 is not prime. Res64: 2CBF0DE873A1C78B Time : 0.0 sec. user=mdettweiler [2020-02-12 16:45:24] 973*2^1553903-1 is not prime. Res64: FF569481B1CB05BA Time : 0.0 sec. user=mdettweiler [2020-02-12 16:45:24] 605*2^1553904-1 is not prime. Res64: E02DCEA30CFA8826 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:45:25] 657*2^1553904-1 is not prime. Res64: 619DE87116A019C0 Time : 0.0 sec. user=mdettweiler [2020-02-12 16:45:25] 903*2^1553904-1 is not prime. Res64: DE1778CA1D581BBC Time : 0.0 sec. user=mdettweiler [2020-02-12 17:09:52] 905*2^1553904-1 is not prime. Res64: 848D44172A09B2A6 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:09:53] 945*2^1553904-1 is not prime. Res64: E63C4609DE118439 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:09:54] 667*2^1553905-1 is not prime. Res64: D93A4B94F9AE03B5 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:09:55] 691*2^1553905-1 is not prime. Res64: EB6673734D2D83E7 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:09:56] 699*2^1553905-1 is not prime. Res64: F288F2355D0C205D Time : 0.0 sec. user=mdettweiler [2020-02-12 17:18:59] 741*2^1553905-1 is not prime. Res64: B1A188ACB2CF87A0 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:19:00] 765*2^1553905-1 is not prime. Res64: C1CC33CC0BD6B119 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:19:00] 775*2^1553905-1 is not prime. Res64: 9EBDDE301F8DDAFC Time : 0.0 sec. user=mdettweiler [2020-02-12 17:19:01] 861*2^1553905-1 is not prime. Res64: 05603A070AE434D0 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:19:01] 675*2^1553906-1 is not prime. Res64: F03D4F8D38232F32 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:40:06] 677*2^1553906-1 is not prime. Res64: 257AA454609AF796 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:40:06] 843*2^1553906-1 is not prime. Res64: F026712D5FE50039 Time : 0.0 sec. user=mdettweiler [2020-02-12 17:40:07] 963*2^1553906-1 is not prime. Res64: CCCEE531FD7916EA Time : 0.0 sec. user=mdettweiler [2020-02-12 17:40:07] 983*2^1553906-1 is not prime. Res64: FE83B3C780FCBCDC Time : 0.0 sec. user=mdettweiler [2020-02-12 17:40:07] 633*2^1553907-1 is not prime. Res64: C557542D80B93D04 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:05:52] 703*2^1553907-1 is not prime. Res64: B42A839C53C3D36F Time : 0.0 sec. user=mdettweiler [2020-02-12 18:05:53] 891*2^1553907-1 is not prime. Res64: 2AE46AB4CD87989D Time : 0.0 sec. user=mdettweiler [2020-02-12 18:05:54] 931*2^1553907-1 is not prime. Res64: A0C4B4CEBAB132E0 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:05:55] 961*2^1553907-1 is not prime. Res64: DE997EB341A9DEB8 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:05:55] 963*2^1553907-1 is not prime. Res64: 72B7FB5E81975435 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:11:22] 677*2^1553908-1 is not prime. Res64: EEA92273E3AAE87E Time : 0.0 sec. user=mdettweiler [2020-02-12 18:11:23] 783*2^1553908-1 is not prime. Res64: 24893CBC536133AE Time : 0.0 sec. user=mdettweiler [2020-02-12 18:11:23] 813*2^1553908-1 is not prime. Res64: 6D07F427ED60F932 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:11:24] 833*2^1553908-1 is not prime. Res64: 38BE1DE6AAE1D19B Time : 0.0 sec. user=mdettweiler [2020-02-12 18:11:24] 869*2^1553908-1 is not prime. Res64: FAA4E44E6A3CF8C8 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:35:51] 875*2^1553908-1 is not prime. Res64: 1DD365F8C87C2FF3 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:35:51] 905*2^1553908-1 is not prime. Res64: C1D82AB282505FDB Time : 0.0 sec. user=mdettweiler [2020-02-12 18:35:52] 953*2^1553908-1 is not prime. Res64: 01B14F55F5E01D18 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:35:52] 995*2^1553908-1 is not prime. Res64: BBE478301ABD2804 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:35:55] 999*2^1553908-1 is not prime. Res64: 9EA4D38750B8E014 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:59:13] 699*2^1553909-1 is not prime. Res64: F7C610E522BBF99A Time : 0.0 sec. user=mdettweiler [2020-02-12 18:59:14] 775*2^1553909-1 is not prime. Res64: BD048D64C8C41E79 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:59:14] 787*2^1553909-1 is not prime. Res64: 0EC4FE0570932B67 Time : 0.0 sec. user=mdettweiler [2020-02-12 18:59:15] 847*2^1553909-1 is not prime. Res64: E4223E34B1CA6CFF Time : 0.0 sec. user=mdettweiler [2020-02-12 18:59:15] 927*2^1553909-1 is not prime. Res64: 858097A1DAB98701 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:07:57] 939*2^1553909-1 is not prime. Res64: 355F9BFE4A65EB92 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:07:59] 957*2^1553909-1 is not prime. Res64: AEC8DD1A5ED14A2B Time : 0.0 sec. user=mdettweiler [2020-02-12 19:08:00] 985*2^1553909-1 is not prime. Res64: CA905D9C212F0CC3 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:08:02] 987*2^1553909-1 is not prime. Res64: 167FDB74C061012C Time : 0.0 sec. user=mdettweiler [2020-02-12 19:08:03] 681*2^1553910-1 is not prime. Res64: 17FC86905D404C5B Time : 0.0 sec. user=mdettweiler [2020-02-12 19:29:17] 741*2^1553910-1 is not prime. Res64: FA6959742A918E7C Time : 0.0 sec. user=mdettweiler [2020-02-12 19:29:17] 765*2^1553910-1 is not prime. Res64: E666DC8C84F2727A Time : 0.0 sec. user=mdettweiler [2020-02-12 19:29:20] 783*2^1553910-1 is not prime. Res64: 74917188DB9292CD Time : 0.0 sec. user=mdettweiler [2020-02-12 19:29:20] 851*2^1553910-1 is not prime. Res64: 39CE4CEDEC9CAC82 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:29:20] 917*2^1553910-1 is not prime. Res64: 6CA7D9351323CD93 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:52:35] 735*2^1553911-1 is not prime. Res64: 8E70A92FD1136C52 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:52:35] 745*2^1553911-1 is not prime. Res64: 780CB0B1B256349C Time : 0.0 sec. user=mdettweiler [2020-02-12 19:52:35] 843*2^1553911-1 is not prime. Res64: 0F126DA843340850 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:52:36] 859*2^1553911-1 is not prime. Res64: DD069B6BE05D6C6C Time : 0.0 sec. user=mdettweiler [2020-02-12 19:52:36] 993*2^1553911-1 is not prime. Res64: 0476C649BFECD5F0 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:59:32] 609*2^1553912-1 is not prime. Res64: 20D9DA70A39ED7B1 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:59:33] 617*2^1553912-1 is not prime. Res64: E2BE6415E867F092 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:59:33] 633*2^1553912-1 is not prime. Res64: 2A1646C97883022A Time : 0.0 sec. user=mdettweiler [2020-02-12 19:59:33] 689*2^1553912-1 is not prime. Res64: 4F4FDD1D5B4BC6E6 Time : 0.0 sec. user=mdettweiler [2020-02-12 19:59:33] 693*2^1553912-1 is not prime. Res64: DB05E2D3EEC5B0D5 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:21:11] 713*2^1553912-1 is not prime. Res64: 125D87196A05793E Time : 0.0 sec. user=mdettweiler [2020-02-12 20:21:12] 717*2^1553912-1 is not prime. Res64: BD800C4890C1B2A4 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:21:12] 725*2^1553912-1 is not prime. Res64: 8724DF1F2D5B0B80 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:21:13] 855*2^1553912-1 is not prime. Res64: 8D809A2E78B10B1E Time : 0.0 sec. user=mdettweiler [2020-02-12 20:21:13] 873*2^1553912-1 is not prime. Res64: 016E68277C19E358 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:47:16] 875*2^1553912-1 is not prime. Res64: 89A3FE937CA0C148 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:47:16] 903*2^1553912-1 is not prime. Res64: 2E6B3FC096AC5650 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:47:16] 995*2^1553912-1 is not prime. Res64: 8B93A276EFD2E2DB Time : 0.0 sec. user=mdettweiler [2020-02-12 20:47:17] 999*2^1553912-1 is not prime. Res64: F712694D458208E2 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:47:17] 727*2^1553913-1 is not prime. Res64: EC8A934B1B099E73 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:52:05] 735*2^1553913-1 is not prime. Res64: 5872632A43F35921 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:52:05] 807*2^1553913-1 is not prime. Res64: 8F5633844DE87527 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:52:08] 811*2^1553913-1 is not prime. Res64: C48C635DB43DF589 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:52:08] 817*2^1553913-1 is not prime. Res64: 428353FD624C14B9 Time : 0.0 sec. user=mdettweiler [2020-02-12 20:52:08] 847*2^1553913-1 is not prime. Res64: 575A680BDA2D287E Time : 0.0 sec. user=mdettweiler [2020-02-12 21:16:24] 895*2^1553913-1 is not prime. Res64: 745D3708620159A5 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:16:25] 915*2^1553913-1 is not prime. Res64: 3094FC6EB73A6936 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:16:25] 921*2^1553913-1 is not prime. Res64: 40674B972831F4F4 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:16:26] 657*2^1553914-1 is not prime. Res64: 5F945E89CD2C94D4 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:16:26] 677*2^1553914-1 is not prime. Res64: 666358015E1943B6 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:40:43] 687*2^1553914-1 is not prime. Res64: 4B620E14C203CC48 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:40:43] 755*2^1553914-1 is not prime. Res64: 60855185946619EF Time : 0.0 sec. user=mdettweiler [2020-02-12 21:40:43] 917*2^1553914-1 is not prime. Res64: 17321C58113B51F9 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:40:44] 651*2^1553915-1 is not prime. Res64: F371F5C5AE4965B9 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:40:44] 715*2^1553915-1 is not prime. Res64: A62FC2C4659971EA Time : 0.0 sec. user=mdettweiler [2020-02-12 21:46:07] 771*2^1553915-1 is not prime. Res64: 5207E05AF4D44CE7 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:46:07] 895*2^1553915-1 is not prime. Res64: 91959A78B2623378 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:46:07] 973*2^1553915-1 is not prime. Res64: 868D66700DAE2E4C Time : 0.0 sec. user=mdettweiler [2020-02-12 21:46:08] 683*2^1553916-1 is not prime. Res64: 8F13FC683303CCA5 Time : 0.0 sec. user=mdettweiler [2020-02-12 21:46:08] 723*2^1553916-1 is not prime. Res64: 8B1BD28615A118DA Time : 0.0 sec. user=mdettweiler [2020-02-12 22:10:34] 893*2^1553916-1 is not prime. Res64: CE4D3C23AA4C7201 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:10:37] 969*2^1553916-1 is not prime. Res64: 8B1C10394040BA22 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:10:38] 993*2^1553916-1 is not prime. Res64: 0314B12C7A103652 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:10:40] 645*2^1553917-1 is not prime. Res64: CC8A6BC8ED18DF6F Time : 0.0 sec. user=mdettweiler [2020-02-12 22:10:42] 651*2^1553917-1 is not prime. Res64: 0522430632567B76 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:32:16] 691*2^1553917-1 is not prime. Res64: A789C98B77B37F8B Time : 0.0 sec. user=mdettweiler [2020-02-12 22:32:16] 729*2^1553917-1 is not prime. Res64: 4FD3219AE96D2F17 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:32:16] 757*2^1553917-1 is not prime. Res64: 52FAC2EC9073D0F6 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:32:17] 775*2^1553917-1 is not prime. Res64: C25014E72B7C2F06 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:32:17] 777*2^1553917-1 is not prime. Res64: F8E4C9172DAA7841 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:39:06] 895*2^1553917-1 is not prime. Res64: ED90E670D7A5D834 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:39:06] 893*2^1553918-1 is not prime. Res64: 9817CCF2316CAE9D Time : 0.0 sec. user=mdettweiler [2020-02-12 22:39:07] 987*2^1553918-1 is not prime. Res64: 37235CECD3F23740 Time : 0.0 sec. user=mdettweiler [2020-02-12 22:39:07] 609*2^1553919-1 is not prime. Res64: A52698C9939E335B Time : 0.0 sec. user=mdettweiler [2020-02-12 22:39:07] 633*2^1553919-1 is not prime. Res64: E46091136D9E356D Time : 0.0 sec. user=mdettweiler [2020-02-12 23:03:13] 669*2^1553919-1 is not prime. Res64: 811D16517FCCD793 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:03:14] 735*2^1553919-1 is not prime. Res64: 07A2038669C17360 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:03:14] 775*2^1553919-1 is not prime. Res64: 0B51DAB9EC892DC1 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:03:15] 853*2^1553919-1 is not prime. Res64: 53807781D5B38D79 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:03:16] 873*2^1553919-1 is not prime. Res64: 0F43D5FC379F3BFB Time : 0.0 sec. user=mdettweiler [2020-02-12 23:25:13] 961*2^1553919-1 is not prime. Res64: 994BA8011B35637C Time : 0.0 sec. user=mdettweiler [2020-02-12 23:25:14] 623*2^1553920-1 is not prime. Res64: 466DBA8564C08227 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:25:14] 663*2^1553920-1 is not prime. Res64: 9D78996AC58534E5 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:25:14] 855*2^1553920-1 is not prime. Res64: F60AEAF2FF0DBE3C Time : 0.0 sec. user=mdettweiler [2020-02-12 23:25:15] 875*2^1553920-1 is not prime. Res64: AD63341CA1AB5903 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:31:27] 927*2^1553920-1 is not prime. Res64: 1158416C320B5353 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:31:27] 615*2^1553921-1 is not prime. Res64: D2A69E9B134565D4 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:31:29] 637*2^1553921-1 is not prime. Res64: C796F86F683D849A Time : 0.0 sec. user=mdettweiler [2020-02-12 23:31:29] 669*2^1553921-1 is not prime. Res64: D07714A3ED25DEC0 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:31:29] 675*2^1553921-1 is not prime. Res64: D7E59740A394E742 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:55:29] 717*2^1553921-1 is not prime. Res64: 1245284CF486DC85 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:55:30] 795*2^1553921-1 is not prime. Res64: D1FB7285C3CB0930 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:55:31] 871*2^1553921-1 is not prime. Res64: E97F37B850B366A3 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:55:31] 879*2^1553921-1 is not prime. Res64: 98AAC515BE551E10 Time : 0.0 sec. user=mdettweiler [2020-02-12 23:55:32] 885*2^1553921-1 is not prime. Res64: DAB0736070CD5619 Time : 0.0 sec.