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