[n MONOMORPHISMS]
171,184 of 196,601 in NWL2023·also valid in CSW24
existence in one form only [n -S]
151,063 of 280,887 in CSW24·also valid in NWL2023