<?xml version='1.0' encoding='UTF-8' ?>
<model xsi:noNamespaceSchemaLocation='schema.xsd' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance'>
<constraints>
 <clause_and id='c1' name='name1' desc=''>
  <POSVARS>
   <collection>
    <item>
     <var>
      <integer value='1'/>
     </var>
    </item>
    <item>
     <var>
      <integer value='0'/>
     </var>
    </item>
   </collection>
  </POSVARS>
  <NEGVARS>
   <collection>
    <item>
     <var>
      <integer value='0'/>
     </var>
    </item>
   </collection>
  </NEGVARS>
  <VAR>
   <integer value='0'/>
  </VAR>
 </clause_and>
</constraints>
</model>

