<gentra4cp>
<header>
	<date>2004-05-11 21:07:29</date>
	<source>alldiff-c5-gnu.pl</source>
	<creator>deransar</creator>
	<contributor></contributor>
	<description></description>
	<rights>This trace is public domain.</rights>
	<solver>Codeine, Version 1.0.0 (2004-05-04). COnstraint DEbugging INteractive EnvironmentBy Ludovic Langevine and Tristan Denmat</solver>
	<parameters>
		qq(_10)
	</parameters>
</header>
<choice-point chrono="1" depth="0" nident="0" nname="root" />
<new-variable chrono="2" vident="v1" vinternal="_#3" vname="A1" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="3" cident="c1" cinternal="fd_domain(v1,1,3)" orig="user" cname="fddom" />
<post chrono="4" cident="c1" />
<solved chrono="5" cident="c1" />
<new-variable chrono="6" vident="v2" vinternal="_#25" vname="A2" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="7" cident="c2" cinternal="fd_domain(v2,1,3)" orig="user" cname="fddom" />
<post chrono="8" cident="c2" />
<solved chrono="9" cident="c2" />
<new-variable chrono="10" vident="v3" vinternal="_#47" vname="A3" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="11" cident="c3" cinternal="fd_domain(v3,1,3)" orig="user" cname="fddom" />
<post chrono="12" cident="c3" />
<solved chrono="13" cident="c3" />
<choice-point chrono="14" depth="1" nident="1" />
<new-variable chrono="15" vident="v4" vinternal="_#69" vname="B1" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="16" cident="c4" cinternal="fd_domain(v4,1,3)" orig="user" cname="fddom" />
<post chrono="17" cident="c4" />
<solved chrono="18" cident="c4" />
<new-variable chrono="19" vident="v5" vinternal="_#91" vname="B2" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="20" cident="c5" cinternal="fd_domain(v5,1,3)" orig="user" cname="fddom" />
<post chrono="21" cident="c5" />
<solved chrono="22" cident="c5" />
<new-variable chrono="23" vident="v6" vinternal="_#113" vname="B3" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="24" cident="c6" cinternal="fd_domain(v6,1,3)" orig="user" cname="fddom" />
<post chrono="25" cident="c6" />
<solved chrono="26" cident="c6" />
<choice-point chrono="27" depth="2" nident="2" />
<new-variable chrono="28" vident="v7" vinternal="_#135" vname="D1" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="29" cident="c7" cinternal="fd_domain(v7,1,3)" orig="user" cname="fddom" />
<post chrono="30" cident="c7" />
<solved chrono="31" cident="c7" />
<new-variable chrono="32" vident="v8" vinternal="_#157" vname="D2" >
	<vardomain min="1" max="3" size="3"><range from="1" to="3" /></vardomain>
</new-variable>
<new-constraint chrono="33" cident="c8" cinternal="fd_domain(v8,1,3)" orig="user" cname="fddom" />
<post chrono="34" cident="c8" />
<solved chrono="35" cident="c8" />
<choice-point chrono="36" depth="3" nident="3" />
<new-variable chrono="37" vident="v9" vinternal="_#179" vname="C1" >
	<vardomain min="1" max="5" size="5"><range from="1" to="5" /></vardomain>
</new-variable>
<new-constraint chrono="38" cident="c9" cinternal="fd_domain(v9,1,5)" orig="user" cname="fddom" />
<post chrono="39" cident="c9" />
<solved chrono="40" cident="c9" />
<new-variable chrono="41" vident="v10" vinternal="_#201" vname="C2" >
	<vardomain min="1" max="5" size="5"><range from="1" to="5" /></vardomain>
</new-variable>
<new-constraint chrono="42" cident="c10" cinternal="fd_domain(v10,1,5)" orig="user" cname="fddom" />
<post chrono="43" cident="c10" />
<solved chrono="44" cident="c10" />
<new-variable chrono="45" vident="v11" vinternal="_#223" vname="C3" >
	<vardomain min="1" max="5" size="5"><range from="1" to="5" /></vardomain>
</new-variable>
<new-constraint chrono="46" cident="c11" cinternal="fd_domain(v11,1,5)" orig="user" cname="fddom" />
<post chrono="47" cident="c11" />
<solved chrono="48" cident="c11" />
<new-variable chrono="49" vident="v12" vinternal="_#245" vname="C4" >
	<vardomain min="1" max="5" size="5"><range from="1" to="5" /></vardomain>
</new-variable>
<new-constraint chrono="50" cident="c12" cinternal="fd_domain(v12,1,5)" orig="user" cname="fddom" />
<post chrono="51" cident="c12" />
<solved chrono="52" cident="c12" />
<new-variable chrono="53" vident="v13" vinternal="_#267" vname="C5" >
	<vardomain min="1" max="5" size="5"><range from="1" to="5" /></vardomain>
</new-variable>
<new-constraint chrono="54" cident="c13" cinternal="fd_domain(v13,1,5)" orig="user" cname="fddom" />
<post chrono="55" cident="c13" />
<solved chrono="56" cident="c13" />
<choice-point chrono="57" depth="4" nident="4" />
<new-constraint chrono="58" cident="c14" cinternal="x_neq_y(v1,v2)" orig="user" cname="aAcircle" />
<post chrono="59" cident="c14" />
<suspend chrono="60" cident="c14" />
<new-constraint chrono="61" cident="c17" cinternal="x_neq_y(v1,v3)" orig="user" cname="aAcircle" />
<post chrono="62" cident="c17" />
<suspend chrono="63" cident="c17" />
<new-constraint chrono="64" cident="c20" cinternal="x_neq_y(v2,v3)" orig="user" cname="aAcircle" />
<post chrono="65" cident="c20" />
<suspend chrono="66" cident="c20" />
<choice-point chrono="67" depth="5" nident="5" />
<new-constraint chrono="68" cident="c23" cinternal="x_neq_y(v4,v5)" orig="user" cname="bBcircle" />
<post chrono="69" cident="c23" />
<suspend chrono="70" cident="c23" />
<new-constraint chrono="71" cident="c26" cinternal="x_neq_y(v4,v6)" orig="user" cname="bBcircle" />
<post chrono="72" cident="c26" />
<suspend chrono="73" cident="c26" />
<new-constraint chrono="74" cident="c29" cinternal="x_neq_y(v5,v6)" orig="user" cname="bBcircle" />
<post chrono="75" cident="c29" />
<suspend chrono="76" cident="c29" />
<choice-point chrono="77" depth="6" nident="6" />
<new-constraint chrono="78" cident="c32" cinternal="x_neq_y(v9,v10)" orig="user" cname="cCcircle" />
<post chrono="79" cident="c32" />
<suspend chrono="80" cident="c32" />
<new-constraint chrono="81" cident="c35" cinternal="x_neq_y(v9,v11)" orig="user" cname="cCcircle" />
<post chrono="82" cident="c35" />
<suspend chrono="83" cident="c35" />
<new-constraint chrono="84" cident="c38" cinternal="x_neq_y(v9,v12)" orig="user" cname="cCcircle" />
<post chrono="85" cident="c38" />
<suspend chrono="86" cident="c38" />
<new-constraint chrono="87" cident="c41" cinternal="x_neq_y(v9,v13)" orig="user" cname="cCcircle" />
<post chrono="88" cident="c41" />
<suspend chrono="89" cident="c41" />
<new-constraint chrono="90" cident="c44" cinternal="x_neq_y(v10,v11)" orig="user" cname="cCcircle" />
<post chrono="91" cident="c44" />
<suspend chrono="92" cident="c44" />
<new-constraint chrono="93" cident="c47" cinternal="x_neq_y(v10,v12)" orig="user" cname="cCcircle" />
<post chrono="94" cident="c47" />
<suspend chrono="95" cident="c47" />
<new-constraint chrono="96" cident="c50" cinternal="x_neq_y(v10,v13)" orig="user" cname="cCcircle" />
<post chrono="97" cident="c50" />
<suspend chrono="98" cident="c50" />
<new-constraint chrono="99" cident="c53" cinternal="x_neq_y(v11,v12)" orig="user" cname="cCcircle" />
<post chrono="100" cident="c53" />
<suspend chrono="101" cident="c53" />
<new-constraint chrono="102" cident="c56" cinternal="x_neq_y(v11,v13)" orig="user" cname="cCcircle" />
<post chrono="103" cident="c56" />
<suspend chrono="104" cident="c56" />
<new-constraint chrono="105" cident="c59" cinternal="x_neq_y(v12,v13)" orig="user" cname="cCcircle" />
<post chrono="106" cident="c59" />
<suspend chrono="107" cident="c59" />
<choice-point chrono="108" depth="7" nident="7" />
<new-constraint chrono="109" cident="c62" cinternal="x_neq_y(v7,v8)" orig="user" cname="dDcircle" />
<post chrono="110" cident="c62" />
<suspend chrono="111" cident="c62" />
<new-constraint chrono="112" cident="c65" cinternal="x_neq_y(v7,v11)" orig="user" cname="dDcircle" />
<post chrono="113" cident="c65" />
<suspend chrono="114" cident="c65" />
<new-constraint chrono="115" cident="c68" cinternal="x_neq_y(v8,v11)" orig="user" cname="dDcircle" />
<post chrono="116" cident="c68" />
<suspend chrono="117" cident="c68" />
<choice-point chrono="118" depth="8" nident="8" />
<new-constraint chrono="119" cident="c71" cinternal="x_neq_y(v1,v7)" orig="user" cname="aABCDcircle" />
<post chrono="120" cident="c71" />
<suspend chrono="121" cident="c71" />
<new-constraint chrono="122" cident="c74" cinternal="x_neq_y(v1,v9)" orig="user" cname="aABCDcircle" />
<post chrono="123" cident="c74" />
<suspend chrono="124" cident="c74" />
<new-constraint chrono="125" cident="c77" cinternal="x_neq_y(v1,v4)" orig="user" cname="aABCDcircle" />
<post chrono="126" cident="c77" />
<suspend chrono="127" cident="c77" />
<new-constraint chrono="128" cident="c80" cinternal="x_neq_y(v7,v9)" orig="user" cname="aABCDcircle" />
<post chrono="129" cident="c80" />
<suspend chrono="130" cident="c80" />
<new-constraint chrono="131" cident="c83" cinternal="x_neq_y(v7,v4)" orig="user" cname="aABCDcircle" />
<post chrono="132" cident="c83" />
<suspend chrono="133" cident="c83" />
<new-constraint chrono="134" cident="c86" cinternal="x_neq_y(v9,v4)" orig="user" cname="aABCDcircle" />
<post chrono="135" cident="c86" />
<suspend chrono="136" cident="c86" />
<choice-point chrono="137" depth="9" nident="9" />
<new-constraint chrono="138" cident="c89" cinternal="x_lt_y(v3,v2)" orig="user" cname="asym" />
<post chrono="139" cident="c89" />
<reduce chrono="140" cident="c89" vident="v3" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v3" types="" />
</reduce>
<reduce chrono="141" cident="c89" vident="v2" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v2" types="" />
</reduce>
<suspend chrono="142" cident="c89" />
<choice-point chrono="143" depth="10" nident="10" />
<new-constraint chrono="144" cident="c92" cinternal="x_lt_y(v6,v5)" orig="user" cname="bsym" />
<post chrono="145" cident="c92" />
<reduce chrono="146" cident="c92" vident="v6" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v6" types="" />
</reduce>
<reduce chrono="147" cident="c92" vident="v5" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v5" types="" />
</reduce>
<suspend chrono="148" cident="c92" />
<choice-point chrono="149" depth="11" nident="11" />
<new-constraint chrono="150" cident="c95" cinternal="x_lt_y(v12,v10)" orig="user" cname="c1sym3" />
<post chrono="151" cident="c95" />
<reduce chrono="152" cident="c95" vident="v12" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v12" types="" />
</reduce>
<reduce chrono="153" cident="c95" vident="v10" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="154" cident="c95" />
<choice-point chrono="155" depth="12" nident="12" />
<new-constraint chrono="156" cident="c98" cinternal="x_lt_y(v13,v12)" orig="user" cname="c2sym4" />
<post chrono="157" cident="c98" />
<reduce chrono="158" cident="c98" vident="v13" >
	<delta><range from="4" to="5" /></delta>
	<update vident="v13" types="" />
</reduce>
<reduce chrono="159" cident="c98" vident="v12" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v12" types="min " />
</reduce>
<suspend chrono="160" cident="c98" />
<schedule chrono="161" />
<awake chrono="162" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<reduce chrono="163" cident="c95" vident="v10" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="164" cident="c95" />
<choice-point chrono="165" depth="13" nident="13" />
<new-constraint chrono="166" cident="c101" cinternal="assign(v1,1)" orig="system" />
<post chrono="167" cident="c101" />
<reduce chrono="168" cident="c101" vident="v1" >
	<delta><range from="2" to="3" /></delta>
	<update vident="v1" types="val " />
</reduce>
<solved chrono="169" cident="c101" />
<schedule chrono="170" />
<awake chrono="171" cident="c77" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="172" cident="c77" vident="v4" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v4" types="" />
</reduce>
<suspend chrono="173" cident="c77" />
<awake chrono="174" cident="c74" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="175" cident="c74" vident="v9" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="176" cident="c74" />
<awake chrono="177" cident="c71" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="178" cident="c71" vident="v7" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v7" types="" />
</reduce>
<suspend chrono="179" cident="c71" />
<awake chrono="180" cident="c17" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="181" cident="c17" vident="v3" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v3" types="min val " />
</reduce>
<suspend chrono="182" cident="c17" />
<awake chrono="183" cident="c14" >
	<update vident="v1" types="val" />
</awake>
<suspend chrono="184" cident="c14" />
<schedule chrono="185" />
<awake chrono="186" cident="c89" >
	<update vident="v3" types="min" />
