idris-0.9.11: test/interactive001/input

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