verification diagrams from python script