graph
[
	node
		[
			id	0
			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	1
			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	2
			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	"
	Statechart class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	3
			graphics
			[
				w	100.10000000000001
				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	"
	State class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	4
			graphics
			[
				w	100.10000000000001
				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	"
	State class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	5
			graphics
			[
				w	100.10000000000001
				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	"
	State class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	6
			graphics
			[
				w	100.10000000000001
				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	"
	State class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	7
			graphics
			[
				w	100.10000000000001
				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	"
	State class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	8
			graphics
			[
				w	100.10000000000001
				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	"
	Entry class
	"
				fontSize	14
				fontName	"Consolas"
				alignment	"left"
				anchor	"tl"
				borderDistance	6
			]
		]
	
	node
		[
			id	9
			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	10
			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	11
			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	12
			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	3
		target	4
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	3
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	5
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	6
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	4
		target	7
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	5
		target	4
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	7
		target	3
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"next reference State"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	8
		target	3
		graphics
		[
			fill	"#000000"
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"entry reference Entry"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	3
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"state reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	4
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"state reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	5
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"state reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	6
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"state reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	7
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"state reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
	edge
	[
		source	2
		target	8
		graphics
		[
			fill	"#000000"
			width	3
			targetArrow	"standard"
		]
		LabelGraphics
		[
			text	"entry reference Statechart"
			fontSize	14
			fontName	"Consolas"
			configuration	"AutoFlippingLabel"
			model	"six_pos"
			position	"thead"
		]
	]
]