<gentra4cp>
<header>
	<date>2004-04-26 22:02:59</date>
	<source>send</source>
	<creator>deransar</creator>
	<contributor></contributor>
	<description></description>
	<rights>This trace is public domain.</rights>
	<solver>Codeine, Version 0.9.2 (2004-04-21). COnstraint DEbugging INteractive EnvironmentBy Ludovic Langevine and Tristan Denmat</solver>
	<parameters>
		sendmore(_15)
	</parameters>
</header>
<choice-point chrono="1" depth="0" nident="0" nname="root" time="0" >
	<state>
	</state>
</choice-point>
<new-variable chrono="2" depth="1" vident="v1" vinternal="_#3" vname="E" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="3" depth="1" cident="c1" cinternal="fd_domain(v1,0,9)" orig="user" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="undefined" orig="user">
		<variables>v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="4" depth="1" cident="c1" />
<solved chrono="5" depth="1" cident="c1" />
<new-variable chrono="6" depth="1" vident="v2" vinternal="_#25" vname="N" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="7" depth="1" cident="c2" cinternal="fd_domain(v2,0,9)" orig="user" >
	<state>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="undefined" orig="user">
		<variables>v2 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="8" depth="1" cident="c2" />
<solved chrono="9" depth="1" cident="c2" />
<new-variable chrono="10" depth="1" vident="v3" vinternal="_#47" vname="D" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="11" depth="1" cident="c3" cinternal="fd_domain(v3,0,9)" orig="user" >
	<state>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="undefined" orig="user">
		<variables>v3 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="12" depth="1" cident="c3" />
<solved chrono="13" depth="1" cident="c3" />
<new-variable chrono="14" depth="1" vident="v4" vinternal="_#69" vname="O" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="15" depth="1" cident="c4" cinternal="fd_domain(v4,0,9)" orig="user" >
	<state>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="undefined" orig="user">
		<variables>v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="16" depth="1" cident="c4" />
<solved chrono="17" depth="1" cident="c4" />
<new-variable chrono="18" depth="1" vident="v5" vinternal="_#91" vname="R" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="19" depth="1" cident="c5" cinternal="fd_domain(v5,0,9)" orig="user" >
	<state>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="undefined" orig="user">
		<variables>v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="20" depth="1" cident="c5" />
<solved chrono="21" depth="1" cident="c5" />
<new-variable chrono="22" depth="1" vident="v6" vinternal="_#113" vname="Y" >
	<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="23" depth="1" cident="c6" cinternal="fd_domain(v6,0,9)" orig="user" >
	<state>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="undefined" orig="user">
		<variables>v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="24" depth="1" cident="c6" />
<solved chrono="25" depth="1" cident="c6" />
<new-variable chrono="26" depth="1" vident="v7" vinternal="_#135" vname="S" >
	<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="27" depth="1" cident="c7" cinternal="fd_domain(v7,1,9)" orig="user" >
	<state>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="undefined" orig="user">
		<variables>v7 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="28" depth="1" cident="c7" />
<solved chrono="29" depth="1" cident="c7" />
<new-variable chrono="30" depth="1" vident="v8" vinternal="_#157" vname="M" >
	<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
</new-variable>
<new-constraint chrono="31" depth="1" cident="c8" cinternal="fd_domain(v8,1,9)" orig="user" >
	<state>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="undefined" orig="user">
		<variables>v8 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="32" depth="1" cident="c8" />
<solved chrono="33" depth="1" cident="c8" />
<choice-point chrono="34" depth="1" nident="1" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
	</variable>
	</state>
</choice-point>
<new-constraint chrono="35" depth="2" cident="c9" cinternal="x_neq_y(v7,v1)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="undefined" orig="user">
		<variables>v7 v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="36" depth="2" cident="c9" />
<suspend chrono="37" depth="2" cident="c9" />
<new-constraint chrono="38" depth="2" cident="c12" cinternal="x_neq_y(v7,v2)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="undefined" orig="user">
		<variables>v7 v2 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="39" depth="2" cident="c12" />
<suspend chrono="40" depth="2" cident="c12" />
<new-constraint chrono="41" depth="2" cident="c15" cinternal="x_neq_y(v7,v3)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="undefined" orig="user">
		<variables>v7 v3 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="42" depth="2" cident="c15" />
<suspend chrono="43" depth="2" cident="c15" />
<new-constraint chrono="44" depth="2" cident="c18" cinternal="x_neq_y(v7,v8)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="undefined" orig="user">
		<variables>v7 v8 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="45" depth="2" cident="c18" />
<suspend chrono="46" depth="2" cident="c18" />
<new-constraint chrono="47" depth="2" cident="c21" cinternal="x_neq_y(v7,v4)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="undefined" orig="user">
		<variables>v7 v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="48" depth="2" cident="c21" />
<suspend chrono="49" depth="2" cident="c21" />
<new-constraint chrono="50" depth="2" cident="c24" cinternal="x_neq_y(v7,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="undefined" orig="user">
		<variables>v7 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="51" depth="2" cident="c24" />
<suspend chrono="52" depth="2" cident="c24" />
<new-constraint chrono="53" depth="2" cident="c27" cinternal="x_neq_y(v7,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="undefined" orig="user">
		<variables>v7 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="54" depth="2" cident="c27" />
<suspend chrono="55" depth="2" cident="c27" />
<new-constraint chrono="56" depth="2" cident="c30" cinternal="x_neq_y(v1,v2)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="undefined" orig="user">
		<variables>v1 v2 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="57" depth="2" cident="c30" />
<suspend chrono="58" depth="2" cident="c30" />
<new-constraint chrono="59" depth="2" cident="c33" cinternal="x_neq_y(v1,v3)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="undefined" orig="user">
		<variables>v1 v3 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="60" depth="2" cident="c33" />
<suspend chrono="61" depth="2" cident="c33" />
<new-constraint chrono="62" depth="2" cident="c36" cinternal="x_neq_y(v1,v8)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="undefined" orig="user">
		<variables>v1 v8 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="63" depth="2" cident="c36" />
<suspend chrono="64" depth="2" cident="c36" />
<new-constraint chrono="65" depth="2" cident="c39" cinternal="x_neq_y(v1,v4)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="undefined" orig="user">
		<variables>v1 v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="66" depth="2" cident="c39" />
<suspend chrono="67" depth="2" cident="c39" />
<new-constraint chrono="68" depth="2" cident="c42" cinternal="x_neq_y(v1,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="undefined" orig="user">
		<variables>v1 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="69" depth="2" cident="c42" />
<suspend chrono="70" depth="2" cident="c42" />
<new-constraint chrono="71" depth="2" cident="c45" cinternal="x_neq_y(v1,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="undefined" orig="user">
		<variables>v1 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="72" depth="2" cident="c45" />
<suspend chrono="73" depth="2" cident="c45" />
<new-constraint chrono="74" depth="2" cident="c48" cinternal="x_neq_y(v2,v3)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="undefined" orig="user">
		<variables>v2 v3 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="75" depth="2" cident="c48" />
<suspend chrono="76" depth="2" cident="c48" />
<new-constraint chrono="77" depth="2" cident="c51" cinternal="x_neq_y(v2,v8)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="undefined" orig="user">
		<variables>v2 v8 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="78" depth="2" cident="c51" />
<suspend chrono="79" depth="2" cident="c51" />
<new-constraint chrono="80" depth="2" cident="c54" cinternal="x_neq_y(v2,v4)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="undefined" orig="user">
		<variables>v2 v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="81" depth="2" cident="c54" />
<suspend chrono="82" depth="2" cident="c54" />
<new-constraint chrono="83" depth="2" cident="c57" cinternal="x_neq_y(v2,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="undefined" orig="user">
		<variables>v2 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="84" depth="2" cident="c57" />
<suspend chrono="85" depth="2" cident="c57" />
<new-constraint chrono="86" depth="2" cident="c60" cinternal="x_neq_y(v2,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="undefined" orig="user">
		<variables>v2 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="87" depth="2" cident="c60" />
<suspend chrono="88" depth="2" cident="c60" />
<new-constraint chrono="89" depth="2" cident="c63" cinternal="x_neq_y(v3,v8)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="undefined" orig="user">
		<variables>v3 v8 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="90" depth="2" cident="c63" />
<suspend chrono="91" depth="2" cident="c63" />
<new-constraint chrono="92" depth="2" cident="c66" cinternal="x_neq_y(v3,v4)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="undefined" orig="user">
		<variables>v3 v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="93" depth="2" cident="c66" />
<suspend chrono="94" depth="2" cident="c66" />
<new-constraint chrono="95" depth="2" cident="c69" cinternal="x_neq_y(v3,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="undefined" orig="user">
		<variables>v3 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="96" depth="2" cident="c69" />
<suspend chrono="97" depth="2" cident="c69" />
<new-constraint chrono="98" depth="2" cident="c72" cinternal="x_neq_y(v3,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="undefined" orig="user">
		<variables>v3 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="99" depth="2" cident="c72" />
<suspend chrono="100" depth="2" cident="c72" />
<new-constraint chrono="101" depth="2" cident="c75" cinternal="x_neq_y(v8,v4)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="undefined" orig="user">
		<variables>v8 v4 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="102" depth="2" cident="c75" />
<suspend chrono="103" depth="2" cident="c75" />
<new-constraint chrono="104" depth="2" cident="c78" cinternal="x_neq_y(v8,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="undefined" orig="user">
		<variables>v8 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="105" depth="2" cident="c78" />
