path: root/tests/programs/bounds_prover.expected

28
36
0 1 2 3 4 5 6 zy: index 6 out of range (length 6)
  at <stdin>:17 in main