Measurer names (total: 3698), reverse sorted by number of MPECs (total: 71601).
The lines contains the number of all MPECs with the observer name participating, revres sorted after MPEC numbers.
Created at 06-15-2025 22:20:25
Created with MPECSGET, version 2023 Jan 11.