P
Initializing...
split g2: rank 2 and Cartan from b1+b2 · Prove2Me