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