<!--
<!DOCTYPE gentra4cp SYSTEM 
"http://contraintes.inria.fr/OADymPPaC/Public/Trace/gentra4cp.2.1.dtd">
-->
<gentra4cp>
   <header>
      <date>2004-05-03 16:28:47</date> 
      <source>mult sorted in CHIP</source> 
      <creator>COSYTEC SA</creator> 
      <contributor>COSYTEC SA</contributor> 
      <solver>CHIPC++ 5.5.0.9</solver> 
      <parameters>multsorted(2)</parameters> 
   </header>

   <provide>
      <new-variable chrono="" vident="">
         <vardomain min="" max="" size="">
            <values/> <range from="" to=""/>
         </vardomain>
      </new-variable>
      <new-constraint chrono="" cident="" cname="">
      </new-constraint>
      <post chrono="" cident=""/>
      <choice-point chrono="" depth="" nname="">
         <choice-constraint value="" vident="" />
      </choice-point>
      <solution chrono=""/>
      <awake chrono="" cident="" >
         <update vident="" />
      </awake>
      <reduce chrono="" depth=""  vident="">
         <delta> <values/> <range from="" to=""/>
         </delta>
         <vardomain min="" max="" size="">
            <values/> <range from="" to=""/>
         </vardomain>
         <update vident="" types=""/>
      </reduce>
   </provide>

   <new-variable chrono="1" vident="1">
      <vardomain max="3" min="1" size="3">
         <range to="3" from="1" /> 
      </vardomain>
   </new-variable>
   <new-variable chrono="2" vident="2">
      <vardomain max="3" min="1" size="3">
         <range to="3" from="1" /> 
      </vardomain>
   </new-variable>
   <new-constraint cname=">=_1" chrono="3" cident="1" /> 
   <post chrono="4" cident="1" /> 
   <reduce chrono="5" cident="1" vident="2">
      <delta vident="2">
         <values>1</values> 
      </delta>
      <vardomain max="3" min="2" size="2">
      <range to="3" from="2" /> 
      </vardomain>
      <update types="min" vident="2" /> 
   </reduce>
   <reduce chrono="6" cident="1" vident="1">
      <delta vident="1">
         <values>3</values> 
      </delta>
      <vardomain max="2" min="1" size="2">
         <range to="2" from="1" /> 
      </vardomain>
      <update types="max" vident="1" /> 
   </reduce>
   <suspend chrono="7" cident="1" /> 
   <choice-point depth="0" nname="root" chrono="8" /> 
   <choice-point depth="1" chrono="9">
      <choice-constraint value="2" vident="2" /> 
   </choice-point>
   <reduce chrono="10" vident="2">
      <delta vident="2">
         <values>3</values> 
      </delta>
      <vardomain max="2" min="2" size="1">
         <values>2</values> 
      </vardomain>
      <update types="ground" vident="2" /> 
   </reduce>
   <awake chrono="11" cident="1">
       <update vident="2" /> 
   </awake>
   <reduce chrono="12" cident="1" vident="1">
      <delta vident="1">
         <values>2</values> 
      </delta>
      <vardomain max="1" min="1" size="1">
         <values>1</values> 
      </vardomain>
      <update types="ground" vident="1" /> 
   </reduce>
   <suspend chrono="13" cident="1" /> 
   <choice-point depth="2" chrono="14">
      <choice-constraint value="1" vident="1" /> 
   </choice-point>
   <solution chrono="15" /> 
   <choice-point depth="1" chrono="16">
      <choice-constraint value="3" vident="2" /> 
   </choice-point>
   <reduce chrono="17" vident="2">
      <delta vident="2">
         <values>2</values> 
      </delta>
      <vardomain max="3" min="3" size="1">
         <values>3</values> 
      </vardomain>
      <update types="ground" vident="2" /> 
   </reduce>
   <awake chrono="18" cident="1">
      <update vident="2" /> 
   </awake>
   <suspend chrono="19" cident="1" /> 
   <choice-point depth="2" chrono="20">
      <choice-constraint value="1" vident="1" /> 
   </choice-point>
   <reduce chrono="21" vident="1">
      <delta vident="1">
         <values>2</values> 
      </delta>
      <vardomain max="1" min="1" size="1">
         <values>1</values> 
      </vardomain>
      <update types="ground" vident="1" /> 
   </reduce>
   <solution chrono="22" /> 
   <choice-point depth="2" chrono="23">
      <choice-constraint value="2" vident="1" /> 
   </choice-point>
   <reduce chrono="24" vident="1">
      <delta vident="1">
         <values>1</values> 
     </delta>
     <vardomain max="2" min="2" size="1">
         <values>2</values> 
      </vardomain>
      <update types="ground" vident="1" /> 
   </reduce>
   <solution chrono="25" /> 
</gentra4cp>
