provers-detection-data.conf 14.7 KB