<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE why3session PUBLIC "-//Why3//proof session v5//EN"
"http://why3.lri.fr/why3session.dtd">
<why3session shape_version="6">
<prover id="0" name="CVC4" version="1.8" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="1" name="CVC3" version="2.4.1" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="2" name="Z3" version="4.12.1" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="3" name="CVC4" version="1.4" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="4" name="CVC5" version="1.0.4" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="5" name="Z3" version="4.4.0" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="6" name="Z3" version="4.3.2" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="7" name="Z3" version="4.5.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="8" name="CVC4" version="1.5" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="9" name="Z3" version="4.6.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="10" name="Alt-Ergo" version="2.4.2" timelimit="5" steplimit="0" memlimit="1000"/>
<prover id="11" name="Alt-Ergo" version="2.2.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="12" name="CVC4" version="1.6" timelimit="1" steplimit="0" memlimit="1000"/>
<file format="whyml">
<path name=".."/><path name="bv.why"/>
<theory name="CheckBV64">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2726"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="150"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.14"/></proof>
 <proof prover="2"><result status="valid" time="0.05" steps="134109"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.53"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="82439"/></proof>
 <proof prover="8"><result status="valid" time="0.54" steps="116727"/></proof>
 <proof prover="10"><result status="valid" time="0.01" steps="46"/></proof>
 <proof prover="12"><result status="valid" time="0.60" steps="115303"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.06"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="3500"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2844"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.06"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="3500"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.03" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2846"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2064"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.51"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.50"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2082"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.16"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.04" steps="382"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2077"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.65"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.00" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.08" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="0"><result status="valid" time="0.02" steps="4769"/></proof>
 <proof prover="2"><result status="valid" time="0.02" steps="786"/></proof>
 <proof prover="4"><result status="valid" time="0.02" steps="1222"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="10"><result status="timeout" time="5.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2078"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.65"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.04" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.62"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.04" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.54"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2127"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.61"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="390"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2745"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="390"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.16" steps="386"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2135"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.65"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2083"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="0"><result status="timeout" time="4.29" steps="1766342"/></proof>
 <proof prover="4"><result status="timeout" time="5.00" steps="2957729"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="107748"/></proof>
 <proof prover="9"><result status="valid" time="0.12" steps="158583"/></proof>
 <proof prover="10"><result status="valid" time="0.04" steps="545"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2128"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2129"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="1"><result status="unknown" time="1.21"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="1"><result status="unknown" time="1.29"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2741"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2086"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="1"><result status="unknown" time="1.28"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2077"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2793"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2208"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2208"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2207"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2208"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.60"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.19"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="29071"/></proof>
 <proof prover="8"><result status="valid" time="0.14" steps="19282"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="30762"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="388"/></proof>
 <proof prover="12"><result status="valid" time="0.14" steps="18673"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.55"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.19"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="18125"/></proof>
 <proof prover="8"><result status="valid" time="0.13" steps="19286"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="49469"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="398"/></proof>
 <proof prover="12"><result status="valid" time="0.14" steps="18628"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.15"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="78536"/></proof>
 <proof prover="8"><result status="valid" time="0.15" steps="39315"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="68388"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.17" steps="38712"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.22" steps="197005"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="319942"/></proof>
 <proof prover="9"><result status="valid" time="0.13" steps="105092"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="336727"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.23" steps="188636"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="320037"/></proof>
 <proof prover="9"><result status="valid" time="0.13" steps="115829"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="338394"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.22"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="1452864"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3279"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="9408968"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7260"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="1"><result status="unknown" time="1.48"/></proof>
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2715460"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3250"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="7204211"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7201"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2564666"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6835963"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2582118"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6752919"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2544899"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6905374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7257"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2507221"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6784944"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7208"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2624999"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3256"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6855427"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7258"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2524820"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3309"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6695415"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7353"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2583955"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3308"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6852819"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7353"/></proof>
 </goal>
 <goal name="g1" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2080"/></proof>
 </goal>
 <goal name="f1">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2615769"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3251"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6952638"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7203"/></proof>
 </goal>
 <goal name="g2" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2080"/></proof>
 </goal>
 <goal name="f2">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2565383"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3251"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6795815"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7203"/></proof>
 </goal>
 <goal name="g3" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2080"/></proof>
 </goal>
 <goal name="g4" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="g3a" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="405"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2084"/></proof>
 </goal>
 <goal name="g3b" proved="true">
 <proof prover="1" timelimit="5"><result status="valid" time="1.03"/></proof>
 <transf name="compute_in_goal" proved="true" >
  <goal name="g3b.0" proved="true">
  <proof prover="1"><result status="valid" time="1.00"/></proof>
  <proof prover="3" timelimit="5"><result status="timeout" time="5.00"/></proof>
  <proof prover="5"><result status="timeout" time="5.00"/></proof>
  <proof prover="7"><result status="valid" time="0.01" steps="64890"/></proof>
  <proof prover="8"><result status="timeout" time="1.00" steps="314032"/></proof>
  <proof prover="9"><result status="valid" time="0.01" steps="75991"/></proof>
  <proof prover="11"><result status="valid" time="0.02" steps="386"/></proof>
  <proof prover="12"><result status="timeout" time="1.00" steps="326667"/></proof>
  </goal>
 </transf>
 </goal>
 <goal name="f3">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2629857"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3251"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6764702"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7205"/></proof>
 </goal>
 <goal name="g4a" proved="true">
 <proof prover="1"><result status="valid" time="0.19"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.06" steps="404"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2129"/></proof>
 </goal>
 <goal name="g4b" proved="true">
 <proof prover="1"><result status="valid" time="0.72"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.05" steps="405"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2128"/></proof>
 </goal>
 <goal name="g5a" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2129"/></proof>
 </goal>
 <goal name="g5b" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="3134"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="4922"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="5124"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="4521"/></proof>
 </goal>
 <goal name="g7" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="3500"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2846"/></proof>
 </goal>
 <goal name="f7">
 <proof prover="1"><result status="unknown" time="1.17"/></proof>
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2584159"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="4018"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6863249"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7969"/></proof>
 </goal>
 <goal name="g8a" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="3056"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="4346"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="4861"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.04" steps="3794"/></proof>
 </goal>
 <goal name="g8b" proved="true">
 <proof prover="1"><result status="valid" time="0.67"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="3036"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="4338"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="4839"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="3787"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_and" proved="true">
 <proof prover="1"><result status="valid" time="0.21"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.02"/></proof>
 <proof prover="7"><result status="valid" time="0.11" steps="60224"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="7218"/></proof>
 <proof prover="9"><result status="valid" time="0.05" steps="62148"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="474"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="6644"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_or" proved="true">
 <proof prover="1"><result status="valid" time="0.36"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.06"/></proof>
 <proof prover="5"><result status="valid" time="0.02"/></proof>
 <proof prover="7"><result status="valid" time="0.08" steps="74543"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="7010"/></proof>
 <proof prover="9"><result status="valid" time="0.05" steps="56158"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="475"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="6426"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_xor" proved="true">
 <proof prover="1"><result status="valid" time="0.36"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.04" steps="61215"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="7210"/></proof>
 <proof prover="9"><result status="valid" time="0.04" steps="56938"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="475"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="6628"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_not" proved="true">
 <proof prover="1"><result status="valid" time="0.07"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="25198"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="5971"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="38210"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="470"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="5401"/></proof>
 </goal>
 <goal name="not_not" proved="true">
 <proof prover="1"><result status="unknown" time="1.25"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="378"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2745"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="378"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2089"/></proof>
 </goal>
 <goal name="not_and" proved="true">
 <proof prover="1"><result status="unknown" time="1.01"/></proof>
 <proof prover="3"><result status="valid" time="0.04"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="386"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="8593"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="386"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="9269"/></proof>
 </goal>
 <goal name="Lsr_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.27"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.74"/></proof>
 <proof prover="5"><result status="valid" time="0.22"/></proof>
 <proof prover="7"><result status="valid" time="0.55" steps="1020271"/></proof>
 <proof prover="8"><result status="valid" time="0.07" steps="16287"/></proof>
 <proof prover="9"><result status="valid" time="0.61" steps="1023630"/></proof>
 <proof prover="11"><result status="valid" time="0.20" steps="503"/></proof>
 <proof prover="12"><result status="valid" time="0.07" steps="15715"/></proof>
 </goal>
 <goal name="Lsr_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.13"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.04" steps="51743"/></proof>
 <proof prover="8"><result status="valid" time="0.04" steps="10416"/></proof>
 <proof prover="9"><result status="valid" time="0.03" steps="51494"/></proof>
 <proof prover="11"><result status="valid" time="0.10" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.04" steps="9853"/></proof>
 </goal>
 <goal name="Asr_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.27"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.73"/></proof>
 <proof prover="5"><result status="valid" time="0.31"/></proof>
 <proof prover="7"><result status="valid" time="0.58" steps="710430"/></proof>
 <proof prover="8"><result status="valid" time="0.07" steps="17262"/></proof>
 <proof prover="9"><result status="valid" time="0.62" steps="678419"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.08" steps="466"/></proof>
 <proof prover="12"><result status="valid" time="0.08" steps="16740"/></proof>
 </goal>
 <goal name="Asr_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.79"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.05"/></proof>
 <proof prover="5"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.06" steps="69393"/></proof>
 <proof prover="8"><result status="valid" time="0.04" steps="11706"/></proof>
 <proof prover="9"><result status="valid" time="0.03" steps="79868"/></proof>
 <proof prover="11"><result status="valid" time="0.06" steps="483"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="11195"/></proof>
 </goal>
 <goal name="Lsl_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.59"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.85"/></proof>
 <proof prover="5"><result status="valid" time="0.26"/></proof>
 <proof prover="7"><result status="valid" time="0.44" steps="983681"/></proof>
 <proof prover="8"><result status="valid" time="0.08" steps="16327"/></proof>
 <proof prover="9"><result status="valid" time="0.94" steps="1457719"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.06" steps="15805"/></proof>
 </goal>
 <goal name="Lsl_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.33"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.05"/></proof>
 <proof prover="5"><result status="valid" time="0.02"/></proof>
 <proof prover="7"><result status="valid" time="0.08" steps="90443"/></proof>
 <proof prover="8"><result status="valid" time="0.04" steps="11247"/></proof>
 <proof prover="9"><result status="valid" time="0.04" steps="90699"/></proof>
 <proof prover="11"><result status="valid" time="0.15" steps="464"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="10734"/></proof>
 </goal>
