<?xml version="1.0" encoding="UTF-8"?>
<definitions>
</definitions>
<states>
  <state name="q1">
    <satisfies name="zero_mod_3"/>
  </state>
  <state name="q2">
    <satisfies name="tree_3n_plus_2"/>
  </state>
  <state name="q3">
    <satisfies name="tree_3n_plus_2"/>
    <satisfies name="two_mod_3"/>
    <satisfies name="zero_mod_3"/>
    <satisfies name="one_mod_3"/>
  </state>
  <state name="q4"/>
</states>
<tables>
  <table name="o" arity="0">
    <entry result="q1"></entry>
  </table>
  <table name="s" arity="1">
    <entry result="q3"><arg name="q1"/></entry>
    <entry result="q3"><arg name="q2"/></entry>
    <entry result="q3"><arg name="q4"/></entry>
    <entry result="q3"><arg name="q3"/></entry>
  </table>
  <table name="nil" arity="0">
    <entry result="q2"></entry>
  </table>
  <table name="cons" arity="2">
    <entry result="q2"><arg name="q1"/><arg name="q1"/></entry>
    <entry result="q2"><arg name="q2"/><arg name="q1"/></entry>
    <entry result="q2"><arg name="q3"/><arg name="q2"/></entry>
    <entry result="q2"><arg name="q1"/><arg name="q4"/></entry>
    <entry result="q2"><arg name="q3"/><arg name="q3"/></entry>
    <entry result="q2"><arg name="q4"/><arg name="q2"/></entry>
    <entry result="q2"><arg name="q4"/><arg name="q1"/></entry>
    <entry result="q2"><arg name="q2"/><arg name="q4"/></entry>
    <entry result="q2"><arg name="q4"/><arg name="q3"/></entry>
    <entry result="q2"><arg name="q2"/><arg name="q3"/></entry>
    <entry result="q2"><arg name="q3"/><arg name="q1"/></entry>
    <entry result="q2"><arg name="q2"/><arg name="q2"/></entry>
    <entry result="q2"><arg name="q4"/><arg name="q4"/></entry>
    <entry result="q2"><arg name="q3"/><arg name="q4"/></entry>
    <entry result="q2"><arg name="q1"/><arg name="q2"/></entry>
    <entry result="q2"><arg name="q1"/><arg name="q3"/></entry>
  </table>
</tables>
