Passive contraction data for the twenty-four proper faces of row 095

The zero-set ledger and its mathematical dispatch live in LowGenus.GenusFourRow095Closed. This file contains only the repetitive finite witnesses: for each proper nonloopy forest face, a quotient core, vertex representatives, surviving slots, and slot reversals. Every field is rechecked by the kernel through decide.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.core002 : Utilities.Certificate.ExplicitPotential.Core 2 5

The two-vertex target core with five parallel edges, used by the row 095 face certificates.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.core002 = { tail := ![0, 0, 0, 0, 0], head := ![1, 1, 1, 1, 1] }

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.core009 : Utilities.Certificate.ExplicitPotential.Core 3 6

The three-vertex target core with three edges from each of vertices zero and one to vertex two.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.core009 = { tail := ![0, 0, 0, 1, 1, 1], head := ![2, 2, 2, 2, 2, 2] }

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.core010 : Utilities.Certificate.ExplicitPotential.Core 3 6

The three-vertex target core with edge multiplicities one, two, and three between its vertex pairs.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.core010 = { tail := ![0, 0, 0, 1, 1, 1], head := ![1, 2, 2, 2, 2, 2] }

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.core029 : Utilities.Certificate.ExplicitPotential.Core 4 7

The four-vertex, seven-slot target core used for the row 095 contraction faces.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.core029 = { tail := ![0, 0, 0, 1, 1, 1, 2], head := ![3, 3, 3, 2, 2, 3, 3] }

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.core069 : Utilities.Certificate.ExplicitPotential.Core 5 8

The five-vertex, eight-slot target core used for the row 095 contraction faces.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.core069 = { tail := ![0, 0, 0, 1, 1, 1, 2, 3], head := ![3, 4, 4, 2, 2, 3, 3, 4] }

Each reversal vector is read on its displayed target core.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev0 : Fin 8 → Bool