<suspend chrono="106" depth="2" cident="c78" />
<new-constraint chrono="107" depth="2" cident="c81" cinternal="x_neq_y(v8,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="undefined" orig="user">
		<variables>v8 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="108" depth="2" cident="c81" />
<suspend chrono="109" depth="2" cident="c81" />
<new-constraint chrono="110" depth="2" cident="c84" cinternal="x_neq_y(v4,v5)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="undefined" orig="user">
		<variables>v4 v5 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="111" depth="2" cident="c84" />
<suspend chrono="112" depth="2" cident="c84" />
<new-constraint chrono="113" depth="2" cident="c87" cinternal="x_neq_y(v4,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="undefined" orig="user">
		<variables>v4 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="114" depth="2" cident="c87" />
<suspend chrono="115" depth="2" cident="c87" />
<new-constraint chrono="116" depth="2" cident="c90" cinternal="x_neq_y(v5,v6)" orig="user" cname="alldiff" >
	<state>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="undefined" orig="user">
		<variables>v5 v6 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="117" depth="2" cident="c90" />
<suspend chrono="118" depth="2" cident="c90" />
<choice-point chrono="119" depth="2" nident="2" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="0" max="9" size="10"><range from="0" to="9" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="9" size="9"><range from="1" to="9" /></vardomain>
	</variable>
	</state>
</choice-point>
<new-variable chrono="120" depth="3" vident="v9" vinternal="_#512" >
	<vardomain min="0" max="9999" size="10000"><range from="0" to="9999" /></vardomain>
</new-variable>
<new-variable chrono="121" depth="3" vident="v10" vinternal="_#531" >
	<vardomain min="0" max="9999" size="10000"><range from="0" to="9999" /></vardomain>
</new-variable>
<new-constraint chrono="122" depth="3" cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" orig="user" cname="mainconst" >
	<state>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="undefined" orig="user">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="123" depth="3" cident="c93" />
<reduce chrono="124" depth="3" algo="initial[2]" cident="c93" vident="v10" >
	<delta><range from="9000" to="9999" /></delta>
	<vardomain min="0" max="8999" size="9000"><range from="0" to="8999" /></vardomain>
	<update vident="v10" types="max minmax dom" />
</reduce>
<reduce chrono="125" depth="3" algo="initial[2]" cident="c93" vident="v9" >
	<delta><range from="0" to="999" /></delta>
	<vardomain min="1000" max="9999" size="9000"><range from="1000" to="9999" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="126" depth="3" cident="c93" />
<schedule chrono="127" depth="3" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="128" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="129" depth="3" cident="c93" />
<awake chrono="130" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="131" depth="3" cident="c93" />
<awake chrono="132" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="133" depth="3" cident="c93" />
<schedule chrono="134" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="135" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="136" depth="3" cident="c93" />
<awake chrono="137" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="138" depth="3" cident="c93" />
<awake chrono="139" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="140" depth="3" cident="c93" />
<new-constraint chrono="141" depth="3" cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" orig="user" cname="mainconst" >
	<state>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="undefined" orig="user">
		<variables>v5 v3 v10 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="142" depth="3" cident="c98" />
<reduce chrono="143" depth="3" algo="initial[2]" cident="c98" vident="v10" >
	<delta><range from="100" to="8999" /></delta>
	<vardomain min="0" max="99" size="100"><range from="0" to="99" /></vardomain>
	<update vident="v10" types="max minmax dom" />
</reduce>
<suspend chrono="144" depth="3" cident="c98" />
<schedule chrono="145" depth="3" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="146" depth="3" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="147" depth="3" cident="c98" />
<awake chrono="148" depth="3" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="149" depth="3" cident="c98" />
<awake chrono="150" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="151" depth="3" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9919" to="9999" /></delta>
	<vardomain min="1000" max="9918" size="8919"><range from="1000" to="9918" /></vardomain>
	<update vident="v9" types="max minmax dom" />
</reduce>
<suspend chrono="152" depth="3" cident="c93" />
<awake chrono="153" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="154" depth="3" cident="c93" />
<awake chrono="155" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="156" depth="3" cident="c93" />
<schedule chrono="157" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="158" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="159" depth="3" cident="c93" />
<awake chrono="160" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="161" depth="3" cident="c93" />
<awake chrono="162" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="163" depth="3" cident="c93" />
<new-variable chrono="164" depth="3" vident="v11" vinternal="_#617" >
	<vardomain min="0" max="9999" size="10000"><range from="0" to="9999" /></vardomain>
</new-variable>
<new-constraint chrono="165" depth="3" cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" orig="user" cname="mainconst" >
	<state>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="undefined" orig="user">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="166" depth="3" cident="c102" />
<reduce chrono="167" depth="3" algo="initial[1]" cident="c102" vident="v8" >
	<delta><range from="2" to="9" /></delta>
	<vardomain min="1" max="1" size="1"><values>1</values></vardomain>
	<update vident="v8" types="max minmax dom val" />
</reduce>
<reduce chrono="168" depth="3" algo="initial[2]" cident="c102" vident="v4" >
	<delta><range from="2" to="9" /></delta>
	<vardomain min="0" max="1" size="2"><range from="0" to="1" /></vardomain>
	<update vident="v4" types="max minmax dom" />
</reduce>
<reduce chrono="169" depth="3" algo="initial[2]" cident="c102" vident="v11" >
	<delta><range from="919" to="9999" /></delta>
	<vardomain min="0" max="918" size="919"><range from="0" to="918" /></vardomain>
	<update vident="v11" types="max minmax dom" />
</reduce>
<reduce chrono="170" depth="3" algo="initial[2]" cident="c102" vident="v9" >
	<delta><range from="1000" to="8999" /></delta>
	<vardomain min="9000" max="9918" size="919"><range from="9000" to="9918" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="171" depth="3" cident="c102" />
<schedule chrono="172" depth="3" actions="dequeue" >
	<update vident="v8" types="val" />
</schedule>
<awake chrono="173" depth="3" cident="c81" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="174" depth="3" algo="f_83[4]" cident="c81" vident="v6" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="9" size="9"><range from="0" to="0" /><range from="2" to="9" /></vardomain>
	<update vident="v6" types="dom" />
</reduce>
<suspend chrono="175" depth="3" cident="c81" />
<awake chrono="176" depth="3" cident="c78" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="177" depth="3" algo="f_80[4]" cident="c78" vident="v5" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="9" size="9"><range from="0" to="0" /><range from="2" to="9" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="178" depth="3" cident="c78" />
<awake chrono="179" depth="3" cident="c75" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="180" depth="3" algo="f_77[1]" cident="c75" vident="v4" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="0" size="1"><values>0</values></vardomain>
	<update vident="v4" types="max minmax dom val" />
</reduce>
<suspend chrono="181" depth="3" cident="c75" />
<awake chrono="182" depth="3" cident="c63" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="183" depth="3" algo="f_64[4]" cident="c63" vident="v3" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="9" size="9"><range from="0" to="0" /><range from="2" to="9" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="184" depth="3" cident="c63" />
<awake chrono="185" depth="3" cident="c51" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="186" depth="3" algo="f_52[4]" cident="c51" vident="v2" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="9" size="9"><range from="0" to="0" /><range from="2" to="9" /></vardomain>
	<update vident="v2" types="dom" />
</reduce>
<suspend chrono="187" depth="3" cident="c51" />
<awake chrono="188" depth="3" cident="c36" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="189" depth="3" algo="f_37[4]" cident="c36" vident="v1" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="0" max="9" size="9"><range from="0" to="0" /><range from="2" to="9" /></vardomain>
	<update vident="v1" types="dom" />
</reduce>
<suspend chrono="190" depth="3" cident="c36" />
<awake chrono="191" depth="3" cident="c18" >
	<update vident="v8" types="val" />
</awake>
<reduce chrono="192" depth="3" algo="f_19[4]" cident="c18" vident="v7" >
	<delta><range from="1" to="1" /></delta>
	<vardomain min="2" max="9" size="8"><range from="2" to="9" /></vardomain>
	<update vident="v7" types="min minmax dom" />
</reduce>
<suspend chrono="193" depth="3" cident="c18" />
<schedule chrono="194" depth="3" actions="dequeue" >
	<update vident="v4" types="minmax" />
</schedule>
<awake chrono="195" depth="3" cident="c102" >
	<update vident="v4" types="minmax" />
</awake>
<suspend chrono="196" depth="3" cident="c102" />
<awake chrono="197" depth="3" cident="c102" >
	<update vident="v4" types="minmax" />
</awake>
<suspend chrono="198" depth="3" cident="c102" />
<awake chrono="199" depth="3" cident="c102" >
	<update vident="v4" types="minmax" />
</awake>
<suspend chrono="200" depth="3" cident="c102" />
<schedule chrono="201" depth="3" actions="dequeue" >
	<update vident="v4" types="val" />
</schedule>
<awake chrono="202" depth="3" cident="c87" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="203" depth="3" algo="f_89[4]" cident="c87" vident="v6" >
	<delta><range from="0" to="0" /></delta>
	<vardomain min="0" max="0" size="8"><range from="0" to="0" /></vardomain>
	<update vident="v6" types="min minmax dom" />
</reduce>
<suspend chrono="204" depth="3" cident="c87" />
<awake chrono="205" depth="3" cident="c84" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="206" depth="3" algo="f_86[4]" cident="c84" vident="v5" >
	<delta><range from="0" to="0" /></delta>
	<vardomain min="0" max="0" size="8"><range from="0" to="0" /></vardomain>
	<update vident="v5" types="min minmax dom" />
