Robust/src/Tests/output/inner.output.goal

   1 Outer class print: 35; 0
   2          Inner class print:
   3 4
   4 0
   5 4
   6 1
   7 35
   8 31
   9 2
  10 3
  11 4
  12 Outer class print: 35; 3