user=mdettweiler [2020-10-07 00:18:44] 843*2^1565700-1 is not prime. Res64: 928F85F8D069A1B5 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:18:45] 899*2^1565700-1 is not prime. Res64: 88600CE993238D47 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:18:45] 927*2^1565700-1 is not prime. Res64: 7A82A856F517E0E5 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:18:46] 607*2^1565701-1 is not prime. Res64: 434C69F160ED50B7 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:18:46] 649*2^1565701-1 is not prime. Res64: A5D3B1440B4B3A5F Time : 0.0 sec. user=mdettweiler [2020-10-07 00:25:00] 691*2^1565701-1 is not prime. Res64: 47C65EEC6F93E820 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:25:00] 727*2^1565701-1 is not prime. Res64: 4DBC8BC146E811E1 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:25:01] 741*2^1565701-1 is not prime. Res64: 89161CA5CA3BCF3E Time : 0.0 sec. user=mdettweiler [2020-10-07 00:25:01] 805*2^1565701-1 is not prime. Res64: 6F21B48CE14F01D3 Time : 0.0 sec. user=mdettweiler [2020-10-07 00:25:01] 819*2^1565701-1 is not prime. Res64: B8DF21DA14CCC24E Time : 0.0 sec. user=mdettweiler [2020-10-07 01:14:04] 861*2^1565701-1 is not prime. Res64: 9C55F12AC5978937 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:14:05] 877*2^1565701-1 is not prime. Res64: 5B26789B7B2989AE Time : 0.0 sec. user=mdettweiler [2020-10-07 01:14:07] 939*2^1565701-1 is not prime. Res64: 9434E8D2E33C3C97 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:14:08] 603*2^1565702-1 is not prime. Res64: B50BA7834CCA28FD Time : 0.0 sec. user=mdettweiler [2020-10-07 01:14:10] 635*2^1565702-1 is not prime. Res64: 95EA61EA5EF4B566 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:22:28] 705*2^1565702-1 is not prime. Res64: 5B2BBC4E318BDEA5 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:22:28] 785*2^1565702-1 is not prime. Res64: 47695830D3845EFC Time : 0.0 sec. user=mdettweiler [2020-10-07 01:22:29] 827*2^1565702-1 is not prime. Res64: B9323FBD6F1EEFB1 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:22:29] 957*2^1565702-1 is not prime. Res64: 23365B1E0E3820E2 Time : 0.0 sec. user=mdettweiler [2020-10-07 01:22:30] 825*2^1565703-1 is not prime. Res64: 05847C19491B0F13 Time : 0.0 sec. user=mdettweiler [2020-10-07 02:10:23] 853*2^1565703-1 is not prime. Res64: 7B4AA475B3E1B14F Time : 0.0 sec. user=mdettweiler [2020-10-07 02:16:58] 607*2^1565705-1 is not prime. Res64: 007C4E488EBB8100 Time : 0.0 sec. user=mdettweiler [2020-10-07 02:17:05] 649*2^1565705-1 is not prime. Res64: 70EB6DCA1B932000 Time : 0.0 sec. user=mdettweiler [2020-10-07 02:17:10] 691*2^1565705-1 is not prime. Res64: 2101600BF40CB32F Time : 0.0 sec. user=mdettweiler [2020-10-07 02:17:14] 819*2^1565705-1 is not prime. Res64: 7D73A5F4E379F70C Time : 0.0 sec. user=mdettweiler [2020-10-07 02:17:17] 861*2^1565705-1 is not prime. Res64: F24D67834CD9746F Time : 0.0 sec. user=mdettweiler [2020-10-07 03:12:55] 865*2^1565705-1 is not prime. Res64: C04CB11B0E13FAD2 Time : 0.0 sec. user=mdettweiler [2020-10-07 03:12:56] 871*2^1565705-1 is not prime. Res64: 302D8326EE073E95 Time : 0.0 sec. user=mdettweiler [2020-10-07 03:12:57] 633*2^1565706-1 is not prime. Res64: 6968B62A71E8B16B Time : 0.0 sec. user=mdettweiler [2020-10-07 03:12:57] 677*2^1565706-1 is not prime. Res64: 72069A9BD9D4935D Time : 0.0 sec. user=mdettweiler [2020-10-07 03:12:58] 735*2^1565706-1 is not prime. Res64: 917E1051338931E9 Time : 0.0 sec. user=mdettweiler [2020-10-07 04:11:16] 777*2^1565706-1 is not prime. Res64: A28F8AC2A3388A94 Time : 0.0 sec. user=mdettweiler [2020-10-07 04:11:25] 875*2^1565706-1 is not prime. Res64: 29071FFD252CEE26 Time : 0.0 sec. user=mdettweiler [2020-10-07 07:33:11] 743*2^1565704-1 is not prime. Res64: C04E063AD88BF9D4 Time : 0.0 sec. user=mdettweiler [2020-10-07 07:33:12] 759*2^1565704-1 is not prime. Res64: 5AE592BAEDB3C9CA Time : 0.0 sec. user=mdettweiler [2020-10-07 07:33:13] 923*2^1565704-1 is not prime. Res64: 16B70A187A36E0FE Time : 0.0 sec. user=mdettweiler [2020-10-07 07:33:14] 993*2^1565704-1 is not prime. Res64: 04C39AD725EA46DF Time : 0.0 sec. user=mdettweiler [2020-10-07 08:25:29] 601*2^1565707-1 is not prime. Res64: E7914A0C0A3D6E8A Time : 0.0 sec. user=mdettweiler [2020-10-07 08:25:30] 625*2^1565707-1 is not prime. Res64: 6B76645470676431 Time : 0.0 sec. user=mdettweiler [2020-10-07 08:25:30] 675*2^1565707-1 is not prime. Res64: 02C74D6F158D0EC9 Time : 0.0 sec. user=mdettweiler [2020-10-07 08:25:31] 681*2^1565707-1 is not prime. Res64: D5FB359AD9DC9036 Time : 0.0 sec. user=mdettweiler [2020-10-07 08:25:32] 699*2^1565707-1 is not prime. Res64: DA96086E92FF837E Time : 0.0 sec. user=mdettweiler [2020-10-07 09:07:45] 903*2^1565706-1 is not prime. Res64: C7B7DB72681B0BBA Time : 0.0 sec. user=mdettweiler [2020-10-07 09:07:47] 905*2^1565706-1 is not prime. Res64: 95EC0FEA5BEAE5A5 Time : 0.0 sec. user=mdettweiler [2020-10-07 09:07:49] 975*2^1565706-1 is not prime. Res64: C1CDCA53A0B64E9B Time : 0.0 sec. user=mdettweiler [2020-10-07 09:21:33] 741*2^1565707-1 is not prime. Res64: F94832F5324D0C4D Time : 0.0 sec. user=mdettweiler [2020-10-07 09:21:33] 843*2^1565707-1 is not prime. Res64: 71F41DF0A280ED8B Time : 0.0 sec. user=mdettweiler [2020-10-07 09:21:34] 861*2^1565707-1 is not prime. Res64: 181B65483D6642C0 Time : 0.0 sec. user=mdettweiler [2020-10-07 09:21:34] 885*2^1565707-1 is not prime. Res64: 078D5F3054BFE2EC Time : 0.0 sec. user=mdettweiler [2020-10-07 09:21:35] 699*2^1565708-1 is not prime. Res64: 7CE42BF699A3ADC7 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:02:31] 735*2^1565708-1 is not prime. Res64: F8E28E4097B3E6C4 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:02:33] 845*2^1565708-1 is not prime. Res64: 94935C8F446FA26E Time : 0.0 sec. user=mdettweiler [2020-10-07 10:02:35] 953*2^1565708-1 is not prime. Res64: 305B8F4CC024CFFA Time : 0.0 sec. user=mdettweiler [2020-10-07 10:02:36] 615*2^1565709-1 is not prime. Res64: 5BCF4633288C155C Time : 0.0 sec. user=mdettweiler [2020-10-07 10:02:38] 747*2^1565709-1 is not prime. Res64: 72421FB0D1C77543 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:16:11] 867*2^1565709-1 is not prime. Res64: 13536875A05384E7 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:16:12] 877*2^1565709-1 is not prime. Res64: EAAE59293D6BEDD0 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:16:13] 603*2^1565710-1 is not prime. Res64: BCD8C88B649BD070 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:16:13] 717*2^1565710-1 is not prime. Res64: D891DC52DF4DF959 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:16:14] 741*2^1565710-1 is not prime. Res64: B91736EA15BF98E1 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:57:34] 773*2^1565710-1 is not prime. Res64: 7B28F2F5CA02F572 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:57:35] 863*2^1565710-1 is not prime. Res64: B90E0BC5D9A318E8 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:57:35] 981*2^1565710-1 is not prime. Res64: A617E68FA040554C Time : 0.0 sec. user=mdettweiler [2020-10-07 10:57:36] 609*2^1565711-1 is not prime. Res64: BFFA4DF5FE39FDD0 Time : 0.0 sec. user=mdettweiler [2020-10-07 10:57:36] 759*2^1565711-1 is not prime. Res64: BCBBAAD50D7E88E4 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:11:52] 871*2^1565711-1 is not prime. Res64: CC319D1A18B238F8 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:11:54] 879*2^1565711-1 is not prime. Res64: 05818CA4B349CDC1 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:11:55] 943*2^1565711-1 is not prime. Res64: C1BFB93E30D1632D Time : 0.0 sec. user=mdettweiler [2020-10-07 11:11:56] 635*2^1565712-1 is not prime. Res64: 06082732E787E594 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:11:58] 693*2^1565712-1 is not prime. Res64: 128C5BE9697EE628 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:52:31] 695*2^1565712-1 is not prime. Res64: DCE7864659526250 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:52:32] 713*2^1565712-1 is not prime. Res64: 5057DE7F395BE1E2 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:52:32] 765*2^1565712-1 is not prime. Res64: EF519A7D630450B0 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:52:33] 825*2^1565712-1 is not prime. Res64: 717DF88690C198E0 Time : 0.0 sec. user=mdettweiler [2020-10-07 11:52:33] 843*2^1565712-1 is not prime. Res64: 723C73A46D71FEA6 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:08:53] 899*2^1565712-1 is not prime. Res64: A139EF1D46E93A8D Time : 0.0 sec. user=mdettweiler [2020-10-07 12:08:56] 933*2^1565712-1 is not prime. Res64: A87887CC4060303B Time : 0.0 sec. user=mdettweiler [2020-10-07 12:08:58] 885*2^1565713-1 is not prime. Res64: 48A96B08BF4631E4 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:09:02] 915*2^1565713-1 is not prime. Res64: 353F40CDD28F3060 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:09:07] 615*2^1565714-1 is not prime. Res64: C08D5F44CE959BA9 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:46:25] 705*2^1565715-1 is not prime. Res64: 864389C9175E6759 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:46:25] 735*2^1565715-1 is not prime. Res64: CEF7E5AD9A092A59 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:46:26] 741*2^1565715-1 is not prime. Res64: 089C6359BF3A6288 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:46:27] 765*2^1565715-1 is not prime. Res64: 2A34AD34FA656C81 Time : 0.0 sec. user=mdettweiler [2020-10-07 12:46:27] 795*2^1565715-1 is not prime. Res64: F3338ACA2F5C9E67 Time : 0.0 sec. user=mdettweiler [2020-10-07 13:07:43] 805*2^1565715-1 is not prime. Res64: 3EEDD9F8DDDFC30B Time : 0.0 sec. user=mdettweiler [2020-10-07 13:07:45] 849*2^1565715-1 is not prime. Res64: 44E0DD5B4FDD771B Time : 0.0 sec. user=mdettweiler [2020-10-07 13:07:47] 895*2^1565715-1 is not prime. Res64: 2CB1F84291415016 Time : 0.0 sec. user=mdettweiler [2020-10-07 13:07:48] 919*2^1565715-1 is not prime. Res64: 5AEC01509D755101 Time : 0.0 sec. user=mdettweiler [2020-10-07 13:07:49] 961*2^1565715-1 is not prime. Res64: 044519FEAD7EB04A Time : 0.0 sec. user=mdettweiler [2020-10-07 13:42:48] 963*2^1565715-1 is not prime. Res64: 8B0E8FAF789B46BC Time : 0.0 sec. user=mdettweiler [2020-10-07 13:42:48] 973*2^1565715-1 is not prime. Res64: 785467E6FEFFC045 Time : 0.0 sec. user=mdettweiler [2020-10-07 13:42:49] 991*2^1565715-1 is not prime. Res64: 9D9A3061CAA115BA Time : 0.0 sec. user=mdettweiler [2020-10-07 13:42:49] 615*2^1565716-1 is not prime. Res64: F19F3B6F5832F9B0 Time : 0.0 sec. user=mdettweiler [2020-10-07 13:42:50] 617*2^1565716-1 is not prime. Res64: 6220C6C199CB50AE Time : 0.0 sec. user=mdettweiler [2020-10-07 14:03:30] 675*2^1565716-1 is not prime. Res64: 0DC4BA82A6985888 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:03:32] 677*2^1565716-1 is not prime. Res64: BC8371573D5667C7 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:03:34] 825*2^1565716-1 is not prime. Res64: 4530C31C3A1100D4 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:03:35] 909*2^1565716-1 is not prime. Res64: B20E14DACA117213 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:03:37] 615*2^1565717-1 is not prime. Res64: A09D67B7EE939E77 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:35:22] 621*2^1565717-1 is not prime. Res64: 98B4B514BA61A6AC Time : 0.0 sec. user=mdettweiler [2020-10-07 14:35:23] 699*2^1565717-1 is not prime. Res64: 67C4106A6692CCD5 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:35:23] 717*2^1565717-1 is not prime. Res64: 1B53B5B853B3E833 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:35:24] 735*2^1565717-1 is not prime. Res64: 3E5DC3FCA2A79096 Time : 0.0 sec. user=mdettweiler [2020-10-07 14:35:24] 771*2^1565717-1 is not prime. Res64: 6843D28EF3F64FD0 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:00:54] 831*2^1565717-1 is not prime. Res64: F470F03E17DF77B4 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:00:56] 889*2^1565717-1 is not prime. Res64: B49F02731604387F Time : 0.0 sec. user=mdettweiler [2020-10-07 15:00:57] 901*2^1565717-1 is not prime. Res64: E8487691B381F355 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:00:59] 651*2^1565718-1 is not prime. Res64: EE0016FA83870113 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:01:00] 815*2^1565718-1 is not prime. Res64: 1B1F33BB3D9A70F5 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:33:26] 821*2^1565718-1 is not prime. Res64: 493DB1A73ADA8D80 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:33:27] 867*2^1565718-1 is not prime. Res64: BB006EAF75B003EE Time : 0.0 sec. user=mdettweiler [2020-10-07 15:33:27] 887*2^1565718-1 is not prime. Res64: 10A797DBC5EAFDA0 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:33:27] 915*2^1565718-1 is not prime. Res64: 7EA5B09908895D47 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:33:28] 975*2^1565718-1 is not prime. Res64: AC26C709159E0E7B Time : 0.0 sec. user=mdettweiler [2020-10-07 15:57:49] 625*2^1565719-1 is not prime. Res64: 48AA1C1E0B0814A4 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:57:50] 841*2^1565719-1 is not prime. Res64: B4C588AC9A2412C8 Time : 0.0 sec. user=mdettweiler [2020-10-07 15:57:50] 859*2^1565719-1 is not prime. Res64: EBF4923C98FF98FF Time : 0.0 sec. user=mdettweiler [2020-10-07 15:57:50] 943*2^1565719-1 is not prime. Res64: A4832C0F4510CC6F Time : 0.0 sec. user=mdettweiler [2020-10-07 15:57:51] 961*2^1565719-1 is not prime. Res64: 0B143D493C627269 Time : 0.0 sec. user=mdettweiler [2020-10-07 16:28:05] 985*2^1565719-1 is not prime. Res64: 0F246F3BD30D002D Time : 0.0 sec. user=mdettweiler [2020-10-07 16:28:05] 609*2^1565720-1 is not prime. Res64: 1DB8055E9A2E9BBE Time : 0.0 sec. user=mdettweiler [2020-10-07 16:28:05] 669*2^1565720-1 is not prime. Res64: 6C7B42CDCA342501 Time : 0.0 sec. user=mdettweiler [2020-10-07 16:28:06] 689*2^1565720-1 is not prime. Res64: 188507D9ACC027DE Time : 0.0 sec. user=mdettweiler [2020-10-07 16:28:06] 855*2^1565720-1 is not prime. Res64: 3ED60352C76BAFD1 Time : 0.0 sec. user=mdettweiler [2020-10-07 16:54:50] 915*2^1565720-1 is not prime. Res64: 4652A001D40098A5 Time : 0.0 sec. user=mdettweiler [2020-10-07 16:54:50] 917*2^1565720-1 is not prime. Res64: ACF0E73293D8F18B Time : 0.0 sec. user=mdettweiler [2020-10-07 16:54:50] 983*2^1565720-1 is not prime. Res64: 60030D6AF7B9EF4E Time : 0.0 sec. user=mdettweiler [2020-10-07 16:54:51] 681*2^1565721-1 is not prime. Res64: 07E467311EF59B58 Time : 0.0 sec. user=mdettweiler [2020-10-07 16:54:51] 777*2^1565721-1 is not prime. Res64: C0F9091507D5A7E3 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:22:30] 847*2^1565721-1 is not prime. Res64: F6EC54849655D58B Time : 0.0 sec. user=mdettweiler [2020-10-07 17:22:31] 861*2^1565721-1 is not prime. Res64: 814089F2146E4C5F Time : 0.0 sec. user=mdettweiler [2020-10-07 17:22:31] 603*2^1565722-1 is not prime. Res64: F7C38F30DA8C7239 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:22:32] 635*2^1565722-1 is not prime. Res64: 0C5E208D339352FD Time : 0.0 sec. user=mdettweiler [2020-10-07 17:22:32] 651*2^1565722-1 is not prime. Res64: 4F8C676671BCAA63 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:49:01] 681*2^1565722-1 is not prime. Res64: 3A7293AE48E4F5F2 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:49:02] 701*2^1565722-1 is not prime. Res64: 56C307A24FAFDCD3 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:49:02] 741*2^1565722-1 is not prime. Res64: 8D674A236408EC73 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:49:03] 747*2^1565722-1 is not prime. Res64: 3D4FC0B2310A34C1 Time : 0.0 sec. user=mdettweiler [2020-10-07 17:49:03] 777*2^1565722-1 is not prime. Res64: 27FA20EBAC124E0F Time : 0.0 sec. user=mdettweiler [2020-10-07 18:20:52] 801*2^1565722-1 is not prime. Res64: 322DB561735897FA Time : 0.0 sec. user=mdettweiler [2020-10-07 18:20:52] 813*2^1565722-1 is not prime. Res64: BDE05B9D03299E59 Time : 0.0 sec. user=mdettweiler [2020-10-07 18:20:53] 827*2^1565722-1 is not prime. Res64: AE154344348D52F4 Time : 0.0 sec. user=mdettweiler [2020-10-07 18:20:53] 923*2^1565722-1 is not prime. Res64: 1194EE2950FBA521 Time : 0.0 sec. user=mdettweiler [2020-10-07 18:20:54] 951*2^1565722-1 is not prime. Res64: 4D5712C01D535E9A Time : 0.0 sec. user=mdettweiler [2020-10-07 18:42:54] 705*2^1565723-1 is not prime. Res64: 4FB665DC493ACA5C Time : 0.0 sec. user=mdettweiler [2020-10-07 18:42:55] 735*2^1565723-1 is not prime. Res64: 7FE91AABB7094D7D Time : 0.0 sec. user=mdettweiler [2020-10-07 18:42:55] 741*2^1565723-1 is not prime. Res64: 1ED71506A7698CB8 Time : 0.0 sec. user=mdettweiler [2020-10-07 18:42:55] 753*2^1565723-1 is not prime. Res64: C64A1E07B86011F8 Time : 0.0 sec. user=mdettweiler [2020-10-07 18:42:56] 861*2^1565723-1 is not prime. Res64: 08EDB5C063D30068 Time : 0.0 sec. user=mdettweiler [2020-10-07 19:15:13] 809*2^1565724-1 is not prime. Res64: 9A9DE348D86E9600 Time : 0.0 sec. user=mdettweiler [2020-10-07 19:15:13] 857*2^1565724-1 is not prime. Res64: B1FAD3347CBBA16B Time : 0.0 sec. user=mdettweiler [2020-10-07 19:15:14] 645*2^1565725-1 is not prime. Res64: 73C513870A41356F Time : 0.0 sec. user=mdettweiler [2020-10-07 19:15:14] 649*2^1565725-1 is not prime. Res64: EB295699C9DF88AB Time : 0.0 sec. user=mdettweiler [2020-10-07 19:15:15] 699*2^1565725-1 is not prime. Res64: BEECDBDDE3684147 Time : 0.0 sec. user=mdettweiler [2020-10-07 19:39:55] 799*2^1565725-1 is not prime. Res64: 6176AD16070BC10A Time : 0.0 sec. user=mdettweiler [2020-10-07 19:39:56] 915*2^1565725-1 is not prime. Res64: 78C967BB25EC3F76 Time : 0.0 sec. user=mdettweiler [2020-10-07 19:39:57] 979*2^1565725-1 is not prime. Res64: 7A87FB3DA3159B8A Time : 0.0 sec. user=mdettweiler [2020-10-07 19:39:57] 997*2^1565725-1 is not prime. Res64: 668629AB93EFA6A6 Time : 0.0 sec. user=mdettweiler [2020-10-07 19:39:58] 657*2^1565726-1 is not prime. Res64: D3092BA7D8682F6E Time : 0.0 sec. user=mdettweiler [2020-10-07 20:11:32] 755*2^1565726-1 is not prime. Res64: 217ADBA91C985F8D Time : 0.0 sec. user=mdettweiler [2020-10-07 20:11:33] 875*2^1565726-1 is not prime. Res64: 882FBB8756BE07E7 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:11:34] 893*2^1565726-1 is not prime. Res64: 8782958B1E271EE9 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:11:34] 993*2^1565726-1 is not prime. Res64: 0673E0C228E3FBB1 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:11:35] 609*2^1565727-1 is not prime. Res64: 956F19DBE1A6BF30 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:36:43] 643*2^1565727-1 is not prime. Res64: 3190C829FFF3815B Time : 0.0 sec. user=mdettweiler [2020-10-07 20:36:43] 685*2^1565727-1 is not prime. Res64: 0F7D0192D0E8ED45 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:36:44] 859*2^1565727-1 is not prime. Res64: 949CBD2C4A5BF641 Time : 0.0 sec. user=mdettweiler [2020-10-07 20:36:44] 861*2^1565727-1 is not prime. Res64: 110DBFE7D07E58FA Time : 0.0 sec. user=mdettweiler [2020-10-07 20:36:44] 955*2^1565727-1 is not prime. Res64: 080F9411CD72F404 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:08:23] 645*2^1565728-1 is not prime. Res64: 9B37A445D1499C34 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:08:24] 713*2^1565728-1 is not prime. Res64: DC4347B7BAB2A261 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:08:25] 923*2^1565728-1 is not prime. Res64: C43C4BE197434BD0 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:08:27] 831*2^1565729-1 is not prime. Res64: 14C712C4E6AF669B Time : 0.0 sec. user=mdettweiler [2020-10-07 21:08:28] 909*2^1565729-1 is not prime. Res64: 48ABAA0C7C6B9F57 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:33:26] 985*2^1565729-1 is not prime. Res64: 98CC18375F272FD4 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:33:26] 635*2^1565730-1 is not prime. Res64: 96635711EC69406D Time : 0.0 sec. user=mdettweiler [2020-10-07 21:33:26] 765*2^1565730-1 is not prime. Res64: 0100AE66C3116D64 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:33:27] 783*2^1565730-1 is not prime. Res64: 91227D9CA9D7E2B4 Time : 0.0 sec. user=mdettweiler [2020-10-07 21:33:27] 791*2^1565730-1 is not prime. Res64: 0218A1E066F24F12 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:07:46] 851*2^1565730-1 is not prime. Res64: DA6E7C3530B3E3AC Time : 0.0 sec. user=mdettweiler [2020-10-07 22:07:49] 861*2^1565730-1 is not prime. Res64: EFB1C02062D1CAD8 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:07:52] 927*2^1565730-1 is not prime. Res64: C73253B2F6B8B116 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:07:58] 783*2^1565731-1 is not prime. Res64: F8B9BAA8193AAF5E Time : 0.0 sec. user=mdettweiler [2020-10-07 22:08:02] 925*2^1565731-1 is not prime. Res64: F46032FEF502CE5C Time : 0.0 sec. user=mdettweiler [2020-10-07 22:28:42] 633*2^1565732-1 is not prime. Res64: DC4859EBD973FBB1 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:28:42] 687*2^1565732-1 is not prime. Res64: 9FCEEB8C03E49C92 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:28:43] 767*2^1565732-1 is not prime. Res64: D95141A62C4DE948 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:28:43] 777*2^1565732-1 is not prime. Res64: 132FE9004D043309 Time : 0.0 sec. user=mdettweiler [2020-10-07 22:28:43] 797*2^1565732-1 is not prime. Res64: 6F43E45DF69E2E1B Time : 0.0 sec. user=mdettweiler [2020-10-07 23:04:28] 885*2^1565732-1 is not prime. Res64: 8254AD7EBBDB74B2 Time : 0.0 sec. user=mdettweiler [2020-10-07 23:04:29] 915*2^1565732-1 is not prime. Res64: 70627FBD8BA791CF Time : 0.0 sec. user=mdettweiler [2020-10-07 23:04:30] 685*2^1565733-1 is not prime. Res64: 3ED2FA32D81DE030 Time : 0.0 sec. user=mdettweiler [2020-10-07 23:04:32] 759*2^1565733-1 is not prime. Res64: 89CCF32273C16203 Time : 0.0 sec. user=mdettweiler [2020-10-07 23:04:33] 805*2^1565733-1 is not prime. Res64: B1E3AAFC9732C76C Time : 0.0 sec. user=mdettweiler [2020-10-07 23:22:30] 927*2^1565733-1 is not prime. Res64: F330C60A6A6253DF Time : 0.0 sec. user=mdettweiler [2020-10-07 23:22:30] 657*2^1565734-1 is not prime. Res64: 5754FF347729E6AE Time : 0.0 sec. user=mdettweiler [2020-10-07 23:22:31] 661*2^1565735-1 is not prime. Res64: D533F2B347F94D8D Time : 0.0 sec. user=mdettweiler [2020-10-07 23:22:31] 685*2^1565735-1 is not prime. Res64: E45F21D198625153 Time : 0.0 sec. user=mdettweiler [2020-10-07 23:22:32] 693*2^1565735-1 is not prime. Res64: A7C42954CADE7AB0 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:00:31] 705*2^1565735-1 is not prime. Res64: 229521AE239105D3 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:00:31] 741*2^1565735-1 is not prime. Res64: 11B38C885D103FD4 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:00:31] 781*2^1565735-1 is not prime. Res64: 0E4A5D3CCF8FBCFF Time : 0.0 sec. user=mdettweiler [2020-10-08 00:00:32] 789*2^1565735-1 is not prime. Res64: B7B60D9F4B9C4F75 Time : 0.0 sec. user=mdettweiler [2020-10-08 00:00:32] 799*2^1565735-1 is not prime. Res64: DF1FF8362B874E4C Time : 0.0 sec.