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