</reduce>
<suspend chrono="207" depth="3" cident="c84" />
<awake chrono="208" depth="3" cident="c75" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="209" depth="3" cident="c75" />
<awake chrono="210" depth="3" cident="c66" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="211" depth="3" algo="f_67[4]" cident="c66" vident="v3" >
	<delta><range from="0" to="0" /></delta>
	<vardomain min="0" max="0" size="8"><range from="0" to="0" /></vardomain>
	<update vident="v3" types="min minmax dom" />
</reduce>
<suspend chrono="212" depth="3" cident="c66" />
<awake chrono="213" depth="3" cident="c54" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="214" depth="3" algo="f_55[4]" cident="c54" vident="v2" >
	<delta><range from="0" to="0" /></delta>
	<vardomain min="0" max="0" size="8"><range from="0" to="0" /></vardomain>
	<update vident="v2" types="min minmax dom" />
</reduce>
<suspend chrono="215" depth="3" cident="c54" />
<awake chrono="216" depth="3" cident="c39" >
	<update vident="v4" types="val" />
</awake>
<reduce chrono="217" depth="3" algo="f_40[4]" cident="c39" vident="v1" >
	<delta><range from="0" to="0" /></delta>
	<vardomain min="0" max="0" size="8"><range from="0" to="0" /></vardomain>
	<update vident="v1" types="min minmax dom" />
</reduce>
<suspend chrono="218" depth="3" cident="c39" />
<awake chrono="219" depth="3" cident="c21" >
	<update vident="v4" types="val" />
</awake>
<suspend chrono="220" depth="3" cident="c21" />
<schedule chrono="221" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="222" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="223" depth="3" cident="c102" />
<awake chrono="224" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="225" depth="3" cident="c102" />
<awake chrono="226" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="227" depth="3" cident="c102" />
<schedule chrono="228" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="229" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="230" depth="3" cident="c102" />
<awake chrono="231" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="232" depth="3" cident="c102" />
<awake chrono="233" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="234" depth="3" cident="c102" />
<awake chrono="235" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="236" depth="3" cident="c93" />
<awake chrono="237" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="238" depth="3" cident="c93" />
<awake chrono="239" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="240" depth="3" algo="f_94[1]" cident="c93" vident="v7" >
	<delta><range from="2" to="8" /></delta>
	<vardomain min="9" max="9" size="1"><values>9</values></vardomain>
	<update vident="v7" types="min minmax dom val" />
</reduce>
<suspend chrono="241" depth="3" cident="c93" />
<schedule chrono="242" depth="3" actions="dequeue" >
	<update vident="v7" types="minmax" />
</schedule>
<awake chrono="243" depth="3" cident="c93" >
	<update vident="v7" types="minmax" />
</awake>
<reduce chrono="244" depth="3" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9000" to="9181" /></delta>
	<vardomain min="9182" max="9918" size="737"><range from="9182" to="9918" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="245" depth="3" cident="c93" />
<awake chrono="246" depth="3" cident="c93" >
	<update vident="v7" types="minmax" />
</awake>
<suspend chrono="247" depth="3" cident="c93" />
<awake chrono="248" depth="3" cident="c93" >
	<update vident="v7" types="minmax" />
</awake>
<suspend chrono="249" depth="3" cident="c93" />
<schedule chrono="250" depth="3" actions="dequeue" >
	<update vident="v7" types="val" />
</schedule>
<awake chrono="251" depth="3" cident="c27" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="252" depth="3" algo="f_29[4]" cident="c27" vident="v6" >
	<delta><range from="9" to="9" /></delta>
	<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	<update vident="v6" types="max minmax dom" />
</reduce>
<suspend chrono="253" depth="3" cident="c27" />
<awake chrono="254" depth="3" cident="c24" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="255" depth="3" algo="f_26[4]" cident="c24" vident="v5" >
	<delta><range from="9" to="9" /></delta>
	<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	<update vident="v5" types="max minmax dom" />
</reduce>
<suspend chrono="256" depth="3" cident="c24" />
<awake chrono="257" depth="3" cident="c21" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="258" depth="3" cident="c21" />
<awake chrono="259" depth="3" cident="c18" >
	<update vident="v7" types="val" />
</awake>
<suspend chrono="260" depth="3" cident="c18" />
<awake chrono="261" depth="3" cident="c15" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="262" depth="3" algo="f_17[4]" cident="c15" vident="v3" >
	<delta><range from="9" to="9" /></delta>
	<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	<update vident="v3" types="max minmax dom" />
</reduce>
<suspend chrono="263" depth="3" cident="c15" />
<awake chrono="264" depth="3" cident="c12" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="265" depth="3" algo="f_14[4]" cident="c12" vident="v2" >
	<delta><range from="9" to="9" /></delta>
	<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	<update vident="v2" types="max minmax dom" />
</reduce>
<suspend chrono="266" depth="3" cident="c12" />
<awake chrono="267" depth="3" cident="c9" >
	<update vident="v7" types="val" />
</awake>
<reduce chrono="268" depth="3" algo="f_11[4]" cident="c9" vident="v1" >
	<delta><range from="9" to="9" /></delta>
	<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	<update vident="v1" types="max minmax dom" />
</reduce>
<suspend chrono="269" depth="3" cident="c9" />
<schedule chrono="270" depth="3" actions="dequeue" >
	<update vident="v5" types="minmax" />
</schedule>
<awake chrono="271" depth="3" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<reduce chrono="272" depth="3" algo="f_101[2]" cident="c98" vident="v10" >
	<delta><range from="0" to="21" /><range from="89" to="99" /></delta>
	<vardomain min="22" max="88" size="67"><range from="22" to="88" /></vardomain>
	<update vident="v10" types="min max minmax dom" />
</reduce>
<suspend chrono="273" depth="3" cident="c98" />
<awake chrono="274" depth="3" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<suspend chrono="275" depth="3" cident="c98" />
<schedule chrono="276" depth="3" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="277" depth="3" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="278" depth="3" cident="c98" />
<awake chrono="279" depth="3" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="280" depth="3" cident="c98" />
<schedule chrono="281" depth="3" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="282" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="283" depth="3" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9182" to="9203" /><range from="9817" to="9918" /></delta>
	<vardomain min="9204" max="9816" size="613"><range from="9204" to="9816" /></vardomain>
	<update vident="v9" types="min max minmax dom" />
</reduce>
<suspend chrono="284" depth="3" cident="c93" />
<awake chrono="285" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="286" depth="3" cident="c93" />
<awake chrono="287" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="288" depth="3" cident="c93" />
<schedule chrono="289" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="290" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="291" depth="3" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="0" to="203" /><range from="817" to="918" /></delta>
	<vardomain min="204" max="816" size="613"><range from="204" to="816" /></vardomain>
	<update vident="v11" types="min max minmax dom" />
</reduce>
<suspend chrono="292" depth="3" cident="c102" />
<awake chrono="293" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="294" depth="3" cident="c102" />
<awake chrono="295" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="296" depth="3" cident="c102" />
<awake chrono="297" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="298" depth="3" cident="c93" />
<awake chrono="299" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="300" depth="3" cident="c93" />
<awake chrono="301" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="302" depth="3" cident="c93" />
<schedule chrono="303" depth="3" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="304" depth="3" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="305" depth="3" cident="c98" />
<awake chrono="306" depth="3" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="307" depth="3" cident="c98" />
<awake chrono="308" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="309" depth="3" cident="c93" />
<awake chrono="310" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="311" depth="3" cident="c93" />
<awake chrono="312" depth="3" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="313" depth="3" cident="c93" />
<schedule chrono="314" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="315" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="316" depth="3" cident="c102" />
<awake chrono="317" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="318" depth="3" cident="c102" />
<awake chrono="319" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="320" depth="3" cident="c102" />
<new-constraint chrono="321" depth="3" cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" orig="user" cname="mainconst" >
	<state>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="undefined" orig="user">
		<variables>v2 v6 v11 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="322" depth="3" cident="c107" />
<reduce chrono="323" depth="3" algo="initial[3]" cident="c107" vident="v2" >
	<delta><range from="2" to="2" /></delta>
	<vardomain min="3" max="8" size="6"><range from="3" to="8" /></vardomain>
	<update vident="v2" types="min minmax dom" />
</reduce>
<reduce chrono="324" depth="3" algo="initial[2]" cident="c107" vident="v11" >
	<delta><range from="204" to="271" /><range from="729" to="816" /></delta>
	<vardomain min="272" max="728" size="457"><range from="272" to="728" /></vardomain>
	<update vident="v11" types="min max minmax dom" />
</reduce>
<suspend chrono="325" depth="3" cident="c107" />
<schedule chrono="326" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="327" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="328" depth="3" cident="c107" />
<awake chrono="329" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="330" depth="3" cident="c107" />
<awake chrono="331" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="332" depth="3" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9204" to="9271" /><range from="9729" to="9816" /></delta>
	<vardomain min="9272" max="9728" size="457"><range from="9272" to="9728" /></vardomain>
	<update vident="v9" types="min max minmax dom" />
</reduce>
<suspend chrono="333" depth="3" cident="c102" />
<schedule chrono="334" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="335" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="336" depth="3" cident="c102" />
<awake chrono="337" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="338" depth="3" cident="c93" />
<awake chrono="339" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="340" depth="3" algo="f_95[3]" cident="c93" vident="v1" >
	<delta><range from="2" to="2" /><range from="8" to="8" /></delta>
	<vardomain min="3" max="7" size="5"><range from="3" to="7" /></vardomain>
	<update vident="v1" types="min max minmax dom" />
