def Hex.Conway.supportedEntry_257_2 : SupportedEntry 257 2

The verified table supports C(257, 2).

Equations

• Hex.Conway.supportedEntry_257_2 = { poly := Hex.Conway.luebeckConwayPolynomial_257_2, prime := Hex.Conway.prime_257, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_257_2 }

def Hex.Conway.supportedEntry_487_2 : SupportedEntry 487 2

The verified table supports C(487, 2).

Equations

• Hex.Conway.supportedEntry_487_2 = { poly := Hex.Conway.luebeckConwayPolynomial_487_2, prime := Hex.Conway.prime_487, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_487_2 }

def Hex.Conway.supportedEntry_73_2 : SupportedEntry 73 2

The verified table supports C(73, 2).

Equations

• Hex.Conway.supportedEntry_73_2 = { poly := Hex.Conway.luebeckConwayPolynomial_73_2, prime := Hex.Conway.prime_73, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_73_2 }

def Hex.Conway.supportedEntry_97_2 : SupportedEntry 97 2

The verified table supports C(97, 2).

Equations

• Hex.Conway.supportedEntry_97_2 = { poly := Hex.Conway.luebeckConwayPolynomial_97_2, prime := Hex.Conway.prime_97, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_97_2 }

def Hex.Conway.supportedEntry_29_2 : SupportedEntry 29 2

The verified table supports C(29, 2).

Equations

• Hex.Conway.supportedEntry_29_2 = { poly := Hex.Conway.luebeckConwayPolynomial_29_2, prime := Hex.Conway.prime_29, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_29_2 }

def Hex.Conway.supportedEntry_3_3 : SupportedEntry 3 3

The verified table supports C(3, 3).

Equations

• Hex.Conway.supportedEntry_3_3 = { poly := Hex.Conway.luebeckConwayPolynomial_3_3, prime := Hex.Conway.prime_three, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_3_3 }

def Hex.Conway.supportedEntry_17_2 : SupportedEntry 17 2

The verified table supports C(17, 2).

Equations

• Hex.Conway.supportedEntry_17_2 = { poly := Hex.Conway.luebeckConwayPolynomial_17_2, prime := Hex.Conway.prime_17, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_17_2 }

def Hex.Conway.supportedEntry_7_2 : SupportedEntry 7 2

The verified table supports C(7, 2).

Equations

• Hex.Conway.supportedEntry_7_2 = { poly := Hex.Conway.luebeckConwayPolynomial_7_2, prime := Hex.Conway.prime_seven, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_7_2 }

def Hex.Conway.supportedEntry_661_1 : SupportedEntry 661 1

The verified table supports C(661, 1).

Equations

• Hex.Conway.supportedEntry_661_1 = { poly := Hex.Conway.luebeckConwayPolynomial_661_1, prime := Hex.Conway.prime_661, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_661_1 }

def Hex.Conway.supportedEntry_967_1 : SupportedEntry 967 1

The verified table supports C(967, 1).

Equations

• Hex.Conway.supportedEntry_967_1 = { poly := Hex.Conway.luebeckConwayPolynomial_967_1, prime := Hex.Conway.prime_967, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_967_1 }

def Hex.Conway.supportedEntry_463_1 : SupportedEntry 463 1

The verified table supports C(463, 1).

Equations

• Hex.Conway.supportedEntry_463_1 = { poly := Hex.Conway.luebeckConwayPolynomial_463_1, prime := Hex.Conway.prime_463, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_463_1 }

def Hex.Conway.supportedEntry_601_1 : SupportedEntry 601 1

The verified table supports C(601, 1).

Equations

• Hex.Conway.supportedEntry_601_1 = { poly := Hex.Conway.luebeckConwayPolynomial_601_1, prime := Hex.Conway.prime_601, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_601_1 }

def Hex.Conway.supportedEntry_619_1 : SupportedEntry 619 1

The verified table supports C(619, 1).

Equations

• Hex.Conway.supportedEntry_619_1 = { poly := Hex.Conway.luebeckConwayPolynomial_619_1, prime := Hex.Conway.prime_619, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_619_1 }

def Hex.Conway.supportedEntry_673_1 : SupportedEntry 673 1

The verified table supports C(673, 1).

Equations

• Hex.Conway.supportedEntry_673_1 = { poly := Hex.Conway.luebeckConwayPolynomial_673_1, prime := Hex.Conway.prime_673, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_673_1 }

def Hex.Conway.supportedEntry_727_1 : SupportedEntry 727 1

The verified table supports C(727, 1).

Equations

• Hex.Conway.supportedEntry_727_1 = { poly := Hex.Conway.luebeckConwayPolynomial_727_1, prime := Hex.Conway.prime_727, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_727_1 }

def Hex.Conway.supportedEntry_751_1 : SupportedEntry 751 1

The verified table supports C(751, 1).

Equations

• Hex.Conway.supportedEntry_751_1 = { poly := Hex.Conway.luebeckConwayPolynomial_751_1, prime := Hex.Conway.prime_751, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_751_1 }

def Hex.Conway.supportedEntry_811_1 : SupportedEntry 811 1

The verified table supports C(811, 1).

Equations

• Hex.Conway.supportedEntry_811_1 = { poly := Hex.Conway.luebeckConwayPolynomial_811_1, prime := Hex.Conway.prime_811, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_811_1 }

def Hex.Conway.supportedEntry_829_1 : SupportedEntry 829 1

The verified table supports C(829, 1).

Equations

• Hex.Conway.supportedEntry_829_1 = { poly := Hex.Conway.luebeckConwayPolynomial_829_1, prime := Hex.Conway.prime_829, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_829_1 }

def Hex.Conway.supportedEntry_883_1 : SupportedEntry 883 1

The verified table supports C(883, 1).

Equations

• Hex.Conway.supportedEntry_883_1 = { poly := Hex.Conway.luebeckConwayPolynomial_883_1, prime := Hex.Conway.prime_883, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_883_1 }

def Hex.Conway.supportedEntry_941_1 : SupportedEntry 941 1

The verified table supports C(941, 1).

Equations

• Hex.Conway.supportedEntry_941_1 = { poly := Hex.Conway.luebeckConwayPolynomial_941_1, prime := Hex.Conway.prime_941, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_941_1 }

def Hex.Conway.supportedEntry_997_1 : SupportedEntry 997 1

The verified table supports C(997, 1).

Equations

• Hex.Conway.supportedEntry_997_1 = { poly := Hex.Conway.luebeckConwayPolynomial_997_1, prime := Hex.Conway.prime_997, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_997_1 }

def Hex.Conway.supportedEntry_283_1 : SupportedEntry 283 1

The verified table supports C(283, 1).

Equations

• Hex.Conway.supportedEntry_283_1 = { poly := Hex.Conway.luebeckConwayPolynomial_283_1, prime := Hex.Conway.prime_283, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_283_1 }

def Hex.Conway.supportedEntry_337_1 : SupportedEntry 337 1

The verified table supports C(337, 1).

Equations

• Hex.Conway.supportedEntry_337_1 = { poly := Hex.Conway.luebeckConwayPolynomial_337_1, prime := Hex.Conway.prime_337, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_337_1 }

def Hex.Conway.supportedEntry_379_1 : SupportedEntry 379 1

The verified table supports C(379, 1).

Equations

• Hex.Conway.supportedEntry_379_1 = { poly := Hex.Conway.luebeckConwayPolynomial_379_1, prime := Hex.Conway.prime_379, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_379_1 }