Measurer names (total: 3657), sorted by names.
The lines contains the number of all MPECs with the observer name participating, sorted after measurer names.
Created at 02-09-2025 22:03:49
Created with MPECSGET, version 2023 Jan 11.