Precomputed legal-row index masks for bulk pair pruning

def Erdos97Octagon.RawIncidence.pairRowIndexMasks : Array (Array UInt64)

For each centre and packed pair bit, legal-row indices containing that pair.

Equations

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

def Erdos97Octagon.RawIncidence.fiveBitIndices : Array (List ℕ)

Set-bit positions for each five-bit word.

Equations

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