</theory>
<theory name="CheckBV32">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.03"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2726"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.03" steps="150"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2070"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.15"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.13"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="28337"/></proof>
 <proof prover="8"><result status="valid" time="0.14" steps="33047"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="24695"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.15" steps="31892"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.01"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="3116"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2460"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.10"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="3116"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2462"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.53"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.51"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="378"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.06"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2077"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.64"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.14" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.49"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.65"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2082"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.66"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.55"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2127"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.62"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="390"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2745"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="390"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.14" steps="386"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2135"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.64"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2083"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.81"/></proof>
 <proof prover="3" timelimit="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="55152"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="195934"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="38828"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="388"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="283051"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2128"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2129"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="1"><result status="unknown" time="1.30"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="1"><result status="unknown" time="1.25"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2741"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2086"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="1"><result status="unknown" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2077"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2793"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2207"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.53"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="16635"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="9261"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="19281"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="388"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="8671"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.58"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="9816"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="9265"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="13124"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="398"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="8626"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="17503"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="15688"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="28004"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="15151"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.12" steps="73345"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="200140"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="33040"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="280901"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="80415"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="197999"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="43662"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="275482"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.26"/></proof>
 <proof prover="3"><result status="unknown" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="1506996"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3279"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="8952730"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7260"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2567133"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3250"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6940668"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2509730"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6940748"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2507207"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6800772"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2521396"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6692653"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7257"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2567159"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6886613"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7208"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2584748"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3256"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6851844"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7258"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2536233"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3309"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6757171"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7353"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2655316"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3308"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6760808"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7353"/></proof>
 </goal>
