!aRC|      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                 Satoshi EgiMITSafe Satoshi EgiMITNone27=?@AHMPV+UegisonFor memoizationl #!"%$ &'()*+,-./0123456789:;<=>?@ABCDEFJNGHIKLMOPQRSTUVWXYZ[\]^_`abcdefghijklmnoptrw{syuzqvx|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnol     ZYVWXBptrw{syuzqvx|}~nolmjkefghibcd[\]^_`a-./0123456789;:<=>?@A #$%"!&'()*+,RSTUOPQFJNGHIKLMCDE@AB>?<=:;98CDE7456F/0123)*+,-.(&'GH#!"%$ IJKLM N O PQRSTUVWXY[]_`bdZ\^afgcehijklmno Satoshi EgiMITNone=?M) Safe)  Satoshi EgiMITNone>P*egisonLoad a libary fileegison Load a file   Satoshi EgiMITNone>P,begisonLoad a libary fileegison Load a file   Satoshi EgiMITNone0egisonEGet Egison expression from the prompt. We can handle multiline input.egisonEGet Egison expression from the prompt. We can handle multiline input.egisonComplete Egison keywords Satoshi EgiMITNone%P0 Satoshi EgiMITNone>1     Satoshi EgiMITNone=L egisonVersion number egisoneval an Egison expression egisoneval an Egison top expressionegisoneval Egison top expressionsegison8eval Egison top expressions and execute test expressionsegison5eval an Egison expression. Input is a Haskell string.egison9eval an Egison top expression. Input is a Haskell string.egison9eval an Egison top expression. Input is a Haskell string.egison7eval Egison top expressions. Input is a Haskell string.egisonBeval Egison top expressions without IO. Input is a Haskell string.egisonload an Egison fileegisonload an Egison libraryegison(Environment that contains core librariesegison>Environment that contains core libraries without IO primitives| #!"%$ &'()*+,-./0123456789:;<=>?@ABCDEFJNGHIKLMOPQRSTUVWXYZ[\]^_`abcdefghijklmnoptrw{syuzqvx|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmno        !    !"#$%&'()*+,-.//01123456789:;<=*>?@@AABBCDEFGHIJKLMNOPQRISTUVWXYZ[\]^_`abcddefghijklmnopqrstuovwxyz{|}~[      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                      $egison-3.7.13-F5Efag1klsw4akcrVFOOvfLanguage.Egison.MathOutputLanguage.Egison.TypesLanguage.Egison.DesugarLanguage.Egison.ParserNonSLanguage.Egison.ParserLanguage.Egison.UtilLanguage.Egison.CoreLanguage.Egison.PrimitivesLanguage.Egison Paths_egisonmathExprToHaskellmathExprToAsciiMathmathExprToLatexmathExprToMathematica $fEqMathIndex$fShowMathIndex $fEqMathExpr$fShowMathExprMListMNilMConsMatchM MonadFreshfreshfreshVFreshFreshTunFreshTEgisonM unEgisonM EgisonErrorUnboundVariable TypeMismatchArgumentsNumWithNamesArgumentsNumPrimitive ArgumentsNumInconsistentTensorSizeInconsistentTensorIndexTensorIndexOutOfBoundsNotImplemented AssertionMatchParserDesugar EgisonBugDefaultLoopPatContextPatternBindingMatchingStates _normalTree_orderedOrTrees_ids_bool MatchingTreeMAtomMNode MatchingStateMStatePMModeBFSModeDFSModeIdBindingVarWithIndicesVarEnv EgisonWHNFtoWHNFfromWHNFInnerIElementISubCollection IntermediateIInductiveDataITuple ICollectionIArrayIIntHash ICharHashIStrHashITensorWHNFDataValueObjectThunkWHNF ObjectRef EgisonDatatoEgison fromEgison PrimitiveFuncMatcher HasTensor tensorElems tensorSize tensorIndices fromTensortoTensorundefTensorScalar SymbolExprSymbolApplyQuote FunctionDataTermExprTermPolyExprPlus ScalarDataDiv EgisonValueWorldCharStringBool TensorDataFloat InductiveDataTuple CollectionArrayIntHashCharHashStrHash UserMatcherFunc PartialFuncCFunc MemoizedFuncProcMacro PatternFuncIOFunc QuotedFuncPort Something UndefinedEOFPrimitiveDataPattern PDWildCardPDPatVarPDInductivePat PDTuplePat PDEmptyPat PDConsPat PDSnocPat PDConstantPatPrimitivePatPattern PPWildCardPPPatVar PPValuePatPPInductivePat LoopRange EgisonPatternWildCardPatVarValuePatPredPat IndexedPatLetPatNotPatAndPatOrPat OrderedOrPat' OrderedOrPatTuplePat InductivePatLoopPatContPat PApplyPatVarPat DApplyPatDivPatPlusPatMultPatPowerPatDFSPat'DFSPatBFSPat MatcherInfo MatchClause BindingExpr InnerExpr ElementExprSubCollectionExprIndex Subscript Superscript SupSubscriptMultiSubscriptMultiSuperscriptDFscript Userscript DotSubscript DotSupscriptArg ScalarArgInvertedScalarArg TensorArg EgisonExprCharExpr StringExprBoolExpr IntegerExpr FloatExprVarExpr FreshVarExpr IndexedExpr SubrefsExpr SuprefsExpr UserrefsExpr PowerExprInductiveDataExpr TupleExprCollectionExpr ArrayExprHashExpr VectorExpr LambdaExpr LambdaArgExprMemoizedLambdaExpr MemoizeExpr CambdaExpr ProcedureExpr MacroExprPatternFunctionExprIfExpr LetRecExprLetExpr LetStarExprWithSymbolsExpr MatchExpr MatchAllExprMatchLambdaExprMatchAllLambdaExpr NextMatchExprNextMatchAllExprNextMatchLambdaExprNextMatchAllLambdaExpr MatcherExprMatcherDFSExprAlgebraicDataMatcherExpr QuoteExprQuoteSymbolExpr WedgeExprWedgeApplyExprDoExprIoExprSeqExpr ApplyExpr CApplyExpr PartialExprPartialVarExpr RecVarExprGenerateArrayExprArrayBoundsExpr ArrayRefExprParExprPseqExprPmapExprGenerateTensorExpr TensorExprTensorContractExpr TensorMapExprTensorMap2Expr TransposeExprFlipIndicesExpr FunctionExprSymbolicTensorExpr SomethingExpr UndefinedExpr EgisonTopExprDefineRedefineTestExecuteLoadFileLoadsymbolScalarDatagetSymId getSymNamemathExprToEgisonegisonToScalarDatamathNormalize' mathDividemathRemoveZeromathFoldmathSymbolFold mathTermFoldmathPlusmathMult mathNegate mathNumeratormathDenominator extractScalarextractScalar' initTensortSizetToListtIndextrefenumTensorIndiceschangeIndexList tTranspose tTranspose' tFlipIndicesappendDFscriptsremoveDFscriptstMaptMapNtMap2tSumtProduct tContract tContract'tConcattConcat'showTSVnullEnv extendEnvrefVarpmModetopDFS containBFS liftError parallelMapM runEgisonM liftEgisonM fromEgisonM runFreshT matchFailfromListfromSeq fromMList msingletonmfoldrmappendmconcatmmapmforisBoolisBool' isInteger isInteger' isRational isRational'isSymbolisScalar isScalar'isTensor isTensor'isTensorWithIndexisTensorWithIndex'isFloat' isComplex'isChar' isString' isCollection'isArray'isHash' readUTF8File stringToVarvarToVarWithIndices $fShowArg $fShowIndex $fShowIndex0$fHashableIndex $fShowVar $fHashableVar$fShowVarWithIndices $fShowIndex1$fShowEgisonExpr$fMonadIOFreshT$fMonadStatesFreshT$fMonadErroreFreshT$fMonadFreshWriterT$fMonadFreshReaderT$fMonadFreshExceptT$fMonadFreshStateT$fMonadFreshFreshT$fMonadFailEgisonM$fExceptionEgisonError$fShowEgisonError $fShowIndex2 $fShowIndex3 $fShowIORef $fShowObject$fShowWHNFData$fEqEgisonValue$fShowSymbolExpr$fShowTermExpr$fShowPolyExpr$fShowScalarData$fShowEgisonValue $fEqTermExpr $fEqPolyExpr$fEgisonData(,,,)$fEgisonData(,,)$fEgisonData(,)$fEgisonData()$fEgisonData[]$fEgisonDataHandle$fEgisonDataDouble$fEgisonDataRatio$fEgisonDataInteger$fEgisonDataBool$fEgisonDataText$fEgisonDataChar$fEgisonWHNFHandle$fEgisonWHNFDouble$fEgisonWHNFInteger$fEgisonWHNFBool$fEgisonWHNFText$fEgisonWHNFChar$fShowMatchingState$fHasTensorWHNFData$fHasTensorEgisonValue $fShowMList$fEqArg $fEqIndex$fGenericIndex$fShowPrimitivePatPattern$fEqPrimitivePatPattern$fEqVar $fGenericVar$fEqVarWithIndices$fShowEgisonPattern$fEqEgisonPattern$fShowLoopRange $fEqLoopRange$fEqEgisonExpr$fShowPrimitiveDataPattern$fEqPrimitiveDataPattern$fShowInnerExpr $fEqInnerExpr$fShowEgisonTopExpr$fEqEgisonTopExpr $fShowPMMode$fFunctorFreshT$fApplicativeFreshT $fMonadFreshT$fMonadStateFreshT$fMonadTransFreshT$fFunctorEgisonM$fApplicativeEgisonM$fMonadEgisonM$fMonadIOEgisonM$fMonadErrorEgisonM$fMonadFreshEgisonM $fShowTensor $fShowEnv$fEqScalarData$fEqSymbolExpr$fShowLoopPatContext$fShowMatchingTree$fShowMatchingStatesboolids normalTreeorderedOrTreesDesugarM runDesugarMdesugarTopExpr desugarExprdesugar$fMonadFailDesugarM$fFunctorDesugarM$fApplicativeDesugarM$fMonadDesugarM$fMonadErrorDesugarM$fMonadFreshDesugarM$fMonadReaderDesugarM readTopExprs readTopExpr readExprsreadExpr parseTopExprs parseTopExpr parseExprs parseExprloadLibraryFileloadFile getEgisonExprgetEgisonExprOrNewLinecompleteEgison evalTopExprsevalTopExprsTestOnlyevalTopExprsNoIO evalTopExpr evalTopExpr'evalExpr evalExprDeepevalRef evalRefDeepevalWHNF applyFuncrefArray arrayBounds recursiveBind patternMatchisEmptyCollectionunconsCollectionunsnocCollection tupleToListcollectionToListpackStringValue primitiveEnvprimitiveEnvNoIOversionevalEgisonExprevalEgisonTopExprevalEgisonTopExprsevalEgisonTopExprsTestOnly runEgisonExprrunEgisonTopExprrunEgisonTopExpr'runEgisonTopExprsrunEgisonTopExprsNoIOloadEgisonFileloadEgisonLibrary initialEnvinitialEnvNoIO getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName