The first argument is a data section, which is expected to contain sets of cardinals,
and the second one is a section with textual labels.
In the output, each cardinal number will be substituted by the label with corresponding index;
the indices start, as usual, with 0.
In each data line, sorts the elements, counts the number of their occurence
and prints the line in the form "ELEMENT*COUNT ...".
Useful for VERTEX_DEGREES and similar sections.
The first argument is a data section, and the second (optional) one is a section with textual labels.
In the output, each line (or each word, if the data consists of a single line,) is prepended by the corresponding label and a colon.
If the second argument is omitted, ordinal numbers starting with 0 are taken instead.