This is makeindex, version 2.15 [TeX Live 2018] (kpathsea + Thai support).
Scanning input file cudd.idx....done (441 entries accepted, 0 rejected).
Sorting entries......done (4235 comparisons).
Generating output file cudd.ind....done (358 lines written, 0 warnings).
Output written in cudd.ind.
Transcript written in cudd.ilg.