</theory>
<theory name="CheckBV16">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="372"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2726"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="150"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2070"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="8380"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="11151"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="9846"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="10325"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2924"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2268"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2924"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2270"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.03" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2064"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.03" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.52"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.07"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2077"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.05" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2078"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.55"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.04"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.58"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2082"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.65"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.14" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2127"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.60"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="390"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2745"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="390"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="386"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2135"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.64"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.03" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2083"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.85"/></proof>
 <proof prover="3" timelimit="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="16278"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="177107"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="18515"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="388"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="208533"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2128"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2129"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="1"><result status="unknown" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="1"><result status="unknown" time="1.14"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2741"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2086"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="1"><result status="unknown" time="1.02"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2077"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2793"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2207"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.61"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="6899"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="5791"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="10799"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="388"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="5197"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="6226"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="5795"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="8666"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="398"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="5152"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="8027"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="7772"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="10142"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="7201"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="22698"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="177837"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="16032"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="186667"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="26935"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="178058"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="17704"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="183420"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.16"/></proof>
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="3344806"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3279"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="8836399"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7260"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2508049"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3250"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6777161"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2572159"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6767347"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.06" steps="7201"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2536509"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6812070"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2525392"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6805020"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7257"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2573589"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6914585"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7208"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2577162"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3256"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6695251"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.06" steps="7258"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2622574"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3309"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6732870"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7353"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2550368"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3308"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6854060"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.08" steps="7353"/></proof>
 </goal>
