idris-0.9.10.1: test/test032/input

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