user=mdettweiler [2020-02-11 00:17:42] 625*2^1553805-1 is not prime. Res64: 38F0839B1577073F Time : 0.0 sec. user=mdettweiler [2020-02-11 00:17:42] 727*2^1553805-1 is not prime. Res64: 19A815A4A137BB11 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:17:43] 795*2^1553805-1 is not prime. Res64: 0D0FA10F2EB33164 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:17:43] 859*2^1553805-1 is not prime. Res64: 61010D1AA0F87C5C Time : 0.0 sec. user=mdettweiler [2020-02-11 00:17:43] 955*2^1553805-1 is not prime. Res64: DEC466EF1FC73FF4 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:24:49] 997*2^1553805-1 is not prime. Res64: B5120D116E060CEB Time : 0.0 sec. user=mdettweiler [2020-02-11 00:24:49] 657*2^1553806-1 is not prime. Res64: D3EA29AF1579DFDF Time : 0.0 sec. user=mdettweiler [2020-02-11 00:24:49] 741*2^1553806-1 is not prime. Res64: 20C4CDC9D52CBC24 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:24:50] 755*2^1553806-1 is not prime. Res64: 824E5109A5F94462 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:24:50] 813*2^1553806-1 is not prime. Res64: 129E75C05DF7BE7E Time : 0.0 sec. user=mdettweiler [2020-02-11 00:35:09] 917*2^1553806-1 is not prime. Res64: A045799B9AFCACFA Time : 0.0 sec. user=mdettweiler [2020-02-11 00:35:10] 975*2^1553806-1 is not prime. Res64: 2DD8FE884A4E7A28 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:35:10] 663*2^1553807-1 is not prime. Res64: 36AE6CAF0FAB94B3 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:35:10] 705*2^1553807-1 is not prime. Res64: BB4350A1B3AF7D81 Time : 0.0 sec. user=mdettweiler [2020-02-11 00:35:11] 729*2^1553807-1 is not prime. Res64: 10A2041673F31B47 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:10:03] 763*2^1553807-1 is not prime. Res64: 34F6C96B1A63925F Time : 0.0 sec. user=mdettweiler [2020-02-11 01:10:03] 825*2^1553807-1 is not prime. Res64: EB9820A31D4606C9 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:10:04] 843*2^1553807-1 is not prime. Res64: 48C0C3C61DEBAECB Time : 0.0 sec. user=mdettweiler [2020-02-11 01:10:04] 879*2^1553807-1 is not prime. Res64: 5DFC0E0DBCAFF499 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:10:05] 895*2^1553807-1 is not prime. Res64: 244AC2D47ED08C8F Time : 0.0 sec. user=mdettweiler [2020-02-11 01:16:27] 663*2^1553808-1 is not prime. Res64: 4C590DDB5F43D88C Time : 0.0 sec. user=mdettweiler [2020-02-11 01:16:28] 707*2^1553808-1 is not prime. Res64: D0ED6EA0DF085E79 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:16:28] 759*2^1553808-1 is not prime. Res64: F8037C67A1DE18C8 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:16:29] 819*2^1553808-1 is not prime. Res64: 25D484B11FE95260 Time : 0.0 sec. user=mdettweiler [2020-02-11 01:16:29] 837*2^1553808-1 is not prime. Res64: AF75AE969A39671F Time : 0.0 sec. user=mdettweiler [2020-02-11 01:32:21] 909*2^1553808-1 is not prime. Res64: 125AC1BC139E9497 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:02:05] 679*2^1553809-1 is not prime. Res64: 36567BC1B9CBA12E Time : 0.0 sec. user=mdettweiler [2020-02-11 02:02:07] 765*2^1553809-1 is not prime. Res64: E238B3CDDA497455 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:02:08] 829*2^1553809-1 is not prime. Res64: 9507ACF9118EAA6F Time : 0.0 sec. user=mdettweiler [2020-02-11 02:02:09] 877*2^1553809-1 is not prime. Res64: 472BC21455767137 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:02:10] 633*2^1553810-1 is not prime. Res64: AB2E61547B1E00AB Time : 0.0 sec. user=mdettweiler [2020-02-11 02:10:44] 651*2^1553810-1 is not prime. Res64: F06E1323DAA119AD Time : 0.0 sec. user=mdettweiler [2020-02-11 02:10:45] 665*2^1553810-1 is not prime. Res64: 019FACFDA6066789 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:10:47] 857*2^1553810-1 is not prime. Res64: 0BDA6BC172159EEA Time : 0.0 sec. user=mdettweiler [2020-02-11 02:10:49] 911*2^1553810-1 is not prime. Res64: E4E21CE6071EF098 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:10:51] 1001*2^1553810-1 is not prime. Res64: 14CB4ECBFBAA43AA Time : 0.0 sec. user=mdettweiler [2020-02-11 02:55:48] 793*2^1553811-1 is not prime. Res64: 6547E260ABDE0EF6 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:55:48] 921*2^1553811-1 is not prime. Res64: 48094CFB4FB50C01 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:55:49] 615*2^1553812-1 is not prime. Res64: DA409900508CF051 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:55:49] 657*2^1553812-1 is not prime. Res64: 2A8C8553D1EEAB81 Time : 0.0 sec. user=mdettweiler [2020-02-11 02:55:50] 665*2^1553812-1 is not prime. Res64: C043E56FE5764D91 Time : 0.0 sec. user=mdettweiler [2020-02-11 03:03:13] 717*2^1553812-1 is not prime. Res64: CA8DB79B9B36BEDF Time : 0.0 sec. user=mdettweiler [2020-02-11 03:03:15] 765*2^1553812-1 is not prime. Res64: 6366825546291640 Time : 0.0 sec. user=mdettweiler [2020-02-11 03:03:17] 779*2^1553812-1 is not prime. Res64: DD673E3B29024D27 Time : 0.0 sec. user=mdettweiler [2020-02-11 03:03:18] 819*2^1553812-1 is not prime. Res64: D386C7011DF5E53B Time : 0.0 sec. user=mdettweiler [2020-02-11 03:03:19] 685*2^1553813-1 is not prime. Res64: DFF7E37BBAB9FC6D Time : 0.0 sec. user=mdettweiler [2020-02-11 03:53:09] 861*2^1553813-1 is not prime. Res64: 6B76FE3034D5B23C Time : 0.0 sec. user=mdettweiler [2020-02-11 03:53:11] 915*2^1553813-1 is not prime. Res64: B7111548CCCF4493 Time : 0.0 sec. user=mdettweiler [2020-02-11 03:53:13] 939*2^1553813-1 is not prime. Res64: F514FD0D5ABA7E5B Time : 0.0 sec. user=mdettweiler [2020-02-11 03:53:14] 957*2^1553813-1 is not prime. Res64: 6B0649C29ED0A0A8 Time : 0.0 sec. user=mdettweiler [2020-02-11 03:53:16] 969*2^1553813-1 is not prime. Res64: 32C54F8F569AD9CA Time : 0.0 sec. user=mdettweiler [2020-02-11 03:55:46] 641*2^1553814-1 is not prime. Res64: 4A19D1A52F449F6E Time : 0.0 sec. user=mdettweiler [2020-02-11 03:55:48] 663*2^1553814-1 is not prime. Res64: B2FDA5A452D5159F Time : 0.0 sec. user=mdettweiler [2020-02-11 03:55:50] 773*2^1553814-1 is not prime. Res64: 919BAFBBEA9592AD Time : 0.0 sec. user=mdettweiler [2020-02-11 03:55:52] 791*2^1553814-1 is not prime. Res64: 67320647CD3AC80A Time : 0.0 sec. user=mdettweiler [2020-02-11 03:55:54] 821*2^1553814-1 is not prime. Res64: B257AE8E7C45D68E Time : 0.0 sec. user=mdettweiler [2020-02-11 04:47:52] 651*2^1553815-1 is not prime. Res64: 3E0B5ECD36D88B2F Time : 0.0 sec. user=mdettweiler [2020-02-11 04:47:53] 723*2^1553815-1 is not prime. Res64: 46BEEFD26E0CCBAE Time : 0.0 sec. user=mdettweiler [2020-02-11 04:47:53] 735*2^1553815-1 is not prime. Res64: ED7BC43B39E9E3AB Time : 0.0 sec. user=mdettweiler [2020-02-11 04:47:53] 829*2^1553815-1 is not prime. Res64: BAD995045994E7D7 Time : 0.0 sec. user=mdettweiler [2020-02-11 04:47:54] 859*2^1553815-1 is not prime. Res64: 0D861A0E65DE6DBF Time : 0.0 sec. user=mdettweiler [2020-02-11 04:48:29] 851*2^1553814-1 is not prime. Res64: D66296CE1D475E97 Time : 0.0 sec. user=mdettweiler [2020-02-11 04:48:30] 891*2^1553814-1 is not prime. Res64: B6522E76F89D293D Time : 0.0 sec. user=mdettweiler [2020-02-11 04:48:30] 957*2^1553814-1 is not prime. Res64: 1E21CC658BDFCB9C Time : 0.0 sec. user=mdettweiler [2020-02-11 04:48:30] 971*2^1553814-1 is not prime. Res64: 958CB44EE5C01CB9 Time : 0.0 sec. user=mdettweiler [2020-02-11 04:48:31] 619*2^1553815-1 is not prime. Res64: C49649E3FD2A55A3 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:40:40] 813*2^1553816-1 is not prime. Res64: 1A641A7468CCE7D0 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:40:40] 843*2^1553816-1 is not prime. Res64: DE102B03E363A72E Time : 0.0 sec. user=mdettweiler [2020-02-11 05:40:40] 855*2^1553816-1 is not prime. Res64: 4A2E581190D935C3 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:40:41] 625*2^1553817-1 is not prime. Res64: CB70018C1749BBB4 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:40:41] 649*2^1553817-1 is not prime. Res64: 877998334291B946 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:41:05] 871*2^1553815-1 is not prime. Res64: D6D0017BF989AFB5 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:41:05] 951*2^1553815-1 is not prime. Res64: 97D739100C2701D0 Time : 0.0 sec. user=mdettweiler [2020-02-11 05:41:06] 677*2^1553816-1 is not prime. Res64: DB49484049661BFD Time : 0.0 sec. user=mdettweiler [2020-02-11 05:41:06] 755*2^1553816-1 is not prime. Res64: A29F12AEA9BE74CF Time : 0.0 sec. user=mdettweiler [2020-02-11 05:41:07] 789*2^1553816-1 is not prime. Res64: B71D2CCCFAF4B415 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:07:29] 915*2^1553808-1 is not prime. Res64: 5BE8A0D3530D7EEF Time : 0.0 sec. user=mdettweiler [2020-02-11 06:07:31] 927*2^1553808-1 is not prime. Res64: 5FDCB267ED737BB1 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:07:32] 945*2^1553808-1 is not prime. Res64: 9856A0BD16674CBA Time : 0.0 sec. user=mdettweiler [2020-02-11 06:07:32] 661*2^1553809-1 is not prime. Res64: 833D99978C2E4D9F Time : 0.0 sec. user=mdettweiler [2020-02-11 06:32:50] 621*2^1553818-1 is not prime. Res64: CE8C2349B0E151F8 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:32:50] 623*2^1553818-1 is not prime. Res64: 6D46B2A0EB6EFA12 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:32:50] 705*2^1553818-1 is not prime. Res64: 9E33695613B6F658 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:32:51] 827*2^1553818-1 is not prime. Res64: 7A6ACF0A9D8042FC Time : 0.0 sec. user=mdettweiler [2020-02-11 06:32:51] 905*2^1553818-1 is not prime. Res64: C0F2C4644D99030A Time : 0.0 sec. user=mdettweiler [2020-02-11 06:33:47] 699*2^1553817-1 is not prime. Res64: 5DA9698C3312CBB8 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:33:47] 807*2^1553817-1 is not prime. Res64: 1F16E10D490DAD9F Time : 0.0 sec. user=mdettweiler [2020-02-11 06:33:48] 849*2^1553817-1 is not prime. Res64: 707EE2198621B2F7 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:33:48] 979*2^1553817-1 is not prime. Res64: F9873D5D011E9CE9 Time : 0.0 sec. user=mdettweiler [2020-02-11 06:33:48] 617*2^1553818-1 is not prime. Res64: 52F6DF34F5DBB311 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:01:23] 941*2^1553818-1 is not prime. Res64: 20045753C6652CD2 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:01:24] 951*2^1553818-1 is not prime. Res64: 2FE4D79DA0D73FEA Time : 0.0 sec. user=mdettweiler [2020-02-11 07:01:25] 663*2^1553819-1 is not prime. Res64: 4A625E43A2D3A249 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:01:26] 685*2^1553819-1 is not prime. Res64: ECE10527455E0EE8 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:01:27] 735*2^1553819-1 is not prime. Res64: F1B7A85DBED2CA42 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:25:24] 629*2^1553820-1 is not prime. Res64: 564FA86EBA086677 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:25:25] 797*2^1553820-1 is not prime. Res64: 2C13AD2E85DA9050 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:25:25] 905*2^1553820-1 is not prime. Res64: 235BFAE12DB5C7D4 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:25:26] 645*2^1553821-1 is not prime. Res64: 08C97E98F73A9D2A Time : 0.0 sec. user=mdettweiler [2020-02-11 07:25:26] 727*2^1553821-1 is not prime. Res64: E4448EC2E390AB47 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:26:56] 741*2^1553819-1 is not prime. Res64: 99D16C7EEC0C472C Time : 0.0 sec. user=mdettweiler [2020-02-11 07:26:56] 823*2^1553819-1 is not prime. Res64: 8D9568EC82109FAD Time : 0.0 sec. user=mdettweiler [2020-02-11 07:26:56] 985*2^1553819-1 is not prime. Res64: 51C362089CA2720D Time : 0.0 sec. user=mdettweiler [2020-02-11 07:26:57] 993*2^1553819-1 is not prime. Res64: 3611B4DA8696EB39 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:26:57] 609*2^1553820-1 is not prime. Res64: 4AD8A7F41C6C6A7C Time : 0.0 sec. user=mdettweiler [2020-02-11 07:53:14] 829*2^1553821-1 is not prime. Res64: EEDF2D0068E0B065 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:53:14] 867*2^1553821-1 is not prime. Res64: 3B54F8FDB2B21275 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:53:15] 623*2^1553822-1 is not prime. Res64: 389FA2140E2F217F Time : 0.0 sec. user=mdettweiler [2020-02-11 07:53:15] 645*2^1553822-1 is not prime. Res64: 756A94F97C8901C1 Time : 0.0 sec. user=mdettweiler [2020-02-11 07:53:15] 755*2^1553822-1 is not prime. Res64: 8A8FEC3255B1EDD2 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:20:38] 769*2^1553823-1 is not prime. Res64: AA92A8A4A17981DB Time : 0.0 sec. user=mdettweiler [2020-02-11 08:20:39] 783*2^1553823-1 is not prime. Res64: D1914A35C9FD1A92 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:20:39] 825*2^1553823-1 is not prime. Res64: 68A9E874CC7CA164 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:20:40] 859*2^1553823-1 is not prime. Res64: 995147156BE3B8FE Time : 0.0 sec. user=mdettweiler [2020-02-11 08:20:40] 921*2^1553823-1 is not prime. Res64: E39F40C2B3A00E6C Time : 0.0 sec. user=mdettweiler [2020-02-11 08:21:11] 825*2^1553822-1 is not prime. Res64: 241B7F231F6DEB9D Time : 0.0 sec. user=mdettweiler [2020-02-11 08:21:12] 917*2^1553822-1 is not prime. Res64: CA8F72FB129EB968 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:21:12] 935*2^1553822-1 is not prime. Res64: 1A3846649216EF21 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:21:12] 941*2^1553822-1 is not prime. Res64: 607BE093836913EE Time : 0.0 sec. user=mdettweiler [2020-02-11 08:21:13] 765*2^1553823-1 is not prime. Res64: 7C891E6621CA2EAB Time : 0.0 sec. user=mdettweiler [2020-02-11 08:48:26] 963*2^1553823-1 is not prime. Res64: 81A7A902FA812FFD Time : 0.0 sec. user=mdettweiler [2020-02-11 08:48:26] 605*2^1553824-1 is not prime. Res64: E4EF10E28E8F8B34 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:48:27] 927*2^1553824-1 is not prime. Res64: 9DE03E6E6CC8E7A4 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:48:27] 995*2^1553824-1 is not prime. Res64: 656D11B1D3780895 Time : 0.0 sec. user=mdettweiler [2020-02-11 08:48:28] 619*2^1553825-1 is not prime. Res64: F130F2C3BDAE278C Time : 0.0 sec. user=mdettweiler [2020-02-11 09:13:41] 727*2^1553825-1 is not prime. Res64: C76F36640310F52B Time : 0.0 sec. user=mdettweiler [2020-02-11 09:13:42] 741*2^1553825-1 is not prime. Res64: 2C809516960755FB Time : 0.0 sec. user=mdettweiler [2020-02-11 09:13:42] 775*2^1553825-1 is not prime. Res64: 34F11F64FDAA81B3 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:13:43] 799*2^1553825-1 is not prime. Res64: 00CEAA10420FAAEA Time : 0.0 sec. user=mdettweiler [2020-02-11 09:13:43] 925*2^1553825-1 is not prime. Res64: 721B27D29A3A09AA Time : 0.0 sec. user=mdettweiler [2020-02-11 09:14:57] 951*2^1553825-1 is not prime. Res64: E710C0545795DE52 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:14:58] 981*2^1553825-1 is not prime. Res64: E835F2950CCB7A03 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:14:58] 635*2^1553826-1 is not prime. Res64: 95D07DB82C8AA2FA Time : 0.0 sec. user=mdettweiler [2020-02-11 09:14:58] 725*2^1553826-1 is not prime. Res64: 100209C9B72BE7C3 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:14:59] 741*2^1553826-1 is not prime. Res64: 73386F1B0AF4936C Time : 0.0 sec. user=mdettweiler [2020-02-11 09:39:42] 639*2^1553827-1 is not prime. Res64: 445D67B755E060F7 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:39:42] 651*2^1553827-1 is not prime. Res64: 1DFD48549136EB0B Time : 0.0 sec. user=mdettweiler [2020-02-11 09:39:42] 733*2^1553827-1 is not prime. Res64: DCD4FE46A989AEA9 Time : 0.0 sec. user=mdettweiler [2020-02-11 09:39:43] 759*2^1553827-1 is not prime. Res64: FBC412F4DCF21D9A Time : 0.0 sec. user=mdettweiler [2020-02-11 09:39:43] 871*2^1553827-1 is not prime. Res64: 82CAA3CAC01A2610 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:04:59] 901*2^1553827-1 is not prime. Res64: CF868BADB9C06491 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:05:00] 647*2^1553828-1 is not prime. Res64: FF894D1D46FDE833 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:05:01] 669*2^1553828-1 is not prime. Res64: CF54F0594D45C929 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:05:02] 677*2^1553828-1 is not prime. Res64: 52E58998727F2162 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:05:03] 707*2^1553828-1 is not prime. Res64: 28BE41EFE3B28247 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:09:04] 735*2^1553828-1 is not prime. Res64: 28604BC44FE68848 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:09:04] 743*2^1553828-1 is not prime. Res64: A2A608CC44CE6FB9 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:09:04] 773*2^1553828-1 is not prime. Res64: 8FE0BAC0F9F740A8 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:09:05] 923*2^1553828-1 is not prime. Res64: DAC9152BB92017D0 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:09:06] 993*2^1553828-1 is not prime. Res64: 73291467B80D3FBC Time : 0.0 sec. user=mdettweiler [2020-02-11 10:34:02] 861*2^1553829-1 is not prime. Res64: 79EBB2B66C29F478 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:34:02] 867*2^1553829-1 is not prime. Res64: 3CE474D0C3DD2274 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:34:02] 955*2^1553829-1 is not prime. Res64: A686C82ED8E64C03 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:34:03] 999*2^1553829-1 is not prime. Res64: BC551097F2B1B319 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:34:03] 605*2^1553830-1 is not prime. Res64: 6AC57790A2FAE1DC Time : 0.0 sec. user=mdettweiler [2020-02-11 10:57:01] 653*2^1553830-1 is not prime. Res64: EAE152F380E452C1 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:57:02] 695*2^1553830-1 is not prime. Res64: 8CBA62B2C993494C Time : 0.0 sec. user=mdettweiler [2020-02-11 10:57:02] 777*2^1553830-1 is not prime. Res64: 5E328739D42D0CA1 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:57:02] 791*2^1553830-1 is not prime. Res64: 043618E5664CC140 Time : 0.0 sec. user=mdettweiler [2020-02-11 10:57:03] 813*2^1553830-1 is not prime. Res64: C23792E9EC0E8E51 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:03:27] 827*2^1553830-1 is not prime. Res64: 51E191729A77BF1E Time : 0.0 sec. user=mdettweiler [2020-02-11 11:03:29] 891*2^1553830-1 is not prime. Res64: 7187441E800AEBEE Time : 0.0 sec. user=mdettweiler [2020-02-11 11:03:30] 933*2^1553830-1 is not prime. Res64: F50DC844DCF231AE Time : 0.0 sec. user=mdettweiler [2020-02-11 11:03:31] 951*2^1553830-1 is not prime. Res64: F887FA668B85CA7A Time : 0.0 sec. user=mdettweiler [2020-02-11 11:03:32] 663*2^1553831-1 is not prime. Res64: E7EB21E576B238BD Time : 0.0 sec. user=mdettweiler [2020-02-11 11:28:11] 693*2^1553831-1 is not prime. Res64: 9282572BE3EB48A1 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:28:12] 735*2^1553831-1 is not prime. Res64: E7E9307CFE8F5C4A Time : 0.0 sec. user=mdettweiler [2020-02-11 11:28:12] 813*2^1553831-1 is not prime. Res64: FA58151751E80239 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:28:13] 969*2^1553831-1 is not prime. Res64: 0455766FCB1897ED Time : 0.0 sec. user=mdettweiler [2020-02-11 11:28:13] 993*2^1553831-1 is not prime. Res64: A9D73F74EDA27A78 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:49:38] 779*2^1553832-1 is not prime. Res64: 85CEDD8809C34E02 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:49:38] 797*2^1553832-1 is not prime. Res64: 551C2C83E786B0D8 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:49:39] 819*2^1553832-1 is not prime. Res64: 216A4383F0EBE84E Time : 0.0 sec. user=mdettweiler [2020-02-11 11:49:39] 843*2^1553832-1 is not prime. Res64: 433C5D2D01764BDD Time : 0.0 sec. user=mdettweiler [2020-02-11 11:49:39] 899*2^1553832-1 is not prime. Res64: D56D6AC43D56075F Time : 0.0 sec. user=mdettweiler [2020-02-11 11:56:28] 983*2^1553832-1 is not prime. Res64: 26D267E4801F7EDE Time : 0.0 sec. user=mdettweiler [2020-02-11 11:56:28] 639*2^1553833-1 is not prime. Res64: 9C2D1564206D649E Time : 0.0 sec. user=mdettweiler [2020-02-11 11:56:29] 649*2^1553833-1 is not prime. Res64: 198D2B53ED30DAC1 Time : 0.0 sec. user=mdettweiler [2020-02-11 11:56:29] 687*2^1553833-1 is not prime. Res64: 0E0957721FF9342A Time : 0.0 sec. user=mdettweiler [2020-02-11 11:56:30] 729*2^1553833-1 is not prime. Res64: ED49BA04010CD896 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:21:03] 765*2^1553833-1 is not prime. Res64: B15A442F3F53F215 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:21:03] 835*2^1553833-1 is not prime. Res64: 70F44274981D635F Time : 0.0 sec. user=mdettweiler [2020-02-11 12:21:04] 847*2^1553833-1 is not prime. Res64: DC78168C0706E86B Time : 0.0 sec. user=mdettweiler [2020-02-11 12:21:04] 861*2^1553833-1 is not prime. Res64: 01F4673445BD9A63 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:21:05] 897*2^1553833-1 is not prime. Res64: 82B020C75A05D15E Time : 0.0 sec. user=mdettweiler [2020-02-11 12:42:40] 999*2^1553833-1 is not prime. Res64: 2A91C009F739C682 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:42:40] 633*2^1553834-1 is not prime. Res64: D69774C181B6C207 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:42:41] 665*2^1553834-1 is not prime. Res64: 719823F2E3E97333 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:42:41] 687*2^1553834-1 is not prime. Res64: F31A762F90004457 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:42:41] 815*2^1553834-1 is not prime. Res64: 2863211FD5DD9D4E Time : 0.0 sec. user=mdettweiler [2020-02-11 12:48:28] 861*2^1553834-1 is not prime. Res64: F3D1021C7EDB2744 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:48:29] 873*2^1553834-1 is not prime. Res64: BC7905E6D6452D4B Time : 0.0 sec. user=mdettweiler [2020-02-11 12:48:29] 723*2^1553835-1 is not prime. Res64: 02852F85CB7D6D44 Time : 0.0 sec. user=mdettweiler [2020-02-11 12:48:30] 735*2^1553835-1 is not prime. Res64: 8C5349374E406DDF Time : 0.0 sec. user=mdettweiler [2020-02-11 12:48:30] 741*2^1553835-1 is not prime. Res64: 3C18FD49A2538BC4 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:14:39] 783*2^1553835-1 is not prime. Res64: 004D8F425DA7889D Time : 0.0 sec. user=mdettweiler [2020-02-11 13:14:40] 805*2^1553835-1 is not prime. Res64: 2CA3D3BF09734929 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:14:41] 849*2^1553835-1 is not prime. Res64: EEC433D05AD4B3AF Time : 0.0 sec. user=mdettweiler [2020-02-11 13:14:41] 861*2^1553835-1 is not prime. Res64: 5AA224D9191E8DA4 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:14:42] 921*2^1553835-1 is not prime. Res64: 8D26FA675FDEB15F Time : 0.0 sec. user=mdettweiler [2020-02-11 13:34:20] 647*2^1553836-1 is not prime. Res64: 0AF832E2D2FB69CB Time : 0.0 sec. user=mdettweiler [2020-02-11 13:34:20] 675*2^1553836-1 is not prime. Res64: 02DE8F59E3B6F7D9 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:34:21] 693*2^1553836-1 is not prime. Res64: 994A73942D6A6861 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:34:21] 765*2^1553836-1 is not prime. Res64: 22AF5BCBDB5A4D03 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:34:22] 857*2^1553836-1 is not prime. Res64: 1F69E9A760CDC425 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:41:30] 939*2^1553836-1 is not prime. Res64: F6C2FBC2146C3464 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:41:30] 697*2^1553837-1 is not prime. Res64: D046CA24086E9F8A Time : 0.0 sec. user=mdettweiler [2020-02-11 13:41:31] 741*2^1553837-1 is not prime. Res64: C7C2100A243ECF53 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:41:31] 825*2^1553837-1 is not prime. Res64: F61C3D3EF3228EA8 Time : 0.0 sec. user=mdettweiler [2020-02-11 13:41:31] 829*2^1553837-1 is not prime. Res64: 96BFAEABC0F985BF Time : 0.0 sec. user=mdettweiler [2020-02-11 14:06:42] 831*2^1553837-1 is not prime. Res64: 06F153E7B21C74E5 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:06:43] 683*2^1553838-1 is not prime. Res64: 9D7D35E6D9A09743 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:06:43] 765*2^1553838-1 is not prime. Res64: CDA9D923F50EE364 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:06:44] 797*2^1553838-1 is not prime. Res64: 4DA04642961C81B4 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:06:45] 759*2^1553839-1 is not prime. Res64: D9B3968F2CE67CB7 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:28:40] 769*2^1553839-1 is not prime. Res64: 078A0A90E33FA48F Time : 0.0 sec. user=mdettweiler [2020-02-11 14:28:41] 831*2^1553839-1 is not prime. Res64: 7A9D7867EDB826EB Time : 0.0 sec. user=mdettweiler [2020-02-11 14:28:41] 933*2^1553839-1 is not prime. Res64: 0783199AD2132EA4 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:28:42] 969*2^1553839-1 is not prime. Res64: 220CB2886DC0298A Time : 0.0 sec. user=mdettweiler [2020-02-11 14:28:42] 615*2^1553840-1 is not prime. Res64: 2B3BB4CB981B66B7 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:32:29] 629*2^1553840-1 is not prime. Res64: 972865F27B922C5A Time : 0.0 sec. user=mdettweiler [2020-02-11 14:32:30] 645*2^1553840-1 is not prime. Res64: FA4B5D818D053D91 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:32:31] 675*2^1553840-1 is not prime. Res64: 8F6DAC851ECC5FB7 Time : 0.0 sec. user=mdettweiler [2020-02-11 14:32:31] 725*2^1553840-1 is not prime. Res64: 428F4F0F107E724E Time : 0.0 sec. user=mdettweiler [2020-02-11 14:32:32] 747*2^1553840-1 is not prime. Res64: 9788EB32BA4819B6 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:00:26] 785*2^1553840-1 is not prime. Res64: DA24AF71F81F6B68 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:00:27] 825*2^1553840-1 is not prime. Res64: 21B2CC79906B1432 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:00:28] 897*2^1553840-1 is not prime. Res64: 03FCC66F645875F3 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:00:29] 899*2^1553840-1 is not prime. Res64: 1F1907FB38689A31 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:00:30] 909*2^1553840-1 is not prime. Res64: 9C42CE2BC895ECF8 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:23:51] 927*2^1553840-1 is not prime. Res64: 1089F085106D29BC Time : 0.0 sec. user=mdettweiler [2020-02-11 15:23:51] 983*2^1553840-1 is not prime. Res64: 38535A7023830C24 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:23:52] 999*2^1553840-1 is not prime. Res64: F691F5C2B0909422 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:23:52] 639*2^1553841-1 is not prime. Res64: 0627C2119A92E91B Time : 0.0 sec. user=mdettweiler [2020-02-11 15:23:53] 675*2^1553841-1 is not prime. Res64: AFF6EA2D785FEC2E Time : 0.0 sec. user=mdettweiler [2020-02-11 15:26:48] 789*2^1553841-1 is not prime. Res64: D9DBD2D4846D42FF Time : 0.0 sec. user=mdettweiler [2020-02-11 15:26:48] 829*2^1553841-1 is not prime. Res64: 1C981109376C4994 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:26:49] 909*2^1553841-1 is not prime. Res64: 861DE8C9B97A7318 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:26:49] 937*2^1553841-1 is not prime. Res64: 90DB484D972F0824 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:26:50] 603*2^1553842-1 is not prime. Res64: C596EE1FC708B0D1 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:51:29] 665*2^1553842-1 is not prime. Res64: 12CE554254D2ADCE Time : 0.0 sec. user=mdettweiler [2020-02-11 15:51:30] 671*2^1553842-1 is not prime. Res64: F76DA569AFE08155 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:51:30] 681*2^1553842-1 is not prime. Res64: A2C50D9CCE9C3F21 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:51:31] 701*2^1553842-1 is not prime. Res64: 7FCBF0C5168D4E20 Time : 0.0 sec. user=mdettweiler [2020-02-11 15:51:31] 705*2^1553842-1 is not prime. Res64: 9E0225150E9B52D9 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:18:23] 755*2^1553842-1 is not prime. Res64: 154178898E9AD659 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:18:23] 803*2^1553842-1 is not prime. Res64: C26EF66745EB828F Time : 0.0 sec. user=mdettweiler [2020-02-11 16:18:24] 831*2^1553842-1 is not prime. Res64: 8A8371199BAEA18E Time : 0.0 sec. user=mdettweiler [2020-02-11 16:18:24] 917*2^1553842-1 is not prime. Res64: D95A7FABC7E28F3E Time : 0.0 sec. user=mdettweiler [2020-02-11 16:18:25] 957*2^1553842-1 is not prime. Res64: FECBAF5D73BE1B22 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:22:16] 705*2^1553843-1 is not prime. Res64: 1FCA1C21ACE70212 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:22:17] 901*2^1553843-1 is not prime. Res64: 580D6225485D4178 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:22:17] 913*2^1553843-1 is not prime. Res64: 896C6C9FF4325A16 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:22:18] 973*2^1553843-1 is not prime. Res64: 2185C6E903B5B394 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:22:18] 981*2^1553843-1 is not prime. Res64: CFEA39624AED5FA4 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:43:56] 993*2^1553843-1 is not prime. Res64: 6701319D1C5B16BF Time : 0.0 sec. user=mdettweiler [2020-02-11 16:43:56] 623*2^1553844-1 is not prime. Res64: 0FBCE3EDF6C26889 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:43:57] 629*2^1553844-1 is not prime. Res64: DBDF4DAAA6E9EBE5 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:43:57] 707*2^1553844-1 is not prime. Res64: 2AC5CC05798C5EE1 Time : 0.0 sec. user=mdettweiler [2020-02-11 16:43:57] 723*2^1553844-1 is not prime. Res64: 49A366E208935257 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:09:44] 625*2^1553845-1 is not prime. Res64: 529EAB49B09EF046 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:09:45] 649*2^1553845-1 is not prime. Res64: A9197151F6898311 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:09:46] 651*2^1553845-1 is not prime. Res64: 5C63E1C35221A03A Time : 0.0 sec. user=mdettweiler [2020-02-11 17:09:46] 679*2^1553845-1 is not prime. Res64: D70E5A735FE02D32 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:09:47] 805*2^1553845-1 is not prime. Res64: AEF4196713F431FB Time : 0.0 sec. user=mdettweiler [2020-02-11 17:14:18] 847*2^1553845-1 is not prime. Res64: 445D679717F657D8 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:14:19] 861*2^1553845-1 is not prime. Res64: 2F15D2A7FEFC14D1 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:14:19] 627*2^1553846-1 is not prime. Res64: 6A7DF1DD365CE44E Time : 0.0 sec. user=mdettweiler [2020-02-11 17:14:19] 711*2^1553846-1 is not prime. Res64: C8B790EC2285EF6C Time : 0.0 sec. user=mdettweiler [2020-02-11 17:14:20] 875*2^1553846-1 is not prime. Res64: 356CA8CE23FABBE3 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:39:37] 921*2^1553846-1 is not prime. Res64: EEBDC8F814F7B1B4 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:39:37] 923*2^1553846-1 is not prime. Res64: E8240C797FB16279 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:39:37] 993*2^1553846-1 is not prime. Res64: A01D5CB66F169397 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:39:38] 775*2^1553847-1 is not prime. Res64: 51DCC8CDE495F765 Time : 0.0 sec. user=mdettweiler [2020-02-11 17:39:38] 795*2^1553847-1 is not prime. Res64: 9948655A2CFABC78 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:03:04] 829*2^1553847-1 is not prime. Res64: CAF69A9CB7F494AF Time : 0.0 sec. user=mdettweiler [2020-02-11 18:03:06] 831*2^1553847-1 is not prime. Res64: EA1B356372604A90 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:03:07] 615*2^1553848-1 is not prime. Res64: 50B2BD02D239C4BF Time : 0.0 sec. user=mdettweiler [2020-02-11 18:03:08] 827*2^1553848-1 is not prime. Res64: 2C6BAFA42DC618C3 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:03:10] 915*2^1553848-1 is not prime. Res64: E6B53572F72B3628 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:07:22] 721*2^1553849-1 is not prime. Res64: 59D46435F00744C4 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:07:26] 741*2^1553849-1 is not prime. Res64: 042057372B1D7CC3 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:07:27] 831*2^1553849-1 is not prime. Res64: 385426B90D7FF430 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:07:28] 889*2^1553849-1 is not prime. Res64: 6B751992701FB528 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:07:29] 909*2^1553849-1 is not prime. Res64: 941B5EBC17E2A47F Time : 0.0 sec. user=mdettweiler [2020-02-11 18:33:59] 955*2^1553849-1 is not prime. Res64: 1666C3415ED63502 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:33:59] 987*2^1553849-1 is not prime. Res64: A18E7A983119DD02 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:34:00] 713*2^1553850-1 is not prime. Res64: 2DD93AA2D622CC3B Time : 0.0 sec. user=mdettweiler [2020-02-11 18:34:01] 825*2^1553850-1 is not prime. Res64: AE43BCD6CBF7F4E5 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:34:01] 873*2^1553850-1 is not prime. Res64: 5704EFAD4693B2D9 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:58:20] 921*2^1553850-1 is not prime. Res64: DC06DE37867B5773 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:58:20] 923*2^1553850-1 is not prime. Res64: 2DEA454519A97EEA Time : 0.0 sec. user=mdettweiler [2020-02-11 18:58:20] 941*2^1553850-1 is not prime. Res64: 262BE6EC1F4A4D3B Time : 0.0 sec. user=mdettweiler [2020-02-11 18:58:21] 603*2^1553851-1 is not prime. Res64: B3EE00FA0AF47A55 Time : 0.0 sec. user=mdettweiler [2020-02-11 18:58:22] 663*2^1553851-1 is not prime. Res64: 2598949DF10DAC4D Time : 0.0 sec. user=mdettweiler [2020-02-11 19:00:57] 723*2^1553851-1 is not prime. Res64: 2DEB39B6FB582A91 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:00:59] 843*2^1553851-1 is not prime. Res64: F294712CB818CDDA Time : 0.0 sec. user=mdettweiler [2020-02-11 19:01:00] 883*2^1553851-1 is not prime. Res64: DDD3D033FCF4B0E6 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:01:00] 891*2^1553851-1 is not prime. Res64: 34B0DA16CCFA3B8D Time : 0.0 sec. user=mdettweiler [2020-02-11 19:01:01] 975*2^1553851-1 is not prime. Res64: 080F425B7356D7B3 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:26:53] 999*2^1553851-1 is not prime. Res64: D7654B4F3B42B1CD Time : 0.0 sec. user=mdettweiler [2020-02-11 19:26:53] 617*2^1553852-1 is not prime. Res64: 5750302C4B8CA5E4 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:26:54] 665*2^1553852-1 is not prime. Res64: B4C78EA8373A91F2 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:26:54] 717*2^1553852-1 is not prime. Res64: E2FE21FCBCFE6CAE Time : 0.0 sec. user=mdettweiler [2020-02-11 19:26:54] 755*2^1553852-1 is not prime. Res64: B24AF2E91F8A88F1 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:51:51] 857*2^1553852-1 is not prime. Res64: 68FDD706968C0970 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:51:51] 867*2^1553852-1 is not prime. Res64: 49563A7A4D36C19C Time : 0.0 sec. user=mdettweiler [2020-02-11 19:51:52] 935*2^1553852-1 is not prime. Res64: C4FAB77ED6DC9D8F Time : 0.0 sec. user=mdettweiler [2020-02-11 19:51:52] 607*2^1553853-1 is not prime. Res64: 68A0DD57908AD875 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:51:53] 699*2^1553853-1 is not prime. Res64: 418C8B3A241D4301 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:53:28] 789*2^1553853-1 is not prime. Res64: F0ACD0FC5E9648AA Time : 0.0 sec. user=mdettweiler [2020-02-11 19:53:29] 895*2^1553853-1 is not prime. Res64: A11681563B8734BA Time : 0.0 sec. user=mdettweiler [2020-02-11 19:53:29] 651*2^1553854-1 is not prime. Res64: F2E568DBD7EC6A34 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:53:29] 663*2^1553854-1 is not prime. Res64: 80B97E06128E8707 Time : 0.0 sec. user=mdettweiler [2020-02-11 19:53:30] 813*2^1553854-1 is not prime. Res64: B8D71A197903094E Time : 0.0 sec. user=mdettweiler [2020-02-11 20:21:12] 887*2^1553854-1 is not prime. Res64: 2771CDCC654CA70A Time : 0.0 sec. user=mdettweiler [2020-02-11 20:21:12] 771*2^1553855-1 is not prime. Res64: 6827F971F144FB9E Time : 0.0 sec. user=mdettweiler [2020-02-11 20:21:13] 949*2^1553855-1 is not prime. Res64: 762A970F5B6EE439 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:21:13] 963*2^1553855-1 is not prime. Res64: EFB0B4F71C2FB4D2 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:21:14] 609*2^1553856-1 is not prime. Res64: 816BC2BE81439415 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:44:53] 675*2^1553856-1 is not prime. Res64: 72C118CE0FE760FF Time : 0.0 sec. user=mdettweiler [2020-02-11 20:44:54] 825*2^1553856-1 is not prime. Res64: 8795E26D129A00EC Time : 0.0 sec. user=mdettweiler [2020-02-11 20:44:54] 873*2^1553856-1 is not prime. Res64: 0A1E3BEA6C708910 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:44:55] 993*2^1553856-1 is not prime. Res64: CF1F0BACDB3D083A Time : 0.0 sec. user=mdettweiler [2020-02-11 20:44:55] 715*2^1553857-1 is not prime. Res64: 85B1B629C71836E9 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:45:23] 741*2^1553857-1 is not prime. Res64: 4FBC38F8DC7EB746 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:45:23] 751*2^1553857-1 is not prime. Res64: CDE3776C8300F88F Time : 0.0 sec. user=mdettweiler [2020-02-11 20:45:24] 819*2^1553857-1 is not prime. Res64: B0F06B1079388F48 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:45:24] 841*2^1553857-1 is not prime. Res64: 59F0BAFAAB9605C2 Time : 0.0 sec. user=mdettweiler [2020-02-11 20:45:24] 861*2^1553857-1 is not prime. Res64: 70693CEF7FCF82CD Time : 0.0 sec. user=mdettweiler [2020-02-11 21:14:07] 919*2^1553857-1 is not prime. Res64: 9782682EE2DB3906 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:14:07] 633*2^1553858-1 is not prime. Res64: 99830D20246B1894 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:14:08] 645*2^1553858-1 is not prime. Res64: E8A0F3CB4C3E9BF7 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:14:08] 711*2^1553858-1 is not prime. Res64: 8480C4A218A71AAC Time : 0.0 sec. user=mdettweiler [2020-02-11 21:14:09] 827*2^1553858-1 is not prime. Res64: 496BC6B22B4F8D2D Time : 0.0 sec. user=mdettweiler [2020-02-11 21:38:21] 703*2^1553859-1 is not prime. Res64: EAE253C5BBC684C8 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:38:21] 735*2^1553859-1 is not prime. Res64: 474237B82CF8C73B Time : 0.0 sec. user=mdettweiler [2020-02-11 21:38:21] 769*2^1553859-1 is not prime. Res64: DBB4A594A4F0F06D Time : 0.0 sec. user=mdettweiler [2020-02-11 21:38:22] 909*2^1553859-1 is not prime. Res64: E7E5C93860ED4C72 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:38:22] 687*2^1553860-1 is not prime. Res64: 432B5616D435DD83 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:40:40] 837*2^1553858-1 is not prime. Res64: A5C63549166CC085 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:40:40] 945*2^1553858-1 is not prime. Res64: 29F39A274F0AA3A3 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:40:41] 953*2^1553858-1 is not prime. Res64: C9D8C66D0CDFA046 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:40:41] 971*2^1553858-1 is not prime. Res64: ADDB1538FA909206 Time : 0.0 sec. user=mdettweiler [2020-02-11 21:40:42] 675*2^1553859-1 is not prime. Res64: FD939176078974D5 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:08:29] 707*2^1553860-1 is not prime. Res64: B7D93C3D941E221B Time : 0.0 sec. user=mdettweiler [2020-02-11 22:08:29] 729*2^1553860-1 is not prime. Res64: BFC32191C27F420D Time : 0.0 sec. user=mdettweiler [2020-02-11 22:08:30] 827*2^1553860-1 is not prime. Res64: 4A1C29635543613C Time : 0.0 sec. user=mdettweiler [2020-02-11 22:08:30] 927*2^1553860-1 is not prime. Res64: 5BC7AE7B415BA00A Time : 0.0 sec. user=mdettweiler [2020-02-11 22:08:31] 975*2^1553860-1 is not prime. Res64: 5D6A779FDC857AA2 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:29:56] 607*2^1553861-1 is not prime. Res64: C5F0726B05A93A32 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:29:57] 631*2^1553861-1 is not prime. Res64: EEB9598A97912211 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:29:57] 691*2^1553861-1 is not prime. Res64: 6399D343D36D5DE5 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:29:58] 777*2^1553861-1 is not prime. Res64: EAC2AA480F2D37A6 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:29:59] 801*2^1553861-1 is not prime. Res64: BD9B003BD724798B Time : 0.0 sec. user=mdettweiler [2020-02-11 22:33:56] 855*2^1553861-1 is not prime. Res64: A9F6B38C5953540B Time : 0.0 sec. user=mdettweiler [2020-02-11 22:33:56] 865*2^1553861-1 is not prime. Res64: E63A6FB2988449C2 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:33:56] 867*2^1553861-1 is not prime. Res64: 3EF33F4698E5DE22 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:33:57] 987*2^1553861-1 is not prime. Res64: E7097C1D952AA3FB Time : 0.0 sec. user=mdettweiler [2020-02-11 22:33:58] 621*2^1553862-1 is not prime. Res64: D98245247A1C5ABA Time : 0.0 sec. user=mdettweiler [2020-02-11 22:59:54] 711*2^1553862-1 is not prime. Res64: D7E353F629DD9683 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:59:55] 619*2^1553863-1 is not prime. Res64: F91824ED7F9A89D2 Time : 0.0 sec. user=mdettweiler [2020-02-11 22:59:55] 703*2^1553863-1 is not prime. Res64: 69CC844BB573031F Time : 0.0 sec. user=mdettweiler [2020-02-11 22:59:56] 723*2^1553863-1 is not prime. Res64: 41A41EC0E072E3BC Time : 0.0 sec. user=mdettweiler [2020-02-11 22:59:56] 901*2^1553863-1 is not prime. Res64: 0529B7D3D9364033 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:22:42] 913*2^1553863-1 is not prime. Res64: 71576A44C3FA27BA Time : 0.0 sec. user=mdettweiler [2020-02-11 23:22:43] 615*2^1553864-1 is not prime. Res64: B96CFE6BB0626EE8 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:22:43] 617*2^1553864-1 is not prime. Res64: 56CC9B642AB738A2 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:22:44] 725*2^1553864-1 is not prime. Res64: 793BB0D5D30E9CC1 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:22:44] 789*2^1553864-1 is not prime. Res64: 6109D905B2803838 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:25:33] 857*2^1553864-1 is not prime. Res64: 90C8F0C2AFAC160E Time : 0.0 sec. user=mdettweiler [2020-02-11 23:25:33] 899*2^1553864-1 is not prime. Res64: EEC9DCC25B07C8B0 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:25:34] 627*2^1553865-1 is not prime. Res64: A284AEBEF56A1EE8 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:25:34] 721*2^1553865-1 is not prime. Res64: 308CBF82B3E00871 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:25:35] 739*2^1553865-1 is not prime. Res64: 9CED6E192D4171EC Time : 0.0 sec. user=mdettweiler [2020-02-11 23:53:10] 781*2^1553865-1 is not prime. Res64: 5DF15477F1F01F1A Time : 0.0 sec. user=mdettweiler [2020-02-11 23:53:10] 805*2^1553865-1 is not prime. Res64: A37507138E4BC5CA Time : 0.0 sec. user=mdettweiler [2020-02-11 23:53:11] 975*2^1553865-1 is not prime. Res64: E8F789F2F3792BE3 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:53:11] 635*2^1553866-1 is not prime. Res64: 14ECA3A0DFBF5C63 Time : 0.0 sec. user=mdettweiler [2020-02-11 23:53:12] 813*2^1553866-1 is not prime. Res64: 8252526C66A10FC0 Time : 0.0 sec.