idris-0.9.13: test/records003/expected

"Fred"
21
20
30
29
2014