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