{
	"nodes":[
		{"id":"1dc499aa1f34c723","x":-118,"y":180,"width":121,"height":53,"type":"text","text":"q1, q6"},
		{"id":"feaea662e9059394","x":206,"y":-100,"width":58,"height":50,"type":"text","text":""},
		{"id":"a494bd3c4113aaa4","x":3,"y":-110,"width":324,"height":60,"color":"3","type":"text","text":"q0, q1, q2, q3, q4, q5, q6, q7"},
		{"id":"7692fef23d3bfa09","x":-159,"y":300,"width":201,"height":50,"color":"3","type":"text","text":"q2, q4, q6, q7"},
		{"id":"a35e194f5d842081","x":-140,"y":400,"width":163,"height":50,"color":"3","type":"text","text":"q3, q5, q7"},
		{"id":"d7d5f1525dcd12dd","x":-118,"y":60,"width":124,"height":51,"type":"text","text":"q3, q5"},
		{"id":"14167e407de336c7","x":-340,"y":155,"width":122,"height":50,"type":"text","text":"TRAP"},
		{"id":"3279cd418c898f50","x":-444,"y":-53,"width":124,"height":55,"type":"text","text":"q0, q1"},
		{"id":"72f1a1a3f3200876","x":-642,"y":-50,"width":125,"height":50,"type":"text","text":"Start"},
		{"id":"7b948d827e521716","x":-267,"y":-200,"width":273,"height":57,"type":"text","text":"q0, q1, q2, q4, q6"}
	],
	"edges":[
		{"id":"a8eb6f5591654c83","fromNode":"72f1a1a3f3200876","fromSide":"right","toNode":"3279cd418c898f50","toSide":"left"},
		{"id":"b499110ac0bcd60a","fromNode":"3279cd418c898f50","fromSide":"top","toNode":"7b948d827e521716","toSide":"left","label":"b"},
		{"id":"0dda891cf74a44a0","fromNode":"7b948d827e521716","fromSide":"right","toNode":"a494bd3c4113aaa4","toSide":"top","label":"b"},
		{"id":"d68b5988c343cecb","fromNode":"a494bd3c4113aaa4","fromSide":"bottom","toNode":"d7d5f1525dcd12dd","toSide":"right","label":"a"},
		{"id":"d9bc9492c89570aa","fromNode":"a494bd3c4113aaa4","fromSide":"bottom","toNode":"feaea662e9059394","toSide":"bottom","label":"b"},
		{"id":"0775a21df0c7759e","fromNode":"7b948d827e521716","fromSide":"bottom","toNode":"d7d5f1525dcd12dd","toSide":"top","label":"a"},
		{"id":"e51e9986c007ad91","fromNode":"3279cd418c898f50","fromSide":"bottom","toNode":"14167e407de336c7","toSide":"left","label":"a"},
		{"id":"e38385f84a72b46a","fromNode":"d7d5f1525dcd12dd","fromSide":"left","toNode":"14167e407de336c7","toSide":"top","label":"a"},
		{"id":"230d886d003dfe42","fromNode":"1dc499aa1f34c723","fromSide":"left","toNode":"14167e407de336c7","toSide":"right","label":"a"},
		{"id":"319bca30a4227e45","fromNode":"1dc499aa1f34c723","fromSide":"bottom","toNode":"7692fef23d3bfa09","toSide":"top","label":"b"},
		{"id":"19b9540ab0744e41","fromNode":"7692fef23d3bfa09","fromSide":"right","toNode":"d7d5f1525dcd12dd","toSide":"right","label":"a"},
		{"id":"8e82c65c85bea92a","fromNode":"d7d5f1525dcd12dd","fromSide":"bottom","toNode":"1dc499aa1f34c723","toSide":"top","label":"b"},
		{"id":"3dc3e33f091fd315","fromNode":"7692fef23d3bfa09","fromSide":"bottom","toNode":"a35e194f5d842081","toSide":"top","label":"b"},
		{"id":"d796368c094a97e9","fromNode":"a35e194f5d842081","fromSide":"left","toNode":"14167e407de336c7","toSide":"bottom","label":"a"},
		{"id":"c5e849153b7bb530","fromNode":"a35e194f5d842081","fromSide":"left","toNode":"1dc499aa1f34c723","toSide":"left","label":"b"}
	]
}