idris-0.9.11: test/basic003/expected

[1, 1, 3, 5, 5, 8, 9]
55
3628800