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