provers-detection-data.conf 11.2 KB