<?xml version="1.0"?>
<structure>
	<type>fa</type>
	<state id="1">
		<x>10.0</x>
		<y>20.0</y>
		<initial/>
	</state>
	<state id="2">
		<x>20.0</x>
		<y>20.0</y>
	</state>
	<state id="3">
		<x>30.0</x>
		<y>20.0</y>
	</state>
	<state id="4">
		<x>40.0</x>
		<y>20.0</y>
		<final/>
	</state>
	<state id="5">
		<x>50.0</x>
		<y>20.0</y>
	</state>
	<state id="6">
		<x>60.0</x>
		<y>20.0</y>
		<final/>
	</state>
	<transition>
		<from>1</from>
		<to>2</to>
		<read/>
	</transition>
	<transition>
		<from>1</from>
		<to>4</to>
		<read/>
	</transition>
	<transition>
		<from>2</from>
		<to>3</to>
		<read>a</read>
	</transition>
	<transition>
		<from>3</from>
		<to>2</to>
		<read/>
	</transition>
	<transition>
		<from>3</from>
		<to>4</to>
		<read/>
	</transition>
	<transition>
		<from>4</from>
		<to>5</to>
		<read/>
	</transition>
	<transition>
		<from>6</from>
		<to>5</to>
		<read/>
	</transition>
	<transition>
		<from>5</from>
		<to>6</to>
		<read>b</read>
	</transition>
</structure>

