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