:cs 12 xs
:cs 18 ys
:ps 22 maprhs
:mw 26 isElem2
:cs 31 p
:cs 36 xs'
:cs 39 x
:cs 43 case_val