provers-detection-data.conf 16.8 KB