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