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