Documentation

MazurTorsion.Kubert.OrderSevenBacktrackingResultantCertificateData0

Initial data for the order-seven branch-zero resultant PRS #

This file starts the exact primitive pseudo-remainder sequence over ℚ[D][X] for the selection cofactor and the first degree-seven division cofactor. Each generated remainder is grouped by its outer X coefficient; the first quotient remains exact table data, while the later linear quotients are forced by the leading two coefficients. Lean recurrence certificates check the untrusted generating computation.

@[reducible, inline]

abbrev MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.Coefficient :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.Coefficient = Polynomial ℚ

Instances For

@[reducible, inline]

abbrev MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.Bivariate :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.coefficientTerm (degree : ℕ) (coefficient : ℚ) :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.coefficientTerm degree coefficient = (Polynomial.monomial degree) coefficient

Instances For

theorem MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.coefficientTerm_eq_C_mul_X_pow (degree : ℕ) (coefficient : ℚ) :

coefficientTerm degree coefficient = Polynomial.C coefficient * Polynomial.X ^ degree

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.outerTerm (degree : ℕ) (coefficient : Coefficient) :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.outerTerm degree coefficient = Polynomial.C coefficient * Polynomial.X ^ degree

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.linearPseudoQuotient (dividend divisor : Bivariate) (dividendDegree divisorDegree : ℕ) :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.parameter :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.parameter = Polynomial.X

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.discriminantFactor :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.cmSix :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.cmTwelve :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder0 :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder0 = MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.selectionCofactorData

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder1 :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder1 = MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.divisionCofactorData0

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk13 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Chunk14 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk13 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Chunk14 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Chunk13 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Chunk13 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2Coefficient6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.remainder2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Chunk12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0Block1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Chunk11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Chunk10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Chunk9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Chunk8 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient9 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient10 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Chunk7 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient11 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient12 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient13 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Chunk6 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient14 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient15 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Chunk5 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient16 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient17 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Chunk4 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient18 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient19 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20Chunk3 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient20 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient21Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient21Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient21Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient21Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient21 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient22Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient22Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient22Chunk2 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient22Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient22 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient23Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient23Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient23Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient23 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient24Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient24Chunk1 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient24Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient24 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient25Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient25Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient25 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient26Chunk0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient26Block0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0Coefficient26 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.quotient0 :

Internal datum.

Equations

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

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.exceptionalUnit0 :

Internal datum.

Equations

MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.exceptionalUnit0 = Polynomial.C 1

Instances For

noncomputable def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.exceptional0 :

Internal datum.

Equations

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

Instances For

def MazurTorsion.Kubert.OrderSevenBacktrackingCertificate.Internal.ResultantCertificate.recurrence0 :

Internal datum.

Equations

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

Instances For