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