[[Vecsmall([2,3,12,7,9,8,5,4,6,1,10,11]),Vecsmall([4,8,6,1,11,3,10,2,12,7,5,9])],Vecsmall([6,2])]
