[[Vecsmall([55,85,42,80,65,20,37,59,35,56,49,76,23,12,75,29,71,5,72,2,41,3,43,53,50,64,22,79,11,70,88,16,62,81,82,74,38,21,6,58,45,63,57,61,28,32,26,44,31,83,68,51,15,7,8,27,73,1,19,78,10,67,25,39,36,46,86,48,87,17,84,18,60,14,77,66,13,40,33,54,30,52,69,24,9,47,4,34]),Vecsmall([85,77,78,75,42,23,65,20,15,55,82,79,28,56,27,51,64,26,39,76,17,49,44,3,32,16,58,8,37,6,9,21,1,2,36,22,84,18,46,35,19,29,41,59,30,48,60,70,54,43,71,5,67,53,87,88,68,80,83,52,81,31,73,57,86,45,40,72,13,50,63,25,38,62,33,61,10,7,34,74,69,24,66,47,14,11,12,4])],Vecsmall([44,2])]
