Robust/src/Tests/output/IncTest.output.goal

   1 1
   2 1
   3 1
   4 1
   5 1
   6 1
   7 1
   8 1
   9 1
  10 1
  11 0
  12 0
  13 0
  14 0
  15 0
  16 0
  17 0
  18 0
  19 0
  20 0
  21 ----------------
  22 0
  23 1
  24 1
  25 1
  26 1
  27 1
  28 1
  29 1
  30 1
  31 1
  32 1
  33 0
  34 0
  35 0
  36 0
  37 0
  38 0
  39 0
  40 0
  41 0