TEST> (do-all-valid-sets (set) 
        (format t "~(~A~): ~S~%" (type-of set) (rs:print-set set nil)))
antoi: "11m"
antoi: "22m"
antoi: "33m"
antoi: "44m"
antoi: "55m"
antoi: "66m"
antoi: "77m"
antoi: "88m"
antoi: "99m"
antoi: "11p"
antoi: "22p"
antoi: "33p"
antoi: "44p"
antoi: "55p"
antoi: "66p"
antoi: "77p"
antoi: "88p"
antoi: "99p"
antoi: "11s"
antoi: "22s"
antoi: "33s"
antoi: "44s"
antoi: "55s"
antoi: "66s"
antoi: "77s"
antoi: "88s"
antoi: "99s"
antoi: "11z"
antoi: "22z"
antoi: "33z"
antoi: "44z"
antoi: "55z"
antoi: "66z"
antoi: "77z"
mintoi: "11*m"
mintoi: "22*m"
mintoi: "33*m"
mintoi: "44*m"
mintoi: "55*m"
mintoi: "66*m"
mintoi: "77*m"
mintoi: "88*m"
mintoi: "99*m"
mintoi: "11*p"
mintoi: "22*p"
mintoi: "33*p"
mintoi: "44*p"
mintoi: "55*p"
mintoi: "66*p"
mintoi: "77*p"
mintoi: "88*p"
mintoi: "99*p"
mintoi: "11*s"
mintoi: "22*s"
mintoi: "33*s"
mintoi: "44*s"
mintoi: "55*s"
mintoi: "66*s"
mintoi: "77*s"
mintoi: "88*s"
mintoi: "99*s"
mintoi: "11*z"
mintoi: "22*z"
mintoi: "33*z"
mintoi: "44*z"
mintoi: "55*z"
mintoi: "66*z"
mintoi: "77*z"
mintoi: "1*1*m"
mintoi: "2*2*m"
mintoi: "3*3*m"
mintoi: "4*4*m"
mintoi: "5*5*m"
mintoi: "6*6*m"
mintoi: "7*7*m"
mintoi: "8*8*m"
mintoi: "9*9*m"
mintoi: "1*1*p"
mintoi: "2*2*p"
mintoi: "3*3*p"
mintoi: "4*4*p"
mintoi: "5*5*p"
mintoi: "6*6*p"
mintoi: "7*7*p"
mintoi: "8*8*p"
mintoi: "9*9*p"
mintoi: "1*1*s"
mintoi: "2*2*s"
mintoi: "3*3*s"
mintoi: "4*4*s"
mintoi: "5*5*s"
mintoi: "6*6*s"
mintoi: "7*7*s"
mintoi: "8*8*s"
mintoi: "9*9*s"
mintoi: "1*1*z"
mintoi: "2*2*z"
mintoi: "3*3*z"
mintoi: "4*4*z"
mintoi: "5*5*z"
mintoi: "6*6*z"
mintoi: "7*7*z"
mintoi: "1*1m"
mintoi: "2*2m"
mintoi: "3*3m"
mintoi: "4*4m"
mintoi: "5*5m"
mintoi: "6*6m"
mintoi: "7*7m"
mintoi: "8*8m"
mintoi: "9*9m"
mintoi: "1*1p"
mintoi: "2*2p"
mintoi: "3*3p"
mintoi: "4*4p"
mintoi: "5*5p"
mintoi: "6*6p"
mintoi: "7*7p"
mintoi: "8*8p"
mintoi: "9*9p"
mintoi: "1*1s"
mintoi: "2*2s"
mintoi: "3*3s"
mintoi: "4*4s"
mintoi: "5*5s"
mintoi: "6*6s"
mintoi: "7*7s"
mintoi: "8*8s"
mintoi: "9*9s"
mintoi: "1*1z"
mintoi: "2*2z"
mintoi: "3*3z"
mintoi: "4*4z"
mintoi: "5*5z"
mintoi: "6*6z"
mintoi: "7*7z"
ankou: "111m"
ankou: "222m"
ankou: "333m"
ankou: "444m"
ankou: "555m"
ankou: "666m"
ankou: "777m"
ankou: "888m"
ankou: "999m"
ankou: "111p"
ankou: "222p"
ankou: "333p"
ankou: "444p"
ankou: "555p"
ankou: "666p"
ankou: "777p"
ankou: "888p"
ankou: "999p"
ankou: "111s"
ankou: "222s"
ankou: "333s"
ankou: "444s"
ankou: "555s"
ankou: "666s"
ankou: "777s"
ankou: "888s"
ankou: "999s"
ankou: "111z"
ankou: "222z"
ankou: "333z"
ankou: "444z"
ankou: "555z"
ankou: "666z"
ankou: "777z"
minkou: "111*m"
minkou: "222*m"
minkou: "333*m"
minkou: "444*m"
minkou: "555*m"
minkou: "666*m"
minkou: "777*m"
minkou: "888*m"
minkou: "999*m"
minkou: "111*p"
minkou: "222*p"
minkou: "333*p"
minkou: "444*p"
minkou: "555*p"
minkou: "666*p"
minkou: "777*p"
minkou: "888*p"
minkou: "999*p"
minkou: "111*s"
minkou: "222*s"
minkou: "333*s"
minkou: "444*s"
minkou: "555*s"
minkou: "666*s"
minkou: "777*s"
minkou: "888*s"
minkou: "999*s"
minkou: "111*z"
minkou: "222*z"
minkou: "333*z"
minkou: "444*z"
minkou: "555*z"
minkou: "666*z"
minkou: "777*z"
minkou: "11*1m"
minkou: "22*2m"
minkou: "33*3m"
minkou: "44*4m"
minkou: "55*5m"
minkou: "66*6m"
minkou: "77*7m"
minkou: "88*8m"
minkou: "99*9m"
minkou: "11*1p"
minkou: "22*2p"
minkou: "33*3p"
minkou: "44*4p"
minkou: "55*5p"
minkou: "66*6p"
minkou: "77*7p"
minkou: "88*8p"
minkou: "99*9p"
minkou: "11*1s"
minkou: "22*2s"
minkou: "33*3s"
minkou: "44*4s"
minkou: "55*5s"
minkou: "66*6s"
minkou: "77*7s"
minkou: "88*8s"
minkou: "99*9s"
minkou: "11*1z"
minkou: "22*2z"
minkou: "33*3z"
minkou: "44*4z"
minkou: "55*5z"
minkou: "66*6z"
minkou: "77*7z"
minkou: "1*11m"
minkou: "2*22m"
minkou: "3*33m"
minkou: "4*44m"
minkou: "5*55m"
minkou: "6*66m"
minkou: "7*77m"
minkou: "8*88m"
minkou: "9*99m"
minkou: "1*11p"
minkou: "2*22p"
minkou: "3*33p"
minkou: "4*44p"
minkou: "5*55p"
minkou: "6*66p"
minkou: "7*77p"
minkou: "8*88p"
minkou: "9*99p"
minkou: "1*11s"
minkou: "2*22s"
minkou: "3*33s"
minkou: "4*44s"
minkou: "5*55s"
minkou: "6*66s"
minkou: "7*77s"
minkou: "8*88s"
minkou: "9*99s"
minkou: "1*11z"
minkou: "2*22z"
minkou: "3*33z"
minkou: "4*44z"
minkou: "5*55z"
minkou: "6*66z"
minkou: "7*77z"
ankan: "1111m"
ankan: "2222m"
ankan: "3333m"
ankan: "4444m"
ankan: "5555m"
ankan: "6666m"
ankan: "7777m"
ankan: "8888m"
ankan: "9999m"
ankan: "1111p"
ankan: "2222p"
ankan: "3333p"
ankan: "4444p"
ankan: "5555p"
ankan: "6666p"
ankan: "7777p"
ankan: "8888p"
ankan: "9999p"
ankan: "1111s"
ankan: "2222s"
ankan: "3333s"
ankan: "4444s"
ankan: "5555s"
ankan: "6666s"
ankan: "7777s"
ankan: "8888s"
ankan: "9999s"
ankan: "1111z"
ankan: "2222z"
ankan: "3333z"
ankan: "4444z"
ankan: "5555z"
ankan: "6666z"
ankan: "7777z"
daiminkan: "1111*m"
daiminkan: "2222*m"
daiminkan: "3333*m"
daiminkan: "4444*m"
daiminkan: "5555*m"
daiminkan: "6666*m"
daiminkan: "7777*m"
daiminkan: "8888*m"
daiminkan: "9999*m"
daiminkan: "1111*p"
daiminkan: "2222*p"
daiminkan: "3333*p"
daiminkan: "4444*p"
daiminkan: "5555*p"
daiminkan: "6666*p"
daiminkan: "7777*p"
daiminkan: "8888*p"
daiminkan: "9999*p"
daiminkan: "1111*s"
daiminkan: "2222*s"
daiminkan: "3333*s"
daiminkan: "4444*s"
daiminkan: "5555*s"
daiminkan: "6666*s"
daiminkan: "7777*s"
daiminkan: "8888*s"
daiminkan: "9999*s"
daiminkan: "1111*z"
daiminkan: "2222*z"
daiminkan: "3333*z"
daiminkan: "4444*z"
daiminkan: "5555*z"
daiminkan: "6666*z"
daiminkan: "7777*z"
daiminkan: "11*11m"
daiminkan: "22*22m"
daiminkan: "33*33m"
daiminkan: "44*44m"
daiminkan: "55*55m"
daiminkan: "66*66m"
daiminkan: "77*77m"
daiminkan: "88*88m"
daiminkan: "99*99m"
daiminkan: "11*11p"
daiminkan: "22*22p"
daiminkan: "33*33p"
daiminkan: "44*44p"
daiminkan: "55*55p"
daiminkan: "66*66p"
daiminkan: "77*77p"
daiminkan: "88*88p"
daiminkan: "99*99p"
daiminkan: "11*11s"
daiminkan: "22*22s"
daiminkan: "33*33s"
daiminkan: "44*44s"
daiminkan: "55*55s"
daiminkan: "66*66s"
daiminkan: "77*77s"
daiminkan: "88*88s"
daiminkan: "99*99s"
daiminkan: "11*11z"
daiminkan: "22*22z"
daiminkan: "33*33z"
daiminkan: "44*44z"
daiminkan: "55*55z"
daiminkan: "66*66z"
daiminkan: "77*77z"
daiminkan: "1*111m"
daiminkan: "2*222m"
daiminkan: "3*333m"
daiminkan: "4*444m"
daiminkan: "5*555m"
daiminkan: "6*666m"
daiminkan: "7*777m"
daiminkan: "8*888m"
daiminkan: "9*999m"
daiminkan: "1*111p"
daiminkan: "2*222p"
daiminkan: "3*333p"
daiminkan: "4*444p"
daiminkan: "5*555p"
daiminkan: "6*666p"
daiminkan: "7*777p"
daiminkan: "8*888p"
daiminkan: "9*999p"
daiminkan: "1*111s"
daiminkan: "2*222s"
daiminkan: "3*333s"
daiminkan: "4*444s"
daiminkan: "5*555s"
daiminkan: "6*666s"
daiminkan: "7*777s"
daiminkan: "8*888s"
daiminkan: "9*999s"
daiminkan: "1*111z"
daiminkan: "2*222z"
daiminkan: "3*333z"
daiminkan: "4*444z"
daiminkan: "5*555z"
daiminkan: "6*666z"
daiminkan: "7*777z"
shouminkan: "111*1**m"
shouminkan: "222*2**m"
shouminkan: "333*3**m"
shouminkan: "444*4**m"
shouminkan: "555*5**m"
shouminkan: "666*6**m"
shouminkan: "777*7**m"
shouminkan: "888*8**m"
shouminkan: "999*9**m"
shouminkan: "111*1**p"
shouminkan: "222*2**p"
shouminkan: "333*3**p"
shouminkan: "444*4**p"
shouminkan: "555*5**p"
shouminkan: "666*6**p"
shouminkan: "777*7**p"
shouminkan: "888*8**p"
shouminkan: "999*9**p"
shouminkan: "111*1**s"
shouminkan: "222*2**s"
shouminkan: "333*3**s"
shouminkan: "444*4**s"
shouminkan: "555*5**s"
shouminkan: "666*6**s"
shouminkan: "777*7**s"
shouminkan: "888*8**s"
shouminkan: "999*9**s"
shouminkan: "111*1**z"
shouminkan: "222*2**z"
shouminkan: "333*3**z"
shouminkan: "444*4**z"
shouminkan: "555*5**z"
shouminkan: "666*6**z"
shouminkan: "777*7**z"
shouminkan: "11*1**1m"
shouminkan: "22*2**2m"
shouminkan: "33*3**3m"
shouminkan: "44*4**4m"
shouminkan: "55*5**5m"
shouminkan: "66*6**6m"
shouminkan: "77*7**7m"
shouminkan: "88*8**8m"
shouminkan: "99*9**9m"
shouminkan: "11*1**1p"
shouminkan: "22*2**2p"
shouminkan: "33*3**3p"
shouminkan: "44*4**4p"
shouminkan: "55*5**5p"
shouminkan: "66*6**6p"
shouminkan: "77*7**7p"
shouminkan: "88*8**8p"
shouminkan: "99*9**9p"
shouminkan: "11*1**1s"
shouminkan: "22*2**2s"
shouminkan: "33*3**3s"
shouminkan: "44*4**4s"
shouminkan: "55*5**5s"
shouminkan: "66*6**6s"
shouminkan: "77*7**7s"
shouminkan: "88*8**8s"
shouminkan: "99*9**9s"
shouminkan: "11*1**1z"
shouminkan: "22*2**2z"
shouminkan: "33*3**3z"
shouminkan: "44*4**4z"
shouminkan: "55*5**5z"
shouminkan: "66*6**6z"
shouminkan: "77*7**7z"
shouminkan: "1*1**11m"
shouminkan: "2*2**22m"
shouminkan: "3*3**33m"
shouminkan: "4*4**44m"
shouminkan: "5*5**55m"
shouminkan: "6*6**66m"
shouminkan: "7*7**77m"
shouminkan: "8*8**88m"
shouminkan: "9*9**99m"
shouminkan: "1*1**11p"
shouminkan: "2*2**22p"
shouminkan: "3*3**33p"
shouminkan: "4*4**44p"
shouminkan: "5*5**55p"
shouminkan: "6*6**66p"
shouminkan: "7*7**77p"
shouminkan: "8*8**88p"
shouminkan: "9*9**99p"
shouminkan: "1*1**11s"
shouminkan: "2*2**22s"
shouminkan: "3*3**33s"
shouminkan: "4*4**44s"
shouminkan: "5*5**55s"
shouminkan: "6*6**66s"
shouminkan: "7*7**77s"
shouminkan: "8*8**88s"
shouminkan: "9*9**99s"
shouminkan: "1*1**11z"
shouminkan: "2*2**22z"
shouminkan: "3*3**33z"
shouminkan: "4*4**44z"
shouminkan: "5*5**55z"
shouminkan: "6*6**66z"
shouminkan: "7*7**77z"
anjun: "123m"
anjun: "234m"
anjun: "345m"
anjun: "456m"
anjun: "567m"
anjun: "678m"
anjun: "789m"
anjun: "123p"
anjun: "234p"
anjun: "345p"
anjun: "456p"
anjun: "567p"
anjun: "678p"
anjun: "789p"
anjun: "123s"
anjun: "234s"
anjun: "345s"
anjun: "456s"
anjun: "567s"
anjun: "678s"
anjun: "789s"
minjun: "1*23m"
minjun: "2*13m"
minjun: "3*12m"
minjun: "2*34m"
minjun: "3*24m"
minjun: "4*23m"
minjun: "3*45m"
minjun: "4*35m"
minjun: "5*34m"
minjun: "4*56m"
minjun: "5*46m"
minjun: "6*45m"
minjun: "5*67m"
minjun: "6*57m"
minjun: "7*56m"
minjun: "6*78m"
minjun: "7*68m"
minjun: "8*67m"
minjun: "7*89m"
minjun: "8*79m"
minjun: "9*78m"
minjun: "1*23p"
minjun: "2*13p"
minjun: "3*12p"
minjun: "2*34p"
minjun: "3*24p"
minjun: "4*23p"
minjun: "3*45p"
minjun: "4*35p"
minjun: "5*34p"
minjun: "4*56p"
minjun: "5*46p"
minjun: "6*45p"
minjun: "5*67p"
minjun: "6*57p"
minjun: "7*56p"
minjun: "6*78p"
minjun: "7*68p"
minjun: "8*67p"
minjun: "7*89p"
minjun: "8*79p"
minjun: "9*78p"
minjun: "1*23s"
minjun: "2*13s"
minjun: "3*12s"
minjun: "2*34s"
minjun: "3*24s"
minjun: "4*23s"
minjun: "3*45s"
minjun: "4*35s"
minjun: "5*34s"
minjun: "4*56s"
minjun: "5*46s"
minjun: "6*45s"
minjun: "5*67s"
minjun: "6*57s"
minjun: "7*56s"
minjun: "6*78s"
minjun: "7*68s"
minjun: "8*67s"
minjun: "7*89s"
minjun: "8*79s"
minjun: "9*78s"