regression/once.ok

   1 a = 12  b = 12
   2 a = 11  b = 12
   3 a = 10  b = 12
   4 a = 9  b = 12
   5 a = 8  b = 12
   6 a = 7  b = 12
   7 a = 6  b = 12
   8 a = 5  b = 12
   9 a = 4  b = 12
  10 a = 3  b = 12
  11 a = 2  b = 12
  12 a = 1  b = 12
  13 a = 0  b = 12