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