[[Vecsmall([7,20,4,26,27,16,2,9,28,29,23,21,24,3,19,5,25,13,1,6,17,30,10,14,22,11,18,15,31,8,12])],Vecsmall([31])]
