Explicit eight-cube construction certificates

def MacMahon.witness : Fin 10 → Label → Label → Slot → Pair

Construction data for the ten candidate inventories and thirty valid target varieties.

Equations

• One or more equations did not get rendered due to their size.