idris-0.9.11: test/reg031/expected

[10, 128, 201, 255, 10, 51, 10, 52]