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