why3session.xml

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session SYSTEM "why3session.dtd">
<why3session
 name="bts/13853/why3session.xml">
 <prover
  id="0"
  name="Alt-Ergo"
  version="0.94"/>
 <file
  name="../13853.mlw"
  verified="true"
  expanded="false">
  <theory
   name="WP T"
   locfile="bts/13853/../13853.mlw"
   loclnum="10" loccnumb="7" loccnume="8"
   verified="true"
   expanded="true">
   <goal
    name="WP_parameter f"
    locfile="bts/13853/../13853.mlw"
    loclnum="16" loccnumb="8" loccnume="9"
    expl="exceptional postcondition"
    sum="e1beec1ee049a06190316b698fd46877"
    proved="true"
    expanded="false"
    shape="t">
    <label
     name="expl:parameter f">
     </label>
    <proof
     prover="0"
     timelimit="10"
     obsolete="false"
     archived="false">
     <result status="valid" time="0.00"/>
    </proof>
   </goal>
   <goal
    name="WP_parameter g"
    locfile="bts/13853/../13853.mlw"
    loclnum="18" loccnumb="7" loccnume="8"
    expl="exceptional postcondition"
    sum="5e073fd874cb745c16e29e63a5caab88"
    proved="true"
    expanded="false"
    shape="t">
    <label
     name="expl:parameter g">
     </label>
    <proof
     prover="0"
     timelimit="10"
     obsolete="false"
     archived="false">
     <result status="valid" time="0.00"/>
    </proof>
   </goal>
  </theory>
 </file>
</why3session>