idris-0.12.3: test/primitives004-disabled/expected

<3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3>
<3, 3, 3, 3, 3, 3, 3, 3>
<3, 3, 3, 3>
<3, 3>