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