h$$]      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                                                                                                                             Safe-Inferred K   Safe-Inferred = "!#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP=#$ "!%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOP Safe-Inferred 32XYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~2Z[Y\]^_`abcdefghXijklmnopqrstuvwxyz{|}~ Safe-Inferred  Safe-InferredA Safe-Inferred} Safe-Inferred Safe-Inferred  Safe-Inferred  Safe-Inferred    Safe-Inferredo  Safe-Inferred    !"#$$%&'()*+, -./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ostvwxostuvwx4:xod                                                d                                             d                                                                      d                                         !factor-1.4-J1udeWlaT1xC8SQYcG8wonFactor.Gaussian Factor.Util Factor.Prime Factor.Term Factor.Zx Factor.Gfpx Factor.Value Factor.Nfzw Factor.Ec Factor.Bz Factor.NfsFactorGaussianreal imaginaryzeroonenegateaddsubtractmultiplynormdivisionquotient remainderdividesegcdgcd$fShowGaussian $fEqGaussian $fOrdGaussianTable borderTablealignLeftTable paddingTableResidue NonResidue ZeroResidueLog2Probability Log2IntegerWidthVerbose ResultVerboseCommentVerbose runFactortimestampFormatcommentrunQuiet runVerboserunTimestampVerboseisUnit properDivisordivisionClosest exactQuotientdivPower factorialcoprimechineseRemaindernthRootnthRootClosest destNthPower isNthPower destSquareisSquare bitsInteger widthIntegerwidthIntegerToStringuniformIntegeruniformOddIntegerlog2log2e log2Integer logInteger exp2IntegermultiplyResidue jacobiSymbol singleton doubleton tripletonunfoldlNunfoldrN unabbrevList abbrevList underlinefmtTableppTable$fMonadVerbose$fApplicativeVerbose$fFunctorVerbose $fShowTable $fEqResidue $fOrdResidue $fShowResidueGfp PrimePowerPrimeprimesmultiplyPrimePowersproductPrimePowersfactor factorProduct trialDivision primesUnderprimesUnderEstimatenthPrimenthPrimeEstimatesmoothUnderLowerBound smoothUnder smoothProbsmoothProbTrialsvalidfromInt fromIntegertoSmallestIntegersumsquarecubeproduct multiplyExpexpexp2invertFinvertdivideFdivideelementsuniformuniformNonZeromillerRabinTrialsisPrime nextPrime previousPrime uniformPrimeuniformComposite isResidue nonResidue nextResiduenextNonResiduesqrtRewrite unRewriteResult RewriteResultUnchangedResult ErrorResultTerm IntegerTermPrimeIndexTermNumberWidthTermPrimeWidthTermCompositeWidthTerm NegateTermAddTerm SubtractTerm MultiplyTermExpTermVarTermModTermLetTermVarIndexmodulofromGfpfromPrimePowerfromPrimePowersmkSum mkProductsubterms applyRewriteapplyRewriteUnsafe idRewrite errorRewrite tryRewrite thenRewrite orelseRewrite firstRewritesubtermRewritebottomUpRewriteinstVarRewriteexpandLetRewriteexpandLetsRewritenegativeIntegerRewritenegateNegateRewriteaddNegate2RewritesubtractNegate2RewritemultiplyNegateRewrite nnfIntegernnfmultiplyOneRewrite expOneRewriteexpZeroRewritesimplifyisReservedWord spaceParser spacesParser spaces1Parser integerParser indexParser widthParserclassIndexParserprimeIndexParserclassWidthParsernumberWidthParserprimeWidthParsercompositeWidthParser varParser termParserparse fromString indexToDoc widthToDoc atomicToDocexpToDoc prodToDoc negateToDocsumToDocmodToDoctoDoctoString $fEqResult $fOrdResult $fShowResult$fEqTerm $fOrdTerm $fShowTermZxdegreecoeffMapMonomialdegreeMonomial coeffMonomialisZeroMonomialconstantMonomialnegateMonomialtoTermMonomialfromNormCoeffMapisZeroisOne isConstantisLinearisMonic powerCoeff constantCoeff linearCoeff leadingCoeff trailingCoeff monomialslengthMonomialsfilterMonomialsconstantvariablemonomial simpleRootevaluate derivative fromMonomial fromMonomials toMonomials fromCoefftoCoefftoTermmultiplyConstant multiplyPowercomposeexactQuotientConstantcontent isPrimitivecontentPrimitive primitive gcdPrimitive squareFreesquareFreeDecompositionsquareFreeRecompositioncomposePlusMinusSqrtswinnertonDyer$fShowMonomial$fShowZx$fEqZx$fOrdZx $fEqMonomial $fOrdMonomialGfpx fromCoeffMap constMonicfromZxtoZx toSmallestZx polyToTermmultiplyRemaindersquareRemaindermultiplyExpRemainder expRemaindercomposeRemainderinvertRemainderFinvertRemainderdivideRemainderFdivideRemainderroots totallySplits irreducibleliftRoot frobeniusfrobeniusRangefrobeniusInversematrixBerlekamp nullBerlekampsplitBerlekampfactorDistinctDegreefactorEqualDegreeBerlekampfactorEqualDegreefactorSquareFreeBerlekampfactorSquareFreefactorMonicBerlekamp factorMonic $fShowGfpx$fEqGfpx $fOrdGfpxContextZContext GfpContextEnvValueZValueZxValueGfpValue GfpxValuefree normalizefromTermemptyEnv lookupEnv extendEnvcombineContext modContextcontextreduceInContextimportIntoContextalign interpret $fEqContext $fOrdContext $fShowContext $fEqValue $fOrdValue $fShowValueIdealNfzwfilterValidLine filterValid toIntegeridealsinIdeal $fShowNfzw$fEqNfzw $fOrdNfzwEndDivisionPolynomialpsiDivisionPolynomialphiDivisionPolynomialomegaDivisionPolynomialConfig targetConfig TargetConfigCurvePointTargetConfigPrimeTargetConfigPointInfinityxPointyPointCurvekCurveaCurvebCurverhs rhsEvaluateonCurvexPointspoints discriminantsingular uniformCurve uniformPoint addLambdaFdoubleFdoubleaddF addMultiplyF addMultiply multiplyF defaultConfiglimitPrimesConfig factorPrime factorPrimes factorTargetspsiDivisionPolynomialsdivisionPolynomials evaluateEnd identityEnd composeEnd negateEnd addLambdaEnd doubleEndaddEndaddMultiplyEnd multiplyEnd frobeniusEndtraceOfFrobeniusMod2traceOfFrobeniusModOddPrimetraceOfFrobenius supersingularorder $fShowCurve $fShowPoint $fShowEnd$fEqEnd$fOrdEnd$fEqDivisionPolynomial$fOrdDivisionPolynomial$fShowDivisionPolynomial $fEqConfig $fOrdConfig $fShowConfig$fEqTargetConfig$fOrdTargetConfig$fShowTargetConfig $fEqPoint $fOrdPoint $fEqCurve $fOrdCurvefactorCoeffBound monicGfpx suitablePrimehenselLiftQuadratichenselLiftModulushenselLiftFactorsrecombineFactorsfactorPrimitivepolynomialConfigrationalFactorBaseConfigalgebraicFactorBaseConfigquadraticCharacterConfigextraRankConfig verboseConfigRowQuadraticCharacterConfigFixedQuadraticCharacterConfigLinearQuadraticCharacterConfigFactorBaseConfigFixedFactorBaseOptimalFactorBase FactorBasePolynomialConfigpolynomialDegreepolynomialBasepolynomialCoeffPolynomialCoeffFixedPolynomialCoeffSmallestPolynomialCoeffPositivePolynomialCoeffPolynomialBaseFixedPolynomialBaseClosestPolynomialBaseFloorPolynomialBasePolynomialDegreeFixedPolynomialDegreeOptimalPolynomialDegreedefaultPolynomialConfigfixedPolynomialConfigselectPolynomialDegreeselectPolynomialBaseselectPolynomialCoeffselectPolynomialdefaultFactorBaseConfig maxFactorBasedestSmoothIntegerisSmoothIntegernotSmoothInteger rationalNorm algebraicNorm isSmoothNfzw smoothNfzwdefaultQuadraticCharacterConfigquadraticCharactersisQuadraticCharacternextQuadraticCharactertakeQuadraticCharactersisQuadraticResiduenotQuadraticResidueproductIsQuadraticResidueformRow rationalRow algebraicRowoddPowergaussianEliminationrationalSquareRootalgebraicSquareRootsetVerboseConfigsetQuadraticCharacterConfig verboseListfactorSquareRootsfactorWithPolynomial$fEqQuadraticCharacterConfig$fOrdQuadraticCharacterConfig$fShowQuadraticCharacterConfig$fEqFactorBaseConfig$fOrdFactorBaseConfig$fShowFactorBaseConfig$fEqPolynomialConfig$fOrdPolynomialConfig$fShowPolynomialConfig$fEqPolynomialCoeff$fOrdPolynomialCoeff$fShowPolynomialCoeff$fEqPolynomialBase$fOrdPolynomialBase$fShowPolynomialBase$fEqPolynomialDegree$fOrdPolynomialDegree$fShowPolynomialDegreetrialDivisionConfig ecmConfig nfsConfigIntegerFactorer powerIntegernfsFactorIntegerecmFactorIntegerprimeFactorIntegerpowerFactorIntegermergeFactorInteger factorIntegerfactorZx factorGfpx factorValue