def Hex.Conway.supportedEntry_2_12 : SupportedEntry 2 12

The verified table supports C(2, 12).

Equations

• Hex.Conway.supportedEntry_2_12 = { poly := Hex.Conway.luebeckConwayPolynomial_2_12, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_12 }

def Hex.Conway.supportedEntry_5_8 : SupportedEntry 5 8

The verified table supports C(5, 8).

Equations

• Hex.Conway.supportedEntry_5_8 = { poly := Hex.Conway.luebeckConwayPolynomial_5_8, prime := Hex.Conway.prime_five, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_5_8 }

def Hex.Conway.supportedEntry_2_10 : SupportedEntry 2 10

The verified table supports C(2, 10).

Equations

• Hex.Conway.supportedEntry_2_10 = { poly := Hex.Conway.luebeckConwayPolynomial_2_10, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_10 }

def Hex.Conway.supportedEntry_13_6 : SupportedEntry 13 6

The verified table supports C(13, 6).

Equations

• Hex.Conway.supportedEntry_13_6 = { poly := Hex.Conway.luebeckConwayPolynomial_13_6, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_6 }

def Hex.Conway.supportedEntry_293_4 : SupportedEntry 293 4

The verified table supports C(293, 4).

Equations

• Hex.Conway.supportedEntry_293_4 = { poly := Hex.Conway.luebeckConwayPolynomial_293_4, prime := Hex.Conway.prime_293, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_293_4 }

def Hex.Conway.supportedEntry_211_4 : SupportedEntry 211 4

The verified table supports C(211, 4).

Equations

• Hex.Conway.supportedEntry_211_4 = { poly := Hex.Conway.luebeckConwayPolynomial_211_4, prime := Hex.Conway.prime_211, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_211_4 }

def Hex.Conway.supportedEntry_269_4 : SupportedEntry 269 4

The verified table supports C(269, 4).

Equations

• Hex.Conway.supportedEntry_269_4 = { poly := Hex.Conway.luebeckConwayPolynomial_269_4, prime := Hex.Conway.prime_269, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_269_4 }

def Hex.Conway.supportedEntry_2_8 : SupportedEntry 2 8

The verified table supports C(2, 8).

Equations

• Hex.Conway.supportedEntry_2_8 = { poly := Hex.Conway.luebeckConwayPolynomial_2_8, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_8 }

def Hex.Conway.supportedEntry_139_4 : SupportedEntry 139 4

The verified table supports C(139, 4).

Equations

• Hex.Conway.supportedEntry_139_4 = { poly := Hex.Conway.luebeckConwayPolynomial_139_4, prime := Hex.Conway.prime_139, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_139_4 }

def Hex.Conway.supportedEntry_179_4 : SupportedEntry 179 4

The verified table supports C(179, 4).

Equations

• Hex.Conway.supportedEntry_179_4 = { poly := Hex.Conway.luebeckConwayPolynomial_179_4, prime := Hex.Conway.prime_179, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_179_4 }

def Hex.Conway.supportedEntry_227_4 : SupportedEntry 227 4

The verified table supports C(227, 4).

Equations

• Hex.Conway.supportedEntry_227_4 = { poly := Hex.Conway.luebeckConwayPolynomial_227_4, prime := Hex.Conway.prime_227, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_227_4 }

def Hex.Conway.supportedEntry_2_9 : SupportedEntry 2 9

The verified table supports C(2, 9).

Equations

• Hex.Conway.supportedEntry_2_9 = { poly := Hex.Conway.luebeckConwayPolynomial_2_9, prime := Hex.Conway.prime_two, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_2_9 }

def Hex.Conway.supportedEntry_73_4 : SupportedEntry 73 4

The verified table supports C(73, 4).

Equations

• Hex.Conway.supportedEntry_73_4 = { poly := Hex.Conway.luebeckConwayPolynomial_73_4, prime := Hex.Conway.prime_73, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_73_4 }

def Hex.Conway.supportedEntry_113_4 : SupportedEntry 113 4

The verified table supports C(113, 4).

Equations

• Hex.Conway.supportedEntry_113_4 = { poly := Hex.Conway.luebeckConwayPolynomial_113_4, prime := Hex.Conway.prime_113, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_113_4 }

def Hex.Conway.supportedEntry_193_4 : SupportedEntry 193 4

The verified table supports C(193, 4).

Equations

• Hex.Conway.supportedEntry_193_4 = { poly := Hex.Conway.luebeckConwayPolynomial_193_4, prime := Hex.Conway.prime_193, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_193_4 }

def Hex.Conway.supportedEntry_71_4 : SupportedEntry 71 4

The verified table supports C(71, 4).

Equations

• Hex.Conway.supportedEntry_71_4 = { poly := Hex.Conway.luebeckConwayPolynomial_71_4, prime := Hex.Conway.prime_71, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_71_4 }

def Hex.Conway.supportedEntry_107_4 : SupportedEntry 107 4

The verified table supports C(107, 4).

Equations

• Hex.Conway.supportedEntry_107_4 = { poly := Hex.Conway.luebeckConwayPolynomial_107_4, prime := Hex.Conway.prime_107, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_107_4 }

def Hex.Conway.supportedEntry_41_4 : SupportedEntry 41 4

The verified table supports C(41, 4).

Equations

• Hex.Conway.supportedEntry_41_4 = { poly := Hex.Conway.luebeckConwayPolynomial_41_4, prime := Hex.Conway.prime_41, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_41_4 }

def Hex.Conway.supportedEntry_571_3 : SupportedEntry 571 3

The verified table supports C(571, 3).

Equations

• Hex.Conway.supportedEntry_571_3 = { poly := Hex.Conway.luebeckConwayPolynomial_571_3, prime := Hex.Conway.prime_571, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_571_3 }

def Hex.Conway.supportedEntry_631_3 : SupportedEntry 631 3

The verified table supports C(631, 3).

Equations

• Hex.Conway.supportedEntry_631_3 = { poly := Hex.Conway.luebeckConwayPolynomial_631_3, prime := Hex.Conway.prime_631, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_631_3 }

def Hex.Conway.supportedEntry_821_3 : SupportedEntry 821 3

The verified table supports C(821, 3).

Equations

• Hex.Conway.supportedEntry_821_3 = { poly := Hex.Conway.luebeckConwayPolynomial_821_3, prime := Hex.Conway.prime_821, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_821_3 }

def Hex.Conway.supportedEntry_967_3 : SupportedEntry 967 3

The verified table supports C(967, 3).

Equations

• Hex.Conway.supportedEntry_967_3 = { poly := Hex.Conway.luebeckConwayPolynomial_967_3, prime := Hex.Conway.prime_967, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_967_3 }

def Hex.Conway.supportedEntry_29_4 : SupportedEntry 29 4

The verified table supports C(29, 4).

Equations

• Hex.Conway.supportedEntry_29_4 = { poly := Hex.Conway.luebeckConwayPolynomial_29_4, prime := Hex.Conway.prime_29, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_29_4 }

def Hex.Conway.supportedEntry_13_5 : SupportedEntry 13 5

The verified table supports C(13, 5).

Equations

• Hex.Conway.supportedEntry_13_5 = { poly := Hex.Conway.luebeckConwayPolynomial_13_5, prime := Hex.Conway.prime_thirteen, isSupported := Hex.Conway.luebeckConwayPolynomial?_hit_13_5 }