provers-detection-data.conf 15.5 KB