{
	"_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",
					"visible": true,
					"defaultDiagram": true
				},
				{
					"_type": "UMLStateMachine",
					"_id": "AAAAAAFjwHT+W3++AKU=",
					"_parent": {
						"$ref": "AAAAAAFF+qBWK6M3Z8Y="
					},
					"name": "DHCPClient",
					"ownedElements": [
						{
							"_type": "UMLStatechartDiagram",
							"_id": "AAAAAAFjwHT+XH/AEWs=",
							"_parent": {
								"$ref": "AAAAAAFjwHT+W3++AKU="
							},
							"name": "StatechartDiagram1",
							"visible": true,
							"defaultDiagram": false,
							"ownedViews": [
								{
									"_type": "UMLFrameView",
									"_id": "AAAAAAFjwHUqQn/F5bQ=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwHT+W3++AKU="
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "AAAAAAFjwHUqQn/GHLw=",
											"_parent": {
												"$ref": "AAAAAAFjwHUqQn/F5bQ="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 125,
											"top": 61,
											"width": 70,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "DHCPClient",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFjwHUqQn/HR0g=",
											"_parent": {
												"$ref": "AAAAAAFjwHUqQn/F5bQ="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;1",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 37,
											"top": 61,
											"width": 83,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "state machine",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 32,
									"top": 56,
									"width": 889,
									"height": 793,
									"autoResize": false,
									"nameLabel": {
										"$ref": "AAAAAAFjwHUqQn/GHLw="
									},
									"frameTypeLabel": {
										"$ref": "AAAAAAFjwHUqQn/HR0g="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwIA1bIDw4+8=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwIA1bYDxvCM=",
											"_parent": {
												"$ref": "AAAAAAFjwIA1bIDw4+8="
											},
											"model": {
												"$ref": "AAAAAAFjwIA1bIDvTWY="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIA1bYDyPdA=",
													"_parent": {
														"$ref": "AAAAAAFjwIA1bYDxvCM="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 16,
													"top": 16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIA1bYDzUEU=",
													"_parent": {
														"$ref": "AAAAAAFjwIA1bYDxvCM="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 397,
													"top": 135,
													"width": 154,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Init",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIA1bYD0nmE=",
													"_parent": {
														"$ref": "AAAAAAFjwIA1bYDxvCM="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 16,
													"top": 16,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIA1bYD1ACI=",
													"_parent": {
														"$ref": "AAAAAAFjwIA1bYDxvCM="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 16,
													"top": 16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 392,
											"top": 128,
											"width": 164,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwIA1bYDyPdA="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwIA1bYDzUEU="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwIA1bYD0nmE="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwIA1bYD1ACI="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwIA1bYD2pws=",
											"_parent": {
												"$ref": "AAAAAAFjwIA1bIDw4+8="
											},
											"model": {
												"$ref": "AAAAAAFjwIA1bIDvTWY="
											},
											"subViews": [
												{
													"_type": "UMLInternalActivityView",
													"_id": "AAAAAAFjwIij2oMx96Q=",
													"_parent": {
														"$ref": "AAAAAAFjwIA1bYD2pws="
													},
													"model": {
														"$ref": "AAAAAAFjwIijxoMutw0="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 397,
													"top": 158,
													"width": 154,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "entry/set_broadcast_mode",
													"horizontalAlignment": 0,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 392,
											"top": 153,
											"width": 164,
											"height": 23,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwIA1bYD3WDQ=",
											"_parent": {
												"$ref": "AAAAAAFjwIA1bIDw4+8="
											},
											"model": {
												"$ref": "AAAAAAFjwIA1bIDvTWY="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 8,
											"top": 8,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwIA1boD4Bkc=",
											"_parent": {
												"$ref": "AAAAAAFjwIA1bIDw4+8="
											},
											"model": {
												"$ref": "AAAAAAFjwIA1bIDvTWY="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 392,
											"top": 176,
											"width": 164,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 392,
									"top": 128,
									"width": 164,
									"height": 80,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwIA1bYDxvCM="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwIA1bYD2pws="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwIA1bYD3WDQ="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwIA1boD4Bkc="
									}
								},
								{
									"_type": "UMLPseudostateView",
									"_id": "AAAAAAFjwIBQBIEWsOU=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIBQBIEVmRg="
									},
									"subViews": [
										{
											"_type": "NodeLabelView",
											"_id": "AAAAAAFjwIBQBIEXtHQ=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQBIEWsOU="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQBIEVmRg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 442.5,
											"top": 68,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 2.356194490192345,
											"distance": 20,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "NodeLabelView",
											"_id": "AAAAAAFjwIBQBIEYvUY=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQBIEWsOU="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQBIEVmRg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 432.5,
											"top": 58,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 2.356194490192345,
											"distance": 35,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "NodeLabelView",
											"_id": "AAAAAAFjwIBQBIEZU9Y=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQBIEWsOU="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQBIEVmRg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 442.5,
											"top": 97,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -2.356194490192345,
											"distance": 20,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 448,
									"top": 80,
									"width": 20,
									"height": 20,
									"autoResize": false,
									"nameLabel": {
										"$ref": "AAAAAAFjwIBQBIEXtHQ="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIBQBIEYvUY="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIBQBIEZU9Y="
									},
									"showProperty": true
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIBQToEnsp4=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIBQToEm6uw="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIBQT4EowV4=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQToEm6uw="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 476,
											"top": 103,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIBQT4EpiGs=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQToEm6uw="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 491,
											"top": 100,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIBQT4Eqk3U=",
											"_parent": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"model": {
												"$ref": "AAAAAAFjwIBQToEm6uw="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 447,
											"top": 110,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIBQToEnsp4="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"tail": {
										"$ref": "AAAAAAFjwIBQBIEWsOU="
									},
									"lineStyle": 1,
									"points": "459:100;465:127",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIBQT4EowV4="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIBQT4EpiGs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIBQT4Eqk3U="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwIHjYoHhXTQ=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIHjYoHgHjI="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwIHjYoHixR8=",
											"_parent": {
												"$ref": "AAAAAAFjwIHjYoHhXTQ="
											},
											"model": {
												"$ref": "AAAAAAFjwIHjYoHgHjI="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIHjYoHjY7s=",
													"_parent": {
														"$ref": "AAAAAAFjwIHjYoHixR8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIHjYoHk3dE=",
													"_parent": {
														"$ref": "AAAAAAFjwIHjYoHixR8="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 397,
													"top": 279,
													"width": 126,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Selecting",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIHjYoHlHv8=",
													"_parent": {
														"$ref": "AAAAAAFjwIHjYoHixR8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIHjYoHmtXg=",
													"_parent": {
														"$ref": "AAAAAAFjwIHjYoHixR8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 392,
											"top": 272,
											"width": 136,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwIHjYoHjY7s="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwIHjYoHk3dE="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwIHjYoHlHv8="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwIHjYoHmtXg="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwIHjYoHnExw=",
											"_parent": {
												"$ref": "AAAAAAFjwIHjYoHhXTQ="
											},
											"model": {
												"$ref": "AAAAAAFjwIHjYoHgHjI="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 0,
											"top": 0,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwIHjYoHoNDU=",
											"_parent": {
												"$ref": "AAAAAAFjwIHjYoHhXTQ="
											},
											"model": {
												"$ref": "AAAAAAFjwIHjYoHgHjI="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 0,
											"top": 0,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwIHjYoHpgGk=",
											"_parent": {
												"$ref": "AAAAAAFjwIHjYoHhXTQ="
											},
											"model": {
												"$ref": "AAAAAAFjwIHjYoHgHjI="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 392,
											"top": 297,
											"width": 136,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 392,
									"top": 272,
									"width": 136,
									"height": 80,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwIHjYoHixR8="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwIHjYoHnExw="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwIHjYoHoNDU="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwIHjYoHpgGk="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIH1UIIHIPc=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIH1UIIGjXg="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIH1UIIIJgk=",
											"_parent": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"model": {
												"$ref": "AAAAAAFjwIH1UIIGjXg="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 565,
											"top": 256,
											"width": 200,
											"height": 13,
											"autoResize": false,
											"alpha": 1.4801362782993468,
											"distance": 110.45361017187261,
											"hostEdge": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPOFFER / dhcp_collect_reply",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIH1UIIJ8Zo=",
											"_parent": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"model": {
												"$ref": "AAAAAAFjwIH1UIIGjXg="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 585,
											"top": 245,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIH1UIIKS/Q=",
											"_parent": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"model": {
												"$ref": "AAAAAAFjwIH1UIIGjXg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 541,
											"top": 246,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIH1UIIHIPc="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIHjYoHhXTQ="
									},
									"tail": {
										"$ref": "AAAAAAFjwIHjYoHhXTQ="
									},
									"lineStyle": 0,
									"points": "459:272;459:252;556:252;556:311;527:311",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIH1UIIIJgk="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIH1UIIJ8Zo="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIH1UIIKS/Q="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIJAHIIgv60=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIJAHIIfj9k="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIJAHIIhw6g=",
											"_parent": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"model": {
												"$ref": "AAAAAAFjwIJAHIIfj9k="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 455,
											"top": 216,
											"width": 96,
											"height": 13,
											"autoResize": false,
											"alpha": 1.83435986742279,
											"distance": 65.25335240430181,
											"hostEdge": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"edgePosition": 1,
											"underline": false,
											"text": " / send_discover",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIJAHIIi8Bk=",
											"_parent": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"model": {
												"$ref": "AAAAAAFjwIJAHIIfj9k="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 469,
											"top": 232,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIJAHIIjHwY=",
											"_parent": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"model": {
												"$ref": "AAAAAAFjwIJAHIIfj9k="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 425,
											"top": 233,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIJAHIIgv60="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIHjYoHhXTQ="
									},
									"tail": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"lineStyle": 2,
									"points": "440:207;440:272",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIJAHIIhw6g="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIJAHIIi8Bk="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIJAHIIjHwY="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwIMJvYI9c24=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwIMJvoI+TbA=",
											"_parent": {
												"$ref": "AAAAAAFjwIMJvYI9c24="
											},
											"model": {
												"$ref": "AAAAAAFjwIMJvYI8NdQ="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIMJvoI/X98=",
													"_parent": {
														"$ref": "AAAAAAFjwIMJvoI+TbA="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -48,
													"top": 16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIMJvoJAQig=",
													"_parent": {
														"$ref": "AAAAAAFjwIMJvoI+TbA="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 205,
													"top": 407,
													"width": 131,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Requesting",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIMJvoJBQ+M=",
													"_parent": {
														"$ref": "AAAAAAFjwIMJvoI+TbA="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -48,
													"top": 16,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIMJvoJCwHU=",
													"_parent": {
														"$ref": "AAAAAAFjwIMJvoI+TbA="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -48,
													"top": 16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 400,
											"width": 141,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwIMJvoI/X98="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwIMJvoJAQig="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwIMJvoJBQ+M="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwIMJvoJCwHU="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwIMJvoJDckI=",
											"_parent": {
												"$ref": "AAAAAAFjwIMJvYI9c24="
											},
											"model": {
												"$ref": "AAAAAAFjwIMJvYI8NdQ="
											},
											"subViews": [
												{
													"_type": "UMLInternalActivityView",
													"_id": "AAAAAAFjwJQjDIRUoSs=",
													"_parent": {
														"$ref": "AAAAAAFjwIMJvoJDckI="
													},
													"model": {
														"$ref": "AAAAAAFjwJQi/IRRyX0="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 205,
													"top": 430,
													"width": 131,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "do/dhcp_send_request",
													"horizontalAlignment": 0,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 425,
											"width": 141,
											"height": 23,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwIMJv4JEzqs=",
											"_parent": {
												"$ref": "AAAAAAFjwIMJvYI9c24="
											},
											"model": {
												"$ref": "AAAAAAFjwIMJvYI8NdQ="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 8,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwIMJv4JF26Y=",
											"_parent": {
												"$ref": "AAAAAAFjwIMJvYI9c24="
											},
											"model": {
												"$ref": "AAAAAAFjwIMJvYI8NdQ="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 448,
											"width": 141,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 200,
									"top": 400,
									"width": 141,
									"height": 80,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwIMJvoI+TbA="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwIMJvoJDckI="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwIMJv4JEzqs="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwIMJv4JF26Y="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwINzd4J9+Fg=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwINzd4J8wkw="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwINzeIJ+t4Q=",
											"_parent": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"model": {
												"$ref": "AAAAAAFjwINzd4J8wkw="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 373,
											"top": 379,
											"width": 176,
											"height": 13,
											"autoResize": false,
											"alpha": 2.4242708393427175,
											"distance": 98.99494936611666,
											"hostEdge": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "SELECT",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwINzeIJ/akI=",
											"_parent": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"model": {
												"$ref": "AAAAAAFjwINzd4J8wkw="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 380,
											"top": 393,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwINzeIKAxC0=",
											"_parent": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"model": {
												"$ref": "AAAAAAFjwINzd4J8wkw="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 354,
											"top": 356,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwINzd4J9+Fg="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"tail": {
										"$ref": "AAAAAAFjwIHjYoHhXTQ="
									},
									"lineStyle": 1,
									"points": "398:352;329:399",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwINzeIJ+t4Q="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwINzeIJ/akI="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwINzeIKAxC0="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIPHwIKUXgo=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIPHwIKTaIg="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIPHwYKVhO8=",
											"_parent": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"model": {
												"$ref": "AAAAAAFjwIPHwIKTaIg="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 64,
											"top": 512,
											"width": 191,
											"height": 13,
											"autoResize": false,
											"alpha": -3.212899251465149,
											"distance": 14.035668847618199,
											"hostEdge": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPOFFER",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIPHwYKWwcc=",
											"_parent": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"model": {
												"$ref": "AAAAAAFjwIPHwIKTaIg="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 130,
											"top": 497,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIPHwYKXwnc=",
											"_parent": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"model": {
												"$ref": "AAAAAAFjwIPHwIKTaIg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 174,
											"top": 498,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIPHwIKUXgo="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"tail": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"lineStyle": 0,
									"points": "259:479;259:504;160:504;160:440;200:440",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIPHwYKVhO8="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIPHwYKWwcc="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIPHwYKXwnc="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIRu4YKvRGM=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIRu4YKu+ZY="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIRu4YKwpBo=",
											"_parent": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"model": {
												"$ref": "AAAAAAFjwIRu4YKu+ZY="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 215,
											"top": 139,
											"width": 150,
											"height": 13,
											"autoResize": false,
											"alpha": 0.22347656839669536,
											"distance": 67.68308503607086,
											"hostEdge": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPNAK / discard_offer",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIRu4YKxdus=",
											"_parent": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"model": {
												"$ref": "AAAAAAFjwIRu4YKu+ZY="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 224,
											"top": 124,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIRu4YKyacw=",
											"_parent": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"model": {
												"$ref": "AAAAAAFjwIRu4YKu+ZY="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 224,
											"top": 169,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIRu4YKvRGM="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"tail": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"lineStyle": 2,
									"points": "224:400;224:160;392:160",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIRu4YKwpBo="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIRu4YKxdus="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIRu4YKyacw="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIUiXYLLXMc=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIUiXILKYZg="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIUiXYLMc50=",
											"_parent": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"model": {
												"$ref": "AAAAAAFjwIUiXILKYZg="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 79,
											"top": 167,
											"width": 290,
											"height": 13,
											"autoResize": false,
											"alpha": -3.452590986218464,
											"distance": 58.82176467941097,
											"hostEdge": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPACK [dhcp_not_accept] / send_dhcpdecline",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIUiXYLNc1s=",
											"_parent": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"model": {
												"$ref": "AAAAAAFjwIUiXILKYZg="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 280,
											"top": 156,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIUiXYLOErc=",
											"_parent": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"model": {
												"$ref": "AAAAAAFjwIUiXILKYZg="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 280,
											"top": 201,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIUiXYLLXMc="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"tail": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"lineStyle": 2,
									"points": "280:400;280:192;392:192",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIUiXYLMc50="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIUiXYLNc1s="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIUiXYLOErc="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwIZbbYLn0+U=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwIZbbYLo4uw=",
											"_parent": {
												"$ref": "AAAAAAFjwIZbbYLn0+U="
											},
											"model": {
												"$ref": "AAAAAAFjwIZbbYLmT3U="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIZbboLpqoA=",
													"_parent": {
														"$ref": "AAAAAAFjwIZbbYLo4uw="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -16,
													"top": -16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIZbboLqWcU=",
													"_parent": {
														"$ref": "AAAAAAFjwIZbbYLo4uw="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 205,
													"top": 599,
													"width": 138,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Bound",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIZbboLr1i8=",
													"_parent": {
														"$ref": "AAAAAAFjwIZbbYLo4uw="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -16,
													"top": -16,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIZbboLsSdY=",
													"_parent": {
														"$ref": "AAAAAAFjwIZbbYLo4uw="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": -16,
													"top": -16,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 592,
											"width": 148,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwIZbboLpqoA="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwIZbboLqWcU="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwIZbboLr1i8="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwIZbboLsSdY="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwIZbboLtj84=",
											"_parent": {
												"$ref": "AAAAAAFjwIZbbYLn0+U="
											},
											"model": {
												"$ref": "AAAAAAFjwIZbbYLmT3U="
											},
											"subViews": [
												{
													"_type": "UMLInternalActivityView",
													"_id": "AAAAAAFjwIjMeYM4/5Q=",
													"_parent": {
														"$ref": "AAAAAAFjwIZbboLtj84="
													},
													"model": {
														"$ref": "AAAAAAFjwIjMaYM1o2Q="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 205,
													"top": 622,
													"width": 138,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "entry/set_normal_mode",
													"horizontalAlignment": 0,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 617,
											"width": 148,
											"height": 23,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwIZbboLus6Q=",
											"_parent": {
												"$ref": "AAAAAAFjwIZbbYLn0+U="
											},
											"model": {
												"$ref": "AAAAAAFjwIZbbYLmT3U="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -8,
											"top": -8,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwIZbboLvtTw=",
											"_parent": {
												"$ref": "AAAAAAFjwIZbbYLn0+U="
											},
											"model": {
												"$ref": "AAAAAAFjwIZbbYLmT3U="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 200,
											"top": 640,
											"width": 148,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 200,
									"top": 592,
									"width": 148,
									"height": 105,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwIZbbYLo4uw="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwIZbboLtj84="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwIZbboLus6Q="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwIZbboLvtTw="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIabG4MRbdU=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIabG4MQac4="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIabHIMSzjU=",
											"_parent": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"model": {
												"$ref": "AAAAAAFjwIabG4MQac4="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 47,
											"top": 551,
											"width": 257,
											"height": 13,
											"autoResize": false,
											"alpha": -1.3531458656732003,
											"distance": 106.51291001564083,
											"hostEdge": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPACK [dhcp_accept] / dhcp_set_timers",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIabHIMT87Q=",
											"_parent": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"model": {
												"$ref": "AAAAAAFjwIabG4MQac4="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 309,
											"top": 528,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIabHIMUfLI=",
											"_parent": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"model": {
												"$ref": "AAAAAAFjwIabG4MQac4="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 265,
											"top": 529,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIabG4MRbdU="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"tail": {
										"$ref": "AAAAAAFjwIMJvYI9c24="
									},
									"lineStyle": 2,
									"points": "280:479;280:592",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIabHIMSzjU="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIabHIMT87Q="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIabHIMUfLI="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIkRCIM9iVA=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIkRB4M8UgU="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIkRCIM+Ti4=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"model": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 56,
											"top": 743,
											"width": 311,
											"height": 13,
											"autoResize": false,
											"alpha": -2.1319594464185974,
											"distance": 41.340053217188775,
											"hostEdge": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPOFFER, DHCPACK, DHCPNAK / dhcp_discard",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIkRCIM/h7c=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"model": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 146,
											"top": 721,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIkRCINAQyM=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"model": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 190,
											"top": 722,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIkRCIM9iVA="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"tail": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"lineStyle": 0,
									"points": "232:696;232:728;176:728;176:656;200:656",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIkRCIM+Ti4="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIkRCIM/h7c="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIkRCINAQyM="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwIzED4NqSRo=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIzEDoNpOf0="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwIzED4Nr+QU=",
											"_parent": {
												"$ref": "AAAAAAFjwIzED4NqSRo="
											},
											"model": {
												"$ref": "AAAAAAFjwIzEDoNpOf0="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIzED4Ns0kY=",
													"_parent": {
														"$ref": "AAAAAAFjwIzED4Nr+QU="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 128,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIzEEINtW/Q=",
													"_parent": {
														"$ref": "AAAAAAFjwIzED4Nr+QU="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 533,
													"top": 591,
													"width": 134,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Renewing",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIzEEINuvhU=",
													"_parent": {
														"$ref": "AAAAAAFjwIzED4Nr+QU="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 128,
													"top": 0,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwIzEEINv8pg=",
													"_parent": {
														"$ref": "AAAAAAFjwIzED4Nr+QU="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 128,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 584,
											"width": 144,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwIzED4Ns0kY="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwIzEEINtW/Q="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwIzEEINuvhU="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwIzEEINv8pg="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwIzEEINwSJc=",
											"_parent": {
												"$ref": "AAAAAAFjwIzED4NqSRo="
											},
											"model": {
												"$ref": "AAAAAAFjwIzEDoNpOf0="
											},
											"subViews": [
												{
													"_type": "UMLInternalActivityView",
													"_id": "AAAAAAFjwJKe4oRLy2I=",
													"_parent": {
														"$ref": "AAAAAAFjwIzEEINwSJc="
													},
													"model": {
														"$ref": "AAAAAAFjwJKe0YRI9UA="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 533,
													"top": 614,
													"width": 134,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "do/dhcp_send_request",
													"horizontalAlignment": 0,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 609,
											"width": 144,
											"height": 23,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwIzEEINxpds=",
											"_parent": {
												"$ref": "AAAAAAFjwIzED4NqSRo="
											},
											"model": {
												"$ref": "AAAAAAFjwIzEDoNpOf0="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 64,
											"top": 0,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwIzEEINyqTg=",
											"_parent": {
												"$ref": "AAAAAAFjwIzED4NqSRo="
											},
											"model": {
												"$ref": "AAAAAAFjwIzEDoNpOf0="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 632,
											"width": 144,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 528,
									"top": 584,
									"width": 144,
									"height": 112,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwIzED4Nr+QU="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwIzEEINwSJc="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwIzEEINxpds="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwIzEEINyqTg="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwIzkh4OQXO4=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwIzkh4OPh6w="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIzkh4ORXgI=",
											"_parent": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"model": {
												"$ref": "AAAAAAFjwIzkh4OPh6w="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 367,
											"top": 651,
											"width": 140,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "T1 / send_dhcp_request",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIzkh4OSRqs=",
											"_parent": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"model": {
												"$ref": "AAAAAAFjwIzkh4OPh6w="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 437,
											"top": 636,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwIzkiIOTTgE=",
											"_parent": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"model": {
												"$ref": "AAAAAAFjwIzkh4OPh6w="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 437,
											"top": 681,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwIzkh4OQXO4="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIzED4NqSRo="
									},
									"tail": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"lineStyle": 2,
									"points": "347:672;528:672",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwIzkh4ORXgI="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwIzkh4OSRqs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwIzkiIOTTgE="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwI2N2oOswbI=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwI2N2YOr8xc="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI2N2oOtBjk=",
											"_parent": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"model": {
												"$ref": "AAAAAAFjwI2N2YOr8xc="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 352,
											"top": 608,
											"width": 171,
											"height": 13,
											"autoResize": false,
											"alpha": 4.712388424829134,
											"distance": 18,
											"hostEdge": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPACK / dhcp_set_timers",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI2N2oOuYJs=",
											"_parent": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"model": {
												"$ref": "AAAAAAFjwI2N2YOr8xc="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 436,
											"top": 656,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI2N2oOvmXc=",
											"_parent": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"model": {
												"$ref": "AAAAAAFjwI2N2YOr8xc="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 437,
											"top": 611,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwI2N2oOswbI="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"tail": {
										"$ref": "AAAAAAFjwIzED4NqSRo="
									},
									"lineStyle": 2,
									"points": "528:632;347:632",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwI2N2oOtBjk="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwI2N2oOuYJs="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwI2N2oOvmXc="
									}
								},
								{
									"_type": "UMLStateView",
									"_id": "AAAAAAFjwI4We4PFqZk=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwI4WeoPE+AI="
									},
									"subViews": [
										{
											"_type": "UMLNameCompartmentView",
											"_id": "AAAAAAFjwI4We4PG9x8=",
											"_parent": {
												"$ref": "AAAAAAFjwI4We4PFqZk="
											},
											"model": {
												"$ref": "AAAAAAFjwI4WeoPE+AI="
											},
											"subViews": [
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwI4We4PHawg=",
													"_parent": {
														"$ref": "AAAAAAFjwI4We4PG9x8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwI4We4PICu8=",
													"_parent": {
														"$ref": "AAAAAAFjwI4We4PG9x8="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;1",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 533,
													"top": 447,
													"width": 134,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "Rebind",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwI4We4PJi2c=",
													"_parent": {
														"$ref": "AAAAAAFjwI4We4PG9x8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 38,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "(from )",
													"horizontalAlignment": 2,
													"verticalAlignment": 5,
													"wordWrap": false
												},
												{
													"_type": "LabelView",
													"_id": "AAAAAAFjwI4We4PKZhM=",
													"_parent": {
														"$ref": "AAAAAAFjwI4We4PG9x8="
													},
													"visible": false,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 0,
													"top": 0,
													"width": 0,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"horizontalAlignment": 1,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 440,
											"width": 144,
											"height": 25,
											"autoResize": false,
											"stereotypeLabel": {
												"$ref": "AAAAAAFjwI4We4PHawg="
											},
											"nameLabel": {
												"$ref": "AAAAAAFjwI4We4PICu8="
											},
											"namespaceLabel": {
												"$ref": "AAAAAAFjwI4We4PJi2c="
											},
											"propertyLabel": {
												"$ref": "AAAAAAFjwI4We4PKZhM="
											}
										},
										{
											"_type": "UMLInternalActivityCompartmentView",
											"_id": "AAAAAAFjwI4We4PLGRE=",
											"_parent": {
												"$ref": "AAAAAAFjwI4We4PFqZk="
											},
											"model": {
												"$ref": "AAAAAAFjwI4WeoPE+AI="
											},
											"subViews": [
												{
													"_type": "UMLInternalActivityView",
													"_id": "AAAAAAFjwJIdk4REgAc=",
													"_parent": {
														"$ref": "AAAAAAFjwI4We4PLGRE="
													},
													"model": {
														"$ref": "AAAAAAFjwJIdfoRBB04="
													},
													"visible": true,
													"enabled": true,
													"lineColor": "#000000",
													"fillColor": "#ffffff",
													"fontColor": "#000000",
													"font": "Arial;13;0",
													"showShadow": true,
													"containerChangeable": false,
													"containerExtending": false,
													"left": 533,
													"top": 470,
													"width": 134,
													"height": 13,
													"autoResize": false,
													"underline": false,
													"text": "do/dhcp_send_request",
													"horizontalAlignment": 0,
													"verticalAlignment": 5,
													"wordWrap": false
												}
											],
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 465,
											"width": 144,
											"height": 23,
											"autoResize": false
										},
										{
											"_type": "UMLInternalTransitionCompartmentView",
											"_id": "AAAAAAFjwI4WfIPMUuc=",
											"_parent": {
												"$ref": "AAAAAAFjwI4We4PFqZk="
											},
											"model": {
												"$ref": "AAAAAAFjwI4WeoPE+AI="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 0,
											"top": 0,
											"width": 10,
											"height": 10,
											"autoResize": false
										},
										{
											"_type": "UMLDecompositionCompartmentView",
											"_id": "AAAAAAFjwI4WfIPNgYQ=",
											"_parent": {
												"$ref": "AAAAAAFjwI4We4PFqZk="
											},
											"model": {
												"$ref": "AAAAAAFjwI4WeoPE+AI="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 528,
											"top": 488,
											"width": 144,
											"height": 0,
											"autoResize": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": true,
									"containerExtending": false,
									"left": 528,
									"top": 440,
									"width": 144,
									"height": 96,
									"autoResize": false,
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showNamespace": false,
									"showProperty": true,
									"showType": true,
									"nameCompartment": {
										"$ref": "AAAAAAFjwI4We4PG9x8="
									},
									"wordWrap": false,
									"internalActivityCompartment": {
										"$ref": "AAAAAAFjwI4We4PLGRE="
									},
									"internalTransitionCompartment": {
										"$ref": "AAAAAAFjwI4WfIPMUuc="
									},
									"decompositionCompartment": {
										"$ref": "AAAAAAFjwI4WfIPNgYQ="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwI55DIPsGr0=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwI55DIPrIPc="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI55DIPtlc4=",
											"_parent": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"model": {
												"$ref": "AAAAAAFjwI55DIPrIPc="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 599,
											"top": 551,
											"width": 209,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5612723713256222,
											"distance": 105.00476179678711,
											"hostEdge": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "T2 / set_broadcast_mode",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI55DYPu7II=",
											"_parent": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"model": {
												"$ref": "AAAAAAFjwI55DIPrIPc="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 569,
											"top": 552,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwI55DYPv1QY=",
											"_parent": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"model": {
												"$ref": "AAAAAAFjwI55DIPrIPc="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 613,
											"top": 553,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwI55DIPsGr0="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwI4We4PFqZk="
									},
									"tail": {
										"$ref": "AAAAAAFjwIzED4NqSRo="
									},
									"lineStyle": 1,
									"points": "599:583;599:536",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwI55DIPtlc4="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwI55DYPu7II="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwI55DYPv1QY="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwJBSeYQIoxU=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwJBSeYQHghY="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJBSeoQJwjo=",
											"_parent": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"model": {
												"$ref": "AAAAAAFjwJBSeYQHghY="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 584,
											"top": 176,
											"width": 183,
											"height": 13,
											"autoResize": false,
											"alpha": 3.3700892415733037,
											"distance": 44.14748010928823,
											"hostEdge": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPNAK / dhcp_halt_network",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJBSeoQK23I=",
											"_parent": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"model": {
												"$ref": "AAAAAAFjwJBSeYQHghY="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 631,
											"top": 216,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJBSeoQL+lk=",
											"_parent": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"model": {
												"$ref": "AAAAAAFjwJBSeYQHghY="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 632,
											"top": 171,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwJBSeYQIoxU="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"tail": {
										"$ref": "AAAAAAFjwI4We4PFqZk="
									},
									"lineStyle": 2,
									"points": "632:440;632:192;555:192",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwJBSeoQJwjo="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwJBSeoQK23I="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwJBSeoQL+lk="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwJDIj4QiSoM=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwJDIjoQhLyk="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJDIj4Qjnck=",
											"_parent": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"model": {
												"$ref": "AAAAAAFjwJDIjoQhLyk="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 344,
											"top": 480,
											"width": 171,
											"height": 13,
											"autoResize": false,
											"alpha": 3.8916199418693,
											"distance": 48.703182647543684,
											"hostEdge": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPACK / dhcp_set_timers",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJDIj4QknO8=",
											"_parent": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"model": {
												"$ref": "AAAAAAFjwJDIjoQhLyk="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 427,
											"top": 552,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJDIj4Ql640=",
											"_parent": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"model": {
												"$ref": "AAAAAAFjwJDIjoQhLyk="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 405,
											"top": 512,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwJDIj4QiSoM="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIZbbYLn0+U="
									},
									"tail": {
										"$ref": "AAAAAAFjwI4We4PFqZk="
									},
									"lineStyle": 3,
									"points": "527:496;467:504;360:560;328:591",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwJDIj4Qjnck="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwJDIj4QknO8="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwJDIj4Ql640="
									}
								},
								{
									"_type": "UMLTransitionView",
									"_id": "AAAAAAFjwJaXi4RfsNk=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH/AEWs="
									},
									"model": {
										"$ref": "AAAAAAFjwJaXioRe9u4="
									},
									"subViews": [
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJaXjIRgdhI=",
											"_parent": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"model": {
												"$ref": "AAAAAAFjwJaXioRe9u4="
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 583,
											"top": 136,
											"width": 183,
											"height": 13,
											"autoResize": false,
											"alpha": -5.757776214086205,
											"distance": 297.06901555025894,
											"hostEdge": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"edgePosition": 1,
											"underline": false,
											"text": "DHCPNAK / dhcp_halt_network",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJaXjIRh7CE=",
											"_parent": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"model": {
												"$ref": "AAAAAAFjwJaXioRe9u4="
											},
											"visible": null,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 794,
											"top": 392,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": 1.5707963267948966,
											"distance": 30,
											"hostEdge": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "EdgeLabelView",
											"_id": "AAAAAAFjwJaXjIRiwGw=",
											"_parent": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"model": {
												"$ref": "AAAAAAFjwJaXioRe9u4="
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#ffffff",
											"fontColor": "#000000",
											"font": "Arial;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 839,
											"top": 393,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"alpha": -1.5707963267948966,
											"distance": 15,
											"hostEdge": {
												"$ref": "AAAAAAFjwJaXi4RfsNk="
											},
											"edgePosition": 1,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#ffffff",
									"fontColor": "#000000",
									"font": "Arial;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"head": {
										"$ref": "AAAAAAFjwIA1bIDw4+8="
									},
									"tail": {
										"$ref": "AAAAAAFjwIzED4NqSRo="
									},
									"lineStyle": 2,
									"points": "671:639;824:639;824:160;555:160",
									"stereotypeDisplay": "label",
									"showVisibility": true,
									"showProperty": true,
									"nameLabel": {
										"$ref": "AAAAAAFjwJaXjIRgdhI="
									},
									"stereotypeLabel": {
										"$ref": "AAAAAAFjwJaXjIRh7CE="
									},
									"propertyLabel": {
										"$ref": "AAAAAAFjwJaXjIRiwGw="
									}
								}
							]
						}
					],
					"visibility": "public",
					"isReentrant": true,
					"regions": [
						{
							"_type": "UMLRegion",
							"_id": "AAAAAAFjwHT+XH+/A10=",
							"_parent": {
								"$ref": "AAAAAAFjwHT+W3++AKU="
							},
							"visibility": "public",
							"vertices": [
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwIA1bIDvTWY=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Init",
									"visibility": "public",
									"entryActivities": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIijxoMutw0=",
											"_parent": {
												"$ref": "AAAAAAFjwIA1bIDvTWY="
											},
											"name": "set_broadcast_mode",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLPseudostate",
									"_id": "AAAAAAFjwIBQBIEVmRg=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"visibility": "public",
									"kind": "initial"
								},
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwIHjYoHgHjI=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Selecting",
									"visibility": "public"
								},
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwIMJvYI8NdQ=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Requesting",
									"visibility": "public",
									"doActivities": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJQi/IRRyX0=",
											"_parent": {
												"$ref": "AAAAAAFjwIMJvYI8NdQ="
											},
											"name": "dhcp_send_request",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwIZbbYLmT3U=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Bound",
									"visibility": "public",
									"entryActivities": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIjMaYM1o2Q=",
											"_parent": {
												"$ref": "AAAAAAFjwIZbbYLmT3U="
											},
											"name": "set_normal_mode",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwIzEDoNpOf0=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Renewing",
									"visibility": "public",
									"doActivities": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJKe0YRI9UA=",
											"_parent": {
												"$ref": "AAAAAAFjwIzEDoNpOf0="
											},
											"name": "dhcp_send_request",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLState",
									"_id": "AAAAAAFjwI4WeoPE+AI=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"name": "Rebind",
									"visibility": "public",
									"doActivities": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJIdfoRBB04=",
											"_parent": {
												"$ref": "AAAAAAFjwI4WeoPE+AI="
											},
											"name": "dhcp_send_request",
											"visibility": "public",
											"isReentrant": true
										}
									]
								}
							],
							"transitions": [
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIBQToEm6uw=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIBQBIEVmRg="
									},
									"target": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"visibility": "public",
									"kind": "external"
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIH1UIIGjXg=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIHjYoHgHjI="
									},
									"target": {
										"$ref": "AAAAAAFjwIHjYoHgHjI="
									},
									"visibility": "public",
									"kind": "local",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIIQ34IYi0M=",
											"_parent": {
												"$ref": "AAAAAAFjwIH1UIIGjXg="
											},
											"name": "DHCPOFFER",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIIQ34IZXws=",
											"_parent": {
												"$ref": "AAAAAAFjwIH1UIIGjXg="
											},
											"name": "dhcp_collect_reply",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIJAHIIfj9k=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"target": {
										"$ref": "AAAAAAFjwIHjYoHgHjI="
									},
									"visibility": "public",
									"kind": "external",
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIJY+YIxvAM=",
											"_parent": {
												"$ref": "AAAAAAFjwIJAHIIfj9k="
											},
											"name": "send_discover",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwINzd4J8wkw=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIHjYoHgHjI="
									},
									"target": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIOejoKOCMA=",
											"_parent": {
												"$ref": "AAAAAAFjwINzd4J8wkw="
											},
											"name": "SELECT",
											"visibility": "public",
											"kind": "anyReceive"
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIPHwIKTaIg=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"target": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIQAjIKl1Ys=",
											"_parent": {
												"$ref": "AAAAAAFjwIPHwIKTaIg="
											},
											"name": "DHCPOFFER",
											"visibility": "public",
											"kind": "anyReceive"
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIRu4YKu+ZY=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"target": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwISJ/4LAB4U=",
											"_parent": {
												"$ref": "AAAAAAFjwIRu4YKu+ZY="
											},
											"name": "DHCPNAK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwISKAILB+Ks=",
											"_parent": {
												"$ref": "AAAAAAFjwIRu4YKu+ZY="
											},
											"name": "discard_offer",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIUiXILKYZg=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"target": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"visibility": "public",
									"kind": "external",
									"guard": "dhcp_not_accept",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIWOQ4LczYA=",
											"_parent": {
												"$ref": "AAAAAAFjwIUiXILKYZg="
											},
											"name": "DHCPACK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIWORILdeM4=",
											"_parent": {
												"$ref": "AAAAAAFjwIUiXILKYZg="
											},
											"name": "send_dhcpdecline",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIabG4MQac4=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIMJvYI8NdQ="
									},
									"target": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"visibility": "public",
									"kind": "external",
									"guard": "dhcp_accept",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIbpzIMixnE=",
											"_parent": {
												"$ref": "AAAAAAFjwIabG4MQac4="
											},
											"name": "DHCPACK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIbpzYMjmck=",
											"_parent": {
												"$ref": "AAAAAAFjwIabG4MQac4="
											},
											"name": "dhcp_set_timers",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIkRB4M8UgU=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"target": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"visibility": "public",
									"kind": "local",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIlU7oNO4gs=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"name": "DHCPOFFER",
											"visibility": "public",
											"kind": "anyReceive"
										},
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIlU74NP7GY=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"name": "DHCPACK",
											"visibility": "public",
											"kind": "anyReceive"
										},
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIlU74NQG6w=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"name": "DHCPNAK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwIlU74NRchY=",
											"_parent": {
												"$ref": "AAAAAAFjwIkRB4M8UgU="
											},
											"name": "dhcp_discard",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwIzkh4OPh6w=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"target": {
										"$ref": "AAAAAAFjwIzEDoNpOf0="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwIz4BoOhSuk=",
											"_parent": {
												"$ref": "AAAAAAFjwIzkh4OPh6w="
											},
											"name": "T1",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwI04I4OmHsY=",
											"_parent": {
												"$ref": "AAAAAAFjwIzkh4OPh6w="
											},
											"name": "send_dhcp_request",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwI2N2YOr8xc=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIzEDoNpOf0="
									},
									"target": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwI2oFYO9R5M=",
											"_parent": {
												"$ref": "AAAAAAFjwI2N2YOr8xc="
											},
											"name": "DHCPACK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwI2oFoO+E6I=",
											"_parent": {
												"$ref": "AAAAAAFjwI2N2YOr8xc="
											},
											"name": "dhcp_set_timers",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwI55DIPrIPc=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIzEDoNpOf0="
									},
									"target": {
										"$ref": "AAAAAAFjwI4WeoPE+AI="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwI8UX4P9KsU=",
											"_parent": {
												"$ref": "AAAAAAFjwI55DIPrIPc="
											},
											"name": "T2",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwI8UX4P+AoY=",
											"_parent": {
												"$ref": "AAAAAAFjwI55DIPrIPc="
											},
											"name": "set_broadcast_mode",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwJBSeYQHghY=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwI4WeoPE+AI="
									},
									"target": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwJB8NYQZ1qk=",
											"_parent": {
												"$ref": "AAAAAAFjwJBSeYQHghY="
											},
											"name": "DHCPNAK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJB8NYQaRIw=",
											"_parent": {
												"$ref": "AAAAAAFjwJBSeYQHghY="
											},
											"name": "dhcp_halt_network",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwJDIjoQhLyk=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwI4WeoPE+AI="
									},
									"target": {
										"$ref": "AAAAAAFjwIZbbYLmT3U="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwJDkWoQzxuc=",
											"_parent": {
												"$ref": "AAAAAAFjwJDIjoQhLyk="
											},
											"name": "DHCPACK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJDkWoQ0e4A=",
											"_parent": {
												"$ref": "AAAAAAFjwJDIjoQhLyk="
											},
											"name": "dhcp_set_timers",
											"visibility": "public",
											"isReentrant": true
										}
									]
								},
								{
									"_type": "UMLTransition",
									"_id": "AAAAAAFjwJaXioRe9u4=",
									"_parent": {
										"$ref": "AAAAAAFjwHT+XH+/A10="
									},
									"source": {
										"$ref": "AAAAAAFjwIzEDoNpOf0="
									},
									"target": {
										"$ref": "AAAAAAFjwIA1bIDvTWY="
									},
									"visibility": "public",
									"kind": "external",
									"triggers": [
										{
											"_type": "UMLEvent",
											"_id": "AAAAAAFjwJam/4RwMBk=",
											"_parent": {
												"$ref": "AAAAAAFjwJaXioRe9u4="
											},
											"name": "DHCPNAK",
											"visibility": "public",
											"kind": "anyReceive"
										}
									],
									"effects": [
										{
											"_type": "UMLOpaqueBehavior",
											"_id": "AAAAAAFjwJcFX4R3u4A=",
											"_parent": {
												"$ref": "AAAAAAFjwJaXioRe9u4="
											},
											"name": "dhcp_halt_network",
											"visibility": "public",
											"isReentrant": true
										}
									]
								}
							]
						}
					]
				}
			],
			"visibility": "public"
		}
	]
}