</reduce>
<suspend chrono="341" depth="3" cident="c93" />
<schedule chrono="342" depth="3" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="343" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="344" depth="3" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9272" to="9294" /><range from="9726" to="9728" /></delta>
	<vardomain min="9295" max="9725" size="431"><range from="9295" to="9725" /></vardomain>
	<update vident="v9" types="min max minmax dom" />
</reduce>
<suspend chrono="345" depth="3" cident="c93" />
<awake chrono="346" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="347" depth="3" cident="c93" />
<schedule chrono="348" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="349" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="350" depth="3" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="272" to="294" /><range from="726" to="728" /></delta>
	<vardomain min="295" max="725" size="431"><range from="295" to="725" /></vardomain>
	<update vident="v11" types="min max minmax dom" />
</reduce>
<suspend chrono="351" depth="3" cident="c102" />
<awake chrono="352" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="353" depth="3" cident="c93" />
<awake chrono="354" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="355" depth="3" cident="c93" />
<schedule chrono="356" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="357" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="358" depth="3" cident="c107" />
<awake chrono="359" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="360" depth="3" algo="f_108[3]" cident="c107" vident="v2" >
	<delta><range from="3" to="3" /></delta>
	<vardomain min="4" max="8" size="5"><range from="4" to="8" /></vardomain>
	<update vident="v2" types="min minmax dom" />
</reduce>
<suspend chrono="361" depth="3" cident="c107" />
<awake chrono="362" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="363" depth="3" cident="c102" />
<schedule chrono="364" depth="3" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="365" depth="3" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="366" depth="3" algo="f_110[2]" cident="c107" vident="v11" >
	<delta><range from="295" to="361" /></delta>
	<vardomain min="362" max="725" size="364"><range from="362" to="725" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="367" depth="3" cident="c107" />
<awake chrono="368" depth="3" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<suspend chrono="369" depth="3" cident="c107" />
<schedule chrono="370" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="371" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="372" depth="3" cident="c107" />
<awake chrono="373" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="374" depth="3" cident="c107" />
<awake chrono="375" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="376" depth="3" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9295" to="9361" /></delta>
	<vardomain min="9362" max="9725" size="364"><range from="9362" to="9725" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="377" depth="3" cident="c102" />
<schedule chrono="378" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="379" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="380" depth="3" cident="c102" />
<awake chrono="381" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="382" depth="3" cident="c93" />
<awake chrono="383" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="384" depth="3" algo="f_95[3]" cident="c93" vident="v1" >
	<delta><range from="3" to="3" /></delta>
	<vardomain min="4" max="7" size="4"><range from="4" to="7" /></vardomain>
	<update vident="v1" types="min minmax dom" />
</reduce>
<suspend chrono="385" depth="3" cident="c93" />
<schedule chrono="386" depth="3" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="387" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="388" depth="3" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9362" to="9385" /></delta>
	<vardomain min="9386" max="9725" size="340"><range from="9386" to="9725" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="389" depth="3" cident="c93" />
<awake chrono="390" depth="3" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="391" depth="3" cident="c93" />
<schedule chrono="392" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="393" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="394" depth="3" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="362" to="385" /></delta>
	<vardomain min="386" max="725" size="340"><range from="386" to="725" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="395" depth="3" cident="c102" />
<awake chrono="396" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="397" depth="3" cident="c93" />
<awake chrono="398" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="399" depth="3" cident="c93" />
<schedule chrono="400" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="401" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="402" depth="3" cident="c107" />
<awake chrono="403" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="404" depth="3" algo="f_108[3]" cident="c107" vident="v2" >
	<delta><range from="4" to="4" /></delta>
	<vardomain min="5" max="8" size="4"><range from="5" to="8" /></vardomain>
	<update vident="v2" types="min minmax dom" />
</reduce>
<suspend chrono="405" depth="3" cident="c107" />
<awake chrono="406" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="407" depth="3" cident="c102" />
<schedule chrono="408" depth="3" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="409" depth="3" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="410" depth="3" algo="f_110[2]" cident="c107" vident="v11" >
	<delta><range from="386" to="451" /></delta>
	<vardomain min="452" max="725" size="274"><range from="452" to="725" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="411" depth="3" cident="c107" />
<awake chrono="412" depth="3" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<suspend chrono="413" depth="3" cident="c107" />
<schedule chrono="414" depth="3" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="415" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="416" depth="3" cident="c107" />
<awake chrono="417" depth="3" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="418" depth="3" cident="c107" />
<awake chrono="419" depth="3" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="420" depth="3" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9386" to="9451" /></delta>
	<vardomain min="9452" max="9725" size="274"><range from="9452" to="9725" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="421" depth="3" cident="c102" />
<schedule chrono="422" depth="3" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="423" depth="3" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="424" depth="3" cident="c102" />
<awake chrono="425" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="426" depth="3" cident="c93" />
<awake chrono="427" depth="3" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="428" depth="3" cident="c93" />
<choice-point chrono="429" depth="3" nident="3" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="4" max="7" size="4"><range from="4" to="7" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="5" max="8" size="4"><range from="5" to="8" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9452" max="9725" size="274"><range from="9452" to="9725" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="22" max="88" size="67"><range from="22" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="452" max="725" size="274"><range from="452" to="725" /></vardomain>
	</variable>
	</state>
</choice-point>
<new-constraint chrono="430" depth="4" cident="c111" cinternal="assign(v1,4)" orig="system" >
	<state>
	<constraint cident="c111" cinternal="assign(v1,4)" status="undefined" orig="system">
		<variables>v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="431" depth="4" cident="c111" />
<reduce chrono="432" depth="4" algo="initial[1]" cident="c111" vident="v1" >
	<delta><range from="5" to="7" /></delta>
	<vardomain min="4" max="4" size="1"><values>4</values></vardomain>
	<update vident="v1" types="max minmax dom val" />
</reduce>
<solved chrono="433" depth="4" cident="c111" />
<schedule chrono="434" depth="4" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="435" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="436" depth="4" algo="f_97[1]" cident="c93" vident="v9" >
	<delta><range from="9453" to="9725" /></delta>
	<vardomain min="9452" max="9452" size="1"><values>9452</values></vardomain>
	<update vident="v9" types="max minmax dom val" />
</reduce>
<suspend chrono="437" depth="4" cident="c93" />
<awake chrono="438" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="439" depth="4" algo="f_96[1]" cident="c93" vident="v10" >
	<delta><range from="22" to="87" /></delta>
	<vardomain min="88" max="88" size="1"><values>88</values></vardomain>
	<update vident="v10" types="min minmax dom val" />
</reduce>
<suspend chrono="440" depth="4" cident="c93" />
<schedule chrono="441" depth="4" actions="dequeue" >
	<update vident="v1" types="val" />
</schedule>
<awake chrono="442" depth="4" cident="c45" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="443" depth="4" algo="f_47[4]" cident="c45" vident="v6" >
	<delta><range from="4" to="4" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="3" /><range from="5" to="8" /></vardomain>
	<update vident="v6" types="dom" />
</reduce>
<suspend chrono="444" depth="4" cident="c45" />
<awake chrono="445" depth="4" cident="c42" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="446" depth="4" algo="f_44[4]" cident="c42" vident="v5" >
	<delta><range from="4" to="4" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="3" /><range from="5" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="447" depth="4" cident="c42" />
<awake chrono="448" depth="4" cident="c33" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="449" depth="4" algo="f_35[4]" cident="c33" vident="v3" >
	<delta><range from="4" to="4" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="3" /><range from="5" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="450" depth="4" cident="c33" />
<awake chrono="451" depth="4" cident="c30" >
	<update vident="v1" types="val" />
</awake>
<suspend chrono="452" depth="4" cident="c30" />
<schedule chrono="453" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="454" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="455" depth="4" algo="f_105[1]" cident="c102" vident="v11" >
	<delta><range from="453" to="725" /></delta>
	<vardomain min="452" max="452" size="1"><values>452</values></vardomain>
	<update vident="v11" types="max minmax dom val" />
</reduce>
<suspend chrono="456" depth="4" cident="c102" />
<awake chrono="457" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="458" depth="4" cident="c93" />
<awake chrono="459" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="460" depth="4" cident="c93" />
<schedule chrono="461" depth="4" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="462" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="463" depth="4" algo="f_100[1]" cident="c98" vident="v3" >
	<delta><range from="2" to="3" /><range from="5" to="7" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v3" types="min minmax dom val" />
</reduce>
<suspend chrono="464" depth="4" cident="c98" />
<awake chrono="465" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="466" depth="4" algo="f_99[1]" cident="c98" vident="v5" >
	<delta><range from="2" to="3" /><range from="5" to="7" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v5" types="min minmax dom val" />
</reduce>
<suspend chrono="467" depth="4" cident="c98" />
<awake chrono="468" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="469" depth="4" cident="c93" />
<awake chrono="470" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="471" depth="4" cident="c93" />
<schedule chrono="472" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="473" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="474" depth="4" algo="f_109[1]" cident="c107" vident="v6" >
	<delta><range from="3" to="3" /><range from="5" to="8" /></delta>
	<vardomain min="2" max="2" size="1"><values>2</values></vardomain>
	<update vident="v6" types="max minmax dom val" />
</reduce>
<suspend chrono="475" depth="4" cident="c107" />
<awake chrono="476" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="477" depth="4" algo="f_108[1]" cident="c107" vident="v2" >
	<delta><range from="6" to="8" /></delta>
	<vardomain min="5" max="5" size="1"><values>5</values></vardomain>
	<update vident="v2" types="max minmax dom val" />