Reverse target slots six and seven in the single-slot face-zero contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev0 = ![false, false, false, false, false, false, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev3 : Fin 8 → Bool

Reverse target slots zero through five in the single-slot face-three contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev3 = ![true, true, true, true, true, true, false, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev5 : Fin 8 → Bool

Reverse target slots zero through five in the single-slot face-five contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev5 = ![true, true, true, true, true, true, false, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev8 : Fin 8 → Bool

Reverse target slots six and seven in the single-slot face-eight contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev8 = ![false, false, false, false, false, false, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev4 : Fin 8 → Bool

Reverse only target slot six in the single-slot face-four contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev4 = ![false, false, false, false, false, false, true, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev04 : Fin 7 → Bool

Reverse target slots zero, one, two, and six in the face-zero-four contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev04 = ![true, true, true, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev34 : Fin 7 → Bool

Reverse only target slot six in the face-three-four contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev34 = ![false, false, false, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev45 : Fin 7 → Bool

Reverse only target slot six in the face-four-five contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev45 = ![false, false, false, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev48 : Fin 7 → Bool

Reverse target slots zero, one, two, and six in the face-four-eight contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev48 = ![true, true, true, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev08 : Fin 7 → Bool

Reverse target slots zero through five in the face-zero-eight contraction certificate.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev08 = ![true, true, true, true, true, true, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev35 : Fin 7 → Bool

Orientation flags for data35: reverse target slots 6.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev35 = ![false, false, false, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev03 : Fin 7 → Bool

Orientation flags for data03: reverse target slots 3, 4, 5, 6.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev03 = ![false, false, false, true, true, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev58 : Fin 7 → Bool

Orientation flags for data58: reverse target slots 3, 4, 5, 6.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev58 = ![false, false, false, true, true, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev05 : Fin 7 → Bool

Orientation flags for data05: reverse target slots 3, 4.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev05 = ![false, false, false, true, true, false, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev38 : Fin 7 → Bool

Orientation flags for data38: reverse target slots 4, 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev38 = ![false, false, false, false, true, true, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev034 : Fin 6 → Bool

Orientation flags for data034: reverse target slots 3, 4, 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev034 = ![false, false, false, true, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev345 : Fin 6 → Bool

Orientation flags for data345: keep every target slot in its displayed orientation.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev345 = ![false, false, false, false, false, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev048 : Fin 6 → Bool

Orientation flags for data048: reverse target slots 0, 1, 2, 3, 4, 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev048 = ![true, true, true, true, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev458 : Fin 6 → Bool

Orientation flags for data458: reverse target slots 3, 4, 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev458 = ![false, false, false, true, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev035 : Fin 6 → Bool

Orientation flags for data035: reverse target slots 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev035 = ![false, false, false, false, false, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev038 : Fin 6 → Bool

Orientation flags for data038: reverse target slots 0, 1, 2, 4, 5.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev038 = ![true, true, true, false, true, true]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev058 : Fin 6 → Bool

Orientation flags for data058: reverse target slots 0, 1, 2, 3, 4.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev058 = ![true, true, true, true, true, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev358 : Fin 6 → Bool

Orientation flags for data358: reverse target slots 3.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev358 = ![false, false, false, true, false, false]

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev0358 : Fin 5 → Bool

Orientation flags for data0358: reverse target slots 2.

Equations

• AtanasovRanganathan.Generated.GenusFourRow095FaceData.rev0358 = ![false, false, true, false, false]

One checked contraction witness per proper face.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data0 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core068 rev0)

The checked contraction of row 095 along source slots {0} onto core068, oriented by rev0.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data3 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core068 rev3)

The checked contraction of row 095 along source slots {3} onto core068, oriented by rev3.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data5 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core068 rev5)

The checked contraction of row 095 along source slots {5} onto core068, oriented by rev5.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data8 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core068 rev8)

The checked contraction of row 095 along source slots {8} onto core068, oriented by rev8.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data4 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core069 rev4)

The checked contraction of row 095 along source slots {4} onto core069, oriented by rev4.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data04 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core029 rev04)

The checked contraction of row 095 along source slots {0, 4} onto core029, oriented by rev04.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data34 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core029 rev34)

The checked contraction of row 095 along source slots {3, 4} onto core029, oriented by rev34.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data45 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core029 rev45)

The checked contraction of row 095 along source slots {4, 5} onto core029, oriented by rev45.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data48 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core029 rev48)

The checked contraction of row 095 along source slots {4, 8} onto core029, oriented by rev48.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data08 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core031 rev08)

The checked contraction of row 095 along source slots {0, 8} onto core031, oriented by rev08.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data35 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core031 rev35)

The checked contraction of row 095 along source slots {3, 5} onto core031, oriented by rev35.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data03 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core032 rev03)

The checked contraction of row 095 along source slots {0, 3} onto core032, oriented by rev03.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data58 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core032 rev58)

The checked contraction of row 095 along source slots {5, 8} onto core032, oriented by rev58.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data05 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core034 rev05)

The checked contraction of row 095 along source slots {0, 5} onto core034, oriented by rev05.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data38 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient LowGenus.GenusFourRow097Contractions.core034 rev38)

The checked contraction of row 095 along source slots {3, 8} onto core034, oriented by rev38.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data034 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core009 rev034)

The checked contraction of row 095 along source slots {0, 3, 4} onto core009, oriented by rev034.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data345 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core009 rev345)

The checked contraction of row 095 along source slots {3, 4, 5} onto core009, oriented by rev345.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data048 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core009 rev048)

The checked contraction of row 095 along source slots {0, 4, 8} onto core009, oriented by rev048.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data458 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core009 rev458)

The checked contraction of row 095 along source slots {4, 5, 8} onto core009, oriented by rev458.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data035 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core010 rev035)

The checked contraction of row 095 along source slots {0, 3, 5} onto core010, oriented by rev035.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data038 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core010 rev038)

The checked contraction of row 095 along source slots {0, 3, 8} onto core010, oriented by rev038.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data058 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core010 rev058)

The checked contraction of row 095 along source slots {0, 5, 8} onto core010, oriented by rev058.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data358 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core010 rev358)

The checked contraction of row 095 along source slots {3, 5, 8} onto core010, oriented by rev358.

Equations

• One or more equations did not get rendered due to their size.

def AtanasovRanganathan.Generated.GenusFourRow095FaceData.data0358 : Utilities.Certificate.ClosedContraction.ContractionData LowGenus.GenusFourRow095.core (Utilities.Certificate.ReorientContraction.Core.reorient core002 rev0358)

The checked contraction of row 095 along source slots {0, 3, 5, 8} onto core002, oriented by rev0358.

Equations

• One or more equations did not get rendered due to their size.