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