h, ,      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghi0.4.0.0 Safe-Inferred:Constraint 1 ~ 2 = Constraint 1 2 2 ~ 3 = Constraint 2 3j?bigSwapConstr >>> bigSwapConstr (Constraint 1 2) Constraint 2 1kfindNewConstraint >>> findNewConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [[Constraint 3 2]]lstepConstraint >>> stepConstraint [Constraint 3 1, Constraint 4 2, Constraint 4 3] [Constraint 3 1,Constraint 4 2,Constraint 4 1]mconstraintLoop >>> 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,Protocol1 MsgOrLabel4BranchSt6ForallX= xtraverse>xfold:?@>=456132,-./0 ('#!")&$% :9*8;<7+:<;:987645123,0/.-+=*> )('&%$#"!?@ - Safe-InferredRMMNone"/:nopqrstuNone'NNNone"'/: b`aYZ[]_^\ `abYZ_^]\[       !"#$%&'()*+,-./0123456789:;<<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_```a`b`c`d`efghijklmnopqrstuvwxyz{-typed-session-state-algorithm-0.4.0.0-inplaceTypedSession.State.ConstraintTypedSession.State.TypeTypedSession.State.ParserTypedSession.State.RenderTypedSession.State.Pipelinetyped-session-state-algorithm5TypedSession.State.UtilsSubMap ConstraintconstrToSubMap$fShowConstraint$fEqConstraint$fOrdConstraintMsgT1MsgTTTNumBstListTAnyTEndGenConstAddNumsIdxCreatTracerTracerProtocolCreatTracerProtocolIdx TracerReRankTracerProtocolAddNumTracerProtocolGenConstTracerConstraints TracerSubMapTracerProtocolGenConstNTracerVerifyResultTracerCollectBranchDynValTracerProtocolMsgTTracerProtocolMsgT1TracerBranchResultTI ProtocolErrorDefLabelMultTimesLabelUndefined#BranchFirstMsgMustHaveTheSameSenderUndecideStateCanNotSendMsgUndecideStateCanNotStartBranchTerminalNeedAllRoleDecideBranchAtLeastOneBranchAStateOnlyBeUsedForTheSamePairMsgDoNotExistBeforeNextTermXFold XTraverseProtocol:>BranchGotoTerminal MsgOrLabelMsgLabelBranchStForallX XTerminalXGoto XBranchStXBranchXLabelXMsg xtraversexfold internalError traceWrapper$fShowMsgOrLabel$fPrettyMsgOrLabel$fShowProtocol$fShowBranchSt$fPrettyProtocol$fPrettyBranchSt$fShowProtocolError$fShowT $fShowTracer$fFunctorProtocol$fFunctorBranchSt$fFunctorMsgOrLabelrunProtocolParser runRender$fShowRV$fEqRV$fOrdRV$fNumRV $fBoundedRV$fShowLV$fEqLV$fOrdLV$fNumLV $fBoundedLV PipeResultbranchResultTypeInfostBounddnySetmsgT1msgTpipepipeWithTracergenGraph $fShowCurrSt $fEqCurrSt $fOrdCurrSt $fShowIndex $fEqIndex $fOrdIndex $fNumIndex bigSwapConstrfindNewConstraintstepConstraintconstraintLoopcompressSubMap getAllMsgInfogetFirstMsgInforRange replaceList replaceValrestoreWrappertellSeq