<?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="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"/>
<prover id="13" name="Z3" version="4.8.10" timelimit="5" 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.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.140000"/></proof>
 <proof prover="2"><result status="valid" time="0.050000" steps="84921"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.530000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="79239"/></proof>
 <proof prover="8"><result status="valid" time="0.540000" steps="116771"/></proof>
 <proof prover="10"><result status="valid" time="0.010000" steps="15"/></proof>
 <proof prover="12"><result status="valid" time="0.600000" steps="119721"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.060000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="4453"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="2373"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.060000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="4453"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.030000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="2374"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.048508"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.042027"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1518"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.043427"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.040000" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.050518"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.000000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.080000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="0"><result status="valid" time="0.020000" steps="4114"/></proof>
 <proof prover="2"><result status="valid" time="0.020000" steps="457"/></proof>
 <proof prover="4"><result status="valid" time="0.020000" steps="878"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1513"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.045368"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.040000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.035662"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.040000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1517"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.046755"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1655"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.053071"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="272"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3698"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="272"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.160000" steps="376"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1663"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.038645"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="7"><result status="valid" time="0.020000" steps="122873"/></proof>
 <proof prover="9"><result status="valid" time="0.120000" steps="118183"/></proof>
 <proof prover="10"><result status="valid" time="0.040000" steps="498"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1658"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1657"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="244"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3694"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1521"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3746"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1737"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1736"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1737"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1736"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.056595"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.190000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="30674"/></proof>
 <proof prover="8"><result status="valid" time="0.140000" steps="19892"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="33560"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.140000" steps="17635"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.054301"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.190000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="24435"/></proof>
 <proof prover="8"><result status="valid" time="0.130000" steps="19896"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="45117"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="387"/></proof>
 <proof prover="12"><result status="valid" time="0.140000" steps="17640"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="3"><result status="valid" time="0.150000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="48371"/></proof>
 <proof prover="8"><result status="valid" time="0.150000" steps="39437"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="61801"/></proof>
 <proof prover="12"><result status="valid" time="0.170000" steps="37148"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="7"><result status="valid" time="0.220000" steps="211347"/></proof>
 <proof prover="9"><result status="valid" time="0.130000" steps="93115"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="7"><result status="valid" time="0.230000" steps="217060"/></proof>
 <proof prover="9"><result status="valid" time="0.130000" steps="109069"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.220000"/></proof>
 <proof prover="3"><result status="unknown" time="0.020000"/></proof>
 <proof prover="5"><result status="timeout" time="5.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1579361"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4008"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="8142845"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1696"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1675"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1314962"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3980"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6921331"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="479"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1545"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1334723"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6924065"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1713"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1334915"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6701715"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1718"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2473156"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7116839"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="484"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1696"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2411546"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7068045"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="527"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1697"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2464616"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3986"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6837407"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1719"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1697"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3143162"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4041"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6846317"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1695"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1794"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3055019"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4040"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7110056"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1704"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1795"/></proof>
 </goal>
 <goal name="g1" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="244"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1514"/></proof>
 </goal>
 <goal name="f1">
 <proof prover="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1343020"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3981"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6679633"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1702"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1546"/></proof>
 </goal>
 <goal name="g2" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1514"/></proof>
 </goal>
 <goal name="f2">
 <proof prover="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1345123"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3981"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6893867"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1702"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1546"/></proof>
 </goal>
 <goal name="g3" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1514"/></proof>
 </goal>
 <goal name="g4" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="g3a" proved="true">
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="393"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="g3b" proved="true">
 <proof prover="1" timelimit="5"><result status="valid" time="0.811225"/></proof>
 <transf name="compute_in_goal" proved="true" >
  <goal name="g3b.0" proved="true">
  <proof prover="1"><result status="valid" time="1.000000"/></proof>
  <proof prover="7"><result status="valid" time="0.010000" steps="58926"/></proof>
  <proof prover="9"><result status="valid" time="0.010000" steps="69818"/></proof>
  <proof prover="11"><result status="valid" time="0.020000" steps="376"/></proof>
  </goal>
 </transf>
 </goal>
 <goal name="f3">
 <proof prover="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2409460"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3981"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7101899"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="831"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1693"/></proof>
 </goal>
 <goal name="g4a" proved="true">
 <proof prover="1"><result status="valid" time="0.069319"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.060000" steps="393"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="g4b" proved="true">
 <proof prover="1"><result status="valid" time="0.054171"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.050000" steps="393"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="g5a" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1658"/></proof>
 </goal>
 <goal name="g5b" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="2542"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="5939"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="4034"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="3699"/></proof>
 </goal>
 <goal name="g7" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="4453"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="2374"/></proof>
 <proof prover="13"><result status="valid" time="0.000000" steps="498"/></proof>
 </goal>
 <goal name="f7">
 <proof prover="1"><result status="unknown" time="1.170000"/></proof>
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2387628"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4748"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7741082"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1684"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="2408"/></proof>
 </goal>
 <goal name="g8a" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="2744"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="4945"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="4222"/></proof>
 <proof prover="12"><result status="valid" time="0.040000" steps="2907"/></proof>
 </goal>
 <goal name="g8b" proved="true">
 <proof prover="1"><result status="valid" time="0.477541"/></proof>
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="2724"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="4937"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="4200"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="2900"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_and" proved="true">
 <proof prover="1"><result status="valid" time="0.082970"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.110000" steps="61366"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="8661"/></proof>
 <proof prover="9"><result status="valid" time="0.050000" steps="45481"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="466"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="6605"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_or" proved="true">
 <proof prover="1"><result status="valid" time="0.094679"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.060000"/></proof>
 <proof prover="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.080000" steps="80135"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="8077"/></proof>
 <proof prover="9"><result status="valid" time="0.050000" steps="81188"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="467"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="6021"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_xor" proved="true">
 <proof prover="1"><result status="valid" time="0.360000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.040000" steps="64404"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="9249"/></proof>
 <proof prover="9"><result status="valid" time="0.040000" steps="67368"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="467"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="7193"/></proof>
 </goal>
 <goal name="Nth_Bv_bw_not" proved="true">
 <proof prover="1"><result status="valid" time="0.070000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="45688"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="6676"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="36640"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="462"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="4626"/></proof>
 </goal>
 <goal name="not_not" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="240"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3698"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="240"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1523"/></proof>
 </goal>
 <goal name="not_and" proved="true">
 <proof prover="3"><result status="valid" time="0.040000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="248"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="9610"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="248"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="8211"/></proof>
 </goal>
 <goal name="Lsr_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.270000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.740000"/></proof>
 <proof prover="5"><result status="valid" time="0.220000"/></proof>
 <proof prover="7"><result status="valid" time="0.550000" steps="907569"/></proof>
 <proof prover="8"><result status="valid" time="0.070000" steps="17396"/></proof>
 <proof prover="9"><result status="valid" time="0.610000" steps="894832"/></proof>
 <proof prover="11"><result status="valid" time="0.200000" steps="495"/></proof>
 <proof prover="12"><result status="valid" time="0.070000" steps="15342"/></proof>
 </goal>
 <goal name="Lsr_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.130000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.040000" steps="51541"/></proof>
 <proof prover="8"><result status="valid" time="0.040000" steps="11128"/></proof>
 <proof prover="9"><result status="valid" time="0.030000" steps="49843"/></proof>
 <proof prover="11"><result status="valid" time="0.100000" steps="386"/></proof>
 <proof prover="12"><result status="valid" time="0.040000" steps="9084"/></proof>
 </goal>
 <goal name="Asr_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.270000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.730000"/></proof>
 <proof prover="5"><result status="valid" time="0.310000"/></proof>
 <proof prover="7"><result status="valid" time="0.580000" steps="856914"/></proof>
 <proof prover="8"><result status="valid" time="0.070000" steps="19222"/></proof>
 <proof prover="9"><result status="valid" time="0.400000" steps="736728"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.080000" steps="458"/></proof>
 <proof prover="12"><result status="valid" time="0.080000" steps="17218"/></proof>
 </goal>
 <goal name="Asr_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.231476"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.050000"/></proof>
 <proof prover="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.060000" steps="76502"/></proof>
 <proof prover="8"><result status="valid" time="0.040000" steps="12348"/></proof>
 <proof prover="9"><result status="valid" time="0.030000" steps="76638"/></proof>
 <proof prover="11"><result status="valid" time="0.060000" steps="469"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="10373"/></proof>
 </goal>
 <goal name="Lsl_Bv_nth_bv_high" proved="true">
 <proof prover="1"><result status="valid" time="0.420000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.850000"/></proof>
 <proof prover="5"><result status="valid" time="0.260000"/></proof>
 <proof prover="7"><result status="valid" time="0.440000" steps="996174"/></proof>
 <proof prover="8"><result status="valid" time="0.080000" steps="18697"/></proof>
 <proof prover="9"><result status="valid" time="0.620000" steps="1514397"/></proof>
 <proof prover="12"><result status="valid" time="0.060000" steps="16693"/></proof>
 </goal>
 <goal name="Lsl_Bv_nth_bv_low" proved="true">
 <proof prover="1"><result status="valid" time="0.091026"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.050000"/></proof>
 <proof prover="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.080000" steps="56103"/></proof>
 <proof prover="8"><result status="valid" time="0.040000" steps="11959"/></proof>
 <proof prover="9"><result status="valid" time="0.040000" steps="68874"/></proof>
 <proof prover="11"><result status="valid" time="0.150000" steps="454"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="9965"/></proof>
 </goal>