</awake>
<reduce chrono="187" cident="c89" vident="v2" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v2" types="val " />
</reduce>
<suspend chrono="188" cident="c89" />
<schedule chrono="189" />
<awake chrono="190" cident="c20" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="191" cident="c20" />
<awake chrono="192" cident="c17" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="193" cident="c17" />
<schedule chrono="194" />
<awake chrono="195" cident="c20" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="196" cident="c20" />
<awake chrono="197" cident="c14" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="198" cident="c14" />
<choice-point chrono="199" depth="14" nident="14" />
<new-constraint chrono="200" cident="c102" cinternal="assign(v4,2)" orig="system" />
<post chrono="201" cident="c102" />
<reduce chrono="202" cident="c102" vident="v4" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="203" cident="c102" />
<schedule chrono="204" />
<awake chrono="205" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="206" cident="c86" vident="v9" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="207" cident="c86" />
<awake chrono="208" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="209" cident="c83" vident="v7" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="210" cident="c83" />
<awake chrono="211" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="212" cident="c26" vident="v6" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v6" types="val " />
</reduce>
<suspend chrono="213" cident="c26" />
<awake chrono="214" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="215" cident="c23" vident="v5" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v5" types="val " />
</reduce>
<suspend chrono="216" cident="c23" />
<schedule chrono="217" />
<awake chrono="218" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="219" cident="c83" />
<awake chrono="220" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="221" cident="c80" vident="v9" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="222" cident="c80" />
<awake chrono="223" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="224" cident="c65" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="225" cident="c65" />
<awake chrono="226" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="227" cident="c62" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="228" cident="c62" />
<schedule chrono="229" />
<awake chrono="230" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="231" cident="c29" />
<awake chrono="232" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="233" cident="c26" />
<schedule chrono="234" />
<awake chrono="235" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="236" cident="c29" />
<awake chrono="237" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="238" cident="c23" />
<choice-point chrono="239" depth="15" nident="15" />
<new-constraint chrono="240" cident="c103" cinternal="assign(v8,1)" orig="system" />
<post chrono="241" cident="c103" />
<reduce chrono="242" cident="c103" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="243" cident="c103" />
<schedule chrono="244" />
<awake chrono="245" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="246" cident="c68" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="247" cident="c68" />
<choice-point chrono="248" depth="16" nident="16" />
<new-constraint chrono="249" cident="c104" cinternal="assign(v9,4)" orig="system" />
<post chrono="250" cident="c104" />
<reduce chrono="251" cident="c104" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="252" cident="c104" />
<schedule chrono="253" />
<awake chrono="254" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="255" cident="c41" />
<awake chrono="256" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="257" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="258" cident="c38" />
<awake chrono="259" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="260" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="261" cident="c35" />
<awake chrono="262" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="263" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="264" cident="c32" />
<schedule chrono="265" />
<awake chrono="266" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="267" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="268" cident="c98" />
<choice-point chrono="269" depth="17" nident="17" />
<new-constraint chrono="270" cident="c105" cinternal="assign(v10,3)" orig="system" />
<post chrono="271" cident="c105" />
<reduce chrono="272" cident="c105" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="273" cident="c105" />
<schedule chrono="274" />
<awake chrono="275" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="276" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="277" cident="c95" />
<schedule chrono="278" />
<awake chrono="279" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="280" cident="c50" />
<awake chrono="281" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="282" cident="c47" />
<awake chrono="283" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="284" cident="c44" />
<schedule chrono="285" />
<awake chrono="286" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="287" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="288" cident="c98" />
<schedule chrono="289" />
<awake chrono="290" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="291" cident="c59" />
<awake chrono="292" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="293" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="294" cident="c53" />
<awake chrono="295" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="296" cident="c47" />
<schedule chrono="297" />
<awake chrono="298" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="299" cident="c59" />
<awake chrono="300" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="301" cident="c56" />
<awake chrono="302" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="303" cident="c50" />
<schedule chrono="304" />
<awake chrono="305" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="306" cident="c56" />
<awake chrono="307" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="308" cident="c53" />
<awake chrono="309" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="310" cident="c44" />
<failure chrono="311" depth="18" nident="18" />
<back-to chrono="312" depth="17" node="17" node-before="18" />
<new-constraint chrono="313" cident="c106" cinternal="assign(v10,5)" orig="system" />
<post chrono="314" cident="c106" />
<reduce chrono="315" cident="c106" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="316" cident="c106" />
<schedule chrono="317" />
<awake chrono="318" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="319" cident="c50" />
<awake chrono="320" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="321" cident="c47" />
<awake chrono="322" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="323" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="324" cident="c44" />
<schedule chrono="325" />
<awake chrono="326" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="327" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="328" cident="c56" />
<awake chrono="329" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="330" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="331" cident="c53" />
<awake chrono="332" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="333" cident="c44" />
<schedule chrono="334" />
<awake chrono="335" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="336" cident="c59" />
<awake chrono="337" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="338" cident="c56" />
<awake chrono="339" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="340" cident="c50" />
<schedule chrono="341" />
<awake chrono="342" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="343" cident="c95" />
<schedule chrono="344" />
<awake chrono="345" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="346" cident="c59" />
<awake chrono="347" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="348" cident="c53" />
<awake chrono="349" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="350" cident="c47" />
<failure chrono="351" depth="18" nident="19" />
<back-to chrono="352" depth="16" node="16" node-before="19" />
<new-constraint chrono="353" cident="c107" cinternal="assign(v9,5)" orig="system" />
<post chrono="354" cident="c107" />
<reduce chrono="355" cident="c107" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="356" cident="c107" />
<schedule chrono="357" />
<awake chrono="358" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="359" cident="c41" />
<awake chrono="360" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="361" cident="c38" />
<awake chrono="362" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="363" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="364" cident="c35" />
<awake chrono="365" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="366" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="367" cident="c32" />
<schedule chrono="368" />
<awake chrono="369" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="370" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="371" cident="c95" />
<schedule chrono="372" />
<awake chrono="373" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="374" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="375" cident="c98" />
<choice-point chrono="376" depth="17" nident="20" />
<new-constraint chrono="377" cident="c108" cinternal="assign(v10,3)" orig="system" />
<post chrono="378" cident="c108" />
<reduce chrono="379" cident="c108" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="380" cident="c108" />
<schedule chrono="381" />
<awake chrono="382" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="383" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="384" cident="c95" />
<schedule chrono="385" />
<awake chrono="386" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="387" cident="c50" />
<awake chrono="388" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="389" cident="c47" />
<awake chrono="390" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="391" cident="c44" />
<schedule chrono="392" />
<awake chrono="393" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="394" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="395" cident="c98" />
<schedule chrono="396" />
<awake chrono="397" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="398" cident="c59" />
<awake chrono="399" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="400" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="401" cident="c53" />
<awake chrono="402" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="403" cident="c47" />
<schedule chrono="404" />
<awake chrono="405" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="406" cident="c59" />
<awake chrono="407" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="408" cident="c56" />
<awake chrono="409" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="410" cident="c50" />
<schedule chrono="411" />
<awake chrono="412" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="413" cident="c56" />
<awake chrono="414" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="415" cident="c53" />
<awake chrono="416" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="417" cident="c44" />
<failure chrono="418" depth="18" nident="21" />
<back-to chrono="419" depth="17" node="20" node-before="21" />
<new-constraint chrono="420" cident="c109" cinternal="assign(v10,4)" orig="system" />
<post chrono="421" cident="c109" />
<reduce chrono="422" cident="c109" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="423" cident="c109" />
<schedule chrono="424" />
<awake chrono="425" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="426" cident="c50" />
<awake chrono="427" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="428" cident="c47" />
<awake chrono="429" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="430" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="431" cident="c44" />
<schedule chrono="432" />
<awake chrono="433" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="434" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="435" cident="c56" />
<awake chrono="436" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="437" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="438" cident="c53" />
<awake chrono="439" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="440" cident="c44" />
<schedule chrono="441" />
<awake chrono="442" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="443" cident="c59" />
<awake chrono="444" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="445" cident="c56" />
<awake chrono="446" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="447" cident="c50" />
<schedule chrono="448" />
<awake chrono="449" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="450" cident="c95" />
<schedule chrono="451" />
<awake chrono="452" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="453" cident="c59" />
<awake chrono="454" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="455" cident="c53" />
<awake chrono="456" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="457" cident="c47" />
<failure chrono="458" depth="18" nident="22" />
<back-to chrono="459" depth="15" node="15" node-before="22" />
<new-constraint chrono="460" cident="c110" cinternal="assign(v8,2)" orig="system" />
<post chrono="461" cident="c110" />
<reduce chrono="462" cident="c110" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="463" cident="c110" />
<schedule chrono="464" />
<awake chrono="465" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="466" cident="c68" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="467" cident="c68" />
<choice-point chrono="468" depth="16" nident="23" />
<new-constraint chrono="469" cident="c111" cinternal="assign(v9,4)" orig="system" />
<post chrono="470" cident="c111" />
<reduce chrono="471" cident="c111" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="472" cident="c111" />
<schedule chrono="473" />
<awake chrono="474" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="475" cident="c41" />
<awake chrono="476" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="477" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="478" cident="c38" />
<awake chrono="479" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="480" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="481" cident="c35" />
<awake chrono="482" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="483" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="484" cident="c32" />
<schedule chrono="485" />
<awake chrono="486" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="487" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="488" cident="c98" />
<choice-point chrono="489" depth="17" nident="24" />
<new-constraint chrono="490" cident="c112" cinternal="assign(v10,3)" orig="system" />
<post chrono="491" cident="c112" />
<reduce chrono="492" cident="c112" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="493" cident="c112" />
<schedule chrono="494" />
<awake chrono="495" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="496" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="497" cident="c95" />
<schedule chrono="498" />
<awake chrono="499" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="500" cident="c50" />
<awake chrono="501" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="502" cident="c47" />
<awake chrono="503" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="504" cident="c44" />
<schedule chrono="505" />
<awake chrono="506" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="507" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="508" cident="c98" />
<schedule chrono="509" />
<awake chrono="510" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="511" cident="c59" />
<awake chrono="512" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="513" cident="c53" />
<awake chrono="514" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="515" cident="c47" />
<schedule chrono="516" />
<awake chrono="517" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="518" cident="c59" />
<awake chrono="519" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="520" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="521" cident="c56" />
<awake chrono="522" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="523" cident="c50" />
<schedule chrono="524" />
<awake chrono="525" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="526" cident="c56" />
<awake chrono="527" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="528" cident="c53" />
<awake chrono="529" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="530" cident="c44" />
<failure chrono="531" depth="18" nident="25" />
<back-to chrono="532" depth="17" node="24" node-before="25" />
<new-constraint chrono="533" cident="c113" cinternal="assign(v10,5)" orig="system" />
<post chrono="534" cident="c113" />
<reduce chrono="535" cident="c113" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="536" cident="c113" />
<schedule chrono="537" />
<awake chrono="538" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="539" cident="c50" />
<awake chrono="540" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="541" cident="c47" />
<awake chrono="542" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="543" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="544" cident="c44" />
<schedule chrono="545" />
<awake chrono="546" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="547" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="548" cident="c56" />
<awake chrono="549" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="550" cident="c53" />
<awake chrono="551" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="552" cident="c44" />
<schedule chrono="553" />
<awake chrono="554" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="555" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="556" cident="c98" />
<schedule chrono="557" />
<awake chrono="558" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="559" cident="c59" />
<awake chrono="560" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="561" cident="c56" />
<awake chrono="562" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="563" cident="c50" />
<schedule chrono="564" />
<awake chrono="565" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="566" cident="c95" />
<schedule chrono="567" />
<awake chrono="568" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="569" cident="c59" />
<awake chrono="570" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="571" cident="c53" />
<awake chrono="572" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="573" cident="c47" />
<failure chrono="574" depth="18" nident="26" />
<back-to chrono="575" depth="16" node="23" node-before="26" />
<new-constraint chrono="576" cident="c114" cinternal="assign(v9,5)" orig="system" />
<post chrono="577" cident="c114" />
<reduce chrono="578" cident="c114" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="579" cident="c114" />
<schedule chrono="580" />
<awake chrono="581" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="582" cident="c41" />
<awake chrono="583" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="584" cident="c38" />
<awake chrono="585" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="586" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="587" cident="c35" />
<awake chrono="588" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="589" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="590" cident="c32" />
<schedule chrono="591" />
<awake chrono="592" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="593" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="594" cident="c95" />
<schedule chrono="595" />
<awake chrono="596" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="597" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="598" cident="c98" />
<choice-point chrono="599" depth="17" nident="27" />
<new-constraint chrono="600" cident="c115" cinternal="assign(v10,3)" orig="system" />
<post chrono="601" cident="c115" />
<reduce chrono="602" cident="c115" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="603" cident="c115" />
<schedule chrono="604" />
<awake chrono="605" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="606" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="607" cident="c95" />
<schedule chrono="608" />
<awake chrono="609" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="610" cident="c50" />
<awake chrono="611" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="612" cident="c47" />
<awake chrono="613" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="614" cident="c44" />
<schedule chrono="615" />
<awake chrono="616" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="617" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="618" cident="c98" />
<schedule chrono="619" />
<awake chrono="620" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="621" cident="c59" />
<awake chrono="622" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="623" cident="c53" />
<awake chrono="624" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="625" cident="c47" />
<schedule chrono="626" />
<awake chrono="627" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="628" cident="c59" />
<awake chrono="629" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="630" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="631" cident="c56" />
<awake chrono="632" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="633" cident="c50" />
<schedule chrono="634" />
<awake chrono="635" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="636" cident="c56" />
<awake chrono="637" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="638" cident="c53" />
<awake chrono="639" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="640" cident="c44" />
<failure chrono="641" depth="18" nident="28" />
<back-to chrono="642" depth="17" node="27" node-before="28" />
<new-constraint chrono="643" cident="c116" cinternal="assign(v10,4)" orig="system" />
<post chrono="644" cident="c116" />
<reduce chrono="645" cident="c116" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="646" cident="c116" />
<schedule chrono="647" />
<awake chrono="648" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="649" cident="c50" />
<awake chrono="650" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="651" cident="c47" />
<awake chrono="652" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="653" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="654" cident="c44" />
<schedule chrono="655" />
<awake chrono="656" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="657" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="658" cident="c56" />
<awake chrono="659" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="660" cident="c53" />
<awake chrono="661" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="662" cident="c44" />
<schedule chrono="663" />
<awake chrono="664" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="665" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="666" cident="c98" />
<schedule chrono="667" />
<awake chrono="668" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="669" cident="c59" />
<awake chrono="670" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="671" cident="c56" />
<awake chrono="672" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="673" cident="c50" />
<schedule chrono="674" />
<awake chrono="675" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="676" cident="c95" />
<schedule chrono="677" />
<awake chrono="678" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="679" cident="c59" />
<awake chrono="680" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="681" cident="c53" />
<awake chrono="682" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="683" cident="c47" />
<failure chrono="684" depth="18" nident="29" />
<back-to chrono="685" depth="14" node="14" node-before="29" />
<new-constraint chrono="686" cident="c117" cinternal="assign(v4,3)" orig="system" />
<post chrono="687" cident="c117" />
<reduce chrono="688" cident="c117" vident="v4" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="689" cident="c117" />
<schedule chrono="690" />
<awake chrono="691" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="692" cident="c86" vident="v9" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="693" cident="c86" />
<awake chrono="694" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="695" cident="c83" vident="v7" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="696" cident="c83" />
<awake chrono="697" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="698" cident="c26" />
<awake chrono="699" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="700" cident="c23" vident="v5" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v5" types="max val " />
</reduce>
<suspend chrono="701" cident="c23" />
<schedule chrono="702" />
<awake chrono="703" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="704" cident="c83" />
<awake chrono="705" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="706" cident="c80" vident="v9" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="707" cident="c80" />
<awake chrono="708" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="709" cident="c65" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="710" cident="c65" />
<awake chrono="711" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="712" cident="c62" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="713" cident="c62" />
<schedule chrono="714" />
<awake chrono="715" cident="c92" >
	<update vident="v5" types="max" />
</awake>
<reduce chrono="716" cident="c92" vident="v6" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v6" types="val " />
</reduce>
<suspend chrono="717" cident="c92" />
<schedule chrono="718" />
<awake chrono="719" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="720" cident="c29" />
<awake chrono="721" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="722" cident="c23" />
<schedule chrono="723" />
<awake chrono="724" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="725" cident="c29" />
<awake chrono="726" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="727" cident="c26" />
<choice-point chrono="728" depth="15" nident="30" />
<new-constraint chrono="729" cident="c118" cinternal="assign(v8,1)" orig="system" />
<post chrono="730" cident="c118" />
<reduce chrono="731" cident="c118" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="732" cident="c118" />
<schedule chrono="733" />
<awake chrono="734" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="735" cident="c68" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="736" cident="c68" />
<choice-point chrono="737" depth="16" nident="31" />
<new-constraint chrono="738" cident="c119" cinternal="assign(v9,4)" orig="system" />
<post chrono="739" cident="c119" />
<reduce chrono="740" cident="c119" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="741" cident="c119" />
<schedule chrono="742" />
<awake chrono="743" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="744" cident="c41" />
<awake chrono="745" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="746" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="747" cident="c38" />
<awake chrono="748" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="749" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="750" cident="c35" />
<awake chrono="751" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="752" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="753" cident="c32" />
<schedule chrono="754" />
<awake chrono="755" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="756" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="757" cident="c98" />
<choice-point chrono="758" depth="17" nident="32" />
<new-constraint chrono="759" cident="c120" cinternal="assign(v10,3)" orig="system" />
<post chrono="760" cident="c120" />
<reduce chrono="761" cident="c120" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="762" cident="c120" />
<schedule chrono="763" />
<awake chrono="764" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="765" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="766" cident="c95" />
<schedule chrono="767" />
<awake chrono="768" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="769" cident="c50" />
<awake chrono="770" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="771" cident="c47" />
<awake chrono="772" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="773" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="774" cident="c44" />
<schedule chrono="775" />
<awake chrono="776" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="777" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="778" cident="c98" />
<schedule chrono="779" />
<awake chrono="780" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="781" cident="c59" />
<awake chrono="782" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="783" cident="c53" />
<awake chrono="784" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="785" cident="c47" />
<schedule chrono="786" />
<awake chrono="787" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="788" cident="c56" />
<awake chrono="789" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="790" cident="c53" />
<awake chrono="791" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="792" cident="c44" />
<schedule chrono="793" />
<awake chrono="794" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="795" cident="c59" />
<awake chrono="796" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="797" cident="c56" />
<awake chrono="798" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="799" cident="c50" />
<failure chrono="800" depth="18" nident="33" />
<back-to chrono="801" depth="17" node="32" node-before="33" />
<new-constraint chrono="802" cident="c121" cinternal="assign(v10,5)" orig="system" />
<post chrono="803" cident="c121" />
<reduce chrono="804" cident="c121" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="805" cident="c121" />
<schedule chrono="806" />
<awake chrono="807" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="808" cident="c50" />
<awake chrono="809" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="810" cident="c47" />
<awake chrono="811" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="812" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="813" cident="c44" />
<schedule chrono="814" />
<awake chrono="815" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="816" cident="c56" />
<awake chrono="817" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="818" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="819" cident="c53" />
<awake chrono="820" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="821" cident="c44" />
<schedule chrono="822" />
<awake chrono="823" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="824" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="825" cident="c98" />
<schedule chrono="826" />
<awake chrono="827" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="828" cident="c59" />
<awake chrono="829" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="830" cident="c53" />
<awake chrono="831" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="832" cident="c47" />
<schedule chrono="833" />
<awake chrono="834" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="835" cident="c59" />
<awake chrono="836" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="837" cident="c56" />
<awake chrono="838" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="839" cident="c50" />
<failure chrono="840" depth="18" nident="34" />
<back-to chrono="841" depth="16" node="31" node-before="34" />
<new-constraint chrono="842" cident="c122" cinternal="assign(v9,5)" orig="system" />
<post chrono="843" cident="c122" />
<reduce chrono="844" cident="c122" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="845" cident="c122" />
<schedule chrono="846" />
<awake chrono="847" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="848" cident="c41" />
<awake chrono="849" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="850" cident="c38" />
<awake chrono="851" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="852" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="853" cident="c35" />
<awake chrono="854" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="855" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="856" cident="c32" />
<schedule chrono="857" />
<awake chrono="858" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="859" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="860" cident="c95" />
<schedule chrono="861" />
<awake chrono="862" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="863" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="864" cident="c98" />
<choice-point chrono="865" depth="17" nident="35" />
<new-constraint chrono="866" cident="c123" cinternal="assign(v10,3)" orig="system" />
<post chrono="867" cident="c123" />
<reduce chrono="868" cident="c123" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="869" cident="c123" />
<schedule chrono="870" />
<awake chrono="871" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="872" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="873" cident="c95" />
<schedule chrono="874" />
<awake chrono="875" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="876" cident="c50" />
<awake chrono="877" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="878" cident="c47" />
<awake chrono="879" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="880" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="881" cident="c44" />
<schedule chrono="882" />
<awake chrono="883" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="884" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="885" cident="c98" />
<schedule chrono="886" />
<awake chrono="887" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="888" cident="c59" />
<awake chrono="889" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="890" cident="c53" />
<awake chrono="891" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="892" cident="c47" />
<schedule chrono="893" />
<awake chrono="894" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="895" cident="c56" />
<awake chrono="896" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="897" cident="c53" />
<awake chrono="898" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="899" cident="c44" />
<schedule chrono="900" />
<awake chrono="901" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="902" cident="c59" />
<awake chrono="903" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="904" cident="c56" />
<awake chrono="905" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="906" cident="c50" />
<failure chrono="907" depth="18" nident="36" />
<back-to chrono="908" depth="17" node="35" node-before="36" />
<new-constraint chrono="909" cident="c124" cinternal="assign(v10,4)" orig="system" />
<post chrono="910" cident="c124" />
<reduce chrono="911" cident="c124" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="912" cident="c124" />
<schedule chrono="913" />
<awake chrono="914" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="915" cident="c50" />
<awake chrono="916" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="917" cident="c47" />
<awake chrono="918" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="919" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="920" cident="c44" />
<schedule chrono="921" />
<awake chrono="922" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="923" cident="c56" />
<awake chrono="924" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="925" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="926" cident="c53" />
<awake chrono="927" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="928" cident="c44" />
<schedule chrono="929" />
<awake chrono="930" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="931" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="932" cident="c98" />
<schedule chrono="933" />
<awake chrono="934" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="935" cident="c59" />
<awake chrono="936" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="937" cident="c53" />
<awake chrono="938" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="939" cident="c47" />
<schedule chrono="940" />
<awake chrono="941" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="942" cident="c59" />
<awake chrono="943" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="944" cident="c56" />
<awake chrono="945" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="946" cident="c50" />
<failure chrono="947" depth="18" nident="37" />
<back-to chrono="948" depth="15" node="30" node-before="37" />
<new-constraint chrono="949" cident="c125" cinternal="assign(v8,3)" orig="system" />
<post chrono="950" cident="c125" />
<reduce chrono="951" cident="c125" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="952" cident="c125" />
<schedule chrono="953" />
<awake chrono="954" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="955" cident="c68" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="956" cident="c68" />
<choice-point chrono="957" depth="16" nident="38" />
<new-constraint chrono="958" cident="c126" cinternal="assign(v9,4)" orig="system" />
<post chrono="959" cident="c126" />
<reduce chrono="960" cident="c126" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="961" cident="c126" />
<schedule chrono="962" />
<awake chrono="963" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="964" cident="c41" />
<awake chrono="965" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="966" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="967" cident="c38" />
<awake chrono="968" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="969" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="970" cident="c35" />
<awake chrono="971" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="972" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="973" cident="c32" />
<schedule chrono="974" />
<awake chrono="975" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="976" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="977" cident="c98" />
<choice-point chrono="978" depth="17" nident="39" />
<new-constraint chrono="979" cident="c127" cinternal="assign(v10,3)" orig="system" />
<post chrono="980" cident="c127" />
<reduce chrono="981" cident="c127" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="982" cident="c127" />
<schedule chrono="983" />
<awake chrono="984" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="985" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="986" cident="c95" />
<schedule chrono="987" />
<awake chrono="988" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="989" cident="c50" />
<awake chrono="990" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="991" cident="c47" />
<awake chrono="992" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="993" cident="c44" />
<schedule chrono="994" />
<awake chrono="995" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="996" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="997" cident="c98" />
<schedule chrono="998" />
<awake chrono="999" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1000" cident="c59" />
<awake chrono="1001" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1002" cident="c53" />
<awake chrono="1003" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1004" cident="c47" />
<schedule chrono="1005" />
<awake chrono="1006" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1007" cident="c59" />
<awake chrono="1008" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="1009" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1010" cident="c56" />
<awake chrono="1011" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1012" cident="c50" />
<schedule chrono="1013" />
<awake chrono="1014" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1015" cident="c56" />
<awake chrono="1016" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1017" cident="c53" />
<awake chrono="1018" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1019" cident="c44" />
<failure chrono="1020" depth="18" nident="40" />
<back-to chrono="1021" depth="17" node="39" node-before="40" />
<new-constraint chrono="1022" cident="c128" cinternal="assign(v10,5)" orig="system" />
<post chrono="1023" cident="c128" />
<reduce chrono="1024" cident="c128" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1025" cident="c128" />
<schedule chrono="1026" />
<awake chrono="1027" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1028" cident="c50" />
<awake chrono="1029" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1030" cident="c47" />
<awake chrono="1031" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1032" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1033" cident="c44" />
<schedule chrono="1034" />
<awake chrono="1035" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1036" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="1037" cident="c56" />
<awake chrono="1038" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1039" cident="c53" />
<awake chrono="1040" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1041" cident="c44" />
<schedule chrono="1042" />
<awake chrono="1043" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="1044" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1045" cident="c98" />
<schedule chrono="1046" />
<awake chrono="1047" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1048" cident="c59" />
<awake chrono="1049" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1050" cident="c56" />
<awake chrono="1051" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1052" cident="c50" />
<schedule chrono="1053" />
<awake chrono="1054" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1055" cident="c95" />
<schedule chrono="1056" />
<awake chrono="1057" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1058" cident="c59" />
<awake chrono="1059" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1060" cident="c53" />
<awake chrono="1061" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1062" cident="c47" />
<failure chrono="1063" depth="18" nident="41" />
<back-to chrono="1064" depth="16" node="38" node-before="41" />
<new-constraint chrono="1065" cident="c129" cinternal="assign(v9,5)" orig="system" />
<post chrono="1066" cident="c129" />
<reduce chrono="1067" cident="c129" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1068" cident="c129" />
<schedule chrono="1069" />
<awake chrono="1070" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1071" cident="c41" />
<awake chrono="1072" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1073" cident="c38" />
<awake chrono="1074" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1075" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1076" cident="c35" />
<awake chrono="1077" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1078" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="1079" cident="c32" />
<schedule chrono="1080" />
<awake chrono="1081" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1082" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1083" cident="c95" />
<schedule chrono="1084" />
<awake chrono="1085" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1086" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1087" cident="c98" />
<choice-point chrono="1088" depth="17" nident="42" />
<new-constraint chrono="1089" cident="c130" cinternal="assign(v10,3)" orig="system" />
<post chrono="1090" cident="c130" />
<reduce chrono="1091" cident="c130" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1092" cident="c130" />
<schedule chrono="1093" />
<awake chrono="1094" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1095" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1096" cident="c95" />
<schedule chrono="1097" />
<awake chrono="1098" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1099" cident="c50" />
<awake chrono="1100" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1101" cident="c47" />
<awake chrono="1102" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1103" cident="c44" />
<schedule chrono="1104" />
<awake chrono="1105" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1106" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1107" cident="c98" />
<schedule chrono="1108" />
<awake chrono="1109" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1110" cident="c59" />
<awake chrono="1111" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1112" cident="c53" />
<awake chrono="1113" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1114" cident="c47" />
<schedule chrono="1115" />
<awake chrono="1116" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1117" cident="c59" />
<awake chrono="1118" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="1119" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1120" cident="c56" />
<awake chrono="1121" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1122" cident="c50" />
<schedule chrono="1123" />
<awake chrono="1124" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1125" cident="c56" />
<awake chrono="1126" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1127" cident="c53" />
<awake chrono="1128" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1129" cident="c44" />
<failure chrono="1130" depth="18" nident="43" />
<back-to chrono="1131" depth="17" node="42" node-before="43" />
<new-constraint chrono="1132" cident="c131" cinternal="assign(v10,4)" orig="system" />
<post chrono="1133" cident="c131" />
<reduce chrono="1134" cident="c131" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1135" cident="c131" />
<schedule chrono="1136" />
<awake chrono="1137" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1138" cident="c50" />
<awake chrono="1139" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1140" cident="c47" />
<awake chrono="1141" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1142" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1143" cident="c44" />
<schedule chrono="1144" />
<awake chrono="1145" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1146" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="1147" cident="c56" />
<awake chrono="1148" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1149" cident="c53" />
<awake chrono="1150" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1151" cident="c44" />
<schedule chrono="1152" />
<awake chrono="1153" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="1154" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1155" cident="c98" />
<schedule chrono="1156" />
<awake chrono="1157" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1158" cident="c59" />
<awake chrono="1159" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1160" cident="c56" />
<awake chrono="1161" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1162" cident="c50" />
<schedule chrono="1163" />
<awake chrono="1164" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1165" cident="c95" />
<schedule chrono="1166" />
<awake chrono="1167" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1168" cident="c59" />
<awake chrono="1169" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1170" cident="c53" />
<awake chrono="1171" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1172" cident="c47" />
<failure chrono="1173" depth="18" nident="44" />
<back-to chrono="1174" depth="13" node="13" node-before="44" />
<new-constraint chrono="1175" cident="c132" cinternal="assign(v1,2)" orig="system" />
<post chrono="1176" cident="c132" />
<reduce chrono="1177" cident="c132" vident="v1" >
	<delta><range from="1" to="1" /><range from="3" to="3" /></delta>
	<update vident="v1" types="val " />
