tests/sav/base_int2.res

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