If I understand correctly, this is the dependency graph of all the conjectures involved in the proof: https://terrytao.files.wordpress.com/2023/11/image.png

It really makes the complexity of a proof more tangible, even if it does not capture the complexity of proving each step.