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