../ numred 08-Feb-2023 21:53 147 numrepr 08-Feb-2023 21:53 965 numrs 08-Feb-2023 21:53 407 numrs-c 14-Dec-2025 14:43 6650 numrs-core 15-Dec-2025 02:53 106K numrs2 30-Dec-2025 20:37 57K numrst 04-Sep-2025 11:38 5671 numrust 15-Mar-2023 04:17 148