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