idris-0.9.11: test/basic004/expected

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