Measurer names (total: 3443), reverse sorted by number of MPECs (total: 63295).
The lines contains the number of all MPECs with the observer name participating, revres sorted after MPEC numbers.
Created at 09-17-2023 21:42:23
Created with MPECSGET, version 2023 Jan 11.