<!-- Generated by Codeine (GNU Prolog propagation tracer), version 0.5, November 2003 -->
<!-- Executed query: codtestgoal(_15,_16,_17,_18,_19,_20) -->
<oadymppac>
<tell n="1" depth="0" node="0">
</tell>
<!-- 3 days conference -->
<new-variable n="2" depth="1" node="1">
</new-variable>
<activate n="4" depth="1" node="1" cname="1" externalrep="fd_domain(var(1),1,6)">
</activate>
<new-variable n="6" depth="1" node="1">
</new-variable>
<activate n="8" depth="1" node="1" cname="2" externalrep="fd_domain(var(2),1,6)">
</activate>
<new-variable n="10" depth="1" node="1">
</new-variable>
<activate n="12" depth="1" node="1" cname="3" externalrep="fd_domain(var(3),1,6)">
</activate>
<new-variable n="14" depth="1" node="1">
</new-variable>
<activate n="16" depth="1" node="1" cname="4" externalrep="fd_domain(var(4),1,6)">
</activate>
<new-variable n="18" depth="1" node="1">
</new-variable>
<activate n="20" depth="1" node="1" cname="5" externalrep="fd_domain(var(5),1,6)">
</activate>
<new-variable n="22" depth="1" node="1">
</new-variable>
<activate n="24" depth="1" node="1" cname="6" externalrep="fd_domain(var(6),1,6)">
</activate>
<activate n="27" depth="1" node="1" cname="7" externalrep="x_neq_c(var(3),6)">
</activate>
<reduce n="28" depth="1" node="1" cname="7" vname="3">
</reduce>
<activate n="31" depth="1" node="1" cname="8" externalrep="x_neq_c(var(3),5)">
</activate>
<reduce n="32" depth="1" node="1" cname="8" vname="3">
</reduce>
<activate n="35" depth="1" node="1" cname="9" externalrep="x_neq_c(var(6),6)">
</activate>
<reduce n="36" depth="1" node="1" cname="9" vname="6">
</reduce>
<activate n="39" depth="1" node="1" cname="10" externalrep="x_neq_c(var(6),5)">
</activate>
<reduce n="40" depth="1" node="1" cname="10" vname="6">
</reduce>
<activate n="43" depth="1" node="1" cname="11" externalrep="x_neq_c(var(4),6)">
</activate>
<reduce n="44" depth="1" node="1" cname="11" vname="4">
</reduce>
<activate n="47" depth="1" node="1" cname="12" externalrep="x_neq_c(var(4),5)">
</activate>
<reduce n="48" depth="1" node="1" cname="12" vname="4">
</reduce>
<activate n="51" depth="1" node="1" cname="13" externalrep="x_neq_c(var(1),6)">
</activate>
<reduce n="52" depth="1" node="1" cname="13" vname="1">
</reduce>
<activate n="55" depth="1" node="1" cname="14" externalrep="x_neq_c(var(1),5)">
</activate>
<reduce n="56" depth="1" node="1" cname="14" vname="1">
</reduce>
<activate n="59" depth="1" node="1" cname="15" externalrep="x_lt_y(var(2),var(6))">
</activate>
<reduce n="60" depth="1" node="1" cname="15" vname="2">
</reduce>
<reduce n="61" depth="1" node="1" cname="15" vname="6">
</reduce>
<activate n="64" depth="1" node="1" cname="18" externalrep="x_lt_y(var(2),var(5))">
</activate>
<reduce n="65" depth="1" node="1" cname="18" vname="5">
</reduce>
<activate n="68" depth="1" node="1" cname="21" externalrep="x_lt_y(var(3),var(6))">
</activate>
<reduce n="69" depth="1" node="1" cname="21" vname="3">
</reduce>
<activate n="72" depth="1" node="1" cname="24" externalrep="x_lt_y(var(3),var(5))">
</activate>
<activate n="75" depth="1" node="1" cname="27" externalrep="x_lt_y(var(1),var(4))">
</activate>
<reduce n="76" depth="1" node="1" cname="27" vname="1">
</reduce>
<reduce n="77" depth="1" node="1" cname="27" vname="4">
</reduce>
<activate n="80" depth="1" node="1" cname="30" externalrep="x_lt_y(var(1),var(3))">
</activate>
<reduce n="81" depth="1" node="1" cname="30" vname="1">
</reduce>
<reduce n="82" depth="1" node="1" cname="30" vname="3">
</reduce>
<select-constraint n="85" depth="1" node="1" cname="30">
</select-constraint>
<reduce n="86" depth="1" node="1" cname="24" vname="5">
</reduce>
<select-constraint n="88" depth="1" node="1" cname="24">
</select-constraint>
<reduce n="89" depth="1" node="1" cname="21" vname="6">
</reduce>
<activate n="92" depth="1" node="1" cname="33" externalrep="x_neq_y(var(3),var(4))">
</activate>
<activate n="95" depth="1" node="1" cname="36" externalrep="x_neq_y(var(6),var(1))">
</activate>
<activate n="98" depth="1" node="1" cname="39" externalrep="x_neq_y(var(5),var(4))">
</activate>
<activate n="101" depth="1" node="1" cname="42" externalrep="x_neq_y(var(3),var(2))">
</activate>
<activate n="104" depth="1" node="1" cname="45" externalrep="x_neq_y(var(4),var(6))">
</activate>
<activate n="107" depth="1" node="1" cname="48" externalrep="x_neq_y(var(2),var(4))">
</activate>
<activate n="110" depth="1" node="1" cname="51" externalrep="x_neq_y(var(1),var(5))">
</activate>
<tell n="112" depth="1" node="1">
</tell>
<activate n="114" depth="2" node="2" cname="54" externalrep="assign(var(5),3)">
</activate>
<reduce n="115" depth="2" node="2" cname="54" vname="5">
</reduce>
<select-constraint n="118" depth="2" node="2" cname="54">
</select-constraint>
<reduce n="119" depth="2" node="2" cname="24" vname="3">
</reduce>
<select-constraint n="121" depth="2" node="2" cname="24">
</select-constraint>
<reduce n="122" depth="2" node="2" cname="18" vname="2">
</reduce>
<select-constraint n="125" depth="2" node="2" cname="18">
</select-constraint>
<select-constraint n="127" depth="2" node="2" cname="39">
</select-constraint>
<reduce n="128" depth="2" node="2" cname="39" vname="4">
</reduce>
<select-constraint n="131" depth="2" node="2" cname="39">
</select-constraint>
<reduce n="132" depth="2" node="2" cname="30" vname="1">
</reduce>
<select-constraint n="135" depth="2" node="2" cname="30">
</select-constraint>
<reduce n="136" depth="2" node="2" cname="42" vname="2">
</reduce>
<select-constraint n="138" depth="2" node="2" cname="42">
</select-constraint>
<reduce n="139" depth="2" node="2" cname="33" vname="4">
</reduce>
<select-constraint n="142" depth="2" node="2" cname="33">
</select-constraint>
<select-constraint n="144" depth="2" node="2" cname="36">
</select-constraint>
<select-constraint n="147" depth="2" node="2" cname="48">
</select-constraint>
<select-constraint n="149" depth="2" node="2" cname="42">
</select-constraint>
<select-constraint n="152" depth="2" node="2" cname="48">
</select-constraint>
<select-constraint n="154" depth="2" node="2" cname="45">
</select-constraint>
<reduce n="155" depth="2" node="2" cname="45" vname="6">
</reduce>
<select-constraint n="157" depth="2" node="2" cname="45">
</select-constraint>
<select-constraint n="159" depth="2" node="2" cname="33">
</select-constraint>
<select-constraint n="162" depth="2" node="2" cname="21">
</select-constraint>
<select-constraint n="164" depth="2" node="2" cname="15">
</select-constraint>
<select-constraint n="167" depth="2" node="2" cname="45">
</select-constraint>
<select-constraint n="169" depth="2" node="2" cname="36">
</select-constraint>
<!-- solution -->
<solution n="171" depth="2" node="2">
</solution>
<restore n="172" depth="1" node="1">
</restore>
<activate n="174" depth="2" node="3" cname="55" externalrep="assign(var(5),4)">
</activate>
<reduce n="175" depth="2" node="3" cname="55" vname="5">
</reduce>
<select-constraint n="178" depth="2" node="3" cname="55">
</select-constraint>
<select-constraint n="180" depth="2" node="3" cname="18">
</select-constraint>
<select-constraint n="183" depth="2" node="3" cname="51">
</select-constraint>
<select-constraint n="185" depth="2" node="3" cname="39">
</select-constraint>
<reduce n="186" depth="2" node="3" cname="39" vname="4">
</reduce>
<select-constraint n="189" depth="2" node="3" cname="39">
</select-constraint>
<tell n="191" depth="2" node="3">
</tell>
<activate n="193" depth="3" node="4" cname="56" externalrep="assign(var(2),1)">
</activate>
<reduce n="194" depth="3" node="4" cname="56" vname="2">
</reduce>
<select-constraint n="197" depth="3" node="4" cname="56">
</select-constraint>
<select-constraint n="199" depth="3" node="4" cname="42">
</select-constraint>
<tell n="201" depth="3" node="4">
</tell>
<activate n="203" depth="4" node="5" cname="57" externalrep="assign(var(1),1)">
</activate>
<reduce n="204" depth="4" node="5" cname="57" vname="1">
</reduce>
<select-constraint n="207" depth="4" node="5" cname="57">
</select-constraint>
<tell n="209" depth="4" node="5">
</tell>
<activate n="211" depth="5" node="6" cname="58" externalrep="assign(var(3),2)">
</activate>
<reduce n="212" depth="5" node="6" cname="58" vname="3">
</reduce>
<select-constraint n="216" depth="5" node="6" cname="58">
</select-constraint>
<reduce n="217" depth="5" node="6" cname="33" vname="4">
</reduce>
<select-constraint n="220" depth="5" node="6" cname="33">
</select-constraint>
<reduce n="221" depth="5" node="6" cname="45" vname="6">
</reduce>
<select-constraint n="223" depth="5" node="6" cname="45">
</select-constraint>
<select-constraint n="226" depth="5" node="6" cname="45">
</select-constraint>
<!-- solution -->
<solution n="228" depth="5" node="6">
</solution>
<restore n="229" depth="4" node="5">
</restore>
<activate n="231" depth="5" node="7" cname="59" externalrep="assign(var(3),3)">
</activate>
<reduce n="232" depth="5" node="7" cname="59" vname="3">
</reduce>
<select-constraint n="235" depth="5" node="7" cname="59">
</select-constraint>
<reduce n="236" depth="5" node="7" cname="21" vname="6">
</reduce>
<select-constraint n="239" depth="5" node="7" cname="21">
</select-constraint>
<reduce n="240" depth="5" node="7" cname="33" vname="4">
</reduce>
<select-constraint n="243" depth="5" node="7" cname="33">
</select-constraint>
<select-constraint n="247" depth="5" node="7" cname="45">
</select-constraint>
<select-constraint n="249" depth="5" node="7" cname="33">
</select-constraint>
<!-- solution -->
<solution n="251" depth="5" node="7">
</solution>
<restore n="252" depth="3" node="4">
</restore>
<activate n="254" depth="4" node="8" cname="60" externalrep="assign(var(1),2)">
</activate>
<reduce n="255" depth="4" node="8" cname="60" vname="1">
</reduce>
<select-constraint n="258" depth="4" node="8" cname="60">
</select-constraint>
<reduce n="259" depth="4" node="8" cname="30" vname="3">
</reduce>
<select-constraint n="261" depth="4" node="8" cname="30">
</select-constraint>
<reduce n="262" depth="4" node="8" cname="27" vname="4">
</reduce>
<select-constraint n="265" depth="4" node="8" cname="27">
</select-constraint>
<select-constraint n="268" depth="4" node="8" cname="21">
</select-constraint>
<reduce n="269" depth="4" node="8" cname="21" vname="6">
</reduce>
<select-constraint n="272" depth="4" node="8" cname="21">
</select-constraint>
<failure n="274" depth="4" node="8">
</failure>
<restore n="275" depth="2" node="3">
</restore>
<activate n="277" depth="3" node="9" cname="61" externalrep="assign(var(2),2)">
</activate>
<reduce n="278" depth="3" node="9" cname="61" vname="2">
</reduce>
<select-constraint n="281" depth="3" node="9" cname="61">
</select-constraint>
<select-constraint n="284" depth="3" node="9" cname="48">
</select-constraint>
<reduce n="285" depth="3" node="9" cname="48" vname="4">
</reduce>
<select-constraint n="287" depth="3" node="9" cname="48">
</select-constraint>
<reduce n="288" depth="3" node="9" cname="42" vname="3">
</reduce>
<select-constraint n="291" depth="3" node="9" cname="42">
</select-constraint>
<select-constraint n="293" depth="3" node="9" cname="45">
</select-constraint>
<reduce n="294" depth="3" node="9" cname="45" vname="6">
</reduce>
<select-constraint n="296" depth="3" node="9" cname="45">
</select-constraint>
<failure n="298" depth="3" node="9">
</failure>
<restore n="299" depth="2" node="3">
</restore>
<activate n="301" depth="3" node="10" cname="62" externalrep="assign(var(2),3)">
</activate>
<reduce n="302" depth="3" node="10" cname="62" vname="2">
</reduce>
<select-constraint n="305" depth="3" node="10" cname="62">
</select-constraint>
<reduce n="306" depth="3" node="10" cname="15" vname="6">
</reduce>
<select-constraint n="309" depth="3" node="10" cname="15">
</select-constraint>
<reduce n="310" depth="3" node="10" cname="48" vname="4">
</reduce>
<select-constraint n="312" depth="3" node="10" cname="48">
</select-constraint>
<reduce n="313" depth="3" node="10" cname="42" vname="3">
</reduce>
<select-constraint n="316" depth="3" node="10" cname="42">
</select-constraint>
<select-constraint n="318" depth="3" node="10" cname="36">
</select-constraint>
<select-constraint n="321" depth="3" node="10" cname="27">
</select-constraint>
<reduce n="322" depth="3" node="10" cname="27" vname="1">
</reduce>
<select-constraint n="325" depth="3" node="10" cname="27">
</select-constraint>
<select-constraint n="327" depth="3" node="10" cname="45">
</select-constraint>
<select-constraint n="329" depth="3" node="10" cname="33">
</select-constraint>
<failure n="331" depth="3" node="10">
</failure>
<restore n="332" depth="1" node="1">
</restore>
<activate n="334" depth="2" node="11" cname="63" externalrep="assign(var(5),5)">
</activate>
<reduce n="335" depth="2" node="11" cname="63" vname="5">
</reduce>
<select-constraint n="338" depth="2" node="11" cname="63">
</select-constraint>
<select-constraint n="340" depth="2" node="11" cname="18">
</select-constraint>
<select-constraint n="343" depth="2" node="11" cname="51">
</select-constraint>
<select-constraint n="345" depth="2" node="11" cname="39">
</select-constraint>
<tell n="347" depth="2" node="11">
</tell>
<activate n="349" depth="3" node="12" cname="64" externalrep="assign(var(2),1)">
</activate>
<reduce n="350" depth="3" node="12" cname="64" vname="2">
</reduce>
<select-constraint n="353" depth="3" node="12" cname="64">
</select-constraint>
<select-constraint n="355" depth="3" node="12" cname="42">
</select-constraint>
<tell n="357" depth="3" node="12">
</tell>
<activate n="359" depth="4" node="13" cname="65" externalrep="assign(var(1),1)">
</activate>
<reduce n="360" depth="4" node="13" cname="65" vname="1">
</reduce>
<select-constraint n="363" depth="4" node="13" cname="65">
</select-constraint>
<tell n="365" depth="4" node="13">
</tell>
<activate n="367" depth="5" node="14" cname="66" externalrep="assign(var(3),2)">
</activate>
<reduce n="368" depth="5" node="14" cname="66" vname="3">
</reduce>
<select-constraint n="372" depth="5" node="14" cname="66">
</select-constraint>
<reduce n="373" depth="5" node="14" cname="33" vname="4">
</reduce>
<tell n="375" depth="5" node="14">
</tell>
<activate n="377" depth="6" node="15" cname="67" externalrep="assign(var(4),3)">
</activate>
<reduce n="378" depth="6" node="15" cname="67" vname="4">
</reduce>
<select-constraint n="382" depth="6" node="15" cname="67">
</select-constraint>
<reduce n="383" depth="6" node="15" cname="45" vname="6">
</reduce>
<select-constraint n="386" depth="6" node="15" cname="45">
</select-constraint>
<!-- solution -->
<solution n="388" depth="6" node="15">
</solution>
<restore n="389" depth="5" node="14">
</restore>
<activate n="391" depth="6" node="16" cname="68" externalrep="assign(var(4),4)">
</activate>
<reduce n="392" depth="6" node="16" cname="68" vname="4">
</reduce>
<select-constraint n="395" depth="6" node="16" cname="68">
</select-constraint>
<reduce n="396" depth="6" node="16" cname="45" vname="6">
</reduce>
<select-constraint n="400" depth="6" node="16" cname="45">
</select-constraint>
<!-- solution -->
<solution n="402" depth="6" node="16">
</solution>
<restore n="403" depth="4" node="13">
</restore>
<activate n="405" depth="5" node="17" cname="69" externalrep="assign(var(3),3)">
</activate>
<reduce n="406" depth="5" node="17" cname="69" vname="3">
</reduce>
<select-constraint n="409" depth="5" node="17" cname="69">
</select-constraint>
<reduce n="410" depth="5" node="17" cname="21" vname="6">
</reduce>
<select-constraint n="413" depth="5" node="17" cname="21">
</select-constraint>
<reduce n="414" depth="5" node="17" cname="33" vname="4">
</reduce>
<select-constraint n="417" depth="5" node="17" cname="33">
</select-constraint>
<reduce n="418" depth="5" node="17" cname="45" vname="4">
</reduce>
<select-constraint n="422" depth="5" node="17" cname="45">
</select-constraint>
<select-constraint n="424" depth="5" node="17" cname="33">
</select-constraint>
<!-- solution -->
<solution n="426" depth="5" node="17">
</solution>
<restore n="427" depth="3" node="12">
</restore>
<activate n="429" depth="4" node="18" cname="70" externalrep="assign(var(1),2)">
</activate>
<reduce n="430" depth="4" node="18" cname="70" vname="1">
</reduce>
<select-constraint n="433" depth="4" node="18" cname="70">
</select-constraint>
<reduce n="434" depth="4" node="18" cname="30" vname="3">
</reduce>
<select-constraint n="436" depth="4" node="18" cname="30">
</select-constraint>
<reduce n="437" depth="4" node="18" cname="27" vname="4">
</reduce>
<select-constraint n="440" depth="4" node="18" cname="27">
</select-constraint>
<select-constraint n="443" depth="4" node="18" cname="21">
</select-constraint>
<reduce n="444" depth="4" node="18" cname="21" vname="6">
</reduce>
<select-constraint n="447" depth="4" node="18" cname="21">
</select-constraint>
<reduce n="448" depth="4" node="18" cname="33" vname="4">
</reduce>
<select-constraint n="451" depth="4" node="18" cname="33">
</select-constraint>
<failure n="453" depth="4" node="18">
</failure>
<restore n="454" depth="2" node="11">
</restore>
<activate n="456" depth="3" node="19" cname="71" externalrep="assign(var(2),2)">
</activate>
<reduce n="457" depth="3" node="19" cname="71" vname="2">
</reduce>
<select-constraint n="460" depth="3" node="19" cname="71">
</select-constraint>
<select-constraint n="463" depth="3" node="19" cname="48">
</select-constraint>
<reduce n="464" depth="3" node="19" cname="48" vname="4">
</reduce>
<select-constraint n="466" depth="3" node="19" cname="48">
</select-constraint>
<reduce n="467" depth="3" node="19" cname="42" vname="3">
</reduce>
<select-constraint n="470" depth="3" node="19" cname="42">
</select-constraint>
<reduce n="471" depth="3" node="19" cname="21" vname="6">
</reduce>
<select-constraint n="474" depth="3" node="19" cname="21">
</select-constraint>
<select-constraint n="476" depth="3" node="19" cname="33">
</select-constraint>
<reduce n="477" depth="3" node="19" cname="33" vname="4">
</reduce>
<select-constraint n="480" depth="3" node="19" cname="33">
</select-constraint>
<failure n="482" depth="3" node="19">
</failure>
<restore n="483" depth="2" node="11">
</restore>
<activate n="485" depth="3" node="20" cname="72" externalrep="assign(var(2),3)">
</activate>
<reduce n="486" depth="3" node="20" cname="72" vname="2">
</reduce>
<select-constraint n="489" depth="3" node="20" cname="72">
</select-constraint>
<reduce n="490" depth="3" node="20" cname="15" vname="6">
</reduce>
<select-constraint n="493" depth="3" node="20" cname="15">
</select-constraint>
<reduce n="494" depth="3" node="20" cname="48" vname="4">
</reduce>
<select-constraint n="496" depth="3" node="20" cname="48">
</select-constraint>
<reduce n="497" depth="3" node="20" cname="42" vname="3">
</reduce>
<select-constraint n="500" depth="3" node="20" cname="42">
</select-constraint>
<reduce n="501" depth="3" node="20" cname="45" vname="4">
</reduce>
<select-constraint n="503" depth="3" node="20" cname="45">
</select-constraint>
<select-constraint n="506" depth="3" node="20" cname="30">
</select-constraint>
<reduce n="507" depth="3" node="20" cname="30" vname="1">
</reduce>
<select-constraint n="510" depth="3" node="20" cname="30">
</select-constraint>
<select-constraint n="512" depth="3" node="20" cname="33">
</select-constraint>
<failure n="514" depth="3" node="20">
</failure>
<restore n="515" depth="1" node="1">
</restore>
<activate n="517" depth="2" node="21" cname="73" externalrep="assign(var(5),6)">
</activate>
<reduce n="518" depth="2" node="21" cname="73" vname="5">
</reduce>
<select-constraint n="521" depth="2" node="21" cname="73">
</select-constraint>
<select-constraint n="523" depth="2" node="21" cname="39">
</select-constraint>
<tell n="525" depth="2" node="21">
</tell>
<activate n="527" depth="3" node="22" cname="74" externalrep="assign(var(2),1)">
</activate>
<reduce n="528" depth="3" node="22" cname="74" vname="2">
</reduce>
<select-constraint n="531" depth="3" node="22" cname="74">
</select-constraint>
<select-constraint n="533" depth="3" node="22" cname="42">
</select-constraint>
<tell n="535" depth="3" node="22">
</tell>
<activate n="537" depth="4" node="23" cname="75" externalrep="assign(var(1),1)">
</activate>
<reduce n="538" depth="4" node="23" cname="75" vname="1">
</reduce>
<select-constraint n="541" depth="4" node="23" cname="75">
</select-constraint>
<tell n="543" depth="4" node="23">
</tell>
<activate n="545" depth="5" node="24" cname="76" externalrep="assign(var(3),2)">
</activate>
<reduce n="546" depth="5" node="24" cname="76" vname="3">
</reduce>
<select-constraint n="550" depth="5" node="24" cname="76">
</select-constraint>
<reduce n="551" depth="5" node="24" cname="33" vname="4">
</reduce>
<tell n="553" depth="5" node="24">
</tell>
<activate n="555" depth="6" node="25" cname="77" externalrep="assign(var(4),3)">
</activate>
<reduce n="556" depth="6" node="25" cname="77" vname="4">
</reduce>
<select-constraint n="560" depth="6" node="25" cname="77">
</select-constraint>
<reduce n="561" depth="6" node="25" cname="45" vname="6">
</reduce>
<select-constraint n="564" depth="6" node="25" cname="45">
</select-constraint>
<!-- solution -->
<solution n="566" depth="6" node="25">
</solution>
<restore n="567" depth="5" node="24">
</restore>
<activate n="569" depth="6" node="26" cname="78" externalrep="assign(var(4),4)">
</activate>
<reduce n="570" depth="6" node="26" cname="78" vname="4">
</reduce>
<select-constraint n="573" depth="6" node="26" cname="78">
</select-constraint>
<reduce n="574" depth="6" node="26" cname="45" vname="6">
</reduce>
<select-constraint n="578" depth="6" node="26" cname="45">
</select-constraint>
<!-- solution -->
<solution n="580" depth="6" node="26">
</solution>
<restore n="581" depth="4" node="23">
</restore>
<activate n="583" depth="5" node="27" cname="79" externalrep="assign(var(3),3)">
</activate>
<reduce n="584" depth="5" node="27" cname="79" vname="3">
</reduce>
<select-constraint n="587" depth="5" node="27" cname="79">
</select-constraint>
<reduce n="588" depth="5" node="27" cname="21" vname="6">
</reduce>
<select-constraint n="591" depth="5" node="27" cname="21">
</select-constraint>
<reduce n="592" depth="5" node="27" cname="33" vname="4">
</reduce>
<select-constraint n="595" depth="5" node="27" cname="33">
</select-constraint>
<reduce n="596" depth="5" node="27" cname="45" vname="4">
</reduce>
<select-constraint n="600" depth="5" node="27" cname="45">
</select-constraint>
<select-constraint n="602" depth="5" node="27" cname="33">
</select-constraint>
<!-- solution -->
<solution n="604" depth="5" node="27">
</solution>
<restore n="605" depth="3" node="22">
</restore>
<activate n="607" depth="4" node="28" cname="80" externalrep="assign(var(1),2)">
</activate>
<reduce n="608" depth="4" node="28" cname="80" vname="1">
</reduce>
<select-constraint n="611" depth="4" node="28" cname="80">
</select-constraint>
<reduce n="612" depth="4" node="28" cname="30" vname="3">
</reduce>
<select-constraint n="614" depth="4" node="28" cname="30">
</select-constraint>
<reduce n="615" depth="4" node="28" cname="27" vname="4">
</reduce>
<select-constraint n="618" depth="4" node="28" cname="27">
</select-constraint>
<select-constraint n="621" depth="4" node="28" cname="21">
</select-constraint>
<reduce n="622" depth="4" node="28" cname="21" vname="6">
</reduce>
<select-constraint n="625" depth="4" node="28" cname="21">
</select-constraint>
<reduce n="626" depth="4" node="28" cname="33" vname="4">
</reduce>
<select-constraint n="629" depth="4" node="28" cname="33">
</select-constraint>
<failure n="631" depth="4" node="28">
</failure>
<restore n="632" depth="2" node="21">
</restore>
<activate n="634" depth="3" node="29" cname="81" externalrep="assign(var(2),2)">
</activate>
<reduce n="635" depth="3" node="29" cname="81" vname="2">
</reduce>
<select-constraint n="638" depth="3" node="29" cname="81">
</select-constraint>
<select-constraint n="641" depth="3" node="29" cname="48">
</select-constraint>
<reduce n="642" depth="3" node="29" cname="48" vname="4">
</reduce>
<select-constraint n="644" depth="3" node="29" cname="48">
</select-constraint>
<reduce n="645" depth="3" node="29" cname="42" vname="3">
</reduce>
<select-constraint n="648" depth="3" node="29" cname="42">
</select-constraint>
<reduce n="649" depth="3" node="29" cname="21" vname="6">
</reduce>
<select-constraint n="652" depth="3" node="29" cname="21">
</select-constraint>
<select-constraint n="654" depth="3" node="29" cname="33">
</select-constraint>
<reduce n="655" depth="3" node="29" cname="33" vname="4">
</reduce>
<select-constraint n="658" depth="3" node="29" cname="33">
</select-constraint>
<failure n="660" depth="3" node="29">
</failure>
<restore n="661" depth="2" node="21">
</restore>
<activate n="663" depth="3" node="30" cname="82" externalrep="assign(var(2),3)">
</activate>
<reduce n="664" depth="3" node="30" cname="82" vname="2">
</reduce>
<select-constraint n="667" depth="3" node="30" cname="82">
</select-constraint>
<reduce n="668" depth="3" node="30" cname="15" vname="6">
</reduce>
<select-constraint n="671" depth="3" node="30" cname="15">
</select-constraint>
<reduce n="672" depth="3" node="30" cname="48" vname="4">
</reduce>
<select-constraint n="674" depth="3" node="30" cname="48">
</select-constraint>
<reduce n="675" depth="3" node="30" cname="42" vname="3">
</reduce>
<select-constraint n="678" depth="3" node="30" cname="42">
</select-constraint>
<reduce n="679" depth="3" node="30" cname="45" vname="4">
</reduce>
<select-constraint n="681" depth="3" node="30" cname="45">
</select-constraint>
<select-constraint n="684" depth="3" node="30" cname="30">
</select-constraint>
<reduce n="685" depth="3" node="30" cname="30" vname="1">
</reduce>
<select-constraint n="688" depth="3" node="30" cname="30">
</select-constraint>
<select-constraint n="690" depth="3" node="30" cname="33">
</select-constraint>
<failure n="692" depth="3" node="30">
</failure>
<restore n="693" depth="0" node="0">
</restore>
</oadymppac>