graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	7
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	16
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	17
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	18
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	19
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	20
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	21
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	22
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	23
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	24
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	25
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	26
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	27
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	28
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	29
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	30
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	31
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	32
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	33
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	34
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	35
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	36
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	37
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	38
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	39
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	40
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	41
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	42
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	43
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	44
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	45
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	46
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	47
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	48
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	49
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	50
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	51
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	52
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	53
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	54
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	55
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	5
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	10
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	12
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	15
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	18
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	16
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	19
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	21
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	28
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	29
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	30
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	31
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	22
		target	32
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	34
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	24
		target	33
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	22
		target	35
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	38
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	27
		target	40
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	27
		target	39
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	41
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	42
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	27
		target	43
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	24
		target	44
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	22
		target	46
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	48
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	45
		target	49
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	26
		target	50
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	12
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	15
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	16
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	18
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	19
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	21
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	23
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	25
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	28
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	29
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	30
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	31
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	32
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	26
		target	33
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	34
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	35
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	38
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	39
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	40
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	41
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	26
		target	42
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	43
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	44
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	46
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	48
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	14
		target	49
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	47
		target	50
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	13
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	14
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	17
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	20
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	22
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	24
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	26
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	27
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	36
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	37
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	45
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	47
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	51
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	4
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	12
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	15
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	18
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	16
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	19
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	21
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	28
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	29
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	30
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	31
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	32
		target	22
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	34
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	33
		target	24
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	22
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	38
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	40
		target	27
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	39
		target	27
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	41
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	42
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	43
		target	27
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	44
		target	24
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	46
		target	22
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	48
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	49
		target	45
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	50
		target	26
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	12
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	15
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	16
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	18
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	19
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	21
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	28
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	29
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	30
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	31
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	32
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	33
		target	26
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	34
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	38
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	39
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	40
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	41
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	42
		target	26
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	43
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	44
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	46
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	48
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	49
		target	14
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	50
		target	47
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	16
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	17
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	18
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	19
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	20
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	21
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	22
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	23
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	24
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	25
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	26
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	27
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	28
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	29
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	30
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	31
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	32
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	33
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	34
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	35
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	36
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	37
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	38
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	39
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	40
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	41
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	42
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	43
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	44
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	45
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	46
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	47
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	48
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	49
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	50
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	51
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	52
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	53
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	54
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	55
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	6
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	13
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	18
		target	21
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	22
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	26
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	17
		target	28
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	18
		target	29
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	18
		target	31
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	34
		target	36
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	34
		target	37
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	38
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	33
		target	40
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	39
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	42
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	32
		target	43
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	44
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	19
		target	45
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	46
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	47
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	48
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	49
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	50
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	33
		target	51
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	13
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	21
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	22
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	26
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	28
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	29
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	31
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	36
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	37
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	38
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	39
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	23
		target	40
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	42
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	43
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	25
		target	44
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	45
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	46
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	47
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	20
		target	48
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	49
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	35
		target	50
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	41
		target	51
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	12
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	14
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	15
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	16
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	17
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	18
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	19
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	20
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	23
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	24
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	25
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	27
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	30
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	32
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	33
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	34
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	35
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	41
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	4
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	21
		target	18
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	22
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	26
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	28
		target	17
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	29
		target	18
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	31
		target	18
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	36
		target	34
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	37
		target	34
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	38
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	40
		target	33
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	39
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	42
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	43
		target	32
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	44
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	45
		target	19
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	46
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	47
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	48
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	49
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	50
		target	10
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	51
		target	33
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	13
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	21
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	22
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	26
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	28
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	29
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	31
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	36
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	37
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	38
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	39
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	40
		target	23
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	42
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	43
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	44
		target	25
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	45
		target	35
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	46
		target	35
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	47
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	48
		target	20
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	49
		target	35
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	50
		target	35
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	51
		target	41
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	6
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	5
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	11
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	11
		target	10
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	146.3
				h	68
				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
	Exit class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	8
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	10
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	6
		target	4
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	10
		target	8
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]
graph
[
	node
		[
			id	0
			graphics
			[
				w	277.20000000000005
				h	82
				type	"rectangle"
				fill	"#FFFFFF"
				fill2	"#FFFFFF"
				outline	"#000000"
			]
			LabelGraphics
			[
				text	"o 1"
				outline	"#000000"
				fill	"#FFFFFF"
				fontSize	16
				fontName	"Monospace"
				autoSizePolicy	"node_width"
				anchor	"t"
				borderDistance	0.0
			]
			LabelGraphics
			[
				text	"
	Statechart class DefinedPart
	CompositeElement class DefinedPart
	Statechart class
	CompositeElement class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	1
			graphics
			[
				w	41.800000000000004
				h	26
				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
			]
		]
	
	node
		[
			id	2
			graphics
			[
				w	50.6
				h	26
				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
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	107.80000000000001
				h	40
				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
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	146.3
				h	68
				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
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	154.0
				h	68
				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
	RegularState class
	FinalState class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			graphics
			[
				w	138.60000000000002
				h	40
				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
			]
		]
	
	node
		[
			id	10
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	11
			graphics
			[
				w	292.6
				h	96
				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
	CompositeElement class UndefinedPart
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	12
			graphics
			[
				w	112.2
				h	26
				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
			]
		]
	
	node
		[
			id	13
			graphics
			[
				w	85.80000000000001
				h	26
				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
			]
		]
	
	node
		[
			id	14
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	
	node
		[
			id	15
			graphics
			[
				w	103.4
				h	26
				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
			]
		]
	edge
	[
		source	7
		target	9
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"incomingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	9
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"outgoingTransitions reference Vertex"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	10
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	3
		target	11
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"vertices reference Region"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"target reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	9
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"source reference Transition"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	0
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]