idris-0.9.9: test/test016/expected

[10, 11, 12, 13, 14, 15, 16, 17, 18, 19]