Vecsmall([])
Vecsmall([1])
Vecsmall([2])
Vecsmall([3])
Vecsmall([4])
Vecsmall([1, 2])
Vecsmall([1, 3])
Vecsmall([1, 4])
Vecsmall([2, 3])
Vecsmall([2, 4])
Vecsmall([3, 4])
Vecsmall([1, 2, 3])
Vecsmall([1, 2, 4])
Vecsmall([1, 3, 4])
Vecsmall([2, 3, 4])
Vecsmall([1, 2, 3, 4])
Vecsmall([])
Vecsmall([])
  ***   at top-level: forsubset('x,s,)
  ***                 ^----------------
  ***   incorrect type in forsubset (t_POL).
Total time spent: 0
