def Hex.Conway.supportedEntry_2_5 : SupportedEntry 2 5

The verified table supports C(2, 5).

Equations

• Hex.Conway.supportedEntry_2_5 = { poly := Hex.Conway.luebeckConwayPolynomial_2_5, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_5 }

def Hex.Conway.supportedEntry_67_2 : SupportedEntry 67 2

The verified table supports C(67, 2).

Equations

• Hex.Conway.supportedEntry_67_2 = { poly := Hex.Conway.luebeckConwayPolynomial_67_2, prime := Hex.Conway.prime_67, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_67_2 }

def Hex.Conway.supportedEntry_83_2 : SupportedEntry 83 2

The verified table supports C(83, 2).

Equations

• Hex.Conway.supportedEntry_83_2 = { poly := Hex.Conway.luebeckConwayPolynomial_83_2, prime := Hex.Conway.prime_83, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_83_2 }

def Hex.Conway.supportedEntry_109_2 : SupportedEntry 109 2

The verified table supports C(109, 2).

Equations

• Hex.Conway.supportedEntry_109_2 = { poly := Hex.Conway.luebeckConwayPolynomial_109_2, prime := Hex.Conway.prime_109, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_109_2 }

def Hex.Conway.supportedEntry_41_2 : SupportedEntry 41 2

The verified table supports C(41, 2).

Equations

• Hex.Conway.supportedEntry_41_2 = { poly := Hex.Conway.luebeckConwayPolynomial_41_2, prime := Hex.Conway.prime_41, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_41_2 }

def Hex.Conway.supportedEntry_61_2 : SupportedEntry 61 2

The verified table supports C(61, 2).

Equations

• Hex.Conway.supportedEntry_61_2 = { poly := Hex.Conway.luebeckConwayPolynomial_61_2, prime := Hex.Conway.prime_61, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_61_2 }

def Hex.Conway.supportedEntry_107_2 : SupportedEntry 107 2

The verified table supports C(107, 2).

Equations

• Hex.Conway.supportedEntry_107_2 = { poly := Hex.Conway.luebeckConwayPolynomial_107_2, prime := Hex.Conway.prime_107, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_107_2 }

def Hex.Conway.supportedEntry_47_2 : SupportedEntry 47 2

The verified table supports C(47, 2).

Equations

• Hex.Conway.supportedEntry_47_2 = { poly := Hex.Conway.luebeckConwayPolynomial_47_2, prime := Hex.Conway.prime_47, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_47_2 }

def Hex.Conway.supportedEntry_23_2 : SupportedEntry 23 2

The verified table supports C(23, 2).

Equations

• Hex.Conway.supportedEntry_23_2 = { poly := Hex.Conway.luebeckConwayPolynomial_23_2, prime := Hex.Conway.prime_23, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_23_2 }

def Hex.Conway.supportedEntry_13_2 : SupportedEntry 13 2

The verified table supports C(13, 2).

Equations

• Hex.Conway.supportedEntry_13_2 = { poly := Hex.Conway.luebeckConwayPolynomial_13_2, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_2 }

def Hex.Conway.supportedEntry_571_1 : SupportedEntry 571 1

The verified table supports C(571, 1).

Equations

• Hex.Conway.supportedEntry_571_1 = { poly := Hex.Conway.luebeckConwayPolynomial_571_1, prime := Hex.Conway.prime_571, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_571_1 }

def Hex.Conway.supportedEntry_859_1 : SupportedEntry 859 1

The verified table supports C(859, 1).

Equations

• Hex.Conway.supportedEntry_859_1 = { poly := Hex.Conway.luebeckConwayPolynomial_859_1, prime := Hex.Conway.prime_859, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_859_1 }

def Hex.Conway.supportedEntry_331_1 : SupportedEntry 331 1

The verified table supports C(331, 1).

Equations

• Hex.Conway.supportedEntry_331_1 = { poly := Hex.Conway.luebeckConwayPolynomial_331_1, prime := Hex.Conway.prime_331, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_331_1 }

def Hex.Conway.supportedEntry_211_1 : SupportedEntry 211 1

The verified table supports C(211, 1).

Equations

• Hex.Conway.supportedEntry_211_1 = { poly := Hex.Conway.luebeckConwayPolynomial_211_1, prime := Hex.Conway.prime_211, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_211_1 }

def Hex.Conway.supportedEntry_541_1 : SupportedEntry 541 1

The verified table supports C(541, 1).

Equations

• Hex.Conway.supportedEntry_541_1 = { poly := Hex.Conway.luebeckConwayPolynomial_541_1, prime := Hex.Conway.prime_541, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_541_1 }

def Hex.Conway.supportedEntry_613_1 : SupportedEntry 613 1

The verified table supports C(613, 1).

Equations

• Hex.Conway.supportedEntry_613_1 = { poly := Hex.Conway.luebeckConwayPolynomial_613_1, prime := Hex.Conway.prime_613, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_613_1 }

def Hex.Conway.supportedEntry_647_1 : SupportedEntry 647 1

The verified table supports C(647, 1).

Equations

• Hex.Conway.supportedEntry_647_1 = { poly := Hex.Conway.luebeckConwayPolynomial_647_1, prime := Hex.Conway.prime_647, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_647_1 }

def Hex.Conway.supportedEntry_701_1 : SupportedEntry 701 1

The verified table supports C(701, 1).

Equations

• Hex.Conway.supportedEntry_701_1 = { poly := Hex.Conway.luebeckConwayPolynomial_701_1, prime := Hex.Conway.prime_701, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_701_1 }

def Hex.Conway.supportedEntry_739_1 : SupportedEntry 739 1

The verified table supports C(739, 1).

Equations

• Hex.Conway.supportedEntry_739_1 = { poly := Hex.Conway.luebeckConwayPolynomial_739_1, prime := Hex.Conway.prime_739, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_739_1 }

def Hex.Conway.supportedEntry_761_1 : SupportedEntry 761 1

The verified table supports C(761, 1).

Equations

• Hex.Conway.supportedEntry_761_1 = { poly := Hex.Conway.luebeckConwayPolynomial_761_1, prime := Hex.Conway.prime_761, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_761_1 }

def Hex.Conway.supportedEntry_823_1 : SupportedEntry 823 1

The verified table supports C(823, 1).

Equations

• Hex.Conway.supportedEntry_823_1 = { poly := Hex.Conway.luebeckConwayPolynomial_823_1, prime := Hex.Conway.prime_823, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_823_1 }

def Hex.Conway.supportedEntry_877_1 : SupportedEntry 877 1

The verified table supports C(877, 1).

Equations

• Hex.Conway.supportedEntry_877_1 = { poly := Hex.Conway.luebeckConwayPolynomial_877_1, prime := Hex.Conway.prime_877, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_877_1 }

def Hex.Conway.supportedEntry_919_1 : SupportedEntry 919 1

The verified table supports C(919, 1).

Equations

• Hex.Conway.supportedEntry_919_1 = { poly := Hex.Conway.luebeckConwayPolynomial_919_1, prime := Hex.Conway.prime_919, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_919_1 }

def Hex.Conway.supportedEntry_953_1 : SupportedEntry 953 1

The verified table supports C(953, 1).

Equations

• Hex.Conway.supportedEntry_953_1 = { poly := Hex.Conway.luebeckConwayPolynomial_953_1, prime := Hex.Conway.prime_953, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_953_1 }