<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<structure>
	<type>fa</type>
	<automaton>
		<state id="1" name="q1">
			<x>30.0</x>
			<y>168.0</y>
			<initial/>
		</state>
		<state id="2" name="q2">
			<x>110.0</x>
			<y>214.0</y>
		</state>
		<state id="3" name="q3">
			<x>190.0</x>
			<y>168.0</y>
		</state>
		<state id="4" name="q4">
			<x>30.0</x>
			<y>76.0</y>
			<final/>
		</state>
		<state id="5" name="q5">
			<x>110.0</x>
			<y>30.0</y>
		</state>
		<state id="6" name="q6">
			<x>190.0</x>
			<y>76.0</y>
			<final/>
		</state>
		<transition>
			<from>1</from>
			<to>2</to>
			<read/>
		</transition>
		<transition>
			<from>6</from>
			<to>5</to>
			<read/>
		</transition>
		<transition>
			<from>3</from>
			<to>4</to>
			<read/>
		</transition>
		<transition>
			<from>5</from>
			<to>6</to>
			<read>b</read>
		</transition>
		<transition>
			<from>3</from>
			<to>2</to>
			<read/>
		</transition>
		<transition>
			<from>4</from>
			<to>5</to>
			<read/>
		</transition>
		<transition>
			<from>2</from>
			<to>3</to>
			<read>a</read>
		</transition>
		<transition>
			<from>1</from>
			<to>4</to>
			<read/>
		</transition>
	</automaton>
</structure>

