idris-0.9.19: test/interactive009/input

:ps 26 rec