def Hex.Conway.supportedEntry_409_3 : SupportedEntry 409 3

The verified table supports C(409, 3).

Equations

• Hex.Conway.supportedEntry_409_3 = { poly := Hex.Conway.luebeckConwayPolynomial_409_3, prime := Hex.Conway.prime_409, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_409_3 }

def Hex.Conway.supportedEntry_479_3 : SupportedEntry 479 3

The verified table supports C(479, 3).

Equations

• Hex.Conway.supportedEntry_479_3 = { poly := Hex.Conway.luebeckConwayPolynomial_479_3, prime := Hex.Conway.prime_479, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_479_3 }

def Hex.Conway.supportedEntry_67_3 : SupportedEntry 67 3

The verified table supports C(67, 3).

Equations

• Hex.Conway.supportedEntry_67_3 = { poly := Hex.Conway.luebeckConwayPolynomial_67_3, prime := Hex.Conway.prime_67, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_67_3 }

def Hex.Conway.supportedEntry_131_3 : SupportedEntry 131 3

The verified table supports C(131, 3).

Equations

• Hex.Conway.supportedEntry_131_3 = { poly := Hex.Conway.luebeckConwayPolynomial_131_3, prime := Hex.Conway.prime_131, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_131_3 }

def Hex.Conway.supportedEntry_197_3 : SupportedEntry 197 3

The verified table supports C(197, 3).

Equations

• Hex.Conway.supportedEntry_197_3 = { poly := Hex.Conway.luebeckConwayPolynomial_197_3, prime := Hex.Conway.prime_197, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_197_3 }

def Hex.Conway.supportedEntry_233_3 : SupportedEntry 233 3

The verified table supports C(233, 3).

Equations

• Hex.Conway.supportedEntry_233_3 = { poly := Hex.Conway.luebeckConwayPolynomial_233_3, prime := Hex.Conway.prime_233, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_233_3 }

def Hex.Conway.supportedEntry_677_3 : SupportedEntry 677 3

The verified table supports C(677, 3).

Equations

• Hex.Conway.supportedEntry_677_3 = { poly := Hex.Conway.luebeckConwayPolynomial_677_3, prime := Hex.Conway.prime_677, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_677_3 }

def Hex.Conway.supportedEntry_71_3 : SupportedEntry 71 3

The verified table supports C(71, 3).

Equations

• Hex.Conway.supportedEntry_71_3 = { poly := Hex.Conway.luebeckConwayPolynomial_71_3, prime := Hex.Conway.prime_71, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_71_3 }

def Hex.Conway.supportedEntry_113_3 : SupportedEntry 113 3

The verified table supports C(113, 3).

Equations

• Hex.Conway.supportedEntry_113_3 = { poly := Hex.Conway.luebeckConwayPolynomial_113_3, prime := Hex.Conway.prime_113, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_113_3 }

def Hex.Conway.supportedEntry_383_3 : SupportedEntry 383 3

The verified table supports C(383, 3).

Equations

• Hex.Conway.supportedEntry_383_3 = { poly := Hex.Conway.luebeckConwayPolynomial_383_3, prime := Hex.Conway.prime_383, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_383_3 }

def Hex.Conway.supportedEntry_167_3 : SupportedEntry 167 3

The verified table supports C(167, 3).

Equations

• Hex.Conway.supportedEntry_167_3 = { poly := Hex.Conway.luebeckConwayPolynomial_167_3, prime := Hex.Conway.prime_167, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_167_3 }

def Hex.Conway.supportedEntry_73_3 : SupportedEntry 73 3

The verified table supports C(73, 3).

Equations

• Hex.Conway.supportedEntry_73_3 = { poly := Hex.Conway.luebeckConwayPolynomial_73_3, prime := Hex.Conway.prime_73, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_73_3 }

def Hex.Conway.supportedEntry_97_3 : SupportedEntry 97 3

The verified table supports C(97, 3).

Equations

• Hex.Conway.supportedEntry_97_3 = { poly := Hex.Conway.luebeckConwayPolynomial_97_3, prime := Hex.Conway.prime_97, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_97_3 }

def Hex.Conway.supportedEntry_31_3 : SupportedEntry 31 3

The verified table supports C(31, 3).

Equations

• Hex.Conway.supportedEntry_31_3 = { poly := Hex.Conway.luebeckConwayPolynomial_31_3, prime := Hex.Conway.prime_31, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_31_3 }

def Hex.Conway.supportedEntry_859_2 : SupportedEntry 859 2

The verified table supports C(859, 2).

Equations

• Hex.Conway.supportedEntry_859_2 = { poly := Hex.Conway.luebeckConwayPolynomial_859_2, prime := Hex.Conway.prime_859, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_859_2 }

def Hex.Conway.supportedEntry_461_2 : SupportedEntry 461 2

The verified table supports C(461, 2).

Equations

• Hex.Conway.supportedEntry_461_2 = { poly := Hex.Conway.luebeckConwayPolynomial_461_2, prime := Hex.Conway.prime_461, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_461_2 }

def Hex.Conway.supportedEntry_547_2 : SupportedEntry 547 2

The verified table supports C(547, 2).

Equations

• Hex.Conway.supportedEntry_547_2 = { poly := Hex.Conway.luebeckConwayPolynomial_547_2, prime := Hex.Conway.prime_547, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_547_2 }

def Hex.Conway.supportedEntry_617_2 : SupportedEntry 617 2

The verified table supports C(617, 2).

Equations

• Hex.Conway.supportedEntry_617_2 = { poly := Hex.Conway.luebeckConwayPolynomial_617_2, prime := Hex.Conway.prime_617, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_617_2 }

def Hex.Conway.supportedEntry_661_2 : SupportedEntry 661 2

The verified table supports C(661, 2).

Equations

• Hex.Conway.supportedEntry_661_2 = { poly := Hex.Conway.luebeckConwayPolynomial_661_2, prime := Hex.Conway.prime_661, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_661_2 }

def Hex.Conway.supportedEntry_709_2 : SupportedEntry 709 2

The verified table supports C(709, 2).

Equations

• Hex.Conway.supportedEntry_709_2 = { poly := Hex.Conway.luebeckConwayPolynomial_709_2, prime := Hex.Conway.prime_709, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_709_2 }

def Hex.Conway.supportedEntry_761_2 : SupportedEntry 761 2

The verified table supports C(761, 2).

Equations

• Hex.Conway.supportedEntry_761_2 = { poly := Hex.Conway.luebeckConwayPolynomial_761_2, prime := Hex.Conway.prime_761, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_761_2 }

def Hex.Conway.supportedEntry_821_2 : SupportedEntry 821 2

The verified table supports C(821, 2).

Equations

• Hex.Conway.supportedEntry_821_2 = { poly := Hex.Conway.luebeckConwayPolynomial_821_2, prime := Hex.Conway.prime_821, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_821_2 }

def Hex.Conway.supportedEntry_853_2 : SupportedEntry 853 2

The verified table supports C(853, 2).

Equations

• Hex.Conway.supportedEntry_853_2 = { poly := Hex.Conway.luebeckConwayPolynomial_853_2, prime := Hex.Conway.prime_853, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_853_2 }

def Hex.Conway.supportedEntry_919_2 : SupportedEntry 919 2

The verified table supports C(919, 2).

Equations

• Hex.Conway.supportedEntry_919_2 = { poly := Hex.Conway.luebeckConwayPolynomial_919_2, prime := Hex.Conway.prime_919, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_919_2 }