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