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