</reduce>
<solved chrono="1178" cident="c132" />
<schedule chrono="1179" />
<awake chrono="1180" cident="c77" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="1181" cident="c77" vident="v4" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v4" types="" />
</reduce>
<suspend chrono="1182" cident="c77" />
<awake chrono="1183" cident="c74" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="1184" cident="c74" vident="v9" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="1185" cident="c74" />
<awake chrono="1186" cident="c71" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="1187" cident="c71" vident="v7" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v7" types="" />
</reduce>
<suspend chrono="1188" cident="c71" />
<awake chrono="1189" cident="c17" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="1190" cident="c17" vident="v3" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v3" types="val " />
</reduce>
<suspend chrono="1191" cident="c17" />
<awake chrono="1192" cident="c14" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="1193" cident="c14" vident="v2" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v2" types="val " />
</reduce>
<suspend chrono="1194" cident="c14" />
<schedule chrono="1195" />
<awake chrono="1196" cident="c20" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="1197" cident="c20" />
<awake chrono="1198" cident="c17" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="1199" cident="c17" />
<schedule chrono="1200" />
<awake chrono="1201" cident="c20" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="1202" cident="c20" />
<awake chrono="1203" cident="c14" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="1204" cident="c14" />
<choice-point chrono="1205" depth="14" nident="45" />
<new-constraint chrono="1206" cident="c133" cinternal="assign(v4,1)" orig="system" />
<post chrono="1207" cident="c133" />
<reduce chrono="1208" cident="c133" vident="v4" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="1209" cident="c133" />
<schedule chrono="1210" />
<awake chrono="1211" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1212" cident="c86" vident="v9" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="1213" cident="c86" />
<awake chrono="1214" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1215" cident="c83" vident="v7" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="1216" cident="c83" />
<awake chrono="1217" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1218" cident="c26" vident="v6" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v6" types="min val " />
</reduce>
<suspend chrono="1219" cident="c26" />
<awake chrono="1220" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="1221" cident="c23" />
<schedule chrono="1222" />
<awake chrono="1223" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="1224" cident="c83" />
<awake chrono="1225" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1226" cident="c80" vident="v9" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="1227" cident="c80" />
<awake chrono="1228" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1229" cident="c65" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1230" cident="c65" />
<awake chrono="1231" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1232" cident="c62" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="1233" cident="c62" />
<schedule chrono="1234" />
<awake chrono="1235" cident="c92" >
	<update vident="v6" types="min" />
</awake>
<reduce chrono="1236" cident="c92" vident="v5" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v5" types="val " />
</reduce>
<suspend chrono="1237" cident="c92" />
<schedule chrono="1238" />
<awake chrono="1239" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="1240" cident="c29" />
<awake chrono="1241" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="1242" cident="c26" />
<schedule chrono="1243" />
<awake chrono="1244" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="1245" cident="c29" />
<awake chrono="1246" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="1247" cident="c23" />
<choice-point chrono="1248" depth="15" nident="46" />
<new-constraint chrono="1249" cident="c134" cinternal="assign(v8,1)" orig="system" />
<post chrono="1250" cident="c134" />
<reduce chrono="1251" cident="c134" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="1252" cident="c134" />
<schedule chrono="1253" />
<awake chrono="1254" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="1255" cident="c68" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1256" cident="c68" />
<choice-point chrono="1257" depth="16" nident="47" />
<new-constraint chrono="1258" cident="c135" cinternal="assign(v9,4)" orig="system" />
<post chrono="1259" cident="c135" />
<reduce chrono="1260" cident="c135" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1261" cident="c135" />
<schedule chrono="1262" />
<awake chrono="1263" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1264" cident="c41" />
<awake chrono="1265" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1266" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1267" cident="c38" />
<awake chrono="1268" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1269" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1270" cident="c35" />
<awake chrono="1271" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1272" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="1273" cident="c32" />
<schedule chrono="1274" />
<awake chrono="1275" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1276" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1277" cident="c98" />
<choice-point chrono="1278" depth="17" nident="48" />
<new-constraint chrono="1279" cident="c136" cinternal="assign(v10,3)" orig="system" />
<post chrono="1280" cident="c136" />
<reduce chrono="1281" cident="c136" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1282" cident="c136" />
<schedule chrono="1283" />
<awake chrono="1284" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1285" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1286" cident="c95" />
<schedule chrono="1287" />
<awake chrono="1288" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1289" cident="c50" />
<awake chrono="1290" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1291" cident="c47" />
<awake chrono="1292" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1293" cident="c44" />
<schedule chrono="1294" />
<awake chrono="1295" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1296" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1297" cident="c98" />
<schedule chrono="1298" />
<awake chrono="1299" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1300" cident="c59" />
<awake chrono="1301" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="1302" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1303" cident="c53" />
<awake chrono="1304" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1305" cident="c47" />
<schedule chrono="1306" />
<awake chrono="1307" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1308" cident="c59" />
<awake chrono="1309" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1310" cident="c56" />
<awake chrono="1311" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1312" cident="c50" />
<schedule chrono="1313" />
<awake chrono="1314" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1315" cident="c56" />
<awake chrono="1316" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1317" cident="c53" />
<awake chrono="1318" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1319" cident="c44" />
<failure chrono="1320" depth="18" nident="49" />
<back-to chrono="1321" depth="17" node="48" node-before="49" />
<new-constraint chrono="1322" cident="c137" cinternal="assign(v10,5)" orig="system" />
<post chrono="1323" cident="c137" />
<reduce chrono="1324" cident="c137" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1325" cident="c137" />
<schedule chrono="1326" />
<awake chrono="1327" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1328" cident="c50" />
<awake chrono="1329" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1330" cident="c47" />
<awake chrono="1331" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1332" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1333" cident="c44" />
<schedule chrono="1334" />
<awake chrono="1335" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1336" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1337" cident="c56" />
<awake chrono="1338" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1339" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1340" cident="c53" />
<awake chrono="1341" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1342" cident="c44" />
<schedule chrono="1343" />
<awake chrono="1344" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1345" cident="c59" />
<awake chrono="1346" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1347" cident="c56" />
<awake chrono="1348" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1349" cident="c50" />
<schedule chrono="1350" />
<awake chrono="1351" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1352" cident="c95" />
<schedule chrono="1353" />
<awake chrono="1354" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1355" cident="c59" />
<awake chrono="1356" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1357" cident="c53" />
<awake chrono="1358" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1359" cident="c47" />
<failure chrono="1360" depth="18" nident="50" />
<back-to chrono="1361" depth="16" node="47" node-before="50" />
<new-constraint chrono="1362" cident="c138" cinternal="assign(v9,5)" orig="system" />
<post chrono="1363" cident="c138" />
<reduce chrono="1364" cident="c138" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1365" cident="c138" />
<schedule chrono="1366" />
<awake chrono="1367" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1368" cident="c41" />
<awake chrono="1369" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1370" cident="c38" />
<awake chrono="1371" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1372" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1373" cident="c35" />
<awake chrono="1374" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1375" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="1376" cident="c32" />
<schedule chrono="1377" />
<awake chrono="1378" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1379" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1380" cident="c95" />
<schedule chrono="1381" />
<awake chrono="1382" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1383" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1384" cident="c98" />
<choice-point chrono="1385" depth="17" nident="51" />
<new-constraint chrono="1386" cident="c139" cinternal="assign(v10,3)" orig="system" />
<post chrono="1387" cident="c139" />
<reduce chrono="1388" cident="c139" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1389" cident="c139" />
<schedule chrono="1390" />
<awake chrono="1391" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1392" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1393" cident="c95" />
<schedule chrono="1394" />
<awake chrono="1395" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1396" cident="c50" />
<awake chrono="1397" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1398" cident="c47" />
<awake chrono="1399" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1400" cident="c44" />
<schedule chrono="1401" />
<awake chrono="1402" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1403" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1404" cident="c98" />
<schedule chrono="1405" />
<awake chrono="1406" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1407" cident="c59" />
<awake chrono="1408" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="1409" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1410" cident="c53" />
<awake chrono="1411" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1412" cident="c47" />
<schedule chrono="1413" />
<awake chrono="1414" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1415" cident="c59" />
<awake chrono="1416" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1417" cident="c56" />
<awake chrono="1418" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1419" cident="c50" />
<schedule chrono="1420" />
<awake chrono="1421" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1422" cident="c56" />
<awake chrono="1423" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1424" cident="c53" />
<awake chrono="1425" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1426" cident="c44" />
<failure chrono="1427" depth="18" nident="52" />
<back-to chrono="1428" depth="17" node="51" node-before="52" />
<new-constraint chrono="1429" cident="c140" cinternal="assign(v10,4)" orig="system" />
<post chrono="1430" cident="c140" />
<reduce chrono="1431" cident="c140" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1432" cident="c140" />
<schedule chrono="1433" />
<awake chrono="1434" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1435" cident="c50" />
<awake chrono="1436" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1437" cident="c47" />
<awake chrono="1438" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1439" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1440" cident="c44" />
<schedule chrono="1441" />
<awake chrono="1442" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1443" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1444" cident="c56" />
<awake chrono="1445" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1446" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1447" cident="c53" />
<awake chrono="1448" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1449" cident="c44" />
<schedule chrono="1450" />
<awake chrono="1451" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1452" cident="c59" />
<awake chrono="1453" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1454" cident="c56" />
<awake chrono="1455" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1456" cident="c50" />
<schedule chrono="1457" />
<awake chrono="1458" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1459" cident="c95" />
<schedule chrono="1460" />
<awake chrono="1461" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1462" cident="c59" />
<awake chrono="1463" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1464" cident="c53" />
<awake chrono="1465" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1466" cident="c47" />
<failure chrono="1467" depth="18" nident="53" />
<back-to chrono="1468" depth="15" node="46" node-before="53" />
<new-constraint chrono="1469" cident="c141" cinternal="assign(v8,2)" orig="system" />
<post chrono="1470" cident="c141" />
<reduce chrono="1471" cident="c141" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="1472" cident="c141" />
<schedule chrono="1473" />
<awake chrono="1474" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="1475" cident="c68" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1476" cident="c68" />
<choice-point chrono="1477" depth="16" nident="54" />
<new-constraint chrono="1478" cident="c142" cinternal="assign(v9,4)" orig="system" />
<post chrono="1479" cident="c142" />
<reduce chrono="1480" cident="c142" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1481" cident="c142" />
<schedule chrono="1482" />
<awake chrono="1483" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1484" cident="c41" />
<awake chrono="1485" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1486" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1487" cident="c38" />
<awake chrono="1488" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1489" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1490" cident="c35" />
<awake chrono="1491" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1492" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="1493" cident="c32" />
<schedule chrono="1494" />
<awake chrono="1495" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1496" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1497" cident="c98" />
<choice-point chrono="1498" depth="17" nident="55" />
<new-constraint chrono="1499" cident="c143" cinternal="assign(v10,3)" orig="system" />
<post chrono="1500" cident="c143" />
<reduce chrono="1501" cident="c143" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1502" cident="c143" />
<schedule chrono="1503" />
<awake chrono="1504" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1505" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1506" cident="c95" />
<schedule chrono="1507" />
<awake chrono="1508" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1509" cident="c50" />
<awake chrono="1510" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1511" cident="c47" />
<awake chrono="1512" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1513" cident="c44" />
<schedule chrono="1514" />
<awake chrono="1515" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1516" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1517" cident="c98" />
<schedule chrono="1518" />
<awake chrono="1519" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1520" cident="c59" />
<awake chrono="1521" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1522" cident="c53" />
<awake chrono="1523" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1524" cident="c47" />
<schedule chrono="1525" />
<awake chrono="1526" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1527" cident="c59" />
<awake chrono="1528" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="1529" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1530" cident="c56" />
<awake chrono="1531" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1532" cident="c50" />
<schedule chrono="1533" />
<awake chrono="1534" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1535" cident="c56" />
<awake chrono="1536" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1537" cident="c53" />
<awake chrono="1538" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1539" cident="c44" />
<failure chrono="1540" depth="18" nident="56" />
<back-to chrono="1541" depth="17" node="55" node-before="56" />
<new-constraint chrono="1542" cident="c144" cinternal="assign(v10,5)" orig="system" />
<post chrono="1543" cident="c144" />
<reduce chrono="1544" cident="c144" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1545" cident="c144" />
<schedule chrono="1546" />
<awake chrono="1547" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1548" cident="c50" />
<awake chrono="1549" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1550" cident="c47" />
<awake chrono="1551" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1552" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1553" cident="c44" />
<schedule chrono="1554" />
<awake chrono="1555" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1556" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="1557" cident="c56" />
<awake chrono="1558" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1559" cident="c53" />
<awake chrono="1560" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1561" cident="c44" />
<schedule chrono="1562" />
<awake chrono="1563" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="1564" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1565" cident="c98" />
<schedule chrono="1566" />
<awake chrono="1567" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1568" cident="c59" />
<awake chrono="1569" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1570" cident="c56" />
<awake chrono="1571" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1572" cident="c50" />
<schedule chrono="1573" />
<awake chrono="1574" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1575" cident="c95" />
<schedule chrono="1576" />
<awake chrono="1577" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1578" cident="c59" />
<awake chrono="1579" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1580" cident="c53" />
<awake chrono="1581" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1582" cident="c47" />
<failure chrono="1583" depth="18" nident="57" />
<back-to chrono="1584" depth="16" node="54" node-before="57" />
<new-constraint chrono="1585" cident="c145" cinternal="assign(v9,5)" orig="system" />
<post chrono="1586" cident="c145" />
<reduce chrono="1587" cident="c145" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1588" cident="c145" />
<schedule chrono="1589" />
<awake chrono="1590" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1591" cident="c41" />
<awake chrono="1592" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1593" cident="c38" />
<awake chrono="1594" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1595" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1596" cident="c35" />
<awake chrono="1597" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1598" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="1599" cident="c32" />
<schedule chrono="1600" />
<awake chrono="1601" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1602" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1603" cident="c95" />
<schedule chrono="1604" />
<awake chrono="1605" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1606" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1607" cident="c98" />
<choice-point chrono="1608" depth="17" nident="58" />
<new-constraint chrono="1609" cident="c146" cinternal="assign(v10,3)" orig="system" />
<post chrono="1610" cident="c146" />
<reduce chrono="1611" cident="c146" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1612" cident="c146" />
<schedule chrono="1613" />
<awake chrono="1614" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1615" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1616" cident="c95" />
<schedule chrono="1617" />
<awake chrono="1618" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1619" cident="c50" />
<awake chrono="1620" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1621" cident="c47" />
<awake chrono="1622" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1623" cident="c44" />
<schedule chrono="1624" />
<awake chrono="1625" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1626" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1627" cident="c98" />
<schedule chrono="1628" />
<awake chrono="1629" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1630" cident="c59" />
<awake chrono="1631" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1632" cident="c53" />
<awake chrono="1633" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1634" cident="c47" />
<schedule chrono="1635" />
<awake chrono="1636" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1637" cident="c59" />
<awake chrono="1638" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="1639" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1640" cident="c56" />
<awake chrono="1641" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1642" cident="c50" />
<schedule chrono="1643" />
<awake chrono="1644" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1645" cident="c56" />
<awake chrono="1646" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1647" cident="c53" />
<awake chrono="1648" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1649" cident="c44" />
<failure chrono="1650" depth="18" nident="59" />
<back-to chrono="1651" depth="17" node="58" node-before="59" />
<new-constraint chrono="1652" cident="c147" cinternal="assign(v10,4)" orig="system" />
<post chrono="1653" cident="c147" />
<reduce chrono="1654" cident="c147" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1655" cident="c147" />
<schedule chrono="1656" />
<awake chrono="1657" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1658" cident="c50" />
<awake chrono="1659" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1660" cident="c47" />
<awake chrono="1661" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1662" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1663" cident="c44" />
<schedule chrono="1664" />
<awake chrono="1665" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1666" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="1667" cident="c56" />
<awake chrono="1668" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1669" cident="c53" />
<awake chrono="1670" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1671" cident="c44" />
<schedule chrono="1672" />
<awake chrono="1673" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="1674" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="1675" cident="c98" />
<schedule chrono="1676" />
<awake chrono="1677" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1678" cident="c59" />
<awake chrono="1679" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1680" cident="c56" />
<awake chrono="1681" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1682" cident="c50" />
<schedule chrono="1683" />
<awake chrono="1684" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="1685" cident="c95" />
<schedule chrono="1686" />
<awake chrono="1687" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1688" cident="c59" />
<awake chrono="1689" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1690" cident="c53" />
<awake chrono="1691" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1692" cident="c47" />
<failure chrono="1693" depth="18" nident="60" />
<back-to chrono="1694" depth="14" node="45" node-before="60" />
<new-constraint chrono="1695" cident="c148" cinternal="assign(v4,3)" orig="system" />
<post chrono="1696" cident="c148" />
<reduce chrono="1697" cident="c148" vident="v4" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="1698" cident="c148" />
<schedule chrono="1699" />
<awake chrono="1700" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1701" cident="c86" vident="v9" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="1702" cident="c86" />
<awake chrono="1703" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1704" cident="c83" vident="v7" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="1705" cident="c83" />
<awake chrono="1706" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="1707" cident="c26" />
<awake chrono="1708" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="1709" cident="c23" vident="v5" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v5" types="max val " />
</reduce>
<suspend chrono="1710" cident="c23" />
<schedule chrono="1711" />
<awake chrono="1712" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="1713" cident="c83" />
<awake chrono="1714" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1715" cident="c80" vident="v9" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="1716" cident="c80" />
<awake chrono="1717" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1718" cident="c65" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1719" cident="c65" />
<awake chrono="1720" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="1721" cident="c62" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="1722" cident="c62" />
<schedule chrono="1723" />
<awake chrono="1724" cident="c92" >
	<update vident="v5" types="max" />