</theory>
<theory name="CheckBV32">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.030000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.030000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.150000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.130000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="30501"/></proof>
 <proof prover="8"><result status="valid" time="0.140000" steps="32686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="27023"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="364"/></proof>
 <proof prover="12"><result status="valid" time="0.150000" steps="33355"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.010000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="4069"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1989"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.100000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="4069"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1990"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.000000" steps="449"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.000000" steps="449"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.043705"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.038313"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="240"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.060000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.027766"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.140000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.043849"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.047403"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1518"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.042795"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1517"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.049829"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1655"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.039857"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="272"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3698"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="272"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.140000" steps="376"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1663"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.046038"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1656"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.598141"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="46917"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="62475"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="378"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1658"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1657"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="244"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3694"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1521"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3746"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1737"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1736"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1737"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1736"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.049316"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="14020"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="9914"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="14623"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="7628"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.054388"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="11772"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="9918"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="15939"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="387"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="7633"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="20751"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="16107"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="19259"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="13857"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="7"><result status="valid" time="0.120000" steps="67826"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="33685"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="7"><result status="valid" time="0.020000" steps="56854"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="34415"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.260000"/></proof>
 <proof prover="3"><result status="unknown" time="0.020000"/></proof>
 <proof prover="5"><result status="timeout" time="5.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2784488"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4008"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="8092012"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1696"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1675"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1313960"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3980"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6881035"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1755"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1545"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1366142"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6878522"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1713"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1315792"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6885613"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1718"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2472895"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6836346"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="483"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1696"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2474986"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6887900"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="527"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1697"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2470604"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3986"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7088030"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1719"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1697"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3143642"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4041"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7134641"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1695"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1794"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3144543"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4040"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7115547"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1704"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1795"/></proof>
 </goal>
