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