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