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