<?xml version="1.0" encoding="UTF-8"?>
<fsm>
<alphabet>
    <symbol value='0'/>
    <symbol value='1'/>
</alphabet>
<states>
    <state id='3' label='z4' x='94.0' y='-133.0' initial='false' final='true'/>
    <state id='2' label='z2' x='-129.0' y='8.0' initial='false' final='false'/>
    <state id='1' label='z3' x='48.0' y='-29.0' initial='false' final='false'/>
    <state id='0' label='z0' x='-202.0' y='-131.0' initial='true' final='false'/>
    <state id='4' label='z1' x='-45.0' y='-132.0' initial='false' final='false'/>
</states>
<transitions>
    <transition from='3' to='3' symbol='0'/>
    <transition from='3' to='3' symbol='1'/>
    <transition from='2' to='1' symbol='0'/>
    <transition from='2' to='2' symbol='1'/>
    <transition from='1' to='3' symbol='0'/>
    <transition from='1' to='0' symbol='1'/>
    <transition from='0' to='4' symbol='0'/>
    <transition from='0' to='2' symbol='1'/>
    <transition from='4' to='3' symbol='0'/>
    <transition from='4' to='2' symbol='1'/>
</transitions>
</fsm>
