def Hex.Conway.supportedEntry_2_15 : SupportedEntry 2 15

The verified table supports C(2, 15).

Equations

• Hex.Conway.supportedEntry_2_15 = { poly := Hex.Conway.luebeckConwayPolynomial_2_15, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_15 }

def Hex.Conway.supportedEntry_2_11 : SupportedEntry 2 11

The verified table supports C(2, 11).

Equations

• Hex.Conway.supportedEntry_2_11 = { poly := Hex.Conway.luebeckConwayPolynomial_2_11, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_11 }

def Hex.Conway.supportedEntry_2_13 : SupportedEntry 2 13

The verified table supports C(2, 13).

Equations

• Hex.Conway.supportedEntry_2_13 = { poly := Hex.Conway.luebeckConwayPolynomial_2_13, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_13 }

def Hex.Conway.supportedEntry_281_4 : SupportedEntry 281 4

The verified table supports C(281, 4).

Equations

• Hex.Conway.supportedEntry_281_4 = { poly := Hex.Conway.luebeckConwayPolynomial_281_4, prime := Hex.Conway.prime_281, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_281_4 }

def Hex.Conway.supportedEntry_191_4 : SupportedEntry 191 4

The verified table supports C(191, 4).

Equations

• Hex.Conway.supportedEntry_191_4 = { poly := Hex.Conway.luebeckConwayPolynomial_191_4, prime := Hex.Conway.prime_191, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_191_4 }

def Hex.Conway.supportedEntry_263_4 : SupportedEntry 263 4

The verified table supports C(263, 4).

Equations

• Hex.Conway.supportedEntry_263_4 = { poly := Hex.Conway.luebeckConwayPolynomial_263_4, prime := Hex.Conway.prime_263, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_263_4 }

def Hex.Conway.supportedEntry_83_4 : SupportedEntry 83 4

The verified table supports C(83, 4).

Equations

• Hex.Conway.supportedEntry_83_4 = { poly := Hex.Conway.luebeckConwayPolynomial_83_4, prime := Hex.Conway.prime_83, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_83_4 }

def Hex.Conway.supportedEntry_137_4 : SupportedEntry 137 4

The verified table supports C(137, 4).

Equations

• Hex.Conway.supportedEntry_137_4 = { poly := Hex.Conway.luebeckConwayPolynomial_137_4, prime := Hex.Conway.prime_137, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_137_4 }

def Hex.Conway.supportedEntry_167_4 : SupportedEntry 167 4

The verified table supports C(167, 4).

Equations

• Hex.Conway.supportedEntry_167_4 = { poly := Hex.Conway.luebeckConwayPolynomial_167_4, prime := Hex.Conway.prime_167, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_167_4 }

def Hex.Conway.supportedEntry_223_4 : SupportedEntry 223 4

The verified table supports C(223, 4).

Equations

• Hex.Conway.supportedEntry_223_4 = { poly := Hex.Conway.luebeckConwayPolynomial_223_4, prime := Hex.Conway.prime_223, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_223_4 }

def Hex.Conway.supportedEntry_251_4 : SupportedEntry 251 4

The verified table supports C(251, 4).

Equations

• Hex.Conway.supportedEntry_251_4 = { poly := Hex.Conway.luebeckConwayPolynomial_251_4, prime := Hex.Conway.prime_251, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_251_4 }

def Hex.Conway.supportedEntry_67_4 : SupportedEntry 67 4

The verified table supports C(67, 4).

Equations

• Hex.Conway.supportedEntry_67_4 = { poly := Hex.Conway.luebeckConwayPolynomial_67_4, prime := Hex.Conway.prime_67, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_67_4 }

def Hex.Conway.supportedEntry_109_4 : SupportedEntry 109 4

The verified table supports C(109, 4).

Equations

• Hex.Conway.supportedEntry_109_4 = { poly := Hex.Conway.luebeckConwayPolynomial_109_4, prime := Hex.Conway.prime_109, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_109_4 }

def Hex.Conway.supportedEntry_163_4 : SupportedEntry 163 4

The verified table supports C(163, 4).

Equations

• Hex.Conway.supportedEntry_163_4 = { poly := Hex.Conway.luebeckConwayPolynomial_163_4, prime := Hex.Conway.prime_163, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_163_4 }

def Hex.Conway.supportedEntry_47_4 : SupportedEntry 47 4

The verified table supports C(47, 4).

Equations

• Hex.Conway.supportedEntry_47_4 = { poly := Hex.Conway.luebeckConwayPolynomial_47_4, prime := Hex.Conway.prime_47, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_47_4 }

def Hex.Conway.supportedEntry_101_4 : SupportedEntry 101 4

The verified table supports C(101, 4).

Equations

• Hex.Conway.supportedEntry_101_4 = { poly := Hex.Conway.luebeckConwayPolynomial_101_4, prime := Hex.Conway.prime_101, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_101_4 }

def Hex.Conway.supportedEntry_37_4 : SupportedEntry 37 4

The verified table supports C(37, 4).

Equations

• Hex.Conway.supportedEntry_37_4 = { poly := Hex.Conway.luebeckConwayPolynomial_37_4, prime := Hex.Conway.prime_37, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_37_4 }

def Hex.Conway.supportedEntry_61_4 : SupportedEntry 61 4

The verified table supports C(61, 4).

Equations

• Hex.Conway.supportedEntry_61_4 = { poly := Hex.Conway.luebeckConwayPolynomial_61_4, prime := Hex.Conway.prime_61, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_61_4 }

def Hex.Conway.supportedEntry_547_3 : SupportedEntry 547 3

The verified table supports C(547, 3).

Equations

• Hex.Conway.supportedEntry_547_3 = { poly := Hex.Conway.luebeckConwayPolynomial_547_3, prime := Hex.Conway.prime_547, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_547_3 }

def Hex.Conway.supportedEntry_811_3 : SupportedEntry 811 3

The verified table supports C(811, 3).

Equations

• Hex.Conway.supportedEntry_811_3 = { poly := Hex.Conway.luebeckConwayPolynomial_811_3, prime := Hex.Conway.prime_811, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_811_3 }

def Hex.Conway.supportedEntry_947_3 : SupportedEntry 947 3

The verified table supports C(947, 3).

Equations

• Hex.Conway.supportedEntry_947_3 = { poly := Hex.Conway.luebeckConwayPolynomial_947_3, prime := Hex.Conway.prime_947, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_947_3 }

def Hex.Conway.supportedEntry_23_4 : SupportedEntry 23 4

The verified table supports C(23, 4).

Equations

• Hex.Conway.supportedEntry_23_4 = { poly := Hex.Conway.luebeckConwayPolynomial_23_4, prime := Hex.Conway.prime_23, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_23_4 }

def Hex.Conway.supportedEntry_11_5 : SupportedEntry 11 5

The verified table supports C(11, 5).

Equations

• Hex.Conway.supportedEntry_11_5 = { poly := Hex.Conway.luebeckConwayPolynomial_11_5, prime := Hex.Conway.prime_eleven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_11_5 }

def Hex.Conway.supportedEntry_373_3 : SupportedEntry 373 3

The verified table supports C(373, 3).

Equations

• Hex.Conway.supportedEntry_373_3 = { poly := Hex.Conway.luebeckConwayPolynomial_373_3, prime := Hex.Conway.prime_373, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_373_3 }