</awake>
<reduce chrono="1725" cident="c92" vident="v6" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v6" types="val " />
</reduce>
<suspend chrono="1726" cident="c92" />
<schedule chrono="1727" />
<awake chrono="1728" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="1729" cident="c29" />
<awake chrono="1730" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="1731" cident="c23" />
<schedule chrono="1732" />
<awake chrono="1733" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="1734" cident="c29" />
<awake chrono="1735" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="1736" cident="c26" />
<choice-point chrono="1737" depth="15" nident="61" />
<new-constraint chrono="1738" cident="c149" cinternal="assign(v8,2)" orig="system" />
<post chrono="1739" cident="c149" />
<reduce chrono="1740" cident="c149" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="1741" cident="c149" />
<schedule chrono="1742" />
<awake chrono="1743" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="1744" cident="c68" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1745" cident="c68" />
<choice-point chrono="1746" depth="16" nident="62" />
<new-constraint chrono="1747" cident="c150" cinternal="assign(v9,4)" orig="system" />
<post chrono="1748" cident="c150" />
<reduce chrono="1749" cident="c150" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1750" cident="c150" />
<schedule chrono="1751" />
<awake chrono="1752" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1753" cident="c41" />
<awake chrono="1754" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1755" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1756" cident="c38" />
<awake chrono="1757" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1758" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1759" cident="c35" />
<awake chrono="1760" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1761" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="1762" cident="c32" />
<schedule chrono="1763" />
<awake chrono="1764" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1765" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1766" cident="c98" />
<choice-point chrono="1767" depth="17" nident="63" />
<new-constraint chrono="1768" cident="c151" cinternal="assign(v10,3)" orig="system" />
<post chrono="1769" cident="c151" />
<reduce chrono="1770" cident="c151" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1771" cident="c151" />
<schedule chrono="1772" />
<awake chrono="1773" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1774" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1775" cident="c95" />
<schedule chrono="1776" />
<awake chrono="1777" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1778" cident="c50" />
<awake chrono="1779" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1780" cident="c47" />
<awake chrono="1781" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1782" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1783" cident="c44" />
<schedule chrono="1784" />
<awake chrono="1785" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1786" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1787" cident="c98" />
<schedule chrono="1788" />
<awake chrono="1789" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1790" cident="c59" />
<awake chrono="1791" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1792" cident="c53" />
<awake chrono="1793" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1794" cident="c47" />
<schedule chrono="1795" />
<awake chrono="1796" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1797" cident="c56" />
<awake chrono="1798" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1799" cident="c53" />
<awake chrono="1800" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1801" cident="c44" />
<schedule chrono="1802" />
<awake chrono="1803" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1804" cident="c59" />
<awake chrono="1805" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1806" cident="c56" />
<awake chrono="1807" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1808" cident="c50" />
<failure chrono="1809" depth="18" nident="64" />
<back-to chrono="1810" depth="17" node="63" node-before="64" />
<new-constraint chrono="1811" cident="c152" cinternal="assign(v10,5)" orig="system" />
<post chrono="1812" cident="c152" />
<reduce chrono="1813" cident="c152" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1814" cident="c152" />
<schedule chrono="1815" />
<awake chrono="1816" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1817" cident="c50" />
<awake chrono="1818" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1819" cident="c47" />
<awake chrono="1820" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1821" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1822" cident="c44" />
<schedule chrono="1823" />
<awake chrono="1824" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1825" cident="c56" />
<awake chrono="1826" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1827" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1828" cident="c53" />
<awake chrono="1829" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1830" cident="c44" />
<schedule chrono="1831" />
<awake chrono="1832" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1833" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1834" cident="c98" />
<schedule chrono="1835" />
<awake chrono="1836" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1837" cident="c59" />
<awake chrono="1838" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1839" cident="c53" />
<awake chrono="1840" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1841" cident="c47" />
<schedule chrono="1842" />
<awake chrono="1843" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1844" cident="c59" />
<awake chrono="1845" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1846" cident="c56" />
<awake chrono="1847" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1848" cident="c50" />
<failure chrono="1849" depth="18" nident="65" />
<back-to chrono="1850" depth="16" node="62" node-before="65" />
<new-constraint chrono="1851" cident="c153" cinternal="assign(v9,5)" orig="system" />
<post chrono="1852" cident="c153" />
<reduce chrono="1853" cident="c153" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1854" cident="c153" />
<schedule chrono="1855" />
<awake chrono="1856" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1857" cident="c41" />
<awake chrono="1858" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1859" cident="c38" />
<awake chrono="1860" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1861" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1862" cident="c35" />
<awake chrono="1863" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1864" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="1865" cident="c32" />
<schedule chrono="1866" />
<awake chrono="1867" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1868" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1869" cident="c95" />
<schedule chrono="1870" />
<awake chrono="1871" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1872" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1873" cident="c98" />
<choice-point chrono="1874" depth="17" nident="66" />
<new-constraint chrono="1875" cident="c154" cinternal="assign(v10,3)" orig="system" />
<post chrono="1876" cident="c154" />
<reduce chrono="1877" cident="c154" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1878" cident="c154" />
<schedule chrono="1879" />
<awake chrono="1880" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1881" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1882" cident="c95" />
<schedule chrono="1883" />
<awake chrono="1884" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1885" cident="c50" />
<awake chrono="1886" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1887" cident="c47" />
<awake chrono="1888" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1889" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1890" cident="c44" />
<schedule chrono="1891" />
<awake chrono="1892" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1893" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1894" cident="c98" />
<schedule chrono="1895" />
<awake chrono="1896" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1897" cident="c59" />
<awake chrono="1898" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1899" cident="c53" />
<awake chrono="1900" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1901" cident="c47" />
<schedule chrono="1902" />
<awake chrono="1903" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1904" cident="c56" />
<awake chrono="1905" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1906" cident="c53" />
<awake chrono="1907" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1908" cident="c44" />
<schedule chrono="1909" />
<awake chrono="1910" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1911" cident="c59" />
<awake chrono="1912" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1913" cident="c56" />
<awake chrono="1914" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1915" cident="c50" />
<failure chrono="1916" depth="18" nident="67" />
<back-to chrono="1917" depth="17" node="66" node-before="67" />
<new-constraint chrono="1918" cident="c155" cinternal="assign(v10,4)" orig="system" />
<post chrono="1919" cident="c155" />
<reduce chrono="1920" cident="c155" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="1921" cident="c155" />
<schedule chrono="1922" />
<awake chrono="1923" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1924" cident="c50" />
<awake chrono="1925" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1926" cident="c47" />
<awake chrono="1927" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="1928" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="1929" cident="c44" />
<schedule chrono="1930" />
<awake chrono="1931" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1932" cident="c56" />
<awake chrono="1933" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="1934" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1935" cident="c53" />
<awake chrono="1936" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="1937" cident="c44" />
<schedule chrono="1938" />
<awake chrono="1939" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1940" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="1941" cident="c98" />
<schedule chrono="1942" />
<awake chrono="1943" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1944" cident="c59" />
<awake chrono="1945" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1946" cident="c53" />
<awake chrono="1947" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="1948" cident="c47" />
<schedule chrono="1949" />
<awake chrono="1950" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1951" cident="c59" />
<awake chrono="1952" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1953" cident="c56" />
<awake chrono="1954" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="1955" cident="c50" />
<failure chrono="1956" depth="18" nident="68" />
<back-to chrono="1957" depth="15" node="61" node-before="68" />
<new-constraint chrono="1958" cident="c156" cinternal="assign(v8,3)" orig="system" />
<post chrono="1959" cident="c156" />
<reduce chrono="1960" cident="c156" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="1961" cident="c156" />
<schedule chrono="1962" />
<awake chrono="1963" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="1964" cident="c68" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1965" cident="c68" />
<choice-point chrono="1966" depth="16" nident="69" />
<new-constraint chrono="1967" cident="c157" cinternal="assign(v9,4)" orig="system" />
<post chrono="1968" cident="c157" />
<reduce chrono="1969" cident="c157" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="1970" cident="c157" />
<schedule chrono="1971" />
<awake chrono="1972" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="1973" cident="c41" />
<awake chrono="1974" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1975" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="1976" cident="c38" />
<awake chrono="1977" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1978" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="1979" cident="c35" />
<awake chrono="1980" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="1981" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="1982" cident="c32" />
<schedule chrono="1983" />
<awake chrono="1984" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="1985" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="1986" cident="c98" />
<choice-point chrono="1987" depth="17" nident="70" />
<new-constraint chrono="1988" cident="c158" cinternal="assign(v10,3)" orig="system" />
<post chrono="1989" cident="c158" />
<reduce chrono="1990" cident="c158" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="1991" cident="c158" />
<schedule chrono="1992" />
<awake chrono="1993" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="1994" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="1995" cident="c95" />
<schedule chrono="1996" />
<awake chrono="1997" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="1998" cident="c50" />
<awake chrono="1999" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2000" cident="c47" />
<awake chrono="2001" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2002" cident="c44" />
<schedule chrono="2003" />
<awake chrono="2004" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2005" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2006" cident="c98" />
<schedule chrono="2007" />
<awake chrono="2008" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2009" cident="c59" />
<awake chrono="2010" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="2011" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2012" cident="c53" />
<awake chrono="2013" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2014" cident="c47" />
<schedule chrono="2015" />
<awake chrono="2016" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2017" cident="c59" />
<awake chrono="2018" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2019" cident="c56" />
<awake chrono="2020" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2021" cident="c50" />
<schedule chrono="2022" />
<awake chrono="2023" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2024" cident="c56" />
<awake chrono="2025" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2026" cident="c53" />
<awake chrono="2027" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2028" cident="c44" />
<failure chrono="2029" depth="18" nident="71" />
<back-to chrono="2030" depth="17" node="70" node-before="71" />
<new-constraint chrono="2031" cident="c159" cinternal="assign(v10,5)" orig="system" />
<post chrono="2032" cident="c159" />
<reduce chrono="2033" cident="c159" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2034" cident="c159" />
<schedule chrono="2035" />
<awake chrono="2036" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2037" cident="c50" />
<awake chrono="2038" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2039" cident="c47" />
<awake chrono="2040" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2041" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2042" cident="c44" />
<schedule chrono="2043" />
<awake chrono="2044" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2045" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2046" cident="c56" />
<awake chrono="2047" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2048" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="2049" cident="c53" />
<awake chrono="2050" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2051" cident="c44" />
<schedule chrono="2052" />
<awake chrono="2053" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2054" cident="c59" />
<awake chrono="2055" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2056" cident="c56" />
<awake chrono="2057" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2058" cident="c50" />
<schedule chrono="2059" />
<awake chrono="2060" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="2061" cident="c95" />
<schedule chrono="2062" />
<awake chrono="2063" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2064" cident="c59" />
<awake chrono="2065" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2066" cident="c53" />
<awake chrono="2067" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2068" cident="c47" />
<failure chrono="2069" depth="18" nident="72" />
<back-to chrono="2070" depth="16" node="69" node-before="72" />
<new-constraint chrono="2071" cident="c160" cinternal="assign(v9,5)" orig="system" />
<post chrono="2072" cident="c160" />
<reduce chrono="2073" cident="c160" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2074" cident="c160" />
<schedule chrono="2075" />
<awake chrono="2076" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2077" cident="c41" />
<awake chrono="2078" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2079" cident="c38" />
<awake chrono="2080" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2081" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2082" cident="c35" />
<awake chrono="2083" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2084" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="2085" cident="c32" />
<schedule chrono="2086" />
<awake chrono="2087" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2088" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2089" cident="c95" />
<schedule chrono="2090" />
<awake chrono="2091" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2092" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2093" cident="c98" />
<choice-point chrono="2094" depth="17" nident="73" />
<new-constraint chrono="2095" cident="c161" cinternal="assign(v10,3)" orig="system" />
<post chrono="2096" cident="c161" />
<reduce chrono="2097" cident="c161" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2098" cident="c161" />
<schedule chrono="2099" />
<awake chrono="2100" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2101" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2102" cident="c95" />
<schedule chrono="2103" />
<awake chrono="2104" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2105" cident="c50" />
<awake chrono="2106" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2107" cident="c47" />
<awake chrono="2108" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2109" cident="c44" />
<schedule chrono="2110" />
<awake chrono="2111" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2112" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2113" cident="c98" />
<schedule chrono="2114" />
<awake chrono="2115" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2116" cident="c59" />
<awake chrono="2117" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="2118" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2119" cident="c53" />
<awake chrono="2120" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2121" cident="c47" />
<schedule chrono="2122" />
<awake chrono="2123" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2124" cident="c59" />
<awake chrono="2125" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2126" cident="c56" />
<awake chrono="2127" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2128" cident="c50" />
<schedule chrono="2129" />
<awake chrono="2130" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2131" cident="c56" />
<awake chrono="2132" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2133" cident="c53" />
<awake chrono="2134" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2135" cident="c44" />
<failure chrono="2136" depth="18" nident="74" />
<back-to chrono="2137" depth="17" node="73" node-before="74" />
<new-constraint chrono="2138" cident="c162" cinternal="assign(v10,4)" orig="system" />
<post chrono="2139" cident="c162" />
<reduce chrono="2140" cident="c162" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2141" cident="c162" />
<schedule chrono="2142" />
<awake chrono="2143" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2144" cident="c50" />
<awake chrono="2145" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2146" cident="c47" />
<awake chrono="2147" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2148" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2149" cident="c44" />
<schedule chrono="2150" />
<awake chrono="2151" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2152" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2153" cident="c56" />
<awake chrono="2154" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2155" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="2156" cident="c53" />
<awake chrono="2157" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2158" cident="c44" />
<schedule chrono="2159" />
<awake chrono="2160" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2161" cident="c59" />
<awake chrono="2162" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2163" cident="c56" />
<awake chrono="2164" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2165" cident="c50" />
<schedule chrono="2166" />
<awake chrono="2167" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="2168" cident="c95" />
<schedule chrono="2169" />
<awake chrono="2170" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2171" cident="c59" />
<awake chrono="2172" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2173" cident="c53" />
<awake chrono="2174" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2175" cident="c47" />
<failure chrono="2176" depth="18" nident="75" />
<back-to chrono="2177" depth="13" node="13" node-before="75" />
<new-constraint chrono="2178" cident="c163" cinternal="assign(v1,3)" orig="system" />
<post chrono="2179" cident="c163" />
<reduce chrono="2180" cident="c163" vident="v1" >
	<delta><range from="1" to="2" /></delta>
	<update vident="v1" types="val " />
