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