[[Vecsmall([30,51,9,33,26,17,23,53,29,42,15,4,35,28,38,13,44,3,36,6,55,27,22,2,16,32,43,46,24,56,18,10,25,7,11,31,50,41,49,14,5,52,21,34,48,8,20,39,12,19,40,54,47,1,45,37])],Vecsmall([56])]
