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