@[instance_reducible]

instance Hex.GFq.committedEntry_2_1 : CommittedEntry 2 1

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

Equations

• Hex.GFq.committedEntry_2_1 = { entry := Hex.Conway.supportedEntry_2_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_2 : CommittedEntry 2 2

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

Equations

• Hex.GFq.committedEntry_2_2 = { entry := Hex.Conway.supportedEntry_2_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_3 : CommittedEntry 2 3

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

Equations

• Hex.GFq.committedEntry_2_3 = { entry := Hex.Conway.supportedEntry_2_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_4 : CommittedEntry 2 4

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

Equations

• Hex.GFq.committedEntry_2_4 = { entry := Hex.Conway.supportedEntry_2_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_5 : CommittedEntry 2 5

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

Equations

• Hex.GFq.committedEntry_2_5 = { entry := Hex.Conway.supportedEntry_2_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_6 : CommittedEntry 2 6

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

Equations

• Hex.GFq.committedEntry_2_6 = { entry := Hex.Conway.supportedEntry_2_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_7 : CommittedEntry 2 7

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

Equations

• Hex.GFq.committedEntry_2_7 = { entry := Hex.Conway.supportedEntry_2_7 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_8 : CommittedEntry 2 8

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

Equations

• Hex.GFq.committedEntry_2_8 = { entry := Hex.Conway.supportedEntry_2_8 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_9 : CommittedEntry 2 9

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

Equations

• Hex.GFq.committedEntry_2_9 = { entry := Hex.Conway.supportedEntry_2_9 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_10 : CommittedEntry 2 10

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

Equations

• Hex.GFq.committedEntry_2_10 = { entry := Hex.Conway.supportedEntry_2_10 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_11 : CommittedEntry 2 11

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

Equations

• Hex.GFq.committedEntry_2_11 = { entry := Hex.Conway.supportedEntry_2_11 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_12 : CommittedEntry 2 12

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

Equations

• Hex.GFq.committedEntry_2_12 = { entry := Hex.Conway.supportedEntry_2_12 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_13 : CommittedEntry 2 13

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

Equations

• Hex.GFq.committedEntry_2_13 = { entry := Hex.Conway.supportedEntry_2_13 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_14 : CommittedEntry 2 14

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

Equations

• Hex.GFq.committedEntry_2_14 = { entry := Hex.Conway.supportedEntry_2_14 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_15 : CommittedEntry 2 15

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

Equations

• Hex.GFq.committedEntry_2_15 = { entry := Hex.Conway.supportedEntry_2_15 }

@[instance_reducible]

instance Hex.GFq.committedEntry_2_16 : CommittedEntry 2 16

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

Equations

• Hex.GFq.committedEntry_2_16 = { entry := Hex.Conway.supportedEntry_2_16 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_1 : CommittedEntry 3 1

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

Equations

• Hex.GFq.committedEntry_3_1 = { entry := Hex.Conway.supportedEntry_3_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_2 : CommittedEntry 3 2

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

Equations

• Hex.GFq.committedEntry_3_2 = { entry := Hex.Conway.supportedEntry_3_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_3 : CommittedEntry 3 3

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

Equations

• Hex.GFq.committedEntry_3_3 = { entry := Hex.Conway.supportedEntry_3_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_4 : CommittedEntry 3 4

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

Equations

• Hex.GFq.committedEntry_3_4 = { entry := Hex.Conway.supportedEntry_3_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_5 : CommittedEntry 3 5

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

Equations

• Hex.GFq.committedEntry_3_5 = { entry := Hex.Conway.supportedEntry_3_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_6 : CommittedEntry 3 6

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

Equations

• Hex.GFq.committedEntry_3_6 = { entry := Hex.Conway.supportedEntry_3_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_7 : CommittedEntry 3 7

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

Equations

• Hex.GFq.committedEntry_3_7 = { entry := Hex.Conway.supportedEntry_3_7 }

@[instance_reducible]

instance Hex.GFq.committedEntry_3_8 : CommittedEntry 3 8

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

Equations

• Hex.GFq.committedEntry_3_8 = { entry := Hex.Conway.supportedEntry_3_8 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_1 : CommittedEntry 5 1

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

Equations

• Hex.GFq.committedEntry_5_1 = { entry := Hex.Conway.supportedEntry_5_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_2 : CommittedEntry 5 2

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

Equations

• Hex.GFq.committedEntry_5_2 = { entry := Hex.Conway.supportedEntry_5_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_3 : CommittedEntry 5 3

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

Equations

• Hex.GFq.committedEntry_5_3 = { entry := Hex.Conway.supportedEntry_5_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_4 : CommittedEntry 5 4

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

Equations

• Hex.GFq.committedEntry_5_4 = { entry := Hex.Conway.supportedEntry_5_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_5 : CommittedEntry 5 5

Instance-selected field for C(5, 5).

Equations

• Hex.GFq.committedEntry_5_5 = { entry := Hex.Conway.supportedEntry_5_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_6 : CommittedEntry 5 6

Instance-selected field for C(5, 6).

Equations

• Hex.GFq.committedEntry_5_6 = { entry := Hex.Conway.supportedEntry_5_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_7 : CommittedEntry 5 7

Instance-selected field for C(5, 7).

Equations

• Hex.GFq.committedEntry_5_7 = { entry := Hex.Conway.supportedEntry_5_7 }

@[instance_reducible]

instance Hex.GFq.committedEntry_5_8 : CommittedEntry 5 8

Instance-selected field for C(5, 8).

Equations

• Hex.GFq.committedEntry_5_8 = { entry := Hex.Conway.supportedEntry_5_8 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_1 : CommittedEntry 7 1

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

Equations

• Hex.GFq.committedEntry_7_1 = { entry := Hex.Conway.supportedEntry_7_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_2 : CommittedEntry 7 2

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

Equations

• Hex.GFq.committedEntry_7_2 = { entry := Hex.Conway.supportedEntry_7_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_3 : CommittedEntry 7 3

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

Equations

• Hex.GFq.committedEntry_7_3 = { entry := Hex.Conway.supportedEntry_7_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_4 : CommittedEntry 7 4

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

Equations

• Hex.GFq.committedEntry_7_4 = { entry := Hex.Conway.supportedEntry_7_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_5 : CommittedEntry 7 5

Instance-selected field for C(7, 5).

Equations

• Hex.GFq.committedEntry_7_5 = { entry := Hex.Conway.supportedEntry_7_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_6 : CommittedEntry 7 6

Instance-selected field for C(7, 6).

Equations

• Hex.GFq.committedEntry_7_6 = { entry := Hex.Conway.supportedEntry_7_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_7 : CommittedEntry 7 7

Instance-selected field for C(7, 7).

Equations

• Hex.GFq.committedEntry_7_7 = { entry := Hex.Conway.supportedEntry_7_7 }

@[instance_reducible]

instance Hex.GFq.committedEntry_7_8 : CommittedEntry 7 8

Instance-selected field for C(7, 8).

Equations

• Hex.GFq.committedEntry_7_8 = { entry := Hex.Conway.supportedEntry_7_8 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_1 : CommittedEntry 11 1

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

Equations

• Hex.GFq.committedEntry_11_1 = { entry := Hex.Conway.supportedEntry_11_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_2 : CommittedEntry 11 2

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

Equations

• Hex.GFq.committedEntry_11_2 = { entry := Hex.Conway.supportedEntry_11_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_3 : CommittedEntry 11 3

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

Equations

• Hex.GFq.committedEntry_11_3 = { entry := Hex.Conway.supportedEntry_11_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_4 : CommittedEntry 11 4

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

Equations

• Hex.GFq.committedEntry_11_4 = { entry := Hex.Conway.supportedEntry_11_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_5 : CommittedEntry 11 5

Instance-selected field for C(11, 5).

Equations

• Hex.GFq.committedEntry_11_5 = { entry := Hex.Conway.supportedEntry_11_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_11_6 : CommittedEntry 11 6

Instance-selected field for C(11, 6).

Equations

• Hex.GFq.committedEntry_11_6 = { entry := Hex.Conway.supportedEntry_11_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_1 : CommittedEntry 13 1

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

Equations

• Hex.GFq.committedEntry_13_1 = { entry := Hex.Conway.supportedEntry_13_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_2 : CommittedEntry 13 2

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

Equations

• Hex.GFq.committedEntry_13_2 = { entry := Hex.Conway.supportedEntry_13_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_3 : CommittedEntry 13 3

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

Equations

• Hex.GFq.committedEntry_13_3 = { entry := Hex.Conway.supportedEntry_13_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_4 : CommittedEntry 13 4

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

Equations

• Hex.GFq.committedEntry_13_4 = { entry := Hex.Conway.supportedEntry_13_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_5 : CommittedEntry 13 5

Instance-selected field for C(13, 5).

Equations

• Hex.GFq.committedEntry_13_5 = { entry := Hex.Conway.supportedEntry_13_5 }

@[instance_reducible]

instance Hex.GFq.committedEntry_13_6 : CommittedEntry 13 6

Instance-selected field for C(13, 6).

Equations

• Hex.GFq.committedEntry_13_6 = { entry := Hex.Conway.supportedEntry_13_6 }

@[instance_reducible]

instance Hex.GFq.committedEntry_17_1 : CommittedEntry 17 1

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

Equations

• Hex.GFq.committedEntry_17_1 = { entry := Hex.Conway.supportedEntry_17_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_17_2 : CommittedEntry 17 2

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

Equations

• Hex.GFq.committedEntry_17_2 = { entry := Hex.Conway.supportedEntry_17_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_17_3 : CommittedEntry 17 3

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

Equations

• Hex.GFq.committedEntry_17_3 = { entry := Hex.Conway.supportedEntry_17_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_17_4 : CommittedEntry 17 4

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

Equations

• Hex.GFq.committedEntry_17_4 = { entry := Hex.Conway.supportedEntry_17_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_19_1 : CommittedEntry 19 1

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

Equations

• Hex.GFq.committedEntry_19_1 = { entry := Hex.Conway.supportedEntry_19_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_19_2 : CommittedEntry 19 2

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

Equations

• Hex.GFq.committedEntry_19_2 = { entry := Hex.Conway.supportedEntry_19_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_19_3 : CommittedEntry 19 3

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

Equations

• Hex.GFq.committedEntry_19_3 = { entry := Hex.Conway.supportedEntry_19_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_19_4 : CommittedEntry 19 4

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

Equations

• Hex.GFq.committedEntry_19_4 = { entry := Hex.Conway.supportedEntry_19_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_23_1 : CommittedEntry 23 1

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

Equations

• Hex.GFq.committedEntry_23_1 = { entry := Hex.Conway.supportedEntry_23_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_23_2 : CommittedEntry 23 2

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

Equations

• Hex.GFq.committedEntry_23_2 = { entry := Hex.Conway.supportedEntry_23_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_23_3 : CommittedEntry 23 3

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

Equations

• Hex.GFq.committedEntry_23_3 = { entry := Hex.Conway.supportedEntry_23_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_23_4 : CommittedEntry 23 4

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

Equations

• Hex.GFq.committedEntry_23_4 = { entry := Hex.Conway.supportedEntry_23_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_29_1 : CommittedEntry 29 1

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

Equations

• Hex.GFq.committedEntry_29_1 = { entry := Hex.Conway.supportedEntry_29_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_29_2 : CommittedEntry 29 2

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

Equations

• Hex.GFq.committedEntry_29_2 = { entry := Hex.Conway.supportedEntry_29_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_29_3 : CommittedEntry 29 3

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

Equations

• Hex.GFq.committedEntry_29_3 = { entry := Hex.Conway.supportedEntry_29_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_29_4 : CommittedEntry 29 4

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

Equations

• Hex.GFq.committedEntry_29_4 = { entry := Hex.Conway.supportedEntry_29_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_31_1 : CommittedEntry 31 1

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

Equations

• Hex.GFq.committedEntry_31_1 = { entry := Hex.Conway.supportedEntry_31_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_31_2 : CommittedEntry 31 2

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

Equations

• Hex.GFq.committedEntry_31_2 = { entry := Hex.Conway.supportedEntry_31_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_31_3 : CommittedEntry 31 3

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

Equations

• Hex.GFq.committedEntry_31_3 = { entry := Hex.Conway.supportedEntry_31_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_31_4 : CommittedEntry 31 4

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

Equations

• Hex.GFq.committedEntry_31_4 = { entry := Hex.Conway.supportedEntry_31_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_37_1 : CommittedEntry 37 1

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

Equations

• Hex.GFq.committedEntry_37_1 = { entry := Hex.Conway.supportedEntry_37_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_37_2 : CommittedEntry 37 2

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

Equations

• Hex.GFq.committedEntry_37_2 = { entry := Hex.Conway.supportedEntry_37_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_37_3 : CommittedEntry 37 3

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

Equations

• Hex.GFq.committedEntry_37_3 = { entry := Hex.Conway.supportedEntry_37_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_37_4 : CommittedEntry 37 4

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

Equations

• Hex.GFq.committedEntry_37_4 = { entry := Hex.Conway.supportedEntry_37_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_41_1 : CommittedEntry 41 1

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

Equations

• Hex.GFq.committedEntry_41_1 = { entry := Hex.Conway.supportedEntry_41_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_41_2 : CommittedEntry 41 2

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

Equations

• Hex.GFq.committedEntry_41_2 = { entry := Hex.Conway.supportedEntry_41_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_41_3 : CommittedEntry 41 3

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

Equations

• Hex.GFq.committedEntry_41_3 = { entry := Hex.Conway.supportedEntry_41_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_41_4 : CommittedEntry 41 4

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

Equations

• Hex.GFq.committedEntry_41_4 = { entry := Hex.Conway.supportedEntry_41_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_43_1 : CommittedEntry 43 1

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

Equations

• Hex.GFq.committedEntry_43_1 = { entry := Hex.Conway.supportedEntry_43_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_43_2 : CommittedEntry 43 2

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

Equations

• Hex.GFq.committedEntry_43_2 = { entry := Hex.Conway.supportedEntry_43_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_43_3 : CommittedEntry 43 3

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

Equations

• Hex.GFq.committedEntry_43_3 = { entry := Hex.Conway.supportedEntry_43_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_43_4 : CommittedEntry 43 4

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

Equations

• Hex.GFq.committedEntry_43_4 = { entry := Hex.Conway.supportedEntry_43_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_47_1 : CommittedEntry 47 1

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

Equations

• Hex.GFq.committedEntry_47_1 = { entry := Hex.Conway.supportedEntry_47_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_47_2 : CommittedEntry 47 2

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

Equations

• Hex.GFq.committedEntry_47_2 = { entry := Hex.Conway.supportedEntry_47_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_47_3 : CommittedEntry 47 3

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

Equations

• Hex.GFq.committedEntry_47_3 = { entry := Hex.Conway.supportedEntry_47_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_47_4 : CommittedEntry 47 4

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

Equations

• Hex.GFq.committedEntry_47_4 = { entry := Hex.Conway.supportedEntry_47_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_53_1 : CommittedEntry 53 1

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

Equations

• Hex.GFq.committedEntry_53_1 = { entry := Hex.Conway.supportedEntry_53_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_53_2 : CommittedEntry 53 2

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

Equations

• Hex.GFq.committedEntry_53_2 = { entry := Hex.Conway.supportedEntry_53_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_53_3 : CommittedEntry 53 3

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

Equations

• Hex.GFq.committedEntry_53_3 = { entry := Hex.Conway.supportedEntry_53_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_53_4 : CommittedEntry 53 4

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

Equations

• Hex.GFq.committedEntry_53_4 = { entry := Hex.Conway.supportedEntry_53_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_59_1 : CommittedEntry 59 1

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

Equations

• Hex.GFq.committedEntry_59_1 = { entry := Hex.Conway.supportedEntry_59_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_59_2 : CommittedEntry 59 2

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

Equations

• Hex.GFq.committedEntry_59_2 = { entry := Hex.Conway.supportedEntry_59_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_59_3 : CommittedEntry 59 3

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

Equations

• Hex.GFq.committedEntry_59_3 = { entry := Hex.Conway.supportedEntry_59_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_59_4 : CommittedEntry 59 4

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

Equations

• Hex.GFq.committedEntry_59_4 = { entry := Hex.Conway.supportedEntry_59_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_61_1 : CommittedEntry 61 1

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

Equations

• Hex.GFq.committedEntry_61_1 = { entry := Hex.Conway.supportedEntry_61_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_61_2 : CommittedEntry 61 2

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

Equations

• Hex.GFq.committedEntry_61_2 = { entry := Hex.Conway.supportedEntry_61_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_61_3 : CommittedEntry 61 3

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

Equations

• Hex.GFq.committedEntry_61_3 = { entry := Hex.Conway.supportedEntry_61_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_61_4 : CommittedEntry 61 4

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

Equations

• Hex.GFq.committedEntry_61_4 = { entry := Hex.Conway.supportedEntry_61_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_67_1 : CommittedEntry 67 1

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

Equations

• Hex.GFq.committedEntry_67_1 = { entry := Hex.Conway.supportedEntry_67_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_67_2 : CommittedEntry 67 2

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

Equations

• Hex.GFq.committedEntry_67_2 = { entry := Hex.Conway.supportedEntry_67_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_67_3 : CommittedEntry 67 3

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

Equations

• Hex.GFq.committedEntry_67_3 = { entry := Hex.Conway.supportedEntry_67_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_67_4 : CommittedEntry 67 4

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

Equations

• Hex.GFq.committedEntry_67_4 = { entry := Hex.Conway.supportedEntry_67_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_71_1 : CommittedEntry 71 1

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

Equations

• Hex.GFq.committedEntry_71_1 = { entry := Hex.Conway.supportedEntry_71_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_71_2 : CommittedEntry 71 2

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

Equations

• Hex.GFq.committedEntry_71_2 = { entry := Hex.Conway.supportedEntry_71_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_71_3 : CommittedEntry 71 3

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

Equations

• Hex.GFq.committedEntry_71_3 = { entry := Hex.Conway.supportedEntry_71_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_71_4 : CommittedEntry 71 4

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

Equations

• Hex.GFq.committedEntry_71_4 = { entry := Hex.Conway.supportedEntry_71_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_73_1 : CommittedEntry 73 1

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

Equations

• Hex.GFq.committedEntry_73_1 = { entry := Hex.Conway.supportedEntry_73_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_73_2 : CommittedEntry 73 2

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

Equations

• Hex.GFq.committedEntry_73_2 = { entry := Hex.Conway.supportedEntry_73_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_73_3 : CommittedEntry 73 3

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

Equations

• Hex.GFq.committedEntry_73_3 = { entry := Hex.Conway.supportedEntry_73_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_73_4 : CommittedEntry 73 4

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

Equations

• Hex.GFq.committedEntry_73_4 = { entry := Hex.Conway.supportedEntry_73_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_79_1 : CommittedEntry 79 1

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

Equations

• Hex.GFq.committedEntry_79_1 = { entry := Hex.Conway.supportedEntry_79_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_79_2 : CommittedEntry 79 2

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

Equations

• Hex.GFq.committedEntry_79_2 = { entry := Hex.Conway.supportedEntry_79_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_79_3 : CommittedEntry 79 3

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

Equations

• Hex.GFq.committedEntry_79_3 = { entry := Hex.Conway.supportedEntry_79_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_79_4 : CommittedEntry 79 4

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

Equations

• Hex.GFq.committedEntry_79_4 = { entry := Hex.Conway.supportedEntry_79_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_83_1 : CommittedEntry 83 1

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

Equations

• Hex.GFq.committedEntry_83_1 = { entry := Hex.Conway.supportedEntry_83_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_83_2 : CommittedEntry 83 2

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

Equations

• Hex.GFq.committedEntry_83_2 = { entry := Hex.Conway.supportedEntry_83_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_83_3 : CommittedEntry 83 3

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

Equations

• Hex.GFq.committedEntry_83_3 = { entry := Hex.Conway.supportedEntry_83_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_83_4 : CommittedEntry 83 4

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

Equations

• Hex.GFq.committedEntry_83_4 = { entry := Hex.Conway.supportedEntry_83_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_89_1 : CommittedEntry 89 1

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

Equations

• Hex.GFq.committedEntry_89_1 = { entry := Hex.Conway.supportedEntry_89_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_89_2 : CommittedEntry 89 2

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

Equations

• Hex.GFq.committedEntry_89_2 = { entry := Hex.Conway.supportedEntry_89_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_89_3 : CommittedEntry 89 3

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

Equations

• Hex.GFq.committedEntry_89_3 = { entry := Hex.Conway.supportedEntry_89_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_89_4 : CommittedEntry 89 4

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

Equations

• Hex.GFq.committedEntry_89_4 = { entry := Hex.Conway.supportedEntry_89_4 }

@[instance_reducible]

instance Hex.GFq.committedEntry_97_1 : CommittedEntry 97 1

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

Equations

• Hex.GFq.committedEntry_97_1 = { entry := Hex.Conway.supportedEntry_97_1 }

@[instance_reducible]

instance Hex.GFq.committedEntry_97_2 : CommittedEntry 97 2

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

Equations

• Hex.GFq.committedEntry_97_2 = { entry := Hex.Conway.supportedEntry_97_2 }

@[instance_reducible]

instance Hex.GFq.committedEntry_97_3 : CommittedEntry 97 3

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

Equations

• Hex.GFq.committedEntry_97_3 = { entry := Hex.Conway.supportedEntry_97_3 }

@[instance_reducible]

instance Hex.GFq.committedEntry_97_4 : CommittedEntry 97 4

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

Equations

• Hex.GFq.committedEntry_97_4 = { entry := Hex.Conway.supportedEntry_97_4 }