Generated root-decision chunks 4 through 7.

def HadwigerNelsonBounds.partsRootDecisionChunk4 : Array PartsRootNode

Root-decision data chunk 4.

Equations

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

def HadwigerNelsonBounds.partsRootDecisionChunk5 : Array PartsRootNode

Root-decision data chunk 5.

Equations

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

def HadwigerNelsonBounds.partsRootDecisionChunk6 : Array PartsRootNode

Root-decision data chunk 6.

Equations

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

def HadwigerNelsonBounds.partsRootDecisionChunk7 : Array PartsRootNode

Root-decision data chunk 7.

Equations

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