{
	"_type": "Project",
	"_id": "pPbDHq55wUe0o77ySi6hLgAA",
	"name": "MiniPong01",
	"ownedElements": [
		{
			"_type": "UMLModel",
			"_id": "dtXTJ32c+0mt+5Sdfb8UsAAA",
			"_parent": {
				"$ref": "pPbDHq55wUe0o77ySi6hLgAA"
			},
			"name": "Design Model",
			"ownedElements": [
				{
					"_type": "UMLClassDiagram",
					"_id": "yj8mruf4cEGv9LMEqYlNRQAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"name": "MiniPong01_ClassModel",
					"visible": true,
					"defaultDiagram": true,
					"ownedViews": [
						{
							"_type": "UMLClassView",
							"_id": "kQsqaj51B0OrDyuEvqNYmQAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"subViews": [
								{
									"_type": "UMLReceptionCompartmentView",
									"_id": "AAAAAAFYnDRJ0cbNrrs=",
									"_parent": {
										"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
									},
									"model": {
										"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLNameCompartmentView",
									"_id": "GtHBcGzBU0ir5MdQbUwPAgAA",
									"_parent": {
										"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
									},
									"model": {
										"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "TK0t6GWxV0mxRrKsRjhd5QAA",
											"_parent": {
												"$ref": "GtHBcGzBU0ir5MdQbUwPAgAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "J6p7WBXbdEyJZhg3y3YnIAAA",
											"_parent": {
												"$ref": "GtHBcGzBU0ir5MdQbUwPAgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;1",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 247,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "Ball",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFYnDRJuUfB5J4=",
											"_parent": {
												"$ref": "GtHBcGzBU0ir5MdQbUwPAgAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 148.22412109375,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "(from Design Model)",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "flZypuYGGUOEZZWaffHq7gAA",
											"_parent": {
												"$ref": "GtHBcGzBU0ir5MdQbUwPAgAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 307,
									"top": 240,
									"width": 162,
									"height": 25,
									"autoResize": false,
									"stereotypeLabel": {
										"$ref": "TK0t6GWxV0mxRrKsRjhd5QAA"
									},
									"nameLabel": {
										"$ref": "J6p7WBXbdEyJZhg3y3YnIAAA"
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFYnDRJuUfB5J4="
									},
									"propertyLabel": {
										"$ref": "flZypuYGGUOEZZWaffHq7gAA"
									}
								},
								{
									"_type": "UMLAttributeCompartmentView",
									"_id": "iA7mvIiA5kK6C52Ioc9gJgAA",
									"_parent": {
										"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
									},
									"model": {
										"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
									},
									"subViews": [
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKAcfDJag=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "l6h3nFEfQ0Czeu+9yvO6pQAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 270,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "r: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKAsfGfco=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "Lj65lu9jdU6HJ5EBL+t+3wAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 285,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "x: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKAsfJLIk=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "5TUgxKqy4UKiljuyysLS9AAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 300,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "y: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKA8fMOFc=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "7TwI1yRE00mtV69ZGeG0hAAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 315,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "vx: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKA8fPXRY=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "CNEwE710pk21ZtMynQhBBgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 330,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "vy: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKA8fSYoc=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "4X/mJDJk+U+l32kMd679AgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 345,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "color: String",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKBMfVqy4=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "DYHSXQ2b2kCVQve4fCZsDgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 360,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "borderWidth: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKBMfYYK0=",
											"_parent": {
												"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
											},
											"model": {
												"$ref": "gjF3rlyN9kGb2l815oeHLgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 375,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "borderColor: String",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 307,
									"top": 265,
									"width": 162,
									"height": 128,
									"autoResize": false
								},
								{
									"_type": "UMLOperationCompartmentView",
									"_id": "Wkng3CgTMUmEBYrZf+bPBAAA",
									"_parent": {
										"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
									},
									"model": {
										"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
									},
									"subViews": [
										{
											"_type": "UMLOperationView",
											"_id": "AAAAAAFYnDRKBcfbP9g=",
											"_parent": {
												"$ref": "Wkng3CgTMUmEBYrZf+bPBAAA"
											},
											"model": {
												"$ref": "qrAosVXaLkiM+opJAvD9LgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 398,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "move(p_seconds)",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLOperationView",
											"_id": "AAAAAAFYnDRKBcfeKmE=",
											"_parent": {
												"$ref": "Wkng3CgTMUmEBYrZf+bPBAAA"
											},
											"model": {
												"$ref": "87VGTsgq/UO23dxP0DEyGQAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 312,
											"top": 413,
											"width": 152,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "draw(p_context)",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 307,
									"top": 393,
									"width": 162,
									"height": 38,
									"autoResize": false
								},
								{
									"_type": "UMLTemplateParameterCompartmentView",
									"_id": "AMahkcI/CU2kRaAhdlPFTQAA",
									"_parent": {
										"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
									},
									"model": {
										"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#80FFFF",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": true,
							"containerExtending": false,
							"left": 307,
							"top": 240,
							"width": 162,
							"height": 191,
							"autoResize": false,
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showNamespace": false,
							"showProperty": false,
							"showType": true,
							"nameCompartment": {
								"$ref": "GtHBcGzBU0ir5MdQbUwPAgAA"
							},
							"wordWrap": false,
							"suppressAttributes": false,
							"suppressOperations": false,
							"suppressReceptions": true,
							"showMultiplicity": true,
							"showOperationSignature": true,
							"attributeCompartment": {
								"$ref": "iA7mvIiA5kK6C52Ioc9gJgAA"
							},
							"operationCompartment": {
								"$ref": "Wkng3CgTMUmEBYrZf+bPBAAA"
							},
							"receptionCompartment": {
								"$ref": "AAAAAAFYnDRJ0cbNrrs="
							},
							"templateParameterCompartment": {
								"$ref": "AMahkcI/CU2kRaAhdlPFTQAA"
							}
						},
						{
							"_type": "UMLClassView",
							"_id": "jPsjvFtrl0C1GvfmajfijAAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
							},
							"subViews": [
								{
									"_type": "UMLReceptionCompartmentView",
									"_id": "AAAAAAFYnDRJ08bj8ps=",
									"_parent": {
										"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
									},
									"model": {
										"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLNameCompartmentView",
									"_id": "9sGpaSXCH0qhV22gIYgWnwAA",
									"_parent": {
										"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
									},
									"model": {
										"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "cb+VDVSIz0+vnLdGVbwrqAAA",
											"_parent": {
												"$ref": "9sGpaSXCH0qhV22gIYgWnwAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "DL/lQPYeBEaOCA4EQZ9j5wAA",
											"_parent": {
												"$ref": "9sGpaSXCH0qhV22gIYgWnwAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;1",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 332,
											"top": 7,
											"width": 112,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "ModelStage",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFYnDRJukfG17A=",
											"_parent": {
												"$ref": "9sGpaSXCH0qhV22gIYgWnwAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 148.22412109375,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "(from Design Model)",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "TJA922UVH0S0dx9HLAUoXQAA",
											"_parent": {
												"$ref": "9sGpaSXCH0qhV22gIYgWnwAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 327,
									"top": 0,
									"width": 122,
									"height": 25,
									"autoResize": false,
									"stereotypeLabel": {
										"$ref": "cb+VDVSIz0+vnLdGVbwrqAAA"
									},
									"nameLabel": {
										"$ref": "DL/lQPYeBEaOCA4EQZ9j5wAA"
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFYnDRJukfG17A="
									},
									"propertyLabel": {
										"$ref": "TJA922UVH0S0dx9HLAUoXQAA"
									}
								},
								{
									"_type": "UMLAttributeCompartmentView",
									"_id": "pYw7dY75tESB+7WqTjkEvwAA",
									"_parent": {
										"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
									},
									"model": {
										"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
									},
									"subViews": [
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKB8fjN90=",
											"_parent": {
												"$ref": "pYw7dY75tESB+7WqTjkEvwAA"
											},
											"model": {
												"$ref": "r4l+q24CZkmJDLgyRgSoLwAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 332,
											"top": 30,
											"width": 112,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "width: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "UMLAttributeView",
											"_id": "AAAAAAFYnDRKB8fmNjo=",
											"_parent": {
												"$ref": "pYw7dY75tESB+7WqTjkEvwAA"
											},
											"model": {
												"$ref": "zwpFry6Qy0+PK5NcQgjiWQAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#80FFFF",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 332,
											"top": 45,
											"width": 112,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "height: Number",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 327,
									"top": 25,
									"width": 122,
									"height": 38,
									"autoResize": false
								},
								{
									"_type": "UMLOperationCompartmentView",
									"_id": "YAClSht14kSlUtdTfoEoMQAA",
									"_parent": {
										"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
									},
									"model": {
										"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLTemplateParameterCompartmentView",
									"_id": "6NfiHVgSXU6RyZbXCLPlCgAA",
									"_parent": {
										"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
									},
									"model": {
										"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#80FFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#80FFFF",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": true,
							"containerExtending": false,
							"left": 327,
							"top": 0,
							"width": 122,
							"height": 63,
							"autoResize": false,
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showNamespace": false,
							"showProperty": false,
							"showType": true,
							"nameCompartment": {
								"$ref": "9sGpaSXCH0qhV22gIYgWnwAA"
							},
							"wordWrap": false,
							"suppressAttributes": false,
							"suppressOperations": true,
							"suppressReceptions": true,
							"showMultiplicity": true,
							"showOperationSignature": true,
							"attributeCompartment": {
								"$ref": "pYw7dY75tESB+7WqTjkEvwAA"
							},
							"operationCompartment": {
								"$ref": "YAClSht14kSlUtdTfoEoMQAA"
							},
							"receptionCompartment": {
								"$ref": "AAAAAAFYnDRJ08bj8ps="
							},
							"templateParameterCompartment": {
								"$ref": "6NfiHVgSXU6RyZbXCLPlCgAA"
							}
						},
						{
							"_type": "UMLClassView",
							"_id": "KrsTD3LHX0WC4FJjy5mloQAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
							},
							"subViews": [
								{
									"_type": "UMLReceptionCompartmentView",
									"_id": "AAAAAAFYnDRJ1cb5m9A=",
									"_parent": {
										"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
									},
									"model": {
										"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFF80",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLNameCompartmentView",
									"_id": "nT3f9d1A90uB2d2a/Wy71gAA",
									"_parent": {
										"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
									},
									"model": {
										"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "WLsV4TY54U2hudL604n7ggAA",
											"_parent": {
												"$ref": "nT3f9d1A90uB2d2a/Wy71gAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#FFFF80",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 284,
											"top": 125,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "«function»",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "pAaEiZ0voU6TXulf9gAE1wAA",
											"_parent": {
												"$ref": "nT3f9d1A90uB2d2a/Wy71gAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#FFFF80",
											"fontColor": "#000000",
											"font": "courier new;13;1",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 284,
											"top": 140,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "collision",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFYnDRJvEfLllM=",
											"_parent": {
												"$ref": "nT3f9d1A90uB2d2a/Wy71gAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#FFFF80",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 148.22412109375,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "(from Design Model)",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "byO2r2HHjUWyCF2HG0XWygAA",
											"_parent": {
												"$ref": "nT3f9d1A90uB2d2a/Wy71gAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#FFFF80",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFF80",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 279,
									"top": 120,
									"width": 218,
									"height": 38,
									"autoResize": false,
									"stereotypeLabel": {
										"$ref": "WLsV4TY54U2hudL604n7ggAA"
									},
									"nameLabel": {
										"$ref": "pAaEiZ0voU6TXulf9gAE1wAA"
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFYnDRJvEfLllM="
									},
									"propertyLabel": {
										"$ref": "byO2r2HHjUWyCF2HG0XWygAA"
									}
								},
								{
									"_type": "UMLAttributeCompartmentView",
									"_id": "4Vkl62j8kku5Xhy7jFSm3QAA",
									"_parent": {
										"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
									},
									"model": {
										"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFF80",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLOperationCompartmentView",
									"_id": "Ap7vmmeRO0mWmfpkifJGLwAA",
									"_parent": {
										"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
									},
									"model": {
										"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
									},
									"subViews": [
										{
											"_type": "UMLOperationView",
											"_id": "AAAAAAFYnDRKCMfr7VY=",
											"_parent": {
												"$ref": "Ap7vmmeRO0mWmfpkifJGLwAA"
											},
											"model": {
												"$ref": "MEc5vR8jYEm/aUM4NnMsxwAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#FFFF80",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 284,
											"top": 163,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "collision(p_stage, p_ball)",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFF80",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 279,
									"top": 158,
									"width": 218,
									"height": 23,
									"autoResize": false
								},
								{
									"_type": "UMLTemplateParameterCompartmentView",
									"_id": "zwc5VmGwl0OfJd59jXo0xgAA",
									"_parent": {
										"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
									},
									"model": {
										"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFF80",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#FFFF80",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": true,
							"containerExtending": false,
							"left": 279,
							"top": 120,
							"width": 218,
							"height": 61,
							"autoResize": false,
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showNamespace": false,
							"showProperty": false,
							"showType": true,
							"nameCompartment": {
								"$ref": "nT3f9d1A90uB2d2a/Wy71gAA"
							},
							"wordWrap": false,
							"suppressAttributes": true,
							"suppressOperations": false,
							"suppressReceptions": true,
							"showMultiplicity": true,
							"showOperationSignature": true,
							"attributeCompartment": {
								"$ref": "4Vkl62j8kku5Xhy7jFSm3QAA"
							},
							"operationCompartment": {
								"$ref": "Ap7vmmeRO0mWmfpkifJGLwAA"
							},
							"receptionCompartment": {
								"$ref": "AAAAAAFYnDRJ1cb5m9A="
							},
							"templateParameterCompartment": {
								"$ref": "zwc5VmGwl0OfJd59jXo0xgAA"
							}
						},
						{
							"_type": "UMLAssociationView",
							"_id": "5l4DEbP1J0SOP8OduhCJ/gAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "ywOXViJndEarqEQdNB4yAAAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
									},
									"visible": null,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 413,
									"top": 221,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 30,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "PhyP/eGerkiSWWEo5ZlZaAAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 400,
									"top": 213,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "Y69z4e4Sg0alYL6Vi3q9cAAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 375,
									"top": 213,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": -1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "qd0fapWsz0u3AZYsbL7+8AAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "mL51mAIv4kiFzn63yxzZbwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 205,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "jSHGDJ2D1k6nz+tCCzZOAAAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "pYu0NDFoGkGj6thkz/I7cQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 204,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "EfxzM/CTuUSp6iekLqKw8wAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "mL51mAIv4kiFzn63yxzZbwAA"
									},
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 371,
									"top": 215,
									"width": 7.80126953125,
									"height": 13,
									"autoResize": false,
									"alpha": -5.622142295803593,
									"distance": 22.80350850198276,
									"edgePosition": 0,
									"underline": false,
									"text": "1",
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "rQ9P3cFteUWAgA/vivSqiwAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "pYu0NDFoGkGj6thkz/I7cQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 199,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 25,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "2GMk2933iEim1A9S4Xb/VQAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "mL51mAIv4kiFzn63yxzZbwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 195,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "poy4nQJwkkmNtzwKCJuq4wAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "pYu0NDFoGkGj6thkz/I7cQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 214,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "L9a77E5eFUeODW7sDet/ogAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "mL51mAIv4kiFzn63yxzZbwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1004,
									"top": -896,
									"width": 50,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "b2GRsAlz/0+oi2ZFt91q5AAA",
									"_parent": {
										"$ref": "5l4DEbP1J0SOP8OduhCJ/gAA"
									},
									"model": {
										"$ref": "pYu0NDFoGkGj6thkz/I7cQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1004,
									"top": -896,
									"width": 50,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#E0E0E0",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": false,
							"containerExtending": false,
							"head": {
								"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
							},
							"tail": {
								"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
							},
							"lineStyle": 0,
							"points": "388:180;388:240",
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showProperty": false,
							"nameLabel": {
								"$ref": "PhyP/eGerkiSWWEo5ZlZaAAA"
							},
							"stereotypeLabel": {
								"$ref": "ywOXViJndEarqEQdNB4yAAAA"
							},
							"propertyLabel": {
								"$ref": "Y69z4e4Sg0alYL6Vi3q9cAAA"
							},
							"showMultiplicity": true,
							"showType": true,
							"tailRoleNameLabel": {
								"$ref": "jSHGDJ2D1k6nz+tCCzZOAAAA"
							},
							"tailPropertyLabel": {
								"$ref": "poy4nQJwkkmNtzwKCJuq4wAA"
							},
							"tailMultiplicityLabel": {
								"$ref": "rQ9P3cFteUWAgA/vivSqiwAA"
							},
							"headRoleNameLabel": {
								"$ref": "qd0fapWsz0u3AZYsbL7+8AAA"
							},
							"headPropertyLabel": {
								"$ref": "2GMk2933iEim1A9S4Xb/VQAA"
							},
							"headMultiplicityLabel": {
								"$ref": "EfxzM/CTuUSp6iekLqKw8wAA"
							},
							"tailQualifiersCompartment": {
								"$ref": "b2GRsAlz/0+oi2ZFt91q5AAA"
							},
							"headQualifiersCompartment": {
								"$ref": "L9a77E5eFUeODW7sDet/ogAA"
							}
						},
						{
							"_type": "UMLAssociationView",
							"_id": "whvBqUmAk0qBe5dNproZUAAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "iot5uO++JUmp5emr+GV2iwAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
									},
									"visible": null,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 362,
									"top": 69,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 30,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "ApyQYEu+YECfoDndgB/6mQAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 375,
									"top": 77,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "VZK5p/hkPUmeXHQ4TiZzeQAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 400,
									"top": 77,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": -1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "bR/QP0J7H0qb2uY7LTrhmAAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "blGTUQqUvUC34HdB4qk7bQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 86,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "vxBrSuvcUkW7N3TD719WPgAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "SurXTYj+DES29XfFOAXAGAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 85,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "kK9FAYQ6dEymudcJvBQVZwAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "blGTUQqUvUC34HdB4qk7bQAA"
									},
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 364,
									"top": 72,
									"width": 19.11767578125,
									"height": 13,
									"autoResize": false,
									"alpha": -0.7531511370010029,
									"distance": 21.93171219946131,
									"edgePosition": 0,
									"underline": false,
									"text": "1",
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "gSPeXJtr3EOMafau+d9avQAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "SurXTYj+DES29XfFOAXAGAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 90,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 25,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "062zPKJ/WUSA6hxEDU8XTAAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "blGTUQqUvUC34HdB4qk7bQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 96,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "j9taHd/StUSISXadJSTZjgAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "SurXTYj+DES29XfFOAXAGAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 388,
									"top": 75,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "3wQzR7QK/U60AcVYdy5m0wAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "blGTUQqUvUC34HdB4qk7bQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1004,
									"top": -896,
									"width": 50,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "G+KTAc6Th0+gZ5pLi1mrCQAA",
									"_parent": {
										"$ref": "whvBqUmAk0qBe5dNproZUAAA"
									},
									"model": {
										"$ref": "SurXTYj+DES29XfFOAXAGAAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1004,
									"top": -896,
									"width": 50,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#E0E0E0",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": false,
							"containerExtending": false,
							"head": {
								"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
							},
							"tail": {
								"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
							},
							"lineStyle": 0,
							"points": "388:120;388:62",
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showProperty": false,
							"nameLabel": {
								"$ref": "ApyQYEu+YECfoDndgB/6mQAA"
							},
							"stereotypeLabel": {
								"$ref": "iot5uO++JUmp5emr+GV2iwAA"
							},
							"propertyLabel": {
								"$ref": "VZK5p/hkPUmeXHQ4TiZzeQAA"
							},
							"showMultiplicity": true,
							"showType": true,
							"tailRoleNameLabel": {
								"$ref": "vxBrSuvcUkW7N3TD719WPgAA"
							},
							"tailPropertyLabel": {
								"$ref": "j9taHd/StUSISXadJSTZjgAA"
							},
							"tailMultiplicityLabel": {
								"$ref": "gSPeXJtr3EOMafau+d9avQAA"
							},
							"headRoleNameLabel": {
								"$ref": "bR/QP0J7H0qb2uY7LTrhmAAA"
							},
							"headPropertyLabel": {
								"$ref": "062zPKJ/WUSA6hxEDU8XTAAA"
							},
							"headMultiplicityLabel": {
								"$ref": "kK9FAYQ6dEymudcJvBQVZwAA"
							},
							"tailQualifiersCompartment": {
								"$ref": "G+KTAc6Th0+gZ5pLi1mrCQAA"
							},
							"headQualifiersCompartment": {
								"$ref": "3wQzR7QK/U60AcVYdy5m0wAA"
							}
						},
						{
							"_type": "UMLClassView",
							"_id": "l9mw9e03mECpy95EwRcH/AAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
							},
							"subViews": [
								{
									"_type": "UMLReceptionCompartmentView",
									"_id": "AAAAAAFYnDRJ3Mc94Gs=",
									"_parent": {
										"$ref": "l9mw9e03mECpy95EwRcH/AAA"
									},
									"model": {
										"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E7D3E7",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLNameCompartmentView",
									"_id": "Tfz28WNH9Ey+TdSJWmS7BwAA",
									"_parent": {
										"$ref": "l9mw9e03mECpy95EwRcH/AAA"
									},
									"model": {
										"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
									},
									"subViews": [
										{
											"_type": "LabelView",
											"_id": "ShDZ7y5M2U2R1Zxus+mibwAA",
											"_parent": {
												"$ref": "Tfz28WNH9Ey+TdSJWmS7BwAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#E7D3E7",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 5,
											"top": 125,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "«function»",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "uEupki1dYEe905w2qjDRxgAA",
											"_parent": {
												"$ref": "Tfz28WNH9Ey+TdSJWmS7BwAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#E7D3E7",
											"fontColor": "#000000",
											"font": "courier new;13;1",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 5,
											"top": 140,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "minipong",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "AAAAAAFYnDRJv0fWLz0=",
											"_parent": {
												"$ref": "Tfz28WNH9Ey+TdSJWmS7BwAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#E7D3E7",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 148.22412109375,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "(from Design Model)",
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										},
										{
											"_type": "LabelView",
											"_id": "gBnQj71050SHTaJbcHXYIwAA",
											"_parent": {
												"$ref": "Tfz28WNH9Ey+TdSJWmS7BwAA"
											},
											"visible": false,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#E7D3E7",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": -24,
											"top": 0,
											"width": 0,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"horizontalAlignment": 2,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E7D3E7",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 0,
									"top": 120,
									"width": 218,
									"height": 38,
									"autoResize": false,
									"stereotypeLabel": {
										"$ref": "ShDZ7y5M2U2R1Zxus+mibwAA"
									},
									"nameLabel": {
										"$ref": "uEupki1dYEe905w2qjDRxgAA"
									},
									"namespaceLabel": {
										"$ref": "AAAAAAFYnDRJv0fWLz0="
									},
									"propertyLabel": {
										"$ref": "gBnQj71050SHTaJbcHXYIwAA"
									}
								},
								{
									"_type": "UMLAttributeCompartmentView",
									"_id": "LS7AUp7M5k6O/Zv0B58iUwAA",
									"_parent": {
										"$ref": "l9mw9e03mECpy95EwRcH/AAA"
									},
									"model": {
										"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E7D3E7",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLOperationCompartmentView",
									"_id": "6w2QMIMfpkC6sfgRUk8xdQAA",
									"_parent": {
										"$ref": "l9mw9e03mECpy95EwRcH/AAA"
									},
									"model": {
										"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
									},
									"subViews": [
										{
											"_type": "UMLOperationView",
											"_id": "AAAAAAFYnDRKC8f23oQ=",
											"_parent": {
												"$ref": "6w2QMIMfpkC6sfgRUk8xdQAA"
											},
											"model": {
												"$ref": "VfBIUW8/UkujvqBjRKUijgAA"
											},
											"visible": true,
											"enabled": true,
											"lineColor": "#000000",
											"fillColor": "#E7D3E7",
											"fontColor": "#000000",
											"font": "courier new;13;0",
											"showShadow": true,
											"containerChangeable": false,
											"containerExtending": false,
											"left": 5,
											"top": 163,
											"width": 208,
											"height": 13,
											"autoResize": false,
											"underline": false,
											"text": "minipong(p_window, p_init)",
											"horizontalAlignment": 0,
											"verticalAlignment": 5,
											"wordWrap": false
										}
									],
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E7D3E7",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 0,
									"top": 158,
									"width": 218,
									"height": 23,
									"autoResize": false
								},
								{
									"_type": "UMLTemplateParameterCompartmentView",
									"_id": "UL5zwvFW5ka2Op90E5D4QAAA",
									"_parent": {
										"$ref": "l9mw9e03mECpy95EwRcH/AAA"
									},
									"model": {
										"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E7D3E7",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -12,
									"top": 0,
									"width": 10,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#E7D3E7",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": true,
							"containerExtending": false,
							"left": 0,
							"top": 120,
							"width": 218,
							"height": 61,
							"autoResize": false,
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showNamespace": false,
							"showProperty": false,
							"showType": true,
							"nameCompartment": {
								"$ref": "Tfz28WNH9Ey+TdSJWmS7BwAA"
							},
							"wordWrap": false,
							"suppressAttributes": true,
							"suppressOperations": false,
							"suppressReceptions": true,
							"showMultiplicity": true,
							"showOperationSignature": true,
							"attributeCompartment": {
								"$ref": "LS7AUp7M5k6O/Zv0B58iUwAA"
							},
							"operationCompartment": {
								"$ref": "6w2QMIMfpkC6sfgRUk8xdQAA"
							},
							"receptionCompartment": {
								"$ref": "AAAAAAFYnDRJ3Mc94Gs="
							},
							"templateParameterCompartment": {
								"$ref": "UL5zwvFW5ka2Op90E5D4QAAA"
							}
						},
						{
							"_type": "UMLAssociationView",
							"_id": "PmdTqZse7kmpQjDU5lZ6wgAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "hIA6fvreNkWuyIsZyoOaLAAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
									},
									"visible": null,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 257,
									"top": 213,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 30,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "byvyl+bOBE2EUcVqzmr89wAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 243,
									"top": 219,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "LqLNb4noPUyr9bDbYEK/8wAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 229,
									"top": 240,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": -1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "BPYCxcvdk0eKtlnU75mongAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "d34aNsb0QEGwTEnQFEeUSwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 280,
									"top": 259,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "XyEEUhYsn0yrjmkjDc3SEAAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "8XsUAeRj5kWHpGRpAJyKRgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 180,
									"top": 192,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "Mhd/3ATLj0iBeJsxNBTPcgAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "d34aNsb0QEGwTEnQFEeUSwAA"
									},
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 288,
									"top": 282,
									"width": 7.80126953125,
									"height": 13,
									"autoResize": false,
									"alpha": 1.0324915239136447,
									"distance": 16.55294535724685,
									"edgePosition": 0,
									"underline": false,
									"text": "1",
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "JvsqrbJ0E0+GevBM5EDZvgAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "8XsUAeRj5kWHpGRpAJyKRgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 175,
									"top": 189,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 25,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "CGIpgAESykOS2cbO8HAGMQAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "d34aNsb0QEGwTEnQFEeUSwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 272,
									"top": 253,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "dkn+V/z3MEiCTmwEMpDD2AAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "8XsUAeRj5kWHpGRpAJyKRgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 188,
									"top": 198,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "A+BXNMiUw0+mjRY6N4tJAwAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "d34aNsb0QEGwTEnQFEeUSwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#ff0000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "lYucP/SqM0Cfc67jxH0L7wAA",
									"_parent": {
										"$ref": "PmdTqZse7kmpQjDU5lZ6wgAA"
									},
									"model": {
										"$ref": "8XsUAeRj5kWHpGRpAJyKRgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#ff0000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#ff0000",
							"fillColor": "#E0E0E0",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": false,
							"containerExtending": false,
							"head": {
								"$ref": "kQsqaj51B0OrDyuEvqNYmQAA"
							},
							"tail": {
								"$ref": "l9mw9e03mECpy95EwRcH/AAA"
							},
							"lineStyle": 1,
							"points": "155:181;306:281",
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showProperty": false,
							"nameLabel": {
								"$ref": "byvyl+bOBE2EUcVqzmr89wAA"
							},
							"stereotypeLabel": {
								"$ref": "hIA6fvreNkWuyIsZyoOaLAAA"
							},
							"propertyLabel": {
								"$ref": "LqLNb4noPUyr9bDbYEK/8wAA"
							},
							"showMultiplicity": true,
							"showType": true,
							"tailRoleNameLabel": {
								"$ref": "XyEEUhYsn0yrjmkjDc3SEAAA"
							},
							"tailPropertyLabel": {
								"$ref": "dkn+V/z3MEiCTmwEMpDD2AAA"
							},
							"tailMultiplicityLabel": {
								"$ref": "JvsqrbJ0E0+GevBM5EDZvgAA"
							},
							"headRoleNameLabel": {
								"$ref": "BPYCxcvdk0eKtlnU75mongAA"
							},
							"headPropertyLabel": {
								"$ref": "CGIpgAESykOS2cbO8HAGMQAA"
							},
							"headMultiplicityLabel": {
								"$ref": "Mhd/3ATLj0iBeJsxNBTPcgAA"
							},
							"tailQualifiersCompartment": {
								"$ref": "lYucP/SqM0Cfc67jxH0L7wAA"
							},
							"headQualifiersCompartment": {
								"$ref": "A+BXNMiUw0+mjRY6N4tJAwAA"
							}
						},
						{
							"_type": "UMLAssociationView",
							"_id": "u0keE1fAy0ODfaiszqK0+AAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "fGjwbKTyFkqj3oYIwIEQMwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
									},
									"visible": null,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 264,
									"top": 119,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 30,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "0r4OozBtf0+pGWv3pb+WdwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 256,
									"top": 132,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "iqUB2ED6JEisCMLgq8HPwQAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 256,
									"top": 157,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": -1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "C9jPh7aYSEaLaymw5SUrwAAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "h5wrZdg0nkOqCvK2i/koMwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 248,
									"top": 144,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "Ybp+4A0m1Eugb6YsBAzIxwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "IjIqllmg2ka7r1IkBtTHAwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 248,
									"top": 145,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "uzKDpfHqO0m1GDPaQSHhZwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "h5wrZdg0nkOqCvK2i/koMwAA"
									},
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 259,
									"top": 131,
									"width": 7.80126953125,
									"height": 13,
									"autoResize": false,
									"alpha": -0.6435014087934041,
									"distance": 20,
									"edgePosition": 0,
									"underline": false,
									"text": "1",
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "sppF7ejjFUC2fS/K9zkj5QAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "IjIqllmg2ka7r1IkBtTHAwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 243,
									"top": 145,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 25,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "PbuQC+8BHUunNHIH/6NLogAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "h5wrZdg0nkOqCvK2i/koMwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 238,
									"top": 144,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "kIZ3k/EapUCtyyvVute6fwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "IjIqllmg2ka7r1IkBtTHAwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 258,
									"top": 145,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "OAGlbcGmmEuf064CUbUtIQAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "h5wrZdg0nkOqCvK2i/koMwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#ff0000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "FmgqvGmSkkqGRbUbtk+emwAA",
									"_parent": {
										"$ref": "u0keE1fAy0ODfaiszqK0+AAA"
									},
									"model": {
										"$ref": "IjIqllmg2ka7r1IkBtTHAwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#ff0000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#ff0000",
							"fillColor": "#E0E0E0",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": false,
							"containerExtending": false,
							"head": {
								"$ref": "KrsTD3LHX0WC4FJjy5mloQAA"
							},
							"tail": {
								"$ref": "l9mw9e03mECpy95EwRcH/AAA"
							},
							"lineStyle": 1,
							"points": "218:150;278:150",
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showProperty": false,
							"nameLabel": {
								"$ref": "0r4OozBtf0+pGWv3pb+WdwAA"
							},
							"stereotypeLabel": {
								"$ref": "fGjwbKTyFkqj3oYIwIEQMwAA"
							},
							"propertyLabel": {
								"$ref": "iqUB2ED6JEisCMLgq8HPwQAA"
							},
							"showMultiplicity": true,
							"showType": true,
							"tailRoleNameLabel": {
								"$ref": "Ybp+4A0m1Eugb6YsBAzIxwAA"
							},
							"tailPropertyLabel": {
								"$ref": "kIZ3k/EapUCtyyvVute6fwAA"
							},
							"tailMultiplicityLabel": {
								"$ref": "sppF7ejjFUC2fS/K9zkj5QAA"
							},
							"headRoleNameLabel": {
								"$ref": "C9jPh7aYSEaLaymw5SUrwAAA"
							},
							"headPropertyLabel": {
								"$ref": "PbuQC+8BHUunNHIH/6NLogAA"
							},
							"headMultiplicityLabel": {
								"$ref": "uzKDpfHqO0m1GDPaQSHhZwAA"
							},
							"tailQualifiersCompartment": {
								"$ref": "FmgqvGmSkkqGRbUbtk+emwAA"
							},
							"headQualifiersCompartment": {
								"$ref": "OAGlbcGmmEuf064CUbUtIQAA"
							}
						},
						{
							"_type": "UMLAssociationView",
							"_id": "BC9XGVo/9kSSUVzeSQqmmgAA",
							"_parent": {
								"$ref": "yj8mruf4cEGv9LMEqYlNRQAA"
							},
							"model": {
								"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
							},
							"subViews": [
								{
									"_type": "EdgeLabelView",
									"_id": "oMCZdnrsPUSBM0q0HQvCiwAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
									},
									"visible": null,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 258,
									"top": 53,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 30,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "a16HGb0ACkqidoa+qdx23wAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 255,
									"top": 68,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "bhMnoknnJEG9aYbWUJUlrgAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 265,
									"top": 91,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": -1,
									"distance": 15,
									"edgePosition": 1,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "d/kpZ73q506MdrC5HQaFvAAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "SRIg66ms3kuN4FCr+voJpgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 298,
									"top": 63,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "yCe6z588pEePNLI4HSTTUwAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "fGT1hK4/UkmL7anlvi5XrwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 208,
									"top": 102,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 30,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "eVzpOXsuRkCAP396YUCvMgAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "SRIg66ms3kuN4FCr+voJpgAA"
									},
									"visible": true,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 307,
									"top": 40,
									"width": 7.80126953125,
									"height": 13,
									"autoResize": false,
									"alpha": -1,
									"distance": 19,
									"edgePosition": 0,
									"underline": false,
									"text": "1",
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "CKoabcpRMEeF576ASKAgOAAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "fGT1hK4/UkmL7anlvi5XrwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 203,
									"top": 104,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 25,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "I1ihyRAW+0enNVoH3udcRwAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "SRIg66ms3kuN4FCr+voJpgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 289,
									"top": 67,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 0,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "EdgeLabelView",
									"_id": "lEaJFbOu20KZBuVKa39eYAAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "fGT1hK4/UkmL7anlvi5XrwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#FFFFFF",
									"fontColor": "#000000",
									"font": "Arial;11;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": 217,
									"top": 98,
									"width": 0,
									"height": 11,
									"autoResize": false,
									"alpha": 0,
									"distance": 40,
									"edgePosition": 2,
									"underline": false,
									"horizontalAlignment": 2,
									"verticalAlignment": 5,
									"wordWrap": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "qZ/WGvTYBEiWHRwHy6B5MQAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "SRIg66ms3kuN4FCr+voJpgAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								},
								{
									"_type": "UMLQualifierCompartmentView",
									"_id": "IN+hvmbzpkendgwEp1cC9wAA",
									"_parent": {
										"$ref": "BC9XGVo/9kSSUVzeSQqmmgAA"
									},
									"model": {
										"$ref": "fGT1hK4/UkmL7anlvi5XrwAA"
									},
									"visible": false,
									"enabled": true,
									"lineColor": "#000000",
									"fillColor": "#E0E0E0",
									"fontColor": "#000000",
									"font": "courier new;13;0",
									"showShadow": true,
									"containerChangeable": false,
									"containerExtending": false,
									"left": -1012,
									"top": -1000,
									"width": 50,
									"height": 10,
									"autoResize": false
								}
							],
							"visible": true,
							"enabled": true,
							"lineColor": "#000000",
							"fillColor": "#E0E0E0",
							"fontColor": "#000000",
							"font": "courier new;13;0",
							"showShadow": true,
							"containerChangeable": false,
							"containerExtending": false,
							"head": {
								"$ref": "jPsjvFtrl0C1GvfmajfijAAA"
							},
							"tail": {
								"$ref": "l9mw9e03mECpy95EwRcH/AAA"
							},
							"lineStyle": 1,
							"points": "181:119;326:57",
							"stereotypeDisplay": "label",
							"showVisibility": false,
							"showProperty": false,
							"nameLabel": {
								"$ref": "a16HGb0ACkqidoa+qdx23wAA"
							},
							"stereotypeLabel": {
								"$ref": "oMCZdnrsPUSBM0q0HQvCiwAA"
							},
							"propertyLabel": {
								"$ref": "bhMnoknnJEG9aYbWUJUlrgAA"
							},
							"showMultiplicity": true,
							"showType": true,
							"tailRoleNameLabel": {
								"$ref": "yCe6z588pEePNLI4HSTTUwAA"
							},
							"tailPropertyLabel": {
								"$ref": "lEaJFbOu20KZBuVKa39eYAAA"
							},
							"tailMultiplicityLabel": {
								"$ref": "CKoabcpRMEeF576ASKAgOAAA"
							},
							"headRoleNameLabel": {
								"$ref": "d/kpZ73q506MdrC5HQaFvAAA"
							},
							"headPropertyLabel": {
								"$ref": "I1ihyRAW+0enNVoH3udcRwAA"
							},
							"headMultiplicityLabel": {
								"$ref": "eVzpOXsuRkCAP396YUCvMgAA"
							},
							"tailQualifiersCompartment": {
								"$ref": "IN+hvmbzpkendgwEp1cC9wAA"
							},
							"headQualifiersCompartment": {
								"$ref": "qZ/WGvTYBEiWHRwHy6B5MQAA"
							}
						}
					]
				},
				{
					"_type": "UMLClass",
					"_id": "BP7R5UwxREyQgIGDK/ycAQAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"name": "Ball",
					"visibility": "public",
					"attributes": [
						{
							"_type": "UMLAttribute",
							"_id": "l6h3nFEfQ0Czeu+9yvO6pQAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "r",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "Lj65lu9jdU6HJ5EBL+t+3wAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "x",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "5TUgxKqy4UKiljuyysLS9AAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "y",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "7TwI1yRE00mtV69ZGeG0hAAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "vx",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "CNEwE710pk21ZtMynQhBBgAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "vy",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "4X/mJDJk+U+l32kMd679AgAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "color",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "String",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "DYHSXQ2b2kCVQve4fCZsDgAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "borderWidth",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "gjF3rlyN9kGb2l815oeHLgAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "borderColor",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "String",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						}
					],
					"operations": [
						{
							"_type": "UMLOperation",
							"_id": "qrAosVXaLkiM+opJAvD9LgAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "move",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"parameters": [
								{
									"_type": "UMLParameter",
									"_id": "pcEAp7+6FU2Ubiel+DGGeAAA",
									"_parent": {
										"$ref": "qrAosVXaLkiM+opJAvD9LgAA"
									},
									"name": "p_seconds",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								}
							],
							"concurrency": "sequential",
							"isQuery": false,
							"isAbstract": false
						},
						{
							"_type": "UMLOperation",
							"_id": "87VGTsgq/UO23dxP0DEyGQAA",
							"_parent": {
								"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
							},
							"name": "draw",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"parameters": [
								{
									"_type": "UMLParameter",
									"_id": "zXLvlLRiMEiXNzN7cGIyugAA",
									"_parent": {
										"$ref": "87VGTsgq/UO23dxP0DEyGQAA"
									},
									"name": "p_context",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								}
							],
							"concurrency": "sequential",
							"isQuery": false,
							"isAbstract": false
						}
					],
					"isAbstract": false,
					"isFinalSpecialization": false,
					"isLeaf": false,
					"isActive": false
				},
				{
					"_type": "UMLClass",
					"_id": "gqHwusSe6kWsUfqfqSf1gwAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"name": "ModelStage",
					"visibility": "public",
					"attributes": [
						{
							"_type": "UMLAttribute",
							"_id": "r4l+q24CZkmJDLgyRgSoLwAA",
							"_parent": {
								"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
							},
							"name": "width",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						},
						{
							"_type": "UMLAttribute",
							"_id": "zwpFry6Qy0+PK5NcQgjiWQAA",
							"_parent": {
								"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
							},
							"name": "height",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"type": "Number",
							"isReadOnly": false,
							"isOrdered": false,
							"isUnique": false,
							"isDerived": false,
							"aggregation": "none",
							"isID": false
						}
					],
					"isAbstract": false,
					"isFinalSpecialization": false,
					"isLeaf": false,
					"isActive": false
				},
				{
					"_type": "UMLClass",
					"_id": "QrQE85ckl0y4ZPsBLXiw/AAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"name": "collision",
					"stereotype": "function",
					"visibility": "public",
					"operations": [
						{
							"_type": "UMLOperation",
							"_id": "MEc5vR8jYEm/aUM4NnMsxwAA",
							"_parent": {
								"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
							},
							"name": "collision",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"parameters": [
								{
									"_type": "UMLParameter",
									"_id": "tDk5NDsk6kSWfIEQKB5TfgAA",
									"_parent": {
										"$ref": "MEc5vR8jYEm/aUM4NnMsxwAA"
									},
									"name": "p_stage",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								},
								{
									"_type": "UMLParameter",
									"_id": "AzFTi1SAbE+EvXiUh8dkhAAA",
									"_parent": {
										"$ref": "MEc5vR8jYEm/aUM4NnMsxwAA"
									},
									"name": "p_ball",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								}
							],
							"concurrency": "sequential",
							"isQuery": false,
							"isAbstract": false
						}
					],
					"isAbstract": false,
					"isFinalSpecialization": false,
					"isLeaf": false,
					"isActive": false
				},
				{
					"_type": "UMLAssociation",
					"_id": "EJKpQfX2uUKelMaHOoHNywAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"end1": {
						"_type": "UMLAssociationEnd",
						"_id": "pYu0NDFoGkGj6thkz/I7cQAA",
						"_parent": {
							"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
						},
						"reference": {
							"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
						},
						"visibility": "public",
						"navigable": false,
						"aggregation": "none",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"end2": {
						"_type": "UMLAssociationEnd",
						"_id": "mL51mAIv4kiFzn63yxzZbwAA",
						"_parent": {
							"$ref": "EJKpQfX2uUKelMaHOoHNywAA"
						},
						"reference": {
							"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
						},
						"visibility": "public",
						"navigable": true,
						"aggregation": "none",
						"multiplicity": "1",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"visibility": "public",
					"isDerived": false
				},
				{
					"_type": "UMLAssociation",
					"_id": "cRZ6d3SosESNd1Iq8fDsQAAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"end1": {
						"_type": "UMLAssociationEnd",
						"_id": "SurXTYj+DES29XfFOAXAGAAA",
						"_parent": {
							"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
						},
						"reference": {
							"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
						},
						"visibility": "public",
						"navigable": false,
						"aggregation": "none",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"end2": {
						"_type": "UMLAssociationEnd",
						"_id": "blGTUQqUvUC34HdB4qk7bQAA",
						"_parent": {
							"$ref": "cRZ6d3SosESNd1Iq8fDsQAAA"
						},
						"reference": {
							"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
						},
						"visibility": "public",
						"navigable": true,
						"aggregation": "none",
						"multiplicity": "1",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"visibility": "public",
					"isDerived": false
				},
				{
					"_type": "UMLClass",
					"_id": "lT+6QUeWG0CcTrPmpP1MtgAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"name": "minipong",
					"stereotype": "function",
					"visibility": "public",
					"operations": [
						{
							"_type": "UMLOperation",
							"_id": "VfBIUW8/UkujvqBjRKUijgAA",
							"_parent": {
								"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
							},
							"name": "minipong",
							"visibility": "public",
							"isStatic": false,
							"isLeaf": false,
							"parameters": [
								{
									"_type": "UMLParameter",
									"_id": "9KlXO6IM30yblAUCp1K0CAAA",
									"_parent": {
										"$ref": "VfBIUW8/UkujvqBjRKUijgAA"
									},
									"name": "p_window",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								},
								{
									"_type": "UMLParameter",
									"_id": "NJQRYdNL80K4FCh5g3WvngAA",
									"_parent": {
										"$ref": "VfBIUW8/UkujvqBjRKUijgAA"
									},
									"name": "p_init",
									"visibility": "public",
									"isStatic": false,
									"isLeaf": false,
									"type": "",
									"isReadOnly": false,
									"isOrdered": false,
									"isUnique": false,
									"direction": "in"
								}
							],
							"concurrency": "sequential",
							"isQuery": false,
							"isAbstract": false
						}
					],
					"isAbstract": false,
					"isFinalSpecialization": false,
					"isLeaf": false,
					"isActive": false
				},
				{
					"_type": "UMLAssociation",
					"_id": "HnZX8H1EzE+r97deA/ozEQAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"end1": {
						"_type": "UMLAssociationEnd",
						"_id": "8XsUAeRj5kWHpGRpAJyKRgAA",
						"_parent": {
							"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
						},
						"reference": {
							"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
						},
						"visibility": "public",
						"navigable": false,
						"aggregation": "none",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"end2": {
						"_type": "UMLAssociationEnd",
						"_id": "d34aNsb0QEGwTEnQFEeUSwAA",
						"_parent": {
							"$ref": "HnZX8H1EzE+r97deA/ozEQAA"
						},
						"reference": {
							"$ref": "BP7R5UwxREyQgIGDK/ycAQAA"
						},
						"visibility": "public",
						"navigable": true,
						"aggregation": "none",
						"multiplicity": "1",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"visibility": "public",
					"isDerived": false
				},
				{
					"_type": "UMLAssociation",
					"_id": "Lon4RE5gkEKltx0xO/cBbgAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"end1": {
						"_type": "UMLAssociationEnd",
						"_id": "IjIqllmg2ka7r1IkBtTHAwAA",
						"_parent": {
							"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
						},
						"reference": {
							"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
						},
						"visibility": "public",
						"navigable": false,
						"aggregation": "none",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"end2": {
						"_type": "UMLAssociationEnd",
						"_id": "h5wrZdg0nkOqCvK2i/koMwAA",
						"_parent": {
							"$ref": "Lon4RE5gkEKltx0xO/cBbgAA"
						},
						"reference": {
							"$ref": "QrQE85ckl0y4ZPsBLXiw/AAA"
						},
						"visibility": "public",
						"navigable": true,
						"aggregation": "none",
						"multiplicity": "1",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"visibility": "public",
					"isDerived": false
				},
				{
					"_type": "UMLAssociation",
					"_id": "mkWe9GcZEUSDpMpsJu1ziwAA",
					"_parent": {
						"$ref": "dtXTJ32c+0mt+5Sdfb8UsAAA"
					},
					"end1": {
						"_type": "UMLAssociationEnd",
						"_id": "fGT1hK4/UkmL7anlvi5XrwAA",
						"_parent": {
							"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
						},
						"reference": {
							"$ref": "lT+6QUeWG0CcTrPmpP1MtgAA"
						},
						"visibility": "public",
						"navigable": false,
						"aggregation": "none",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"end2": {
						"_type": "UMLAssociationEnd",
						"_id": "SRIg66ms3kuN4FCr+voJpgAA",
						"_parent": {
							"$ref": "mkWe9GcZEUSDpMpsJu1ziwAA"
						},
						"reference": {
							"$ref": "gqHwusSe6kWsUfqfqSf1gwAA"
						},
						"visibility": "public",
						"navigable": true,
						"aggregation": "none",
						"multiplicity": "1",
						"isReadOnly": false,
						"isOrdered": false,
						"isUnique": false,
						"isDerived": false,
						"isID": false
					},
					"visibility": "public",
					"isDerived": false
				}
			],
			"stereotype": "designModel",
			"visibility": "public"
		}
	],
	"tags": [
		{
			"_type": "Tag",
			"_id": "AAAAAAFYr6NzOivCsIk=",
			"_parent": {
				"$ref": "pPbDHq55wUe0o77ySi6hLgAA"
			},
			"name": "database",
			"kind": "string",
			"value": "minipong01",
			"checked": false,
			"number": 0
		}
	],
	"author": "Wolfgang Kowarschick",
	"company": "Hochschule Augsburg",
	"copyright": "2016"
}