def Hex.Conway.supportedEntry_353_3 : SupportedEntry 353 3

The verified table supports C(353, 3).

Equations

• Hex.Conway.supportedEntry_353_3 = { poly := Hex.Conway.luebeckConwayPolynomial_353_3, prime := Hex.Conway.prime_353, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_353_3 }

def Hex.Conway.supportedEntry_433_3 : SupportedEntry 433 3

The verified table supports C(433, 3).

Equations

• Hex.Conway.supportedEntry_433_3 = { poly := Hex.Conway.luebeckConwayPolynomial_433_3, prime := Hex.Conway.prime_433, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_433_3 }

def Hex.Conway.supportedEntry_487_3 : SupportedEntry 487 3

The verified table supports C(487, 3).

Equations

• Hex.Conway.supportedEntry_487_3 = { poly := Hex.Conway.luebeckConwayPolynomial_487_3, prime := Hex.Conway.prime_487, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_487_3 }

def Hex.Conway.supportedEntry_79_3 : SupportedEntry 79 3

The verified table supports C(79, 3).

Equations

• Hex.Conway.supportedEntry_79_3 = { poly := Hex.Conway.luebeckConwayPolynomial_79_3, prime := Hex.Conway.prime_79, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_79_3 }

def Hex.Conway.supportedEntry_157_3 : SupportedEntry 157 3

The verified table supports C(157, 3).

Equations

• Hex.Conway.supportedEntry_157_3 = { poly := Hex.Conway.luebeckConwayPolynomial_157_3, prime := Hex.Conway.prime_157, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_157_3 }

def Hex.Conway.supportedEntry_199_3 : SupportedEntry 199 3

The verified table supports C(199, 3).

Equations

• Hex.Conway.supportedEntry_199_3 = { poly := Hex.Conway.luebeckConwayPolynomial_199_3, prime := Hex.Conway.prime_199, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_199_3 }

def Hex.Conway.supportedEntry_241_3 : SupportedEntry 241 3

The verified table supports C(241, 3).

Equations

• Hex.Conway.supportedEntry_241_3 = { poly := Hex.Conway.luebeckConwayPolynomial_241_3, prime := Hex.Conway.prime_241, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_241_3 }

def Hex.Conway.supportedEntry_773_3 : SupportedEntry 773 3

The verified table supports C(773, 3).

Equations

• Hex.Conway.supportedEntry_773_3 = { poly := Hex.Conway.luebeckConwayPolynomial_773_3, prime := Hex.Conway.prime_773, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_773_3 }

def Hex.Conway.supportedEntry_83_3 : SupportedEntry 83 3

The verified table supports C(83, 3).

Equations

• Hex.Conway.supportedEntry_83_3 = { poly := Hex.Conway.luebeckConwayPolynomial_83_3, prime := Hex.Conway.prime_83, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_83_3 }

def Hex.Conway.supportedEntry_127_3 : SupportedEntry 127 3

The verified table supports C(127, 3).

Equations

• Hex.Conway.supportedEntry_127_3 = { poly := Hex.Conway.luebeckConwayPolynomial_127_3, prime := Hex.Conway.prime_127, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_127_3 }

def Hex.Conway.supportedEntry_37_3 : SupportedEntry 37 3

The verified table supports C(37, 3).

Equations

• Hex.Conway.supportedEntry_37_3 = { poly := Hex.Conway.luebeckConwayPolynomial_37_3, prime := Hex.Conway.prime_37, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_37_3 }

def Hex.Conway.supportedEntry_43_3 : SupportedEntry 43 3

The verified table supports C(43, 3).

Equations

• Hex.Conway.supportedEntry_43_3 = { poly := Hex.Conway.luebeckConwayPolynomial_43_3, prime := Hex.Conway.prime_43, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_43_3 }

def Hex.Conway.supportedEntry_173_3 : SupportedEntry 173 3

The verified table supports C(173, 3).

Equations

• Hex.Conway.supportedEntry_173_3 = { poly := Hex.Conway.luebeckConwayPolynomial_173_3, prime := Hex.Conway.prime_173, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_173_3 }

def Hex.Conway.supportedEntry_23_3 : SupportedEntry 23 3

The verified table supports C(23, 3).

Equations

• Hex.Conway.supportedEntry_23_3 = { poly := Hex.Conway.luebeckConwayPolynomial_23_3, prime := Hex.Conway.prime_23, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_23_3 }

def Hex.Conway.supportedEntry_41_3 : SupportedEntry 41 3

The verified table supports C(41, 3).

Equations

• Hex.Conway.supportedEntry_41_3 = { poly := Hex.Conway.luebeckConwayPolynomial_41_3, prime := Hex.Conway.prime_41, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_41_3 }

def Hex.Conway.supportedEntry_571_2 : SupportedEntry 571 2

The verified table supports C(571, 2).

Equations

• Hex.Conway.supportedEntry_571_2 = { poly := Hex.Conway.luebeckConwayPolynomial_571_2, prime := Hex.Conway.prime_571, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_571_2 }

def Hex.Conway.supportedEntry_911_2 : SupportedEntry 911 2

The verified table supports C(911, 2).

Equations

• Hex.Conway.supportedEntry_911_2 = { poly := Hex.Conway.luebeckConwayPolynomial_911_2, prime := Hex.Conway.prime_911, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_911_2 }

def Hex.Conway.supportedEntry_569_2 : SupportedEntry 569 2

The verified table supports C(569, 2).

Equations

• Hex.Conway.supportedEntry_569_2 = { poly := Hex.Conway.luebeckConwayPolynomial_569_2, prime := Hex.Conway.prime_569, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_569_2 }

def Hex.Conway.supportedEntry_619_2 : SupportedEntry 619 2

The verified table supports C(619, 2).

Equations

• Hex.Conway.supportedEntry_619_2 = { poly := Hex.Conway.luebeckConwayPolynomial_619_2, prime := Hex.Conway.prime_619, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_619_2 }

def Hex.Conway.supportedEntry_683_2 : SupportedEntry 683 2

The verified table supports C(683, 2).

Equations

• Hex.Conway.supportedEntry_683_2 = { poly := Hex.Conway.luebeckConwayPolynomial_683_2, prime := Hex.Conway.prime_683, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_683_2 }

def Hex.Conway.supportedEntry_727_2 : SupportedEntry 727 2

The verified table supports C(727, 2).

Equations

• Hex.Conway.supportedEntry_727_2 = { poly := Hex.Conway.luebeckConwayPolynomial_727_2, prime := Hex.Conway.prime_727, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_727_2 }

def Hex.Conway.supportedEntry_769_2 : SupportedEntry 769 2

The verified table supports C(769, 2).

Equations

• Hex.Conway.supportedEntry_769_2 = { poly := Hex.Conway.luebeckConwayPolynomial_769_2, prime := Hex.Conway.prime_769, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_769_2 }

def Hex.Conway.supportedEntry_827_2 : SupportedEntry 827 2

The verified table supports C(827, 2).

Equations

• Hex.Conway.supportedEntry_827_2 = { poly := Hex.Conway.luebeckConwayPolynomial_827_2, prime := Hex.Conway.prime_827, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_827_2 }

def Hex.Conway.supportedEntry_857_2 : SupportedEntry 857 2

The verified table supports C(857, 2).

Equations

• Hex.Conway.supportedEntry_857_2 = { poly := Hex.Conway.luebeckConwayPolynomial_857_2, prime := Hex.Conway.prime_857, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_857_2 }