1 in allInstrTest on UMLModel test Model

./gen_case/allInstrTest.mdj_UMLModel_Model_1.test

ws ERROR: Runtime Error Occurred!
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
mjl ERROR: Runtime Error Occurred!
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
bxy ERROR: Runtime Error Occurred!
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Something wrong with your process.
java.lang.NullPointerException
	at MyUmlColla.checkValidity(MyUmlColla.java:79)
	at MyUmlColla.getIncomingMessageCount(MyUmlColla.java:103)
	at MyUmlInteraction.getIncomingMessageCount(MyUmlInteraction.java:141)
	at com.oocourse.uml2.interact.AppRunner.runAsIncomingMsgCount(AppRunner.java:386)
	at com.oocourse.uml2.interact.AppRunner.access$000(AppRunner.java:33)
	at com.oocourse.uml2.interact.AppRunner$1.lambda$new$15(AppRunner.java:66)
	at com.oocourse.uml2.interact.AppRunner.runAsArguments(AppRunner.java:192)
	at com.oocourse.uml2.interact.AppRunner.instructionProcessEvent(AppRunner.java:173)
	at com.oocourse.uml2.interact.AppRunner.lineProcessEvent(AppRunner.java:136)
	at com.oocourse.uml2.interact.AppRunner.run(AppRunner.java:104)
	at Main.main(Main.java:6)
wyp ERROR: Runtime Error Occurred!
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
qyj ERROR: Runtime Error Occurred!
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
Error, invalid instruction type.
[!] FAILED On Line 546
[!] ERROR: Line 546 {Ok，state count of statemachine "nutter" is 12.} -> ['wyp']
[!] ERROR: Line 546 {Ok，state count of statemachine "nutter" is 5.} -> ['ws', 'qyj', 'mjl']