</reduce>
<suspend chrono="478" depth="4" cident="c107" />
<awake chrono="479" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="480" depth="4" cident="c102" />
<schedule chrono="481" depth="4" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="482" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="483" depth="4" cident="c98" />
<awake chrono="484" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="485" depth="4" cident="c98" />
<schedule chrono="486" depth="4" actions="dequeue" >
	<update vident="v3" types="val" />
</schedule>
<awake chrono="487" depth="4" cident="c72" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="488" depth="4" cident="c72" />
<awake chrono="489" depth="4" cident="c69" >
	<update vident="v3" types="val" />
</awake>
<reject chrono="490" depth="4" cident="c69" />
<failure chrono="491" depth="4" nident="4" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<constraint cident="c111" cinternal="assign(v1,4)" status="solved" orig="system">
		<variables>v1 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="4" max="4" size="1"><range from="4" to="4" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="5" max="5" size="1"><range from="5" to="5" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="2" size="1"><range from="2" to="2" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9452" max="9452" size="1"><range from="9452" to="9452" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="88" max="88" size="1"><range from="88" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="452" max="452" size="1"><range from="452" to="452" /></vardomain>
	</variable>
	</state>
</failure>
<back-to chrono="492" depth="3" node="3" node-before="4" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="4" max="7" size="4"><range from="4" to="7" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="5" max="8" size="4"><range from="5" to="8" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9452" max="9725" size="274"><range from="9452" to="9725" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="22" max="88" size="67"><range from="22" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="452" max="725" size="274"><range from="452" to="725" /></vardomain>
	</variable>
	</state>
</back-to>
<new-constraint chrono="493" depth="4" cident="c112" cinternal="assign(v1,5)" orig="system" >
	<state>
	<constraint cident="c112" cinternal="assign(v1,5)" status="undefined" orig="system">
		<variables>v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="494" depth="4" cident="c112" />
<reduce chrono="495" depth="4" algo="initial[1]" cident="c112" vident="v1" >
	<delta><range from="4" to="4" /><range from="6" to="7" /></delta>
	<vardomain min="5" max="5" size="1"><values>5</values></vardomain>
	<update vident="v1" types="min max minmax dom val" />
</reduce>
<solved chrono="496" depth="4" cident="c112" />
<schedule chrono="497" depth="4" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="498" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="499" depth="4" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9452" to="9476" /><range from="9544" to="9725" /></delta>
	<vardomain min="9477" max="9543" size="67"><range from="9477" to="9543" /></vardomain>
	<update vident="v9" types="min max minmax dom" />
</reduce>
<suspend chrono="500" depth="4" cident="c93" />
<awake chrono="501" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="502" depth="4" cident="c93" />
<schedule chrono="503" depth="4" actions="dequeue" >
	<update vident="v1" types="val" />
</schedule>
<awake chrono="504" depth="4" cident="c45" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="505" depth="4" algo="f_47[4]" cident="c45" vident="v6" >
	<delta><range from="5" to="5" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="4" /><range from="6" to="8" /></vardomain>
	<update vident="v6" types="dom" />
</reduce>
<suspend chrono="506" depth="4" cident="c45" />
<awake chrono="507" depth="4" cident="c42" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="508" depth="4" algo="f_44[4]" cident="c42" vident="v5" >
	<delta><range from="5" to="5" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="4" /><range from="6" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="509" depth="4" cident="c42" />
<awake chrono="510" depth="4" cident="c33" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="511" depth="4" algo="f_35[4]" cident="c33" vident="v3" >
	<delta><range from="5" to="5" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="4" /><range from="6" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="512" depth="4" cident="c33" />
<awake chrono="513" depth="4" cident="c30" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="514" depth="4" algo="f_32[4]" cident="c30" vident="v2" >
	<delta><range from="5" to="5" /></delta>
	<vardomain min="6" max="8" size="3"><range from="6" to="8" /></vardomain>
	<update vident="v2" types="min minmax dom" />
</reduce>
<suspend chrono="515" depth="4" cident="c30" />
<schedule chrono="516" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="517" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="518" depth="4" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="452" to="476" /><range from="544" to="725" /></delta>
	<vardomain min="477" max="543" size="67"><range from="477" to="543" /></vardomain>
	<update vident="v11" types="min max minmax dom" />
</reduce>
<suspend chrono="519" depth="4" cident="c102" />
<awake chrono="520" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="521" depth="4" cident="c93" />
<awake chrono="522" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="523" depth="4" cident="c93" />
<schedule chrono="524" depth="4" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="525" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="526" depth="4" algo="f_110[2]" cident="c107" vident="v11" >
	<delta><range from="477" to="541" /></delta>
	<vardomain min="542" max="543" size="2"><range from="542" to="543" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="527" depth="4" cident="c107" />
<awake chrono="528" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="529" depth="4" algo="f_109[3]" cident="c107" vident="v6" >
	<delta><range from="4" to="4" /><range from="6" to="8" /></delta>
	<vardomain min="2" max="3" size="2"><range from="2" to="3" /></vardomain>
	<update vident="v6" types="max minmax dom" />
</reduce>
<suspend chrono="530" depth="4" cident="c107" />
<schedule chrono="531" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="532" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="533" depth="4" cident="c107" />
<awake chrono="534" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="535" depth="4" algo="f_108[1]" cident="c107" vident="v2" >
	<delta><range from="7" to="8" /></delta>
	<vardomain min="6" max="6" size="1"><values>6</values></vardomain>
	<update vident="v2" types="max minmax dom val" />
</reduce>
<suspend chrono="536" depth="4" cident="c107" />
<awake chrono="537" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="538" depth="4" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9477" to="9541" /></delta>
	<vardomain min="9542" max="9543" size="2"><range from="9542" to="9543" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="539" depth="4" cident="c102" />
<schedule chrono="540" depth="4" actions="dequeue" >
	<update vident="v6" types="minmax" />
</schedule>
<awake chrono="541" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="542" depth="4" cident="c107" />
<awake chrono="543" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="544" depth="4" cident="c107" />
<schedule chrono="545" depth="4" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="546" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<suspend chrono="547" depth="4" cident="c107" />
<awake chrono="548" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<suspend chrono="549" depth="4" cident="c107" />
<schedule chrono="550" depth="4" actions="dequeue" >
	<update vident="v2" types="val" />
</schedule>
<awake chrono="551" depth="4" cident="c60" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="552" depth="4" cident="c60" />
<awake chrono="553" depth="4" cident="c57" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="554" depth="4" algo="f_59[4]" cident="c57" vident="v5" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="2" max="8" size="5"><range from="2" to="4" /><range from="7" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="555" depth="4" cident="c57" />
<awake chrono="556" depth="4" cident="c48" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="557" depth="4" algo="f_50[4]" cident="c48" vident="v3" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="2" max="8" size="5"><range from="2" to="4" /><range from="7" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="558" depth="4" cident="c48" />
<awake chrono="559" depth="4" cident="c30" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="560" depth="4" cident="c30" />
<schedule chrono="561" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="562" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="563" depth="4" cident="c102" />
<awake chrono="564" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="565" depth="4" algo="f_96[2]" cident="c93" vident="v10" >
	<delta><range from="22" to="86" /></delta>
	<vardomain min="87" max="88" size="2"><range from="87" to="88" /></vardomain>
	<update vident="v10" types="min minmax dom" />
</reduce>
<suspend chrono="566" depth="4" cident="c93" />
<awake chrono="567" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="568" depth="4" cident="c93" />
<schedule chrono="569" depth="4" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="570" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="571" depth="4" algo="f_100[3]" cident="c98" vident="v3" >
	<delta><range from="2" to="4" /></delta>
	<vardomain min="7" max="8" size="2"><range from="7" to="8" /></vardomain>
	<update vident="v3" types="min minmax dom" />
</reduce>
<suspend chrono="572" depth="4" cident="c98" />
<awake chrono="573" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="574" depth="4" algo="f_99[1]" cident="c98" vident="v5" >
	<delta><range from="2" to="4" /><range from="7" to="7" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v5" types="min minmax dom val" />
</reduce>
<suspend chrono="575" depth="4" cident="c98" />
<awake chrono="576" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="577" depth="4" cident="c93" />
<awake chrono="578" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="579" depth="4" cident="c93" />
<schedule chrono="580" depth="4" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="581" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="582" depth="4" cident="c98" />
<awake chrono="583" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="584" depth="4" cident="c98" />
<schedule chrono="585" depth="4" actions="dequeue" >
	<update vident="v5" types="minmax" />
</schedule>
<awake chrono="586" depth="4" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<suspend chrono="587" depth="4" cident="c98" />
<awake chrono="588" depth="4" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<suspend chrono="589" depth="4" cident="c98" />
<schedule chrono="590" depth="4" actions="dequeue" >
	<update vident="v5" types="val" />
</schedule>
<awake chrono="591" depth="4" cident="c90" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="592" depth="4" cident="c90" />
<awake chrono="593" depth="4" cident="c69" >
	<update vident="v5" types="val" />
</awake>
<reduce chrono="594" depth="4" algo="f_70[1]" cident="c69" vident="v3" >
	<delta><range from="8" to="8" /></delta>
	<vardomain min="7" max="7" size="1"><values>7</values></vardomain>
	<update vident="v3" types="max minmax dom val" />
</reduce>
<suspend chrono="595" depth="4" cident="c69" />
<awake chrono="596" depth="4" cident="c57" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="597" depth="4" cident="c57" />
<awake chrono="598" depth="4" cident="c42" >
	<update vident="v5" types="val" />
</awake>
<suspend chrono="599" depth="4" cident="c42" />
<schedule chrono="600" depth="4" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="601" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<reduce chrono="602" depth="4" algo="f_101[1]" cident="c98" vident="v10" >
	<delta><range from="88" to="88" /></delta>
	<vardomain min="87" max="87" size="1"><values>87</values></vardomain>
	<update vident="v10" types="max minmax dom val" />
