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