!bBG<      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ;  Satoshi EgiMITSafe7=?  ,' !"#$%&()*+-./0123456789:;<=>?@ABCDEFGHIJKLMNwaOPQRSTUVWXYZ[\]^_`bcdefghijklmnopqrstuvxyz{|}~NwaOPQRSTUVWXYZ[\]^_`bcdefghijklmnopqrstuvxyz{|}~,' !"#$%&()*+-./01234LMHIJK>?@ABCDEFG89:;<=765    Satoshi EgiMITSafe" Satoshi EgiMITSafe# Satoshi EgiMITNone2=?@AM_$egisonFor memoization      !"#$%&'(*)+,-./01234786;?Q=K9D>5:<@ABCEFGHIJLMNOPRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~4786;?Q=K9D>5:<@ABCEFGHIJLMNOP3201./,-'(*)+$%& !"#defghijklmnoprqstuvwxRSTUVWZ[\YX]^_`abc     yz{|}~ Satoshi EgiMITNone=?+ Satoshi EgiMITNone=?MP_, Safe,<=>?@ABC Satoshi EgiMITNoneP`.AegisonLoad a libary file egison Load a file    Satoshi EgiMITNone>P/egisonLoad a libary fileegison Load a file      Satoshi EgiMITNone2AegisonEGet Egison expression from the prompt. We can handle multiline input.egisonComplete Egison keywords  Satoshi EgiMITNone%P_`2 !"#$%&'()* !"#$%&'()*  Satoshi EgiMITNone>_3+,-.+,-.  Satoshi EgiMITNoneP<7 /egisonVersion number2egisoneval an Egison expression3egisoneval an Egison top expression4egisoneval Egison top expressions5egison5eval an Egison expression. Input is a Haskell string.6egison9eval an Egison top expression. Input is a Haskell string.7egison9eval an Egison top expression. Input is a Haskell string.8egison7eval Egison top expressions. Input is a Haskell string.9egisonload an Egison file:egisonload an Egison library;egison(Environment that contains core librariesu  ,' !"#$%&()*+-./0123456789:;<=>?@ABCDEFGHIJKLMNwaOPQRSTUVWXYZ[\]^_`bcdefghijklmnopqrstuvxyz{|}~      !"#$%&'(*)+,-./01234786;?Q=K9D>5:<@ABCEFGHIJLMNOPRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~+,-./0123456789:; 012345678:9;/D !"#$%&''()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&''()*+,-./0123456789:2;<=>?@ABCDEFGHIJK4LMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                         ! " # $ % & ' ( ) * + , - . / # 0 1 2 3 4 5 67$egison-3.10.0-GCnaxZ9Gpab8hMhKDvQoozLanguage.Egison.ASTLanguage.Egison.CmdOptionsLanguage.Egison.MathOutputLanguage.Egison.TypesLanguage.Egison.PrettyLanguage.Egison.DesugarLanguage.Egison.ParserNonSLanguage.Egison.ParserLanguage.Egison.UtilLanguage.Egison.CoreLanguage.Egison.PrimitivesLanguage.Egison Paths_egison BinOpAssoc LeftAssoc RightAssocNonAssoc EgisonBinOpreprfuncpriorityassocisWedgePrimitiveDataPattern PDWildCardPDPatVarPDInductivePat PDTuplePat PDEmptyPat PDConsPat PDSnocPat PDConstantPatPrimitivePatPattern PPWildCardPPPatVar PPValuePatPPInductivePat PPTuplePat LoopRange EgisonPatternWildCardPatVarValuePatPredPat IndexedPatLetPatLaterPatNotPatAndPatOrPatTuplePat InductivePatLoopPatContPat PApplyPatVarPat SeqNilPat SeqConsPat LaterPatVar DApplyPatDivPatPlusPatMultPatPowerPat PatternDef MatchClause BindingExprPMModeBFSModeDFSMode InnerExpr ElementExprSubCollectionExprIndex Subscript Superscript SupSubscriptMultiSubscriptMultiSuperscriptDFscript Userscript DotSubscript DotSupscriptArg ScalarArgInvertedScalarArg TensorArgVar EgisonExprCharExpr StringExprBoolExpr IntegerExpr FloatExprVarExpr FreshVarExpr IndexedExpr SubrefsExpr SuprefsExpr UserrefsExpr PowerExprInductiveDataExpr TupleExprCollectionExpr ArrayExprHashExpr VectorExpr LambdaExpr LambdaArgExprMemoizedLambdaExpr MemoizeExpr CambdaExpr ProcedureExpr MacroExprPatternFunctionExprIfExpr LetRecExprLetExpr LetStarExprWithSymbolsExpr MatchExpr MatchAllExprMatchLambdaExprMatchAllLambdaExpr MatcherExprAlgebraicDataMatcherExpr QuoteExprQuoteSymbolExprWedgeApplyExprDoExprIoExpr UnaryOpExpr BinaryOpExprSeqExpr ApplyExpr CApplyExpr PartialExprPartialVarExprGenerateArrayExprArrayBoundsExpr ArrayRefExprGenerateTensorExpr TensorExprTensorContractExpr TensorMapExprTensorMap2Expr TransposeExprFlipIndicesExpr FunctionExpr SomethingExpr UndefinedExpr EgisonTopExprDefineRedefineTestExecuteLoadFileLoadreservedBinops stringToVarstringToVarExpr $fShowArg $fShowIndex $fShowIndex0$fHashableIndex $fShowVar $fHashableVar$fShowBinOpAssoc$fShowEgisonBinOp$fShowLoopRange$fShowEgisonPattern $fShowIndex1$fShowEgisonExpr$fEqArg $fEqIndex$fGenericIndex$fEqVar $fGenericVar $fEqPMMode $fShowPMMode$fShowPrimitivePatPattern$fEqPrimitivePatPattern$fEqBinOpAssoc$fOrdBinOpAssoc$fEqEgisonBinOp$fOrdEgisonBinOp$fEqEgisonExpr$fEqEgisonPattern $fEqLoopRange$fShowPrimitiveDataPattern$fEqPrimitiveDataPattern$fShowInnerExpr $fEqInnerExpr$fShowEgisonTopExpr$fEqEgisonTopExpr EgisonOpts optExecFileoptShowVersion optEvalStringoptExecuteString optFieldInfo optLoadLibs optLoadFilesoptSubstituteStringoptMapTsvInputoptFilterTsvInput optTsvOutputoptNoIO optShowBanner optTestOnly optPrompt optMathExproptSExpr defaultOption cmdParserchangeOutputInLang $fEqMathIndex$fShowMathIndex $fEqMathExpr$fShowMathExprMListMNilMConsMatchM MonadFreshfreshfreshV pushFuncName topFuncName popFuncNamegetFuncNameStackFreshFreshTunFreshTEgisonM unEgisonM EgisonErrorUnboundVariable TypeMismatchArgumentsNumWithNamesArgumentsNumPrimitive TupleLengthInconsistentTensorSizeInconsistentTensorIndexTensorIndexOutOfBoundsNotImplemented AssertionParser EgisonBug MatchFailureDefault SeqPatContextLoopPatContextPatternBinding MatchingTreeMAtomMNode MatchingStateMStateMatchBindingVarWithIndicesEnv EgisonWHNFtoWHNFfromWHNFInnerIElementISubCollection IntermediateIInductiveDataITuple ICollectionIArrayIIntHash ICharHashIStrHashITensorWHNFDataValueObjectThunkWHNF ObjectRef EgisonDatatoEgison fromEgison HasTensor tensorElems tensorSize tensorIndices fromTensortoTensorundefTensorScalar SymbolExprSymbolApplyQuote FunctionDataTermExprTermPolyExprPlus ScalarDataDiv PrimitiveFuncMatcher EgisonValueWorldCharStringBool TensorDataFloat InductiveDataTuple CollectionArrayIntHashCharHashStrHash UserMatcherFunc PartialFuncCFunc MemoizedFuncProcMacro PatternFuncIOFunc QuotedFuncPort Something UndefinedEOFsymbolScalarDatagetSymId getSymNamemathExprToEgisonegisonToScalarDatamathNormalize' mathDividemathRemoveZeromathFoldmathSymbolFold mathTermFoldmathPlusmathMult mathNegate mathNumeratormathDenominator extractScalarextractScalar' initTensortSizetToListtIndextrefenumTensorIndiceschangeIndexList tTranspose tTranspose' tFlipIndicesappendDFscriptsremoveDFscriptstMaptMapNtMap2tSumtProduct tContract tContract'tConcattConcat'nullEnv extendEnvrefVarvarToVarWithIndices liftError runEgisonM liftEgisonM fromEgisonM runFreshT matchFailfromListfromSeq fromMList msingletonmfoldrmappendmconcatmmapmforisBoolisBool' isInteger isInteger' isRational isRational'isSymbolisScalar isScalar'isTensor isTensor'isTensorWithIndexisTensorWithIndex'isFloat' isComplex'isChar' isString' isCollection'isArray'isHash'$fShowVarWithIndices$fMonadIOFreshT$fMonadStatesFreshT$fMonadErroreFreshT$fMonadFreshWriterT$fMonadFreshReaderT$fMonadFreshExceptT$fMonadFreshStateT$fMonadFreshFreshT$fMonadFailEgisonM$fExceptionEgisonError$fShowEgisonError $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$fHasTensorWHNFData$fHasTensorEgisonValue$fShowMatchingState $fShowMList$fEqVarWithIndices$fFunctorFreshT$fApplicativeFreshT $fMonadFreshT$fMonadStateFreshT$fMonadTransFreshT$fFunctorEgisonM$fApplicativeEgisonM$fMonadEgisonM$fMonadIOEgisonM$fMonadErrorEgisonM$fMonadFreshEgisonM $fShowTensor $fShowEnv$fEqScalarData$fEqSymbolExpr$fShowLoopPatContext$fShowMatchingTree$fShowSeqPatContextPrettySprettySprettyTopExprsshowTSV$fPrettyEgisonPattern $fPretty(,) $fPretty(,)0$fPrettyInnerExpr $fPrettyVar $fPrettyArg$fPrettyEgisonExpr$fPrettyEgisonTopExpr$fPrettySLoopRange$fPrettySEgisonPattern$fPrettySIndex$fPrettySIndex0$fPrettySIndex1$fPrettySSymbolExpr$fPrettySTermExpr$fPrettySPolyExpr$fPrettySScalarData $fPrettySArg$fPrettySInnerExpr$fPrettySEgisonBinOp$fPrettySVarWithIndices $fPrettySVar$fPrettySEgisonValue$fPrettySEgisonExprdesugarTopExpr desugarExpr readTopExprs readTopExpr readExprsreadExpr parseTopExprs parseTopExpr parseExprs parseExprloadLibraryFileloadFile$fShowErrorComponentCustomError$fEqCustomError$fOrdCustomError getEgisonExprcompleteEgison collectDefs evalTopExpr'evalExpr evalExprDeepevalRef evalRefDeepevalWHNF applyFuncrefArray arrayBounds recursiveBind patternMatchisEmptyCollectionunconsCollectionunsnocCollection tupleToListcollectionToListpackStringValue primitiveEnvprimitiveEnvNoIO primitiveEnv'primitiveEnvNoIO'version evalTopExprs evalTopExprevalEgisonExprevalEgisonTopExprevalEgisonTopExprs runEgisonExprrunEgisonTopExprrunEgisonTopExpr'runEgisonTopExprsloadEgisonFileloadEgisonLibrary initialEnv getBinDir getLibDir getDynLibDir getDataDir getLibexecDir getSysconfDirgetDataFileName