provers-detection-data.conf 15.3 KB