[[Vecsmall([7,63,76,18,110,62,12,20,56,24,73,111,22,87,10,46,40,78,96,66,50,84,113,71,1,119,116,67,54,106,102,92,39,128,61,89,25,28,58,2,99,21,23,125,85,44,36,74,95,45,118,42,129,27,101,115,105,107,88,64,77,55,130,19,127,108,52,57,47,17,49,65,13,124,86,94,32,30,100,6,33,79,38,37,43,117,34,97,29,98,15,80,26,5,126,4,69,14,120,70,68,90,8,11,123,122,103,3,82,41,35,31,91,104,72,48,51,60,59,121,93,81,112,16,109,9,114,53,83,75]),Vecsmall([130,129,128,127,126,125,124,123,122,121,120,119,118,117,116,115,114,113,112,111,110,109,108,107,106,105,104,103,102,101,100,99,98,97,96,95,94,93,92,91,90,89,88,87,86,85,84,83,82,81,80,79,78,77,76,75,74,73,72,71,70,69,68,67,66,65,64,63,62,61,60,59,58,57,56,55,54,53,52,51,50,49,48,47,46,45,44,43,42,41,40,39,38,37,36,35,34,33,32,31,30,29,28,27,26,25,24,23,22,21,20,19,18,17,16,15,14,13,12,11,10,9,8,7,6,5,4,3,2,1])],Vecsmall([65,2])]
