idris-1.3.3: test/basic003/expected.out

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