</reduce>
<suspend chrono="603" depth="4" cident="c98" />
<awake chrono="604" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="605" depth="4" cident="c98" />
<schedule chrono="606" depth="4" actions="dequeue" >
	<update vident="v3" types="val" />
</schedule>
<awake chrono="607" depth="4" cident="c72" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="608" depth="4" cident="c72" />
<awake chrono="609" depth="4" cident="c69" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="610" depth="4" cident="c69" />
<awake chrono="611" depth="4" cident="c48" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="612" depth="4" cident="c48" />
<awake chrono="613" depth="4" cident="c33" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="614" depth="4" cident="c33" />
<schedule chrono="615" depth="4" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="616" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="617" depth="4" cident="c98" />
<awake chrono="618" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="619" depth="4" cident="c98" />
<awake chrono="620" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="621" depth="4" algo="f_97[1]" cident="c93" vident="v9" >
	<delta><range from="9543" to="9543" /></delta>
	<vardomain min="9542" max="9542" size="1"><values>9542</values></vardomain>
	<update vident="v9" types="max minmax dom val" />
</reduce>
<suspend chrono="622" depth="4" cident="c93" />
<awake chrono="623" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="624" depth="4" cident="c93" />
<schedule chrono="625" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="626" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="627" depth="4" algo="f_105[1]" cident="c102" vident="v11" >
	<delta><range from="543" to="543" /></delta>
	<vardomain min="542" max="542" size="1"><values>542</values></vardomain>
	<update vident="v11" types="max minmax dom val" />
</reduce>
<suspend chrono="628" depth="4" cident="c102" />
<awake chrono="629" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="630" depth="4" cident="c93" />
<awake chrono="631" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="632" depth="4" cident="c93" />
<schedule chrono="633" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="634" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="635" depth="4" algo="f_109[1]" cident="c107" vident="v6" >
	<delta><range from="3" to="3" /></delta>
	<vardomain min="2" max="2" size="1"><values>2</values></vardomain>
	<update vident="v6" types="max minmax dom val" />
</reduce>
<suspend chrono="636" depth="4" cident="c107" />
<awake chrono="637" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="638" depth="4" cident="c107" />
<awake chrono="639" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="640" depth="4" cident="c102" />
<schedule chrono="641" depth="4" actions="dequeue" >
	<update vident="v6" types="minmax" />
</schedule>
<awake chrono="642" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="643" depth="4" cident="c107" />
<awake chrono="644" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="645" depth="4" cident="c107" />
<schedule chrono="646" depth="4" actions="dequeue" >
	<update vident="v6" types="val" />
</schedule>
<awake chrono="647" depth="4" cident="c90" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="648" depth="4" cident="c90" />
<awake chrono="649" depth="4" cident="c72" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="650" depth="4" cident="c72" />
<awake chrono="651" depth="4" cident="c60" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="652" depth="4" cident="c60" />
<awake chrono="653" depth="4" cident="c45" >
	<update vident="v6" types="val" />
</awake>
<suspend chrono="654" depth="4" cident="c45" />
<solution chrono="655" depth="4" nident="5" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<constraint cident="c112" cinternal="assign(v1,5)" status="solved" orig="system">
		<variables>v1 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="5" max="5" size="1"><range from="5" to="5" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="6" max="6" size="1"><range from="6" to="6" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="7" max="7" size="1"><range from="7" to="7" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="2" size="1"><range from="2" to="2" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9542" max="9542" size="1"><range from="9542" to="9542" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="87" max="87" size="1"><range from="87" to="87" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="542" max="542" size="1"><range from="542" to="542" /></vardomain>
	</variable>
	</state>
</solution>
<back-to chrono="656" depth="3" node="3" node-before="5" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="4" max="7" size="4"><range from="4" to="7" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="5" max="8" size="4"><range from="5" to="8" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9452" max="9725" size="274"><range from="9452" to="9725" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="22" max="88" size="67"><range from="22" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="452" max="725" size="274"><range from="452" to="725" /></vardomain>
	</variable>
	</state>
</back-to>
<new-constraint chrono="657" depth="4" cident="c113" cinternal="assign(v1,6)" orig="system" >
	<state>
	<constraint cident="c113" cinternal="assign(v1,6)" status="undefined" orig="system">
		<variables>v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="658" depth="4" cident="c113" />
<reduce chrono="659" depth="4" algo="initial[1]" cident="c113" vident="v1" >
	<delta><range from="4" to="5" /><range from="7" to="7" /></delta>
	<vardomain min="6" max="6" size="1"><values>6</values></vardomain>
	<update vident="v1" types="min max minmax dom val" />
</reduce>
<solved chrono="660" depth="4" cident="c113" />
<schedule chrono="661" depth="4" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="662" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="663" depth="4" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9452" to="9567" /><range from="9635" to="9725" /></delta>
	<vardomain min="9568" max="9634" size="67"><range from="9568" to="9634" /></vardomain>
	<update vident="v9" types="min max minmax dom" />
</reduce>
<suspend chrono="664" depth="4" cident="c93" />
<awake chrono="665" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="666" depth="4" cident="c93" />
<schedule chrono="667" depth="4" actions="dequeue" >
	<update vident="v1" types="val" />
</schedule>
<awake chrono="668" depth="4" cident="c45" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="669" depth="4" algo="f_47[4]" cident="c45" vident="v6" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="5" /><range from="7" to="8" /></vardomain>
	<update vident="v6" types="dom" />
</reduce>
<suspend chrono="670" depth="4" cident="c45" />
<awake chrono="671" depth="4" cident="c42" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="672" depth="4" algo="f_44[4]" cident="c42" vident="v5" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="5" /><range from="7" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="673" depth="4" cident="c42" />
<awake chrono="674" depth="4" cident="c33" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="675" depth="4" algo="f_35[4]" cident="c33" vident="v3" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="5" /><range from="7" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="676" depth="4" cident="c33" />
<awake chrono="677" depth="4" cident="c30" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="678" depth="4" algo="f_32[4]" cident="c30" vident="v2" >
	<delta><range from="6" to="6" /></delta>
	<vardomain min="5" max="8" size="3"><range from="5" to="5" /><range from="7" to="8" /></vardomain>
	<update vident="v2" types="dom" />
</reduce>
<suspend chrono="679" depth="4" cident="c30" />
<schedule chrono="680" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="681" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="682" depth="4" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="452" to="567" /><range from="635" to="725" /></delta>
	<vardomain min="568" max="634" size="67"><range from="568" to="634" /></vardomain>
	<update vident="v11" types="min max minmax dom" />
</reduce>
<suspend chrono="683" depth="4" cident="c102" />
<awake chrono="684" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="685" depth="4" cident="c93" />
<awake chrono="686" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="687" depth="4" cident="c93" />
<schedule chrono="688" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="689" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="690" depth="4" cident="c107" />
<awake chrono="691" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="692" depth="4" algo="f_108[1]" cident="c107" vident="v2" >
	<delta><range from="5" to="5" /><range from="8" to="8" /></delta>
	<vardomain min="7" max="7" size="1"><values>7</values></vardomain>
	<update vident="v2" types="min max minmax dom val" />
</reduce>
<suspend chrono="693" depth="4" cident="c107" />
<awake chrono="694" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="695" depth="4" cident="c102" />
<schedule chrono="696" depth="4" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="697" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="698" depth="4" algo="f_110[2]" cident="c107" vident="v11" >
	<delta><range from="568" to="631" /></delta>
	<vardomain min="632" max="634" size="3"><range from="632" to="634" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="699" depth="4" cident="c107" />
<awake chrono="700" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="701" depth="4" algo="f_109[3]" cident="c107" vident="v6" >
	<delta><range from="5" to="5" /><range from="7" to="8" /></delta>
	<vardomain min="2" max="4" size="3"><range from="2" to="4" /></vardomain>
	<update vident="v6" types="max minmax dom" />
</reduce>
<suspend chrono="702" depth="4" cident="c107" />
<schedule chrono="703" depth="4" actions="dequeue" >
	<update vident="v2" types="val" />
</schedule>
<awake chrono="704" depth="4" cident="c60" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="705" depth="4" cident="c60" />
<awake chrono="706" depth="4" cident="c57" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="707" depth="4" algo="f_59[4]" cident="c57" vident="v5" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="2" max="8" size="5"><range from="2" to="5" /><range from="8" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="708" depth="4" cident="c57" />
<awake chrono="709" depth="4" cident="c48" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="710" depth="4" algo="f_50[4]" cident="c48" vident="v3" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="2" max="8" size="5"><range from="2" to="5" /><range from="8" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="711" depth="4" cident="c48" />
<awake chrono="712" depth="4" cident="c30" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="713" depth="4" cident="c30" />
<schedule chrono="714" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="715" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="716" depth="4" cident="c107" />
<awake chrono="717" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="718" depth="4" cident="c107" />
<awake chrono="719" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="720" depth="4" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9568" to="9631" /></delta>
	<vardomain min="9632" max="9634" size="3"><range from="9632" to="9634" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="721" depth="4" cident="c102" />
<schedule chrono="722" depth="4" actions="dequeue" >
	<update vident="v6" types="minmax" />
</schedule>
<awake chrono="723" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="724" depth="4" cident="c107" />
<awake chrono="725" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="726" depth="4" cident="c107" />
<schedule chrono="727" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="728" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="729" depth="4" cident="c102" />
<awake chrono="730" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="731" depth="4" algo="f_96[2]" cident="c93" vident="v10" >
	<delta><range from="22" to="85" /></delta>
	<vardomain min="86" max="88" size="3"><range from="86" to="88" /></vardomain>
	<update vident="v10" types="min minmax dom" />
