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