idris-1.3.3: test/primitives004-disabled/expected.out

<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>