provers-detection-data.conf 11.8 KB