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