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