idris-0.9.15: test/basic011/expected
6EA049D797FA18D6 6EA049D797FA18D6 FDA01C93B78A192F AD85270E93646134 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6
6EA049D797FA18D6 6EA049D797FA18D6 FDA01C93B78A192F AD85270E93646134 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6 6EA049D797FA18D6