<?xml version="1.0" encoding="UTF-8"?>
<definitions>
</definitions>
<states>
  <state name="__inter_odd_and_two__mod__3">
    <satisfies name="__inter_odd_and_two__mod__3"/>
  </state>
  <state name="__inter_list__even_and_tree__3n__plus__2">
    <satisfies name="__inter_list__even_and_tree__3n__plus__2"/>
  </state>
  <state name="__inter_odd_and_one__mod__3">
    <satisfies name="__inter_odd_and_one__mod__3"/>
  </state>
  <state name="__inter_even_and_zero__mod__3">
    <satisfies name="__inter_even_and_zero__mod__3"/>
  </state>
  <state name="__inter_odd_and_zero__mod__3">
    <satisfies name="__inter_odd_and_zero__mod__3"/>
  </state>
  <state name="__inter_even_and_one__mod__3">
    <satisfies name="__inter_even_and_one__mod__3"/>
  </state>
  <state name="__inter_even_and_two__mod__3">
    <satisfies name="__inter_even_and_tree__3n__plus__2"/>
    <satisfies name="__inter_even_and_two__mod__3"/>
  </state>
  <state name="r">
    <satisfies name="r"/>
  </state>
  <state name="__all"/>
</states>
<tables>
  <table name="o" arity="0">
    <entry result="__inter_even_and_zero__mod__3"></entry>
  </table>
  <table name="s" arity="1">
    <entry result="__inter_even_and_one__mod__3"><arg name="__inter_odd_and_zero__mod__3"/></entry>
    <entry result="__inter_odd_and_two__mod__3"><arg name="__inter_even_and_one__mod__3"/></entry>
    <entry result="__inter_even_and_two__mod__3"><arg name="__inter_odd_and_one__mod__3"/></entry>
    <entry result="__inter_odd_and_one__mod__3"><arg name="__inter_even_and_zero__mod__3"/></entry>
    <entry result="__inter_even_and_zero__mod__3"><arg name="__inter_odd_and_two__mod__3"/></entry>
    <entry result="__inter_odd_and_zero__mod__3"><arg name="__inter_even_and_two__mod__3"/></entry>
  </table>
  <table name="nil" arity="0">
    <entry result="__inter_list__even_and_tree__3n__plus__2"></entry>
  </table>
  <table name="cons" arity="2">
    <entry result="__inter_list__even_and_tree__3n__plus__2"><arg name="__inter_list__even_and_tree__3n__plus__2"/><arg name="__inter_even_and_two__mod__3"/></entry>
  </table>
  <table name="#r" arity="2">
    <entry result="r"><arg name="__inter_list__even_and_tree__3n__plus__2"/><arg name="__inter_odd_and_two__mod__3"/></entry>
  </table>
</tables>
