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