This is makeindex, version 2.14 [02-Oct-2002] (kpathsea + Thai support).
Scanning input file prob.idx....done (823 entries accepted, 0 rejected).
Sorting entries.........done (8393 comparisons).
Generating output file prob.ind....done (712 lines written, 0 warnings).
Output written in prob.ind.
Transcript written in prob.ilg.