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