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