tests/sav/ackermann_function.res

   1 1
   2 2
   3 3
   4 4
   5 5
   6 6
   7 7
   8
   9 2
  10 3
  11 4
  12 5
  13 6
  14 7
  15 8
  16
  17 3
  18 5
  19 7
  20 9
  21 11
  22 13
  23 15
  24
  25 5
  26 13
  27 29
  28 61
  29 125
  30 253
  31 509
  32