<?xml version="1.0" encoding="UTF-8"?><structure><type>pda</type><automaton><state id="0" name="q0"><x>103.203125</x><y>114.203125</y><initial/></state><state id="1" name="q1"><x>219.203125</x><y>107.203125</y></state><state id="2" name="q2"><x>330.203125</x><y>108.203125</y></state><state id="3" name="q3"><x>457.203125</x><y>109.203125</y></state><state id="4" name="q4"><x>628.203125</x><y>121.203125</y><final/></state><transition><from>0</from><to>1</to><read>a</read><pop>Z</pop><push>aZ</push></transition><transition><from>1</from><to>2</to><read>b</read><pop>a</pop><push>bb</push></transition><transition><from>2</from><to>3</to><read>b</read><pop>b</pop><push/></transition><transition><from>3</from><to>4</to><read>b</read><pop>b</pop><push/></transition></automaton></structure>