idris-0.9.16: test/interactive001/input

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