!c%BMO      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ABCDEFGHIJKLMNMITSafe4567=?  -( !"#$%&')*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPwcQRSTUVWXYZ[\]^_`abdefghijklmnopqrstuvxyz{|}~PwcQRSTUVWXYZ[\]^_`abdefghijklmnopqrstuvxyz{|}~-( !"#$%&')*+,./0123456NOLMHIJK@ABCDEFG:;<=>?987   MITSafe#MITSafe=?g$MITNone2=?@AM_&MCegisonFor memoization      !"#$%&'()*+,-./012348<5679:;=>?@ABCDEFGHIJKLMNOPQRSTUVWX[\Z_can]Y^`bdefghijklmopqrstuvwxyz{|}~X[\Z_can]Y^`bdefghijklmopqrWVRSTUDEFOPQNGHIJKLMstuvwxyz@ABC=>?48<5679:;123./0,-+{|}* !"#$%&'()   ~  MITNone=?P_+XMITSafe+MITNone=?,MITNone,i MITNone-L          Safe.*OPQRSTUV MITNone$P0egisonLoad a libary fileegison Load a fileWegison"infixLiteral| for pattern infixes.   MITNone>P1[+egisonLoad a libary file,egison Load a file #$%&'()*+, #$%&'()*+, MITNone3-egisonEGet Egison expression from the prompt. We can handle multiline input..egisonComplete Egison keywords-.-. MITNone%P_`4/0123456789:;<=>?/0123456789:;<=>?MITNone>SX_5@A@AMITNoneP= BegisonVersion numberEegisoneval an Egison expressionFegisoneval an Egison top expressionGegisoneval Egison top expressionsHegison5eval an Egison expression. Input is a Haskell string.Iegison9eval an Egison top expression. Input is a Haskell string.Jegison9eval an Egison top expression. Input is a Haskell string.Kegison7eval Egison top expressions. Input is a Haskell string.Legisonload an Egison fileMegisonload an Egison libraryNegison(Environment that contains core librariesA  -( !"#$%&')*+,./0123456789:;<=>?@ABCDEFGHIJKLMNOPwcQRSTUVWXYZ[\]^_`abdefghijklmnopqrstuvxyz{|}~      !"#$%&'()*+,-./012348<5679:;=>?@ABCDEFGHIJKLMNOPQRSTUVWX[\Z_can]Y^`bdefghijklmopqrstuvwxyz{|}~@ABCDEFGHIJKLMN CDEFGHIJKMLNBX !"#$%&'()**+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"##$%%&'()*+,-./01233456789:;<=>?@ABC:DEFGHIJKLMNOPQRSTTUVWXYZ[\]^_`abcdefghijklmnopZqrstuvwxyz{|}~                               ! " #           $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6789:;<=>?@ABCDE9FGHIJKL MN$egison-3.10.3-F2tdfMR79oB8V0iE1m8L4CLanguage.Egison.ASTLanguage.Egison.CmdOptionsLanguage.Egison.MathExprLanguage.Egison.DataLanguage.Egison.DesugarLanguage.Egison.MathOutputLanguage.Egison.PrettyLanguage.Egison.TensorLanguage.Egison.TypesLanguage.Egison.ParserNonSLanguage.Egison.ParserLanguage.Egison.UtilLanguage.Egison.CoreLanguage.Egison.PrimitivesLanguage.Egison Paths_egison BinOpAssoc LeftAssoc RightAssocNonAssocInfixreprfuncpriorityassocisWedgePrimitiveDataPattern PDWildCardPDPatVarPDInductivePat PDTuplePat PDEmptyPat PDConsPat PDSnocPat PDConstantPatPrimitivePatPattern PPWildCardPPPatVar PPValuePatPPInductivePat PPTuplePat LoopRange EgisonPatternWildCardPatVarValuePatPredPat IndexedPatLetPatInfixPatNotPatAndPatOrPat ForallPatTuplePat InductivePatLoopPatContPat PApplyPatVarPatInductiveOrPApplyPat SeqNilPat SeqConsPat LaterPatVar DApplyPatDivPatPlusPatMultPatPowerPat PatternDef MatchClause BindingExprPMModeBFSModeDFSMode InnerExpr ElementExprSubCollectionExprIndex Subscript Superscript SupSubscriptMultiSubscriptMultiSuperscriptDFscript UserscriptArg ScalarArgInvertedScalarArg TensorArgVarWithIndicesVar EgisonExprCharExpr StringExprBoolExpr IntegerExpr FloatExprVarExpr FreshVarExpr IndexedExpr SubrefsExpr SuprefsExpr UserrefsExpr PowerExprInductiveDataExpr TupleExprCollectionExpr ArrayExprHashExpr VectorExpr LambdaExprMemoizedLambdaExpr MemoizeExpr CambdaExpr ProcedureExprPatternFunctionExprIfExpr LetRecExprLetExpr LetStarExprWithSymbolsExpr MatchExpr MatchAllExprMatchLambdaExprMatchAllLambdaExpr MatcherExprAlgebraicDataMatcherExpr QuoteExprQuoteSymbolExprWedgeApplyExprDoExprIoExpr UnaryOpExpr BinaryOpExpr SectionExprSeqExpr ApplyExpr CApplyExpr PartialExprPartialVarExprGenerateArrayExprArrayBoundsExpr ArrayRefExprGenerateTensorExpr TensorExprTensorContractExpr TensorMapExprTensorMap2Expr TransposeExprFlipIndicesExpr FunctionExpr SomethingExpr UndefinedExpr EgisonTopExprDefineDefineWithIndicesRedefineTestExecuteLoadFileLoad InfixDecl extractIndexreservedExprInfixreservedPatternInfix stringToVarstringToVarExprvarToVarWithIndices $fShowIndex $fShowIndex0$fHashableIndex$fShowVarWithIndices $fShowVar $fHashableVar$fShowBinOpAssoc $fShowIndex1$fEqArg $fShowArg $fEqIndex$fFunctorIndex$fFoldableIndex$fGenericIndex$fTraversableIndex$fEqVarWithIndices$fEqVar $fGenericVar $fEqPMMode $fShowPMMode$fShowPrimitivePatPattern$fEqPrimitivePatPattern$fEqBinOpAssoc$fOrdBinOpAssoc $fEqInfix $fOrdInfix $fShowInfix$fEqEgisonExpr$fShowEgisonExpr$fEqEgisonPattern$fShowEgisonPattern $fEqLoopRange$fShowLoopRange$fShowPrimitiveDataPattern$fEqPrimitiveDataPattern$fShowInnerExpr $fEqInnerExpr$fShowEgisonTopExpr$fEqEgisonTopExpr EgisonOpts optExecFileoptShowVersion optEvalStringoptExecuteString optFieldInfo optLoadLibs optLoadFilesoptSubstituteStringoptMapTsvInputoptFilterTsvInput optTsvOutputoptNoIO optShowBanner optTestOnly optPrompt optMathExproptSExpr defaultOption cmdParser SymbolExprSymbolApplyQuote FunctionDataTermExprTermPolyExprPlus ScalarDataDiv SingleTermmathNormalize' mathDividemathRemoveZeromathFoldmathSymbolFold mathTermFoldmathPlusmathMult mathNegate mathNumeratormathDenominator$fShowSymbolExpr$fShowTermExpr$fShowPolyExpr$fShowScalarData $fEqTermExpr $fEqPolyExpr$fEqSymbolExpr$fEqScalarDataMListMNilMConsMatchM MonadFreshfreshfreshV pushFuncName topFuncName popFuncNamegetFuncNameStackFreshFreshTunFreshTEgisonM unEgisonM EgisonErrorUnboundVariable TypeMismatchArgumentsNumWithNamesArgumentsNumPrimitive TupleLengthInconsistentTensorShapeInconsistentTensorIndexTensorIndexOutOfBoundsNotImplemented AssertionParser EgisonBug MatchFailureDefault SeqPatContextForallPatContextLoopPatContextPatternBinding MatchingTreeMAtomMNode MatchingStateMState mStateEnv loopPatCtx seqPatCtxmStateBindingsmTreesMatchBindingEnv EgisonWHNFtoWHNFfromWHNFInnerIElementISubCollection IntermediateIInductiveDataITuple ICollectionIArrayIIntHash ICharHashIStrHashITensorWHNFDataValueObjectThunkWHNF ObjectRef EgisonDatatoEgison fromEgison HasTensor tensorElems tensorShape tensorIndices fromTensortoTensorundefShapeTensorScalar EgisonHashKeyIntKeyCharKeyStrKey PrimitiveFuncMatcher EgisonValueWorldCharStringBool TensorDataFloat InductiveDataTuple CollectionArrayIntHashCharHashStrHash UserMatcherFunc PartialFuncCFunc MemoizedFuncProc PatternFuncIOFuncPort Something UndefinedsymbolScalarDatasymbolScalarData'getSymId getSymNamemathExprToEgisonegisonToScalarData extractScalarextractScalar'nullEnv extendEnvrefVar liftError runEgisonM liftEgisonM fromEgisonM runFreshT matchFailfromListfromSeq fromMList msingletonmfoldrmappendmconcatmmapmformAny$fMonadIOFreshT$fMonadStatesFreshT$fMonadErroreFreshT$fMonadFreshWriterT$fMonadFreshReaderT$fMonadFreshExceptT$fMonadFreshStateT$fMonadFreshFreshT$fMonadFailEgisonM$fExceptionEgisonError$fShowEgisonError $fShowIORef $fShowObject$fShowWHNFData$fEqEgisonValue$fShowEgisonValue$fEgisonData(,,,)$fEgisonData(,,)$fEgisonData(,)$fEgisonData()$fEgisonData[]$fEgisonDataHandle$fEgisonDataDouble$fEgisonDataRatio$fEgisonDataInteger$fEgisonDataBool$fEgisonDataText$fEgisonDataChar$fEgisonWHNFHandle$fEgisonWHNFDouble$fEgisonWHNFInteger$fEgisonWHNFBool$fEgisonWHNFText$fEgisonWHNFChar$fHasTensorWHNFData$fHasTensorEgisonValue$fShowMatchingState $fShowMList$fFunctorFreshT$fApplicativeFreshT $fMonadFreshT$fMonadStateFreshT$fMonadTransFreshT$fFunctorEgisonM$fApplicativeEgisonM$fMonadEgisonM$fMonadIOEgisonM$fMonadErrorEgisonM$fMonadFreshEgisonM $fShowTensor $fShowEnv$fShowLoopPatContext$fShowMatchingTree$fShowSeqPatContextdesugarTopExpr desugarExprchangeOutputInLang $fEqMathIndex$fShowMathIndex $fEqMathExpr$fShowMathExprPrettySprettySprettyTopExprsshowTSV$fPrettyPrimitiveDataPattern$fPrettyPrimitivePatPattern$fPrettyLoopRange$fPrettyEgisonPattern $fPretty(,) $fPretty(,)0$fPrettyInnerExpr $fPrettyVar $fPrettyArg$fPrettyEgisonTopExpr$fComplexPrimitiveDataPattern$fComplexEgisonPattern$fComplexEgisonExpr $fPrettyIndex$fPrettyEgisonExpr$fPrettySLoopRange$fPrettySEgisonPattern$fPrettySIndex$fPrettySIndex0$fPrettySSymbolExpr$fPrettySTermExpr$fPrettySPolyExpr$fPrettySScalarData $fPrettySArg$fPrettySInnerExpr$fPrettySInfix$fPrettySVarWithIndices $fPrettySVar$fPrettySEgisonValue$fPrettySEgisonExpr initTensortToListtIndextrefenumTensorIndices changeIndex tTranspose tTranspose' tFlipIndicesappendDFscriptsremoveDFscriptstMaptMapNtMap2tSumtProduct tContract tContract'tConcattConcat'isBoolisBool' isInteger isInteger' isRational isRational'isSymbolisScalar isScalar'isTensor isTensor'isTensorWithIndexisTensorWithIndex'isFloat' isComplex'isChar' isString' isCollection'isArray'isHash' readTopExprs readTopExpr readExprsreadExpr parseTopExprs parseTopExpr parseExprs parseExprloadLibraryFileloadFile$fShowErrorComponentCustomError$fEqCustomError$fOrdCustomError getEgisonExprcompleteEgison collectDefs evalTopExpr'evalExpr evalExprDeepevalRef evalRefDeepevalWHNF applyFuncrefArray arrayBounds recursiveBind patternMatchisEmptyCollectionunconsCollectionunsnocCollection tupleToListcollectionToList primitiveEnvprimitiveEnvNoIOversion evalTopExprs evalTopExprevalEgisonExprevalEgisonTopExprevalEgisonTopExprs runEgisonExprrunEgisonTopExprrunEgisonTopExpr'runEgisonTopExprsloadEgisonFileloadEgisonLibrary initialEnv getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileNamepatInfixLiteral