<?xml version="1.0" encoding="UTF-8" standalone="no"?><?xml-stylesheet type="text/xsl" href="../lib/xsl/synan.xsl"?><synan><node label="source"><node label="prog"><node label="defn"><token kind="TYP" lexeme="typ"><location begcolumn="1" begline="1" endcolumn="3" endline="1"/></token><token kind="ID" lexeme="b"><location begcolumn="5" begline="1" endcolumn="5" endline="1"/></token><token kind="EQUALS" lexeme="="><location begcolumn="7" begline="1" endcolumn="7" endline="1"/></token><node label="type"><token kind="BOOL" lexeme="bool"><location begcolumn="9" begline="1" endcolumn="12" endline="1"/></token></node></node><node label="defn"><token kind="FUN" lexeme="fun"><location begcolumn="1" begline="2" endcolumn="3" endline="2"/></token><token kind="ID" lexeme="main"><location begcolumn="5" begline="2" endcolumn="8" endline="2"/></token><token kind="LBRACKET" lexeme="("><location begcolumn="9" begline="2" endcolumn="9" endline="2"/></token><token kind="RBRACKET" lexeme=")"><location begcolumn="10" begline="2" endcolumn="10" endline="2"/></token><token kind="COLON" lexeme=":"><location begcolumn="12" begline="2" endcolumn="12" endline="2"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="14" begline="2" endcolumn="14" endline="2"/></token></node><token kind="EQUALS" lexeme="="><location begcolumn="16" begline="2" endcolumn="16" endline="2"/></token><node label="expr"><token kind="LET" lexeme="let"><location begcolumn="5" begline="3" endcolumn="7" endline="3"/></token><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="9" begline="3" endcolumn="11" endline="3"/></token><token kind="ID" lexeme="b1"><location begcolumn="13" begline="3" endcolumn="14" endline="3"/></token><token kind="COLON" lexeme=":"><location begcolumn="16" begline="3" endcolumn="16" endline="3"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="18" begline="3" endcolumn="18" endline="3"/></token></node></node><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="20" begline="3" endcolumn="22" endline="3"/></token><token kind="ID" lexeme="b2"><location begcolumn="24" begline="3" endcolumn="25" endline="3"/></token><token kind="COLON" lexeme=":"><location begcolumn="27" begline="3" endcolumn="27" endline="3"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="29" begline="3" endcolumn="29" endline="3"/></token></node></node><token kind="IN" lexeme="in"><location begcolumn="31" begline="3" endcolumn="32" endline="3"/></token><node label="expr"><token kind="IF" lexeme="if"><location begcolumn="9" begline="4" endcolumn="10" endline="4"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="12" begline="4" endcolumn="13" endline="4"/></token></node><token kind="AND" lexeme="and"><location begcolumn="15" begline="4" endcolumn="17" endline="4"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="19" begline="4" endcolumn="20" endline="4"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="22" begline="4" endcolumn="23" endline="4"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="25" begline="4" endcolumn="26" endline="4"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="28" begline="4" endcolumn="29" endline="4"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="31" begline="4" endcolumn="32" endline="4"/></token></node></node><token kind="THEN" lexeme="then"><location begcolumn="34" begline="4" endcolumn="37" endline="4"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="13" begline="5" endcolumn="14" endline="5"/></token></node><token kind="AND" lexeme="and"><location begcolumn="16" begline="5" endcolumn="18" endline="5"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="20" begline="5" endcolumn="21" endline="5"/></token></node></node><token kind="AND" lexeme="and"><location begcolumn="23" begline="5" endcolumn="25" endline="5"/></token><node label="expr"><token kind="TRUE" lexeme="true"><location begcolumn="27" begline="5" endcolumn="30" endline="5"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="32" begline="5" endcolumn="33" endline="5"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="35" begline="5" endcolumn="39" endline="5"/></token></node></node><token kind="ELSE" lexeme="else"><location begcolumn="9" begline="6" endcolumn="12" endline="6"/></token><node label="expr"><token kind="LET" lexeme="let"><location begcolumn="13" begline="7" endcolumn="15" endline="7"/></token><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="17" begline="7" endcolumn="19" endline="7"/></token><token kind="ID" lexeme="b1"><location begcolumn="21" begline="7" endcolumn="22" endline="7"/></token><token kind="COLON" lexeme=":"><location begcolumn="24" begline="7" endcolumn="24" endline="7"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="26" begline="7" endcolumn="26" endline="7"/></token></node></node><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="28" begline="7" endcolumn="30" endline="7"/></token><token kind="ID" lexeme="b2"><location begcolumn="32" begline="7" endcolumn="33" endline="7"/></token><token kind="COLON" lexeme=":"><location begcolumn="35" begline="7" endcolumn="35" endline="7"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="37" begline="7" endcolumn="37" endline="7"/></token></node></node><token kind="IN" lexeme="in"><location begcolumn="39" begline="7" endcolumn="40" endline="7"/></token><node label="expr"><token kind="IF" lexeme="if"><location begcolumn="17" begline="8" endcolumn="18" endline="8"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="20" begline="8" endcolumn="21" endline="8"/></token></node><token kind="AND" lexeme="and"><location begcolumn="23" begline="8" endcolumn="25" endline="8"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="27" begline="8" endcolumn="28" endline="8"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="30" begline="8" endcolumn="31" endline="8"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="33" begline="8" endcolumn="34" endline="8"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="36" begline="8" endcolumn="37" endline="8"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="39" begline="8" endcolumn="40" endline="8"/></token></node></node><token kind="THEN" lexeme="then"><location begcolumn="42" begline="8" endcolumn="45" endline="8"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="21" begline="9" endcolumn="22" endline="9"/></token></node><token kind="AND" lexeme="and"><location begcolumn="24" begline="9" endcolumn="26" endline="9"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="28" begline="9" endcolumn="29" endline="9"/></token></node></node><token kind="AND" lexeme="and"><location begcolumn="31" begline="9" endcolumn="33" endline="9"/></token><node label="expr"><token kind="TRUE" lexeme="true"><location begcolumn="35" begline="9" endcolumn="38" endline="9"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="40" begline="9" endcolumn="41" endline="9"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="43" begline="9" endcolumn="47" endline="9"/></token></node></node><token kind="ELSE" lexeme="else"><location begcolumn="17" begline="10" endcolumn="20" endline="10"/></token><node label="expr"><token kind="LET" lexeme="let"><location begcolumn="21" begline="11" endcolumn="23" endline="11"/></token><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="25" begline="11" endcolumn="27" endline="11"/></token><token kind="ID" lexeme="b1"><location begcolumn="29" begline="11" endcolumn="30" endline="11"/></token><token kind="COLON" lexeme=":"><location begcolumn="32" begline="11" endcolumn="32" endline="11"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="34" begline="11" endcolumn="34" endline="11"/></token></node></node><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="36" begline="11" endcolumn="38" endline="11"/></token><token kind="ID" lexeme="b2"><location begcolumn="40" begline="11" endcolumn="41" endline="11"/></token><token kind="COLON" lexeme=":"><location begcolumn="43" begline="11" endcolumn="43" endline="11"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="45" begline="11" endcolumn="45" endline="11"/></token></node></node><token kind="IN" lexeme="in"><location begcolumn="47" begline="11" endcolumn="48" endline="11"/></token><node label="expr"><token kind="IF" lexeme="if"><location begcolumn="25" begline="12" endcolumn="26" endline="12"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="28" begline="12" endcolumn="29" endline="12"/></token></node><token kind="AND" lexeme="and"><location begcolumn="31" begline="12" endcolumn="33" endline="12"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="35" begline="12" endcolumn="36" endline="12"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="38" begline="12" endcolumn="39" endline="12"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="41" begline="12" endcolumn="42" endline="12"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="44" begline="12" endcolumn="45" endline="12"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="47" begline="12" endcolumn="48" endline="12"/></token></node></node><token kind="THEN" lexeme="then"><location begcolumn="50" begline="12" endcolumn="53" endline="12"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="29" begline="13" endcolumn="30" endline="13"/></token></node><token kind="AND" lexeme="and"><location begcolumn="32" begline="13" endcolumn="34" endline="13"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="36" begline="13" endcolumn="37" endline="13"/></token></node></node><token kind="AND" lexeme="and"><location begcolumn="39" begline="13" endcolumn="41" endline="13"/></token><node label="expr"><token kind="TRUE" lexeme="true"><location begcolumn="43" begline="13" endcolumn="46" endline="13"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="48" begline="13" endcolumn="49" endline="13"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="51" begline="13" endcolumn="55" endline="13"/></token></node></node><token kind="ELSE" lexeme="else"><location begcolumn="25" begline="14" endcolumn="28" endline="14"/></token><node label="expr"><token kind="LBRACKET" lexeme="("><location begcolumn="29" begline="15" endcolumn="29" endline="15"/></token><node label="expr"><token kind="LET" lexeme="let"><location begcolumn="30" begline="15" endcolumn="32" endline="15"/></token><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="34" begline="15" endcolumn="36" endline="15"/></token><token kind="ID" lexeme="b1"><location begcolumn="38" begline="15" endcolumn="39" endline="15"/></token><token kind="COLON" lexeme=":"><location begcolumn="41" begline="15" endcolumn="41" endline="15"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="43" begline="15" endcolumn="43" endline="15"/></token></node></node><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="45" begline="15" endcolumn="47" endline="15"/></token><token kind="ID" lexeme="b2"><location begcolumn="49" begline="15" endcolumn="50" endline="15"/></token><token kind="COLON" lexeme=":"><location begcolumn="52" begline="15" endcolumn="52" endline="15"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="54" begline="15" endcolumn="54" endline="15"/></token></node></node><token kind="IN" lexeme="in"><location begcolumn="56" begline="15" endcolumn="57" endline="15"/></token><node label="expr"><token kind="IF" lexeme="if"><location begcolumn="33" begline="16" endcolumn="34" endline="16"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="36" begline="16" endcolumn="37" endline="16"/></token></node><token kind="AND" lexeme="and"><location begcolumn="39" begline="16" endcolumn="41" endline="16"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="43" begline="16" endcolumn="44" endline="16"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="46" begline="16" endcolumn="47" endline="16"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="49" begline="16" endcolumn="50" endline="16"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="52" begline="16" endcolumn="53" endline="16"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="55" begline="16" endcolumn="56" endline="16"/></token></node></node><token kind="THEN" lexeme="then"><location begcolumn="58" begline="16" endcolumn="61" endline="16"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="37" begline="17" endcolumn="38" endline="17"/></token></node><token kind="AND" lexeme="and"><location begcolumn="40" begline="17" endcolumn="42" endline="17"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="44" begline="17" endcolumn="45" endline="17"/></token></node></node><token kind="AND" lexeme="and"><location begcolumn="47" begline="17" endcolumn="49" endline="17"/></token><node label="expr"><token kind="TRUE" lexeme="true"><location begcolumn="51" begline="17" endcolumn="54" endline="17"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="56" begline="17" endcolumn="57" endline="17"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="59" begline="17" endcolumn="63" endline="17"/></token></node></node><token kind="ELSE" lexeme="else"><location begcolumn="33" begline="18" endcolumn="36" endline="18"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="37" begline="19" endcolumn="41" endline="19"/></token></node><token kind="END" lexeme="end"><location begcolumn="33" begline="20" endcolumn="35" endline="20"/></token></node><token kind="END" lexeme="end"><location begcolumn="29" begline="21" endcolumn="31" endline="21"/></token></node><token kind="COMMA" lexeme=","><location begcolumn="32" begline="21" endcolumn="32" endline="21"/></token><node label="expr"><token kind="LET" lexeme="let"><location begcolumn="29" begline="22" endcolumn="31" endline="22"/></token><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="33" begline="22" endcolumn="35" endline="22"/></token><token kind="ID" lexeme="b1"><location begcolumn="37" begline="22" endcolumn="38" endline="22"/></token><token kind="COLON" lexeme=":"><location begcolumn="40" begline="22" endcolumn="40" endline="22"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="42" begline="22" endcolumn="42" endline="22"/></token></node></node><node label="defn"><token kind="VAR" lexeme="var"><location begcolumn="44" begline="22" endcolumn="46" endline="22"/></token><token kind="ID" lexeme="b2"><location begcolumn="48" begline="22" endcolumn="49" endline="22"/></token><token kind="COLON" lexeme=":"><location begcolumn="51" begline="22" endcolumn="51" endline="22"/></token><node label="type"><token kind="ID" lexeme="b"><location begcolumn="53" begline="22" endcolumn="53" endline="22"/></token></node></node><token kind="IN" lexeme="in"><location begcolumn="55" begline="22" endcolumn="56" endline="22"/></token><node label="expr"><token kind="IF" lexeme="if"><location begcolumn="33" begline="23" endcolumn="34" endline="23"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="36" begline="23" endcolumn="37" endline="23"/></token></node><token kind="AND" lexeme="and"><location begcolumn="39" begline="23" endcolumn="41" endline="23"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="43" begline="23" endcolumn="44" endline="23"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="46" begline="23" endcolumn="47" endline="23"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="49" begline="23" endcolumn="50" endline="23"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="52" begline="23" endcolumn="53" endline="23"/></token><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="55" begline="23" endcolumn="56" endline="23"/></token></node></node><token kind="THEN" lexeme="then"><location begcolumn="58" begline="23" endcolumn="61" endline="23"/></token><node label="expr"><node label="expr"><node label="expr"><node label="expr"><token kind="ID" lexeme="b2"><location begcolumn="37" begline="24" endcolumn="38" endline="24"/></token></node><token kind="AND" lexeme="and"><location begcolumn="40" begline="24" endcolumn="42" endline="24"/></token><node label="expr"><token kind="ID" lexeme="b1"><location begcolumn="44" begline="24" endcolumn="45" endline="24"/></token></node></node><token kind="AND" lexeme="and"><location begcolumn="47" begline="24" endcolumn="49" endline="24"/></token><node label="expr"><token kind="TRUE" lexeme="true"><location begcolumn="51" begline="24" endcolumn="54" endline="24"/></token></node></node><token kind="OR" lexeme="or"><location begcolumn="56" begline="24" endcolumn="57" endline="24"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="59" begline="24" endcolumn="63" endline="24"/></token></node></node><token kind="ELSE" lexeme="else"><location begcolumn="33" begline="25" endcolumn="36" endline="25"/></token><node label="expr"><token kind="FALSE" lexeme="false"><location begcolumn="37" begline="26" endcolumn="41" endline="26"/></token></node><token kind="END" lexeme="end"><location begcolumn="33" begline="27" endcolumn="35" endline="27"/></token></node><token kind="END" lexeme="end"><location begcolumn="29" begline="28" endcolumn="31" endline="28"/></token></node><token kind="RBRACKET" lexeme=")"><location begcolumn="32" begline="28" endcolumn="32" endline="28"/></token></node><token kind="END" lexeme="end"><location begcolumn="25" begline="29" endcolumn="27" endline="29"/></token></node><token kind="END" lexeme="end"><location begcolumn="21" begline="30" endcolumn="23" endline="30"/></token></node><token kind="END" lexeme="end"><location begcolumn="17" begline="31" endcolumn="19" endline="31"/></token></node><token kind="END" lexeme="end"><location begcolumn="13" begline="32" endcolumn="15" endline="32"/></token></node><token kind="END" lexeme="end"><location begcolumn="9" begline="33" endcolumn="11" endline="33"/></token></node><token kind="END" lexeme="end"><location begcolumn="5" begline="34" endcolumn="7" endline="34"/></token></node></node></node><token kind="EOF"/></node></synan>