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	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	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	177.10000000000002
				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
	Synchronization class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			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	8
			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	9
			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	10
			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	4
		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	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"
		]
	]
	edge
	[
		source	0
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"regions reference CompositeElement"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]