h$1!      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                                                                                                                                  !!!!!!!!!!!"##$$&MIT Safe-Inferred567    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~YZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ !"#$%&'()*+,-./0123WXSTUVKLMNOPQR<=>?@ABCDEFGHIJ9:;67854    MIT Safe-InferredMIT Safe-Inferred5678> 9:;9:; MIT Safe-Inferred>  MIT Safe-Inferred5  MITNone>++MITNonebMITNone MITNone%MITNone MIT Safe-Inferred& MIT Safe-Inferred>   MIT Safe-Inferred% MITNone>yegisonFor memoizationMITNone>MITNonepMITNoneMITNoneMITNoneMITNone> MITNone9MITNone^MITNoneMITNone  MITNoneMMITNoneegisonComplete Egison keywordsMITNone&>MITNoneC  MITNoneMITNone?MITNone&MITNone& Safe-Inferred> MITNoneegisonLoad a libary fileegison Load a file  !MITNoneC egisonEvaluate an Egison expression.egison"Evaluate an Egison top expression.egison"Evaluate an Egison top expression.egison Evaluate Egison top expressions.egison Evaluate Egison top expressions.egison9Evaluate an Egison expression. Input is a Haskell string.egison=Evaluate an Egison top expression. Input is a Haskell string.egison=Evaluate an Egison top expression. Input is a Haskell string.egison;Evaluate Egison top expressions. Input is a Haskell string.egisonLoad an Egison file.egisonLoad an Egison library.  "MITNone#MITNone?$MITNone1egisonVersion numberegison(Environment that contains core libraries   3210/.-,+*)('&%$#"! 456789:;CJIHGFDEKRQPONLMSVTUWXY~}|{zyxwvutsrqponmlkjihgfedcba`_^]\Z['()*+,,-./0123456789:;<=>?@AABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{||}~~                                                                                                                                                  !!!!!!!!!!!"##$$&&&&&&&&#egison-4.1.3-AbSXwqf1eoC89Dna88zirULanguage.Egison.ASTLanguage.Egison.CmdOptionsLanguage.Egison.IExprLanguage.Egison.EvalStateLanguage.Egison.MListLanguage.Egison.Math.ExprLanguage.Egison.Math.NormalizeLanguage.Egison.Math.ArithLanguage.Egison.Math.RewriteLanguage.Egison.Parser.SExprLanguage.Egison.RStateLanguage.Egison.Parser.NonSLanguage.Egison.DataLanguage.Egison.PrettyMath.AST!Language.Egison.PrettyMath.Maxima&Language.Egison.PrettyMath.Mathematica Language.Egison.PrettyMath.Latex$Language.Egison.PrettyMath.AsciiMathLanguage.Egison.PrettyLanguage.Egison.MathOutputLanguage.Egison.MatchLanguage.Egison.DesugarLanguage.Egison.Data.UtilsLanguage.Egison.Data.CollectionLanguage.Egison.CompletionLanguage.Egison.Tensor Language.Egison.Primitives.Utils Language.Egison.Primitives.Types Language.Egison.Primitives.ArithLanguage.Egison.CoreLanguage.Egison.Primitives.IOLanguage.Egison.ParserLanguage.Egison.Eval!Language.Egison.Primitives.StringLanguage.Egison.PrimitivesLanguage.EgisonLanguage.Egison.Math Paths_egisonAssocInfixLInfixRInfixNPrefixOpreprpriorityassocisWedgePrimitiveDataPattern PDPatternBase PDWildCardPDPatVarPDInductivePat PDTuplePat PDEmptyPat PDConsPat PDSnocPat PDConstantPatPrimitivePatPattern PPWildCardPPPatVar PPValuePatPPInductivePat PPTuplePat LoopRangePatternWildCardPatVarValuePatPredPat IndexedPatLetPatInfixPatNotPatAndPatOrPat ForallPatTuplePat InductivePatLoopPatContPat PApplyPatVarPatInductiveOrPApplyPat SeqNilPat SeqConsPat LaterPatVar DApplyPat PatternDef MatchClause BindingExprBindBindWithIndicesPMModeBFSModeDFSMode IndexExpr Subscript Superscript SupSubscriptMultiSubscriptMultiSuperscript UserscriptVarIndex VSubscript VSuperscriptVMultiSubscriptVMultiSuperscript VGroupScripts VSymmScriptsVAntiSymmScripts ArgPattern APWildCardAPPatVarAPInductivePat APTuplePat APEmptyPat APConsPat APSnocPatArg ScalarArgInvertedScalarArg TensorArgVarWithIndicesExpr ConstantExprVarExpr FreshVarExpr IndexedExpr SubrefsExpr SuprefsExpr UserrefsExpr TupleExprCollectionExprConsExprJoinExprHashExpr VectorExpr LambdaExpr LambdaExpr'MemoizedLambdaExpr CambdaExprPatternFunctionExprIfExprLetExpr LetRecExprWithSymbolsExpr MatchExpr MatchAllExprMatchLambdaExprMatchAllLambdaExpr MatcherExprAlgebraicDataMatcherExpr QuoteExprQuoteSymbolExprWedgeApplyExprDoExpr PrefixExpr InfixExpr SectionExprSeqExpr ApplyExpr CApplyExprAnonParamFuncExprAnonTupleParamFuncExprAnonListParamFuncExpr AnonParamExprGenerateTensorExpr TensorExprTensorContractExpr TensorMapExprTensorMap2Expr TransposeExprFlipIndicesExpr FunctionExprCharExpr StringExprBoolExpr IntegerExpr FloatExpr SomethingExpr UndefinedExprTopExprDefineTestExecuteLoadFileLoad InfixDeclreservedExprOpreservedPatternOp findOpFrom makeApplystringToVarWithIndicesextractNameFromVarWithIndices $fShowAssoc $fShowTopExpr $fShowExpr $fShowPattern$fShowLoopRange$fShowBindingExpr$fEqOp$fOrdOp$fShowOp $fEqAssoc $fOrdAssoc$fFunctorPDPatternBase$fFoldablePDPatternBase$fShowPDPatternBase$fShowPrimitivePatPattern $fShowPMMode$fShowIndexExpr $fEqIndexExpr$fFunctorIndexExpr$fFoldableIndexExpr$fTraversableIndexExpr$fShowArgPattern$fShowVarWithIndices$fEqVarWithIndices$fShowVarIndex $fEqVarIndex $fShowArg$fShowConstantExpr EgisonOpts optExecFileoptShowVersion optEvalStringoptExecuteString optFieldInfo optLoadLibs optLoadFilesoptSubstituteStringoptMapTsvInputoptFilterTsvInput optTsvOutputoptNoIO optShowBanner optTestOnly optPrompt optMathExproptSExproptMathNormalize defaultOption cmdParserVarIndexSubSupMultiSubMultiSupSupSubUserDF ILoopRangeIPattern IWildCardIPatVar IValuePatIPredPat IIndexedPatILetPatINotPatIAndPatIOrPat IForallPat ITuplePat IInductivePatILoopPatIContPat IPApplyPatIVarPatIInductiveOrPApplyPat ISeqNilPat ISeqConsPat ILaterPatVar IDApplyPatIPrimitiveDataPattern IPatternDef IMatchClause IBindingExprIExpr IConstantExprIVarExpr IIndexedExpr ISubrefsExpr ISuprefsExpr IUserrefsExprIInductiveDataExpr ITupleExprICollectionExpr IConsExpr IJoinExpr IHashExpr IVectorExpr ILambdaExprIMemoizedLambdaExpr ICambdaExprIPatternFunctionExprIIfExpr ILetRecExprILetExprIWithSymbolsExpr IMatchExpr IMatchAllExpr IMatcherExpr IQuoteExprIQuoteSymbolExprIWedgeApplyExprIDoExprISeqExpr IApplyExpr ICApplyExprIGenerateTensorExpr ITensorExprITensorContractExprITensorMapExprITensorMap2ExprITransposeExprIFlipIndicesExpr IFunctionExprITopExprIDefineITestIExecute ILoadFileILoadextractSupOrSubIndex extractIndex stringToVarextractNameFromVar makeIApply $fShowIndex$fHashableIndex $fHashableVar$fHashableVar'$fEqVar$fEqVar' $fGenericVar' $fShowVar'$fShowITopExpr $fShowIExpr$fShowIPattern$fShowILoopRange $fGenericVar $fShowVar $fShowIndex0 $fEqIndex$fFunctorIndex$fFoldableIndex$fGenericIndex$fTraversableIndex MonadEval pushFuncName topFuncName popFuncNamegetFuncNameStack EvalState funcNameStackinitialEvalStatemLabelFuncName$fMonadEvalExceptT$fMonadEvalStateTMListMNilMConsfromListfromSeq fromMList msingletonmfoldrmappendmconcatmmapmformAny $fShowMList PrintableisAtomprettySymbolMTermMScalarM SymbolExprSymbolApplyQuote FunctionDataMonomialTermExprTermPolyExprPlus ScalarDataDiv SingleTerm SingleSymbolZeroExprtermtermMsymbolsymbolMfuncfuncMapplyapplyMquotenegQuote negQuoteM equalMonomialequalMonomialMzerozeroM singleTerm singleTermMmathScalarMult mathNegate $fEqTermExpr $fEqPolyExpr$fValuePatternScalarMScalarData"$fMatcherTYPETYPEScalarMScalarData$fMatcherTYPETYPETermMTermExpr$fValuePatternSymbolMSymbolExpr"$fMatcherTYPETYPESymbolMSymbolExpr$fShowSymbolExpr$fShowTermExpr$fShowPolyExpr$fShowScalarData$fPrintableTermExpr$fPrintableSymbolExpr$fPrintablePolyExpr$fPrintableScalarData$fEqSymbolExpr$fEqScalarDatamathNormalize'termsGcdmathDivideTermmathPlus mathMinusmathMultmathDiv mathPower mathNumeratormathDenominator rewriteSymbol parseTopExprs parseTopExpr parseExprs parseExpr MonadRuntimefreshRuntimeMRuntimeTRState indexCounterexprOps patternOps runRuntimeT evalRuntimeT$fMonadRuntimeReaderTupperReservedWordslowerReservedWords$fShowErrorComponentCustomError$fEqCustomError$fOrdCustomErrorEvalM EgisonErrorUnboundVariable TypeMismatchArgumentsNumPrimitive TupleLengthInconsistentTensorShapeInconsistentTensorIndexTensorIndexOutOfBoundsNotImplemented AssertionParser EgisonBug MatchFailurePrimitiveMatchFailureDefaultBindingEnvInnerIElementISubCollectionWHNFDataValueIInductiveDataITuple ICollectionIIntHash ICharHashIStrHashITensorObjectThunkWHNF ObjectRef EgisonDatatoEgison fromEgisonShapeTensorScalar EgisonHashKeyIntKeyCharKeyStrKeyLazyPrimitiveFunc PrimitiveFuncMatcher EgisonValueWorldCharStringBool TensorDataFloat InductiveDataTuple CollectionIntHashCharHashStrHash UserMatcherFuncCFunc MemoizedFunc PatternFuncIOFuncPortRefBox Something UndefinedsymbolScalarDatasymbolScalarData'getSymId getSymNamemathExprToEgisonegisonToScalarData extractScalarnullEnv extendEnvrefVarthrowErrorWithTrace fromEvalT fromEvalM$fMonadRuntimeStateT$fExceptionEgisonError$fShowEgisonError $fShowIORef $fShowObject$fShowWHNFData$fEqEgisonValue$fShowEgisonValue$fEgisonDataIORef$fEgisonData(,,,)$fEgisonData(,,)$fEgisonData(,)$fEgisonData()$fEgisonData[]$fEgisonDataHandle$fEgisonDataDouble$fEgisonDataRatio$fEgisonDataInteger$fEgisonDataBool$fEgisonDataText$fEgisonDataChar $fShowTensor ToMathExpr toMathExpr MathIndexSuperMathExprAtom NegativeAtomMultiplyPowerPartialisSub$fToMathExprSymbolExpr$fToMathExpr(,)$fToMathExprInteger$fToMathExprTermExpr$fToMathExprPolyExpr$fToMathExprScalarData$fToMathExprTensor$fToMathExprEgisonValue $fEqMathIndex$fShowMathIndex $fEqMathExpr$fShowMathExpr showMathExprprettyTopExprsshowTSV prettyStr $fPrettyIExpr $fPrettyOp$fPrettyPDPatternBase$fPrettyPrimitivePatPattern$fPrettyLoopRange$fPrettyPattern$fPrettyIndexExpr $fPretty(,)$fPrettyBindingExpr$fPrettyVarIndex$fPrettyVarWithIndices$fPrettyArgPattern$fPrettyConstantExpr$fPrettyTopExpr$fComplexPDPatternBase$fComplexPattern$fComplexArgPattern $fComplexArg $fComplexExpr$fComplexIExpr$fPrettyIndexExpr0 $fPrettyArg $fPrettyExpr prettyMathMatchM SeqPatContextForallPatContextLoopPatContextPatternBinding MatchingTreeMAtomMNode MatchingStateMState mStateEnv loopPatCtx seqPatCtxmStateBindingsmTreesMatch nullMState matchFail$fShowMatchingState$fShowMatchingTreedesugarTopExprdesugarTopExprs desugarExprevalRefevalObjwriteObjectRefnewEvaluatedObjectRef tupleToRefstupleToListWHNF tupleToList makeTuple makeITuple pmIndices updateHashexpandCollectionisEmptyCollectionunconsCollectionunsnocCollectioncollectionToRefscollectionToListmakeICollectioncompleteEgisonTensorComponent fromTensortoTensortrefenumTensorIndices tTranspose tTranspose' tFlipIndicesappendDFremoveDFtMaptMap2tProduct tContract tContract'tConcat'$fMatcherTYPETYPEIndexMIndex$fTensorComponentWHNFDataIORef'$fTensorComponentEgisonValueEgisonValuenoArgoneArgoneArg'twoArgstwoArgs' threeArgs' lazyOneArgunaryOpbinaryOpprimitiveTypeFunctionsprimitiveArithFunctionsevalExprShallow evalExprDeepevalWHNF recursiveBind patternMatch ioPrimitives readTopExprs readTopExpr readExprsreadExprloadLibraryFileloadFile removeShebang readUTF8FileevalExpr evalTopExprevalTopExprStr evalTopExprsevalTopExprsNoPrintrunExpr runTopExpr runTopExprStr runTopExprsloadEgisonFileloadEgisonLibraryprimitiveStringFunctions primitiveEnvprimitiveEnvNoIOversion initialEnv getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName