idris-0.9.9: test/test027/expected

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