idris-1.3.3: test/totality005/expected.out

[0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377]