</reduce>
<suspend chrono="732" depth="4" cident="c93" />
<awake chrono="733" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="734" depth="4" cident="c93" />
<schedule chrono="735" depth="4" actions="dequeue" >
	<update vident="v10" types="minmax" />
</schedule>
<awake chrono="736" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="737" depth="4" algo="f_100[1]" cident="c98" vident="v3" >
	<delta><range from="2" to="5" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v3" types="min minmax dom val" />
</reduce>
<suspend chrono="738" depth="4" cident="c98" />
<awake chrono="739" depth="4" cident="c98" >
	<update vident="v10" types="minmax" />
</awake>
<reduce chrono="740" depth="4" algo="f_99[1]" cident="c98" vident="v5" >
	<delta><range from="2" to="5" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v5" types="min minmax dom val" />
</reduce>
<suspend chrono="741" depth="4" cident="c98" />
<awake chrono="742" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="743" depth="4" cident="c93" />
<awake chrono="744" depth="4" cident="c93" >
	<update vident="v10" types="minmax" />
</awake>
<suspend chrono="745" depth="4" cident="c93" />
<schedule chrono="746" depth="4" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="747" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<reduce chrono="748" depth="4" algo="f_101[1]" cident="c98" vident="v10" >
	<delta><range from="86" to="87" /></delta>
	<vardomain min="88" max="88" size="1"><values>88</values></vardomain>
	<update vident="v10" types="min minmax dom val" />
</reduce>
<suspend chrono="749" depth="4" cident="c98" />
<awake chrono="750" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="751" depth="4" cident="c98" />
<schedule chrono="752" depth="4" actions="dequeue" >
	<update vident="v3" types="val" />
</schedule>
<awake chrono="753" depth="4" cident="c72" >
	<update vident="v3" types="val" />
</awake>
<suspend chrono="754" depth="4" cident="c72" />
<awake chrono="755" depth="4" cident="c69" >
	<update vident="v3" types="val" />
</awake>
<reject chrono="756" depth="4" cident="c69" />
<failure chrono="757" depth="4" nident="6" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<constraint cident="c113" cinternal="assign(v1,6)" status="solved" orig="system">
		<variables>v1 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="6" max="6" size="1"><range from="6" to="6" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="7" max="7" size="1"><range from="7" to="7" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="4" size="3"><range from="2" to="4" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9632" max="9634" size="3"><range from="9632" to="9634" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="88" max="88" size="1"><range from="88" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="632" max="634" size="3"><range from="632" to="634" /></vardomain>
	</variable>
	</state>
</failure>
<back-to chrono="758" depth="3" node="3" node-before="6" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="4" max="7" size="4"><range from="4" to="7" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="5" max="8" size="4"><range from="5" to="8" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="8" size="7"><range from="2" to="8" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9452" max="9725" size="274"><range from="9452" to="9725" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="22" max="88" size="67"><range from="22" to="88" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="452" max="725" size="274"><range from="452" to="725" /></vardomain>
	</variable>
	</state>
</back-to>
<new-constraint chrono="759" depth="4" cident="c114" cinternal="assign(v1,7)" orig="system" >
	<state>
	<constraint cident="c114" cinternal="assign(v1,7)" status="undefined" orig="system">
		<variables>v1 </variables>
	</constraint>
	</state>
</new-constraint>
<post chrono="760" depth="4" cident="c114" />
<reduce chrono="761" depth="4" algo="initial[1]" cident="c114" vident="v1" >
	<delta><range from="4" to="6" /></delta>
	<vardomain min="7" max="7" size="1"><values>7</values></vardomain>
	<update vident="v1" types="min minmax dom val" />
</reduce>
<solved chrono="762" depth="4" cident="c114" />
<schedule chrono="763" depth="4" actions="dequeue" >
	<update vident="v1" types="minmax" />
</schedule>
<awake chrono="764" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<reduce chrono="765" depth="4" algo="f_97[2]" cident="c93" vident="v9" >
	<delta><range from="9452" to="9658" /></delta>
	<vardomain min="9659" max="9725" size="67"><range from="9659" to="9725" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="766" depth="4" cident="c93" />
<awake chrono="767" depth="4" cident="c93" >
	<update vident="v1" types="minmax" />
</awake>
<suspend chrono="768" depth="4" cident="c93" />
<schedule chrono="769" depth="4" actions="dequeue" >
	<update vident="v1" types="val" />
</schedule>
<awake chrono="770" depth="4" cident="c45" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="771" depth="4" algo="f_47[4]" cident="c45" vident="v6" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="6" /><range from="8" to="8" /></vardomain>
	<update vident="v6" types="dom" />
</reduce>
<suspend chrono="772" depth="4" cident="c45" />
<awake chrono="773" depth="4" cident="c42" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="774" depth="4" algo="f_44[4]" cident="c42" vident="v5" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="6" /><range from="8" to="8" /></vardomain>
	<update vident="v5" types="dom" />
</reduce>
<suspend chrono="775" depth="4" cident="c42" />
<awake chrono="776" depth="4" cident="c33" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="777" depth="4" algo="f_35[4]" cident="c33" vident="v3" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="2" max="8" size="6"><range from="2" to="6" /><range from="8" to="8" /></vardomain>
	<update vident="v3" types="dom" />
</reduce>
<suspend chrono="778" depth="4" cident="c33" />
<awake chrono="779" depth="4" cident="c30" >
	<update vident="v1" types="val" />
</awake>
<reduce chrono="780" depth="4" algo="f_32[4]" cident="c30" vident="v2" >
	<delta><range from="7" to="7" /></delta>
	<vardomain min="5" max="8" size="3"><range from="5" to="6" /><range from="8" to="8" /></vardomain>
	<update vident="v2" types="dom" />
</reduce>
<suspend chrono="781" depth="4" cident="c30" />
<schedule chrono="782" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="783" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<reduce chrono="784" depth="4" algo="f_105[2]" cident="c102" vident="v11" >
	<delta><range from="452" to="658" /></delta>
	<vardomain min="659" max="725" size="67"><range from="659" to="725" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="785" depth="4" cident="c102" />
<awake chrono="786" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="787" depth="4" cident="c93" />
<awake chrono="788" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="789" depth="4" cident="c93" />
<schedule chrono="790" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="791" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="792" depth="4" cident="c107" />
<awake chrono="793" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="794" depth="4" algo="f_108[1]" cident="c107" vident="v2" >
	<delta><range from="5" to="6" /></delta>
	<vardomain min="8" max="8" size="1"><values>8</values></vardomain>
	<update vident="v2" types="min minmax dom val" />
</reduce>
<suspend chrono="795" depth="4" cident="c107" />
<awake chrono="796" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="797" depth="4" cident="c102" />
<schedule chrono="798" depth="4" actions="dequeue" >
	<update vident="v2" types="minmax" />
</schedule>
<awake chrono="799" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="800" depth="4" algo="f_110[2]" cident="c107" vident="v11" >
	<delta><range from="659" to="721" /></delta>
	<vardomain min="722" max="725" size="4"><range from="722" to="725" /></vardomain>
	<update vident="v11" types="min minmax dom" />
</reduce>
<suspend chrono="801" depth="4" cident="c107" />
<awake chrono="802" depth="4" cident="c107" >
	<update vident="v2" types="minmax" />
</awake>
<reduce chrono="803" depth="4" algo="f_109[3]" cident="c107" vident="v6" >
	<delta><range from="6" to="6" /><range from="8" to="8" /></delta>
	<vardomain min="2" max="5" size="4"><range from="2" to="5" /></vardomain>
	<update vident="v6" types="max minmax dom" />
</reduce>
<suspend chrono="804" depth="4" cident="c107" />
<schedule chrono="805" depth="4" actions="dequeue" >
	<update vident="v2" types="val" />
</schedule>
<awake chrono="806" depth="4" cident="c60" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="807" depth="4" cident="c60" />
<awake chrono="808" depth="4" cident="c57" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="809" depth="4" algo="f_59[4]" cident="c57" vident="v5" >
	<delta><range from="8" to="8" /></delta>
	<vardomain min="2" max="6" size="5"><range from="2" to="6" /></vardomain>
	<update vident="v5" types="max minmax dom" />
</reduce>
<suspend chrono="810" depth="4" cident="c57" />
<awake chrono="811" depth="4" cident="c48" >
	<update vident="v2" types="val" />
</awake>
<reduce chrono="812" depth="4" algo="f_50[4]" cident="c48" vident="v3" >
	<delta><range from="8" to="8" /></delta>
	<vardomain min="2" max="6" size="5"><range from="2" to="6" /></vardomain>
	<update vident="v3" types="max minmax dom" />
</reduce>
<suspend chrono="813" depth="4" cident="c48" />
<awake chrono="814" depth="4" cident="c30" >
	<update vident="v2" types="val" />
</awake>
<suspend chrono="815" depth="4" cident="c30" />
<schedule chrono="816" depth="4" actions="dequeue" >
	<update vident="v11" types="minmax" />
</schedule>
<awake chrono="817" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="818" depth="4" cident="c107" />
<awake chrono="819" depth="4" cident="c107" >
	<update vident="v11" types="minmax" />
</awake>
<suspend chrono="820" depth="4" cident="c107" />
<awake chrono="821" depth="4" cident="c102" >
	<update vident="v11" types="minmax" />
