../ abbrev 12-Jan-2023 17:45 588 abbrev-num 07-Apr-2024 23:45 399 abbrev-tree 12-Jan-2023 17:45 428 abbreviate 27-Sep-2023 16:45 151 abbreviation 10-Oct-2023 10:45 153 abbreviator 09-Jan-2024 18:45 1911