Script for summary generation for all provers