{
	"_type": "Project",
	"_id": "AAAAAAFF+h6SjaM2Hec=",
	"name": "Untitled",
	"ownedElements": [
		{
			"_type": "UMLModel",
			"_id": "AAAAAAFF+qBWK6M3Z8Y=",
			"_parent": {
				"$ref": "AAAAAAFF+h6SjaM2Hec="
			},
			"name": "Model",
			"ownedElements": [
				{
					"_type": "UMLClassDiagram",
					"_id": "AAAAAAFF+qBtyKM79qY=",
					"_parent": {
						"$ref": "AAAAAAFF+qBWK6M3Z8Y="
					},
					"name": "Main",
					"defaultDiagram": true
				}
			]
		},
		{
			"_type": "UMLStateMachine",
			"_id": "AAAAAAFurzDId6S2Ois=",
			"_parent": {
				"$ref": "AAAAAAFF+h6SjaM2Hec="
			},
			"name": "StateMachine1",
			"ownedElements": [
				{
					"_type": "UMLStatechartDiagram",
					"_id": "AAAAAAFurzDIeaS4ERQ=",
					"_parent": {
						"$ref": "AAAAAAFurzDId6S2Ois="
					},
					"name": "StatechartDiagram1",
					"ownedViews": [
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFurzDgZaS+7kw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzDgZaS9Cw4="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzDgZaS/QdQ=",
									"_parent": {
										"$ref": "AAAAAAFurzDgZaS+7kw="
									},
									"model": {
										"$ref": "AAAAAAFurzDgZaS9Cw4="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 50.5,
									"top": 188,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzDgZaTA7ro=",
									"_parent": {
										"$ref": "AAAAAAFurzDgZaS+7kw="
									},
									"model": {
										"$ref": "AAAAAAFurzDgZaS9Cw4="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 40.5,
									"top": 178,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzDgZaTBJKs=",
									"_parent": {
										"$ref": "AAAAAAFurzDgZaS+7kw="
									},
									"model": {
										"$ref": "AAAAAAFurzDgZaS9Cw4="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 50.5,
									"top": 217,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 56,
							"top": 200,
							"width": 20,
							"height": 20,
							"nameLabel": {
								"$ref": "AAAAAAFurzDgZaS/QdQ="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzDgZaTA7ro="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzDgZaTBJKs="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFurzE/jqTPYIU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzE/jqTQgps=",
									"_parent": {
										"$ref": "AAAAAAFurzE/jqTPYIU="
									},
									"model": {
										"$ref": "AAAAAAFurzE/jqTOa2U="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 116,
									"top": 187.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzE/jqTROnc=",
									"_parent": {
										"$ref": "AAAAAAFurzE/jqTPYIU="
									},
									"model": {
										"$ref": "AAAAAAFurzE/jqTOa2U="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 106,
									"top": 177.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzE/jqTSM34=",
									"_parent": {
										"$ref": "AAAAAAFurzE/jqTPYIU="
									},
									"model": {
										"$ref": "AAAAAAFurzE/jqTOa2U="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 116,
									"top": 216.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 120,
							"top": 200,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFurzE/jqTQgps="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzE/jqTROnc="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzE/jqTSM34="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzFSdqTg7Yk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzFSdqTf0k0="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzFSdqThZQQ=",
									"_parent": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"model": {
										"$ref": "AAAAAAFurzFSdqTf0k0="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 97,
									"top": 188,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzFSdqTiyDg=",
									"_parent": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"model": {
										"$ref": "AAAAAAFurzFSdqTf0k0="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 97,
									"top": 173,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzFSd6TjKW0=",
									"_parent": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"model": {
										"$ref": "AAAAAAFurzFSdqTf0k0="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 97,
									"top": 218,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzFSdqTg7Yk="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzE/jqTPYIU="
							},
							"tail": {
								"$ref": "AAAAAAFurzDgZaS+7kw="
							},
							"points": "75:209;120:209",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzFSdqThZQQ="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzFSdqTiyDg="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzFSd6TjKW0="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFurzF1R6Ty944=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzF1RqTxg0c="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFurzF1R6Tz2W8=",
									"_parent": {
										"$ref": "AAAAAAFurzF1R6Ty944="
									},
									"model": {
										"$ref": "AAAAAAFurzF1RqTxg0c="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzF1R6T0SXQ=",
											"_parent": {
												"$ref": "AAAAAAFurzF1R6Tz2W8="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -256,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzF1R6T1eIw=",
											"_parent": {
												"$ref": "AAAAAAFurzF1R6Tz2W8="
											},
											"font": "Arial;13;1",
											"left": 229,
											"top": 47,
											"width": 119,
											"height": 13,
											"text": "SOS ativo",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzF1R6T2Lzg=",
											"_parent": {
												"$ref": "AAAAAAFurzF1R6Tz2W8="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -256,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzF1R6T3BYs=",
											"_parent": {
												"$ref": "AAAAAAFurzF1R6Tz2W8="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -256,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 224,
									"top": 40,
									"width": 129,
									"height": 25,
									"stereotypeLabel": {
										"$ref": "AAAAAAFurzF1R6T0SXQ="
									},
									"nameLabel": {
										"$ref": "AAAAAAFurzF1R6T1eIw="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFurzF1R6T2Lzg="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFurzF1R6T3BYs="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFurzF1SKT4TME=",
									"_parent": {
										"$ref": "AAAAAAFurzF1R6Ty944="
									},
									"model": {
										"$ref": "AAAAAAFurzF1RqTxg0c="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 40,
									"top": -128,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFurzF1SKT53U0=",
									"_parent": {
										"$ref": "AAAAAAFurzF1R6Ty944="
									},
									"model": {
										"$ref": "AAAAAAFurzF1RqTxg0c="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 40,
									"top": -128,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFurzF1SKT6olQ=",
									"_parent": {
										"$ref": "AAAAAAFurzF1R6Ty944="
									},
									"model": {
										"$ref": "AAAAAAFurzF1RqTxg0c="
									},
									"font": "Arial;13;0",
									"left": 224,
									"top": 65,
									"width": 129
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 224,
							"top": 40,
							"width": 129,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFurzF1R6Tz2W8="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFurzF1SKT4TME="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFurzF1SKT53U0="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFurzF1SKT6olQ="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzHgY6Uccf4=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzHgY6UbX9E="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzHgY6UdZms=",
									"_parent": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"model": {
										"$ref": "AAAAAAFurzHgY6UbX9E="
									},
									"font": "Arial;13;0",
									"left": 92,
									"top": 38,
									"width": 72.25537109375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"edgePosition": 1,
									"text": "activateSOS"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzHgY6UeRh0=",
									"_parent": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"model": {
										"$ref": "AAAAAAFurzHgY6UbX9E="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 128,
									"top": 23,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzHgY6UfxSw=",
									"_parent": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"model": {
										"$ref": "AAAAAAFurzHgY6UbX9E="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 128,
									"top": 68,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzHgY6Uccf4="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzF1R6Ty944="
							},
							"tail": {
								"$ref": "AAAAAAFurzE/jqTPYIU="
							},
							"points": "128:200;128:59;224:59",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzHgY6UdZms="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzHgY6UeRh0="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzHgY6UfxSw="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzY5vaWezAA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzY5vaWdA/A="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzY5vaWfPVM=",
									"_parent": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"model": {
										"$ref": "AAAAAAFurzY5vaWdA/A="
									},
									"font": "Arial;13;0",
									"left": 181,
									"top": 187,
									"width": 68.63720703125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"edgePosition": 1,
									"text": "submitRatio"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzY5vaWgYnw=",
									"_parent": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"model": {
										"$ref": "AAAAAAFurzY5vaWdA/A="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 215,
									"top": 172,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzY5vaWh0w0=",
									"_parent": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"model": {
										"$ref": "AAAAAAFurzY5vaWdA/A="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 215,
									"top": 217,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzY5vaWezAA="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzbuo6W6cw0="
							},
							"tail": {
								"$ref": "AAAAAAFurzE/jqTPYIU="
							},
							"points": "142:208;288:208",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzY5vaWfPVM="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzY5vaWgYnw="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzY5vaWh0w0="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFurzbuo6W6cw0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzbuoqW5nbo="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzbuo6W7wEk=",
									"_parent": {
										"$ref": "AAAAAAFurzbuo6W6cw0="
									},
									"model": {
										"$ref": "AAAAAAFurzbuoqW5nbo="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 284,
									"top": 187.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzbuo6W8Ac4=",
									"_parent": {
										"$ref": "AAAAAAFurzbuo6W6cw0="
									},
									"model": {
										"$ref": "AAAAAAFurzbuoqW5nbo="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 274,
									"top": 177.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzbuo6W9tEE=",
									"_parent": {
										"$ref": "AAAAAAFurzbuo6W6cw0="
									},
									"model": {
										"$ref": "AAAAAAFurzbuoqW5nbo="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 284,
									"top": 216.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 288,
							"top": 200,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFurzbuo6W7wEk="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzbuo6W8Ac4="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzbuo6W9tEE="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFurzdZSaXeNTI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzdZSaXd0+8="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFurzdZSqXffVM=",
									"_parent": {
										"$ref": "AAAAAAFurzdZSaXeNTI="
									},
									"model": {
										"$ref": "AAAAAAFurzdZSaXd0+8="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzdZSqXg/g8=",
											"_parent": {
												"$ref": "AAAAAAFurzdZSqXffVM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -336,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzdZSqXhyEs=",
											"_parent": {
												"$ref": "AAAAAAFurzdZSqXffVM="
											},
											"font": "Arial;13;1",
											"left": 229,
											"top": 119,
											"width": 141.603515625,
											"height": 13,
											"text": "Display possible ratios"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzdZSqXiGp0=",
											"_parent": {
												"$ref": "AAAAAAFurzdZSqXffVM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -336,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurzdZSqXjWWQ=",
											"_parent": {
												"$ref": "AAAAAAFurzdZSqXffVM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -336,
											"height": 13,
											"horizontalAlignment": 1
										}
									],
									"font": "Arial;13;0",
									"left": 224,
									"top": 112,
									"width": 151.603515625,
									"height": 25,
									"stereotypeLabel": {
										"$ref": "AAAAAAFurzdZSqXg/g8="
									},
									"nameLabel": {
										"$ref": "AAAAAAFurzdZSqXhyEs="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFurzdZSqXiGp0="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFurzdZSqXjWWQ="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFurzdZSqXkq6o=",
									"_parent": {
										"$ref": "AAAAAAFurzdZSaXeNTI="
									},
									"model": {
										"$ref": "AAAAAAFurzdZSaXd0+8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -144,
									"top": -168,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFurzdZSqXlgp4=",
									"_parent": {
										"$ref": "AAAAAAFurzdZSaXeNTI="
									},
									"model": {
										"$ref": "AAAAAAFurzdZSaXd0+8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -144,
									"top": -168,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFurzdZS6Xm8FQ=",
									"_parent": {
										"$ref": "AAAAAAFurzdZSaXeNTI="
									},
									"model": {
										"$ref": "AAAAAAFurzdZSaXd0+8="
									},
									"font": "Arial;13;0",
									"left": 224,
									"top": 137,
									"width": 151.603515625
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 224,
							"top": 112,
							"width": 151.603515625,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFurzdZSqXffVM="
							},
							"internalActivityCompartment": {
								"$ref": "AAAAAAFurzdZSqXkq6o="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFurzdZSqXlgp4="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFurzdZS6Xm8FQ="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzepsqYMsNA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzepsqYLbAw="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzepsqYNNFs=",
									"_parent": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"model": {
										"$ref": "AAAAAAFurzepsqYLbAw="
									},
									"font": "Arial;13;0",
									"left": 238,
									"top": 168,
									"width": 88.15625,
									"height": 13,
									"alpha": -4.774807412624511,
									"distance": 16.0312195418814,
									"hostEdge": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"edgePosition": 1,
									"text": " [ratio not valid]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzepsqYOEYU=",
									"_parent": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"model": {
										"$ref": "AAAAAAFurzepsqYLbAw="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 269,
									"top": 168,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzepsqYP7xs=",
									"_parent": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"model": {
										"$ref": "AAAAAAFurzepsqYLbAw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 313,
									"top": 169,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzepsqYMsNA="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzdZSaXeNTI="
							},
							"tail": {
								"$ref": "AAAAAAFurzbuo6W6cw0="
							},
							"points": "299:200;299:151",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzepsqYNNFs="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzepsqYOEYU="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzepsqYP7xs="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzh2VaYer3w=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzh2VaYdOJI="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzh2VqYf8xE=",
									"_parent": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"model": {
										"$ref": "AAAAAAFurzh2VaYdOJI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 145,
									"top": 120,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzh2VqYgNNo=",
									"_parent": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"model": {
										"$ref": "AAAAAAFurzh2VaYdOJI="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 160,
									"top": 120,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzh2VqYhqDI=",
									"_parent": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"model": {
										"$ref": "AAAAAAFurzh2VaYdOJI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 116,
									"top": 121,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzh2VaYer3w="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzE/jqTPYIU="
							},
							"tail": {
								"$ref": "AAAAAAFurzdZSaXeNTI="
							},
							"points": "224:127;131:127;131:200",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzh2VqYf8xE="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzh2VqYgNNo="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzh2VqYhqDI="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFurznIUqZEfzU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurznIUaZDBLQ="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFurznIUqZF9Gs=",
									"_parent": {
										"$ref": "AAAAAAFurznIUqZEfzU="
									},
									"model": {
										"$ref": "AAAAAAFurznIUaZDBLQ="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurznIUqZG8HE=",
											"_parent": {
												"$ref": "AAAAAAFurznIUqZF9Gs="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -240,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurznIUqZHRWI=",
											"_parent": {
												"$ref": "AAAAAAFurznIUqZF9Gs="
											},
											"font": "Arial;13;1",
											"left": 381,
											"top": 199,
											"width": 116.34619140625,
											"height": 26,
											"text": "Request crew composition",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurznIUqZIv2Q=",
											"_parent": {
												"$ref": "AAAAAAFurznIUqZF9Gs="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -240,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurznIUqZJ7rc=",
											"_parent": {
												"$ref": "AAAAAAFurznIUqZF9Gs="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -240,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 376,
									"top": 192,
									"width": 126.34619140625,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFurznIUqZG8HE="
									},
									"nameLabel": {
										"$ref": "AAAAAAFurznIUqZHRWI="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFurznIUqZIv2Q="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFurznIUqZJ7rc="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFurznIUqZK4nI=",
									"_parent": {
										"$ref": "AAAAAAFurznIUqZEfzU="
									},
									"model": {
										"$ref": "AAAAAAFurznIUaZDBLQ="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -120,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFurznIUqZL+Ig=",
									"_parent": {
										"$ref": "AAAAAAFurznIUqZEfzU="
									},
									"model": {
										"$ref": "AAAAAAFurznIUaZDBLQ="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -120,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFurznIUqZMqDA=",
									"_parent": {
										"$ref": "AAAAAAFurznIUqZEfzU="
									},
									"model": {
										"$ref": "AAAAAAFurznIUaZDBLQ="
									},
									"font": "Arial;13;0",
									"left": 376,
									"top": 230,
									"width": 126.34619140625
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 376,
							"top": 192,
							"width": 126.34619140625,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFurznIUqZF9Gs="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFurznIUqZK4nI="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFurznIUqZL+Ig="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFurznIUqZMqDA="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzrxQaZsuic=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzrxQaZrtZg="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzrxQaZtlJ0=",
									"_parent": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"model": {
										"$ref": "AAAAAAFurzrxQaZrtZg="
									},
									"font": "Arial;13;0",
									"left": 314,
									"top": 187,
									"width": 58.53173828125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"edgePosition": 1,
									"text": " [else]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzrxQqZuIDg=",
									"_parent": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"model": {
										"$ref": "AAAAAAFurzrxQaZrtZg="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 343,
									"top": 172,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzrxQqZv3vk=",
									"_parent": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"model": {
										"$ref": "AAAAAAFurzrxQaZrtZg="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 343,
									"top": 217,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzrxQaZsuic="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurznIUqZEfzU="
							},
							"tail": {
								"$ref": "AAAAAAFurzbuo6W6cw0="
							},
							"points": "310:208;376:208",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzrxQaZtlJ0="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzrxQqZuIDg="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzrxQqZv3vk="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFurzzHoacowxU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzzHoacnuDA="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzzHoqcpdzg=",
									"_parent": {
										"$ref": "AAAAAAFurzzHoacowxU="
									},
									"model": {
										"$ref": "AAAAAAFurzzHoacnuDA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 580,
									"top": 187.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzzHoqcqJO4=",
									"_parent": {
										"$ref": "AAAAAAFurzzHoacowxU="
									},
									"model": {
										"$ref": "AAAAAAFurzzHoacnuDA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 570,
									"top": 177.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFurzzHoqcrA/M=",
									"_parent": {
										"$ref": "AAAAAAFurzzHoacowxU="
									},
									"model": {
										"$ref": "AAAAAAFurzzHoacnuDA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 580,
									"top": 216.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 584,
							"top": 200,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFurzzHoqcpdzg="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzzHoqcqJO4="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzzHoqcrA/M="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurzzpcKc9q9c=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurzzpcKc86jI="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzzpcKc+8FQ=",
									"_parent": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"model": {
										"$ref": "AAAAAAFurzzpcKc86jI="
									},
									"font": "Arial;13;0",
									"left": 506,
									"top": 189,
									"width": 72.9853515625,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"edgePosition": 1,
									"text": "changeCrew"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzzpcac/mjg=",
									"_parent": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"model": {
										"$ref": "AAAAAAFurzzpcKc86jI="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 542,
									"top": 174,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurzzpcadAgG4=",
									"_parent": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"model": {
										"$ref": "AAAAAAFurzzpcKc86jI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 542,
									"top": 219,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurzzpcKc9q9c="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurzzHoacowxU="
							},
							"tail": {
								"$ref": "AAAAAAFurznIUqZEfzU="
							},
							"points": "501:210;584:210",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurzzpcKc+8FQ="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurzzpcac/mjg="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurzzpcadAgG4="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFurz0DiqdPe0Y=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurz0DiqdOFS8="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFurz0DiqdQnXQ=",
									"_parent": {
										"$ref": "AAAAAAFurz0DiqdPe0Y="
									},
									"model": {
										"$ref": "AAAAAAFurz0DiqdOFS8="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurz0DiqdR+J0=",
											"_parent": {
												"$ref": "AAAAAAFurz0DiqdQnXQ="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurz0DiqdSPBY=",
											"_parent": {
												"$ref": "AAAAAAFurz0DiqdQnXQ="
											},
											"font": "Arial;13;1",
											"left": 509,
											"top": 119,
											"width": 172.6435546875,
											"height": 26,
											"text": "Error bad crew composition",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurz0DiqdTFn4=",
											"_parent": {
												"$ref": "AAAAAAFurz0DiqdQnXQ="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFurz0DiqdUXT0=",
											"_parent": {
												"$ref": "AAAAAAFurz0DiqdQnXQ="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -288,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 504,
									"top": 112,
									"width": 182.6435546875,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFurz0DiqdR+J0="
									},
									"nameLabel": {
										"$ref": "AAAAAAFurz0DiqdSPBY="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFurz0DiqdTFn4="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFurz0DiqdUXT0="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFurz0DiqdVc3A=",
									"_parent": {
										"$ref": "AAAAAAFurz0DiqdPe0Y="
									},
									"model": {
										"$ref": "AAAAAAFurz0DiqdOFS8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -144,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFurz0DiqdWz70=",
									"_parent": {
										"$ref": "AAAAAAFurz0DiqdPe0Y="
									},
									"model": {
										"$ref": "AAAAAAFurz0DiqdOFS8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -144,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFurz0Di6dXsMg=",
									"_parent": {
										"$ref": "AAAAAAFurz0DiqdPe0Y="
									},
									"model": {
										"$ref": "AAAAAAFurz0DiqdOFS8="
									},
									"font": "Arial;13;0",
									"left": 504,
									"top": 150,
									"width": 182.6435546875
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 504,
							"top": 112,
							"width": 182.6435546875,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFurz0DiqdQnXQ="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFurz0DiqdVc3A="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFurz0DiqdWz70="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFurz0Di6dXsMg="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurz2aaKd6c90=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurz2aaKd5YzQ="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz2aaKd7JZY=",
									"_parent": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"model": {
										"$ref": "AAAAAAFurz2aaKd5YzQ="
									},
									"font": "Arial;13;0",
									"left": 534,
									"top": 168,
									"width": 90.314453125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"edgePosition": 1,
									"text": " [crew not valid]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz2aaKd8Tyo=",
									"_parent": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"model": {
										"$ref": "AAAAAAFurz2aaKd5YzQ="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 564,
									"top": 168,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz2aaKd94ac=",
									"_parent": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"model": {
										"$ref": "AAAAAAFurz2aaKd5YzQ="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 608,
									"top": 169,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurz2aaKd6c90="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurz0DiqdPe0Y="
							},
							"tail": {
								"$ref": "AAAAAAFurzzHoacowxU="
							},
							"points": "594:200;594:151",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurz2aaKd7JZY="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurz2aaKd8Tyo="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurz2aaKd94ac="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFurz9Cf6fygm0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFurz9Cf6fx+HU="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz9Cf6fzYcY=",
									"_parent": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"model": {
										"$ref": "AAAAAAFurz9Cf6fx+HU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 451,
									"top": 120,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz9Cf6f0l1Y=",
									"_parent": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"model": {
										"$ref": "AAAAAAFurz9Cf6fx+HU="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 466,
									"top": 120,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFurz9Cf6f1ks4=",
									"_parent": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"model": {
										"$ref": "AAAAAAFurz9Cf6fx+HU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 422,
									"top": 121,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFurz9Cf6fygm0="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFurznIUqZEfzU="
							},
							"tail": {
								"$ref": "AAAAAAFurz0DiqdPe0Y="
							},
							"points": "504:127;437:127;437:192",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFurz9Cf6fzYcY="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFurz9Cf6f0l1Y="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFurz9Cf6f1ks4="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFur0AMxqgYYCE=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFur0AMxqgXWjI="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFur0AMxqgZGJM=",
									"_parent": {
										"$ref": "AAAAAAFur0AMxqgYYCE="
									},
									"model": {
										"$ref": "AAAAAAFur0AMxqgXWjI="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFur0AMxqgaEUo=",
											"_parent": {
												"$ref": "AAAAAAFur0AMxqgZGJM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -592,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFur0AMx6gbAyA=",
											"_parent": {
												"$ref": "AAAAAAFur0AMxqgZGJM="
											},
											"font": "Arial;13;1",
											"left": 669,
											"top": 199,
											"width": 151,
											"height": 26,
											"text": "New crew successfully formed",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFur0AMx6gcgn4=",
											"_parent": {
												"$ref": "AAAAAAFur0AMxqgZGJM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -592,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFur0AMx6gdPX4=",
											"_parent": {
												"$ref": "AAAAAAFur0AMxqgZGJM="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -592,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 664,
									"top": 192,
									"width": 161,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFur0AMxqgaEUo="
									},
									"nameLabel": {
										"$ref": "AAAAAAFur0AMx6gbAyA="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFur0AMx6gcgn4="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFur0AMx6gdPX4="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFur0AMx6gejrc=",
									"_parent": {
										"$ref": "AAAAAAFur0AMxqgYYCE="
									},
									"model": {
										"$ref": "AAAAAAFur0AMxqgXWjI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -296,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFur0AMx6gfzjc=",
									"_parent": {
										"$ref": "AAAAAAFur0AMxqgYYCE="
									},
									"model": {
										"$ref": "AAAAAAFur0AMxqgXWjI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -296,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFur0AMx6gge10=",
									"_parent": {
										"$ref": "AAAAAAFur0AMxqgYYCE="
									},
									"model": {
										"$ref": "AAAAAAFur0AMxqgXWjI="
									},
									"font": "Arial;13;0",
									"left": 664,
									"top": 230,
									"width": 161
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 664,
							"top": 192,
							"width": 161,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFur0AMxqgZGJM="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFur0AMx6gejrc="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFur0AMx6gfzjc="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFur0AMx6gge10="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFur0BqT6hA+G4=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFur0BqT6g/zXA="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0BqT6hB5g0=",
									"_parent": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"model": {
										"$ref": "AAAAAAFur0BqT6g/zXA="
									},
									"font": "Arial;13;0",
									"left": 606,
									"top": 189,
									"width": 58.53173828125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"edgePosition": 1,
									"text": " [else]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0BqT6hCi/s=",
									"_parent": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"model": {
										"$ref": "AAAAAAFur0BqT6g/zXA="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 635,
									"top": 174,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0BqT6hDZd0=",
									"_parent": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"model": {
										"$ref": "AAAAAAFur0BqT6g/zXA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 635,
									"top": 219,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFur0BqT6hA+G4="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFur0AMxqgYYCE="
							},
							"tail": {
								"$ref": "AAAAAAFurzzHoacowxU="
							},
							"points": "606:210;664:210",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFur0BqT6hB5g0="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFur0BqT6hCi/s="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFur0BqT6hDZd0="
							}
						},
						{
							"_type": "UMLFinalStateView",
							"_id": "AAAAAAFur0DHqKhTcm8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFur0DHqKhS/ls="
							},
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 952,
							"top": 200,
							"width": 26,
							"height": 26
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFur0DjNKhjJzQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFur0DjNKhiG+g="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0DjNKhkPPg=",
									"_parent": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"model": {
										"$ref": "AAAAAAFur0DjNKhiG+g="
									},
									"font": "Arial;13;0",
									"left": 829,
									"top": 191,
									"width": 118.498046875,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"edgePosition": 1,
									"text": "notifyRaceOrganizer"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0DjNKhlPq8=",
									"_parent": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"model": {
										"$ref": "AAAAAAFur0DjNKhiG+g="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 888,
									"top": 176,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFur0DjNKhm3e4=",
									"_parent": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"model": {
										"$ref": "AAAAAAFur0DjNKhiG+g="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 888,
									"top": 221,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFur0DjNKhjJzQ="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFur0DHqKhTcm8="
							},
							"tail": {
								"$ref": "AAAAAAFur0AMxqgYYCE="
							},
							"points": "824:212;952:212",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFur0DjNKhkPPg="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFur0DjNKhlPq8="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFur0DjNKhm3e4="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusaAmbz+YPSI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaAmbD+X29o="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusaAmcD+ZIpY=",
									"_parent": {
										"$ref": "AAAAAAFusaAmbz+YPSI="
									},
									"model": {
										"$ref": "AAAAAAFusaAmbD+X29o="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusaAmcD+ad38=",
											"_parent": {
												"$ref": "AAAAAAFusaAmcD+ZIpY="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -16,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusaAmdT+b+tE=",
											"_parent": {
												"$ref": "AAAAAAFusaAmcD+ZIpY="
											},
											"font": "Arial;13;1",
											"left": 237,
											"top": 327,
											"width": 95,
											"height": 39,
											"text": "Waiting for permission from OBR",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusaAmdj+czjs=",
											"_parent": {
												"$ref": "AAAAAAFusaAmcD+ZIpY="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -16,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusaAmdj+dJdg=",
											"_parent": {
												"$ref": "AAAAAAFusaAmcD+ZIpY="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -16,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 232,
									"top": 320,
									"width": 105,
									"height": 51,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusaAmcD+ad38="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusaAmdT+b+tE="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusaAmdj+czjs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusaAmdj+dJdg="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusaAmdj+emNY=",
									"_parent": {
										"$ref": "AAAAAAFusaAmbz+YPSI="
									},
									"model": {
										"$ref": "AAAAAAFusaAmbD+X29o="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -8,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusaAmdz+f4cY=",
									"_parent": {
										"$ref": "AAAAAAFusaAmbz+YPSI="
									},
									"model": {
										"$ref": "AAAAAAFusaAmbD+X29o="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -8,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusaAmdz+g4yE=",
									"_parent": {
										"$ref": "AAAAAAFusaAmbz+YPSI="
									},
									"model": {
										"$ref": "AAAAAAFusaAmbD+X29o="
									},
									"font": "Arial;13;0",
									"left": 232,
									"top": 371,
									"width": 105
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 232,
							"top": 320,
							"width": 105,
							"height": 51,
							"nameCompartment": {
								"$ref": "AAAAAAFusaAmcD+ZIpY="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusaAmdj+emNY="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusaAmdz+f4cY="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusaAmdz+g4yE="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusaBuwz/C00Y=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaBuwj/Bo/E="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaBuwz/D9N4=",
									"_parent": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"model": {
										"$ref": "AAAAAAFusaBuwj/Bo/E="
									},
									"font": "Arial;13;0",
									"left": 94,
									"top": 324,
									"width": 65.75537109375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"edgePosition": 1,
									"text": "requestCall"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaBuwz/EcGg=",
									"_parent": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"model": {
										"$ref": "AAAAAAFusaBuwj/Bo/E="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 126,
									"top": 309,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaBuwz/FTD0=",
									"_parent": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"model": {
										"$ref": "AAAAAAFusaBuwj/Bo/E="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 126,
									"top": 354,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaBuwz/C00Y="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusaAmbz+YPSI="
							},
							"tail": {
								"$ref": "AAAAAAFurzE/jqTPYIU="
							},
							"points": "126:218;126:345;232:345",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusaBuwz/D9N4="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusaBuwz/EcGg="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusaBuwz/FTD0="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFusaDcDT/ZpSU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaDcDT/YySU="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusaDcDT/apGI=",
									"_parent": {
										"$ref": "AAAAAAFusaDcDT/ZpSU="
									},
									"model": {
										"$ref": "AAAAAAFusaDcDT/YySU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 396,
									"top": 323.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusaDcDT/bSoc=",
									"_parent": {
										"$ref": "AAAAAAFusaDcDT/ZpSU="
									},
									"model": {
										"$ref": "AAAAAAFusaDcDT/YySU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 386,
									"top": 313.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusaDcDT/c12E=",
									"_parent": {
										"$ref": "AAAAAAFusaDcDT/ZpSU="
									},
									"model": {
										"$ref": "AAAAAAFusaDcDT/YySU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 396,
									"top": 352.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 400,
							"top": 336,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFusaDcDT/apGI="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusaDcDT/bSoc="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusaDcDT/c12E="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusaD2nD/srw4=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaD2nD/rZS8="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaD2nD/tr38=",
									"_parent": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"model": {
										"$ref": "AAAAAAFusaD2nD/rZS8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 368,
									"top": 324,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaD2nD/uRWI=",
									"_parent": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"model": {
										"$ref": "AAAAAAFusaD2nD/rZS8="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 368,
									"top": 309,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaD2nD/vKhg=",
									"_parent": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"model": {
										"$ref": "AAAAAAFusaD2nD/rZS8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 368,
									"top": 354,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaD2nD/srw4="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusaDcDT/ZpSU="
							},
							"tail": {
								"$ref": "AAAAAAFusaAmbz+YPSI="
							},
							"points": "336:345;400:345",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusaD2nD/tr38="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusaD2nD/uRWI="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusaD2nD/vKhg="
							}
						},
						{
							"_type": "UMLFinalStateView",
							"_id": "AAAAAAFusaFN4T/+Pec=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaFN4T/9res="
							},
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 496,
							"top": 272,
							"width": 26,
							"height": 26
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusaFhuUADADQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusaFhuUACs4o="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaFhukAEeN0=",
									"_parent": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"model": {
										"$ref": "AAAAAAFusaFhuUACs4o="
									},
									"font": "Arial;13;0",
									"left": 343,
									"top": 260,
									"width": 130.0634765625,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"edgePosition": 1,
									"text": " [call not possible]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaFhukAF9Kg=",
									"_parent": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"model": {
										"$ref": "AAAAAAFusaFhuUACs4o="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 408,
									"top": 245,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusaFhukAGV0E=",
									"_parent": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"model": {
										"$ref": "AAAAAAFusaFhuUACs4o="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 408,
									"top": 290,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusaFhuUADADQ="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusaFN4T/+Pec="
							},
							"tail": {
								"$ref": "AAAAAAFusaDcDT/ZpSU="
							},
							"points": "408:336;408:281;496:281",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusaFhukAEeN0="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusaFhukAF9Kg="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusaFhukAGV0E="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusa7tT0CV2Nk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusa7tT0CUEgA="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusa7tT0CWoJE=",
									"_parent": {
										"$ref": "AAAAAAFusa7tT0CV2Nk="
									},
									"model": {
										"$ref": "AAAAAAFusa7tT0CUEgA="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusa7tT0CXDqk=",
											"_parent": {
												"$ref": "AAAAAAFusa7tT0CWoJE="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 144,
											"top": -368,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusa7tT0CY8Q8=",
											"_parent": {
												"$ref": "AAAAAAFusa7tT0CWoJE="
											},
											"font": "Arial;13;1",
											"left": 613,
											"top": 335,
											"width": 101.87353515625,
											"height": 26,
											"text": "Problem not fixed",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusa7tT0CZVu8=",
											"_parent": {
												"$ref": "AAAAAAFusa7tT0CWoJE="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 144,
											"top": -368,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusa7tT0CaKDQ=",
											"_parent": {
												"$ref": "AAAAAAFusa7tT0CWoJE="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 144,
											"top": -368,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 608,
									"top": 328,
									"width": 111.87353515625,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusa7tT0CXDqk="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusa7tT0CY8Q8="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusa7tT0CZVu8="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusa7tT0CaKDQ="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusa7tT0Cbcwk=",
									"_parent": {
										"$ref": "AAAAAAFusa7tT0CV2Nk="
									},
									"model": {
										"$ref": "AAAAAAFusa7tT0CUEgA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 72,
									"top": -184,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusa7tUECchzE=",
									"_parent": {
										"$ref": "AAAAAAFusa7tT0CV2Nk="
									},
									"model": {
										"$ref": "AAAAAAFusa7tT0CUEgA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 72,
									"top": -184,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusa7tUECdAi4=",
									"_parent": {
										"$ref": "AAAAAAFusa7tT0CV2Nk="
									},
									"model": {
										"$ref": "AAAAAAFusa7tT0CUEgA="
									},
									"font": "Arial;13;0",
									"left": 608,
									"top": 366,
									"width": 111.87353515625
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 608,
							"top": 328,
							"width": 111.87353515625,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusa7tT0CWoJE="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusa7tT0Cbcwk="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusa7tUECchzE="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusa7tUECdAi4="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusa855EC+a5E=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusa855EC9m/M="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusa855UC/x00=",
									"_parent": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"model": {
										"$ref": "AAAAAAFusa855EC9m/M="
									},
									"font": "Arial;13;0",
									"left": 521,
									"top": 324,
									"width": 85.9853515625,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"edgePosition": 1,
									"text": "problemAdvice"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusa855UDAiL0=",
									"_parent": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"model": {
										"$ref": "AAAAAAFusa855EC9m/M="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 563,
									"top": 309,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusa855UDBiw8=",
									"_parent": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"model": {
										"$ref": "AAAAAAFusa855EC9m/M="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 563,
									"top": 354,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusa855EC+a5E="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusa7tT0CV2Nk="
							},
							"tail": {
								"$ref": "AAAAAAFusc9s6UJprT8="
							},
							"points": "518:345;608:345",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusa855UC/x00="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusa855UDAiL0="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusa855UDBiw8="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusbDng0DXCVM=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbDng0DWmcU="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusbDng0DYByk=",
									"_parent": {
										"$ref": "AAAAAAFusbDng0DXCVM="
									},
									"model": {
										"$ref": "AAAAAAFusbDng0DWmcU="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbDng0DZ2sI=",
											"_parent": {
												"$ref": "AAAAAAFusbDng0DYByk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -288,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbDng0DaN1Q=",
											"_parent": {
												"$ref": "AAAAAAFusbDng0DYByk="
											},
											"font": "Arial;13;1",
											"left": 821,
											"top": 327,
											"width": 135,
											"height": 39,
											"text": "Message sent to support team member",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbDng0Db1fw=",
											"_parent": {
												"$ref": "AAAAAAFusbDng0DYByk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -288,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbDnhEDclPo=",
											"_parent": {
												"$ref": "AAAAAAFusbDng0DYByk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -288,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 816,
									"top": 320,
									"width": 145,
									"height": 51,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusbDng0DZ2sI="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusbDng0DaN1Q="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusbDng0Db1fw="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusbDnhEDclPo="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusbDnhEDdx4o=",
									"_parent": {
										"$ref": "AAAAAAFusbDng0DXCVM="
									},
									"model": {
										"$ref": "AAAAAAFusbDng0DWmcU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 104,
									"top": -144,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusbDnhEDemYA=",
									"_parent": {
										"$ref": "AAAAAAFusbDng0DXCVM="
									},
									"model": {
										"$ref": "AAAAAAFusbDng0DWmcU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 104,
									"top": -144,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusbDnhEDfzj0=",
									"_parent": {
										"$ref": "AAAAAAFusbDng0DXCVM="
									},
									"model": {
										"$ref": "AAAAAAFusbDng0DWmcU="
									},
									"font": "Arial;13;0",
									"left": 816,
									"top": 371,
									"width": 145
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 816,
							"top": 320,
							"width": 145,
							"height": 51,
							"nameCompartment": {
								"$ref": "AAAAAAFusbDng0DYByk="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusbDnhEDdx4o="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusbDnhEDemYA="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusbDnhEDfzj0="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusbFldUEFdMk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbFldUEEDcU="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbFldUEGrbM=",
									"_parent": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"model": {
										"$ref": "AAAAAAFusbFldUEEDcU="
									},
									"font": "Arial;13;0",
									"left": 727,
									"top": 325,
									"width": 80.93896484375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"edgePosition": 1,
									"text": "sendMessage"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbFldUEHbFA=",
									"_parent": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"model": {
										"$ref": "AAAAAAFusbFldUEEDcU="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 767,
									"top": 310,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbFldUEIYVc=",
									"_parent": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"model": {
										"$ref": "AAAAAAFusbFldUEEDcU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 767,
									"top": 355,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbFldUEFdMk="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusbDng0DXCVM="
							},
							"tail": {
								"$ref": "AAAAAAFusa7tT0CV2Nk="
							},
							"points": "719:346;816:346",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusbFldUEGrbM="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbFldUEHbFA="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbFldUEIYVc="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusbHtpUEaYGo=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbHtpUEZ7EE="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusbHtpUEb1BI=",
									"_parent": {
										"$ref": "AAAAAAFusbHtpUEaYGo="
									},
									"model": {
										"$ref": "AAAAAAFusbHtpUEZ7EE="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbHtpUEc2vQ=",
											"_parent": {
												"$ref": "AAAAAAFusbHtpUEb1BI="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbHtpkEd+Lo=",
											"_parent": {
												"$ref": "AAAAAAFusbHtpUEb1BI="
											},
											"font": "Arial;13;1",
											"left": 1053,
											"top": 327,
											"width": 119,
											"height": 26,
											"text": "Message sent to skipper",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbHtpkEeEqk=",
											"_parent": {
												"$ref": "AAAAAAFusbHtpUEb1BI="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbHtpkEfZG4=",
											"_parent": {
												"$ref": "AAAAAAFusbHtpUEb1BI="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 208,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 1048,
									"top": 320,
									"width": 129,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusbHtpUEc2vQ="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusbHtpkEd+Lo="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusbHtpkEeEqk="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusbHtpkEfZG4="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusbHtpkEgrBA=",
									"_parent": {
										"$ref": "AAAAAAFusbHtpUEaYGo="
									},
									"model": {
										"$ref": "AAAAAAFusbHtpUEZ7EE="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 104,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusbHtpkEhhqQ=",
									"_parent": {
										"$ref": "AAAAAAFusbHtpUEaYGo="
									},
									"model": {
										"$ref": "AAAAAAFusbHtpUEZ7EE="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 104,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusbHtpkEiX4U=",
									"_parent": {
										"$ref": "AAAAAAFusbHtpUEaYGo="
									},
									"model": {
										"$ref": "AAAAAAFusbHtpUEZ7EE="
									},
									"font": "Arial;13;0",
									"left": 1048,
									"top": 358,
									"width": 129
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1048,
							"top": 320,
							"width": 129,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusbHtpUEb1BI="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusbHtpkEgrBA="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusbHtpkEhhqQ="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusbHtpkEiX4U="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusbInZkFEzfw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbInZUFDav0="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbInZkFFJss=",
									"_parent": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"model": {
										"$ref": "AAAAAAFusbInZUFDav0="
									},
									"font": "Arial;13;0",
									"left": 964,
									"top": 322,
									"width": 80.93896484375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"edgePosition": 1,
									"text": "sendMessage"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbInZkFGn0s=",
									"_parent": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"model": {
										"$ref": "AAAAAAFusbInZUFDav0="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1004,
									"top": 307,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbInZkFH9wc=",
									"_parent": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"model": {
										"$ref": "AAAAAAFusbInZUFDav0="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1004,
									"top": 352,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbInZkFEzfw="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusbHtpUEaYGo="
							},
							"tail": {
								"$ref": "AAAAAAFusbDng0DXCVM="
							},
							"points": "960:343;1048:343",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusbInZkFFJss="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbInZkFGn0s="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbInZkFH9wc="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFusbQIOkFbx2c=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbQIOkFa0+M="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusbQIOkFcx3A=",
									"_parent": {
										"$ref": "AAAAAAFusbQIOkFbx2c="
									},
									"model": {
										"$ref": "AAAAAAFusbQIOkFa0+M="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1220,
									"top": 315.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusbQIOkFdiAI=",
									"_parent": {
										"$ref": "AAAAAAFusbQIOkFbx2c="
									},
									"model": {
										"$ref": "AAAAAAFusbQIOkFa0+M="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1210,
									"top": 305.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusbQIOkFebNc=",
									"_parent": {
										"$ref": "AAAAAAFusbQIOkFbx2c="
									},
									"model": {
										"$ref": "AAAAAAFusbQIOkFa0+M="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1220,
									"top": 344.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1224,
							"top": 328,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFusbQIOkFcx3A="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbQIOkFdiAI="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbQIOkFebNc="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusbQcZEFtkOc=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbQcZEFsw+k="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbQcZEFufi4=",
									"_parent": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"model": {
										"$ref": "AAAAAAFusbQcZEFsw+k="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1200,
									"top": 317,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbQcZEFvdPY=",
									"_parent": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"model": {
										"$ref": "AAAAAAFusbQcZEFsw+k="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1200,
									"top": 302,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbQcZUFwG+k=",
									"_parent": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"model": {
										"$ref": "AAAAAAFusbQcZEFsw+k="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1200,
									"top": 347,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbQcZEFtkOc="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusbQIOkFbx2c="
							},
							"tail": {
								"$ref": "AAAAAAFusbHtpUEaYGo="
							},
							"points": "1176:338;1224:338",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusbQcZEFufi4="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbQcZEFvdPY="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbQcZUFwG+k="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusbRic0F/+NQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbRickF+WcI="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbRic0GAr9Y=",
									"_parent": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"model": {
										"$ref": "AAAAAAFusbRickF+WcI="
									},
									"font": "Arial;13;0",
									"left": 893,
									"top": 393,
									"width": 110.55712890625,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"edgePosition": 1,
									"text": " [problem not fixed]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbRic0GBM10=",
									"_parent": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"model": {
										"$ref": "AAAAAAFusbRickF+WcI="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 948,
									"top": 408,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbRic0GCEmk=",
									"_parent": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"model": {
										"$ref": "AAAAAAFusbRickF+WcI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 949,
									"top": 363,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbRic0F/+NQ="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusa7tT0CV2Nk="
							},
							"tail": {
								"$ref": "AAAAAAFusbQIOkFbx2c="
							},
							"points": "1235:346;1235:384;663:384;663:367",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusbRic0GAr9Y="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbRic0GBM10="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbRic0GCEmk="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusbj4i0GaGnM=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbj4i0GZAaw="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusbj4i0GbvEU=",
									"_parent": {
										"$ref": "AAAAAAFusbj4i0GaGnM="
									},
									"model": {
										"$ref": "AAAAAAFusbj4i0GZAaw="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbj4i0GcvqU=",
											"_parent": {
												"$ref": "AAAAAAFusbj4i0GbvEU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbj4i0GdsNo=",
											"_parent": {
												"$ref": "AAAAAAFusbj4i0GbvEU="
											},
											"font": "Arial;13;1",
											"left": 1301,
											"top": 327,
											"width": 85.96630859375,
											"height": 26,
											"text": "Problem fixed",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbj4jEGeYFs=",
											"_parent": {
												"$ref": "AAAAAAFusbj4i0GbvEU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusbj4jEGf0fw=",
											"_parent": {
												"$ref": "AAAAAAFusbj4i0GbvEU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 1296,
									"top": 320,
									"width": 95.96630859375,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusbj4i0GcvqU="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusbj4i0GdsNo="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusbj4jEGeYFs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusbj4jEGf0fw="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusbj4jEGgGUY=",
									"_parent": {
										"$ref": "AAAAAAFusbj4i0GaGnM="
									},
									"model": {
										"$ref": "AAAAAAFusbj4i0GZAaw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 96,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusbj4jEGhuwE=",
									"_parent": {
										"$ref": "AAAAAAFusbj4i0GaGnM="
									},
									"model": {
										"$ref": "AAAAAAFusbj4i0GZAaw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 96,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusbj4jEGiYpU=",
									"_parent": {
										"$ref": "AAAAAAFusbj4i0GaGnM="
									},
									"model": {
										"$ref": "AAAAAAFusbj4i0GZAaw="
									},
									"font": "Arial;13;0",
									"left": 1296,
									"top": 358,
									"width": 95.96630859375
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1296,
							"top": 320,
							"width": 95.96630859375,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusbj4i0GbvEU="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusbj4jEGgGUY="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusbj4jEGhuwE="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusbj4jEGiYpU="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusbknIkHBUuA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusbknIkHAehI="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbknIkHCk1Q=",
									"_parent": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"model": {
										"$ref": "AAAAAAFusbknIkHAehI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1271,
									"top": 317,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbknIkHDpXE=",
									"_parent": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"model": {
										"$ref": "AAAAAAFusbknIkHAehI="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1271,
									"top": 302,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusbknIkHETD0=",
									"_parent": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"model": {
										"$ref": "AAAAAAFusbknIkHAehI="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1271,
									"top": 347,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusbknIkHBUuA="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusbj4i0GaGnM="
							},
							"tail": {
								"$ref": "AAAAAAFusbQIOkFbx2c="
							},
							"points": "1246:338;1296:338",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusbknIkHCk1Q="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusbknIkHDpXE="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusbknIkHETD0="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFuscBkjEHT/HA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFuscBki0HSWNQ="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFuscBkjEHUaus=",
									"_parent": {
										"$ref": "AAAAAAFuscBkjEHT/HA="
									},
									"model": {
										"$ref": "AAAAAAFuscBki0HSWNQ="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscBkjEHV5Go=",
											"_parent": {
												"$ref": "AAAAAAFuscBkjEHUaus="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscBkjEHWZa8=",
											"_parent": {
												"$ref": "AAAAAAFuscBkjEHUaus="
											},
											"font": "Arial;13;1",
											"left": 1485,
											"top": 327,
											"width": 119,
											"height": 26,
											"text": "Problem marked as fixed",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscBkjEHXXlc=",
											"_parent": {
												"$ref": "AAAAAAFuscBkjEHUaus="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscBkjEHYpX4=",
											"_parent": {
												"$ref": "AAAAAAFuscBkjEHUaus="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 192,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 1480,
									"top": 320,
									"width": 129,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFuscBkjEHV5Go="
									},
									"nameLabel": {
										"$ref": "AAAAAAFuscBkjEHWZa8="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFuscBkjEHXXlc="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFuscBkjEHYpX4="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFuscBkjEHZypY=",
									"_parent": {
										"$ref": "AAAAAAFuscBkjEHT/HA="
									},
									"model": {
										"$ref": "AAAAAAFuscBki0HSWNQ="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 96,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFuscBkjEHardQ=",
									"_parent": {
										"$ref": "AAAAAAFuscBkjEHT/HA="
									},
									"model": {
										"$ref": "AAAAAAFuscBki0HSWNQ="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 96,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFuscBkjEHbr+A=",
									"_parent": {
										"$ref": "AAAAAAFuscBkjEHT/HA="
									},
									"model": {
										"$ref": "AAAAAAFuscBki0HSWNQ="
									},
									"font": "Arial;13;0",
									"left": 1480,
									"top": 358,
									"width": 129
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1480,
							"top": 320,
							"width": 129,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFuscBkjEHUaus="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFuscBkjEHZypY="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFuscBkjEHardQ="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFuscBkjEHbr+A="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFuscCX60H73jU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFuscCX60H6fcs="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscCX60H816Y=",
									"_parent": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"model": {
										"$ref": "AAAAAAFuscCX60H6fcs="
									},
									"font": "Arial;13;0",
									"left": 1405,
									"top": 318,
									"width": 61.4072265625,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"edgePosition": 1,
									"text": "fixProblem"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscCX60H9YlA=",
									"_parent": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"model": {
										"$ref": "AAAAAAFuscCX60H6fcs="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1435,
									"top": 303,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscCX60H+ytc=",
									"_parent": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"model": {
										"$ref": "AAAAAAFuscCX60H6fcs="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1435,
									"top": 348,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFuscCX60H73jU="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFuscBkjEHT/HA="
							},
							"tail": {
								"$ref": "AAAAAAFusbj4i0GaGnM="
							},
							"points": "1391:339;1480:339",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFuscCX60H816Y="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFuscCX60H9YlA="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFuscCX60H+ytc="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFuscDzzUIQkaQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFuscDzzUIPScA="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFuscDzzUIRvXk=",
									"_parent": {
										"$ref": "AAAAAAFuscDzzUIQkaQ="
									},
									"model": {
										"$ref": "AAAAAAFuscDzzUIPScA="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscDzzUISNFk=",
											"_parent": {
												"$ref": "AAAAAAFuscDzzUIRvXk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 256,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscDzzUITnfg=",
											"_parent": {
												"$ref": "AAAAAAFuscDzzUIRvXk="
											},
											"font": "Arial;13;1",
											"left": 1693,
											"top": 327,
											"width": 175,
											"height": 26,
											"text": "Notified OBR about exchanged messages",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscDzzkIUGOs=",
											"_parent": {
												"$ref": "AAAAAAFuscDzzUIRvXk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 256,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFuscDzzkIVq4c=",
											"_parent": {
												"$ref": "AAAAAAFuscDzzUIRvXk="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 256,
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 1688,
									"top": 320,
									"width": 185,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFuscDzzUISNFk="
									},
									"nameLabel": {
										"$ref": "AAAAAAFuscDzzUITnfg="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFuscDzzkIUGOs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFuscDzzkIVq4c="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFuscDzzkIWa0c=",
									"_parent": {
										"$ref": "AAAAAAFuscDzzUIQkaQ="
									},
									"model": {
										"$ref": "AAAAAAFuscDzzUIPScA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 128,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFuscDzzkIXZJU=",
									"_parent": {
										"$ref": "AAAAAAFuscDzzUIQkaQ="
									},
									"model": {
										"$ref": "AAAAAAFuscDzzUIPScA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 128,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFuscDzzkIY4Ss=",
									"_parent": {
										"$ref": "AAAAAAFuscDzzUIQkaQ="
									},
									"model": {
										"$ref": "AAAAAAFuscDzzUIPScA="
									},
									"font": "Arial;13;0",
									"left": 1688,
									"top": 358,
									"width": 185
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1688,
							"top": 320,
							"width": 185,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFuscDzzUIRvXk="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFuscDzzkIWa0c="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFuscDzzkIXZJU="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFuscDzzkIY4Ss="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFuscZC4kI9MAI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFuscZC4kI8+hY="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscZC40I+6xI=",
									"_parent": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"model": {
										"$ref": "AAAAAAFuscZC4kI8+hY="
									},
									"font": "Arial;13;0",
									"left": 1619,
									"top": 318,
									"width": 59.24267578125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"edgePosition": 1,
									"text": "notifyOBR"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscZC40I/zzw=",
									"_parent": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"model": {
										"$ref": "AAAAAAFuscZC4kI8+hY="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1648,
									"top": 303,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFuscZC40JAKCI=",
									"_parent": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"model": {
										"$ref": "AAAAAAFuscZC4kI8+hY="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1648,
									"top": 348,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFuscZC4kI9MAI="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFuscDzzUIQkaQ="
							},
							"tail": {
								"$ref": "AAAAAAFuscBkjEHT/HA="
							},
							"points": "1608:339;1688:339",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFuscZC40I+6xI="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFuscZC40I/zzw="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFuscZC40JAKCI="
							}
						},
						{
							"_type": "UMLFinalStateView",
							"_id": "AAAAAAFuscb4JUJSJJ0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFuscb4JUJRpx0="
							},
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1936,
							"top": 328,
							"width": 26,
							"height": 26
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusccFG0JX+qc=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusccFG0JW6K8="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusccFG0JYGgQ=",
									"_parent": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"model": {
										"$ref": "AAAAAAFusccFG0JW6K8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1904,
									"top": 319,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusccFHEJZj6k=",
									"_parent": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"model": {
										"$ref": "AAAAAAFusccFG0JW6K8="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1904,
									"top": 304,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusccFHEJaxWQ=",
									"_parent": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"model": {
										"$ref": "AAAAAAFusccFG0JW6K8="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1904,
									"top": 349,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusccFG0JX+qc="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFuscb4JUJSJJ0="
							},
							"tail": {
								"$ref": "AAAAAAFuscDzzUIQkaQ="
							},
							"points": "1872:340;1936:340",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusccFG0JYGgQ="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusccFHEJZj6k="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusccFHEJaxWQ="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFusc9s6UJprT8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusc9s50Jo5zk="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusc9s6UJqrE4=",
									"_parent": {
										"$ref": "AAAAAAFusc9s6UJprT8="
									},
									"model": {
										"$ref": "AAAAAAFusc9s50Jo5zk="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 492,
									"top": 323.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusc9s6kJrK+E=",
									"_parent": {
										"$ref": "AAAAAAFusc9s6UJprT8="
									},
									"model": {
										"$ref": "AAAAAAFusc9s50Jo5zk="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 482,
									"top": 313.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusc9s6kJsDPQ=",
									"_parent": {
										"$ref": "AAAAAAFusc9s6UJprT8="
									},
									"model": {
										"$ref": "AAAAAAFusc9s50Jo5zk="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 492,
									"top": 352.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 496,
							"top": 336,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFusc9s6UJqrE4="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusc9s6kJrK+E="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusc9s6kJsDPQ="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdADAkKR0Ss=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdADAkKQx94="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdADA0KStJg=",
									"_parent": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"model": {
										"$ref": "AAAAAAFusdADAkKQx94="
									},
									"font": "Arial;13;0",
									"left": 442,
									"top": 324,
									"width": 34.68359375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"edgePosition": 1,
									"text": " [else]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdADA0KTMeU=",
									"_parent": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"model": {
										"$ref": "AAAAAAFusdADAkKQx94="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 459,
									"top": 309,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdADA0KUl48=",
									"_parent": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"model": {
										"$ref": "AAAAAAFusdADAkKQx94="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 459,
									"top": 354,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdADAkKR0Ss="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusc9s6UJprT8="
							},
							"tail": {
								"$ref": "AAAAAAFusaDcDT/ZpSU="
							},
							"points": "422:345;496:345",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdADA0KStJg="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdADA0KTMeU="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdADA0KUl48="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusdG6SUK1xlA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdG6R0K098o="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusdG6SkK2XaA=",
									"_parent": {
										"$ref": "AAAAAAFusdG6SUK1xlA="
									},
									"model": {
										"$ref": "AAAAAAFusdG6R0K098o="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdG6SkK3yak=",
											"_parent": {
												"$ref": "AAAAAAFusdG6SkK2XaA="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdG6SkK4XVM=",
											"_parent": {
												"$ref": "AAAAAAFusdG6SkK2XaA="
											},
											"font": "Arial;13;1",
											"left": 613,
											"top": 439,
											"width": 111,
											"height": 26,
											"text": "Connection established",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdG6SkK5M54=",
											"_parent": {
												"$ref": "AAAAAAFusdG6SkK2XaA="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdG6SkK6nRo=",
											"_parent": {
												"$ref": "AAAAAAFusdG6SkK2XaA="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 608,
									"top": 432,
									"width": 121,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusdG6SkK3yak="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusdG6SkK4XVM="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusdG6SkK5M54="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusdG6SkK6nRo="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusdG6SkK7ZZE=",
									"_parent": {
										"$ref": "AAAAAAFusdG6SUK1xlA="
									},
									"model": {
										"$ref": "AAAAAAFusdG6R0K098o="
									},
									"visible": false,
									"font": "Arial;13;0",
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusdG6S0K8aXc=",
									"_parent": {
										"$ref": "AAAAAAFusdG6SUK1xlA="
									},
									"model": {
										"$ref": "AAAAAAFusdG6R0K098o="
									},
									"visible": false,
									"font": "Arial;13;0",
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusdG6S0K9A1Y=",
									"_parent": {
										"$ref": "AAAAAAFusdG6SUK1xlA="
									},
									"model": {
										"$ref": "AAAAAAFusdG6R0K098o="
									},
									"font": "Arial;13;0",
									"left": 608,
									"top": 470,
									"width": 121
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 608,
							"top": 432,
							"width": 121,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusdG6SkK2XaA="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusdG6SkK7ZZE="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusdG6S0K8aXc="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusdG6S0K9A1Y="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdInf0LdIM8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdInfkLcg1I="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdInf0LeuIc=",
									"_parent": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"model": {
										"$ref": "AAAAAAFusdInfkLcg1I="
									},
									"font": "Arial;13;0",
									"left": 442,
									"top": 430,
									"width": 131.5361328125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"edgePosition": 1,
									"text": "establishConnection"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdInf0LfiJQ=",
									"_parent": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"model": {
										"$ref": "AAAAAAFusdInfkLcg1I="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 507,
									"top": 415,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdInf0LgQTU=",
									"_parent": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"model": {
										"$ref": "AAAAAAFusdInfkLcg1I="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 507,
									"top": 460,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdInf0LdIM8="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdG6SUK1xlA="
							},
							"tail": {
								"$ref": "AAAAAAFusc9s6UJprT8="
							},
							"points": "507:354;507:451;608:451",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdInf0LeuIc="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdInf0LfiJQ="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdInf0LgQTU="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFusdVbQkL4VVI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdVbQkL3DLU="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusdVbQkL5gyc=",
									"_parent": {
										"$ref": "AAAAAAFusdVbQkL4VVI="
									},
									"model": {
										"$ref": "AAAAAAFusdVbQkL3DLU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 772,
									"top": 427.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusdVbQkL6liw=",
									"_parent": {
										"$ref": "AAAAAAFusdVbQkL4VVI="
									},
									"model": {
										"$ref": "AAAAAAFusdVbQkL3DLU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 762,
									"top": 417.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusdVbQkL7nvg=",
									"_parent": {
										"$ref": "AAAAAAFusdVbQkL4VVI="
									},
									"model": {
										"$ref": "AAAAAAFusdVbQkL3DLU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 772,
									"top": 456.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 776,
							"top": 440,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFusdVbQkL5gyc="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdVbQkL6liw="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdVbQkL7nvg="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdV2TEMK4zI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdV2TEMJupY="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdV2TUMLG3g=",
									"_parent": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"model": {
										"$ref": "AAAAAAFusdV2TEMJupY="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 752,
									"top": 429,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdV2TUMM6A0=",
									"_parent": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"model": {
										"$ref": "AAAAAAFusdV2TEMJupY="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 752,
									"top": 414,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdV2TUMNXiE=",
									"_parent": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"model": {
										"$ref": "AAAAAAFusdV2TEMJupY="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 752,
									"top": 459,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdV2TEMK4zI="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdVbQkL4VVI="
							},
							"tail": {
								"$ref": "AAAAAAFusdG6SUK1xlA="
							},
							"points": "728:450;776:450",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdV2TUMLG3g="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdV2TUMM6A0="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdV2TUMNXiE="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusdiwh0McFAY=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdiwhkMbS/Y="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusdiwh0MdjQo=",
									"_parent": {
										"$ref": "AAAAAAFusdiwh0McFAY="
									},
									"model": {
										"$ref": "AAAAAAFusdiwhkMbS/Y="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdiwh0MeDb8=",
											"_parent": {
												"$ref": "AAAAAAFusdiwh0MdjQo="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 176,
											"top": -288,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdiwh0MfvMY=",
											"_parent": {
												"$ref": "AAAAAAFusdiwh0MdjQo="
											},
											"font": "Arial;13;1",
											"left": 965,
											"top": 439,
											"width": 85.26171875,
											"height": 26,
											"text": "Waiting for message",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdiwh0MgbHg=",
											"_parent": {
												"$ref": "AAAAAAFusdiwh0MdjQo="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 176,
											"top": -288,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdiwh0MhG3I=",
											"_parent": {
												"$ref": "AAAAAAFusdiwh0MdjQo="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 176,
											"top": -288,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 960,
									"top": 432,
									"width": 95.26171875,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusdiwh0MeDb8="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusdiwh0MfvMY="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusdiwh0MgbHg="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusdiwh0MhG3I="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusdiwh0Mi4Jg=",
									"_parent": {
										"$ref": "AAAAAAFusdiwh0McFAY="
									},
									"model": {
										"$ref": "AAAAAAFusdiwhkMbS/Y="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 88,
									"top": -144,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusdiwiEMjZj0=",
									"_parent": {
										"$ref": "AAAAAAFusdiwh0McFAY="
									},
									"model": {
										"$ref": "AAAAAAFusdiwhkMbS/Y="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 88,
									"top": -144,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusdiwiEMkjBk=",
									"_parent": {
										"$ref": "AAAAAAFusdiwh0McFAY="
									},
									"model": {
										"$ref": "AAAAAAFusdiwhkMbS/Y="
									},
									"font": "Arial;13;0",
									"left": 960,
									"top": 470,
									"width": 95.26171875
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 960,
							"top": 432,
							"width": 95.26171875,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusdiwh0MdjQo="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusdiwh0Mi4Jg="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusdiwiEMjZj0="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusdiwiEMkjBk="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdjs60NNxMw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdjs60NMDZU="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdjs60NOkDM=",
									"_parent": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"model": {
										"$ref": "AAAAAAFusdjs60NMDZU="
									},
									"font": "Arial;13;0",
									"left": 800,
									"top": 429,
									"width": 158.25341796875,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"edgePosition": 1,
									"text": " [wants to send a message]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdjs60NPyHA=",
									"_parent": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"model": {
										"$ref": "AAAAAAFusdjs60NMDZU="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 879,
									"top": 414,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdjs60NQ6h8=",
									"_parent": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"model": {
										"$ref": "AAAAAAFusdjs60NMDZU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 879,
									"top": 459,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdjs60NNxMw="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdiwh0McFAY="
							},
							"tail": {
								"$ref": "AAAAAAFusdVbQkL4VVI="
							},
							"points": "798:450;960:450",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdjs60NOkDM="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdjs60NPyHA="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdjs60NQ6h8="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusdo1gkNuRG4=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdo1gkNtsRg="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusdo1gkNvSzU=",
									"_parent": {
										"$ref": "AAAAAAFusdo1gkNuRG4="
									},
									"model": {
										"$ref": "AAAAAAFusdo1gkNtsRg="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdo1gkNwqDI=",
											"_parent": {
												"$ref": "AAAAAAFusdo1gkNvSzU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdo1gkNxyCw=",
											"_parent": {
												"$ref": "AAAAAAFusdo1gkNvSzU="
											},
											"font": "Arial;13;1",
											"left": 1165,
											"top": 439,
											"width": 86.70263671875,
											"height": 13,
											"text": "Message sent"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdo1gkNySdk=",
											"_parent": {
												"$ref": "AAAAAAFusdo1gkNvSzU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdo1gkNzIis=",
											"_parent": {
												"$ref": "AAAAAAFusdo1gkNvSzU="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 80,
											"top": -272,
											"height": 13,
											"horizontalAlignment": 1
										}
									],
									"font": "Arial;13;0",
									"left": 1160,
									"top": 432,
									"width": 96.70263671875,
									"height": 25,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusdo1gkNwqDI="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusdo1gkNxyCw="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusdo1gkNySdk="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusdo1gkNzIis="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusdo1gkN01WY=",
									"_parent": {
										"$ref": "AAAAAAFusdo1gkNuRG4="
									},
									"model": {
										"$ref": "AAAAAAFusdo1gkNtsRg="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 40,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusdo1gkN1zus=",
									"_parent": {
										"$ref": "AAAAAAFusdo1gkNuRG4="
									},
									"model": {
										"$ref": "AAAAAAFusdo1gkNtsRg="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 40,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusdo1gkN25Eo=",
									"_parent": {
										"$ref": "AAAAAAFusdo1gkNuRG4="
									},
									"model": {
										"$ref": "AAAAAAFusdo1gkNtsRg="
									},
									"font": "Arial;13;0",
									"left": 1160,
									"top": 457,
									"width": 96.70263671875
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1160,
							"top": 432,
							"width": 96.70263671875,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusdo1gkNvSzU="
							},
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusdo1gkN01WY="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusdo1gkN1zus="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusdo1gkN25Eo="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdpa3UOaPxE=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdpa3UOZNcU="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdpa3UOb6kU=",
									"_parent": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"model": {
										"$ref": "AAAAAAFusdpa3UOZNcU="
									},
									"font": "Arial;13;0",
									"left": 1067,
									"top": 430,
									"width": 80.93896484375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"edgePosition": 1,
									"text": "sendMessage"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdpa3kOcTOY=",
									"_parent": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"model": {
										"$ref": "AAAAAAFusdpa3UOZNcU="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1107,
									"top": 415,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdpa3kOd4gI=",
									"_parent": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"model": {
										"$ref": "AAAAAAFusdpa3UOZNcU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1107,
									"top": 460,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdpa3UOaPxE="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdo1gkNuRG4="
							},
							"tail": {
								"$ref": "AAAAAAFusdiwh0McFAY="
							},
							"points": "1054:451;1160:451",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdpa3UOb6kU="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdpa3kOcTOY="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdpa3kOd4gI="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusdtMEUOy0mk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdtMEUOxPaE="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusdtMEkOzo3g=",
									"_parent": {
										"$ref": "AAAAAAFusdtMEUOy0mk="
									},
									"model": {
										"$ref": "AAAAAAFusdtMEUOxPaE="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdtMEkO0XCs=",
											"_parent": {
												"$ref": "AAAAAAFusdtMEkOzo3g="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdtMEkO1ndU=",
											"_parent": {
												"$ref": "AAAAAAFusdtMEkOzo3g="
											},
											"font": "Arial;13;1",
											"left": 1341,
											"top": 439,
											"width": 103.33349609375,
											"height": 13,
											"text": "Answer received"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdtMEkO2GfE=",
											"_parent": {
												"$ref": "AAAAAAFusdtMEkOzo3g="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdtMEkO3RRs=",
											"_parent": {
												"$ref": "AAAAAAFusdtMEkOzo3g="
											},
											"visible": false,
											"font": "Arial;13;0",
											"top": -272,
											"height": 13,
											"horizontalAlignment": 1
										}
									],
									"font": "Arial;13;0",
									"left": 1336,
									"top": 432,
									"width": 113.33349609375,
									"height": 25,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusdtMEkO0XCs="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusdtMEkO1ndU="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusdtMEkO2GfE="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusdtMEkO3RRs="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusdtMEkO45U0=",
									"_parent": {
										"$ref": "AAAAAAFusdtMEUOy0mk="
									},
									"model": {
										"$ref": "AAAAAAFusdtMEUOxPaE="
									},
									"visible": false,
									"font": "Arial;13;0",
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusdtMEkO5h5w=",
									"_parent": {
										"$ref": "AAAAAAFusdtMEUOy0mk="
									},
									"model": {
										"$ref": "AAAAAAFusdtMEUOxPaE="
									},
									"visible": false,
									"font": "Arial;13;0",
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusdtMEkO6JlY=",
									"_parent": {
										"$ref": "AAAAAAFusdtMEUOy0mk="
									},
									"model": {
										"$ref": "AAAAAAFusdtMEUOxPaE="
									},
									"font": "Arial;13;0",
									"left": 1336,
									"top": 457,
									"width": 113.33349609375
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1336,
							"top": 432,
							"width": 113.33349609375,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusdtMEkOzo3g="
							},
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusdtMEkO45U0="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusdtMEkO5h5w="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusdtMEkO6JlY="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdtzxkPYXE0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdtzxUPXP4Y="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdtzxkPZFSE=",
									"_parent": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"model": {
										"$ref": "AAAAAAFusdtzxUPXP4Y="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1296,
									"top": 430,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdtzxkPas+I=",
									"_parent": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"model": {
										"$ref": "AAAAAAFusdtzxUPXP4Y="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1296,
									"top": 415,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdtzxkPbbyo=",
									"_parent": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"model": {
										"$ref": "AAAAAAFusdtzxUPXP4Y="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1296,
									"top": 460,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdtzxkPYXE0="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdtMEUOy0mk="
							},
							"tail": {
								"$ref": "AAAAAAFusdo1gkNuRG4="
							},
							"points": "1256:451;1336:451",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdtzxkPZFSE="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdtzxkPas+I="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdtzxkPbbyo="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdult0PqhwU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdult0PprJg="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdult0PrKvE=",
									"_parent": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"model": {
										"$ref": "AAAAAAFusdult0PprJg="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1088,
									"top": 505,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdult0Ps2+0=",
									"_parent": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"model": {
										"$ref": "AAAAAAFusdult0PprJg="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1088,
									"top": 520,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdult0PtzA4=",
									"_parent": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"model": {
										"$ref": "AAAAAAFusdult0PprJg="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1089,
									"top": 475,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdult0PqhwU="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdVbQkL4VVI="
							},
							"tail": {
								"$ref": "AAAAAAFusdtMEUOy0mk="
							},
							"points": "1392:471;1392:496;787:496;787:458",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdult0PrKvE="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdult0Ps2+0="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdult0PtzA4="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusdxkj0QEAl8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdxkj0QDK30="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusdxkkEQFRao=",
									"_parent": {
										"$ref": "AAAAAAFusdxkj0QEAl8="
									},
									"model": {
										"$ref": "AAAAAAFusdxkj0QDK30="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdxkkEQGzdA=",
											"_parent": {
												"$ref": "AAAAAAFusdxkkEQFRao="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -96,
											"top": -272,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdxkkEQHYdU=",
											"_parent": {
												"$ref": "AAAAAAFusdxkkEQFRao="
											},
											"font": "Arial;13;1",
											"left": 725,
											"top": 527,
											"width": 116.2890625,
											"height": 13,
											"text": "Connection closed"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdxkkEQIbsU=",
											"_parent": {
												"$ref": "AAAAAAFusdxkkEQFRao="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -96,
											"top": -272,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusdxkkEQJE8Q=",
											"_parent": {
												"$ref": "AAAAAAFusdxkkEQFRao="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": -96,
											"top": -272,
											"height": 13,
											"horizontalAlignment": 1
										}
									],
									"font": "Arial;13;0",
									"left": 720,
									"top": 520,
									"width": 126.2890625,
									"height": 25,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusdxkkEQGzdA="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusdxkkEQHYdU="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusdxkkEQIbsU="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusdxkkEQJE8Q="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusdxkkEQKMFo=",
									"_parent": {
										"$ref": "AAAAAAFusdxkj0QEAl8="
									},
									"model": {
										"$ref": "AAAAAAFusdxkj0QDK30="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -48,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusdxkkEQL9OU=",
									"_parent": {
										"$ref": "AAAAAAFusdxkj0QEAl8="
									},
									"model": {
										"$ref": "AAAAAAFusdxkj0QDK30="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": -48,
									"top": -136,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusdxkkEQMViU=",
									"_parent": {
										"$ref": "AAAAAAFusdxkj0QEAl8="
									},
									"model": {
										"$ref": "AAAAAAFusdxkj0QDK30="
									},
									"font": "Arial;13;0",
									"left": 720,
									"top": 545,
									"width": 126.2890625
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 720,
							"top": 520,
							"width": 126.2890625,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusdxkkEQFRao="
							},
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusdxkkEQKMFo="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusdxkkEQL9OU="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusdxkkEQMViU="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusdyS1UQwLQs=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusdyS1UQvEbM="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdyS1UQxVlQ=",
									"_parent": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"model": {
										"$ref": "AAAAAAFusdyS1UQvEbM="
									},
									"font": "Arial;13;0",
									"left": 743,
									"top": 478,
									"width": 34.68359375,
									"height": 13,
									"alpha": -1.7234460355742967,
									"distance": 26.30589287593181,
									"hostEdge": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"edgePosition": 1,
									"text": " [else]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdyS1UQygX0=",
									"_parent": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"model": {
										"$ref": "AAAAAAFusdyS1UQvEbM="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 815,
									"top": 482,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusdyS1UQzWd4=",
									"_parent": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"model": {
										"$ref": "AAAAAAFusdyS1UQvEbM="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 771,
									"top": 483,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusdyS1UQwLQs="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusdxkj0QEAl8="
							},
							"tail": {
								"$ref": "AAAAAAFusdVbQkL4VVI="
							},
							"points": "786:458;786:520",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusdyS1UQxVlQ="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusdyS1UQygX0="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusdyS1UQzWd4="
							}
						},
						{
							"_type": "UMLPseudostateView",
							"_id": "AAAAAAFusd1ZxUSAvsU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd1ZxUR/VJU="
							},
							"subViews": [
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusd1ZxkSBbjM=",
									"_parent": {
										"$ref": "AAAAAAFusd1ZxUSAvsU="
									},
									"model": {
										"$ref": "AAAAAAFusd1ZxUR/VJU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 924,
									"top": 515.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 20
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusd1ZxkSC2hU=",
									"_parent": {
										"$ref": "AAAAAAFusd1ZxUSAvsU="
									},
									"model": {
										"$ref": "AAAAAAFusd1ZxUR/VJU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 914,
									"top": 505.5,
									"height": 13,
									"alpha": 2.356194490192345,
									"distance": 35
								},
								{
									"_type": "NodeLabelView",
									"_id": "AAAAAAFusd1ZxkSDaw0=",
									"_parent": {
										"$ref": "AAAAAAFusd1ZxUSAvsU="
									},
									"model": {
										"$ref": "AAAAAAFusd1ZxUR/VJU="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 924,
									"top": 544.5,
									"height": 13,
									"alpha": -2.356194490192345,
									"distance": 20
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 928,
							"top": 528,
							"width": 23,
							"height": 19,
							"nameLabel": {
								"$ref": "AAAAAAFusd1ZxkSBbjM="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusd1ZxkSC2hU="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusd1ZxkSDaw0="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusd1vx0SUdGw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd1vxkSTMrw="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd1vx0SVFiE=",
									"_parent": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"model": {
										"$ref": "AAAAAAFusd1vxkSTMrw="
									},
									"font": "Arial;13;0",
									"left": 857,
									"top": 517,
									"width": 59.24267578125,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"edgePosition": 1,
									"text": "notifyOBR"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd1vx0SWRxU=",
									"_parent": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"model": {
										"$ref": "AAAAAAFusd1vxkSTMrw="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 886,
									"top": 502,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd1vx0SXRGU=",
									"_parent": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"model": {
										"$ref": "AAAAAAFusd1vxkSTMrw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 886,
									"top": 547,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd1vx0SUdGw="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusd1ZxUSAvsU="
							},
							"tail": {
								"$ref": "AAAAAAFusdxkj0QEAl8="
							},
							"points": "845:538;928:538",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusd1vx0SVFiE="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusd1vx0SWRxU="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusd1vx0SXRGU="
							}
						},
						{
							"_type": "UMLStateView",
							"_id": "AAAAAAFusd36NUSrpLM=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd36NUSqXkw="
							},
							"subViews": [
								{
									"_type": "UMLNameCompartmentView",
									"_id": "AAAAAAFusd36NUSsyn4=",
									"_parent": {
										"$ref": "AAAAAAFusd36NUSrpLM="
									},
									"model": {
										"$ref": "AAAAAAFusd36NUSqXkw="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusd36NUStQt4=",
											"_parent": {
												"$ref": "AAAAAAFusd36NUSsyn4="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 160,
											"top": -256,
											"height": 13
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusd36NUSu8Wc=",
											"_parent": {
												"$ref": "AAAAAAFusd36NUSsyn4="
											},
											"font": "Arial;13;1",
											"left": 1077,
											"top": 527,
											"width": 127,
											"height": 26,
											"text": "Waiting for violation submission",
											"wordWrap": true
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusd36NUSvvY4=",
											"_parent": {
												"$ref": "AAAAAAFusd36NUSsyn4="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 160,
											"top": -256,
											"width": 38.27001953125,
											"height": 13,
											"text": "(from )"
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFusd36NUSwE9o=",
											"_parent": {
												"$ref": "AAAAAAFusd36NUSsyn4="
											},
											"visible": false,
											"font": "Arial;13;0",
											"left": 160,
											"top": -256,
											"horizontalAlignment": 1,
											"wordWrap": true
										}
									],
									"font": "Arial;13;0",
									"left": 1072,
									"top": 520,
									"width": 137,
									"height": 38,
									"stereotypeLabel": {
										"$ref": "AAAAAAFusd36NUStQt4="
									},
									"nameLabel": {
										"$ref": "AAAAAAFusd36NUSu8Wc="
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFusd36NUSvvY4="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFusd36NUSwE9o="
									}
								},
								{
									"_type": "UMLInternalActivityCompartmentView",
									"_id": "AAAAAAFusd36NkSxsEk=",
									"_parent": {
										"$ref": "AAAAAAFusd36NUSrpLM="
									},
									"model": {
										"$ref": "AAAAAAFusd36NUSqXkw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 80,
									"top": -128,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLInternalTransitionCompartmentView",
									"_id": "AAAAAAFusd36NkSytUo=",
									"_parent": {
										"$ref": "AAAAAAFusd36NUSrpLM="
									},
									"model": {
										"$ref": "AAAAAAFusd36NUSqXkw="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 80,
									"top": -128,
									"width": 10,
									"height": 10
								},
								{
									"_type": "UMLDecompositionCompartmentView",
									"_id": "AAAAAAFusd36NkSzD1U=",
									"_parent": {
										"$ref": "AAAAAAFusd36NUSrpLM="
									},
									"model": {
										"$ref": "AAAAAAFusd36NUSqXkw="
									},
									"font": "Arial;13;0",
									"left": 1072,
									"top": 558,
									"width": 137
								}
							],
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1072,
							"top": 520,
							"width": 137,
							"height": 40,
							"nameCompartment": {
								"$ref": "AAAAAAFusd36NUSsyn4="
							},
							"wordWrap": true,
							"internalActivityCompartment": {
								"$ref": "AAAAAAFusd36NkSxsEk="
							},
							"internalTransitionCompartment": {
								"$ref": "AAAAAAFusd36NkSytUo="
							},
							"decompositionCompartment": {
								"$ref": "AAAAAAFusd36NkSzD1U="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusd4/h0TXKfk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd4/h0TWGNo="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd4/h0TYgts=",
									"_parent": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"model": {
										"$ref": "AAAAAAFusd4/h0TWGNo="
									},
									"font": "Arial;13;0",
									"left": 955,
									"top": 516,
									"width": 112.01708984375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"edgePosition": 1,
									"text": " [violation detected]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd4/h0TZO+s=",
									"_parent": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"model": {
										"$ref": "AAAAAAFusd4/h0TWGNo="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1011,
									"top": 501,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd4/h0Taulk=",
									"_parent": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"model": {
										"$ref": "AAAAAAFusd4/h0TWGNo="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1011,
									"top": 546,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd4/h0TXKfk="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusd36NUSrpLM="
							},
							"tail": {
								"$ref": "AAAAAAFusd1ZxUSAvsU="
							},
							"points": "950:537;1072:537",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusd4/h0TYgts="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusd4/h0TZO+s="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusd4/h0Taulk="
							}
						},
						{
							"_type": "UMLFinalStateView",
							"_id": "AAAAAAFusd7xhEUKBVQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd7xhEUJblc="
							},
							"font": "Arial;13;0",
							"containerChangeable": true,
							"left": 1305,
							"top": 522,
							"width": 26,
							"height": 26
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusd8h+EUYBj8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd8h+EUXEEA="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd8h+EUZo78=",
									"_parent": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"model": {
										"$ref": "AAAAAAFusd8h+EUXEEA="
									},
									"font": "Arial;13;0",
									"left": 1213,
									"top": 516,
									"width": 87.92138671875,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"edgePosition": 1,
									"text": "submitViolation"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd8h+EUauD4=",
									"_parent": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"model": {
										"$ref": "AAAAAAFusd8h+EUXEEA="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1256,
									"top": 501,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd8h+EUbaWg=",
									"_parent": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"model": {
										"$ref": "AAAAAAFusd8h+EUXEEA="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1256,
									"top": 546,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd8h+EUYBj8="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusd7xhEUKBVQ="
							},
							"tail": {
								"$ref": "AAAAAAFusd36NUSrpLM="
							},
							"points": "1208:537;1305:537",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusd8h+EUZo78="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusd8h+EUauD4="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusd8h+EUbaWg="
							}
						},
						{
							"_type": "UMLTransitionView",
							"_id": "AAAAAAFusd9SkEUut08=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS4ERQ="
							},
							"model": {
								"$ref": "AAAAAAFusd9SkEUttVE="
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd9SkEUvDY0=",
									"_parent": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"model": {
										"$ref": "AAAAAAFusd9SkEUttVE="
									},
									"font": "Arial;13;0",
									"left": 1109,
									"top": 571,
									"width": 34.68359375,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"edgePosition": 1,
									"text": " [else]"
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd9SkEUwadA=",
									"_parent": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"model": {
										"$ref": "AAAAAAFusd9SkEUttVE="
									},
									"visible": null,
									"font": "Arial;13;0",
									"left": 1126,
									"top": 556,
									"height": 13,
									"alpha": 1.5707963267948966,
									"distance": 30,
									"hostEdge": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"edgePosition": 1
								},
								{
									"_type": "EdgeLabelView",
									"_id": "AAAAAAFusd9SkEUxkkA=",
									"_parent": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"model": {
										"$ref": "AAAAAAFusd9SkEUttVE="
									},
									"visible": false,
									"font": "Arial;13;0",
									"left": 1126,
									"top": 601,
									"height": 13,
									"alpha": -1.5707963267948966,
									"distance": 15,
									"hostEdge": {
										"$ref": "AAAAAAFusd9SkEUut08="
									},
									"edgePosition": 1
								}
							],
							"font": "Arial;13;0",
							"head": {
								"$ref": "AAAAAAFusd7xhEUKBVQ="
							},
							"tail": {
								"$ref": "AAAAAAFusd1ZxUSAvsU="
							},
							"points": "939:546;939:592;1313:592;1313:547",
							"showVisibility": true,
							"nameLabel": {
								"$ref": "AAAAAAFusd9SkEUvDY0="
							},
							"stereotypeLabel": {
								"$ref": "AAAAAAFusd9SkEUwadA="
							},
							"propertyLabel": {
								"$ref": "AAAAAAFusd9SkEUxkkA="
							}
						}
					]
				}
			],
			"regions": [
				{
					"_type": "UMLRegion",
					"_id": "AAAAAAFurzDIeaS3PGM=",
					"_parent": {
						"$ref": "AAAAAAFurzDId6S2Ois="
					},
					"vertices": [
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFurzDgZaS9Cw4=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "initial"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFurzE/jqTOa2U=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFurzF1RqTxg0c=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "SOS ativo"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFurzbuoqW5nbo=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFurzdZSaXd0+8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Display possible ratios"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFurznIUaZDBLQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Request crew composition"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFurzzHoacnuDA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFurz0DiqdOFS8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Error bad crew composition"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFur0AMxqgXWjI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "New crew successfully formed"
						},
						{
							"_type": "UMLFinalState",
							"_id": "AAAAAAFur0DHqKhS/ls=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							}
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusaAmbD+X29o=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Waiting for permission from OBR"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusaDcDT/YySU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLFinalState",
							"_id": "AAAAAAFusaFN4T/9res=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							}
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusa7tT0CUEgA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Problem not fixed"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusbDng0DWmcU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Message sent to support team member"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusbHtpUEZ7EE=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Message sent to skipper"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusbQIOkFa0+M=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusbj4i0GZAaw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Problem fixed"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFuscBki0HSWNQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Problem marked as fixed"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFuscDzzUIPScA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Notified OBR about exchanged messages"
						},
						{
							"_type": "UMLFinalState",
							"_id": "AAAAAAFuscb4JUJRpx0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							}
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusc9s50Jo5zk=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusdG6R0K098o=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Connection established"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusdVbQkL3DLU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusdiwhkMbS/Y=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Waiting for message"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusdo1gkNtsRg=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Message sent"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusdtMEUOxPaE=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Answer received"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusdxkj0QDK30=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Connection closed"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusd1Cr0REe6s=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "State1"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusd1ZxUR/VJU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "choice"
						},
						{
							"_type": "UMLState",
							"_id": "AAAAAAFusd36NUSqXkw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"name": "Waiting for violation submission"
						},
						{
							"_type": "UMLPseudostate",
							"_id": "AAAAAAFusd7c5kTwN7c=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"kind": "initial"
						},
						{
							"_type": "UMLFinalState",
							"_id": "AAAAAAFusd7xhEUJblc=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							}
						}
					],
					"transitions": [
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzFSdqTf0k0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzDgZaS9Cw4="
							},
							"target": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzHgY6UbX9E=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							},
							"target": {
								"$ref": "AAAAAAFurzF1RqTxg0c="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFurzLbHqU05P0=",
									"_parent": {
										"$ref": "AAAAAAFurzHgY6UbX9E="
									},
									"name": "activateSOS"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzY5vaWdA/A=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							},
							"target": {
								"$ref": "AAAAAAFurzbuoqW5nbo="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFurzZM6KWv8xY=",
									"_parent": {
										"$ref": "AAAAAAFurzY5vaWdA/A="
									},
									"name": "submitRatio"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzepsqYLbAw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzbuoqW5nbo="
							},
							"target": {
								"$ref": "AAAAAAFurzdZSaXd0+8="
							},
							"guard": "ratio not valid",
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFurzlv9qY/c0I=",
									"_parent": {
										"$ref": "AAAAAAFurzepsqYLbAw="
									}
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzh2VaYdOJI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzdZSaXd0+8="
							},
							"target": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzrxQaZrtZg=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzbuoqW5nbo="
							},
							"target": {
								"$ref": "AAAAAAFurznIUaZDBLQ="
							},
							"guard": "else"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurzzpcKc86jI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurznIUaZDBLQ="
							},
							"target": {
								"$ref": "AAAAAAFurzzHoacnuDA="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusab4V0A9sO8=",
									"_parent": {
										"$ref": "AAAAAAFurzzpcKc86jI="
									},
									"name": "changeCrew"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurz2aaKd5YzQ=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzzHoacnuDA="
							},
							"target": {
								"$ref": "AAAAAAFurz0DiqdOFS8="
							},
							"guard": "crew not valid"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFurz9Cf6fx+HU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurz0DiqdOFS8="
							},
							"target": {
								"$ref": "AAAAAAFurznIUaZDBLQ="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFur0BqT6g/zXA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzzHoacnuDA="
							},
							"target": {
								"$ref": "AAAAAAFur0AMxqgXWjI="
							},
							"guard": "else"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFur0DjNKhiG+g=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFur0AMxqgXWjI="
							},
							"target": {
								"$ref": "AAAAAAFur0DHqKhS/ls="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFur0D1hah0CwA=",
									"_parent": {
										"$ref": "AAAAAAFur0DjNKhiG+g="
									},
									"name": "notifyRaceOrganizer"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusaBuwj/Bo/E=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFurzE/jqTOa2U="
							},
							"target": {
								"$ref": "AAAAAAFusaAmbD+X29o="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusaCFtT/TQTo=",
									"_parent": {
										"$ref": "AAAAAAFusaBuwj/Bo/E="
									},
									"name": "requestCall"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusaD2nD/rZS8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusaAmbD+X29o="
							},
							"target": {
								"$ref": "AAAAAAFusaDcDT/YySU="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusaFhuUACs4o=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusaDcDT/YySU="
							},
							"target": {
								"$ref": "AAAAAAFusaFN4T/9res="
							},
							"guard": "call not possible",
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusazYskCRBHU=",
									"_parent": {
										"$ref": "AAAAAAFusaFhuUACs4o="
									}
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusa855EC9m/M=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusc9s50Jo5zk="
							},
							"target": {
								"$ref": "AAAAAAFusa7tT0CUEgA="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusa9Ix0DPS64=",
									"_parent": {
										"$ref": "AAAAAAFusa855EC9m/M="
									},
									"name": "problemAdvice"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusbFldUEEDcU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusa7tT0CUEgA="
							},
							"target": {
								"$ref": "AAAAAAFusbDng0DWmcU="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusbFx2kEWhik=",
									"_parent": {
										"$ref": "AAAAAAFusbFldUEEDcU="
									},
									"name": "sendMessage"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusbInZUFDav0=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusbDng0DWmcU="
							},
							"target": {
								"$ref": "AAAAAAFusbHtpUEZ7EE="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusbI4Y0FVv0I=",
									"_parent": {
										"$ref": "AAAAAAFusbInZUFDav0="
									},
									"name": "sendMessage"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusbQcZEFsw+k=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusbHtpUEZ7EE="
							},
							"target": {
								"$ref": "AAAAAAFusbQIOkFa0+M="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusbRickF+WcI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusbQIOkFa0+M="
							},
							"target": {
								"$ref": "AAAAAAFusa7tT0CUEgA="
							},
							"guard": "problem not fixed"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusbknIkHAehI=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusbQIOkFa0+M="
							},
							"target": {
								"$ref": "AAAAAAFusbj4i0GZAaw="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFuscCX60H6fcs=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusbj4i0GZAaw="
							},
							"target": {
								"$ref": "AAAAAAFuscBki0HSWNQ="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFuscClHkIMo5c=",
									"_parent": {
										"$ref": "AAAAAAFuscCX60H6fcs="
									},
									"name": "fixProblem"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFuscZC4kI8+hY=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFuscBki0HSWNQ="
							},
							"target": {
								"$ref": "AAAAAAFuscDzzUIPScA="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFuscZOa0JOz3o=",
									"_parent": {
										"$ref": "AAAAAAFuscZC4kI8+hY="
									},
									"name": "notifyOBR"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusccFG0JW6K8=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFuscDzzUIPScA="
							},
							"target": {
								"$ref": "AAAAAAFuscb4JUJRpx0="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdADAkKQx94=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusaDcDT/YySU="
							},
							"target": {
								"$ref": "AAAAAAFusc9s50Jo5zk="
							},
							"guard": "else"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdInfkLcg1I=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusc9s50Jo5zk="
							},
							"target": {
								"$ref": "AAAAAAFusdG6R0K098o="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusdKiK0L1WGc=",
									"_parent": {
										"$ref": "AAAAAAFusdInfkLcg1I="
									},
									"name": "establishConnection"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdV2TEMJupY=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdG6R0K098o="
							},
							"target": {
								"$ref": "AAAAAAFusdVbQkL3DLU="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdjs60NMDZU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdVbQkL3DLU="
							},
							"target": {
								"$ref": "AAAAAAFusdiwhkMbS/Y="
							},
							"guard": "wants to send a message"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdpa3UOZNcU=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdiwhkMbS/Y="
							},
							"target": {
								"$ref": "AAAAAAFusdo1gkNtsRg="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusdpjP0Or+UA=",
									"_parent": {
										"$ref": "AAAAAAFusdpa3UOZNcU="
									},
									"name": "sendMessage"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdtzxUPXP4Y=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdo1gkNtsRg="
							},
							"target": {
								"$ref": "AAAAAAFusdtMEUOxPaE="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdult0PprJg=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdtMEUOxPaE="
							},
							"target": {
								"$ref": "AAAAAAFusdVbQkL3DLU="
							}
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusdyS1UQvEbM=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdVbQkL3DLU="
							},
							"target": {
								"$ref": "AAAAAAFusdxkj0QDK30="
							},
							"guard": "else"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusd1vxkSTMrw=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusdxkj0QDK30="
							},
							"target": {
								"$ref": "AAAAAAFusd1ZxUR/VJU="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusd15JkSlSfM=",
									"_parent": {
										"$ref": "AAAAAAFusd1vxkSTMrw="
									},
									"name": "notifyOBR"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusd4/h0TWGNo=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusd1ZxUR/VJU="
							},
							"target": {
								"$ref": "AAAAAAFusd36NUSqXkw="
							},
							"guard": "violation detected"
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusd8h+EUXEEA=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusd36NUSqXkw="
							},
							"target": {
								"$ref": "AAAAAAFusd7xhEUJblc="
							},
							"triggers": [
								{
									"_type": "UMLEvent",
									"_id": "AAAAAAFusd8uQUUpE6w=",
									"_parent": {
										"$ref": "AAAAAAFusd8h+EUXEEA="
									},
									"name": "submitViolation"
								}
							]
						},
						{
							"_type": "UMLTransition",
							"_id": "AAAAAAFusd9SkEUttVE=",
							"_parent": {
								"$ref": "AAAAAAFurzDIeaS3PGM="
							},
							"source": {
								"$ref": "AAAAAAFusd1ZxUR/VJU="
							},
							"target": {
								"$ref": "AAAAAAFusd7xhEUJblc="
							},
							"guard": "else"
						}
					]
				}
			]
		}
	]
}