<?xml version="1.0" encoding="utf-8"?><structure><type>fa</type><automaton><state id="0" name="q0"><x>95</x><y>193</y><initial/></state><state id="1" name="q1"><x>314</x><y>34</y></state><state id="2" name="q2"><x>554</x><y>158</y><final/></state><state id="3" name="q3"><x>455</x><y>353</y><final/></state><state id="4" name="q4"><x>230</x><y>350</y></state><transition><from>0</from><to>2</to><read>a</read></transition><transition><from>0</from><to>4</to><read/></transition><transition><from>1</from><to>2</to><read>a</read></transition><transition><from>1</from><to>4</to><read>b</read></transition><transition><from>2</from><to>3</to><read>b</read></transition><transition><from>3</from><to>1</to><read>b</read></transition><transition><from>3</from><to>3</to><read>a</read></transition><transition><from>4</from><to>1</to><read>a</read></transition><transition><from>4</from><to>2</to><read>b</read></transition><transition><from>4</from><to>3</to><read>b</read></transition></automaton><automaton><state id="0" name="q0"><x>53.5</x><y>59.5</y><initial/><final/></state><state id="1" name="q1"><x>236.5</x><y>53.5</y><final/></state><state id="2" name="q2"><x>441.5</x><y>45.5</y><final/></state><state id="3" name="q3"><x>441.5</x><y>321.5</y><final/></state><state id="4" name="q4"><x>257.5</x><y>185.5</y><final/></state><state id="5" name="q5"><x>58.5</x><y>302.5</y></state><transition><from>0</from><to>1</to><read>b</read></transition><transition><from>0</from><to>5</to><read>a</read></transition><transition><from>1</from><to>0</to><read>b</read></transition><transition><from>1</from><to>1</to><read>a</read></transition><transition><from>2</from><to>3</to><read>b</read></transition><transition><from>2</from><to>1</to><read>a</read></transition><transition><from>3</from><to>2</to><read>b</read></transition><transition><from>3</from><to>5</to><read>a</read></transition><transition><from>4</from><to>3</to><read>b</read></transition><transition><from>4</from><to>1</to><read>a</read></transition><transition><from>5</from><to>5</to><read>a</read></transition><transition><from>5</from><to>4</to><read>b</read></transition></automaton><automaton><state id="0" name="q0"><x>111.5</x><y>34.5</y><initial/></state><state id="1" name="q1"><x>399.5</x><y>32.5</y></state><state id="2" name="q2"><x>180.5</x><y>142.5</y></state><state id="3" name="q3"><x>402.5</x><y>146.5</y><final/></state><state id="4" name="q4"><x>281.5</x><y>212.5</y></state><state id="5" name="q5"><x>435.5</x><y>309.5</y></state><state id="6" name="q6"><x>190.5</x><y>274.5</y></state><state id="7" name="q7"><x>221.5</x><y>359.5</y><final/></state><state id="8" name="q8"><x>42.5</x><y>208.5</y></state><transition><from>0</from><to>8</to><read>b</read></transition><transition><from>0</from><to>2</to><read>a</read></transition><transition><from>1</from><to>3</to><read>a</read></transition><transition><from>1</from><to>0</to><read>b</read></transition><transition><from>2</from><to>6</to><read>a</read></transition><transition><from>2</from><to>3</to><read>b</read></transition><transition><from>3</from><to>5</to><read>b</read></transition><transition><from>3</from><to>1</to><read>a</read></transition><transition><from>4</from><to>2</to><read>a</read></transition><transition><from>5</from><to>4</to><read>b</read></transition><transition><from>5</from><to>3</to><read>a</read></transition><transition><from>6</from><to>6</to><read>a</read></transition><transition><from>6</from><to>7</to><read>b</read></transition><transition><from>7</from><to>6</to><read>b</read></transition><transition><from>7</from><to>4</to><read>a</read></transition><transition><from>8</from><to>2</to><read>b</read></transition><transition><from>8</from><to>7</to><read>a</read></transition></automaton><automaton><state id="10">
		<x>89.0</x>
		<y>242.0</y>
	</state>
	<state id="7">
		<x>469.0</x>
		<y>228.0</y>
	</state>
	<state id="1">
		<x>174.0</x>
		<y>47.0</y>
	</state>
	<state id="6">
		<x>359.0</x>
		<y>151.0</y>
	</state>
	<state id="11">
		<x>321.0</x>
		<y>258.0</y>
		<final />
	</state>
	<state id="2">
		<x>97.0</x>
		<y>152.0</y>
	</state>
	<state id="8">
		<x>273.0</x>
		<y>183.0</y>
	</state>
	<state id="4">
		<x>421.0</x>
		<y>44.0</y>
	</state>
	<state id="0">
		<x>50.0</x>
		<y>74.0</y>
		<initial />
	</state>
	<state id="9">
		<x>198.0</x>
		<y>149.0</y>
	</state>
	<state id="5">
		<x>530.0</x>
		<y>144.0</y>
	</state>
	<state id="3">
		<x>290.0</x>
		<y>89.0</y>
		<final />
	</state>
	<!--The list of transitions.-->
	<transition>
		<from>1</from>
		<to>3</to>
		<read>b</read>
	</transition>
	<transition>
		<from>2</from>
		<to>9</to>
		<read>b</read>
	</transition>
	<transition>
		<from>0</from>
		<to>1</to>
		<read>a</read>
	</transition>
	<transition>
		<from>5</from>
		<to>7</to>
		<read>b</read>
	</transition>
	<transition>
		<from>9</from>
		<to>1</to>
		<read>a</read>
	</transition>
	<transition>
		<from>5</from>
		<to>4</to>
		<read>a</read>
	</transition>
	<transition>
		<from>4</from>
		<to>5</to>
		<read>a</read>
	</transition>
	<transition>
		<from>0</from>
		<to>2</to>
		<read>b</read>
	</transition>
	<transition>
		<from>3</from>
		<to>6</to>
		<read>b</read>
	</transition>
	<transition>
		<from>9</from>
		<to>3</to>
		<read>b</read>
	</transition>
	<transition>
		<from>4</from>
		<to>3</to>
		<read>b</read>
	</transition>
	<transition>
		<from>6</from>
		<to>7</to>
		<read>b</read>
	</transition>
	<transition>
		<from>11</from>
		<to>6</to>
		<read>a</read>
	</transition>
	<transition>
		<from>3</from>
		<to>4</to>
		<read>a</read>
	</transition>
	<transition>
		<from>8</from>
		<to>10</to>
		<read>b</read>
	</transition>
	<transition>
		<from>11</from>
		<to>7</to>
		<read>b</read>
	</transition>
	<transition>
		<from>7</from>
		<to>11</to>
		<read>b</read>
	</transition>
	<transition>
		<from>1</from>
		<to>2</to>
		<read>a</read>
	</transition>
	<transition>
		<from>6</from>
		<to>6</to>
		<read>a</read>
	</transition>
	<transition>
		<from>7</from>
		<to>6</to>
		<read>a</read>
	</transition>
	<transition>
		<from>8</from>
		<to>6</to>
		<read>a</read>
	</transition>
	<transition>
		<from>2</from>
		<to>10</to>
		<read>a</read>
	</transition>
	<transition>
		<from>10</from>
		<to>8</to>
		<read>a</read>
	</transition>
	<transition>
		<from>10</from>
		<to>11</to>
		<read>b</read>
	</transition></automaton><automaton><state id="10">
		<x>232.0</x>
		<y>200.0</y>
	</state>
	<state id="11">
		<x>387.0</x>
		<y>154.0</y>
		<final />
	</state>
	<state id="5">
		<x>477.0</x>
		<y>131.0</y>
	</state>
	<state id="1">
		<x>216.0</x>
		<y>39.0</y>
	</state>
	<state id="8">
		<x>379.0</x>
		<y>55.0</y>
	</state>
	<state id="0">
		<x>51.0</x>
		<y>68.0</y>
		<initial />
	</state>
	<state id="4">
		<x>352.0</x>
		<y>274.0</y>
	</state>
	<state id="3">
		<x>29.0</x>
		<y>263.0</y>
	</state>
	<state id="7">
		<x>486.0</x>
		<y>265.0</y>
	</state>
	<state id="2">
		<x>94.0</x>
		<y>196.0</y>
	</state>
	<state id="9">
		<x>153.0</x>
		<y>274.0</y>
		<final />
	</state>
	<state id="6">
		<x>500.0</x>
		<y>41.0</y>
	</state>
	<!--The list of transitions.-->
	<transition>
		<from>1</from>
		<to>8</to>
		<read>b</read>
	</transition>
	<transition>
		<from>8</from>
		<to>1</to>
		<read>b</read>
	</transition>
	<transition>
		<from>11</from>
		<to>4</to>
		<read>b</read>
	</transition>
	<transition>
		<from>6</from>
		<to>11</to>
		<read>a</read>
	</transition>
	<transition>
		<from>2</from>
		<to>10</to>
		<read>a</read>
	</transition>
	<transition>
		<from>5</from>
		<to>6</to>
		<read>a</read>
	</transition>
	<transition>
		<from>7</from>
		<to>5</to>
		<read>a</read>
	</transition>
	<transition>
		<from>9</from>
		<to>10</to>
		<read>a</read>
	</transition>
	<transition>
		<from>2</from>
		<to>1</to>
		<read>b</read>
	</transition>
	<transition>
		<from>0</from>
		<to>1</to>
		<read>a</read>
	</transition>
	<transition>
		<from>10</from>
		<to>1</to>
		<read>a</read>
	</transition>
	<transition>
		<from>0</from>
		<to>3</to>
		<read>b</read>
	</transition>
	<transition>
		<from>9</from>
		<to>4</to>
		<read>b</read>
	</transition>
	<transition>
		<from>8</from>
		<to>10</to>
		<read>a</read>
	</transition>
	<transition>
		<from>3</from>
		<to>2</to>
		<read>b</read>
	</transition>
	<transition>
		<from>3</from>
		<to>9</to>
		<read>a</read>
	</transition>
	<transition>
		<from>6</from>
		<to>8</to>
		<read>b</read>
	</transition>
	<transition>
		<from>11</from>
		<to>10</to>
		<read>a</read>
	</transition>
	<transition>
		<from>4</from>
		<to>11</to>
		<read>a</read>
	</transition>
	<transition>
		<from>1</from>
		<to>2</to>
		<read>a</read>
	</transition>
	<transition>
		<from>7</from>
		<to>11</to>
		<read>b</read>
	</transition>
	<transition>
		<from>4</from>
		<to>7</to>
		<read>b</read>
	</transition>
	<transition>
		<from>10</from>
		<to>8</to>
		<read>b</read>
	</transition>
	<transition>
		<from>5</from>
		<to>7</to>
		<read>b</read>
	</transition></automaton></structure>