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