!`A3,      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~           ! " # $ % & ' ( ) * +  Satoshi EgiMITSafe Satoshi EgiMITNone 27=?@AHMV_eegisonFor memoization " !#$%&'()*59,2710+-./3468:;<=>?@ABCDEFGHIJKLMNOPQRSTUVZ^WXY[\]_`abcdefghijklmnopqrstuvxwyz{|}~      !"#$%&'()/,*+-.0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~)/,*+-.      !"#$%&'(jifghX0~|}z{uvxwyrstklmnopqCDEFGHIJKLMNOQPRSTUVW1234569:;87<=>?@ABbcde_`aVZ^WXY[\]STUPQRNOLMJKIHYZ[GDEF?@ABC><=:;*59,2710+-./3468\'()]^_$%&#" !`abcdefghijkmoqrtvlnpsxyuwz{|}~  Satoshi EgiMITNone=?*z Satoshi EgiMITNone=?MP_+ Safe+h,-./0123 Satoshi EgiMITNoneP`,egisonLoad a libary fileegison Load a file   Satoshi EgiMITNone>P.IegisonLoad a libary fileegison Load a file   Satoshi EgiMITNone0egisonEGet Egison expression from the prompt. We can handle multiline input.egisonComplete Egison keywords Satoshi EgiMITNone%P_`1a            Satoshi EgiMITNone>_2q  Satoshi EgiMITNoneP: egisonVersion number"egisoneval an Egison expression#egisoneval an Egison top expression$egisoneval Egison top expressions%egison5eval 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.)egisonload an Egison file*egisonload an Egison library+egison(Environment that contains core libraries " !#$%&'()*59,2710+-./3468:;<=>?@ABCDEFGHIJKLMNOPQRSTUVZ^WXY[\]_`abcdefghijklmnopqrstuvxwyz{|}~      !"#$%&'()/,*+-.0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~ !"#$%&'()*+  !"#$%&'(*)+4   !"#$%&'()*+,-.//01123456789:;<=>?@ABCCDDEFGHIJKLMNOPQQRRSSTUVWXYZ[\]^_`abcZdefghijklmnopqrstuuvwxyz{|}~l      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                         ! " # $ % &'#egison-3.9.4-6H187mwiD8A29sSrCiIPzjLanguage.Egison.MathOutputLanguage.Egison.TypesLanguage.Egison.PrettyLanguage.Egison.DesugarLanguage.Egison.ParserNonSLanguage.Egison.ParserLanguage.Egison.UtilLanguage.Egison.CoreLanguage.Egison.PrimitivesLanguage.Egison Paths_egisonchangeOutputInLang $fEqMathIndex$fShowMathIndex $fEqMathExpr$fShowMathExpr EgisonOpts optExecFileoptShowVersion optEvalStringoptExecuteString optFieldInfo optLoadLibs optLoadFilesoptSubstituteStringoptMapTsvInputoptFilterTsvInput optTsvOutputoptNoIO optShowBanner optTestOnly optPrompt optMathExproptSExprMListMNilMConsMatchM MonadFreshfreshfreshV pushFuncName topFuncName popFuncNamegetFuncNameStackFreshFreshTunFreshTEgisonM unEgisonM EgisonErrorUnboundVariable TypeMismatchArgumentsNumWithNamesArgumentsNumPrimitive TupleLengthInconsistentTensorSizeInconsistentTensorIndexTensorIndexOutOfBoundsNotImplemented AssertionParserParserUnexpectedEOF EgisonBug MatchFailureDefault SeqPatContextLoopPatContextPatternBinding MatchingTreeMAtomMNode MatchingStateMStatePMModeBFSModeDFSModeMatchIdBindingVarWithIndicesVarEnv 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 UndefinedEOF BinOpAssoc LeftAssoc RightAssocNonAssoc EgisonBinOpreprfuncpriorityassocisWedgePrimitiveDataPattern PDWildCardPDPatVarPDInductivePat PDTuplePat PDEmptyPat PDConsPat PDSnocPat PDConstantPatPrimitivePatPattern PPWildCardPPPatVar PPValuePatPPInductivePat PPTuplePat LoopRange EgisonPatternWildCardPatVarValuePatPredPat IndexedPatLetPatLaterPatNotPatAndPatOrPatTuplePat InductivePatLoopPatContPat PApplyPatVarPat SeqNilPat SeqConsPat LaterPatVar DApplyPatDivPatPlusPatMultPatPowerPat PatternDef 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 MatchDFSExpr MatchAllExprMatchAllDFSExprMatchLambdaExprMatchAllLambdaExpr MatcherExprAlgebraicDataMatcherExpr QuoteExprQuoteSymbolExprWedgeApplyExprDoExprIoExpr UnaryOpExpr BinaryOpExprSeqExpr ApplyExpr CApplyExpr PartialExprPartialVarExprGenerateArrayExprArrayBoundsExpr ArrayRefExprGenerateTensorExpr TensorExprTensorContractExpr TensorMapExprTensorMap2Expr TransposeExprFlipIndicesExpr FunctionExprSymbolicTensorExpr SomethingExpr UndefinedExpr EgisonTopExprDefineRedefineTestExecuteLoadFileLoadreservedBinopssymbolScalarDatagetSymId getSymNamemathExprToEgisonegisonToScalarDatamathNormalize' mathDividemathRemoveZeromathFoldmathSymbolFold mathTermFoldmathPlusmathMult mathNegate mathNumeratormathDenominator extractScalarextractScalar' initTensortSizetToListtIndextrefenumTensorIndiceschangeIndexList tTranspose tTranspose' tFlipIndicesappendDFscriptsremoveDFscriptstMaptMapNtMap2tSumtProduct tContract tContract'tConcattConcat'showTSVnullEnv extendEnvrefVar liftError runEgisonM liftEgisonM fromEgisonM runFreshT matchFailfromListfromSeq fromMList msingletonmfoldrmappendmconcatmmapmforisBoolisBool' isInteger isInteger' isRational isRational'isSymbolisScalar isScalar'isTensor isTensor'isTensorWithIndexisTensorWithIndex'isFloat' isComplex'isChar' isString' isCollection'isArray'isHash' readUTF8File stringToVarstringToVarExprvarToVarWithIndices defaultOption $fShowArg $fShowIndex $fShowIndex0$fHashableIndex$fShowBinOpAssoc$fShowEgisonBinOp $fShowVar $fHashableVar $fShowIndex1$fShowLoopRange$fShowEgisonPattern$fShowEgisonExpr$fShowVarWithIndices$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$fEqBinOpAssoc$fOrdBinOpAssoc$fEqEgisonBinOp$fOrdEgisonBinOp$fEqVar $fGenericVar$fEqEgisonExpr$fEqEgisonPattern $fEqLoopRange$fShowPrimitiveDataPattern$fEqPrimitiveDataPattern$fShowInnerExpr $fEqInnerExpr$fShowEgisonTopExpr$fEqEgisonTopExpr$fEqVarWithIndices $fShowPMMode$fFunctorFreshT$fApplicativeFreshT $fMonadFreshT$fMonadStateFreshT$fMonadTransFreshT$fFunctorEgisonM$fApplicativeEgisonM$fMonadEgisonM$fMonadIOEgisonM$fMonadErrorEgisonM$fMonadFreshEgisonM $fShowTensor $fShowEnv$fEqScalarData$fEqSymbolExpr$fShowLoopPatContext$fShowSeqPatContext$fShowMatchingTreeprettyTopExprs$fPrettyEgisonPattern$fPrettyInnerExpr $fPrettyVar $fPrettyArg$fPrettyEgisonExpr$fPrettyEgisonTopExprdesugarTopExpr 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