Synthetic Data Generation

I was wondering how the training set of diagrams was generated (the synthetic diagram + accompanying proof). Like what script should I run? graph.py looks promising, but it's evidently not the script they used to generate the 100M synthetic theorem proofs and diagrams.
For example in the images below:

I would greatly appreciate the help!