{"_parent":"AAAAAAFrYDCYjjpNBtA=","visibility":"public","name":"Interaction1","_type":"UMLInteraction","_id":"AAAAAAFrYDCYjjpOX6o="}
{"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"oneLine","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqNmtc="}
{"_parent":"AAAAAAFrYDDIhDqNmtc=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDDIhDqZwBA=","represent":"AAAAAAFrYDDIhTqpsXQ="}
{"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqaXoY="}
{"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqfR6Y="}
{"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"dup2","_type":"UMLInteraction","_id":"AAAAAAFrYDDIhDqk3mg="}
{"_parent":"AAAAAAFrYDDIhDqMKWY=","visibility":"public","name":"Role1","_type":"UMLAttribute","_id":"AAAAAAFrYDDIhTqpsXQ=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"normal","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmDvDQ4k="}
{"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Message1","_type":"UMLMessage","_id":"AAAAAAFrYDEOmDvbcKA=","source":"AAAAAAFrYDEOmDvcESQ=","target":"AAAAAAFrYDEOmDvdkCQ="}
{"_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmDvcESQ=","represent":"AAAAAAFrYDEOmzw1eOE="}
{"_parent":"AAAAAAFrYDEOmDvDQ4k=","visibility":"public","name":"Lifeline2","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmDvdkCQ=","represent":"AAAAAAFrYDEOmzw28FQ="}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"dup_inter","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmDveGgM="}
{"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv4rHY=","represent":"AAAAAAFrYDEOmzw3g50="}
{"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"dup","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv5KPs=","represent":"AAAAAAFrYDEOmzw4GXQ="}
{"_parent":"AAAAAAFrYDEOmDveGgM=","visibility":"public","name":"dup","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmTv6ok8=","represent":"AAAAAAFrYDEOmzw59Qw="}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"incoming","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmTv7rEA="}
{"messageSort":"asynchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message2","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwp9gc=","source":"AAAAAAFrYDEOmjwuthg=","target":"AAAAAAFrYDEOmzwv2wc="}
{"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message1","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwq0gw=","source":"AAAAAAFrYDEOmjwt3Qw=","target":"AAAAAAFrYDEOmjwuthg="}
{"messageSort":"reply","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":null,"_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwrhU0=","source":"AAAAAAFrYDEOmzwv2wc=","target":"AAAAAAFrYDEOmjwuthg="}
{"messageSort":"synchCall","_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Message3","_type":"UMLMessage","_id":"AAAAAAFrYDEOmjwsiuA=","source":"AAAAAAFrYDEOmjwuthg=","target":"AAAAAAFrYDEOmjwuthg="}
{"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline1","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmjwt3Qw=","represent":"AAAAAAFrYDEOmzw6kPo="}
{"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline2","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmjwuthg=","represent":"AAAAAAFrYDEOmzw7mCQ="}
{"_parent":"AAAAAAFrYDEOmTv7rEA=","visibility":"public","name":"Lifeline3","_type":"UMLLifeline","isMultiInstance":false,"_id":"AAAAAAFrYDEOmzwv2wc=","represent":"AAAAAAFrYDEOmzw8pXc="}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"dup2","_type":"UMLInteraction","_id":"AAAAAAFrYDEOmzwwJc0="}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role1","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw1eOE=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role2","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw28FQ=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role3","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw3g50=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role4","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw4GXQ=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role5","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw59Qw=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role6","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw6kPo=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role7","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw7mCQ=","type":""}
{"_parent":"AAAAAAFrYDEOmDvCyAM=","visibility":"public","name":"Role8","_type":"UMLAttribute","_id":"AAAAAAFrYDEOmzw8pXc=","type":""}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"NoState","_type":"UMLStateMachine","_id":"AAAAAAFrYDEiqT0ohp0="}
{"_parent":"AAAAAAFrYDEiqT0ohp0=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDEiqT0qYSw="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"OneState","_type":"UMLStateMachine","_id":"AAAAAAFrYDE2oT06+t4="}
{"_parent":"AAAAAAFrYDE2oT06+t4=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDE2oT1AbEg="}
{"_parent":"AAAAAAFrYDE2oT1AbEg=","visibility":"public","name":"init","_type":"UMLPseudostate","_id":"AAAAAAFrYDE2oT1BDOw="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"Normal","_type":"UMLStateMachine","_id":"AAAAAAFrYDFK6D2jPV4="}
{"_parent":"AAAAAAFrYDFK6D2jPV4=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFK6T3IXI8="}
{"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFrYDFK6T3J0UM="}
{"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFrYDFK6T3KwwE="}
{"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFrYDFK6T3LRfI="}
{"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFK6T3M6nw=","source":"AAAAAAFrYDFK6T3J0UM=","target":"AAAAAAFrYDFK6T3KwwE="}
{"_parent":"AAAAAAFrYDFK6T3IXI8=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFK6T3NZc8=","source":"AAAAAAFrYDFK6T3J0UM=","target":"AAAAAAFrYDFK6T3LRfI="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"Self","_type":"UMLStateMachine","_id":"AAAAAAFrYDFdDD9\/hCU="}
{"_parent":"AAAAAAFrYDFdDD9\/hCU=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFdDkAV1G4="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"self","_type":"UMLState","_id":"AAAAAAFrYDFdDkAWjMM="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFrYDFdDkAXrwo="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"same","_type":"UMLState","_id":"AAAAAAFrYDFdDkAYTFk="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFrYDFdDkAZF7M="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State4","_type":"UMLState","_id":"AAAAAAFrYDFdDkAaMXg="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State5","_type":"UMLState","_id":"AAAAAAFrYDFdDkAbzUY="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State6","_type":"UMLState","_id":"AAAAAAFrYDFdDkAc41E="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFrYDFdDkAdCIc="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State7","_type":"UMLState","_id":"AAAAAAFrYDFdDkAeTtw="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"State8","_type":"UMLState","_id":"AAAAAAFrYDFdDkAf7nc="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"dup","_type":"UMLState","_id":"AAAAAAFrYDFdDkAgQtk="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","name":"dup","_type":"UMLState","_id":"AAAAAAFrYDFdDkAhjX8="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAiD6s=","source":"AAAAAAFrYDFdDkAWjMM=","target":"AAAAAAFrYDFdDkAWjMM="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAjI7c=","source":"AAAAAAFrYDFdDkAYTFk=","target":"AAAAAAFrYDFdDkAZF7M="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAkbCI=","source":"AAAAAAFrYDFdDkAYTFk=","target":"AAAAAAFrYDFdDkAaMXg="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAl6gc=","source":"AAAAAAFrYDFdDkAaMXg=","target":"AAAAAAFrYDFdDkAbzUY="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAmxxs=","source":"AAAAAAFrYDFdDkAXrwo=","target":"AAAAAAFrYDFdDkAYTFk="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAnxDU=","source":"AAAAAAFrYDFdDkAZF7M=","target":"AAAAAAFrYDFdDkAbzUY="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAoURU=","source":"AAAAAAFrYDFdDkAbzUY=","target":"AAAAAAFrYDFdDkAc41E="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkApocU=","source":"AAAAAAFrYDFdDkAdCIc=","target":"AAAAAAFrYDFdDkAeTtw="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAqIts=","source":"AAAAAAFrYDFdDkAeTtw=","target":"AAAAAAFrYDFdDkAf7nc="}
{"_parent":"AAAAAAFrYDFdDkAV1G4=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFrYDFdDkAricE=","source":"AAAAAAFrYDFdDkAf7nc=","target":"AAAAAAFrYDFdDkAeTtw="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"dup_name","_type":"UMLStateMachine","_id":"AAAAAAFrYDFt9EGLBD8="}
{"_parent":"AAAAAAFrYDFt9EGLBD8=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDFt9UGNUyM="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"dup_name","_type":"UMLStateMachine","_id":"AAAAAAFrYDGAjUGV4gs="}
{"_parent":"AAAAAAFrYDGAjUGV4gs=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFrYDGAjUGXPEo="}
{"_parent":"AAAAAAFF+qBWK6M3Z8Y=","name":"nutter","_type":"UMLStateMachine","_id":"AAAAAAFraEX83pEBQUs="}
{"_parent":"AAAAAAFraEX83pEBQUs=","visibility":"public","name":null,"_type":"UMLRegion","_id":"AAAAAAFraEX83pECN8k="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEYPRpEInRg="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State1","_type":"UMLState","_id":"AAAAAAFraEZRGZEsdg4="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEZjl5Fn05o="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLPseudostate","_id":"AAAAAAFraEZtLJF4QzM="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State2","_type":"UMLState","_id":"AAAAAAFraEbk7pGJt74="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"State3","_type":"UMLState","_id":"AAAAAAFraEch5pHQT9Q="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEc0MZH1+nk="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEc7QpH6Nuw="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEdDQJH\/Ozw="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":"init","_type":"UMLPseudostate","_id":"AAAAAAFraEeJ4JI3kPU="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEgDG5JaXFo="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","name":null,"_type":"UMLFinalState","_id":"AAAAAAFraEgNcZJfIMc="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEZFXJEby2w=","source":"AAAAAAFraEYPRpEInRg=","target":"AAAAAAFraEYPRpEInRg="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEb+hJGu7l8=","source":"AAAAAAFraEbk7pGJt74=","target":"AAAAAAFraEZjl5Fn05o="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEcLg5G\/XRg=","source":"AAAAAAFraEbk7pGJt74=","target":"AAAAAAFraEZtLJF4QzM="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdTnpIEKdM=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEc0MZH1+nk="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdgo5IVFeM=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEc7QpH6Nuw="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEdv9ZImxWA=","source":"AAAAAAFraEch5pHQT9Q=","target":"AAAAAAFraEdDQJH\/Ozw="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEe4V5JIh2Q=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEeJ4JI3kPU="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEgcy5JkRYI=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEgDG5JaXFo="}
{"_parent":"AAAAAAFraEX83pECN8k=","visibility":"public","guard":null,"name":null,"_type":"UMLTransition","_id":"AAAAAAFraEgse5J1WVE=","source":"AAAAAAFraEeJ4JI3kPU=","target":"AAAAAAFraEgNcZJfIMc="}
END_OF_MODEL
Unknown Command U!
Unknown Command C!
Unknown Command L!
Unknown Command U!
Unknown Command L!
Unknown Command L!
Unknown Command C!
Unknown Command a!
Unknown Command s!
Unknown Command C!
Unknown Command l!
Unknown Command M!
Unknown Command U!
Unknown Command M!
Unknown Command a!
Unknown Command C!
Unknown Command M!
Unknown Command s!
Unknown Command M!
Unknown Command l!
Unknown Command l!
Unknown Command s!
Unknown Command C!
Unknown Command l!
Unknown Command l!
Unknown Command l!
Unknown Command M!
Unknown Command s!
Unknown Command C!
Unknown Command l!
Unknown Command a!
Unknown Command a!
Unknown Command s!
Unknown Command s!
Unknown Command L!
Unknown Command a!
Unknown Command U!
Unknown Command l!
Unknown Command s!
Unknown Command U!
Unknown Command L!
Unknown Command a!
Unknown Command M!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command M!
Unknown Command a!
Unknown Command M!
Unknown Command L!
Unknown Command a!
Unknown Command l!
Unknown Command U!
Unknown Command s!
Unknown Command a!
Unknown Command C!
Unknown Command C!
Unknown Command L!
Unknown Command M!
Unknown Command l!
Unknown Command U!
Unknown Command L!
Unknown Command a!
Unknown Command s!
Unknown Command M!
Unknown Command s!
Unknown Command U!
Unknown Command a!
Unknown Command l!
Unknown Command l!
Unknown Command l!
Unknown Command M!
Unknown Command C!
Unknown Command U!
Unknown Command C!
Unknown Command s!
Unknown Command a!
Unknown Command L!
Unknown Command U!
Unknown Command U!
Unknown Command M!
Unknown Command U!
Unknown Command s!
Unknown Command U!
Unknown Command C!
Unknown Command U!
Unknown Command U!
Unknown Command L!
Unknown Command s!
Unknown Command l!
Unknown Command C!
Unknown Command C!
Unknown Command L!
Unknown Command L!
Unknown Command L!
Unknown Command U!
Unknown Command U!
Unknown Command a!
Unknown Command s!
Unknown Command l!
Unknown Command a!
Unknown Command U!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command a!
Unknown Command U!
Unknown Command M!
Unknown Command l!
Unknown Command s!
Unknown Command L!
Unknown Command s!
Unknown Command C!
Unknown Command s!
Unknown Command a!
Unknown Command M!
Unknown Command U!
Unknown Command M!
Unknown Command L!
Unknown Command s!
Unknown Command C!
Unknown Command C!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command l!
Unknown Command C!
Unknown Command s!
Unknown Command s!
Unknown Command M!
Unknown Command M!
Unknown Command C!
Unknown Command M!
Unknown Command a!
Unknown Command L!
Unknown Command s!
Unknown Command U!
Unknown Command C!
Unknown Command U!
Unknown Command M!
Unknown Command L!
Unknown Command U!
Unknown Command a!
Unknown Command C!
Unknown Command s!
Unknown Command s!
Unknown Command s!
Unknown Command C!
Unknown Command a!
Unknown Command L!
Unknown Command L!
INCOMING_MSG_COUNT init Message2
TRANSITION_COUNT Role8
STATE_COUNT State2
TRANSITION_COUNT Interaction1
MESSAGE_COUNT State3
MESSAGE_COUNT dup2
PTCP_OBJ_COUNT Lifeline2
STATE_COUNT dup
STATE_COUNT Interaction1
PTCP_OBJ_COUNT Role3
SUBSEQUENT_STATE_COUNT Message2 State2
TRANSITION_COUNT Role6
STATE_COUNT dup
STATE_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role1 State3
SUBSEQUENT_STATE_COUNT dup State3
TRANSITION_COUNT State2
TRANSITION_COUNT self
TRANSITION_COUNT dup
TRANSITION_COUNT State2
PTCP_OBJ_COUNT Message1
STATE_COUNT same
TRANSITION_COUNT State5
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT Role1 Lifeline1
MESSAGE_COUNT init
SUBSEQUENT_STATE_COUNT dup self
STATE_COUNT State8
INCOMING_MSG_COUNT Role7 dup_inter
SUBSEQUENT_STATE_COUNT normal Role8
MESSAGE_COUNT State5
INCOMING_MSG_COUNT State1 Role1
INCOMING_MSG_COUNT Interaction1 dup
INCOMING_MSG_COUNT State4 dup2
STATE_COUNT State6
STATE_COUNT Lifeline1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Lifeline1 State2
STATE_COUNT dup
STATE_COUNT dup
MESSAGE_COUNT dup
SUBSEQUENT_STATE_COUNT State3 State6
MESSAGE_COUNT dup
TRANSITION_COUNT Role4
STATE_COUNT Role2
SUBSEQUENT_STATE_COUNT State4 dup
STATE_COUNT Lifeline1
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT Lifeline3
INCOMING_MSG_COUNT oneLine same
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT Self dup
TRANSITION_COUNT dup
PTCP_OBJ_COUNT dup
PTCP_OBJ_COUNT same
TRANSITION_COUNT dup2
TRANSITION_COUNT State3
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup same
TRANSITION_COUNT OneState
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State1 Role8
MESSAGE_COUNT same
MESSAGE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT self Message1
STATE_COUNT Message1
INCOMING_MSG_COUNT dup Role1
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline2 Message1
SUBSEQUENT_STATE_COUNT dup_name Role5
STATE_COUNT Role6
STATE_COUNT State1
TRANSITION_COUNT Lifeline1
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT Self Lifeline3
TRANSITION_COUNT dup
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT self dup_name
INCOMING_MSG_COUNT Lifeline1 dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State3 Lifeline1
TRANSITION_COUNT OneState
TRANSITION_COUNT Role5
INCOMING_MSG_COUNT dup dup_name
SUBSEQUENT_STATE_COUNT Role4 Lifeline1
INCOMING_MSG_COUNT Message3 State7
STATE_COUNT State5
TRANSITION_COUNT Self
TRANSITION_COUNT State5
SUBSEQUENT_STATE_COUNT dup Normal
MESSAGE_COUNT State4
MESSAGE_COUNT Role5
STATE_COUNT State6
STATE_COUNT dup
INCOMING_MSG_COUNT State4 self
INCOMING_MSG_COUNT Interaction1 Role5
PTCP_OBJ_COUNT Message2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State3 Role8
MESSAGE_COUNT Lifeline1
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State8 Self
STATE_COUNT Self
PTCP_OBJ_COUNT State2
PTCP_OBJ_COUNT Lifeline1
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT Role8 Role6
TRANSITION_COUNT dup_inter
PTCP_OBJ_COUNT Lifeline1
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT State1 dup_name
SUBSEQUENT_STATE_COUNT dup dup_inter
TRANSITION_COUNT State2
STATE_COUNT Role4
TRANSITION_COUNT Role1
TRANSITION_COUNT dup_name
SUBSEQUENT_STATE_COUNT Role1 State2
MESSAGE_COUNT Lifeline1
PTCP_OBJ_COUNT same
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Message1 NoState
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup_inter State3
INCOMING_MSG_COUNT dup2 State1
SUBSEQUENT_STATE_COUNT same Role6
TRANSITION_COUNT Role1
MESSAGE_COUNT Role8
SUBSEQUENT_STATE_COUNT Message2 State4
SUBSEQUENT_STATE_COUNT Lifeline1 dup2
MESSAGE_COUNT Message1
TRANSITION_COUNT dup
TRANSITION_COUNT Role1
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline1 State6
SUBSEQUENT_STATE_COUNT Role5 Message2
SUBSEQUENT_STATE_COUNT Role6 dup
SUBSEQUENT_STATE_COUNT Lifeline1 Role8
TRANSITION_COUNT dup_name
INCOMING_MSG_COUNT State1 normal
MESSAGE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup_inter State3
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT dup dup
INCOMING_MSG_COUNT dup State1
STATE_COUNT Lifeline1
TRANSITION_COUNT dup_name
STATE_COUNT normal
TRANSITION_COUNT dup_inter
STATE_COUNT Lifeline1
TRANSITION_COUNT Role2
STATE_COUNT State1
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Normal Role5
MESSAGE_COUNT Role7
TRANSITION_COUNT State2
TRANSITION_COUNT Role7
TRANSITION_COUNT Lifeline1
STATE_COUNT Lifeline2
STATE_COUNT State2
INCOMING_MSG_COUNT Message3 State6
PTCP_OBJ_COUNT State1
INCOMING_MSG_COUNT dup Normal
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT State2 Role6
STATE_COUNT oneLine
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup_inter Lifeline1
MESSAGE_COUNT State1
INCOMING_MSG_COUNT dup Lifeline2
STATE_COUNT Role6
SUBSEQUENT_STATE_COUNT Role3 Lifeline1
INCOMING_MSG_COUNT dup same
PTCP_OBJ_COUNT State2
SUBSEQUENT_STATE_COUNT Role1 State4
SUBSEQUENT_STATE_COUNT State1 State3
STATE_COUNT State1
TRANSITION_COUNT State1
TRANSITION_COUNT Message2
STATE_COUNT OneState
SUBSEQUENT_STATE_COUNT Lifeline2 incoming
SUBSEQUENT_STATE_COUNT dup_name Lifeline2
PTCP_OBJ_COUNT Lifeline2
STATE_COUNT Role6
STATE_COUNT Lifeline2
MESSAGE_COUNT Role6
TRANSITION_COUNT State4
TRANSITION_COUNT State3
INCOMING_MSG_COUNT State5 dup
STATE_COUNT State2
MESSAGE_COUNT dup2
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Lifeline1 Role3
STATE_COUNT dup_inter
SUBSEQUENT_STATE_COUNT Role6 State5
MESSAGE_COUNT Normal
TRANSITION_COUNT dup
INCOMING_MSG_COUNT dup2 dup
SUBSEQUENT_STATE_COUNT Message2 State4
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT dup2 State6
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT State4 dup2
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT normal Lifeline1
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup_name OneState
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT State3 Role4
MESSAGE_COUNT Message2
SUBSEQUENT_STATE_COUNT State4 nutter
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT dup Lifeline1
SUBSEQUENT_STATE_COUNT State2 State4
SUBSEQUENT_STATE_COUNT State3 State5
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT State4 State8
PTCP_OBJ_COUNT Lifeline2
STATE_COUNT dup
INCOMING_MSG_COUNT Role1 OneState
MESSAGE_COUNT State2
TRANSITION_COUNT Role5
STATE_COUNT State6
STATE_COUNT Message3
TRANSITION_COUNT OneState
TRANSITION_COUNT State7
TRANSITION_COUNT State3
TRANSITION_COUNT dup
PTCP_OBJ_COUNT Self
SUBSEQUENT_STATE_COUNT OneState OneState
INCOMING_MSG_COUNT dup Message1
STATE_COUNT oneLine
STATE_COUNT State2
MESSAGE_COUNT Message2
STATE_COUNT State1
STATE_COUNT Role1
PTCP_OBJ_COUNT Role2
SUBSEQUENT_STATE_COUNT State2 Role2
TRANSITION_COUNT State3
MESSAGE_COUNT Role1
INCOMING_MSG_COUNT Role5 init
SUBSEQUENT_STATE_COUNT Role2 State3
SUBSEQUENT_STATE_COUNT init State2
PTCP_OBJ_COUNT Role6
SUBSEQUENT_STATE_COUNT init dup_name
SUBSEQUENT_STATE_COUNT State2 State2
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT normal Role5
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT dup init
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Role8 State3
INCOMING_MSG_COUNT dup Role4
STATE_COUNT oneLine
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT dup Role8
SUBSEQUENT_STATE_COUNT dup init
STATE_COUNT NoState
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT Interaction1 dup
TRANSITION_COUNT Role6
INCOMING_MSG_COUNT Lifeline3 State7
STATE_COUNT dup
STATE_COUNT Lifeline2
INCOMING_MSG_COUNT dup normal
MESSAGE_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline3 self
SUBSEQUENT_STATE_COUNT State2 Role3
TRANSITION_COUNT Self
STATE_COUNT Role7
INCOMING_MSG_COUNT nutter Role8
STATE_COUNT Message2
STATE_COUNT incoming
MESSAGE_COUNT Role4
STATE_COUNT Lifeline2
STATE_COUNT Lifeline1
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT dup Lifeline1
STATE_COUNT init
SUBSEQUENT_STATE_COUNT Message2 Lifeline1
STATE_COUNT State1
STATE_COUNT dup_name
TRANSITION_COUNT dup
TRANSITION_COUNT nutter
STATE_COUNT Role6
TRANSITION_COUNT State3
STATE_COUNT Role1
STATE_COUNT same
TRANSITION_COUNT Role4
SUBSEQUENT_STATE_COUNT State2 dup
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT dup2 dup
TRANSITION_COUNT State6
STATE_COUNT normal
TRANSITION_COUNT dup_name
INCOMING_MSG_COUNT dup_inter State1
TRANSITION_COUNT dup
STATE_COUNT Role3
STATE_COUNT Lifeline1
STATE_COUNT dup_name
PTCP_OBJ_COUNT NoState
TRANSITION_COUNT State2
STATE_COUNT Interaction1
STATE_COUNT Lifeline1
TRANSITION_COUNT dup_name
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT Role1 dup
SUBSEQUENT_STATE_COUNT State5 init
STATE_COUNT same
SUBSEQUENT_STATE_COUNT dup same
PTCP_OBJ_COUNT nutter
STATE_COUNT OneState
STATE_COUNT normal
TRANSITION_COUNT State1
PTCP_OBJ_COUNT dup
STATE_COUNT self
SUBSEQUENT_STATE_COUNT Lifeline1 Lifeline1
TRANSITION_COUNT dup
TRANSITION_COUNT State2
TRANSITION_COUNT oneLine
INCOMING_MSG_COUNT State7 State1
STATE_COUNT init
PTCP_OBJ_COUNT Role5
STATE_COUNT State1
TRANSITION_COUNT dup_inter
SUBSEQUENT_STATE_COUNT dup Self
TRANSITION_COUNT Lifeline1
PTCP_OBJ_COUNT State5
PTCP_OBJ_COUNT oneLine
MESSAGE_COUNT init
INCOMING_MSG_COUNT dup dup2
INCOMING_MSG_COUNT Message3 State6
STATE_COUNT incoming
STATE_COUNT Role1
INCOMING_MSG_COUNT Message3 State2
STATE_COUNT Message1
INCOMING_MSG_COUNT NoState State3
TRANSITION_COUNT oneLine
STATE_COUNT init
SUBSEQUENT_STATE_COUNT NoState Lifeline1
MESSAGE_COUNT NoState
PTCP_OBJ_COUNT Interaction1
INCOMING_MSG_COUNT Lifeline3 Lifeline2
SUBSEQUENT_STATE_COUNT Message1 Lifeline1
STATE_COUNT State1
TRANSITION_COUNT Role1
STATE_COUNT State3
STATE_COUNT Role2
SUBSEQUENT_STATE_COUNT dup_name State7
STATE_COUNT Role5
SUBSEQUENT_STATE_COUNT State8 State1
TRANSITION_COUNT State3
SUBSEQUENT_STATE_COUNT Role4 Lifeline1
TRANSITION_COUNT nutter
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT same Role8
SUBSEQUENT_STATE_COUNT State1 dup2
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State5 nutter
TRANSITION_COUNT State2
TRANSITION_COUNT self
STATE_COUNT init
STATE_COUNT same
PTCP_OBJ_COUNT Role4
INCOMING_MSG_COUNT NoState State3
SUBSEQUENT_STATE_COUNT Role7 dup_inter
SUBSEQUENT_STATE_COUNT Message3 State1
SUBSEQUENT_STATE_COUNT OneState dup
TRANSITION_COUNT State2
SUBSEQUENT_STATE_COUNT nutter State4
SUBSEQUENT_STATE_COUNT State8 self
TRANSITION_COUNT Role1
TRANSITION_COUNT Self
PTCP_OBJ_COUNT State2
TRANSITION_COUNT dup_name
PTCP_OBJ_COUNT dup2
SUBSEQUENT_STATE_COUNT Self Message2
SUBSEQUENT_STATE_COUNT State2 Lifeline1
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT nutter dup_name
STATE_COUNT Role5
STATE_COUNT Message1
STATE_COUNT Lifeline3
PTCP_OBJ_COUNT Message1
MESSAGE_COUNT Normal
STATE_COUNT Role3
MESSAGE_COUNT Message3
SUBSEQUENT_STATE_COUNT dup2 Role3
MESSAGE_COUNT State7
SUBSEQUENT_STATE_COUNT dup2 dup2
SUBSEQUENT_STATE_COUNT State2 Lifeline1
STATE_COUNT Message2
PTCP_OBJ_COUNT init
TRANSITION_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT dup Lifeline1
PTCP_OBJ_COUNT Message1
SUBSEQUENT_STATE_COUNT Lifeline2 Role7
PTCP_OBJ_COUNT dup
SUBSEQUENT_STATE_COUNT OneState State2
TRANSITION_COUNT State2
STATE_COUNT dup_name
INCOMING_MSG_COUNT State3 dup_name
STATE_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT oneLine State2
SUBSEQUENT_STATE_COUNT Lifeline2 dup
STATE_COUNT State3
TRANSITION_COUNT init
STATE_COUNT State8
MESSAGE_COUNT State1
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT State3 Role5
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT State5 dup
STATE_COUNT incoming
TRANSITION_COUNT State1
TRANSITION_COUNT State4
MESSAGE_COUNT same
TRANSITION_COUNT self
SUBSEQUENT_STATE_COUNT Role1 dup
PTCP_OBJ_COUNT State7
SUBSEQUENT_STATE_COUNT Interaction1 State7
TRANSITION_COUNT Interaction1
TRANSITION_COUNT nutter
INCOMING_MSG_COUNT same incoming
PTCP_OBJ_COUNT Role4
MESSAGE_COUNT State4
PTCP_OBJ_COUNT Lifeline1
TRANSITION_COUNT Message2
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
TRANSITION_COUNT same
TRANSITION_COUNT self
PTCP_OBJ_COUNT oneLine
SUBSEQUENT_STATE_COUNT State7 dup_name
TRANSITION_COUNT Role7
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Role6 State3
PTCP_OBJ_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT dup_inter State3
SUBSEQUENT_STATE_COUNT dup OneState
TRANSITION_COUNT Message2
SUBSEQUENT_STATE_COUNT State3 incoming
TRANSITION_COUNT nutter
PTCP_OBJ_COUNT normal
SUBSEQUENT_STATE_COUNT Role5 State2
INCOMING_MSG_COUNT dup State6
MESSAGE_COUNT Self
PTCP_OBJ_COUNT Message1
STATE_COUNT State3
INCOMING_MSG_COUNT Role5 Lifeline2
STATE_COUNT NoState
TRANSITION_COUNT Message1
PTCP_OBJ_COUNT init
SUBSEQUENT_STATE_COUNT State5 Interaction1
STATE_COUNT State8
STATE_COUNT normal
SUBSEQUENT_STATE_COUNT State3 Lifeline2
SUBSEQUENT_STATE_COUNT State5 Message1
TRANSITION_COUNT State4
STATE_COUNT dup
TRANSITION_COUNT State4
STATE_COUNT oneLine
SUBSEQUENT_STATE_COUNT Role1 State3
SUBSEQUENT_STATE_COUNT dup Role3
SUBSEQUENT_STATE_COUNT Lifeline2 State2
MESSAGE_COUNT dup
TRANSITION_COUNT Role5
TRANSITION_COUNT Lifeline2
SUBSEQUENT_STATE_COUNT Role2 dup
MESSAGE_COUNT Role6
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT self Role2
PTCP_OBJ_COUNT Self
SUBSEQUENT_STATE_COUNT Message3 Role1
SUBSEQUENT_STATE_COUNT dup dup
STATE_COUNT Interaction1
SUBSEQUENT_STATE_COUNT Message2 State1
SUBSEQUENT_STATE_COUNT Lifeline3 dup_name
STATE_COUNT self
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT State2 dup2
STATE_COUNT Role4
MESSAGE_COUNT State5
TRANSITION_COUNT Role8
SUBSEQUENT_STATE_COUNT Message3 Lifeline1
SUBSEQUENT_STATE_COUNT State7 init
MESSAGE_COUNT Lifeline2
TRANSITION_COUNT State4
SUBSEQUENT_STATE_COUNT Role3 dup2
STATE_COUNT State4
STATE_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT Message2 Role6
STATE_COUNT dup_inter
TRANSITION_COUNT Self
SUBSEQUENT_STATE_COUNT Message2 dup
TRANSITION_COUNT Normal
TRANSITION_COUNT Role7
TRANSITION_COUNT dup
SUBSEQUENT_STATE_COUNT State7 dup_name
STATE_COUNT State1
SUBSEQUENT_STATE_COUNT Lifeline2 normal
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT dup_name State6
TRANSITION_COUNT State1
PTCP_OBJ_COUNT State4
SUBSEQUENT_STATE_COUNT Normal normal
STATE_COUNT Role4
TRANSITION_COUNT incoming
SUBSEQUENT_STATE_COUNT State8 State3
STATE_COUNT dup
STATE_COUNT State6
PTCP_OBJ_COUNT dup_inter
STATE_COUNT Normal
STATE_COUNT Lifeline1
INCOMING_MSG_COUNT incoming normal
TRANSITION_COUNT normal
SUBSEQUENT_STATE_COUNT Lifeline1 Role2
SUBSEQUENT_STATE_COUNT dup State3
PTCP_OBJ_COUNT State1
TRANSITION_COUNT State1
SUBSEQUENT_STATE_COUNT oneLine oneLine
STATE_COUNT Lifeline3
TRANSITION_COUNT State2
MESSAGE_COUNT dup
STATE_COUNT dup
SUBSEQUENT_STATE_COUNT dup State3
MESSAGE_COUNT Message1
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT Message2
INCOMING_MSG_COUNT State2 State3
STATE_COUNT Role4
MESSAGE_COUNT State2
SUBSEQUENT_STATE_COUNT State4 dup_name
SUBSEQUENT_STATE_COUNT dup dup_name
TRANSITION_COUNT self
PTCP_OBJ_COUNT dup
STATE_COUNT init
STATE_COUNT Message2
MESSAGE_COUNT NoState
SUBSEQUENT_STATE_COUNT incoming State8
SUBSEQUENT_STATE_COUNT nutter NoState
INCOMING_MSG_COUNT Interaction1 incoming
TRANSITION_COUNT NoState
SUBSEQUENT_STATE_COUNT Message1 Lifeline1
SUBSEQUENT_STATE_COUNT dup2 dup_name
MESSAGE_COUNT Lifeline2
STATE_COUNT self
STATE_COUNT nutter
SUBSEQUENT_STATE_COUNT Role3 Role2
SUBSEQUENT_STATE_COUNT dup_inter Role5
STATE_COUNT Role7
INCOMING_MSG_COUNT Role3 NoState
SUBSEQUENT_STATE_COUNT Role8 Role7
STATE_COUNT dup2
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT Role6 State1
MESSAGE_COUNT Role5
TRANSITION_COUNT normal
MESSAGE_COUNT dup
STATE_COUNT dup_name
STATE_COUNT init
INCOMING_MSG_COUNT Lifeline1 Lifeline1
STATE_COUNT dup
STATE_COUNT OneState
PTCP_OBJ_COUNT self
STATE_COUNT Role1
SUBSEQUENT_STATE_COUNT Role2 oneLine
PTCP_OBJ_COUNT Message2
SUBSEQUENT_STATE_COUNT Message3 Role8
TRANSITION_COUNT Lifeline1
INCOMING_MSG_COUNT Role7 Role1
PTCP_OBJ_COUNT Role3
TRANSITION_COUNT Role6
TRANSITION_COUNT Message2
STATE_COUNT Lifeline2
PTCP_OBJ_COUNT State3
STATE_COUNT Role3
TRANSITION_COUNT dup_inter
PTCP_OBJ_COUNT Role7
MESSAGE_COUNT Message1
TRANSITION_COUNT State7
TRANSITION_COUNT Role3
TRANSITION_COUNT Lifeline2
MESSAGE_COUNT Self
STATE_COUNT Role6
TRANSITION_COUNT dup
MESSAGE_COUNT State3
SUBSEQUENT_STATE_COUNT Message1 Role8
SUBSEQUENT_STATE_COUNT dup Lifeline1
STATE_COUNT dup_inter
TRANSITION_COUNT normal
STATE_COUNT Role7
TRANSITION_COUNT Lifeline2
STATE_COUNT incoming
SUBSEQUENT_STATE_COUNT dup_name Role1
STATE_COUNT State6
TRANSITION_COUNT Lifeline3
SUBSEQUENT_STATE_COUNT dup State3
STATE_COUNT State4
SUBSEQUENT_STATE_COUNT init State2
SUBSEQUENT_STATE_COUNT Role1 Role4
TRANSITION_COUNT Role1
STATE_COUNT dup2
SUBSEQUENT_STATE_COUNT Normal normal
STATE_COUNT State1
PTCP_OBJ_COUNT Lifeline1
SUBSEQUENT_STATE_COUNT State2 Role6
STATE_COUNT Message1
TRANSITION_COUNT Message1
INCOMING_MSG_COUNT Role1 self
SUBSEQUENT_STATE_COUNT Lifeline2 Lifeline1
STATE_COUNT State5
SUBSEQUENT_STATE_COUNT Message2 Message3
TRANSITION_COUNT State2
STATE_COUNT Role7
TRANSITION_COUNT Self
MESSAGE_COUNT Lifeline1
STATE_COUNT State7
SUBSEQUENT_STATE_COUNT State1 normal
TRANSITION_COUNT State5
STATE_COUNT State5
STATE_COUNT State2
SUBSEQUENT_STATE_COUNT State8 dup
SUBSEQUENT_STATE_COUNT Role5 Self
STATE_COUNT State8
STATE_COUNT Lifeline2
TRANSITION_COUNT State3
TRANSITION_COUNT dup
MESSAGE_COUNT same
SUBSEQUENT_STATE_COUNT dup State2
STATE_COUNT Message1
STATE_COUNT State6
STATE_COUNT OneState
STATE_COUNT same
STATE_COUNT State5
TRANSITION_COUNT Message2
STATE_COUNT Role7
PTCP_OBJ_COUNT nutter
STATE_COUNT dup_name
TRANSITION_COUNT init
SUBSEQUENT_STATE_COUNT Interaction1 normal
SUBSEQUENT_STATE_COUNT normal State3
SUBSEQUENT_STATE_COUNT self State1
TRANSITION_COUNT Role1
INCOMING_MSG_COUNT dup2 Role5
PTCP_OBJ_COUNT Role5
TRANSITION_COUNT Message2
MESSAGE_COUNT Interaction1
PTCP_OBJ_COUNT Lifeline1