Îõ³h,l S      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁ 0.1.0.2 Safe-Inferred†: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"/:ÄÎÙÛÜÞåìíñÿX  ProtocolError!XFold" XTraverse#Protocol( MsgOrLabel+BranchSt-ForallX4 xtraverse5xfold(54+,-(*)#$%&' 10!/23."(3210/.-+,(*)#'&%$"4!5 $  Safe-InferredíÖDCEBFGAGFEDCBAD  Safe-InferredÙÞåñ XWQRVZYSUPN[Oa`^]\bc_dLMTHIJKIKJHLMNOPQRSTUVWXYZ[\]^_`abcdNone"/:ÄÎÙÛÜÞåìíñÿ mkjnoilijklmnoNone 'ÄÙÛÜÞåæñ Ï"‡Œ…‘Žˆ‰„†Š‹}~€‚ƒpyvtquxrz{sw|"ƒ‚„…†}~€‡ˆ|‰Šp{zyxwvutsrq‹ŒŽ‘None"/:ÄÎÓÙÛÜÞåæìíñÿ w ¢¦©§³²­«ª¬¤°¯±®¡¨¥£›œžŸ•–˜š™—žŸ ¡¢£›œ¤¥¦§¨©ª«¬­•—˜™š–®¯°±²³None"'/:ÄÎÙÛÜÞåæìíñÿ 2À¿Á¾½»¼»¼½¾¿ÀÁ     !"#$%&'()*+,-./01234556789:;<=>?@ABCDEFGHI10/.543JKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–––—–˜–™–š›œžžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁ-typed-session-state-algorithm-0.1.0.2-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 ProtocolErrorDefLabelMultTimesLabelUndefined#BranchFirstMsgMustHaveTheSameSenderUndecideStateCanNotSendMsgUndecideStateCanNotStartBranchTerminalNeedAllRoleDecideBranchAtLeastOneBranchXFold 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 PipleResultstBounddnySetmsgT1msgTCurrStDecideUndecideIndexaddIdxXTraversereRankXTraverseaddNumsXTraversetoGenConstrXTraverse getRCurrStrestoreWrapper1checkProtXFoldgenConstrXFold replXTraversecollectBranchDynValXFoldgenTgenMsgTXTraverse getFirstXVgenMsgT1XTraversereRankpiple'piplepipleWithTracer genDocXFoldgenDoc $fShowCurrSt $fEqCurrSt $fOrdCurrSt $fShowIndex $fEqIndex $fOrdIndex $fNumIndexgenRolegenSt genProtInsgenGraph genAllDoc' genAllDoc genAllFile