Measurer names (total: 3358), reverse sorted by number of MPECs (total: 60691).
The lines contains the number of all MPECs with the observer name participating, revres sorted after MPEC numbers.
Created at 01-11-2023 17:08:48
Created with MPECSGET, version 2021 Nov 24.