Îõ³h,– ݲ      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°± 0.1.0.1 Safe-Inferred6:Constraint 1 ~ 2 = Constraint 1 2 2 ~ 3 = Constraint 2 3?bigSwapConstr >>> bigSwapConstr (Constraint 1 2) Constraint 2 1ëfindNewConstraint >>> findNewConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [[Constraint 3 2]]stepConstraint >>> stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 3 1,Constraint 4 2,Constraint 4 1] constraintLoop >>> constraintLoop [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 2 1,Constraint 3 1,Constraint 4 1]0------------------------------------------------?stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3].[Constraint 3 1,Constraint 4 2,Constraint 4 1]ÀfindNewConstraint [Constraint 3 1,Constraint 4 2,Constraint 4 1][[Constraint 2 1]]ÓstepConstraint ([Constraint 3 1,Constraint 4 2,Constraint 4 1] <> [Constraint 2 1]).[Constraint 2 1,Constraint 3 1,Constraint 4 1] ïconstrToSubMap >>> constrToSubMap [Constraint 3 1, Constraint 4 2, Constraint 4 3] fromList [(2,1),(3,1),(4,1)]     Safe-Inferred"/:ÄÎÙÛÜÞåìíñÿ  ProtocolError XFold! XTraverse"Protocol' MsgOrLabel*BranchSt,ForallX3 xtraverse4xfold'43*+,')("#$%&0/ .12-!'210/.-,*+')("&%$#!3 4#  Safe-Inferredí„CBDAEF@FEDCBA@C  Safe-InferredÙÞåñÈWVPQUYXRTOMZN`_]\[ab^cKLSGHIJHJIGKLMNOPQRSTUVWXYZ[\]^_`abcNone"/:ÄÎÙÛÜÞåìíñÿ >ljimnhkhijklmnNone 'ÄÙÛÜÞåæñ }"†‹„‡ˆŒƒ…‰ŽŠ|}~€‚oxusptwqyzrv{"€‚ƒ„…|~}†‡{ˆ‰ozyxwvutsrqpŠ‹ŒŽNone"/:ÄÎÙÛÜÞåæìíñÿ !šœ žª©¤¢¡£§¦¨¥›Ÿ”•—™˜–š›œžŸ ¡¢£¤”–—˜™•¥¦§¨©ªNone"'/:ÄÎÙÛÜÞåæìíñÿ ¼°¯±®­«¬«¬­®¯°±²     !"#$%&'()*+,-./01234456789:;<=>?@ABCDEFGH0/.-432IJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~~~~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•••–•—•˜•™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²-typed-session-state-algorithm-0.1.0.1-inplaceTypedSession.State.ConstraintTypedSession.State.TypeTypedSession.State.PatternTypedSession.State.ParserTypedSession.State.UtilsTypedSession.State.RenderTypedSession.State.PipleTypedSession.State.GenDoctyped-session-state-algorithm5SubMap ConstrainttoTuple bigSwapConstrsubFunreplacefindNewConstraintstepConstraintconstraintLoopconstrToSubMap$fShowConstraint$fEqConstraint$fOrdConstraintMsgT1MsgTTTNumBstListTAnyTEndGenConstAddNumsIdxCreat ProtocolErrorAtLeastTwoBranchesDefLabelMultTimesLabelUndefined BranchNoMsg#BranchFirstMsgMustHaveTheSameSender BranchNotNotifyAllOtherReceiversXFold XTraverseProtocol:>BranchGotoTerminal MsgOrLabelMsgLabelBranchStForallX XTerminalXGoto XBranchStXBranchXLabelXMsg xtraversexfold$fShowMsgOrLabel$fPrettyMsgOrLabel$fShowProtocol$fShowBranchSt$fPrettyProtocol$fPrettyBranchSt$fShowProtocolError$fShowT$fFunctorProtocol$fFunctorBranchSt$fFunctorMsgOrLabelParser ParserError EmptyInputTheFirstLetterNotCapitalized spaceConsumersymbollexememsglabelbranchbranchStgototerminalintegercommabracketsbracesdbg constrOrType mkParserAparseMsg parseLabel parseGoto parseTerminal parseBranchSt parseBranchparseMsgOrLabel parseProtocolrunProtocolParser$fShowErrorComponentParserError$fShowParserError$fEqParserError$fOrdParserErrorrestoreWrappergetFirstMsgInfo getAllMsgInfotellSeqcompressSubMap replaceList replaceValTracerTracerProtocolCreatTracerProtocolIdx TracerReRankTracerProtocolAddNumTracerProtocolGenConstTracerConstraints TracerSubMapTracerProtocolGenConstNTracerCollectBranchDynValTracerProtocolMsgTTracerProtocolMsgT1 XStringFill StrFillEnv leftWidthwidth StringFill CenterFill LeftAlign runCenterFillgetPointrunCenterFillsdefaultStrFilEnvreSt renderXFold runRender traceWrapperfoortopsrRangetoostMsgTparensWarapper $fShowTracer$fShowStrFillEnv$fShowStringFill PipleResultstBounddnySetmsgT1msgTaddIdxXTraversereRankXTraverseaddNumsXTraversetoGenConstrXTraversegenConstrXFold replXTraversecollectBranchDynValXFoldgenTgenMsgTXTraverse getFirstXVgenMsgT1XTraversereRankpiple'piplepipleWithTracer genDocXFoldgenDocgenRolegenSt genProtInsgenGraph genAllDoc' genAllDoc genAllFile