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