provers-detection-data.conf 13.6 KB