</theory>
<theory name="CheckBV16">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="7951"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="11607"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="8820"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="364"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="10300"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3877"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1797"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3877"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1798"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.030000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.030000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.000000" steps="449"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.053767"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.050247"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.070000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1512"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.034988"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.050000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1513"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.046427"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.040000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.052410"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1518"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.053816"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1517"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.053823"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.140000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1655"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.052863"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="272"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3698"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="272"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="376"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1663"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.053096"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11"><result status="valid" time="0.030000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.615477"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="17023"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="18110"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="378"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1658"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1657"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3694"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1521"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1512"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3746"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1737"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1736"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1737"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1736"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.056338"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="6177"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="6462"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="8591"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="4176"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.060486"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="5921"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="6466"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="8381"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="387"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="4181"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="7342"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="8342"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="10521"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="6053"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="7"><result status="valid" time="0.010000" steps="24056"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="14131"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="7"><result status="valid" time="0.010000" steps="28282"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="14278"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.160000"/></proof>
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5"><result status="timeout" time="5.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2803606"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4008"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="8232734"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1696"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1675"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1365143"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3980"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6842584"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1755"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1545"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1370835"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6912450"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1713"/></proof>
 <proof prover="12"><result status="unknown" time="0.060000" steps="1546"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1381490"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7036400"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1718"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2521553"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6895029"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="483"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1696"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2474349"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7060243"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="527"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1697"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2412012"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="3986"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7106707"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1719"/></proof>
 <proof prover="12"><result status="unknown" time="0.060000" steps="1697"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3144372"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4041"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7075607"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1695"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1794"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3104639"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4040"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7098154"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1704"/></proof>
 <proof prover="12"><result status="unknown" time="0.080000" steps="1795"/></proof>
 </goal>
