provers-detection-data.conf 16 KB