</theory>
<theory name="CheckBV8">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.05"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2726"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="372"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="150"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2070"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.05"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="4582"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="5406"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="6456"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="4773"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.06"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2828"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.03" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2172"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.12"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2828"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2174"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.02"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2064"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.04"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="6"><result status="valid" time="0.01"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="370"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2720"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="370"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.02" steps="146"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2064"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.54"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2082"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.58"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="378"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2082"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.06"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2077"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.66"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.04" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.56"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.00" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2078"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="2082"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.57"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2754"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="392"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2082"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.62"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.14" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2127"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.53"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="390"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2745"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="390"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.10" steps="386"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2135"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.63"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2737"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="394"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2083"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.88"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="6672"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="12823"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="9654"/></proof>
 <proof prover="11"><result status="valid" time="0.13" steps="388"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="12186"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2128"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="2739"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="384"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2129"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="1"><result status="unknown" time="1.25"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="382"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="382"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="1"><result status="unknown" time="1.01"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2733"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2078"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2741"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="380"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2086"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="1"><result status="unknown" time="1.17"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2732"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="374"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2077"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2793"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2208"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2208"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="2207"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="valid" time="0.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="2792"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="412"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.02" steps="2208"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.62"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.00"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="4464"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="4448"/></proof>
 <proof prover="9"><result status="valid" time="0.02" steps="6638"/></proof>
 <proof prover="11"><result status="valid" time="0.12" steps="388"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="3852"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.66"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="4377"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="4452"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="6524"/></proof>
 <proof prover="11"><result status="valid" time="0.02" steps="398"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="3807"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="4830"/></proof>
 <proof prover="8"><result status="valid" time="0.01" steps="5009"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="6990"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="4424"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.03"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.02" steps="12858"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="12183"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="8212"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.03" steps="11617"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="valid" time="0.02"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="valid" time="0.01" steps="12778"/></proof>
 <proof prover="8"><result status="valid" time="0.02" steps="12178"/></proof>
 <proof prover="9"><result status="valid" time="0.01" steps="8857"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="valid" time="0.01" steps="11612"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.09"/></proof>
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5"><result status="timeout" time="5.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2929152"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3279"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="8760537"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7260"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2513813"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3250"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6777130"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.06" steps="7201"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2509746"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6794558"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2574569"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3277"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6769179"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7201"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2577218"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6703016"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.06" steps="7257"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.00"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2572088"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3255"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6768815"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.04" steps="7208"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2578823"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3256"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6740833"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7258"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2641807"/></proof>
 <proof prover="8"><result status="unknown" time="0.01" steps="3309"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6769079"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.05" steps="7353"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.01"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="2578575"/></proof>
 <proof prover="8"><result status="unknown" time="0.02" steps="3308"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="6901464"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="unknown" time="0.06" steps="7353"/></proof>
 </goal>
</theory>
<theory name="Extras">
 <goal name="mod_mult">
 <proof prover="1"><result status="timeout" time="1.00"/></proof>
 <proof prover="3"><result status="timeout" time="1.00"/></proof>
 <proof prover="7"><result status="timeout" time="1.00" steps="1184022"/></proof>
 <proof prover="8"><result status="timeout" time="1.00" steps="747127"/></proof>
 <proof prover="9"><result status="timeout" time="1.00" steps="1432293"/></proof>
 <proof prover="11"><result status="timeout" time="1.00"/></proof>
 <proof prover="12"><result status="timeout" time="1.00" steps="1479623"/></proof>
 </goal>
</theory>
</file>
</why3session>
