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