idris-1.3.3: test/effects003/input.in

a
e
i
o
j
v