provers-detection-data.conf 12 KB