OK, the output is as follows.
Several hundred lines of:
Repairing an index entry with id 1401 in index $SII of file 9.
Inserting an index entry with Id 1401 into index $SDH of file 9.
...<these lines repeat several hundred times, with incrementing Id>
Followed by:
Repairing the security file record segment.
Deleting an index entry with Id 690 from index $SDH of file 9.
Deleting an index entry with Id 693 from index $SDH of file 9.
Deleting an index entry with Id 760 from index $SDH of file 9.
Deleting an index entry with Id 695 from index $SDH of file 9.
Deleting an index entry with Id 752 from index $SDH of file 9.
Deleting an index entry with Id 1493 from index $SDH of file 9.
Deleting an index entry with Id 572 from index $SDH of file 9.
... <the "Deleting" lines repeat several hundred times, Id jumps around a lot, forward and back>
Followed by:
Fixing mirror copy of the security descriptors data stream.
Security descriptor verification completed.
Windows found problems with the file system.
Run CHKDSK with the /F (fix) option to correct these.
156272287 KB total disk space.
6635024 KB in 23831 files.
6632 KB in 2284 indexes.
0 KB in bad sectors.
100071 KB in use by the system.
65536 KB occupied by the log file.
149530560 KB available on disk.
4096 bytes in each allocation unit.
39068071 total allocation units on disk.
37382640 allocation units available on disk.