<?xml version="1.0" ?>
<dd:tree type="Kronecker BDD" num_levels="4" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.stane-island.net/theLab/XML http://www.stane-island.net/theLab/XML/xmldd.xsd" xmlns:dd="http://www.stane-island.net/theLab/XML"> 
<dd:root terminal="0" id="0" level="0" rule="pDavio">
  <dd:next terminal="0" id="1" level="1" rule="pDavio">
   <dd:next terminal="0" id="2" level="2" rule="Shannon">
    <dd:next terminal="1" id="3" level="3" constant="0">
     <dd:next terminal="1" id="4" level="3" constant="1">
      <dd:next terminal="0" id="5" level="2" rule="Shannon">
       <dd:next terminal="0" id="6" level="1" rule="pDavio">
        <dd:next terminal="0" id="7" level="2" rule="Shannon">
         <dd:next terminal="0" id="8" level="2" rule="Shannon">
          <dd:parents point="6" variables="x2"/>
          <dd:children point="3" variables="x3_comp">
           <dd:next_child point="4" variables="x3"/>
          </dd:children>
         </dd:next>
         <dd:parents point="6" variables="1"/>
         <dd:children point="3" variables="x3_comp">
          <dd:next_child point="4" variables="x3"/>
         </dd:children>
        </dd:next>
        <dd:parents point="0" variables="x1"/>
        <dd:children point="7" variables="1">
         <dd:next_child point="8" variables="x2"/>
        </dd:children>
       </dd:next>
       <dd:parents point="1" variables="x2"/>
       <dd:children point="3" variables="x3_comp">
        <dd:next_child point="4" variables="x3"/>
       </dd:children>
      </dd:next>
      <dd:parents point="2" variables="x3">
       <dd:next_parent point="5" variables="x3">
        <dd:next_parent point="7" variables="x3">
         <dd:next_parent point="8" variables="x3"/>
        </dd:next_parent>
       </dd:next_parent>
      </dd:parents>
     </dd:next>
     <dd:parents point="2" variables="x3_comp">
      <dd:next_parent point="5" variables="x3_comp">
       <dd:next_parent point="7" variables="x3_comp">
        <dd:next_parent point="8" variables="x3_comp"/>
       </dd:next_parent>
      </dd:next_parent>
     </dd:parents>
    </dd:next>
    <dd:parents point="1" variables="1"/>
    <dd:children point="3" variables="x3_comp">
     <dd:next_child point="4" variables="x3"/>
    </dd:children>
   </dd:next>
   <dd:parents point="0" variables="1"/>
   <dd:children point="2" variables="1">
    <dd:next_child point="5" variables="x2"/>
   </dd:children>
  </dd:next>
  <dd:children point="1" variables="1">
   <dd:next_child point="6" variables="x1"/>
  </dd:children>
 </dd:root>
</dd:tree>
