idris-0.9.10: test/test032/input

:cs 11 xs
:cs 17 ys
:ps 21 maprhs
:mw 25 isElem2
:cs 30 p