provers-detection-data.conf 11.3 KB