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