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