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