</reduce>
<solved chrono="2181" cident="c163" />
<schedule chrono="2182" />
<awake chrono="2183" cident="c77" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="2184" cident="c77" vident="v4" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v4" types="" />
</reduce>
<suspend chrono="2185" cident="c77" />
<awake chrono="2186" cident="c74" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="2187" cident="c74" vident="v9" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="2188" cident="c74" />
<awake chrono="2189" cident="c71" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="2190" cident="c71" vident="v7" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v7" types="" />
</reduce>
<suspend chrono="2191" cident="c71" />
<awake chrono="2192" cident="c17" >
	<update vident="v1" types="val" />
</awake>
<suspend chrono="2193" cident="c17" />
<awake chrono="2194" cident="c14" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="2195" cident="c14" vident="v2" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v2" types="max val " />
</reduce>
<suspend chrono="2196" cident="c14" />
<schedule chrono="2197" />
<awake chrono="2198" cident="c89" >
	<update vident="v2" types="max" />
</awake>
<reduce chrono="2199" cident="c89" vident="v3" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v3" types="val " />
</reduce>
<suspend chrono="2200" cident="c89" />
<schedule chrono="2201" />
<awake chrono="2202" cident="c20" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="2203" cident="c20" />
<awake chrono="2204" cident="c14" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="2205" cident="c14" />
<schedule chrono="2206" />
<awake chrono="2207" cident="c20" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="2208" cident="c20" />
<awake chrono="2209" cident="c17" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="2210" cident="c17" />
<choice-point chrono="2211" depth="14" nident="76" />
<new-constraint chrono="2212" cident="c164" cinternal="assign(v4,1)" orig="system" />
<post chrono="2213" cident="c164" />
<reduce chrono="2214" cident="c164" vident="v4" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="2215" cident="c164" />
<schedule chrono="2216" />
<awake chrono="2217" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2218" cident="c86" vident="v9" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="2219" cident="c86" />
<awake chrono="2220" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2221" cident="c83" vident="v7" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="2222" cident="c83" />
<awake chrono="2223" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2224" cident="c26" vident="v6" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v6" types="min val " />
</reduce>
<suspend chrono="2225" cident="c26" />
<awake chrono="2226" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="2227" cident="c23" />
<schedule chrono="2228" />
<awake chrono="2229" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="2230" cident="c83" />
<awake chrono="2231" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2232" cident="c80" vident="v9" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="2233" cident="c80" />
<awake chrono="2234" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2235" cident="c65" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2236" cident="c65" />
<awake chrono="2237" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2238" cident="c62" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="2239" cident="c62" />
<schedule chrono="2240" />
<awake chrono="2241" cident="c92" >
	<update vident="v6" types="min" />
