provers-detection-data.conf 14.3 KB