</awake>
<reduce chrono="822" depth="4" algo="f_106[2]" cident="c102" vident="v9" >
	<delta><range from="9659" to="9721" /></delta>
	<vardomain min="9722" max="9725" size="4"><range from="9722" to="9725" /></vardomain>
	<update vident="v9" types="min minmax dom" />
</reduce>
<suspend chrono="823" depth="4" cident="c102" />
<schedule chrono="824" depth="4" actions="dequeue" >
	<update vident="v6" types="minmax" />
</schedule>
<awake chrono="825" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="826" depth="4" cident="c107" />
<awake chrono="827" depth="4" cident="c107" >
	<update vident="v6" types="minmax" />
</awake>
<suspend chrono="828" depth="4" cident="c107" />
<schedule chrono="829" depth="4" actions="dequeue" >
	<update vident="v5" types="minmax" />
</schedule>
<awake chrono="830" depth="4" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<reduce chrono="831" depth="4" algo="f_101[2]" cident="c98" vident="v10" >
	<delta><range from="67" to="88" /></delta>
	<vardomain min="22" max="66" size="45"><range from="22" to="66" /></vardomain>
	<update vident="v10" types="max minmax dom" />
</reduce>
<suspend chrono="832" depth="4" cident="c98" />
<awake chrono="833" depth="4" cident="c98" >
	<update vident="v5" types="minmax" />
</awake>
<suspend chrono="834" depth="4" cident="c98" />
<schedule chrono="835" depth="4" actions="dequeue" >
	<update vident="v3" types="minmax" />
</schedule>
<awake chrono="836" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="837" depth="4" cident="c98" />
<awake chrono="838" depth="4" cident="c98" >
	<update vident="v3" types="minmax" />
</awake>
<suspend chrono="839" depth="4" cident="c98" />
<schedule chrono="840" depth="4" actions="dequeue" >
	<update vident="v9" types="minmax" />
</schedule>
<awake chrono="841" depth="4" cident="c102" >
	<update vident="v9" types="minmax" />
</awake>
<suspend chrono="842" depth="4" cident="c102" />
<awake chrono="843" depth="4" cident="c93" >
	<update vident="v9" types="minmax" />
</awake>
<reject chrono="844" depth="4" cident="c93" />
<failure chrono="845" depth="4" nident="7" time="0" >
	<state>
	<constraint cident="c1" cinternal="fd_domain(v1,0,9)" status="solved" orig="user">
		<variables>v1 </variables>
	</constraint>
	<constraint cident="c2" cinternal="fd_domain(v2,0,9)" status="solved" orig="user">
		<variables>v2 </variables>
	</constraint>
	<constraint cident="c3" cinternal="fd_domain(v3,0,9)" status="solved" orig="user">
		<variables>v3 </variables>
	</constraint>
	<constraint cident="c4" cinternal="fd_domain(v4,0,9)" status="solved" orig="user">
		<variables>v4 </variables>
	</constraint>
	<constraint cident="c5" cinternal="fd_domain(v5,0,9)" status="solved" orig="user">
		<variables>v5 </variables>
	</constraint>
	<constraint cident="c6" cinternal="fd_domain(v6,0,9)" status="solved" orig="user">
		<variables>v6 </variables>
	</constraint>
	<constraint cident="c7" cinternal="fd_domain(v7,1,9)" status="solved" orig="user">
		<variables>v7 </variables>
	</constraint>
	<constraint cident="c8" cinternal="fd_domain(v8,1,9)" status="solved" orig="user">
		<variables>v8 </variables>
	</constraint>
	<constraint cident="c9" cinternal="x_neq_y(v7,v1)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v1 </variables>
	</constraint>
	<constraint cident="c12" cinternal="x_neq_y(v7,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v2 </variables>
	</constraint>
	<constraint cident="c15" cinternal="x_neq_y(v7,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v3 </variables>
	</constraint>
	<constraint cident="c18" cinternal="x_neq_y(v7,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v8 </variables>
	</constraint>
	<constraint cident="c21" cinternal="x_neq_y(v7,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v4 </variables>
	</constraint>
	<constraint cident="c24" cinternal="x_neq_y(v7,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v5 </variables>
	</constraint>
	<constraint cident="c27" cinternal="x_neq_y(v7,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v7 v6 </variables>
	</constraint>
	<constraint cident="c30" cinternal="x_neq_y(v1,v2)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v2 </variables>
	</constraint>
	<constraint cident="c33" cinternal="x_neq_y(v1,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v3 </variables>
	</constraint>
	<constraint cident="c36" cinternal="x_neq_y(v1,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v8 </variables>
	</constraint>
	<constraint cident="c39" cinternal="x_neq_y(v1,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v4 </variables>
	</constraint>
	<constraint cident="c42" cinternal="x_neq_y(v1,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v5 </variables>
	</constraint>
	<constraint cident="c45" cinternal="x_neq_y(v1,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v1 v6 </variables>
	</constraint>
	<constraint cident="c48" cinternal="x_neq_y(v2,v3)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v3 </variables>
	</constraint>
	<constraint cident="c51" cinternal="x_neq_y(v2,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v8 </variables>
	</constraint>
	<constraint cident="c54" cinternal="x_neq_y(v2,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v4 </variables>
	</constraint>
	<constraint cident="c57" cinternal="x_neq_y(v2,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v5 </variables>
	</constraint>
	<constraint cident="c60" cinternal="x_neq_y(v2,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v2 v6 </variables>
	</constraint>
	<constraint cident="c63" cinternal="x_neq_y(v3,v8)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v8 </variables>
	</constraint>
	<constraint cident="c66" cinternal="x_neq_y(v3,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v4 </variables>
	</constraint>
	<constraint cident="c69" cinternal="x_neq_y(v3,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v5 </variables>
	</constraint>
	<constraint cident="c72" cinternal="x_neq_y(v3,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v3 v6 </variables>
	</constraint>
	<constraint cident="c75" cinternal="x_neq_y(v8,v4)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v4 </variables>
	</constraint>
	<constraint cident="c78" cinternal="x_neq_y(v8,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v5 </variables>
	</constraint>
	<constraint cident="c81" cinternal="x_neq_y(v8,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v8 v6 </variables>
	</constraint>
	<constraint cident="c84" cinternal="x_neq_y(v4,v5)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v5 </variables>
	</constraint>
	<constraint cident="c87" cinternal="x_neq_y(v4,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v4 v6 </variables>
	</constraint>
	<constraint cident="c90" cinternal="x_neq_y(v5,v6)" status="suspended" orig="user" cname="alldiff">
		<variables>v5 v6 </variables>
	</constraint>
	<constraint cident="c93" cinternal="ax_plus_by_plus_z_eq_t(1000,v7,91,v1,v10,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v7 v1 v10 v9 </variables>
	</constraint>
	<constraint cident="c98" cinternal="ax_plus_y_eq_z(10,v5,v3,v10)" status="suspended" orig="user" cname="mainconst">
		<variables>v5 v3 v10 </variables>
	</constraint>
	<constraint cident="c102" cinternal="ax_plus_by_plus_z_eq_t(9000,v8,900,v4,v11,v9)" status="suspended" orig="user" cname="mainconst">
		<variables>v8 v4 v11 v9 </variables>
	</constraint>
	<constraint cident="c107" cinternal="ax_plus_y_eq_z(90,v2,v6,v11)" status="suspended" orig="user" cname="mainconst">
		<variables>v2 v6 v11 </variables>
	</constraint>
	<constraint cident="c114" cinternal="assign(v1,7)" status="solved" orig="system">
		<variables>v1 </variables>
	</constraint>
	<variable vident="v1" type="int" vinternal="_#3" vname="E">
		<vardomain min="7" max="7" size="1"><range from="7" to="7" /></vardomain>
	</variable>
	<variable vident="v2" type="int" vinternal="_#25" vname="N">
		<vardomain min="8" max="8" size="1"><range from="8" to="8" /></vardomain>
	</variable>
	<variable vident="v3" type="int" vinternal="_#47" vname="D">
		<vardomain min="2" max="6" size="5"><range from="2" to="6" /></vardomain>
	</variable>
	<variable vident="v4" type="int" vinternal="_#69" vname="O">
		<vardomain min="0" max="0" size="1"><range from="0" to="0" /></vardomain>
	</variable>
	<variable vident="v5" type="int" vinternal="_#91" vname="R">
		<vardomain min="2" max="6" size="5"><range from="2" to="6" /></vardomain>
	</variable>
	<variable vident="v6" type="int" vinternal="_#113" vname="Y">
		<vardomain min="2" max="5" size="4"><range from="2" to="5" /></vardomain>
	</variable>
	<variable vident="v7" type="int" vinternal="_#135" vname="S">
		<vardomain min="9" max="9" size="1"><range from="9" to="9" /></vardomain>
	</variable>
	<variable vident="v8" type="int" vinternal="_#157" vname="M">
		<vardomain min="1" max="1" size="1"><range from="1" to="1" /></vardomain>
	</variable>
	<variable vident="v9" type="int" vinternal="_#512">
		<vardomain min="9722" max="9725" size="4"><range from="9722" to="9725" /></vardomain>
	</variable>
	<variable vident="v10" type="int" vinternal="_#531">
		<vardomain min="22" max="66" size="45"><range from="22" to="66" /></vardomain>
	</variable>
	<variable vident="v11" type="int" vinternal="_#617">
		<vardomain min="722" max="725" size="4"><range from="722" to="725" /></vardomain>
	</variable>
	</state>
</failure>
<back-to chrono="846" depth="0" node="0" node-before="7" time="0" >
	<state>
	</state>
</back-to>
</gentra4cp>