</awake>
<reduce chrono="2242" cident="c92" vident="v5" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v5" types="val " />
</reduce>
<suspend chrono="2243" cident="c92" />
<schedule chrono="2244" />
<awake chrono="2245" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="2246" cident="c29" />
<awake chrono="2247" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="2248" cident="c26" />
<schedule chrono="2249" />
<awake chrono="2250" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="2251" cident="c29" />
<awake chrono="2252" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="2253" cident="c23" />
<choice-point chrono="2254" depth="15" nident="77" />
<new-constraint chrono="2255" cident="c165" cinternal="assign(v8,1)" orig="system" />
<post chrono="2256" cident="c165" />
<reduce chrono="2257" cident="c165" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="2258" cident="c165" />
<schedule chrono="2259" />
<awake chrono="2260" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="2261" cident="c68" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2262" cident="c68" />
<choice-point chrono="2263" depth="16" nident="78" />
<new-constraint chrono="2264" cident="c166" cinternal="assign(v9,4)" orig="system" />
<post chrono="2265" cident="c166" />
<reduce chrono="2266" cident="c166" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2267" cident="c166" />
<schedule chrono="2268" />
<awake chrono="2269" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2270" cident="c41" />
<awake chrono="2271" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2272" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2273" cident="c38" />
<awake chrono="2274" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2275" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2276" cident="c35" />
<awake chrono="2277" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2278" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="2279" cident="c32" />
<schedule chrono="2280" />
<awake chrono="2281" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2282" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2283" cident="c98" />
<choice-point chrono="2284" depth="17" nident="79" />
<new-constraint chrono="2285" cident="c167" cinternal="assign(v10,3)" orig="system" />
<post chrono="2286" cident="c167" />
<reduce chrono="2287" cident="c167" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2288" cident="c167" />
<schedule chrono="2289" />
<awake chrono="2290" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2291" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2292" cident="c95" />
<schedule chrono="2293" />
<awake chrono="2294" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2295" cident="c50" />
<awake chrono="2296" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2297" cident="c47" />
<awake chrono="2298" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2299" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2300" cident="c44" />
<schedule chrono="2301" />
<awake chrono="2302" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2303" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2304" cident="c98" />
<schedule chrono="2305" />
<awake chrono="2306" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2307" cident="c59" />
<awake chrono="2308" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2309" cident="c53" />
<awake chrono="2310" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2311" cident="c47" />
<schedule chrono="2312" />
<awake chrono="2313" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2314" cident="c56" />
<awake chrono="2315" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2316" cident="c53" />
<awake chrono="2317" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2318" cident="c44" />
<schedule chrono="2319" />
<awake chrono="2320" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2321" cident="c59" />
<awake chrono="2322" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2323" cident="c56" />
<awake chrono="2324" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2325" cident="c50" />
<failure chrono="2326" depth="18" nident="80" />
<back-to chrono="2327" depth="17" node="79" node-before="80" />
<new-constraint chrono="2328" cident="c168" cinternal="assign(v10,5)" orig="system" />
<post chrono="2329" cident="c168" />
<reduce chrono="2330" cident="c168" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2331" cident="c168" />
<schedule chrono="2332" />
<awake chrono="2333" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2334" cident="c50" />
<awake chrono="2335" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2336" cident="c47" />
<awake chrono="2337" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2338" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2339" cident="c44" />
<schedule chrono="2340" />
<awake chrono="2341" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2342" cident="c56" />
<awake chrono="2343" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2344" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2345" cident="c53" />
<awake chrono="2346" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2347" cident="c44" />
<schedule chrono="2348" />
<awake chrono="2349" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2350" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2351" cident="c98" />
<schedule chrono="2352" />
<awake chrono="2353" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2354" cident="c59" />
<awake chrono="2355" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2356" cident="c53" />
<awake chrono="2357" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2358" cident="c47" />
<schedule chrono="2359" />
<awake chrono="2360" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2361" cident="c59" />
<awake chrono="2362" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2363" cident="c56" />
<awake chrono="2364" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2365" cident="c50" />
<failure chrono="2366" depth="18" nident="81" />
<back-to chrono="2367" depth="16" node="78" node-before="81" />
<new-constraint chrono="2368" cident="c169" cinternal="assign(v9,5)" orig="system" />
<post chrono="2369" cident="c169" />
<reduce chrono="2370" cident="c169" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2371" cident="c169" />
<schedule chrono="2372" />
<awake chrono="2373" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2374" cident="c41" />
<awake chrono="2375" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2376" cident="c38" />
<awake chrono="2377" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2378" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2379" cident="c35" />
<awake chrono="2380" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2381" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="2382" cident="c32" />
<schedule chrono="2383" />
<awake chrono="2384" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2385" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2386" cident="c95" />
<schedule chrono="2387" />
<awake chrono="2388" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2389" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2390" cident="c98" />
<choice-point chrono="2391" depth="17" nident="82" />
<new-constraint chrono="2392" cident="c170" cinternal="assign(v10,3)" orig="system" />
<post chrono="2393" cident="c170" />
<reduce chrono="2394" cident="c170" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2395" cident="c170" />
<schedule chrono="2396" />
<awake chrono="2397" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2398" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2399" cident="c95" />
<schedule chrono="2400" />
<awake chrono="2401" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2402" cident="c50" />
<awake chrono="2403" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2404" cident="c47" />
<awake chrono="2405" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2406" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2407" cident="c44" />
<schedule chrono="2408" />
<awake chrono="2409" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2410" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2411" cident="c98" />
<schedule chrono="2412" />
<awake chrono="2413" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2414" cident="c59" />
<awake chrono="2415" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2416" cident="c53" />
<awake chrono="2417" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2418" cident="c47" />
<schedule chrono="2419" />
<awake chrono="2420" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2421" cident="c56" />
<awake chrono="2422" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2423" cident="c53" />
<awake chrono="2424" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2425" cident="c44" />
<schedule chrono="2426" />
<awake chrono="2427" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2428" cident="c59" />
<awake chrono="2429" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2430" cident="c56" />
<awake chrono="2431" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2432" cident="c50" />
<failure chrono="2433" depth="18" nident="83" />
<back-to chrono="2434" depth="17" node="82" node-before="83" />
<new-constraint chrono="2435" cident="c171" cinternal="assign(v10,4)" orig="system" />
<post chrono="2436" cident="c171" />
<reduce chrono="2437" cident="c171" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2438" cident="c171" />
<schedule chrono="2439" />
<awake chrono="2440" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2441" cident="c50" />
<awake chrono="2442" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2443" cident="c47" />
<awake chrono="2444" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2445" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2446" cident="c44" />
<schedule chrono="2447" />
<awake chrono="2448" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2449" cident="c56" />
<awake chrono="2450" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2451" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2452" cident="c53" />
<awake chrono="2453" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2454" cident="c44" />
<schedule chrono="2455" />
<awake chrono="2456" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2457" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2458" cident="c98" />
<schedule chrono="2459" />
<awake chrono="2460" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2461" cident="c59" />
<awake chrono="2462" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2463" cident="c53" />
<awake chrono="2464" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2465" cident="c47" />
<schedule chrono="2466" />
<awake chrono="2467" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2468" cident="c59" />
<awake chrono="2469" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2470" cident="c56" />
<awake chrono="2471" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2472" cident="c50" />
<failure chrono="2473" depth="18" nident="84" />
<back-to chrono="2474" depth="15" node="77" node-before="84" />
<new-constraint chrono="2475" cident="c172" cinternal="assign(v8,3)" orig="system" />
<post chrono="2476" cident="c172" />
<reduce chrono="2477" cident="c172" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="2478" cident="c172" />
<schedule chrono="2479" />
<awake chrono="2480" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="2481" cident="c68" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2482" cident="c68" />
<choice-point chrono="2483" depth="16" nident="85" />
<new-constraint chrono="2484" cident="c173" cinternal="assign(v9,4)" orig="system" />
<post chrono="2485" cident="c173" />
<reduce chrono="2486" cident="c173" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2487" cident="c173" />
<schedule chrono="2488" />
<awake chrono="2489" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2490" cident="c41" />
<awake chrono="2491" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2492" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2493" cident="c38" />
<awake chrono="2494" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2495" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2496" cident="c35" />
<awake chrono="2497" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2498" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="2499" cident="c32" />
<schedule chrono="2500" />
<awake chrono="2501" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2502" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2503" cident="c98" />
<choice-point chrono="2504" depth="17" nident="86" />
<new-constraint chrono="2505" cident="c174" cinternal="assign(v10,3)" orig="system" />
<post chrono="2506" cident="c174" />
<reduce chrono="2507" cident="c174" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2508" cident="c174" />
<schedule chrono="2509" />
<awake chrono="2510" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2511" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2512" cident="c95" />
<schedule chrono="2513" />
<awake chrono="2514" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2515" cident="c50" />
<awake chrono="2516" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2517" cident="c47" />
<awake chrono="2518" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2519" cident="c44" />
<schedule chrono="2520" />
<awake chrono="2521" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2522" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2523" cident="c98" />
<schedule chrono="2524" />
<awake chrono="2525" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2526" cident="c59" />
<awake chrono="2527" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2528" cident="c53" />
<awake chrono="2529" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2530" cident="c47" />
<schedule chrono="2531" />
<awake chrono="2532" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2533" cident="c59" />
<awake chrono="2534" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="2535" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2536" cident="c56" />
<awake chrono="2537" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2538" cident="c50" />
<schedule chrono="2539" />
<awake chrono="2540" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2541" cident="c56" />
<awake chrono="2542" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2543" cident="c53" />
<awake chrono="2544" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2545" cident="c44" />
<failure chrono="2546" depth="18" nident="87" />
<back-to chrono="2547" depth="17" node="86" node-before="87" />
<new-constraint chrono="2548" cident="c175" cinternal="assign(v10,5)" orig="system" />
<post chrono="2549" cident="c175" />
<reduce chrono="2550" cident="c175" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2551" cident="c175" />
<schedule chrono="2552" />
<awake chrono="2553" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2554" cident="c50" />
<awake chrono="2555" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2556" cident="c47" />
<awake chrono="2557" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2558" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2559" cident="c44" />
<schedule chrono="2560" />
<awake chrono="2561" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2562" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="2563" cident="c56" />
<awake chrono="2564" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2565" cident="c53" />
<awake chrono="2566" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2567" cident="c44" />
<schedule chrono="2568" />
<awake chrono="2569" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="2570" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="2571" cident="c98" />
<schedule chrono="2572" />
<awake chrono="2573" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2574" cident="c59" />
<awake chrono="2575" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2576" cident="c56" />
<awake chrono="2577" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2578" cident="c50" />
<schedule chrono="2579" />
<awake chrono="2580" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="2581" cident="c95" />
<schedule chrono="2582" />
<awake chrono="2583" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2584" cident="c59" />
<awake chrono="2585" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2586" cident="c53" />
<awake chrono="2587" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2588" cident="c47" />
<failure chrono="2589" depth="18" nident="88" />
<back-to chrono="2590" depth="16" node="85" node-before="88" />
<new-constraint chrono="2591" cident="c176" cinternal="assign(v9,5)" orig="system" />
<post chrono="2592" cident="c176" />
<reduce chrono="2593" cident="c176" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2594" cident="c176" />
<schedule chrono="2595" />
<awake chrono="2596" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2597" cident="c41" />
<awake chrono="2598" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2599" cident="c38" />
<awake chrono="2600" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2601" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2602" cident="c35" />
<awake chrono="2603" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2604" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="2605" cident="c32" />
<schedule chrono="2606" />
<awake chrono="2607" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2608" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2609" cident="c95" />
<schedule chrono="2610" />
<awake chrono="2611" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2612" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2613" cident="c98" />
<choice-point chrono="2614" depth="17" nident="89" />
<new-constraint chrono="2615" cident="c177" cinternal="assign(v10,3)" orig="system" />
<post chrono="2616" cident="c177" />
<reduce chrono="2617" cident="c177" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2618" cident="c177" />
<schedule chrono="2619" />
<awake chrono="2620" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2621" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2622" cident="c95" />
<schedule chrono="2623" />
<awake chrono="2624" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2625" cident="c50" />
<awake chrono="2626" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2627" cident="c47" />
<awake chrono="2628" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2629" cident="c44" />
<schedule chrono="2630" />
<awake chrono="2631" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2632" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2633" cident="c98" />
<schedule chrono="2634" />
<awake chrono="2635" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2636" cident="c59" />
<awake chrono="2637" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2638" cident="c53" />
<awake chrono="2639" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2640" cident="c47" />
<schedule chrono="2641" />
<awake chrono="2642" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2643" cident="c59" />
<awake chrono="2644" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<reduce chrono="2645" cident="c56" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2646" cident="c56" />
<awake chrono="2647" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2648" cident="c50" />
<schedule chrono="2649" />
<awake chrono="2650" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2651" cident="c56" />
<awake chrono="2652" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2653" cident="c53" />
<awake chrono="2654" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2655" cident="c44" />
<failure chrono="2656" depth="18" nident="90" />
<back-to chrono="2657" depth="17" node="89" node-before="90" />
<new-constraint chrono="2658" cident="c178" cinternal="assign(v10,4)" orig="system" />
<post chrono="2659" cident="c178" />
<reduce chrono="2660" cident="c178" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2661" cident="c178" />
<schedule chrono="2662" />
<awake chrono="2663" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2664" cident="c50" />
<awake chrono="2665" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2666" cident="c47" />
<awake chrono="2667" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2668" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2669" cident="c44" />
<schedule chrono="2670" />
<awake chrono="2671" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2672" cident="c56" vident="v13" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v13" types="min val " />
</reduce>
<suspend chrono="2673" cident="c56" />
<awake chrono="2674" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2675" cident="c53" />
<awake chrono="2676" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2677" cident="c44" />
<schedule chrono="2678" />
<awake chrono="2679" cident="c98" >
	<update vident="v13" types="min" />
</awake>
<reduce chrono="2680" cident="c98" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="2681" cident="c98" />
<schedule chrono="2682" />
<awake chrono="2683" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2684" cident="c59" />
<awake chrono="2685" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2686" cident="c56" />
<awake chrono="2687" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2688" cident="c50" />
<schedule chrono="2689" />
<awake chrono="2690" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="2691" cident="c95" />
<schedule chrono="2692" />
<awake chrono="2693" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2694" cident="c59" />
<awake chrono="2695" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2696" cident="c53" />
<awake chrono="2697" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2698" cident="c47" />
<failure chrono="2699" depth="18" nident="91" />
<back-to chrono="2700" depth="14" node="76" node-before="91" />
<new-constraint chrono="2701" cident="c179" cinternal="assign(v4,2)" orig="system" />
<post chrono="2702" cident="c179" />
<reduce chrono="2703" cident="c179" vident="v4" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v4" types="val " />
</reduce>
<solved chrono="2704" cident="c179" />
<schedule chrono="2705" />
<awake chrono="2706" cident="c86" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2707" cident="c86" vident="v9" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="2708" cident="c86" />
<awake chrono="2709" cident="c83" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2710" cident="c83" vident="v7" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v7" types="val " />
</reduce>
<suspend chrono="2711" cident="c83" />
<awake chrono="2712" cident="c26" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2713" cident="c26" vident="v6" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v6" types="val " />
</reduce>
<suspend chrono="2714" cident="c26" />
<awake chrono="2715" cident="c23" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="2716" cident="c23" vident="v5" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v5" types="val " />
</reduce>
<suspend chrono="2717" cident="c23" />
<schedule chrono="2718" />
<awake chrono="2719" cident="c83" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="2720" cident="c83" />
<awake chrono="2721" cident="c80" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2722" cident="c80" vident="v9" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v9" types="" />
</reduce>
<suspend chrono="2723" cident="c80" />
<awake chrono="2724" cident="c65" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2725" cident="c65" vident="v11" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2726" cident="c65" />
<awake chrono="2727" cident="c62" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="2728" cident="c62" vident="v8" >
	<delta><range from="1" to="1" /></delta>
	<update vident="v8" types="" />
