@[instance_reducible]

instance Hex.GFq.committedEntry_271_1 : CommittedEntry 271 1

Instance-selected field for C(271, 1).

Equations

• Hex.GFq.committedEntry_271_1 = { entry := Hex.Conway.supportedEntry_271_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_271_2 : CommittedEntry 271 2

Instance-selected field for C(271, 2).

Equations

• Hex.GFq.committedEntry_271_2 = { entry := Hex.Conway.supportedEntry_271_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_271_3 : CommittedEntry 271 3

Instance-selected field for C(271, 3).

Equations

• Hex.GFq.committedEntry_271_3 = { entry := Hex.Conway.supportedEntry_271_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_271_4 : CommittedEntry 271 4

Instance-selected field for C(271, 4).

Equations

• Hex.GFq.committedEntry_271_4 = { entry := Hex.Conway.supportedEntry_271_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_277_1 : CommittedEntry 277 1

Instance-selected field for C(277, 1).

Equations

• Hex.GFq.committedEntry_277_1 = { entry := Hex.Conway.supportedEntry_277_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_277_2 : CommittedEntry 277 2

Instance-selected field for C(277, 2).

Equations

• Hex.GFq.committedEntry_277_2 = { entry := Hex.Conway.supportedEntry_277_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_277_3 : CommittedEntry 277 3

Instance-selected field for C(277, 3).

Equations

• Hex.GFq.committedEntry_277_3 = { entry := Hex.Conway.supportedEntry_277_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_277_4 : CommittedEntry 277 4

Instance-selected field for C(277, 4).

Equations

• Hex.GFq.committedEntry_277_4 = { entry := Hex.Conway.supportedEntry_277_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_281_1 : CommittedEntry 281 1

Instance-selected field for C(281, 1).

Equations

• Hex.GFq.committedEntry_281_1 = { entry := Hex.Conway.supportedEntry_281_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_281_2 : CommittedEntry 281 2

Instance-selected field for C(281, 2).

Equations

• Hex.GFq.committedEntry_281_2 = { entry := Hex.Conway.supportedEntry_281_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_281_3 : CommittedEntry 281 3

Instance-selected field for C(281, 3).

Equations

• Hex.GFq.committedEntry_281_3 = { entry := Hex.Conway.supportedEntry_281_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_281_4 : CommittedEntry 281 4

Instance-selected field for C(281, 4).

Equations

• Hex.GFq.committedEntry_281_4 = { entry := Hex.Conway.supportedEntry_281_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_283_1 : CommittedEntry 283 1

Instance-selected field for C(283, 1).

Equations

• Hex.GFq.committedEntry_283_1 = { entry := Hex.Conway.supportedEntry_283_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_283_2 : CommittedEntry 283 2

Instance-selected field for C(283, 2).

Equations

• Hex.GFq.committedEntry_283_2 = { entry := Hex.Conway.supportedEntry_283_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_283_3 : CommittedEntry 283 3

Instance-selected field for C(283, 3).

Equations

• Hex.GFq.committedEntry_283_3 = { entry := Hex.Conway.supportedEntry_283_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_283_4 : CommittedEntry 283 4

Instance-selected field for C(283, 4).

Equations

• Hex.GFq.committedEntry_283_4 = { entry := Hex.Conway.supportedEntry_283_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_293_1 : CommittedEntry 293 1

Instance-selected field for C(293, 1).

Equations

• Hex.GFq.committedEntry_293_1 = { entry := Hex.Conway.supportedEntry_293_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_293_2 : CommittedEntry 293 2

Instance-selected field for C(293, 2).

Equations

• Hex.GFq.committedEntry_293_2 = { entry := Hex.Conway.supportedEntry_293_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_293_3 : CommittedEntry 293 3

Instance-selected field for C(293, 3).

Equations

• Hex.GFq.committedEntry_293_3 = { entry := Hex.Conway.supportedEntry_293_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_293_4 : CommittedEntry 293 4

Instance-selected field for C(293, 4).

Equations

• Hex.GFq.committedEntry_293_4 = { entry := Hex.Conway.supportedEntry_293_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_307_1 : CommittedEntry 307 1

Instance-selected field for C(307, 1).

Equations

• Hex.GFq.committedEntry_307_1 = { entry := Hex.Conway.supportedEntry_307_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_307_2 : CommittedEntry 307 2

Instance-selected field for C(307, 2).

Equations

• Hex.GFq.committedEntry_307_2 = { entry := Hex.Conway.supportedEntry_307_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_307_3 : CommittedEntry 307 3

Instance-selected field for C(307, 3).

Equations

• Hex.GFq.committedEntry_307_3 = { entry := Hex.Conway.supportedEntry_307_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_311_1 : CommittedEntry 311 1

Instance-selected field for C(311, 1).

Equations

• Hex.GFq.committedEntry_311_1 = { entry := Hex.Conway.supportedEntry_311_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_311_2 : CommittedEntry 311 2

Instance-selected field for C(311, 2).

Equations

• Hex.GFq.committedEntry_311_2 = { entry := Hex.Conway.supportedEntry_311_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_311_3 : CommittedEntry 311 3

Instance-selected field for C(311, 3).

Equations

• Hex.GFq.committedEntry_311_3 = { entry := Hex.Conway.supportedEntry_311_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_313_1 : CommittedEntry 313 1

Instance-selected field for C(313, 1).

Equations

• Hex.GFq.committedEntry_313_1 = { entry := Hex.Conway.supportedEntry_313_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_313_2 : CommittedEntry 313 2

Instance-selected field for C(313, 2).

Equations

• Hex.GFq.committedEntry_313_2 = { entry := Hex.Conway.supportedEntry_313_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_313_3 : CommittedEntry 313 3

Instance-selected field for C(313, 3).

Equations

• Hex.GFq.committedEntry_313_3 = { entry := Hex.Conway.supportedEntry_313_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_317_1 : CommittedEntry 317 1

Instance-selected field for C(317, 1).

Equations

• Hex.GFq.committedEntry_317_1 = { entry := Hex.Conway.supportedEntry_317_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_317_2 : CommittedEntry 317 2

Instance-selected field for C(317, 2).

Equations

• Hex.GFq.committedEntry_317_2 = { entry := Hex.Conway.supportedEntry_317_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_317_3 : CommittedEntry 317 3

Instance-selected field for C(317, 3).

Equations

• Hex.GFq.committedEntry_317_3 = { entry := Hex.Conway.supportedEntry_317_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_331_1 : CommittedEntry 331 1

Instance-selected field for C(331, 1).

Equations

• Hex.GFq.committedEntry_331_1 = { entry := Hex.Conway.supportedEntry_331_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_331_2 : CommittedEntry 331 2

Instance-selected field for C(331, 2).

Equations

• Hex.GFq.committedEntry_331_2 = { entry := Hex.Conway.supportedEntry_331_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_331_3 : CommittedEntry 331 3

Instance-selected field for C(331, 3).

Equations

• Hex.GFq.committedEntry_331_3 = { entry := Hex.Conway.supportedEntry_331_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_337_1 : CommittedEntry 337 1

Instance-selected field for C(337, 1).

Equations

• Hex.GFq.committedEntry_337_1 = { entry := Hex.Conway.supportedEntry_337_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_337_2 : CommittedEntry 337 2

Instance-selected field for C(337, 2).

Equations

• Hex.GFq.committedEntry_337_2 = { entry := Hex.Conway.supportedEntry_337_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_337_3 : CommittedEntry 337 3

Instance-selected field for C(337, 3).

Equations

• Hex.GFq.committedEntry_337_3 = { entry := Hex.Conway.supportedEntry_337_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_347_1 : CommittedEntry 347 1

Instance-selected field for C(347, 1).

Equations

• Hex.GFq.committedEntry_347_1 = { entry := Hex.Conway.supportedEntry_347_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_347_2 : CommittedEntry 347 2

Instance-selected field for C(347, 2).

Equations

• Hex.GFq.committedEntry_347_2 = { entry := Hex.Conway.supportedEntry_347_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_347_3 : CommittedEntry 347 3

Instance-selected field for C(347, 3).

Equations

• Hex.GFq.committedEntry_347_3 = { entry := Hex.Conway.supportedEntry_347_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_349_1 : CommittedEntry 349 1

Instance-selected field for C(349, 1).

Equations

• Hex.GFq.committedEntry_349_1 = { entry := Hex.Conway.supportedEntry_349_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_349_2 : CommittedEntry 349 2

Instance-selected field for C(349, 2).

Equations

• Hex.GFq.committedEntry_349_2 = { entry := Hex.Conway.supportedEntry_349_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_349_3 : CommittedEntry 349 3

Instance-selected field for C(349, 3).

Equations

• Hex.GFq.committedEntry_349_3 = { entry := Hex.Conway.supportedEntry_349_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_353_1 : CommittedEntry 353 1

Instance-selected field for C(353, 1).

Equations

• Hex.GFq.committedEntry_353_1 = { entry := Hex.Conway.supportedEntry_353_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_353_2 : CommittedEntry 353 2

Instance-selected field for C(353, 2).

Equations

• Hex.GFq.committedEntry_353_2 = { entry := Hex.Conway.supportedEntry_353_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_353_3 : CommittedEntry 353 3

Instance-selected field for C(353, 3).

Equations

• Hex.GFq.committedEntry_353_3 = { entry := Hex.Conway.supportedEntry_353_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_359_1 : CommittedEntry 359 1

Instance-selected field for C(359, 1).

Equations

• Hex.GFq.committedEntry_359_1 = { entry := Hex.Conway.supportedEntry_359_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_359_2 : CommittedEntry 359 2

Instance-selected field for C(359, 2).

Equations

• Hex.GFq.committedEntry_359_2 = { entry := Hex.Conway.supportedEntry_359_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_359_3 : CommittedEntry 359 3

Instance-selected field for C(359, 3).

Equations

• Hex.GFq.committedEntry_359_3 = { entry := Hex.Conway.supportedEntry_359_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_367_1 : CommittedEntry 367 1

Instance-selected field for C(367, 1).

Equations

• Hex.GFq.committedEntry_367_1 = { entry := Hex.Conway.supportedEntry_367_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_367_2 : CommittedEntry 367 2

Instance-selected field for C(367, 2).

Equations

• Hex.GFq.committedEntry_367_2 = { entry := Hex.Conway.supportedEntry_367_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_367_3 : CommittedEntry 367 3

Instance-selected field for C(367, 3).

Equations

• Hex.GFq.committedEntry_367_3 = { entry := Hex.Conway.supportedEntry_367_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_373_1 : CommittedEntry 373 1

Instance-selected field for C(373, 1).

Equations

• Hex.GFq.committedEntry_373_1 = { entry := Hex.Conway.supportedEntry_373_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_373_2 : CommittedEntry 373 2

Instance-selected field for C(373, 2).

Equations

• Hex.GFq.committedEntry_373_2 = { entry := Hex.Conway.supportedEntry_373_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_373_3 : CommittedEntry 373 3

Instance-selected field for C(373, 3).

Equations

• Hex.GFq.committedEntry_373_3 = { entry := Hex.Conway.supportedEntry_373_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_379_1 : CommittedEntry 379 1

Instance-selected field for C(379, 1).

Equations

• Hex.GFq.committedEntry_379_1 = { entry := Hex.Conway.supportedEntry_379_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_379_2 : CommittedEntry 379 2

Instance-selected field for C(379, 2).

Equations

• Hex.GFq.committedEntry_379_2 = { entry := Hex.Conway.supportedEntry_379_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_379_3 : CommittedEntry 379 3

Instance-selected field for C(379, 3).

Equations

• Hex.GFq.committedEntry_379_3 = { entry := Hex.Conway.supportedEntry_379_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_383_1 : CommittedEntry 383 1

Instance-selected field for C(383, 1).

Equations

• Hex.GFq.committedEntry_383_1 = { entry := Hex.Conway.supportedEntry_383_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_383_2 : CommittedEntry 383 2

Instance-selected field for C(383, 2).

Equations

• Hex.GFq.committedEntry_383_2 = { entry := Hex.Conway.supportedEntry_383_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_383_3 : CommittedEntry 383 3

Instance-selected field for C(383, 3).

Equations

• Hex.GFq.committedEntry_383_3 = { entry := Hex.Conway.supportedEntry_383_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_389_1 : CommittedEntry 389 1

Instance-selected field for C(389, 1).

Equations

• Hex.GFq.committedEntry_389_1 = { entry := Hex.Conway.supportedEntry_389_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_389_2 : CommittedEntry 389 2

Instance-selected field for C(389, 2).

Equations

• Hex.GFq.committedEntry_389_2 = { entry := Hex.Conway.supportedEntry_389_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_389_3 : CommittedEntry 389 3

Instance-selected field for C(389, 3).

Equations

• Hex.GFq.committedEntry_389_3 = { entry := Hex.Conway.supportedEntry_389_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_397_1 : CommittedEntry 397 1

Instance-selected field for C(397, 1).

Equations

• Hex.GFq.committedEntry_397_1 = { entry := Hex.Conway.supportedEntry_397_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_397_2 : CommittedEntry 397 2

Instance-selected field for C(397, 2).

Equations

• Hex.GFq.committedEntry_397_2 = { entry := Hex.Conway.supportedEntry_397_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_397_3 : CommittedEntry 397 3

Instance-selected field for C(397, 3).

Equations

• Hex.GFq.committedEntry_397_3 = { entry := Hex.Conway.supportedEntry_397_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_401_1 : CommittedEntry 401 1

Instance-selected field for C(401, 1).

Equations

• Hex.GFq.committedEntry_401_1 = { entry := Hex.Conway.supportedEntry_401_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_401_2 : CommittedEntry 401 2

Instance-selected field for C(401, 2).

Equations

• Hex.GFq.committedEntry_401_2 = { entry := Hex.Conway.supportedEntry_401_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_401_3 : CommittedEntry 401 3

Instance-selected field for C(401, 3).

Equations

• Hex.GFq.committedEntry_401_3 = { entry := Hex.Conway.supportedEntry_401_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_409_1 : CommittedEntry 409 1

Instance-selected field for C(409, 1).

Equations

• Hex.GFq.committedEntry_409_1 = { entry := Hex.Conway.supportedEntry_409_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_409_2 : CommittedEntry 409 2

Instance-selected field for C(409, 2).

Equations

• Hex.GFq.committedEntry_409_2 = { entry := Hex.Conway.supportedEntry_409_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_409_3 : CommittedEntry 409 3

Instance-selected field for C(409, 3).

Equations

• Hex.GFq.committedEntry_409_3 = { entry := Hex.Conway.supportedEntry_409_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_419_1 : CommittedEntry 419 1

Instance-selected field for C(419, 1).

Equations

• Hex.GFq.committedEntry_419_1 = { entry := Hex.Conway.supportedEntry_419_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_419_2 : CommittedEntry 419 2

Instance-selected field for C(419, 2).

Equations

• Hex.GFq.committedEntry_419_2 = { entry := Hex.Conway.supportedEntry_419_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_419_3 : CommittedEntry 419 3

Instance-selected field for C(419, 3).

Equations

• Hex.GFq.committedEntry_419_3 = { entry := Hex.Conway.supportedEntry_419_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_421_1 : CommittedEntry 421 1

Instance-selected field for C(421, 1).

Equations

• Hex.GFq.committedEntry_421_1 = { entry := Hex.Conway.supportedEntry_421_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_421_2 : CommittedEntry 421 2

Instance-selected field for C(421, 2).

Equations

• Hex.GFq.committedEntry_421_2 = { entry := Hex.Conway.supportedEntry_421_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_421_3 : CommittedEntry 421 3

Instance-selected field for C(421, 3).

Equations

• Hex.GFq.committedEntry_421_3 = { entry := Hex.Conway.supportedEntry_421_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_431_1 : CommittedEntry 431 1

Instance-selected field for C(431, 1).

Equations

• Hex.GFq.committedEntry_431_1 = { entry := Hex.Conway.supportedEntry_431_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_431_2 : CommittedEntry 431 2

Instance-selected field for C(431, 2).

Equations

• Hex.GFq.committedEntry_431_2 = { entry := Hex.Conway.supportedEntry_431_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_431_3 : CommittedEntry 431 3

Instance-selected field for C(431, 3).

Equations

• Hex.GFq.committedEntry_431_3 = { entry := Hex.Conway.supportedEntry_431_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_433_1 : CommittedEntry 433 1

Instance-selected field for C(433, 1).

Equations

• Hex.GFq.committedEntry_433_1 = { entry := Hex.Conway.supportedEntry_433_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_433_2 : CommittedEntry 433 2

Instance-selected field for C(433, 2).

Equations

• Hex.GFq.committedEntry_433_2 = { entry := Hex.Conway.supportedEntry_433_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_433_3 : CommittedEntry 433 3

Instance-selected field for C(433, 3).

Equations

• Hex.GFq.committedEntry_433_3 = { entry := Hex.Conway.supportedEntry_433_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_439_1 : CommittedEntry 439 1

Instance-selected field for C(439, 1).

Equations

• Hex.GFq.committedEntry_439_1 = { entry := Hex.Conway.supportedEntry_439_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_439_2 : CommittedEntry 439 2

Instance-selected field for C(439, 2).

Equations

• Hex.GFq.committedEntry_439_2 = { entry := Hex.Conway.supportedEntry_439_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_439_3 : CommittedEntry 439 3

Instance-selected field for C(439, 3).

Equations

• Hex.GFq.committedEntry_439_3 = { entry := Hex.Conway.supportedEntry_439_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_443_1 : CommittedEntry 443 1

Instance-selected field for C(443, 1).

Equations

• Hex.GFq.committedEntry_443_1 = { entry := Hex.Conway.supportedEntry_443_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_443_2 : CommittedEntry 443 2

Instance-selected field for C(443, 2).

Equations

• Hex.GFq.committedEntry_443_2 = { entry := Hex.Conway.supportedEntry_443_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_443_3 : CommittedEntry 443 3

Instance-selected field for C(443, 3).

Equations

• Hex.GFq.committedEntry_443_3 = { entry := Hex.Conway.supportedEntry_443_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_449_1 : CommittedEntry 449 1

Instance-selected field for C(449, 1).

Equations

• Hex.GFq.committedEntry_449_1 = { entry := Hex.Conway.supportedEntry_449_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_449_2 : CommittedEntry 449 2

Instance-selected field for C(449, 2).

Equations

• Hex.GFq.committedEntry_449_2 = { entry := Hex.Conway.supportedEntry_449_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_449_3 : CommittedEntry 449 3

Instance-selected field for C(449, 3).

Equations

• Hex.GFq.committedEntry_449_3 = { entry := Hex.Conway.supportedEntry_449_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_457_1 : CommittedEntry 457 1

Instance-selected field for C(457, 1).

Equations

• Hex.GFq.committedEntry_457_1 = { entry := Hex.Conway.supportedEntry_457_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_457_2 : CommittedEntry 457 2

Instance-selected field for C(457, 2).

Equations

• Hex.GFq.committedEntry_457_2 = { entry := Hex.Conway.supportedEntry_457_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_457_3 : CommittedEntry 457 3

Instance-selected field for C(457, 3).

Equations

• Hex.GFq.committedEntry_457_3 = { entry := Hex.Conway.supportedEntry_457_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_461_1 : CommittedEntry 461 1

Instance-selected field for C(461, 1).

Equations

• Hex.GFq.committedEntry_461_1 = { entry := Hex.Conway.supportedEntry_461_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_461_2 : CommittedEntry 461 2

Instance-selected field for C(461, 2).

Equations

• Hex.GFq.committedEntry_461_2 = { entry := Hex.Conway.supportedEntry_461_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_461_3 : CommittedEntry 461 3

Instance-selected field for C(461, 3).

Equations

• Hex.GFq.committedEntry_461_3 = { entry := Hex.Conway.supportedEntry_461_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_463_1 : CommittedEntry 463 1

Instance-selected field for C(463, 1).

Equations

• Hex.GFq.committedEntry_463_1 = { entry := Hex.Conway.supportedEntry_463_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_463_2 : CommittedEntry 463 2

Instance-selected field for C(463, 2).

Equations

• Hex.GFq.committedEntry_463_2 = { entry := Hex.Conway.supportedEntry_463_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_463_3 : CommittedEntry 463 3

Instance-selected field for C(463, 3).

Equations

• Hex.GFq.committedEntry_463_3 = { entry := Hex.Conway.supportedEntry_463_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_467_1 : CommittedEntry 467 1

Instance-selected field for C(467, 1).

Equations

• Hex.GFq.committedEntry_467_1 = { entry := Hex.Conway.supportedEntry_467_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_467_2 : CommittedEntry 467 2

Instance-selected field for C(467, 2).

Equations

• Hex.GFq.committedEntry_467_2 = { entry := Hex.Conway.supportedEntry_467_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_467_3 : CommittedEntry 467 3

Instance-selected field for C(467, 3).

Equations

• Hex.GFq.committedEntry_467_3 = { entry := Hex.Conway.supportedEntry_467_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_479_1 : CommittedEntry 479 1

Instance-selected field for C(479, 1).

Equations

• Hex.GFq.committedEntry_479_1 = { entry := Hex.Conway.supportedEntry_479_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_479_2 : CommittedEntry 479 2

Instance-selected field for C(479, 2).

Equations

• Hex.GFq.committedEntry_479_2 = { entry := Hex.Conway.supportedEntry_479_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_479_3 : CommittedEntry 479 3

Instance-selected field for C(479, 3).

Equations

• Hex.GFq.committedEntry_479_3 = { entry := Hex.Conway.supportedEntry_479_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_487_1 : CommittedEntry 487 1

Instance-selected field for C(487, 1).

Equations

• Hex.GFq.committedEntry_487_1 = { entry := Hex.Conway.supportedEntry_487_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_487_2 : CommittedEntry 487 2

Instance-selected field for C(487, 2).

Equations

• Hex.GFq.committedEntry_487_2 = { entry := Hex.Conway.supportedEntry_487_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_487_3 : CommittedEntry 487 3

Instance-selected field for C(487, 3).

Equations

• Hex.GFq.committedEntry_487_3 = { entry := Hex.Conway.supportedEntry_487_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_491_1 : CommittedEntry 491 1

Instance-selected field for C(491, 1).

Equations

• Hex.GFq.committedEntry_491_1 = { entry := Hex.Conway.supportedEntry_491_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_491_2 : CommittedEntry 491 2

Instance-selected field for C(491, 2).

Equations

• Hex.GFq.committedEntry_491_2 = { entry := Hex.Conway.supportedEntry_491_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_491_3 : CommittedEntry 491 3

Instance-selected field for C(491, 3).

Equations

• Hex.GFq.committedEntry_491_3 = { entry := Hex.Conway.supportedEntry_491_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_499_1 : CommittedEntry 499 1

Instance-selected field for C(499, 1).

Equations

• Hex.GFq.committedEntry_499_1 = { entry := Hex.Conway.supportedEntry_499_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_499_2 : CommittedEntry 499 2

Instance-selected field for C(499, 2).

Equations

• Hex.GFq.committedEntry_499_2 = { entry := Hex.Conway.supportedEntry_499_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_499_3 : CommittedEntry 499 3

Instance-selected field for C(499, 3).

Equations

• Hex.GFq.committedEntry_499_3 = { entry := Hex.Conway.supportedEntry_499_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_503_1 : CommittedEntry 503 1

Instance-selected field for C(503, 1).

Equations

• Hex.GFq.committedEntry_503_1 = { entry := Hex.Conway.supportedEntry_503_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_503_2 : CommittedEntry 503 2

Instance-selected field for C(503, 2).

Equations

• Hex.GFq.committedEntry_503_2 = { entry := Hex.Conway.supportedEntry_503_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_503_3 : CommittedEntry 503 3

Instance-selected field for C(503, 3).

Equations

• Hex.GFq.committedEntry_503_3 = { entry := Hex.Conway.supportedEntry_503_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_509_1 : CommittedEntry 509 1

Instance-selected field for C(509, 1).

Equations

• Hex.GFq.committedEntry_509_1 = { entry := Hex.Conway.supportedEntry_509_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_509_2 : CommittedEntry 509 2

Instance-selected field for C(509, 2).

Equations

• Hex.GFq.committedEntry_509_2 = { entry := Hex.Conway.supportedEntry_509_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_509_3 : CommittedEntry 509 3

Instance-selected field for C(509, 3).

Equations

• Hex.GFq.committedEntry_509_3 = { entry := Hex.Conway.supportedEntry_509_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_521_1 : CommittedEntry 521 1

Instance-selected field for C(521, 1).

Equations

• Hex.GFq.committedEntry_521_1 = { entry := Hex.Conway.supportedEntry_521_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_521_2 : CommittedEntry 521 2

Instance-selected field for C(521, 2).

Equations

• Hex.GFq.committedEntry_521_2 = { entry := Hex.Conway.supportedEntry_521_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_521_3 : CommittedEntry 521 3

Instance-selected field for C(521, 3).

Equations

• Hex.GFq.committedEntry_521_3 = { entry := Hex.Conway.supportedEntry_521_3 }