The complete type-edge-pair description of the solution set for Sp4Sp_4Sp4​
Complete type-edge-pair conjecture. The union over all type-edge pairs equals the solution set: