def Hex.Conway.supportedEntry_653_3 : SupportedEntry 653 3

The verified table supports C(653, 3).

Equations

• Hex.Conway.supportedEntry_653_3 = { poly := Hex.Conway.luebeckConwayPolynomial_653_3, prime := Hex.Conway.prime_653, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_653_3 }

def Hex.Conway.supportedEntry_709_3 : SupportedEntry 709 3

The verified table supports C(709, 3).

Equations

• Hex.Conway.supportedEntry_709_3 = { poly := Hex.Conway.luebeckConwayPolynomial_709_3, prime := Hex.Conway.prime_709, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_709_3 }

def Hex.Conway.supportedEntry_757_3 : SupportedEntry 757 3

The verified table supports C(757, 3).

Equations

• Hex.Conway.supportedEntry_757_3 = { poly := Hex.Conway.luebeckConwayPolynomial_757_3, prime := Hex.Conway.prime_757, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_757_3 }

def Hex.Conway.supportedEntry_859_3 : SupportedEntry 859 3

The verified table supports C(859, 3).

Equations

• Hex.Conway.supportedEntry_859_3 = { poly := Hex.Conway.luebeckConwayPolynomial_859_3, prime := Hex.Conway.prime_859, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_859_3 }

def Hex.Conway.supportedEntry_941_3 : SupportedEntry 941 3

The verified table supports C(941, 3).

Equations

• Hex.Conway.supportedEntry_941_3 = { poly := Hex.Conway.luebeckConwayPolynomial_941_3, prime := Hex.Conway.prime_941, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_941_3 }

def Hex.Conway.supportedEntry_13_4 : SupportedEntry 13 4

The verified table supports C(13, 4).

Equations

• Hex.Conway.supportedEntry_13_4 = { poly := Hex.Conway.luebeckConwayPolynomial_13_4, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_4 }

def Hex.Conway.supportedEntry_269_3 : SupportedEntry 269 3

The verified table supports C(269, 3).

Equations

• Hex.Conway.supportedEntry_269_3 = { poly := Hex.Conway.luebeckConwayPolynomial_269_3, prime := Hex.Conway.prime_269, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_269_3 }

def Hex.Conway.supportedEntry_311_3 : SupportedEntry 311 3

The verified table supports C(311, 3).

Equations

• Hex.Conway.supportedEntry_311_3 = { poly := Hex.Conway.luebeckConwayPolynomial_311_3, prime := Hex.Conway.prime_311, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_311_3 }

def Hex.Conway.supportedEntry_359_3 : SupportedEntry 359 3

The verified table supports C(359, 3).

Equations

• Hex.Conway.supportedEntry_359_3 = { poly := Hex.Conway.luebeckConwayPolynomial_359_3, prime := Hex.Conway.prime_359, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_359_3 }

def Hex.Conway.supportedEntry_419_3 : SupportedEntry 419 3

The verified table supports C(419, 3).

Equations

• Hex.Conway.supportedEntry_419_3 = { poly := Hex.Conway.luebeckConwayPolynomial_419_3, prime := Hex.Conway.prime_419, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_419_3 }

def Hex.Conway.supportedEntry_457_3 : SupportedEntry 457 3

The verified table supports C(457, 3).

Equations

• Hex.Conway.supportedEntry_457_3 = { poly := Hex.Conway.luebeckConwayPolynomial_457_3, prime := Hex.Conway.prime_457, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_457_3 }

def Hex.Conway.supportedEntry_5_5 : SupportedEntry 5 5

The verified table supports C(5, 5).

Equations

• Hex.Conway.supportedEntry_5_5 = { poly := Hex.Conway.luebeckConwayPolynomial_5_5, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_5 }

def Hex.Conway.supportedEntry_149_3 : SupportedEntry 149 3

The verified table supports C(149, 3).

Equations

• Hex.Conway.supportedEntry_149_3 = { poly := Hex.Conway.luebeckConwayPolynomial_149_3, prime := Hex.Conway.prime_149, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_149_3 }

def Hex.Conway.supportedEntry_229_3 : SupportedEntry 229 3

The verified table supports C(229, 3).

Equations

• Hex.Conway.supportedEntry_229_3 = { poly := Hex.Conway.luebeckConwayPolynomial_229_3, prime := Hex.Conway.prime_229, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_229_3 }

def Hex.Conway.supportedEntry_569_3 : SupportedEntry 569 3

The verified table supports C(569, 3).

Equations

• Hex.Conway.supportedEntry_569_3 = { poly := Hex.Conway.luebeckConwayPolynomial_569_3, prime := Hex.Conway.prime_569, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_569_3 }

def Hex.Conway.supportedEntry_641_3 : SupportedEntry 641 3

The verified table supports C(641, 3).

Equations

• Hex.Conway.supportedEntry_641_3 = { poly := Hex.Conway.luebeckConwayPolynomial_641_3, prime := Hex.Conway.prime_641, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_641_3 }

def Hex.Conway.supportedEntry_727_3 : SupportedEntry 727 3

The verified table supports C(727, 3).

Equations

• Hex.Conway.supportedEntry_727_3 = { poly := Hex.Conway.luebeckConwayPolynomial_727_3, prime := Hex.Conway.prime_727, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_727_3 }

def Hex.Conway.supportedEntry_797_3 : SupportedEntry 797 3

The verified table supports C(797, 3).

Equations

• Hex.Conway.supportedEntry_797_3 = { poly := Hex.Conway.luebeckConwayPolynomial_797_3, prime := Hex.Conway.prime_797, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_797_3 }

def Hex.Conway.supportedEntry_887_3 : SupportedEntry 887 3

The verified table supports C(887, 3).

Equations

• Hex.Conway.supportedEntry_887_3 = { poly := Hex.Conway.luebeckConwayPolynomial_887_3, prime := Hex.Conway.prime_887, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_887_3 }

def Hex.Conway.supportedEntry_983_3 : SupportedEntry 983 3

The verified table supports C(983, 3).

Equations

• Hex.Conway.supportedEntry_983_3 = { poly := Hex.Conway.luebeckConwayPolynomial_983_3, prime := Hex.Conway.prime_983, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_983_3 }

def Hex.Conway.supportedEntry_389_3 : SupportedEntry 389 3

The verified table supports C(389, 3).

Equations

• Hex.Conway.supportedEntry_389_3 = { poly := Hex.Conway.luebeckConwayPolynomial_389_3, prime := Hex.Conway.prime_389, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_389_3 }

def Hex.Conway.supportedEntry_449_3 : SupportedEntry 449 3

The verified table supports C(449, 3).

Equations

• Hex.Conway.supportedEntry_449_3 = { poly := Hex.Conway.luebeckConwayPolynomial_449_3, prime := Hex.Conway.prime_449, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_449_3 }

def Hex.Conway.supportedEntry_503_3 : SupportedEntry 503 3

The verified table supports C(503, 3).

Equations

• Hex.Conway.supportedEntry_503_3 = { poly := Hex.Conway.luebeckConwayPolynomial_503_3, prime := Hex.Conway.prime_503, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_503_3 }

def Hex.Conway.supportedEntry_107_3 : SupportedEntry 107 3

The verified table supports C(107, 3).

Equations

• Hex.Conway.supportedEntry_107_3 = { poly := Hex.Conway.luebeckConwayPolynomial_107_3, prime := Hex.Conway.prime_107, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_107_3 }