[[Vecsmall([4,47,31,19,39,37,29,27,57,54,49,25,45,21,43,11,58,8,15,33,50,18,24,46,3,53,52,42,36,23,17,7,6,56,13,35,41,9,26,44,51,1,48,16,38,14,34,10,5,2,32,30,22,20,40,28,12,55])],Vecsmall([58])]
