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