</reduce>
<suspend chrono="2729" cident="c62" />
<schedule chrono="2730" />
<awake chrono="2731" cident="c29" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="2732" cident="c29" />
<awake chrono="2733" cident="c26" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="2734" cident="c26" />
<schedule chrono="2735" />
<awake chrono="2736" cident="c29" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="2737" cident="c29" />
<awake chrono="2738" cident="c23" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="2739" cident="c23" />
<choice-point chrono="2740" depth="15" nident="92" />
<new-constraint chrono="2741" cident="c180" cinternal="assign(v8,2)" orig="system" />
<post chrono="2742" cident="c180" />
<reduce chrono="2743" cident="c180" vident="v8" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="2744" cident="c180" />
<schedule chrono="2745" />
<awake chrono="2746" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="2747" cident="c68" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2748" cident="c68" />
<choice-point chrono="2749" depth="16" nident="93" />
<new-constraint chrono="2750" cident="c181" cinternal="assign(v9,4)" orig="system" />
<post chrono="2751" cident="c181" />
<reduce chrono="2752" cident="c181" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2753" cident="c181" />
<schedule chrono="2754" />
<awake chrono="2755" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2756" cident="c41" />
<awake chrono="2757" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2758" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2759" cident="c38" />
<awake chrono="2760" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2761" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2762" cident="c35" />
<awake chrono="2763" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2764" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="2765" cident="c32" />
<schedule chrono="2766" />
<awake chrono="2767" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2768" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2769" cident="c98" />
<choice-point chrono="2770" depth="17" nident="94" />
<new-constraint chrono="2771" cident="c182" cinternal="assign(v10,3)" orig="system" />
<post chrono="2772" cident="c182" />
<reduce chrono="2773" cident="c182" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2774" cident="c182" />
<schedule chrono="2775" />
<awake chrono="2776" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2777" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2778" cident="c95" />
<schedule chrono="2779" />
<awake chrono="2780" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2781" cident="c50" />
<awake chrono="2782" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2783" cident="c47" />
<awake chrono="2784" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2785" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2786" cident="c44" />
<schedule chrono="2787" />
<awake chrono="2788" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2789" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2790" cident="c98" />
<schedule chrono="2791" />
<awake chrono="2792" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2793" cident="c59" />
<awake chrono="2794" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2795" cident="c53" />
<awake chrono="2796" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2797" cident="c47" />
<schedule chrono="2798" />
<awake chrono="2799" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2800" cident="c56" />
<awake chrono="2801" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2802" cident="c53" />
<awake chrono="2803" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2804" cident="c44" />
<schedule chrono="2805" />
<awake chrono="2806" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2807" cident="c59" />
<awake chrono="2808" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2809" cident="c56" />
<awake chrono="2810" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2811" cident="c50" />
<failure chrono="2812" depth="18" nident="95" />
<back-to chrono="2813" depth="17" node="94" node-before="95" />
<new-constraint chrono="2814" cident="c183" cinternal="assign(v10,5)" orig="system" />
<post chrono="2815" cident="c183" />
<reduce chrono="2816" cident="c183" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2817" cident="c183" />
<schedule chrono="2818" />
<awake chrono="2819" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2820" cident="c50" />
<awake chrono="2821" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2822" cident="c47" />
<awake chrono="2823" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2824" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2825" cident="c44" />
<schedule chrono="2826" />
<awake chrono="2827" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2828" cident="c56" />
<awake chrono="2829" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2830" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2831" cident="c53" />
<awake chrono="2832" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2833" cident="c44" />
<schedule chrono="2834" />
<awake chrono="2835" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2836" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2837" cident="c98" />
<schedule chrono="2838" />
<awake chrono="2839" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2840" cident="c59" />
<awake chrono="2841" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2842" cident="c53" />
<awake chrono="2843" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2844" cident="c47" />
<schedule chrono="2845" />
<awake chrono="2846" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2847" cident="c59" />
<awake chrono="2848" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2849" cident="c56" />
<awake chrono="2850" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2851" cident="c50" />
<failure chrono="2852" depth="18" nident="96" />
<back-to chrono="2853" depth="16" node="93" node-before="96" />
<new-constraint chrono="2854" cident="c184" cinternal="assign(v9,5)" orig="system" />
<post chrono="2855" cident="c184" />
<reduce chrono="2856" cident="c184" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2857" cident="c184" />
<schedule chrono="2858" />
<awake chrono="2859" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2860" cident="c41" />
<awake chrono="2861" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2862" cident="c38" />
<awake chrono="2863" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2864" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2865" cident="c35" />
<awake chrono="2866" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2867" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="2868" cident="c32" />
<schedule chrono="2869" />
<awake chrono="2870" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2871" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2872" cident="c95" />
<schedule chrono="2873" />
<awake chrono="2874" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2875" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2876" cident="c98" />
<choice-point chrono="2877" depth="17" nident="97" />
<new-constraint chrono="2878" cident="c185" cinternal="assign(v10,3)" orig="system" />
<post chrono="2879" cident="c185" />
<reduce chrono="2880" cident="c185" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2881" cident="c185" />
<schedule chrono="2882" />
<awake chrono="2883" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2884" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2885" cident="c95" />
<schedule chrono="2886" />
<awake chrono="2887" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2888" cident="c50" />
<awake chrono="2889" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2890" cident="c47" />
<awake chrono="2891" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2892" cident="c44" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2893" cident="c44" />
<schedule chrono="2894" />
<awake chrono="2895" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2896" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2897" cident="c98" />
<schedule chrono="2898" />
<awake chrono="2899" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2900" cident="c59" />
<awake chrono="2901" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2902" cident="c53" />
<awake chrono="2903" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2904" cident="c47" />
<schedule chrono="2905" />
<awake chrono="2906" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2907" cident="c56" />
<awake chrono="2908" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2909" cident="c53" />
<awake chrono="2910" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2911" cident="c44" />
<schedule chrono="2912" />
<awake chrono="2913" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2914" cident="c59" />
<awake chrono="2915" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2916" cident="c56" />
<awake chrono="2917" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2918" cident="c50" />
<failure chrono="2919" depth="18" nident="98" />
<back-to chrono="2920" depth="17" node="97" node-before="98" />
<new-constraint chrono="2921" cident="c186" cinternal="assign(v10,4)" orig="system" />
<post chrono="2922" cident="c186" />
<reduce chrono="2923" cident="c186" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="2924" cident="c186" />
<schedule chrono="2925" />
<awake chrono="2926" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2927" cident="c50" />
<awake chrono="2928" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="2929" cident="c47" />
<awake chrono="2930" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="2931" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="2932" cident="c44" />
<schedule chrono="2933" />
<awake chrono="2934" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2935" cident="c56" />
<awake chrono="2936" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="2937" cident="c53" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2938" cident="c53" />
<awake chrono="2939" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="2940" cident="c44" />
<schedule chrono="2941" />
<awake chrono="2942" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2943" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="2944" cident="c98" />
<schedule chrono="2945" />
<awake chrono="2946" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2947" cident="c59" />
<awake chrono="2948" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2949" cident="c53" />
<awake chrono="2950" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="2951" cident="c47" />
<schedule chrono="2952" />
<awake chrono="2953" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2954" cident="c59" />
<awake chrono="2955" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2956" cident="c56" />
<awake chrono="2957" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="2958" cident="c50" />
<failure chrono="2959" depth="18" nident="99" />
<back-to chrono="2960" depth="15" node="92" node-before="99" />
<new-constraint chrono="2961" cident="c187" cinternal="assign(v8,3)" orig="system" />
<post chrono="2962" cident="c187" />
<reduce chrono="2963" cident="c187" vident="v8" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v8" types="val " />
</reduce>
<solved chrono="2964" cident="c187" />
<schedule chrono="2965" />
<awake chrono="2966" cident="c68" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="2967" cident="c68" vident="v11" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2968" cident="c68" />
<choice-point chrono="2969" depth="16" nident="100" />
<new-constraint chrono="2970" cident="c188" cinternal="assign(v9,4)" orig="system" />
<post chrono="2971" cident="c188" />
<reduce chrono="2972" cident="c188" vident="v9" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="2973" cident="c188" />
<schedule chrono="2974" />
<awake chrono="2975" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="2976" cident="c41" />
<awake chrono="2977" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2978" cident="c38" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="2979" cident="c38" />
<awake chrono="2980" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2981" cident="c35" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="2982" cident="c35" />
<awake chrono="2983" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="2984" cident="c32" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="" />
</reduce>
<suspend chrono="2985" cident="c32" />
<schedule chrono="2986" />
<awake chrono="2987" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="2988" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="2989" cident="c98" />
<choice-point chrono="2990" depth="17" nident="101" />
<new-constraint chrono="2991" cident="c189" cinternal="assign(v10,3)" orig="system" />
<post chrono="2992" cident="c189" />
<reduce chrono="2993" cident="c189" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="2994" cident="c189" />
<schedule chrono="2995" />
<awake chrono="2996" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="2997" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="2998" cident="c95" />
<schedule chrono="2999" />
<awake chrono="3000" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3001" cident="c50" />
<awake chrono="3002" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3003" cident="c47" />
<awake chrono="3004" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3005" cident="c44" />
<schedule chrono="3006" />
<awake chrono="3007" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="3008" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="3009" cident="c98" />
<schedule chrono="3010" />
<awake chrono="3011" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3012" cident="c59" />
<awake chrono="3013" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="3014" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="3015" cident="c53" />
<awake chrono="3016" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3017" cident="c47" />
<schedule chrono="3018" />
<awake chrono="3019" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3020" cident="c59" />
<awake chrono="3021" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3022" cident="c56" />
<awake chrono="3023" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3024" cident="c50" />
<schedule chrono="3025" />
<awake chrono="3026" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3027" cident="c56" />
<awake chrono="3028" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3029" cident="c53" />
<awake chrono="3030" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3031" cident="c44" />
<failure chrono="3032" depth="18" nident="102" />
<back-to chrono="3033" depth="17" node="101" node-before="102" />
<new-constraint chrono="3034" cident="c190" cinternal="assign(v10,5)" orig="system" />
<post chrono="3035" cident="c190" />
<reduce chrono="3036" cident="c190" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="3037" cident="c190" />
<schedule chrono="3038" />
<awake chrono="3039" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3040" cident="c50" />
<awake chrono="3041" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3042" cident="c47" />
<awake chrono="3043" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="3044" cident="c44" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="3045" cident="c44" />
<schedule chrono="3046" />
<awake chrono="3047" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="3048" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="3049" cident="c56" />
<awake chrono="3050" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="3051" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="3052" cident="c53" />
<awake chrono="3053" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3054" cident="c44" />
<schedule chrono="3055" />
<awake chrono="3056" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3057" cident="c59" />
<awake chrono="3058" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3059" cident="c56" />
<awake chrono="3060" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3061" cident="c50" />
<schedule chrono="3062" />
<awake chrono="3063" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="3064" cident="c95" />
<schedule chrono="3065" />
<awake chrono="3066" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3067" cident="c59" />
<awake chrono="3068" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3069" cident="c53" />
<awake chrono="3070" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3071" cident="c47" />
<failure chrono="3072" depth="18" nident="103" />
<back-to chrono="3073" depth="16" node="100" node-before="103" />
<new-constraint chrono="3074" cident="c191" cinternal="assign(v9,5)" orig="system" />
<post chrono="3075" cident="c191" />
<reduce chrono="3076" cident="c191" vident="v9" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v9" types="val " />
</reduce>
<solved chrono="3077" cident="c191" />
<schedule chrono="3078" />
<awake chrono="3079" cident="c41" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="3080" cident="c41" />
<awake chrono="3081" cident="c38" >
	<update vident="v9" types="val" />
</awake>
<suspend chrono="3082" cident="c38" />
<awake chrono="3083" cident="c35" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="3084" cident="c35" vident="v11" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v11" types="" />
</reduce>
<suspend chrono="3085" cident="c35" />
<awake chrono="3086" cident="c32" >
	<update vident="v9" types="val" />
</awake>
<reduce chrono="3087" cident="c32" vident="v10" >
	<delta><range from="5" to="5" /></delta>
	<update vident="v10" types="max " />
</reduce>
<suspend chrono="3088" cident="c32" />
<schedule chrono="3089" />
<awake chrono="3090" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="3091" cident="c95" vident="v12" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v12" types="max " />
</reduce>
<suspend chrono="3092" cident="c95" />
<schedule chrono="3093" />
<awake chrono="3094" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="3095" cident="c98" vident="v13" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v13" types="" />
</reduce>
<suspend chrono="3096" cident="c98" />
<choice-point chrono="3097" depth="17" nident="104" />
<new-constraint chrono="3098" cident="c192" cinternal="assign(v10,3)" orig="system" />
<post chrono="3099" cident="c192" />
<reduce chrono="3100" cident="c192" vident="v10" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v10" types="max val " />
</reduce>
<solved chrono="3101" cident="c192" />
<schedule chrono="3102" />
<awake chrono="3103" cident="c95" >
	<update vident="v10" types="max" />
</awake>
<reduce chrono="3104" cident="c95" vident="v12" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v12" types="max val " />
</reduce>
<suspend chrono="3105" cident="c95" />
<schedule chrono="3106" />
<awake chrono="3107" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3108" cident="c50" />
<awake chrono="3109" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3110" cident="c47" />
<awake chrono="3111" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3112" cident="c44" />
<schedule chrono="3113" />
<awake chrono="3114" cident="c98" >
	<update vident="v12" types="max" />
</awake>
<reduce chrono="3115" cident="c98" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="3116" cident="c98" />
<schedule chrono="3117" />
<awake chrono="3118" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3119" cident="c59" />
<awake chrono="3120" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<reduce chrono="3121" cident="c53" vident="v11" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="3122" cident="c53" />
<awake chrono="3123" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3124" cident="c47" />
<schedule chrono="3125" />
<awake chrono="3126" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3127" cident="c59" />
<awake chrono="3128" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3129" cident="c56" />
<awake chrono="3130" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3131" cident="c50" />
<schedule chrono="3132" />
<awake chrono="3133" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3134" cident="c56" />
<awake chrono="3135" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3136" cident="c53" />
<awake chrono="3137" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3138" cident="c44" />
<failure chrono="3139" depth="18" nident="105" />
<back-to chrono="3140" depth="17" node="104" node-before="105" />
<new-constraint chrono="3141" cident="c193" cinternal="assign(v10,4)" orig="system" />
<post chrono="3142" cident="c193" />
<reduce chrono="3143" cident="c193" vident="v10" >
	<delta><range from="3" to="3" /></delta>
	<update vident="v10" types="val " />
</reduce>
<solved chrono="3144" cident="c193" />
<schedule chrono="3145" />
<awake chrono="3146" cident="c50" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3147" cident="c50" />
<awake chrono="3148" cident="c47" >
	<update vident="v10" types="val" />
</awake>
<suspend chrono="3149" cident="c47" />
<awake chrono="3150" cident="c44" >
	<update vident="v10" types="val" />
</awake>
<reduce chrono="3151" cident="c44" vident="v11" >
	<delta><range from="4" to="4" /></delta>
	<update vident="v11" types="val " />
</reduce>
<suspend chrono="3152" cident="c44" />
<schedule chrono="3153" />
<awake chrono="3154" cident="c56" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="3155" cident="c56" vident="v13" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v13" types="val " />
</reduce>
<suspend chrono="3156" cident="c56" />
<awake chrono="3157" cident="c53" >
	<update vident="v11" types="val" />
</awake>
<reduce chrono="3158" cident="c53" vident="v12" >
	<delta><range from="2" to="2" /></delta>
	<update vident="v12" types="min val " />
</reduce>
<suspend chrono="3159" cident="c53" />
<awake chrono="3160" cident="c44" >
	<update vident="v11" types="val" />
</awake>
<suspend chrono="3161" cident="c44" />
<schedule chrono="3162" />
<awake chrono="3163" cident="c59" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3164" cident="c59" />
<awake chrono="3165" cident="c56" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3166" cident="c56" />
<awake chrono="3167" cident="c50" >
	<update vident="v13" types="val" />
</awake>
<suspend chrono="3168" cident="c50" />
<schedule chrono="3169" />
<awake chrono="3170" cident="c95" >
	<update vident="v12" types="min" />
</awake>
<suspend chrono="3171" cident="c95" />
<schedule chrono="3172" />
<awake chrono="3173" cident="c59" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3174" cident="c59" />
<awake chrono="3175" cident="c53" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3176" cident="c53" />
<awake chrono="3177" cident="c47" >
	<update vident="v12" types="val" />
</awake>
<suspend chrono="3178" cident="c47" />
<failure chrono="3179" depth="18" nident="106" />
<back-to chrono="3180" depth="0" node="0" node-before="106" />
<solution chrono="3181" depth="1" nident="107" >
	<state>
	</state>
</solution>
</gentra4cp>