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