Creator	"yFiles"
Version	"2.16"
graph
[
	hierarchic	1
	label	""
	directed	1
	node
	[
		id	0
		label	"true"
		graphics
		[
			x	832.9
			y	301.0
			w	41.800000000000004
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"true"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	1
		label	"false"
		graphics
		[
			x	740.3
			y	301.0
			w	50.6
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"false"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	2
		label	"null"
		graphics
		[
			x	401.79999999999995
			y	546.0
			w	184.8
			h	54.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Statechart class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	3
		label	"null"
		graphics
		[
			x	379.29999999999995
			y	356.0
			w	107.80000000000001
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Region class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	4
		label	"null"
		graphics
		[
			x	522.8
			y	412.0
			w	146.3
			h	68.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Pseudostate class
	Vertex class
	Entry class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	5
		label	"null"
		graphics
		[
			x	413.8
			y	251.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	6
		label	"null"
		graphics
		[
			x	300.8
			y	148.0
			w	184.8
			h	82.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Vertex class
	State class
	RegularState class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	7
		label	"null"
		graphics
		[
			x	168.8
			y	34.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	8
		label	"null"
		graphics
		[
			x	233.3
			y	231.0
			w	184.8
			h	82.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Vertex class
	State class
	RegularState class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	9
		label	"null"
		graphics
		[
			x	309.3
			y	20.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	10
		label	"null"
		graphics
		[
			x	100.80000000000001
			y	148.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	11
		label	"null"
		graphics
		[
			x	69.30000000000001
			y	395.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	12
		label	"null"
		graphics
		[
			x	428.3
			y	86.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	13
		label	"null"
		graphics
		[
			x	231.8
			y	355.0
			w	184.8
			h	82.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Vertex class
	State class
	RegularState class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	14
		label	"null"
		graphics
		[
			x	298.3
			y	420.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	15
		label	"null"
		graphics
		[
			x	194.8
			y	502.0
			w	184.8
			h	82.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Vertex class
	State class
	RegularState class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	16
		label	"null"
		graphics
		[
			x	100.30000000000001
			y	293.0
			w	138.60000000000002
			h	40.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Transition class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	17
		label	"null"
		graphics
		[
			x	576.8
			y	240.0
			w	184.8
			h	82.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"null"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	Vertex class
	State class
	RegularState class
	CompositeElement class
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	18
		label	"New Integers"
		graphics
		[
			x	771.1
			y	13.0
			w	112.2
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"New Integers"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	19
		label	"New Reals"
		graphics
		[
			x	757.9
			y	229.0
			w	85.80000000000001
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"New Reals"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	20
		label	"New Strings"
		graphics
		[
			x	766.7
			y	85.0
			w	103.4
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"New Strings"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	node
	[
		id	21
		label	"New Objects"
		graphics
		[
			x	766.7
			y	157.0
			w	103.4
			h	26.0
			type	"rectangle"
			fill	"#FFFFFF"
			fill2	"#FFFFFF"
			outline	"#000000"
		]
		LabelGraphics
		[
			text	"New Objects"
			outline	"#000000"
			fill	"#FFFFFF"
			fontSize	16
			fontName	"Monospace"
			autoSizePolicy	"node_width"
			anchor	"t"
			borderDistance	0.0
		]
		LabelGraphics
		[
			text	"
	"
			fontSize	14
			fontName	"Consolas"
			alignment	"left"
			anchor	"tl"
			borderDistance	6.0
		]
	]
	edge
	[
		source	6
		target	5
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.08032754342061545
			xTarget	0.10710339122748727
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	9
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.05423173536706701
			xTarget	-0.07230898048942268
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	16
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.09234115756532207
			xTarget	0.12312154342042972
			yTarget	2.2204460492503132E-17
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	7
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.056939112509911224
			xTarget	-0.07591881667988142
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	14
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.05722329714569708
			xTarget	0.07629772952759617
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	10
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.06403825675031763
			xTarget	-0.08538434233375684
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	15
		target	11
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.0834051215952323
			xTarget	-0.11120682879364265
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	12
		label	"incomingTransitions reference Vertex"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.07517258170522839
			xTarget	-0.10023010894030451
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	5
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.08254431858692544
			xTarget	-0.08713011406397665
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	7
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.08278902855860473
			xTarget	-0.11038537141147287
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	9
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.05751572768585484
			xTarget	-0.07668763691447326
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	10
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.10193355770368039
			xTarget	-0.13591141027157383
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	11
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07652670792062202
			xTarget	0.10203561056082977
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	12
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.09068594476953899
			xTarget	-0.1209145930260524
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	14
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07741474435720763
			xTarget	0.10321965914294319
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	15
		target	16
		label	"outgoingTransitions reference Vertex"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.059386954907372135
			xTarget	-0.07918260654316284
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	281.1015625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	6
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	13
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	15
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	17
		label	"vertices reference Region"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	196.431640625
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	6
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.10710339122748727
			xTarget	-0.08032754342061535
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	8
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07591881667988142
			xTarget	0.056939112509911224
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	6
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07230898048942265
			xTarget	0.05423173536706701
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	13
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.08538434233375643
			xTarget	0.06403825675031717
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	15
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.11120682879364265
			xTarget	0.0834051215952323
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	12
		target	17
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.10023010894030451
			xTarget	0.07517258170522809
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	8
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.0762977295275961
			xTarget	-0.05722329714569708
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	16
		target	6
		label	"target reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.12312154342042972
			xTarget	-0.09234115756532262
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	4
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.08713011406397665
			xTarget	0.08254431858692544
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	6
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.11038537141147287
			xTarget	0.08278902855860439
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	8
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07668763691447301
			xTarget	0.05751572768585469
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	8
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.13591141027157425
			xTarget	0.10193355770368054
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	8
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.10203561056082977
			xTarget	-0.07652670792062218
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	12
		target	8
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.12091459302605259
			xTarget	0.0906859447695393
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	13
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	-0.10321965914294329
			ySource	-7.105427357601002E-16
			xTarget	-0.07741474435720733
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	16
		target	15
		label	"source reference Transition"
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		edgeAnchor
		[
			xSource	0.07918260654316284
			xTarget	0.059386954907372135
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	211.826171875
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	3
		label	"regions reference CompositeElement"
		graphics
		[
			width	3
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			contentWidth	265.70703125
			contentHeight	18.0
			model	"six_pos"
			position	"thead"
		]
	]
]