Measurer names (total: 3282), sorted by names.
The lines contains the number of all MPECs with the observer name participating, sorted after measurer names.
Created at 05-22-2022 21:54:36
Created with MPECSGET, version 2021 Nov 24.