This is makeindex, version 2.13 [07-Mar-1997] (using kpathsea).
Scanning input file metamath.idx.....done (1493 entries accepted, 0 rejected).
Sorting entries...............done (17299 comparisons).
Generating output file metamath.ind.....done (851 lines written, 0 warnings).
Output written in metamath.ind.
Transcript written in metamath.ilg.