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