def Hex.Conway.supportedEntry_929_2 : SupportedEntry 929 2

The verified table supports C(929, 2).

Equations

• Hex.Conway.supportedEntry_929_2 = { poly := Hex.Conway.luebeckConwayPolynomial_929_2, prime := Hex.Conway.prime_929, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_929_2 }

def Hex.Conway.supportedEntry_953_2 : SupportedEntry 953 2

The verified table supports C(953, 2).

Equations

• Hex.Conway.supportedEntry_953_2 = { poly := Hex.Conway.luebeckConwayPolynomial_953_2, prime := Hex.Conway.prime_953, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_953_2 }

def Hex.Conway.supportedEntry_307_2 : SupportedEntry 307 2

The verified table supports C(307, 2).

Equations

• Hex.Conway.supportedEntry_307_2 = { poly := Hex.Conway.luebeckConwayPolynomial_307_2, prime := Hex.Conway.prime_307, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_307_2 }

def Hex.Conway.supportedEntry_349_2 : SupportedEntry 349 2

The verified table supports C(349, 2).

Equations

• Hex.Conway.supportedEntry_349_2 = { poly := Hex.Conway.luebeckConwayPolynomial_349_2, prime := Hex.Conway.prime_349, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_349_2 }

def Hex.Conway.supportedEntry_409_2 : SupportedEntry 409 2

The verified table supports C(409, 2).

Equations

• Hex.Conway.supportedEntry_409_2 = { poly := Hex.Conway.luebeckConwayPolynomial_409_2, prime := Hex.Conway.prime_409, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_409_2 }

def Hex.Conway.supportedEntry_463_2 : SupportedEntry 463 2

The verified table supports C(463, 2).

Equations

• Hex.Conway.supportedEntry_463_2 = { poly := Hex.Conway.luebeckConwayPolynomial_463_2, prime := Hex.Conway.prime_463, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_463_2 }

def Hex.Conway.supportedEntry_131_2 : SupportedEntry 131 2

The verified table supports C(131, 2).

Equations

• Hex.Conway.supportedEntry_131_2 = { poly := Hex.Conway.luebeckConwayPolynomial_131_2, prime := Hex.Conway.prime_131, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_131_2 }

def Hex.Conway.supportedEntry_181_2 : SupportedEntry 181 2

The verified table supports C(181, 2).

Equations

• Hex.Conway.supportedEntry_181_2 = { poly := Hex.Conway.luebeckConwayPolynomial_181_2, prime := Hex.Conway.prime_181, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_181_2 }

def Hex.Conway.supportedEntry_523_2 : SupportedEntry 523 2

The verified table supports C(523, 2).

Equations

• Hex.Conway.supportedEntry_523_2 = { poly := Hex.Conway.luebeckConwayPolynomial_523_2, prime := Hex.Conway.prime_523, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_523_2 }

def Hex.Conway.supportedEntry_587_2 : SupportedEntry 587 2

The verified table supports C(587, 2).

Equations

• Hex.Conway.supportedEntry_587_2 = { poly := Hex.Conway.luebeckConwayPolynomial_587_2, prime := Hex.Conway.prime_587, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_587_2 }

def Hex.Conway.supportedEntry_641_2 : SupportedEntry 641 2

The verified table supports C(641, 2).

Equations

• Hex.Conway.supportedEntry_641_2 = { poly := Hex.Conway.luebeckConwayPolynomial_641_2, prime := Hex.Conway.prime_641, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_641_2 }

def Hex.Conway.supportedEntry_677_2 : SupportedEntry 677 2

The verified table supports C(677, 2).

Equations

• Hex.Conway.supportedEntry_677_2 = { poly := Hex.Conway.luebeckConwayPolynomial_677_2, prime := Hex.Conway.prime_677, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_677_2 }

def Hex.Conway.supportedEntry_757_2 : SupportedEntry 757 2

The verified table supports C(757, 2).

Equations

• Hex.Conway.supportedEntry_757_2 = { poly := Hex.Conway.luebeckConwayPolynomial_757_2, prime := Hex.Conway.prime_757, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_757_2 }

def Hex.Conway.supportedEntry_823_2 : SupportedEntry 823 2

The verified table supports C(823, 2).

Equations

• Hex.Conway.supportedEntry_823_2 = { poly := Hex.Conway.luebeckConwayPolynomial_823_2, prime := Hex.Conway.prime_823, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_823_2 }

def Hex.Conway.supportedEntry_971_2 : SupportedEntry 971 2

The verified table supports C(971, 2).

Equations

• Hex.Conway.supportedEntry_971_2 = { poly := Hex.Conway.luebeckConwayPolynomial_971_2, prime := Hex.Conway.prime_971, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_971_2 }

def Hex.Conway.supportedEntry_263_2 : SupportedEntry 263 2

The verified table supports C(263, 2).

Equations

• Hex.Conway.supportedEntry_263_2 = { poly := Hex.Conway.luebeckConwayPolynomial_263_2, prime := Hex.Conway.prime_263, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_263_2 }

def Hex.Conway.supportedEntry_283_2 : SupportedEntry 283 2

The verified table supports C(283, 2).

Equations

• Hex.Conway.supportedEntry_283_2 = { poly := Hex.Conway.luebeckConwayPolynomial_283_2, prime := Hex.Conway.prime_283, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_283_2 }

def Hex.Conway.supportedEntry_337_2 : SupportedEntry 337 2

The verified table supports C(337, 2).

Equations

• Hex.Conway.supportedEntry_337_2 = { poly := Hex.Conway.luebeckConwayPolynomial_337_2, prime := Hex.Conway.prime_337, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_337_2 }

def Hex.Conway.supportedEntry_367_2 : SupportedEntry 367 2

The verified table supports C(367, 2).

Equations

• Hex.Conway.supportedEntry_367_2 = { poly := Hex.Conway.luebeckConwayPolynomial_367_2, prime := Hex.Conway.prime_367, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_367_2 }

def Hex.Conway.supportedEntry_433_2 : SupportedEntry 433 2

The verified table supports C(433, 2).

Equations

• Hex.Conway.supportedEntry_433_2 = { poly := Hex.Conway.luebeckConwayPolynomial_433_2, prime := Hex.Conway.prime_433, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_433_2 }

def Hex.Conway.supportedEntry_479_2 : SupportedEntry 479 2

The verified table supports C(479, 2).

Equations

• Hex.Conway.supportedEntry_479_2 = { poly := Hex.Conway.luebeckConwayPolynomial_479_2, prime := Hex.Conway.prime_479, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_479_2 }

def Hex.Conway.supportedEntry_2_4 : SupportedEntry 2 4

The verified table supports C(2, 4).

Equations

• Hex.Conway.supportedEntry_2_4 = { poly := Hex.Conway.luebeckConwayPolynomial_2_4, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_4 }

def Hex.Conway.supportedEntry_151_2 : SupportedEntry 151 2

The verified table supports C(151, 2).

Equations

• Hex.Conway.supportedEntry_151_2 = { poly := Hex.Conway.luebeckConwayPolynomial_151_2, prime := Hex.Conway.prime_151, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_151_2 }

def Hex.Conway.supportedEntry_179_2 : SupportedEntry 179 2

The verified table supports C(179, 2).

Equations

• Hex.Conway.supportedEntry_179_2 = { poly := Hex.Conway.luebeckConwayPolynomial_179_2, prime := Hex.Conway.prime_179, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_179_2 }