Measurer names (total: 3776), reverse sorted by number of MPECs (total: 73582).
The lines contains the number of all MPECs with the observer name participating, revres sorted after MPEC numbers.
Created at 11-17-2025 07:17:22
Created with MPECSGET, version 2023 Jan 11.