tests/sav/test_seq.res

   1 true
   2 true
   3 true
   4
   5 true
   6 true
   7 true
   8
   9 true
  10 true
  11 true
  12
  13 true
  14 true
  15 true
  16
  17 true
  18 true
  19 true
  20