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