</theory>
<theory name="CheckBV8">
 <goal name="ok_zero" proved="true">
 <proof prover="1"><result status="valid" time="0.050000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 </goal>
 <goal name="ok_ones" proved="true">
 <proof prover="1"><result status="valid" time="0.050000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="3919"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="6057"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="5305"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="364"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="3718"/></proof>
 </goal>
 <goal name="ok_zero2" proved="true">
 <proof prover="1"><result status="valid" time="0.060000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3781"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.030000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1701"/></proof>
 </goal>
 <goal name="ok_ones2" proved="true">
 <proof prover="1"><result status="valid" time="0.120000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="256"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3781"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="256"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1702"/></proof>
 </goal>
 <goal name="ok_size" proved="true">
 <proof prover="1"><result status="valid" time="0.020000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_max" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok_tpsize" proved="true">
 <proof prover="1"><result status="valid" time="0.040000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3673"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="232"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.020000" steps="144"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1498"/></proof>
 <proof prover="13"><result status="valid" time="0.010000" steps="449"/></proof>
 </goal>
 <goal name="ok1" proved="true">
 <proof prover="1"><result status="valid" time="0.051238"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1518"/></proof>
 </goal>
 <goal name="ok2" proved="true">
 <proof prover="1"><result status="valid" time="0.037893"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="240"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1518"/></proof>
 </goal>
 <goal name="ok3" proved="true">
 <proof prover="1"><result status="valid" time="0.060000"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="372"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1512"/></proof>
 </goal>
 <goal name="ok5" proved="true">
 <proof prover="1"><result status="valid" time="0.038434"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.040000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok6" proved="true">
 <proof prover="1"><result status="valid" time="0.034511"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.000000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1513"/></proof>
 </goal>
 <goal name="ok7" proved="true">
 <proof prover="1"><result status="valid" time="0.046064"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="1518"/></proof>
 </goal>
 <goal name="ok8" proved="true">
 <proof prover="1"><result status="valid" time="0.047390"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3707"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="381"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1517"/></proof>
 </goal>
 <goal name="ok9" proved="true">
 <proof prover="1"><result status="valid" time="0.046907"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.140000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1655"/></proof>
 </goal>
 <goal name="ok10" proved="true">
 <proof prover="1"><result status="valid" time="0.039342"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="272"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3698"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="272"/></proof>
 <proof prover="11" timelimit="5"><result status="valid" time="0.100000" steps="376"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1663"/></proof>
 </goal>
 <goal name="ok12" proved="true">
 <proof prover="1"><result status="valid" time="0.044443"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3690"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="383"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1656"/></proof>
 </goal>
 <goal name="ok13" proved="true">
 <proof prover="1"><result status="valid" time="0.604224"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="5896"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="13390"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="7894"/></proof>
 <proof prover="11"><result status="valid" time="0.130000" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="11253"/></proof>
 </goal>
 <goal name="ok14" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1658"/></proof>
 </goal>
 <goal name="ok15" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="3692"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="266"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1657"/></proof>
 </goal>
 <goal name="ok16" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="244"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="244"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok17" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3686"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1513"/></proof>
 </goal>
 <goal name="ok18" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3694"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="242"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1521"/></proof>
 </goal>
 <goal name="ok19" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3685"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="236"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1512"/></proof>
 </goal>
 <goal name="ok20" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3746"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1737"/></proof>
 </goal>
 <goal name="ok21" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1736"/></proof>
 </goal>
 <goal name="ok22" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="1737"/></proof>
 </goal>
 <goal name="ok23" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="3745"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="294"/></proof>
 <proof prover="12"><result status="valid" time="0.020000" steps="1736"/></proof>
 </goal>
 <goal name="ok24" proved="true">
 <proof prover="1"><result status="valid" time="0.055554"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.000000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="3929"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="5128"/></proof>
 <proof prover="9"><result status="valid" time="0.020000" steps="5589"/></proof>
 <proof prover="11"><result status="valid" time="0.120000" steps="378"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="2842"/></proof>
 </goal>
 <goal name="ok25" proved="true">
 <proof prover="1"><result status="valid" time="0.060426"/></proof>
 <proof prover="3" timelimit="5"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="4208"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="5132"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="5883"/></proof>
 <proof prover="11"><result status="valid" time="0.020000" steps="387"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="2847"/></proof>
 </goal>
 <goal name="ok26" proved="true">
 <proof prover="3"><result status="valid" time="0.010000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="4086"/></proof>
 <proof prover="8"><result status="valid" time="0.010000" steps="5644"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="5980"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="3355"/></proof>
 </goal>
 <goal name="ok27" proved="true">
 <proof prover="3"><result status="valid" time="0.030000"/></proof>
 <proof prover="7"><result status="valid" time="0.020000" steps="9633"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="12809"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="7382"/></proof>
 <proof prover="12"><result status="valid" time="0.030000" steps="10700"/></proof>
 </goal>
 <goal name="ok28" proved="true">
 <proof prover="3"><result status="valid" time="0.020000"/></proof>
 <proof prover="7"><result status="valid" time="0.010000" steps="12006"/></proof>
 <proof prover="8"><result status="valid" time="0.020000" steps="12804"/></proof>
 <proof prover="9"><result status="valid" time="0.010000" steps="7011"/></proof>
 <proof prover="12"><result status="valid" time="0.010000" steps="10695"/></proof>
 </goal>
 <goal name="trap">
 <proof prover="1"><result status="unknown" time="1.090000"/></proof>
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5"><result status="timeout" time="5.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1132740"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4008"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="8328797"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1696"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1675"/></proof>
 </goal>
 <goal name="smoke1">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1346477"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3980"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6706670"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1755"/></proof>
 <proof prover="12"><result status="unknown" time="0.060000" steps="1545"/></proof>
 </goal>
 <goal name="smoke2">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1338149"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6680072"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1713"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke3">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1344522"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4007"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6671828"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1717"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1546"/></proof>
 </goal>
 <goal name="smoke4">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2407216"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7117046"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="483"/></proof>
 <proof prover="12"><result status="unknown" time="0.060000" steps="1696"/></proof>
 </goal>
 <goal name="smoke5">
 <proof prover="3"><result status="unknown" time="0.000000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2462252"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3985"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="7105105"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="527"/></proof>
 <proof prover="12"><result status="unknown" time="0.040000" steps="1697"/></proof>
 </goal>
 <goal name="smoke6">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="2464616"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="3986"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6871923"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1719"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1697"/></proof>
 </goal>
 <goal name="smoke7">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3059905"/></proof>
 <proof prover="8"><result status="unknown" time="0.010000" steps="4041"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6817878"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1695"/></proof>
 <proof prover="12"><result status="unknown" time="0.050000" steps="1794"/></proof>
 </goal>
 <goal name="smoke8">
 <proof prover="3"><result status="unknown" time="0.010000"/></proof>
 <proof prover="5" timelimit="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="3054374"/></proof>
 <proof prover="8"><result status="unknown" time="0.020000" steps="4040"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="6878562"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="1704"/></proof>
 <proof prover="12"><result status="unknown" time="0.060000" steps="1795"/></proof>
 </goal>
</theory>
<theory name="Extras">
 <goal name="mod_mult">
 <proof prover="1"><result status="timeout" time="1.000000"/></proof>
 <proof prover="3"><result status="timeout" time="1.000000"/></proof>
 <proof prover="7"><result status="timeout" time="1.000000" steps="1003245"/></proof>
 <proof prover="8"><result status="timeout" time="1.000000" steps="748144"/></proof>
 <proof prover="9"><result status="timeout" time="1.000000" steps="1229769"/></proof>
 <proof prover="11"><result status="timeout" time="1.000000" steps="599"/></proof>
 <proof prover="12"><result status="timeout" time="1.000000" steps="1478707"/></proof>
 </goal>
</theory>
</file>
</why3session>
