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