Comment by tunesmith

I just had Sol Ultra read the proof and create a graph of it using Concludia (my side project) so you can explore it visually/graphically. I certainly don't understand it though so I have no idea if it's helpful. :)

https://concludia.org/graph/g_2ecb8083-52ec-3448-8c30-2f9bc7...