<?xml version="1.0" encoding="US-ASCII"?>

<!-- DTD for the XMLBIF 0.3 format -->
<!DOCTYPE BIF [
<!ELEMENT BIF ( NETWORK )*>
   <!ATTLIST BIF VERSION CDATA #REQUIRED>
<!ELEMENT NETWORK ( NAME, ( PROPERTY | VARIABLE | DEFINITION )* )>
<!ELEMENT NAME (#PCDATA)>
<!ELEMENT VARIABLE ( NAME, ( OUTCOME |  PROPERTY )* ) >
<!ATTLIST VARIABLE TYPE (nature|decision|utility) "nature">
<!ELEMENT OUTCOME (#PCDATA)>
<!ELEMENT DEFINITION ( FOR | GIVEN | TABLE | PROPERTY )* >
<!ELEMENT FOR (#PCDATA)>
<!ELEMENT GIVEN (#PCDATA)>
<!ELEMENT TABLE (#PCDATA)>
<!ELEMENT PROPERTY (#PCDATA)>
]>

<BIF VERSION="0.3">
<NETWORK>

<VARIABLE TYPE="nature">
   <NAME>X2</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-188.73726, -52.273014)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>X1</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-48.075325, -52.273014)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>X0</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (115.396645, -52.273014)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Y1</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-29.06696, 36.115902)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Y0</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (145.81004, 51.322594)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Z2</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-192.53893, 179.62909)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Z1</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-48.075325, 188.18285)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Z0</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (107.79329, 172.02574)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Borrow2</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (-97.497086, 131.15775)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Borrow1</NAME>
   <OUTCOME>0</OUTCOME>
   <OUTCOME>1</OUTCOME>
   <PROPERTY>position = (24.156473, 126.40565)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Knows what to borrow</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (-91.0, -165.0)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Knows Subtraction</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (149.61171, -188.18285)</PROPERTY>
</VARIABLE>

<VARIABLE TYPE="nature">
   <NAME>Knows to borrow</NAME>
   <OUTCOME>T</OUTCOME>
   <OUTCOME>F</OUTCOME>
   <PROPERTY>position = (35.561493, -161.57114)</PROPERTY>
</VARIABLE>


<DEFINITION>
   <FOR>X2</FOR>
   <TABLE> 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>X1</FOR>
   <TABLE> 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>X0</FOR>
   <TABLE> 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Y1</FOR>
   <TABLE> 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Y0</FOR>
   <TABLE> 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Z2</FOR>
   <GIVEN>X2</GIVEN>
   <GIVEN>Borrow2</GIVEN>
   <GIVEN>Knows Subtraction</GIVEN>
   <TABLE> 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Z1</FOR>
   <GIVEN>X1</GIVEN>
   <GIVEN>Y1</GIVEN>
   <GIVEN>Borrow1</GIVEN>
   <GIVEN>Knows to borrow</GIVEN>
   <GIVEN>Knows Subtraction</GIVEN>
   <TABLE> 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.01 0.99 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Z0</FOR>
   <GIVEN>X0</GIVEN>
   <GIVEN>Y0</GIVEN>
   <GIVEN>Knows Subtraction</GIVEN>
   <GIVEN>Knows to borrow</GIVEN>
   <TABLE> 0.99 0.01 0.99 0.01 0.5 0.5 0.5 0.5 0.01 0.99 0.5 0.5 0.5 0.5 0.5 0.5 0.01 0.99 0.01 0.99 0.5 0.5 0.5 0.5 0.99 0.01 0.99 0.01 0.5 0.5 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Borrow2</FOR>
   <GIVEN>X1</GIVEN>
   <GIVEN>Y1</GIVEN>
   <GIVEN>Borrow1</GIVEN>
   <GIVEN>Knows what to borrow</GIVEN>
   <GIVEN>Knows Subtraction</GIVEN>
   <TABLE> 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.99 0.01 0.5 0.5 0.01 0.99 0.5 0.5 0.01 0.99 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Borrow1</FOR>
   <GIVEN>X0</GIVEN>
   <GIVEN>Y0</GIVEN>
   <GIVEN>Knows what to borrow</GIVEN>
   <GIVEN>Knows Subtraction</GIVEN>
   <TABLE> 0.99 0.01 0.5 0.5 0.8 0.2 0.5 0.5 0.01 0.99 0.5 0.5 0.5 0.5 0.5 0.5 0.99 0.01 0.5 0.5 0.8 0.2 0.5 0.5 0.99 0.01 0.5 0.5 0.8 0.2 0.5 0.5</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Knows what to borrow</FOR>
   <TABLE> 0.9 0.1</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Knows Subtraction</FOR>
   <TABLE> 0.99 0.01</TABLE>
</DEFINITION>

<DEFINITION>
   <FOR>Knows to borrow</FOR>
   <TABLE> 0.95 0.05</TABLE>
</DEFINITION>


</NETWORK>
</BIF>


