select array_agg(i order by s) as lex from lexorderedsequence(13);