tests/sav/base_attr_boxing.res

   1 1.000000
   2 2.000000
   3 3.000000
   4
   5 1.000000
   6 1.000000
   7 1.000000
   8
   9 2.000000
  10 2.000000
  11 2.000000
  12
  13 3.000000
  14 3.000000
  15 3.000000