193667domain: NAppears in sequencesList of solutions to the Znám problem sorted first by length, then lexicographically.at n=15A075461